Báze (lineární algebra)

Motivace

Obr. +more 1. : Vektor \scriptstyle \vec{a} v rovině s vyznačenou souřadnou soustavou. Číslo \scriptstyle d_x představuje x-ovou souřadnici vektoru \scriptstyle \vec{a} a číslo \scriptstyle d_y jeho y-ovou souřadnici. Obr. 2. : Vektor \scriptstyle \vec{a} z obrázku výše. Tento vektor lze vyjádřit jako součet vektoru \scriptstyle \vec{a}_x a vektoru \scriptstyle \vec{a}_y, z nichž první míří ve směru osy x a druhý míří ve směru osy y. Obr. 3. : Vektor \scriptstyle \vec{c} vzniklý pootočením vektoru \scriptstyle \vec{a}. Složky vektoru \scriptstyle \vec{c} do směrů x a y mají jinou velikost, než složky pro vektor \scriptstyle \vec{a}. V tomto případě konkrétně \scriptstyle \beta_1 = 2 a \scriptstyle \beta_2 = \frac{1}{2}. .

Nejsnáze je pojem báze vektorového prostoru nahlédnutelný v případě prostoru šipek, fyzikálních vektorů. Pro jednoduchost uvažujme množinu všech šipek v rovině. +more Tato množina se dá vyjádřit jako vektorový prostor \scriptstyle \mathbb{R}^2, kde součtu dvou vektorů odpovídá složení dvou šipek, více viz oddíl Fyzikální vektory v článku Vektorový prostor či oddíl Geometrická interpretace v článku Lineární kombinace.

Mějme pro začátek jednu (nenulovou) šipku v rovině, kterou si označme jako \scriptstyle \vec{a}. Aniž bychom cokoli věděli o vektorových prostorech, můžeme se na celou věc dívat čistě geometricky a v rovině zakreslit dvě přímky, které jsou na sebe kolmé a které procházejí bodem, z něhož vychází naše šipka \scriptstyle \vec{a}. +more Těmto dvěma přímkám budeme říkat osy, jejich průniku počátek a celému celku dvou přímek pak souřadnicová soustava. Pro přehlednost si přitom jednu z os označme písmenem x a druhou písmenem y. Souřadnicová soustava nám umožňuje zavést jednoduchý způsob, jak naši šipku popsat pomocí dvou čísel. Konkrétně, nejprve si vykresleme kolmici na osu x tak, aby protínala konec šipky. Vzdálenost paty této kolmice od počátku soustavy souřadnic pak chápeme jako x-ovou souřadnici šipky, viz Obr. 1. Stejně postupujeme i pro osu y. Obdrželi jsme tak pro naši šipku dvojici čísel, kterým říkáme souřadnice šipky (v dané souřadnicové soustavě). Když si teď do roviny přikreslíme libovolnou další šipku, tak jsme jí stejným způsobem schopni popsat pomocí dvou čísel.

Tento způsob popisu šipek pomocí dvojic čísel je velmi názorný a jednoduchý. Rádi bychom ho proto přesunuli i do oblasti obecných vektorových prostorů. +more Zde ale nevíme, co znamená vzdálenost paty kolmice od počátku souřadnic, protože na vektorovém prostoru není nic jako vzdálenost definováno. (Nehledě na to, že tam není definována ani přímka, ani průsečík, ani pata kolmice. ) Abychom uspěli, tak musíme naši představu souřadnicových os vystavět s pomocí pojmů, které jsou nám v obecném vektorovém prostoru k dispozici. Vraťme se k našemu příkladu šipek v rovině. Dosud jsme zde měli zavedeny dvě souřadnicové osy a každý vektor jsme popsali pomocí dvou souřadnic, viz Obr. 1. Víme navíc, že složením dvou šipek dostaneme jejich výslednici, kteroužto přitom můžeme chápat jako jejich součet. (Souřadnice výslednice totiž obdržíme tak, že sečteme souřadnice původních dvou šipek, více viz oddíl Fyzikální vektory v článku Vektorový prostor. ) Vektor \scriptstyle \vec{a} z příkladu výše tedy můžeme chápat i jako součet dvou jistých vektorů, \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y. Vektor \scriptstyle \vec{a}_x přitom leží na ose x a podobně vektor \scriptstyle \vec{a}_y leží na ose y, viz Obr. 2. Platí tedy rovnost : \vec{a} = \vec{a}_x + \vec{a}_y. Pokud nyní vektor \scriptstyle \vec{a} dvakrát prodloužíme, obdržíme vektor \scriptstyle \vec{b} = 2 \vec{a}, jenž lze vyjádřit jako součet vektorů \scriptstyle \vec{b}_x = 2 \vec{a}_x a \scriptstyle \vec{b}_y = 2 \vec{a}_y. Analogicky bychom postupovali i pro libovolný násobek vektoru \scriptstyle \vec{a} dostávajíce : \vec{b} = \alpha \vec{a}_x + \alpha \vec{a}_y, kde \scriptstyle \alpha \in \mathbb{R}. Když bychom nyní vektor \scriptstyle \vec{a} pootočili a obdrželi tak vektor \scriptstyle \vec{c}, jak je znázorněno na Obr. 3, tak se odpovídajícím způsobem změní i oba vektory \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y do tvaru \scriptstyle \vec{c}_x = \beta_1 \vec{a}_x a \scriptstyle \vec{c}_y = \beta_2 \vec{a}_y, tedy : \vec{c} = \beta_1 \vec{a}_x + \beta_2 \vec{a}_y. Je tak vidět, že ať vektor \scriptstyle \vec{a} zkrátíme, prodloužíme či natočíme, tak lze výsledný vektor vždy vyjádřit pomocí původních vektorů \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y jako jejich lineární kombinaci. V rovině jsme ale schopni jakýkoliv vektor vyjádřit pomocí vhodného natočení či prodloužení/zkrácení vektoru \scriptstyle \vec{a}. Dostáváme tak, že libovolný vektor \scriptstyle \vec{x} v rovině lze popsat jako jistou lineární kombinaci vektorů \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y způsobem : \vec{x} = \alpha_1 \vec{a}_x + \alpha_2 \vec{a}_y, pro jisté koeficienty \scriptstyle \alpha_1, \alpha_2 \in \mathbb{R}.

V tuto chvíli tedy můžeme nadobro opustit náš pomocný pojem souřadnicových os, souřadnicové soustavy a souřadnic vektoru v této soustavě. Místo toho si hned od počátku můžeme v rovině zavést dva pevně dané vektory, které si označíme \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y. +more Jak jsme právě viděli, pomocí těchto vektorů jsme schopni vyjádřit libovolný vektor roviny jako jejich lineární kombinaci. Koeficienty této lineární kombinace přitom nazveme našimi novými souřadnicemi. Souřadnicemi, kterými lze popisovat vektory v obecném vektorovém prostoru, protože k jejich zavedení nebylo potřeba nic kromě pojmu lineární kombinace. Tyto souřadnice neudávají vzdálenost od počátku soustavy souřadnic jako ve výše zmíněném případě, ale jedná se o čísla, kterými když vynásobíme naše dva pevně zadané vektory a tyto pak sečteme, tak dostaneme žádaný vektor. Tyto pevně zadané vektory, zde tedy \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y, pak nazýváme báze prostoru šipek v rovině.

Jak vidno, vektory \scriptstyle \vec{a}_x a \scriptstyle \vec{a}_y můžeme zvolit vícero možnými způsoby, a přitom lze jimi stále popsat libovolný vektor v rovině. Jedná se o obecnou vlastnost báze - za bázi můžeme zvolit vícero sad vektorů. +more Zde se ale může vyskytnout obtíž, když vektor \scriptstyle \vec{a}_x zvolíme tak, že je roven násobku vektoru \scriptstyle \vec{a}_y a oba tak směřují tímtéž směrem (popřípadě až na znaménko). Není těžké si uvědomit, že v takovémto případě nejsme schopni popsat vektor v rovině, který se od jejich směru odchyluje. Abychom předešli podobným situacím, musíme naložit na definici báze podmínku, že žádný vektor báze nesmí jít vyjádřit pomocí ostatních vektorů báze. Matematicky je tento požadavek vyjádřen slovy, že báze musí být lineárně nezávislá množina vektorů. V obecném vektorovém prostoru bychom také mohli být na pochybách, kolik vektorů vlastně potřebujeme k popisu celého prostoru. Neboli, kolik vektorů tvoří bázi. I v případě vektorů v rovině jsme totiž mohli každý vektor vyjádřit ne jako lineární kombinaci dvou vektorů, ale třeba tří, čtyř, pěti. Požadujeme tedy ještě, abychom do báze nevybírali zbytečně mnoho vektorů. Chceme tedy vybrat jen tolik vektorů, kolik je k popisu vektorového prostoru nezbytně potřeba. Tento požadavek lze vyjádřit opět pomocí lineární nezávislosti. Pokud máme lineárně závislý soubor vektorů, kterými popisujeme vektorový prostor, tak z tohoto souboru můžeme nejméně jeden vektor vyjmout a přitom budeme stále schopni popsat celý prostor. Pokud máme lineárně nezávislý soubor, pak z něho už nelze žádný vektor vyjmout, aniž bychom se neochudili o možnost popisu celého prostoru.

