Przestrzeń unitarna [historia i autorzy]

Przestrzeń unitarna (prehilbertowska) – w matematyce, przestrzeń liniowa wyposażona dodatkowo w iloczyn skalarny będący uogólnieniem standardowego iloczynu skalarnego. Przestrzenie unitarne można traktować jako naturalne odpowiedniki przestrzeni euklidesowych, w których możliwe jest zdefiniowanie (bądź uogólnienie) takich pojęć jak kąt, długość wektora (dokładniej norma elementu przestrzeni unitarnej) czy wreszcie ortogonalności elementów. Przestrzenie unitarne, zupełne ze względu na metrykę generowaną przez normę (zależną od iloczynu skalarnego), nazywane są przestrzeniami Hilberta i studiowane są w analizie funkcjonalnej. W związku z tym przestrzenie unitarne nazywane są czasem prehilbertowskimi.

Spis treści

Formy hermitowskie

Wiele zagadnień matematycznych sprowadza się do rozważania operatorów liniowych zespolonych przestrzeni liniowych (problem ten, jak się później okaże, nie istnieje dla przestrzeni rzeczywistych). Często, pojawia się potrzeba wprowadzenia pojęcia iloczynu skalarnego również dla elementów takich przestrzeni. Niewystarczające są jednak w tym przypadku iloczyny skalarne zdefiniowane jako formy dwuliniowe , gdyż odpowiadające im formy kwadratowe miałyby własność

,

co jest sprzeczne z intuicją dotyczącą długości wektora (długość powinna być nieujemna). Stąd zrodziła się potrzeba dokładniejszego zdefiniowania tego, co będzie później nazwane iloczynem skalarnym. Lekarstwem na zaistniałą sytuację było wprowadzenie funkcjonału półtoraliniowego , który byłby liniowy ze względu na jedną ze współrzędnych, lecz antyliniowy ze względu na drugą, tzn. przykładowo:

jest liniowe dla dowolnego ,
jest antyliniowe dla dowolnego .

Formę półtoraliniową nazywa się hermitowską, jeśli dla dowolnych spełnia ona równość

.

Definicja

Przestrzeń liniową nad ciałem z ustalonym funkcjonałem nazywa się przestrzenią unitarną jeśli spełnione s następujące postulaty:

  • sprzężona symetria (hermitowskość),
    ,
  • liniowość ze względu na pierwszą zmienną,
    ,
dla dowolnych .
  • niezdegenerowanie,
jeśli , to ,
  • dodatnia określoność

Wielkość nazywa się iloczynem skalarnym lub iloczynem wewnętrznym wektorów i .

Uwagi

Dla przestrzeni rzeczywistej hermitowskość przechodzi w zwykłą symetrię iloczynu skalarnego, co tłumaczy się faktem, iż sprzężenie zespolone liczby rzeczywistej jest równe jej samej. Wówczas też iloczyn skalarny okazuje się być dwuliniowy. Można więc przyjąć wspólną definicję (dla przestrzeni zespolonych), jednak w przypadku przestrzeni rzeczywistych wygodniej mówić jest często o dodatnio określonych funkcjonałach dwuliniowych.

Istnieje wiele powodów technicznych dla których niezbędnym jest ograniczenie rozważanego ciała do oraz . Co najważniejsze, ciało musi zawierać uporządkowane podciało (aby warunek nieujemności miał sens), a zatem musi mieć charakterystykę równą zeru. Wyklucza to natychmiast ciała skończone, które poza tym muszą mieć dodatkową strukturę, np. wyróżniony automorfizm.

Rozważa się także przestrzenie liniowe z funkcjonałami spełniającymi powyższe postulaty z pominięciem postulatu dodatniej określoności. Więcej na ten temat znaleźć można w dalszej części artykułu.

Odwzorowanie z w przestrzeń dualną dane wzorem jest izomorfizmem. Bezpośrednio z liniowości ze względu na pierwszą zmienną wynika, że jest to homomorfizm przestrzeni liniowych. Łatwo sprawdza się, że odwzorowanie to jest również iniektywne:

dla każdego wtedy i tylko wtedy, gdy .

W skończeniewymiarowych przestrzeniach liniowych warunek ten jest wystarczający do stwierdzenia, iż jest to izomorfizm.

Konwencje

Jak już wspomniano iloczyn skalarny jest półtoraliniowy, tzn. liniowy ze względu na jeden i antyliniowy ze względu na drugi argument. Wybór który z argumentów jest liniowy, a który antyliniowy jest całkowicie dowolny i stosuje się obie możliwości. Matematycy zwykle przyjmują antyliniowość ze względu na drugi argument, natomiast fizycy ze względu na pierwszy, co ułatwia im stosowanie notacji Diraca używanej w mechanice kwantowej (umożliwia wyciąganie skalarów z ketów, co reprezentuje wektory, a sprzężenie skalarów przy wyciąganiu z bra reprezentuje funkcjonały liniowe) i używane jest teraz okazjonalnie także przez matematyków. Niektórzy autorzy stosują konwencję, że oznacza liniowość ze względu na pierwszy argument, zaś na drugi, choć nie jest to regułą; przykładowo (Emch [1972]) się do niej nie stosuje.

