Square Roots of Positive Bounded Operators on a Complex Hilbert Space, Commuting with Everything that Commutes with the Operator
theoremAnalysisthm:square-root-positive-operator-complex-hilbert-2026aEvery bounded, self-adjoint, positive semi-definite operator on a complex Hilbert space is the square of a bounded, self-adjoint, positive semi-definite operator that commutes with every bounded operator commuting with the given one.
In the setting of Complex Hilbert Spaces and Bounded Linear Maps: Standing Notation, let be a complex Hilbert space and let with . Then there is such that
1. (Square root)¶ and ; and
2. (Commutation)¶ commutes with every that commutes with .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.