Shrňme si nakonec základní vlastnosti, které musí námi vybrané vektory z vektorového prostoru mít, aby mohli dohromady tvořit bázi. Jak jsme viděli výše, tak chceme, aby šel každý vektor z vektorového prostoru vyjádřit jako lineární kombinaci námi vybraných vektorů. +more Množina všech lineárních kombinací daných vektorů se přitom nazývá jejich lineární obal. Jinými slovy tedy chceme, aby lineární obal námi vybraných vektorů byl roven celému vektorovému prostoru. Dále ale ještě požadujeme, aby tyto vektory byly lineárně nezávislé. Dospíváme tak k obecné definici báze níže.

Definice

Báze vektorového prostoru \scriptstyle V je taková množina vektorů z \scriptstyle V, která je lineárně nezávislá a jejíž lineární obal je roven celému prostoru \scriptstyle V. Prvky množiny \scriptstyle X pak nazýváme bazickými vektory nebo vektory báze. +more V symbolech lze definici přepsat jako : \text{množina } X \text{ je báze prostoru } V \quad \Leftrightarrow \quad (X \text{ je lineárně nezávislá } \wedge \ V = \{ X \}_\text{lin}).

Tuto definici lze použít v případech, kdy má množina \scriptstyle X konečný, ale i nekonečný počet prvků. Pokud je počet jejích prvků nekonečný, tak je nutno mít na paměti, že lineární nezávislost takovéto množiny znamená, že každý konečný soubor vektorů vybraný z \scriptstyle X je lineárně nezávislý. +more Podobně, v definici lineárního obalu jsou vždy uvažovány jen lineární kombinace konečně mnoha vektorů z \scriptstyle X. Tímto způsobem je definována tzv. Hamelova báze, viz níže. Existují však zobecnění, viz Schauderova či ortonormální báze níže, kde jsou uvažovány "lineární kombinace nekonečně mnoha vektorů". Pokud se omezíme jen na konečnou množinu \scriptstyle X, lze výše uvedenou definici přepsat do podoby:.

Báze vektorového prostoru \scriptstyle V je takový lineárně nezávislý soubor vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n, pro který platí rovnost \scriptstyle V = \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin}. Vektory \scriptstyle \vec{x}_1, \ldots, \vec{x}_n pak nazýváme bazické vektory. +more V symbolech tedy : \text{vektory } \vec{x}_1, \ldots, \vec{x}_n \text{ tvoří bázi prostoru } V \quad \Leftrightarrow \quad (\vec{x}_1, \ldots, \vec{x}_n \text{ jsou lineárně nezávislé } \wedge \ V = \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin}).

V právě uvedených formulacích nebyla požadována uspořádanost množiny či souboru vektorů, nezáleželo tedy na pořadí jejich prvků, a přesto jsme je nazývali bází. V některých případech je ale výhodné za bázi označovat množinu vektorů, v níž je pořadí těchto vektorů konkrétně zadané. +more Důležité to je např. pokud chceme sestrojit matici přechodu mezi dvěma bázemi. Pro různá uspořádání těchže vektorů pak dostáváme různé matice.

V definici výše není množina \scriptstyle X, popř. soubor vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n, určena jednoznačně. +more V jednom vektorovém prostoru lze tedy nalézt více bází. Lze však dokázat, viz oddíl Vztah dimenze a báze níže, že všechny báze daného vektorového prostoru mají stejný počet prvků. Ač tedy můžeme za bázi zvolit obecně vícero souborů vektorů, dimenze daného vektorového prostoru je dána pevně.

Uvažujme nyní vektorový prostor \scriptstyle V (konečné dimenze \scriptstyle \dim V = n \geq 1), jehož báze je \scriptstyle B = \{ \vec{x}_1, \ldots, \vec{x}_n \}. Z definice plyne, viz níže, že lze libovolný vektor \scriptstyle \vec{x} z prostoru \scriptstyle V vyjádřit pomocí jednoznačně určených koeficientů \scriptstyle \alpha_i ve tvaru :\vec{x} = \sum_{i=1}^n \alpha_i \vec{x}_i, přičemž \scriptstyle \alpha_i \in T, kde \scriptstyle T je těleso, nad nímž je vektorový prostor \scriptstyle V definován. +more Obyčejně tedy \scriptstyle T = \mathbb{R} nebo \scriptstyle T = \mathbb{C}. Koeficientům \scriptstyle \alpha_i, kde \scriptstyle i \in \{1, \ldots, n \}, pak říkáme souřadnice vektoru \scriptstyle \vec{x} v bázi \scriptstyle B.

Jak bylo naznačeno v úvodu článku, pojem báze je úzce spojen s pojmem dimenze vektorového prostoru. Tu lze definovat buď nezávisle na definici báze, anebo druhým způsobem jako počet prvků libovolné báze daného vektorového prostoru, viz definice dimenze vektorového prostoru. +more Vyjděme nyní z prvního způsobu definice dimenze, který nám umožňuje definovat nekonečnou dimenzi prostoru, aniž bychom jakkoli specifikovali jeho bázi. Je vidět, že definice báze, která bere v úvahu jen konečné množiny \scriptstyle X, není schopna přiřadit bázi nekonečněrozměrnému vektorovému prostoru. Dosti často si s touto omezenější podobou definice vystačíme, její obecnější formulace výše pak v nekonečněrozměrném případě definuje tzv. Hamelovu bázi.

Kromě dvou právě uvedených formulací se objevují i další definice báze vektorového prostoru, jako Schauderova báze, ortonormální báze či trigonometrická báze, z nichž některé jsou rozebrány níže.

Generátory vektorového prostoru

S pojmem báze vektorového prostoru souvisí pojem generátoru vektorového prostoru. Mějme vektorový prostor \scriptstyle V a dále jeho jistou neprázdnou podmnožinu \scriptstyle X \subset V. +more Pak říkáme, že množina \scriptstyle X generuje vektorový prostor \scriptstyle V, právě když lze každý vektor z prostoru \scriptstyle V vyjádřit jako lineární kombinaci vektorů z množiny \scriptstyle X. Prvky množiny \scriptstyle X pak nazýváme generátory vektorového prostoru \scriptstyle V. Jinými slovy, množina \scriptstyle X generuje vektorový prostor \scriptstyle V, právě když je \scriptstyle V jejím lineárním obalem. Neboli : V = \{ X \}_\text{lin}. Oproti bázi zde tedy nepožadujeme lineární nezávislost. Definici báze vektorového prostoru lze pak vyjádřit slovy:.

:Mějme vektorový prostor \scriptstyle V. Pak každou množinu vektorů, která je lineárně nezávislá a generuje prostor \scriptstyle V, nazýváme báze vektorového prostoru \scriptstyle V.

Je-li vektorů v množině \scriptstyle X konečně mnoho, pak lze výše uvedenou definici generátorů přeformulovat takto: Mějme vektorový prostor \scriptstyle V a dále jeho jistou neprázdnou podmnožinu \scriptstyle X = \{ \vec{x}_1, \ldots, \vec{x}_n \} \subset V pro jisté přirozené číslo \scriptstyle n. Pak říkáme, že množina \scriptstyle X generuje vektorový prostor \scriptstyle V, právě když : V = \{ \vec{x}_1, \dots, \vec{x}_n \}_\text{lin}. +more Vektory \scriptstyle \vec{x}_1, \ldots, \vec{x}_n pak nazýváme generátory vektorového prostoru \scriptstyle V. Definice generátorů vektorového prostoru se tak shoduje s definicí generátorů lineárního obalu.

Standardní báze

