Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Hellinger–Toeplitz theorem

From Wikipedia, the free encyclopedia
Theorem on boundedness of symmetric operators

Infunctional analysis, a branch ofmathematics, theHellinger–Toeplitz theorem states that an everywhere-definedsymmetric operator on aHilbert space withinner product|{\displaystyle \langle \cdot |\cdot \rangle } isbounded. By definition, an operatorA issymmetric if

Ax|y=x|Ay{\displaystyle \langle Ax|y\rangle =\langle x|Ay\rangle }

for allx,y in the domain ofA. Note that symmetriceverywhere-defined operators are necessarilyself-adjoint, so this theorem can also be stated as follows: an everywhere-defined self-adjoint operator is bounded. The theorem is named afterErnst David Hellinger andOtto Toeplitz.

This theorem can be viewed as an immediate corollary of theclosed graph theorem, as self-adjoint operators areclosed. Alternatively, it can be argued using theuniform boundedness principle. One relies on the symmetric assumption, therefore the inner product structure, in proving the theorem. Also crucial is the fact that the given operatorA is defined everywhere (and, in turn, the completeness of Hilbert spaces).

The Hellinger–Toeplitz theorem reveals certain technical difficulties in themathematical formulation of quantum mechanics.Observables in quantum mechanics correspond to self-adjoint operators on some Hilbert space, but some observables (like energy) are unbounded. By Hellinger–Toeplitz, such operators cannot be everywhere defined (but they may be defined on adense subset). Take for instance thequantum harmonic oscillator. Here the Hilbert space isL2(R), the space of square integrable functions onR, and the energy operatorH is defined by (assuming the units are chosen such that ℏ = m = ω = 1)

[Hf](x)=12d2dx2f(x)+12x2f(x).{\displaystyle [Hf](x)=-{\frac {1}{2}}{\frac {\mathrm {d} ^{2}}{\mathrm {d} x^{2}}}f(x)+{\frac {1}{2}}x^{2}f(x).}

This operator is self-adjoint and unbounded (itseigenvalues are 1/2, 3/2, 5/2, ...), so it cannot be defined on the whole of L2(R). In other words, it will map some functions in L2(R) to functions that are no longer square integrable. One such function could be

ψ(x)=1π1+x2.{\displaystyle \psi (x)={\frac {1}{\pi {\sqrt {1+x^{2}}}}}.}

References

[edit]
Spaces
Properties
Theorems
Operators
Algebras
Open problems
Applications
Advanced topics
Retrieved from "https://en.wikipedia.org/w/index.php?title=Hellinger–Toeplitz_theorem&oldid=1310655598"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp