Dejemos que TT sea un operador en HH con dominio D(T)D(T) . Entonces el gráfico G(T∗)G(T∗) de T∗T∗ se puede caracterizar por G(T∗)=V(G(T))⊥G(T∗)=V(G(T))⊥ , donde VV es el operador unitario definido en H×HH×H por Vu,v=v,−uVu,v=v,−u . ¿Puede alguien probar esto, por favor?
Respuesta
¿Demasiados anuncios?Para cualquier u∈D(T)u∈D(T) y (v,w∗)∈H×H(v,w∗)∈H×H tenemos la identidad:
⟨V(u,Tu),(v,w∗)⟩H×H=⟨Tu,v⟩H−⟨u,w∗⟩H⟨V(u,Tu),(v,w∗)⟩H×H=⟨Tu,v⟩H−⟨u,w∗⟩H . El lado derecho desaparece para todo u∈D(T)u∈D(T) si v∈D(T∗)v∈D(T∗) y w∗=T∗vw∗=T∗v es decir, si (v,w∗)(v,w∗) pertenece a G(T∗)G(T∗) . El lado izquierdo desaparece para todo u∈D(T)u∈D(T) si (v,w∗)(v,w∗) pertenece a V(G(T))⊥V(G(T))⊥ . El análisis hilbertiano estándar, utilizando la continuidad de VV y V−1V−1 = −V−V , entonces muestra que V(G(T))⊥=V(G(T))⊥=V(G(T))⊥V(G(T))⊥=V(G(T))⊥=V(G(T))⊥ .
Fin de la prueba: No hemos analizado hasta ahora bajo qué condición el do- principal del adjunto es denso en HH .