V případě nejčastěji užívaných vektorových prostorů se definují jisté báze, který mají velmi jednoduchý tvar a s nimiž se snadno pracuje. Těmto bázím říkáme standardní báze. +more Nejedná se však o obecný pojem, standardní báze je ve svém konkrétním tvaru zavedena jen pro prostory aritmetických vektorů, posloupností (čísel), (číselných) matic a polynomů. Obecně by se místo číselných těles dala uvažovat tělesa libovolná. Tvary standardních bází pro právě uvedené prostory jsou vypsány v Příkladu 1 níže.

Hamelova báze

Zaměřme se nyní na definici báze podanou v úvodu sekce, kde za \scriptstyle X bereme i nekonečné množiny. Pokud použijeme tuto definici na konečněrozměrný prostor, tak nic nového nezískáme. +more Opět bychom dospěli ke konečné bázi, jejíž počet prvků by byl roven dimenzi vektorového prostoru. V případě nekonečněrozměrných vektorových prostorů se ale situace liší. Zde bychom bázi o konečně mnoha prvcích nenašli. Připustíme-li však platnost axiomu výběru, lze ukázat, že každý vektorový prostor, tedy i ten nekonečněrozměrný, má bázi (viz oddíl Existence báze níže). U nekonečněrozměrných prostorů této bázi říkáme Hamelova báze. Je pojmenována po německém matematikovi Georgu Hamelovi a občas se lze setkat i s nesprávným označením Hammelova báze. Připomeňme, že v definici lineárního obalu a lineárně nezávislé množiny vždy uvažujeme jen konečné lineární kombinace. V případě konečněrozměrných prostorů se Hamelova báze redukuje na běžnou bázi vektorového prostoru a je tedy přímým zobecněním báze konečněrozměrného vektorového prostoru na nekonečněrozměrný případ.

Jako příklad Hamelovy báze můžeme uvést standardní bázi prostoru posloupností či standardní bázi prostoru polynomů, viz Příklad 1.

Schauderova báze

Při práci s nekonečněrozměrnými prostory není pojem Hamelovy báze dostačující. Definují se tak jiné báze. +more Máme-li vektorový prostor vybaven normou, který je navíc v dané normě úplný, můžeme jako nejpřímější zobecnění Hamelovy báze zavést Schauderovu bázi, která je pojmenována po svém tvůrci, polském matematikovi J. Schauderovi. Příkladem úplného vektorového prostoru s normou jsou Hilbertovy či obecněji Banachovy prostory. Občas se přízvisko v kontextu těchto prostorů vynechává a hovoří se pouze o bázi. Schauderova báze je v těchto prostorech definována následovně :.

Nechť \scriptstyle B je Banachův prostor definovaný nad tělesem \scriptstyle T, označme si jeho normu jako \scriptstyle \| \cdot \|. Pak posloupnost \scriptstyle (\vec{e}_i)_{i=1}^\infty prvků z \scriptstyle B nazveme (Schauderovou) bází tohoto prostoru, jestliže pro každý vektor \scriptstyle \vec{x} \in B existuje právě jedna posloupnost \scriptstyle (\alpha_i)_{i=1}^\infty prvků z \scriptstyle T tak, že platí : \vec{x} = \sum_{i=1}^\infty \alpha_i \vec{e}_i. +more Rovnost výše je přitom chápána ve smyslu :\lim_{n \to \infty} \Bigg\| \vec{x} - \sum_{i=1}^n \alpha_i \vec{e}_i \Bigg\| = 0.

Schauderova báze je oproti té Hamelově tedy obecnější v tom, že uvažuje i lineární kombinace "nekonečně" mnoha prvků. Není to však už báze vektorového prostoru (v algebraicekém smyslu). +more Můžeme říci, že zatímco je Hamelova báze množina, jejíž lineární obal je roven celému vektorovému prostoru, tak Schauderova báze je množina, pro niž uzávěr jejího lineárního obalu je roven celému Banachovu prostoru. V případě konečněrozměrných prostorů se pojem Schauderovy báze redukuje na běžnou definici báze vektorového prostoru.

Ortogonální báze, ortonormální báze

Důležitou roli v prostorech se skalárním součinem, tedy např. v Hilbertových prostorech, hrají báze ortonormální, resp. +more ortogonální. Na prostorech konečné dimenze je ortogonální báze speciálním případem klasické báze, jejíž prvky navíc splňují vlastnost, že jsou na sebe kolmé. Ortogonální báze konečněrozměrného prostoru se skalárním součinem je tedy množina \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_n \}, která generuje celý prostor a pro jejíž prvky platí :(\vec{x}_i, \vec{x}_j) = 0 \quad \Leftrightarrow \quad i \neq j, kde závorka značí skalární součin v daném prostoru a \scriptstyle i,j \in \{1, \ldots, n \}. Ortogonalita vektorů totiž už zajišťuje jejich lineární nezávislost. Častěji užívaná je ale ortonormální báze, která má oproti ortogonální bázi ještě ten požadavek, že mají všechny její prvky jednotkovou velikost. Jinými slovy, ortonormální báze je množina \scriptstyle \{ \vec{e}_1, \ldots, \vec{e}_n \} generující celý prostor, pro jejíž prvky platí : (\vec{e}_i, \vec{e}_j) = \delta_{ij}, kde závorka opět značí skalární součin v daném prostoru, \scriptstyle \delta_{ij} značí Kroneckerovo delta a \scriptstyle i,j \in \{1, \ldots, n \}.

V prostorech nekonečněrozměrných se pak ortogonální báze definuje jako ortogonální množina, která je v daném Hilbertově prostoru totální. Podobně, ortonormální báze je taková podmnožina nekonečněrozměrného Hilbertova prostoru, která je ortonormální a totální v tomto prostoru.

Ortogonální množina je přitom taková množina nenulových vektorů z Hilbertova prostoru, jejíž každé dva prvky jsou ortogonální. Ortonormální množina je pak taková ortogonální množina, jejíž každý prvek má jednotkovou velikost, tj. +more pro každý její prvek \scriptstyle \vec{x} platí \scriptstyle \|\vec{x} \| = 1. To, že je nějaká množina totální ve své nadmnožině, znamená, že uzávěr jejího lineárního obalu je roven této nadmnožině. Neboli, ortonormální báze \scriptstyle \mathcal{O} Hilbertova prostoru \scriptstyle \mathcal{H} je ortonormální podmnožina z \scriptstyle \mathcal{H} taková, že \scriptstyle \overline{ \{ \mathcal{O} \}_\text{lin}} = \mathcal{H}, kde pruh nad označením množiny symbolizuje její uzávěr.

Z vlastností ortonormálních bází lze odvodit velmi užitečné vztahy, jako např. Parsevalovu rovnost, Besselovu nerovnost či rozklad vektoru za pomoci Fourierových koeficientů.

Vlastnosti

Vztah dimenze a báze

Omezme se v tomto oddíle jen na konečněrozměrné vektorové prostory. Jak bylo předesláno výše, ač lze za bázi volit různé soubory vektorů, počet prvků báze je vždy tentýž, jak vyplývá z následujícího tvrzení.

* Každé dvě různé báze daného vektorového prostoru mají stejný počet prvků.

:Důkaz: Mějme dvě báze \scriptstyle \vec{x}_1, \ldots, \vec{x}_m a \scriptstyle \vec{y}_1, \ldots, \vec{y}_n téhož vektorového prostoru. Bez újmy na obecnosti nechť \scriptstyle m . +more Protože je \scriptstyle \vec{x}_1, \ldots, \vec{x}_m báze, lze s její pomocí vyjádřit všechny vektory \scriptstyle \vec{y}_1, \ldots, \vec{y}_n, které tak leží v lineárním obalu \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_m \}_\text{lin}. Použijeme-li nyní Steinitzovy věty o výměně, dospíváme ihned ke sporu.

Na dalších třech tvrzeních si nyní ukažme vztah báze konečněrozměrného vektorového prostoru a jeho dimenze. Předpokládáme přitom, že dimenze vektorového prostoru byla definována nezávisle na jeho bázi, jak je to podáno v oddíle Definice článku Dimenze vektorového prostoru. +more Dohromady by šla trojice následujících tvrzení shrnout slovy: Každý vektorový prostor konečné dimenze má počet bazických vektorů roven své dimenzi.

* Nechť je \scriptstyle \dim V = n \in \mathbb{N}. Pak ve \scriptstyle V existuje n-členná báze.

