If a 3-tuple (A:H_1→H_1,B:H_2→H_1,C:H_2→H_2) of operators on Hilbert spaces is given,we proved that the operator A:= on H=H_1⊕H_2 is≥0 if and only if A≥0,R(B) R(A1/2)and C≥B~* A^+ B, where A^+ is the generalize...If a 3-tuple (A:H_1→H_1,B:H_2→H_1,C:H_2→H_2) of operators on Hilbert spaces is given,we proved that the operator A:= on H=H_1⊕H_2 is≥0 if and only if A≥0,R(B) R(A1/2)and C≥B~* A^+ B, where A^+ is the generalized inverse of A. In general,A^+ is a closed operator,but since R(B) R(A1/2),B~* A^+ B is bounded yet.展开更多
文摘If a 3-tuple (A:H_1→H_1,B:H_2→H_1,C:H_2→H_2) of operators on Hilbert spaces is given,we proved that the operator A:= on H=H_1⊕H_2 is≥0 if and only if A≥0,R(B) R(A1/2)and C≥B~* A^+ B, where A^+ is the generalized inverse of A. In general,A^+ is a closed operator,but since R(B) R(A1/2),B~* A^+ B is bounded yet.
