wenn f°fad hermitesch , dann muss ja f°fad selbstadjungiert sein, also müsste gelten
für alle v, w aus V
< f°fad (v) ; w > = < v , f°fad (w) > Das rechnest du einfach nach:
< f ( fad (v)) ; w > [ Def ° ]
= < fad (v)) ; fad (w) > [ Def fad ]
= < v ; f ° fad (w) > weil ; fad ad = f