Przestrzeń liniowa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Przestrzeń liniowa to zbiór obiektów (nazywanych wektorami), które mogą być skalowane i dodawane.

Przestrzeń liniowa lub wektorowazbiór obiektów (nazywanych "wektorami"), które mogą być skalowane i dodawane. Formalnie jest to zbiór z określonymi dwoma działaniami: dodawaniem elementów tej przestrzeni (wektorów) i mnożeniem przez elementy ustalonego ciała, które związane są ze sobą poniższymi aksjomatami. Przestrzenie liniowe to podstawowy obiekt badań algebry liniowej i analizy funkcjonalnej. Znajdują zastosowanie niemal we wszystkich gałęziach matematyki, naukach ścisłych i inżynierii.

Naturalnymi przykładami przestrzeni liniowych są dwu- i trójwymiarowe przestrzenie euklidesowe. Wektory w tych przestrzeniach utożsamiane są odpowiednio z parami i trójkami uporządkowanymi liczb rzeczywistych, reprezentowanymi często w postaci wektorów geometrycznych charakteryzowanych przez kierunek, zwrot oraz wartość, które zwykle przedstawia się jako strzałki. Wektory takie mogą być sumowane według reguły równoległoboku (dodawanie wektorów) lub mnożone przez liczby rzeczywiste (mnożenie przez skalar). Właściwości wektorów geometrycznych stanowią dobry intuicyjny model dla wektorów w bardziej abstrakcyjnych przestrzeniach liniowych, które nie mają interpretacji geometrycznej. Przykładem takiej przestrzeni jest np. zbiór wszystkich wielomianów o współczynnikach rzeczywistych.

Definicja[edytuj]

Niech będzie ciałem (jakim są np. liczby rzeczywiste czy liczby zespolone), którego elementy nazywane będą skalarami, a ono samo – ciałem skalarów. Przestrzenią liniową bądź wektorową nad ciałem nazywa się zbiór z dwoma działaniami dwuargumentowymi:

  • dodawaniem wektorów: oznaczanym , gdzie i
  • mnożeniem przez skalar: oznaczanym , gdzie oraz ,

które spełniają poniższe aksjomaty. Pierwsze cztery czynią z wektorów grupę abelową ze względu na dodawanie, kolejne dwa są prawami rozdzielności.

  1. Dodawanie wektorów jest łączne:
    Dla dowolnych zachodzi .
  2. Dodawanie wektorów jest przemienne:
    Dla dowolnych jest .
  3. Dodawanie wektorów ma element neutralny:
    Istnieje taki element , nazywany wektorem zerowym, że dla dowolnego .
  4. Dodawanie wektorów ma elementy przeciwne:
    Dla każdego istnieje element , nazywany wektorem przeciwnym do , taki, że .
  5. Mnożenie przez skalar jest rozdzielne względem dodawania wektorów:
    Dla każdego oraz jest .
  6. Mnożenie przez wektor jest rozdzielne względem dodawania skalarów:
    Dla każdych oraz zachodzi .
  7. Mnożenie przez skalar jest zgodne z mnożeniem skalarów:
    Dla dowolnych oraz jest .
  8. Mnożenie przez skalar ma element neutralny:
    Dla dowolnego jest , gdzie oznacza element neutralny mnożenia w .

Uwagi[edytuj]

Formalnie przestrzeń liniowa nad ciałem jest strukturą matematyczną , w której:

  • jest grupą abelową (aksjomaty 1-4),
  • jest ciałem,

wyposażoną w działanie (wyżej nieoznaczane) spełniające aksjomaty 5-8.

Wyżej przedstawione aksjomaty stanowią definicję modułu (nad pierścieniem), w ten sposób przestrzeń liniową można zwięźle zdefiniować jako moduł nad ciałem (gdyż każde ciało jest pierścieniem; co więcej, wspomniany moduł jest wolny).

Siódmy aksjomat nie opisuje łączności, gdyż obecne są w nim dwa różne działania: mnożenie przez skalar, , oraz mnożenie skalarów (z ciała), .

Niektóre źródła zawierają również dodatkowe dwa aksjomaty domkniętości:

  1. Przestrzeń jest zamknięta ze względu na dodawanie wektorów,
    jeżeli , to .
  2. Przestrzeń jest zamknięta ze względu na mnożenie przez skalar,
    jeżeli , to .

Jednakże zwykle działanie definiuje się jako odwzorowanie o przeciwdziedzinie , co pociąga za sobą powyższe stwierdzenia i eliminuje potrzebę ich dodawania jako niezależnych aksjomatów. Aksjomaty domkniętości są niezbędne do określenia, czy dany podzbiór przestrzeni liniowej jest jej podprzestrzenią.

Wyrażenia postaci „”, gdzie oraz , ściśle rzecz ujmując są nieokreślone. Jednakże z powodu przemienności w ciele skalarów wyrażenia „” oraz „” traktuje się jako tożsame. Jeżeli przestrzeń liniowa jest algebrą nad ciałem , to dla oraz zachodzi , co usprawiedliwia traktowanie wyrażeń „” i „” jako reprezentacji tego samego wektora.

