Ich versuche folgendes zu beweisen:
Ich habe einige Ideen ausprobiert, konnte aber nirgendwo hinkommen. Das habe ich ausgenutzt ist hermitesch und damit der erste Term in der Ungleichung geworden und dann durch die Cauchy-Schwartz-Ungleichung, , aber ich kann sehen, dass dies nur entfernt wird aus dem Spiel.
Eine andere Idee war zu schreiben im ersten Term in äußerer Produktnotation ergibt dies:
Jede Hilfe ist willkommen.
2D-Gegenbeispiel: Angenommen
Die Ungleichung von OP gilt für einen halbpositiven Operator , seitdem hat es eine wohldefinierte Quadratwurzel , und es wird die Standard-Cauchy-Schwarz-Ungleichung.
Lukas
Alexej Sokolik