:Důkaz: Z předpokladů ve \scriptstyle V existuje n-členný lineárně nezávislý soubor vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n. Aby tento soubor splňoval definiční podmínky báze, musíme ještě ukázat, že lze libovolný vektor \scriptstyle \vec{x} z prostoru \scriptstyle V vyjádřit jako jistou lineární kombinaci tohoto souboru. +more Předpokládejme, že existuje vektor \scriptstyle \vec{x}_0 \in V, který takto vyjádřit nelze. Pak ale z definice lineární nezávislosti plyne, že (n+1)-členný soubor \scriptstyle \vec{x}_0, \vec{x}_1, \ldots, \vec{x}_n je lineárně nezávislý. To je ale ve sporu s definicí dimenze, která říká, že každý (n+1)-členný soubor je lineárně závislý.

* Nechť \scriptstyle n \in \N a nechť ve \scriptstyle V existuje n-členná báze. Potom \scriptstyle \dim V = n.

:Důkaz: Báze je soubor lineárně nezávislých vektorů generujících vektorový prostor, označme si ji jako \scriptstyle \vec{x}_1, \ldots, \vec{x}_n. Z definice dimenze tedy plyne, že \scriptstyle \dim V \geq n, neboť n je počet prvků báze. +more Zároveň ale z definice báze a Steinitzovy věty o výměně také vyplývá, že každý (n+1)-členný soubor vektorů \scriptstyle \vec{y}_1, \ldots, \vec{y}_{n+1} je nutně lineárně závislý. Z definice dimenze tedy dále \scriptstyle \dim V \leq n a celkově pak \scriptstyle \dim V = n.

* Nulový vektorový prostor, tj. \scriptstyle \{ \vec{0} \}, nemá bázi.

:Důkaz: Nulový vektorový prostor obsahuje jen nulový vektor a každý soubor obsahující jen nulový vektor je lineárně závislý, viz první tvrzení v oddílu Ostatní článku Lineární nezávislost. Není tak splněn jeden z definičních požadavků báze.

Konstrukce báze

Opět se omezme na případy konečněrozměrných vektorových prostorů. V případě nekonečné dimenze je situace složitější.

* Z každého souboru generátorů daného vektorového prostoru lze vybrat jeho bázi. Přesněji: Nechť \scriptstyle V je nenulový vektorový prostor tvaru \scriptstyle V = \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin} pro jisté vektory \scriptstyle \vec{x}_1, \ldots, \vec{x}_n \in V, kde \scriptstyle \{ \ldots \}_\text{lin} značí lineární obal. +more Potom \scriptstyle \dim V = k \leq n a v případě \scriptstyle k existují navzájem různé indexy \scriptstyle i_1, \ldots, i_k \in \{1, \ldots, n \} takové, že \scriptstyle (\vec{x}_{i_1}, \ldots, \vec{x}_{i_k}) je báze \scriptstyle V.

:Důkaz: Buď jsou vektory \scriptstyle \vec{x}_1, \ldots, \vec{x}_n lineárně nezávislé, a v tom případě tvoří bázi, anebo jsou lineárně závislé. V takovém případě lze z jejich souboru vyjmout jeden vektor, aniž bychom změnili jejich lineární obal, viz druhé tvrzení v oddílu Ostatní článku Lineární obal. +more Takto vzniklý soubor vektorů buď už je lineárně nezávislý, anebo z něj můžeme opět vyjmout jeden vektor, aniž bychom změnili lineární obal souboru. Takto můžeme pokračovat dál. Určitě se pak zastavíme přinejhorším na souboru obsahujícím jediný nenulový vektor. Nenulový proto, že předpokládáme nenulový vektorový prostor. Jeden proto, že soubor obsahující jediný nenulový vektor je vždy lineárně nezávislý. Vztah \scriptstyle \dim V = k \leq n lze dokázat přímo z definice dimenze vektorového prostoru, nebo viz tvrzení o dimenzi lineárního obalu v oddíle Vektorové podprostory článku Dimenze vektorového prostoru. Dokázali jsme tak tvrzení věty.

* Každý lineárně nezávislý soubor ve vektorovém prostoru lze doplnit na jeho bázi. Přesněji: Nechť \scriptstyle \vec{x}_1, \ldots, \vec{x}_k je lineárně nezávislý soubor vektorů z vektorového prostoru \scriptstyle V a nechť \scriptstyle \dim V = n > k. +more Pak existují vektory \scriptstyle \vec{x}_{k+1}, \ldots, \vec{x}_{n} tak, že soubor \scriptstyle \vec{x}_1, \ldots, \vec{x}_k, \vec{x}_{k+1}, \ldots, \vec{x}_n je báze prostoru \scriptstyle V.

:Důkaz: Protože \scriptstyle \dim V = n \geq 1, najdeme ve \scriptstyle V bázi \scriptstyle \{ \vec{y}_1, \ldots, \vec{y}_n \}. Jejím lineárním obalem je celý prostor \scriptstyle V, platí tak \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_k \}_\text{lin} \subset \subset \{ \vec{y}_1, \ldots, \vec{y}_n \}_\text{lin}, tj. +more lineární obal vektorů \scriptstyle \vec{x}_i je podprostorem lineárního obalu vektorů \scriptstyle \vec{y}_i. Tvrzení věty pak ihned dostáváme užitím Steinitzovy věty o výměně.

* V konečnědimenzionálním prostoru dimenze n je bází každá množina obsahující n lineárně nezávislých vektorů.

:Důkaz: Mějme n lineárně nezávislých vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n v prostoru dimenze n. Chceme ukázat, že generují celý vektorový prostor. +more Kdyby to nebyla pravda, tak by existoval vektor \scriptstyle \vec{x}_0, který by nešlo vyjádřit jako lineární kombinaci těchto vektorů. Neboli soubor \scriptstyle \vec{x}_0, \vec{x}_1, \ldots, \vec{x}_n by byl lineárně nezávislý. Máme tedy lineárně nezávislý soubor délky n+1 v prostoru dimenze n, což je ve sporu s definicí dimenze. S použitím tvrzení dokázaných výše též můžeme říci, že v prostoru dimenze n existuje n-členná báze. Předchozí tvrzení nám navíc říká, že každý lineárně nezávislý soubor lze doplnit na bázi. Dostáváme tak rovnou tvrzení věty.

Závislost na tělese

Ukažme si na příkladu konečněrozměrných vektorových prostorů rozdíly v hodnotě jejich dimenze, chápeme-li daný vektorový prostor jako množinu definovanou nad rozdílnými tělesy. Přesněji řečeno, vektorový prostor je uspořádaná čtveřice \scriptstyle (V,T,\oplus,\odot). +more Pokud ponecháme množinu \scriptstyle V a změníme množinu \scriptstyle T, můžeme dostat vektorový prostor odlišné dimenze. Jiná hodnota dimenze se odrazí i na tvaru báze takového vektorového prostoru. Konkrétně si dokažme následující tvrzení.

* Nechť \scriptstyle V je komplexní vektorový prostor o dimenzi \scriptstyle \dim V = n \geq 1, nechť dále \scriptstyle \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \} je jeho báze. Potom soubor \scriptstyle \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n, \mathrm{i} \vec{x}_1, \mathrm{i} \vec{x}_2, \ldots, \mathrm{i} \vec{x}_n \} délky 2n je báze prostoru \scriptstyle V_R, tj. +more \scriptstyle \dim V_R = 2n. Symbol \scriptstyle \mathrm{i} zde přitom značí imaginární jednotku a \scriptstyle V_R označuje množinu \scriptstyle V coby vektorový prostor nad tělesem reálných čísel.

:Důkaz: Libovolný vektor \scriptstyle \vec{x} z \scriptstyle V lze zapsat ve tvaru \scriptstyle \vec{x} = \sum_{i=1}^n \alpha_i \vec{x}_i, kde \scriptstyle \alpha_i \in \mathbb{C}. Tento vztah lze přepsat do podoby \scriptstyle \vec{x} = \sum_{i=1}^n (\mathrm{Re} \alpha_i + \mathrm{i} \, \mathrm{Im} \alpha_i) \vec{x}_i = \sum_{i=1}^n (\mathrm{Re} \alpha_i) \vec{x}_i + \sum_{i=1}^n (\mathrm{Im} \alpha_i) \mathrm{i} \vec{x}_i. +more Pokud nyní za těleso bereme jen reálná čísla, stávají se vektory \scriptstyle \mathrm{i} \vec{x}_i lineárně nezávislými na vektorech \scriptstyle \vec{x}_i, protože imaginární jednotka už není součástí tělesa a výraz \scriptstyle \mathrm{i} \vec{x}_i tak už nelze chápat jako násobek vektoru \scriptstyle \vec{x}_i. Soubor \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n, \mathrm{i} \vec{x}_1, \mathrm{i} \vec{x}_2, \ldots, \mathrm{i} \vec{x}_n je tedy lineárně nezávislý a ze vzorce výše i generuje celý prostor. Je to tedy báze prostoru \scriptstyle V_R a dimenze tohoto prostoru je tedy 2n.