Symbol pomija się często dla działania mnożenia w ciele rezerwując go dla iloczynu skalarnego lub rezygnuje się z niego całkowicie, gdyż rodzaj mnożenia można zwykle jednoznacznie określić na podstawie rodzaju czynników.

Podstawowe własności[edytuj]

Suma wektorów. Wektor v jest dodany do wektora w.
Mnożenie wektorów. Wektor v jest mnożony przez 2, a następnie dodany do w.

Następujące własności można wyprowadzić wprost z aksjomatów przestrzeni liniowych:

  • wektor zerowy jest wyznaczony jednoznacznie,
    jeżeli są zerami w takimi, że oraz , to ,
  • mnożenie wektora zerowego przez skalar daje wektor zerowy,
    dla dowolnego jest ,
  • mnożenie skalarne wektora przez zero daje wektor zerowy,
    dla każdego zachodzi , gdzie jest elementem neutralnym dodawania w ,
  • żadne inne mnożenie przez skalar nie daje zera,
    wtedy i tylko wtedy, gdy lub ,
  • wektor odwrotny względem dodawania do jest wyznaczony jednoznacznie,
    niech będą odwrotnościami takimi, że oraz , wówczas . Wektor nazywamy przeciwnym do i definiujemy odejmowanie jako ,
  • mnożenie skalarne przez jednostkę ujemną daje wektor przeciwny,
    dla każdego mamy , gdzie oznacza element odwrotny względem mnożenia w .
  • ujemność jest całkowicie przemienna,
    dla każdego oraz zachodzi .

Podprzestrzeń liniowa i baza[edytuj]

Niepusty podzbiór przestrzeni liniowej zamknięty ze względu na dodawanie i mnożenie skalarne nazywa się podprzestrzenią tej przestrzeni. Równoważnie: podzbiory przestrzeni, które same są przestrzeniami liniowymi nazywa się podprzestrzeniami liniowymi (nad tym samym ciałem). Część wspólna wszystkich podprzestrzeni zawierających dany zbiór wektorów nazywa się jego powłoką (liniową) lub otoczką (liniową); mówi się również że zbiór ten rozpina pewną podprzestrzeń. Jeżeli żaden z wektorów nie może być z niej usunięty, to mówi się, że zbiór jest liniowo niezależny. Liniowo niezależny zbiór, który rozpina nazywany jest bazą .

Felix Hausdorff udowodnił, na gruncie ZFC, że każda przestrzeń liniowa ma bazę. Dowód tego faktu oparty jest na lemacie Kuratowskiego-Zorna. Ze słabszego od aksjomatu wyboru lematu o istnieniu ultrafiltrów w algebrach Boole'a (BPI) wynika, że wszystkie bazy danej przestrzeni liniowej są równoliczne. Jeśli jest przestrzenią liniową, to moc jej bazy nazywa się wymiarem przestrzeni i oznacza . Na przykład wymiar rzeczywistej przestrzeni liniowej , czyli , wynosi trzy, gdyż każdy element tej przestrzeni daje się przedstawić jako kombinacja wektorów należących np. do zbioru [1]. Istnieją przestrzenie liniowe, dla których nie można wskazać żadnej bazy, ale przy założeniu aksjomatu wyboru wiadomo, że ona istnieje.

W 1984 roku Andreas Blass wykazał, że istnienie bazy każdej przestrzeni liniowej jest równoważne z aksjomatem wyboru[2].

Przykłady[edytuj]

Przekształcenia liniowe[edytuj]

 Osobny artykuł: przekształcenie liniowe.

Dla danych dwóch przestrzeni liniowych oraz nad tym samym ciałem można zdefiniować przekształcenia liniowe lub odwzorowania liniowe z do . Są to funkcje zachowujące ich struktury, tzn. zachowujące sumy wektorów i iloczyny wektorów przez skalary. Zbiór wszystkich przekształceń liniowych z do , oznaczany , sam stanowi przestrzeń liniową nad . Jeżeli dane są bazy i , przekształcenia liniowe można wyrazić w pojęciach składowych za pomocą macierzy nazywanych macierzami przekształceń liniowych.

Izomorfizm to przekształcenie liniowe , które jest jednocześnie bijekcją przestrzeni na przestrzeń . Jeśli istnieje izomorfizm między a , to mówi się, że przestrzenie te są izomorficzne, jako że przestrzenie liniowe mają tę samą strukturę.

Jak wspomniano wcześniej, wymiar przestrzeni jest niezmiennikiem izomorfizmu: otóż jeśli jest bazą przestrzeni , to jest bazą przestrzeni . Okazuje się, że nie ma innych niezmienników izomorfizmów. Wszystkie przestrzenie -wymiarowe nad ciałem są izomorficzne, tj. izomorficzne z przestrzenią współrzędnych . Konsekwencją tego twierdzenia jest możliwość badania przestrzeni liniowych skończonego wymiaru za pomocą metod właściwych przestrzeniom współrzędnych, znajdując uprzednio izomorfizm między tymi przestrzeniami.

