Estoy tratando de probar lo siguiente:
Probé algunas ideas pero no pude llegar a ninguna parte. Aproveché el hecho de que es hermítica, y así el primer término de la desigualdad se convirtió en y luego por la desigualdad de Cauchy Schwartz, , pero puedo ver que esto simplemente elimina del juego
Otra idea era escribir en el primer término en notación de producto exterior, esto da:
Cualquier ayuda es apreciada.
Contraejemplo 2D: Asumir
La desigualdad de OP es cierta para un operador semipositivo , desde entonces tiene una raíz cuadrada bien definida , y se convierte en la desigualdad estándar de Cauchy-Schwarz.
Lucas
Alexey Sokolik