Pro jednoduchou ilustraci tohoto jevu viz Příklad 4 níže.

Existence báze

Dokažme si v tomto oddíle důležité tvrzení: Každý nenulový vektorový prostor má bázi. Pro konečněrozměrné prostory jsme tuto větu už v podstatě dokázali v oddíle Vztah dimenze a báze. +more Bude nás tedy hlavně zajímat případ nekonečněrozměrných vektorových prostorů. Poznamenejme ještě, že nulový vektorový prostor, \scriptstyle \{ \vec{0} \}, žádnou bázi nemá. K důkazu věty budeme potřebovat axiom výběru, konkrétně jeho formulaci ve tvaru Zornova lemmatu.

Uvažujme nenulový vektorový prostor \scriptstyle V a systém všech jeho lineárně nezávislých podmnožin \scriptstyle S. Neboť množiny obsahující jediný nenulový vektor jsou lineárně nezávislé, je \scriptstyle S neprázdný. +more Díky relaci inkluze je tento systém navíc částečně uspořádaná množina. Máme-li dvě lineárně nezávislé množiny \scriptstyle X_1, \scriptstyle X_2 ze systému \scriptstyle S, tak můžeme totiž definovat \scriptstyle X_1 \leq X_2, právě když \scriptstyle X_1 \subset X_2. Uvažujme nyní lineárně uspořádaný podsystém \scriptstyle S' z \scriptstyle S. Sjednotíme-li všechny prvky podsystému \scriptstyle S', dostaneme množinu \scriptstyle S'_u, o níž není těžké dokázat, že je jednak prvkem systému \scriptstyle S, jednak že je navíc nadmnožinou všech prvků podsystému \scriptstyle S'. Množina \scriptstyle S'_u je tedy horní závorou podsystému \scriptstyle S'. Dokázali jsme tak, že každý lineárně uspořádaný podsystém systému \scriptstyle S je shora omezený. Aplikujeme-li Zornovo lemma, okamžitě dostáváme, že systém \scriptstyle S musí mít maximální prvek, označme si ho \scriptstyle M. O tomto maximálním prvku se nyní budeme snažit dokázat, že je bází vektorového prostoru \scriptstyle V. Protože \scriptstyle M leží v \scriptstyle S, tak musí být lineárně nezávislá, navíc je to určitě podmnožina prostoru \scriptstyle V. Zbývá tedy ukázat, že \scriptstyle M generuje \scriptstyle V. Kdyby tomu tak nebylo, tak najdeme vektor \scriptstyle \vec{x} z \scriptstyle V tak, že ho nelze vyjádřit jako lineární kombinaci prvků z \scriptstyle M. Množina \scriptstyle M \cup \{ \vec{x}\} by tak byla lineárně nezávislá. Tato množina tedy patří do \scriptstyle S a přitom je větší (podle relace definované pomocí inkluze výše) než množina \scriptstyle M. To je ale spor s tím, že \scriptstyle M je maximální prvek v \scriptstyle S. Dokázali jsme tak, že každý nenulový vektorový prostor má bázi.

Jednoznačnost vyjádření

Dokažme si v tomto oddíle jednoduchý, avšak důležitý, důsledek definice báze. A sice, že rozklad libovolného vektoru konečněrozměrného prostoru do vektorů báze je jednoznačný. +more (Nyní v definici báze předpokládáme, že báze je navíc uspořádaný soubor vektorů. ) Neboli.

* Nechť \scriptstyle V je vektorový prostor konečné dimenze \scriptstyle \dim V = n \geq 1 definovaný nad tělesem \scriptstyle T. Dále nechť \scriptstyle \vec{x}_1, \ldots, \vec{x}_n je jeho báze. +more Pak pro libovolný vektor \scriptstyle \vec{x} \in V existuje právě jedna uspořádaná n-tice \scriptstyle (\alpha_1, \ldots, \alpha_n) prvků z tělesa \scriptstyle T taková, že platí : \vec{x} = \sum_{i=1}^n \alpha_i \vec{x}_i.

:Důkaz: Existence nějaké n-tice prvků z tělesa splňující rovnost výše je zajištěna z definice báze. Je tedy nutné jen ověřit její jednoznačnost. +more Pro spor tedy předpokládejme existenci ještě jiné n-tice prvků \scriptstyle (\beta_1, \ldots, \beta_n), splňující tentýž vztah. Platí tedy \scriptstyle \vec{x} = \sum_{i=1}^n \alpha_i \vec{x}_i = \sum_{i=1}^n \beta_i \vec{x}_i. Neboli \scriptstyle \vec{0} = \sum_{i=1}^n \alpha_i \vec{x}_i - \sum_{i=1}^n \beta_i \vec{x}_i = \sum_{i=1}^n (\alpha_i - \beta_i)\vec{x}_i. Protože je ale soubor \scriptstyle \vec{x}_1, \ldots, \vec{x}_n lineárně nezávislý, musí být všechny koeficienty \scriptstyle \alpha_i - \beta_i rovny nule. To jest \scriptstyle \alpha_i = \beta_i pro všechna \scriptstyle i \in \{1, \ldots, n\}, což je spor s předpokladem.

Souřadnicová zobrazení

Souřadnicový izomorfizmus

Jak jsme viděli v oddíle Jednoznačnost vyjádření, tak pro každý vektor konečněrozměrného vektorového prostoru \scriptstyle V_n s danou n-člennou bází existuje právě jedna n-tice prvků z tělesa \scriptstyle T, jeho souřadnice. Máme tak definováno zobrazení z vektorového prostoru \scriptstyle V_n do množiny \scriptstyle T^n, které každému vektoru z \scriptstyle V přiřadí jeho souřadnice v dané bázi. +more Toto zobrazení se nazývá souřadnicový izomorfizmus (přidružený k dané bázi), označme si ho jako \scriptstyle A. Platí tedy, že \scriptstyle A: V_n \to T^n, a explicitně vyjádřeno : A(\vec{x}) = A \Big( \sum_{i=1}^n \alpha_i \vec{x}_i \Big) = (\alpha_1, \ldots, \alpha_n).

Izomorfizmus je v kontextu lineární algebry přitom lineární bijektivní zobrazení. Měli bychom tedy nejdříve ověřit, že dané zobrazení tyto vlastnosti skutečně splňuje. +more Pro libovolné vektory : \vec{x} = \sum_{i=1}^n \alpha_i \vec{x}_i, \quad \vec{y} = \sum_{i=1}^n \beta_i \vec{x}_i zjevně platí, že jejich součet má souřadnice rovné součtům souřadnic a podobně jejich násobek má souřadnice rovné násobku souřadnic. Neboli : \vec{x} + \vec{y} = \sum_{i=1}^n (\alpha_i + \beta_i) \vec{x}_i, \quad \alpha \vec{x} = \sum_{i=1}^n (\alpha \alpha_i) \vec{x}_i, kde \scriptstyle \alpha \in T. Platí tedy vztahy \scriptstyle A(\vec{x} + \vec{y}) = A(\vec{x}) + A(\vec{y}) a \scriptstyle A(\alpha \vec{x}) = \alpha A(\vec{x}) a můžeme tak uzavřít, že \scriptstyle A je lineární zobrazení. Je též snadné nahlédnout, že pro každou n-tici prvků z \scriptstyle T najdeme vektor z \scriptstyle V_n, jehož souřadnice jsou rovny právě této n-tici. Navíc je tento vektor zřejmě určen jednoznačně. Zobrazení \scriptstyle A je tak prosté a na a my jsme dokázali, že se jedná o izomorfizmus.

Souřadnicový funkcionál