Izomorfizmy między dowolnymi przestrzeniami liniowymi wyznaczone jednoznacznie są tylko w dwóch przypadkach szczególnych: gdy lub gdy są jednowymiarowymi przestrzeniami nad ciałem dwuelementowym. Niekiedy między przestrzeniami liniowymi istnieją izomorfizmy niezależne od jakichkolwiek wyborów (np. wyborów baz). O takich izomorfizmach mówi się, że są kanoniczne bądź naturalne. Przykładem izomorfizmu kanonicznego przestrzeni będących iloczynami tensorowymi przestrzeni, odpowiednio i oraz i , jest odwzorowanie dla .

Przestrzenie liniowe nad ustalonym ciałem wraz z przekształceniami liniowymi są kategorią abelową.

Iloczyn przestrzeni[edytuj]

Jeśli są przestrzeniami liniowymi nad tym samym ciałem , to w iloczynie kartezjańskim można wprowadzić strukturę przestrzeni liniowej definiując działania dodawania wektorów i mnożenia wektora przez skalar w następujący sposób:

,
,

dla .

Analogicznie określa się iloczyn przestrzeni .

Uogólnienia[edytuj]

Z abstrakcyjnego punktu widzenia przestrzenie liniowe są modułami nad ustalonym ciałem . Dużą część algebry liniowej można uprawiać opierając się wyłącznie na tej strukturze. Częsta praktyka utożsamiania oraz w przestrzeniach liniowych prowadzi do pojęcia bimodułu. W ogólności moduły nie muszą mieć baz; te, które je mają (włączając w to wszystkie przestrzenie liniowe) nazywa się modułami wolnymi.

Rodzina przestrzeni liniowych sparametryzowana w sposób ciągły za pomocą związanej z nią przestrzeni topologicznej nazywa się wiązką wektorową.

Przestrzeń afiniczna jest zbiorem z przechodnim działaniem przestrzeni liniowej na sobie. Warto zauważyć, że przestrzeń liniowa jest przestrzenią afiniczną nad sobą przez odwzorowanie strukturalne

.

Dodatkowe struktury[edytuj]

W matematyce rozważa się również przestrzenie liniowe będące zarazem przestrzeniami topologicznymi. Topologia określona na przestrzeni liniowej umożliwia w istocie wprowadzenie struktury jednostajnej. Jeśli przestrzeń ma nieskończony wymiar, to można na niej określić więcej niż jedną nierównoważną topologię.

Wszystkie powyższe przestrzenie są szczególnymi rodzajami tzw. przestrzeni liniowo-topologicznych, tzn.

  • przestrzeni liniowych[3] wyposażonych w topologię[4] zgodną z jej strukturą liniową: taką, w której dodawanie i mnożenie przez skalar są ciągłe[5].

Szerszą klasyfikację tego rodzaju przestrzeni można znaleźć w artykule dot. przestrzeni liniowo-topologicznych. W przestrzeniach tych wprowadza się pojęcie zbieżności (za pomocą topologii, metryki, normy), oraz rozważa się sumę nieskończonej liczby wektorów (tzw. szeregi).

Badanie zbieżności ciągów elementów takich przestrzeni jest ważne także z punktu widzenia zagadnień praktycznych. Na przykład w mechanice kwantowej układy fizyczne definiuje się jako pewne przestrzenie Hilberta – przydatnym bywa rozwijanie elementów tych przestrzeni w (uogólniony) szereg Fouriera.

Ponadto wyróżnia się również inne obiekty:

Alternatywny zestaw aksjomatów[edytuj]

Aksjomaty 3. i 4. można zastąpić następującym aksjomatem 9.:

Dla dowolnych zachodzi

Poniższy dowód równoważności pochodzi z A Note on the Independence of the Axioms for a Vector Space A. J. van der Poortena.

Przy założeniu aksjomatów 1. i 2. oraz 5.-9. mamy

oraz

skąd wynika, że jest elementem neutralnym i jest elementem przeciwnym do

Natomiast przy założeniu aksjomatów 1.-8. jest

A więc w szczególności dla dowolnego a zatem zachodzi 9.

Zobacz też[edytuj]

Przypisy

  1. Wektory te są liniowo niezależne
  2. Blass, Andreas. Existence of bases implies the axiom of choice. Axiomatic set theory (Boulder, Colo., 1983), 31–33, Contemp. Math., 31, Amer. Math. Soc., Providence, RI, 1984.
  3. a b nad ciałem liczb rzeczywistych bądź zespolonych
  4. Zakłada się dodatkowo, by przestrzeń topologiczna spełniała pierwszy aksjomat oddzielania
  5. W sensie topologii produktowej odpowiednio w: i