陈霸先是不是陈元光后裔

不是

陈元光（657-711年），字廷炬，号龙湖。唐朝时期大臣，归德将军陈政之子。

陈武帝陈霸先（503年—559年），字兴国，小字法生，吴兴（今浙江省长兴县）长城下若里人，南北朝时期陈朝开国皇帝（557年—559年在位）。

南梁太平二年（557年），受梁禅称帝。陈朝永定三年（559年），陈霸先去世，在位三年，享年五十七岁。谥号武皇帝，庙号高祖，葬于万安陵。