Pokud nás zajímá jen souřadnice odpovídající jednomu konkrétnímu bazickému vektoru, můžeme si definovat zobrazení, které vektoru přiřazuje právě jen tuto souřadnici. Řekněme, že ve vektorovém prostoru \scriptstyle V_n konečné dimenze definovaném nad tělesem \scriptstyle T máme bázi \scriptstyle \vec{x}_1, \ldots, \vec{x}_n a zajímá nás nyní j-tá souřadnice vektorů z \scriptstyle V_n ve zmíněné bázi, kde \scriptstyle j \in \{1, \ldots, n\}. +more Pak lze definovat zobrazení \scriptstyle \varphi_j: V_n \to T, které každému vektoru \scriptstyle \vec{x} \in V_n přiřadí jeho j-tou souřadnici. Tomuto zobrazení se říká (j-tý) souřadnicový funkcionál v bázi \scriptstyle \vec{x}_1, \ldots, \vec{x}_n. Platí tedy : \varphi_j(\vec{x}) = \varphi_j \Big( \sum_{i=1}^n \alpha_i \vec{x}_i \Big) = \alpha_j.

Funkcionál je obecně zobrazení zobrazující z vektorového prostoru do jeho tělesa. Naprosto analogicky případu pro souřadnicový izomorfizmus bychom ukázali, že souřadnicový funkcionál je lineární zobrazení. +more Platí i pěkný vztah : \varphi_j(\vec{x}_k) = \delta_{jk}, kde \scriptstyle \varphi_j je j-tý souřadnicový funkcionál pro bázi \scriptstyle \vec{x}_1, \ldots, \vec{x}_n, vektor \scriptstyle \vec{x}_k je k-tý bazický vektor a \scriptstyle \delta_{jk} je Kroneckerovo delta. Tento vztah plyne ihned z definice souřadnicového funkcionálu, uvědomíme-li si, že platí \scriptstyle \vec{x}_k = \sum_{i=1}^n \delta_{ik} \vec{x}_i.

Souřadnicové funkcionály mají i tu vlastnost, že tvoří bázi duálního prostoru k vektorovému prostoru \scriptstyle V_n. Každý vektor z \scriptstyle V_n lze totiž psát ve tvaru : \vec{x} = \sum_{i=1}^n \varphi_i(\vec{x}) \vec{x}_i. +more Máme-li nyní libovolný lineární funkcionál \scriptstyle h z duálního prostoru \scriptstyle V^\#, tak jeho působení na libovolný vektor \scriptstyle \vec{x} můžeme vyjádřit ve tvaru : h(\vec{x}) = h \Big(\sum_{i=1}^n \varphi_i(\vec{x}) \vec{x}_i \Big) = \sum_{i=1}^n \varphi_i(\vec{x}) h(\vec{x}_i). Nezajímá-li nás nyní konkrétní vektor \scriptstyle \vec{x}, ale tvar samotného zobrazení, tak můžeme shrnout : h = \sum_{i=1}^n h(\vec{x}_i) \varphi_i. Výrazy \scriptstyle h(\vec{x}_i) jsou totiž nyní prvky z tělesa a máme tak funkcionál \scriptstyle h vyjádřen jako lineární kombinaci souřadnicových funkcionálů. Lineární funkcionály tedy generují duální prostor. Dokažme si ještě jejich lineární nezávislost. Za tím účelem uvažujme jejich obecnou lineární kombinaci dávající nulový vektor, nulový funkcionál : \sum_{i=1}^n \alpha_i \varphi_i = 0. Na pravé straně rovnosti je zobrazení, které každému vektoru přiřadí nulový prvek z tělesa. Abychom dokázali lineární nezávislost souboru lineárních funkcionálů, musíme ukázat, že každý koeficient \scriptstyle \alpha_i je nulový. To ale není těžké dokázat, pokud do vztahu výše dosadíme bazické vektory. Pro j-tý bazický vektor je pravá strana nulová, zatímco na levé straně dostaneme : \sum_{i=1}^n \alpha_i \varphi_i(\vec{x}_j) = \sum_{i=1}^n \alpha_i \delta_{ij} = \alpha_j. Vidíme tak, že koeficient \scriptstyle \alpha_j je nulový. Stejně bychom postupovali i pro zbylé koeficienty. Dokázali jsme tak lineární nezávislost a můžeme shrnout, že soubor lineárních funkcionálů je bází duálního prostoru k prostoru \scriptstyle V_n.

Přechod mezi bázemi

Jak již bylo zmíněno, v nenulovém vektorovém prostoru lze nalézt více bází. V nenulových komplexních vektorových prostorech konečné dimenze je těchto bází dokonce nekonečně mnoho. +more Vždy totiž můžu libovolný vektor báze vynásobit nějakým nenulovým číslem. Lineární nezávislost ani schopnost souboru generovat prostor to nezmění, dostávám tak jinou, lehce odlišnou bázi. Protože je čísel nekonečně mnoho, mohu takto obdržet nekonečně mnoho bází. Pro práci s vektory se hodí různé báze v závislosti na úloze, je tedy velmi užitečné najít jednoduchý způsob, jak vektory vyjádřené souřadnicemi v jedné bázi vyjádřit pomocí souřadnic v bázi druhé. Za tímto účelem se zavádí matice přechodu mezi bázemi. Pokud si souřadnice daného vektoru narovnáme do sloupce, tak souřadnice téhož vektoru v nové bázi získáme tak, že tento sloupec zleva vynásobíme maticí přechodu.

Matice přechodu - úvod

Ukažme si nejprve, jak se k matici přechodu dospěje a pak si uveďme formální definici. Pro konkrétnost nechť \scriptstyle X = \{ \vec{x}_1, \ldots, \vec{x}_n \} a \scriptstyle Y = \{ \vec{y}_1, \ldots, \vec{y}_n \} jsou dvě různé báze prostoru \scriptstyle V_n. +more Vektory jedné báze tak lze vyjádřit jako lineární kombinace vektorů druhé báze jako :\vec{y}_i = \sum_{j=1}^n \gamma_{ij} \vec{x}_j. Máme-li tedy libovolný vektor \scriptstyle \vec{x} z prostoru \scriptstyle V_n, lze tento napsat jednak v bázi \scriptstyle X ve tvaru \scriptstyle \vec{x} = \sum_{j=1}^n \alpha_j \vec{x}_j, jednak v bázi \scriptstyle Y ve tvaru \scriptstyle \vec{x} = \sum_{i=1}^n \beta_i \vec{y}_i. Platí tedy, že : \vec{x} = \sum_{i=1}^n \beta_i \vec{y}_i = \sum_{i=1}^n \beta_i \left( \sum_{j=1}^n \gamma_{ij} \vec{x}_j \right) = \sum_{i=1}^n \sum_{j=1}^n \beta_i \gamma_{ij} \vec{x}_j = \sum_{j=1}^n \left( \sum_{i=1}^n \beta_i \gamma_{ij} \right) \vec{x}_j = \sum_{j=1}^n \alpha_j \vec{x}_j. Protože je vyjádření vektoru \scriptstyle \vec{x} v libovolné bázi jednoznačné, viz oddíl Jednoznačnost vyjádření, musí se rovnat koeficienty v posledních dvou výrazech a dostáváme tak :\alpha_j = \sum_{j=1}^n \beta_i \gamma_{ij}. Tento vztah lze zapsat maticově ve tvaru : \vec{\alpha} = {}_X P_Y \, \vec{\beta},.

kde \scriptstyle \vec{\alpha} = (\alpha_1, \ldots, \alpha_n), \scriptstyle \vec{\beta} = (\beta_1, \ldots, \beta_n) a \scriptstyle {}_\mathcal{X} P_\mathcal{Y} je tzv. matice přechodu, jejíž prvky jsou \scriptstyle ({}_\mathcal{X} P_\mathcal{Y})_{ij} = \gamma_{ij}.

Matice přechodu - definice

Uveďme si nyní definici matice přechodu. Nechť \scriptstyle V_n je vektorový prostor konečné dimenze \scriptstyle n definovaný nad tělesem \scriptstyle T. +more Nechť \scriptstyle X = \{ \vec{x}_1, \ldots, \vec{x}_n\} a \scriptstyle Y = \{ \vec{y}_1, \ldots, \vec{y}_n \} jsou dvě různé báze tohoto prostoru. Pak matice přechodu \scriptstyle _X P_Y od báze \scriptstyle X k bázi \scriptstyle Y je matice z \scriptstyle T^{n \times n} splňující : (_X P_Y)_{ij} = \varphi_i (\vec{y}_j), kde \scriptstyle \varphi_i jsou souřadnicové funkcionály přidružené k bázi \scriptstyle X. V matici přechodu je tedy v i-tém řádku a j-tém sloupci i-tá souřadnice bazického vektoru \scriptstyle \vec{y}_j, když ho popisujeme v bázi \scriptstyle X. Alternativně můžeme matici přechodu od báze X k bázi Y definovat jako matici zobrazení pro izomorfizmus, která je vyjádřena v bázích X a Y.