Istnieją również inne sposoby zapisu:

,

lub po prostu

,

która jest oznaczeniem standardowego iloczynu skalarnego przestrzeni euklidesowych.

Przestrzeń współrzędnych zespolonych

W -wymiarowej przestrzeni współrzędnych zespolonych następująco wprowadza się strukturę przestrzeni unitarnej.

Iloczyn skalarny dany jest wzorem

,

gdzie oznacza sprzężenie zespolone liczby .

Norma wyznaczona przez ten iloczyn zdefiniowana jest naturalnie jako

.

Wzór na metrykę tej przestrzeni również nie ulega zmianie:

.

Ze względu na algebraiczną domkniętość ciała pewne aspekty teorii takich przestrzeni okazują się prostsze i bardziej spójne niż dla przestrzeni euklidesowych.

Norma a iloczyn skalarny

Iloczyn skalarny pozwala określić normę wektora, czyli jego długość:

.

Ważną własnością tak otrzymanej normy jest tożsamość równoległoboku:

.

W każdej przestrzeni unormowanej, w której norma spełnia tożsamość równoległoboku można wprowadzić iloczyn skalarny wzorem: . Wzór ten jest dobry tylko dla przestrzeni rzeczywistych.

Przykłady

Przestrzeń liczb rzeczywistych ze standardowym iloczynem skalarnym zdefiniowanym jako

jest trywialną przestrzenią unitarną.

Ogólniej w przestrzeni euklidesowej dla oraz standardowy iloczyn skalarny określony jest wzorem

.

Przestrzeń funkcji rzeczywistych zmiennej rzeczywistej, całkowalnych z kwadratem na pewnym przedziale z iloczynem skalarnym

jest unitarna.

Własności

Nierówność Schwarza

,

przy czym równość zachodzi wtedy i tylko wtedy, gdy i są liniowo zależne.

Norma i metryka

Ze względu na własności iloczynu skalarnego, funkcja taka, że

spełnia aksjomaty normy. Normę tę nazywamy normą generowaną przez iloczyn skalarny. Z tego też względu każda przestrzeń unitarna jest także unormowana. Ponadto funkcja jest metryką.

Korzystając z powyższej definicji normy możemy zdefiniować kąt między wektorami oraz jako:

.

Ortogonalność

Wektory i nazywamy ortogonalnymi wtedy i tylko wtedy, gdy i oznaczamy .

Ortogonalność jest uogólnieniem geometrycznego pojęcia prostopadłości w przestrzeniach kartezjańskich. Oczywistym jest, że cosinus kąta zawartego między dwoma wektorami ortogonalnymi jest równy zero.

Jeżeli układ wektorów spełnia warunek dla , to nazywamy go układem ortogonalnym. Każdy układ ortogonalny jest liniowo niezależny.

Ponadto jeżeli układ taki jest bazą przestrzeni , wtedy mówimy o bazie ortogonalnej. Z każdej bazy przestrzeni unitarnej można otrzymać bazę ortogonalną. Proces taki nazywa się ortogonalizacją. Najczęściej stosowana w praktyce jest ortogonalizacja Grama-Schmidta.

Zdegenerowane iloczyny skalarne

Jeżeli jest przestrzenią liniową, a półokreślonym funkcjonałem półtoraliniowym, to funkcja spełnia wszystkie własności normy poza warunkiem (takie funkcjonały nazywane są wówczas półnormami). Przestrzeń unitarna może być określona przez rozważenie ilorazu W = V/\{\mathbf x\colon \|\mathbf x\| = 0\}. Funkcjonał półtoraliniowy faktoryzuje się przez .

Ta konstrukcja znalazła zastosowanie w wielu miejscach. Konstrukcja Gelfanda-Najmarka-Segala jest szczególnie ważnym przykładem tej techniki, inną jest reprezentacja półokreślonych jąder na dowolnych zbiorach.

Pokaż ten artykuł na Wikipedia.pl

Tekst udostępniany na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Zobacz szczegółowe informacje o warunkach korzystania.
Zasady zachowania poufności. O Wikipedii. Korzystasz z Wikipedii tylko na własną odpowiedzialność. Materiał pochodzący z Wikipedii został zmodyfikowany poprzez ograniczenie liczby przypisów. Wikipedia® is a registered tradmark of the Wikimedia Foundation.

Kategorie dla tego artykułu