在历史上是否有霍小玉其人

没有，是虚构人物。

霍小玉是传奇小说《霍小玉传》中的女主角。霍小玉的母亲郑净持本是唐玄宗时霍王爷家的歌舞妓，因容貌秀美被霍王爷纳为侍妾。霍王死后，诸弟兄以其出自贱庶，就给了她们母女一定的资财，遣居于外，易姓为郑氏，人不知道她是王女。