Mějme nyní vektor \scriptstyle \vec{a} z vektorového prostoru \scriptstyle V_n výše. Nechť \scriptstyle (\alpha_1, \ldots, \alpha_n) jsou jeho souřadnice v bázi \scriptstyle X a \scriptstyle (\beta_1, \ldots, \beta_n) jsou jeho souřadnice v bázi \scriptstyle Y. +more Pak platí : \begin{pmatrix} \,~ & \,~ & \,~ \\ \,~ & _X P_Y & \,~ \\ \,~ & \,~ & \,~ \end{pmatrix} \cdot \begin{pmatrix} \beta_1 \\ \vdots \\ \beta_n \end{pmatrix} = \begin{pmatrix} \alpha_1 \\ \vdots \\ \alpha_n \end{pmatrix}.

Dokažme si nyní tento vztah. Důkaz bude v podstatě totožný s postupem, který jsme použili v předchozím oddíle. +more Víme, že platí \scriptstyle \vec{a} = \sum_{i=1}^n \alpha_i \vec{x}_i = \sum_{i=1}^n \beta_i \vec{y}_i. Protože stále pracujeme s tímtéž vektorovým prostorem, můžeme si vektory báze \scriptstyle Y, jako kterékoli jiné vektory, vyjádřit v bázi \scriptstyle X. Pro tyto vektory pak platí vztahy : \vec{y}_i = \sum_{j=1}^n \varphi_j(\vec{y}_i) \vec{x}_j, kde výraz \scriptstyle \varphi_j(\vec{y}_i) je poněkud komplikovanější způsob zápisu j-té souřadnice vektoru \scriptstyle \vec{y}_i v bázi \scriptstyle X. Když tento vztah dosadíme do vyjádření vektoru \scriptstyle \vec{a}, dostáváme : \vec{a} = \sum_{i=1}^n \alpha_i \vec{x}_i = \sum_{i=1}^n \beta_i \vec{y}_i = \sum_{i=1}^n \beta_i \sum_{j=1}^n \varphi_j(\vec{y}_i) \vec{x}_j = \sum_{j=1}^n \sum_{i=1}^n \beta_i \varphi_j(\vec{y}_i) \vec{x}_j. Protože jsou indexy i a j sčítací, můžeme je bez následků přejmenovat. Přejmenujme tedy index i v sumě, která se nachází úplně vpravo ve výrazu výše, na k. Navíc přejmenujme ve stejném výrazu index j na i. Výraz za posledním rovnítkem výše tedy přejde do tvaru :\sum_{i=1}^n \sum_{k=1}^n \beta_k \varphi_i(\vec{y}_k) \vec{x}_i = \sum_{i=1}^n \Bigg( \sum_{k=1}^n \beta_k \varphi_i(\vec{y}_k) \Bigg) \vec{x}_i. Při pohledu zpět na předchozí rovnosti vidíme, že tento poslední výraz je roven vektoru \scriptstyle \vec{a} a tedy i platí rovnost :\sum_{i=1}^n \alpha_i \vec{x}_i = \sum_{i=1}^n \Bigg( \sum_{k=1}^n \beta_k \varphi_i(\vec{y}_k) \Bigg) \vec{x}_i, odkud je hned vidět, že \scriptstyle \alpha_i = \sum_{k=1}^n \beta_k \varphi_i(\vec{y}_k). Tento vztah ale není nic jiného, než definice násobení i-tého řádku matice s prvky \scriptstyle \varphi_i(\vec{y}_k) sloupcovým vektorem se složkami \scriptstyle \beta_k. Dokázali jsme tak vztah pro převod souřadnic vektoru z jedné báze do druhé.

Jednoduchý příklad na sestrojení matice přechodu pro vektorový prostor dimenze tři lze nalézt v oddíle Příklad 3 - Matice přechodu níže.

Příklady

Příklad 1 - Standardní báze

Jak bylo výše v oddíle Standardní báze uvedeno, vypišme si tvary standardních bází pro různé vektorové prostory.

Aritmetické vektory

V prostoru aritmetických vektorů, tj. uspořádaných n-tic čísel, se za standardní bázi označuje množina tvaru : \Bigg\{ \begin{pmatrix} 1 \\ 0 \\ 0 \\ \vdots \\ 0 \\ 0 \end{pmatrix} , \, \begin{pmatrix} 0 \\ 1 \\ 0 \\ \vdots \\ 0 \\ 0 \end{pmatrix} , \, \begin{pmatrix} 0 \\ 0 \\ 1 \\ \vdots \\ 0 \\ 0 \end{pmatrix} , \, \ldots, \, \begin{pmatrix} 0 \\ 0 \\ 0 \\ \vdots \\ 1 \\ 0 \end{pmatrix} , \, \begin{pmatrix} 0 \\ 0 \\ 0 \\ \vdots \\ 0 \\ 1 \end{pmatrix} \Bigg\}.

Není těžké ukázat, že tato množina skutečně tvoří bázi. Například v prostoru uspořádaných trojic čísel je možné každý vektor rozepsat způsobem : \begin{pmatrix} a \\ b \\ c \end{pmatrix} = a \, \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} + b \, \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} + c \, \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}.

Lineární nezávislost by šla ověřit stejným způsobem. Místo trojic jsme samozřejmě mohli vzít libovolný rozměr n-tic.

Posloupnosti

Přímým zobecněním standardní báze prostorů uspořádaných n-tic čísel je standardní báze prostoru číselných posloupností, která je tvořena posloupnostmi tvaru : \begin{align} (e_1)_{i=1}^\infty & = & (1, 0, 0, \ldots, 0, \ldots), \\ (e_2)_{i=1}^\infty & = & (0, 1, 0, \ldots, 0, \ldots), \\ (e_3)_{i=1}^\infty & = & (0, 0, 1, \ldots, 0, \ldots), \\ & \vdots & \\ (e_j)_{i=1}^\infty & = & (0, 0, 0, \ldots, 1, \ldots), \\ & \vdots & \\ \end{align}

V kompaktnějším tvaru pak lze libovolnou posloupnost ze standardní báze zapsat jako : (e_j)_i = \delta_{ij} \quad \text{ pro }j\text{-tou posloupnost a její }i\text{-tý prvek}, kde symbol \scriptstyle \delta_{ij} označuje Kroneckerovo delta.

Matice

Podobně jako pro aritmetické vektory je možné definovat standardní bázi i pro matice (čísel), tj. \scriptstyle \mathbb{C}^{n \times m}, kde \scriptstyle n, m \in \mathbb{N}. +more Například prostor \scriptstyle \mathbb{C}^{3 \times 2} má standardní bázi tvořenou vektory : \begin{pmatrix} 1 & 0 \\ 0 & 0\\ 0 & 0 \end{pmatrix} , \, \begin{pmatrix} 0 & 1 \\ 0 & 0\\ 0 & 0 \end{pmatrix} , \, \begin{pmatrix} 0 & 0 \\ 1 & 0\\ 0 & 0 \end{pmatrix} , \, \begin{pmatrix} 0 & 0 \\ 0 & 1\\ 0 & 0 \end{pmatrix} , \, \begin{pmatrix} 0 & 0 \\ 0 & 0\\ 1 & 0 \end{pmatrix} , \, \begin{pmatrix} 0 & 0 \\ 0 & 0\\ 0 & 1 \end{pmatrix}.

Analogicky bychom obdrželi standardní báze i pro matice jiných rozměrů.

Polynomy

V prostoru polynomů \scriptstyle \mathcal{P} se za standardní bázi označuje množina funkcí tvaru :\{1, t, t^2, t^3, t^4, \ldots \}, kde symbol 1 je nutno chápat jako funkci, která nezávisle proměnné přiřadí jedničku. Pokud uvažujeme vektorový prostor polynomů stupně nejvýše n-1, pak je standardní báze takovéhoto prostoru rovna množině :\{1, t, t^2, t^3, \ldots, t^{n-1} \}. +more Tento prostor má dimenzi n a označuje se obvykle jako \scriptstyle \mathcal{P}_n.

Příklad 2 - Aritmetické vektory

V předchozím příkladě jsme ukázali jeden z příkladů báze aritmetických vektorových prostorů. V každém nenulovém (komplexním) vektorovém prostoru (konečné dimenze) ale můžeme zavést bází nekonečně mnoho. +more Mějme příklad vektorového prostoru \scriptstyle \mathbb{R}^3. Jednou z jeho bází je i množina tvořená vektory : \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}.

