Cesko.wiki Hellingerova–Toeplitzova věta
Author
Albert FloresHellingerova-Toeplitzova věta je matematická věta, která se vztahuje k Hilbertovým prostorem. Věta je pojmenována po německém matematikovi Davidu Hilbertovi a polském matematikovi Heinrichu Johannu Franzovi Hellingerovi. Věta tvrdí, že pokud je Toeplitzova matice symetrická a pozitivně definitní, pak je také Hellingerovou matricí. Hellingerova matrice je pak také symetrická a pozitivně definitní. Tato věta má důležité aplikace v různých oborech matematiky, jako je teorie lineárních operátorů, teorie signálů a řešení vědeckých problémů.
Hellingerova-Toeplitzova věta je věta ve funkcionální analýze, odvětví matematiky, která říká, že všude definovaný symetrický operátor na Hilbertově prostoru s vnitřním součinem \langle \cdot | \cdot \rangle je omezený. Podle definice je operátor A symetrický, pokud pro všechna x, y v definičním oboru operátoru A platí : \langle A x | y \rangle = \langle x | A y\rangle. Protože symetrické a všude definované operátory jsou nutně samoadjungované, lze tuto větu formulovat také tak, že všude definovaný samoadjungovaný operátor je omezený. Věta je pojmenovaná podle Ernsta Davida Hellingera a Otto Toeplitze.
Tuto větu můžeme považovat za bezprostřední důsledek věty o uzavřeném grafu, protože samoadjungované operátory jsou uzavřené. Alternativně lze argumentovat Banachovou-Steinhausovou větou. +more Důkaz věty využívá symetričnosti struktury vnitřního součinu. Klíčový je také fakt, že daný operátor A je všude definovaný (a úplnost Hilbertových prostorů).
Hellingerova-Toeplitzova věta odhaluje určité technické potíže v matematické formulaci kvantové mechaniky. Pozorovatelné v kvantové mechanice odpovídají samoadjungovaným operátorům na nějakém Hilbertově prostoru, ale některé pozorovatelné (např. +more energie) jsou neomezené. Podle Hellingerovy-Toeplitzovy věty takové operátory nemohou být všude definované (ale mohou být definované na husté množině). Vezměme například kvantový harmonický oscilátor. Jako Hilbertův prostor je použit L2(R), prostor kvadraticky integrovatelných funkcí na R, a operátor energie H je definován vztahem (za předpokladu, že jsou jednotky zvoleny tak, aby ℏ = m = ω = 1) : [Hf](x) = - \frac12 \frac{\mathrm{d}^2}{\mathrm{d}x^2} f(x) + \frac12 x^2 f(x). Tento operátor je samoadjungovaný a neomezený (jeho vlastní čísla jsou 1/2, 3/2, 5/2, . ), takže nemůže být definovaný na celém prostoru L2(R).