Tato báze je dokonce ortogonální, když v prostoru \scriptstyle \mathbb{R}^3 uvažujeme skalární součin \scriptstyle (\vec{x}, \vec{y}) = x_1 \cdot y_1 + x_2 \cdot y_2 + x_3 \cdot y_3. Pokud všechny tři vektory znormalizujeme, tj. +more vydělíme jejich (Euklidovou) normou, tak dostáváme jednu z možných ortonormálních bází prostoru \scriptstyle \mathbb{R}^3 tvaru : \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix}, \quad \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}.

Příklad 3 - Matice přechodu

Uvažujme vektorový prostor \scriptstyle \mathbb{R}^3 z předchozího příkladu, jeho standardní bázi, kterou si označíme \scriptstyle \mathcal{S}, a jeho ortonormální bázi z předchozího příkladu, kterou si označíme jako \scriptstyle \mathcal{O}. Sestrojíme nyní matici přechodu z jedné báze do druhé. +more Uvažujme proto obecný vektor \scriptstyle \vec{x}, který má ve standardní bázi souřadnice \scriptstyle (a,b,c). Platí tedy : \vec{x} = a \, \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} + b \, \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} + c \, \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} a \\ b \\ c \end{pmatrix}.

Zároveň ale chceme vektor \scriptstyle \vec{x} nakombinovat z vektorů druhé báze, tj. chceme najít koeficienty \scriptstyle k,l,m takové, aby platilo : \vec{x} = \begin{pmatrix} a \\ b \\ c \end{pmatrix} = k \, \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix} + l \, \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} + m \, \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} k \, \frac{1}{\sqrt{2}} + l \, \frac{1}{\sqrt{2}} \\ -k \, \frac{1}{\sqrt{2}} + l \, \frac{1}{\sqrt{2}} \\ m \end{pmatrix}

Jsme-li trochu zběhlí v násobení matice sloupcovým vektorem, můžeme si hned všimnout, že lze poslední výraz přepsat do tvaru : \begin{pmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} & 0 \\ -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} & 0 \\ 0 & 0 & 1 \\ \end{pmatrix} \cdot \begin{pmatrix} k \\ l \\ m \end{pmatrix},

kde sloupcový vektor vpravo představuje souřadnice vektoru \scriptstyle \vec{x} v bázi \scriptstyle \mathcal{O}. Spočetli jsme tak, že matice přechodu od báze \scriptstyle \mathcal{S} k bázi \scriptstyle \mathcal{O} je rovna : _\mathcal{S} P_\mathcal{O} = \begin{pmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} & 0 \\ -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} & 0 \\ 0 & 0 & 1 \\ \end{pmatrix}.

Pokud nejsme tak zběhlí v násobení matic, můžeme při hledání matice přechodu vyjít z její definice. Vyjádříme si tedy vektory z báze \scriptstyle \mathcal{O} pomocí vektorů z báze \scriptstyle \mathcal{S}. +more Dostaneme : \vec{x}_1 \equiv \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix} = \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} - \frac{1}{\sqrt{2}} \, \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} = \frac{1}{\sqrt{2}} \, \vec{e}_1 - \frac{1}{\sqrt{2}} \, \vec{e}_2,.

: \vec{x}_2 \equiv \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} = \frac{1}{\sqrt{2}} \, \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} + \frac{1}{\sqrt{2}} \, \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} = \frac{1}{\sqrt{2}} \, \vec{e}_1 + \frac{1}{\sqrt{2}} \, \vec{e}_2,

: \vec{x}_3 \equiv \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} = \vec{e}_3,

kde jsme jako \scriptstyle \vec{x}_1, \vec{x}_2, \vec{x}_3 označili vektory báze \scriptstyle \mathcal{O} a jako \scriptstyle \vec{e}_1, \vec{e}_2, \vec{e}_3 jsme označili vektory báze \scriptstyle \mathcal{S}. Platí tedy následující vztahy, kde \scriptstyle \varphi_i(\vec{x}_j) označuje i-tou souřadnici vektoru \scriptstyle \vec{x}_j v bázi \scriptstyle \mathcal{S} :\varphi_1(\vec{x}_1) = \frac{1}{\sqrt{2}}, \quad \varphi_2(\vec{x}_1) = -\frac{1}{\sqrt{2}}, \quad \varphi_3(\vec{x}_1) = 0, :\varphi_1(\vec{x}_2) = \frac{1}{\sqrt{2}}, \quad \varphi_2(\vec{x}_2) = \frac{1}{\sqrt{2}}, \quad \varphi_3(\vec{x}_2) = 0, :\varphi_1(\vec{x}_3) = 0, \quad \varphi_2(\vec{x}_3) = 0, \quad \varphi_3(\vec{x}_3) = 1. +more Když tyto hodnoty uspořádáme do matice dle definice, obdržíme matici přechodu vyobrazenou výše. (Pozor na indexy řádků a sloupců. ).

Příklad 4 - Závislost na tělese

Podobně jako v příkladu 2 článku Dimenze vektorového prostoru si nyní ilustrujme závislost báze vektorového prostoru na zvoleném tělese, jak je diskutováno výše v oddíle Závislost na tělese. Berme nejprve množinu komplexních čísel \scriptstyle \mathbb{C} jako vektorový prostor nad tělesem komplexních čísel. +more V takovém případě je zjevně dimenze tohoto prostoru rovna jedničce a za jeho bázi si můžu vzít libovolné nenulové komplexní číslo. Pokud však chápeme tutéž množinu vektorů \scriptstyle \mathbb{C} jako vektorový prostor nad tělesem reálných čísel, tak dimenze tohoto prostoru je \scriptstyle \dim_{\mathbb{R}}(\mathbb{C}) = 2 a situace začíná být lehce komplikovanější. Obecné komplexní číslo totiž můžeme zapisovat ve tvaru \scriptstyle a + \mathrm{i} b, kde \scriptstyle a a \scriptstyle b jsou reálná čísla. Z tohoto pohledu tedy lze komplexní čísla chápat jako uspořádané dvojice reálných čísel. Za bazické vektory vektorového prostoru \scriptstyle \mathbb{C} nad tělesem \scriptstyle \mathbb{R} pak můžeme vzít například číslo 1 a imaginární jednotku i. V jazyce uspořádaných dvojic by tato volba odpovídala dvojici vektorů (1,0) a (0,1). Nyní už totiž číslo i není součástí tělesa (reálných čísel) a kvůli němu nám dimenze vzrostla z jedničky na dvojku.

Příklad 5 - L2

Krom obyčejných bází ve vektorových prostorech můžeme brát v úvahu i báze ortonormální. Tyto báze přitom mohou v nekonečněrozměrných prostorech nabývat poněkud komplikovaných forem. +more Jako příklad nekonečněrozměrného Hilbertova prostoru uvažujme Hilbertův prostor \scriptstyle L^2 (0, 2 \pi) kvadraticky integrabilních funkcí definovaných na intervalu \scriptstyle (0, 2 \pi). Lze ukázat, že množina funkcí tvaru : f_k(x) = \frac{1}{\sqrt{2 \pi}} \cdot e^{\mathrm{i} k x}, kde index \scriptstyle k probíhá množinu celých čísel \scriptstyle \mathbb{Z}, je ortonormální báze tohoto prostoru. Této bázi se říká trigonometrická báze prostoru \scriptstyle L^2 (0, 2 \pi).

Jako další příklad si uveďme Hilbertův prostor \scriptstyle L^2(-1,1) kvadraticky integrabilních funkcí definovaných na intervalu (-1,1). O něm lze zase ukázat, že jedna z jeho ortonormálních bází je množina tvořená funkcemi tvaru : f_l(x) = \sqrt{l + \frac{1}{2}} \cdot P_l(x), \quad \text{kde} \quad P_l(x) = \frac{1}{2^l l. +more} \frac{\mathrm{d}^l}{\mathrm{d}x^l} (x^2 - 1)^l jsou Legendrovy polynomy a kde \scriptstyle l \in \{0, 1, 2, \ldots \}.

Odkazy

Poznámky

Reference

Literatura

- skripta FJFI ČVUT

* - skripta FJFI ČVUT

Související články

Vektorový prostor * Dimenze * Lineární nezávislost * Ortonormální báze * Steinitzova věta o výměně

Externí odkazy

Kategorie:Lineární algebra Kategorie:Funkcionální analýza