Konečně-dimenzionální prostor
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 13. září 2021; kontroly vyžadují
2 úpravy .
Konečně-dimenzionální prostor je vektorový prostor , ve kterém existuje konečná báze - generující (úplný) lineárně nezávislý systém vektorů. Jinými slovy, v takovém prostoru existuje konečný lineárně nezávislý systém vektorů, jehož lineární kombinace může představovat libovolný vektor daného prostoru.
Základem je (současně) jak minimální generující (úplný) systém, tak maximální lineárně nezávislý systém vektorů. Všechny báze obsahují stejný počet prvků, což se nazývá dimenze vektorového prostoru .
Konečně-dimenzionální prostor, ve kterém je zaveden skalární součin jeho prvků , se nazývá euklidovský . Konečněrozměrný prostor, ve kterém je zavedena norma jeho prvků, se nazývá konečněrozměrný normovaný prostor . Přítomnost vnitřního produktu nebo normy generuje metriku v konečně-dimenzionálním prostoru .
Vlastnosti konečně-rozměrných prostorů
Jakýkoli prvek konečně-dimenzionálního prostoru může být reprezentován jedinečně ve formě


kde je pole (často nebo ), nad kterým je prostor uvažován , jsou prvky základu. Vyplývá to z definice základu.





Také jakýkoli základ v euklidovském prostoru může být ortonormální pomocí Schmidtovy ortogonalizace .
- Všechny báze konečnorozměrného prostoru se skládají ze stejného počtu prvků. Tato vlastnost udává správnost definice rozměru prostoru .
- Nechť je konečný-dimenzionální prostor a je lineárně nezávislý systém prvků. Pak lze tento systém vždy doplnit o základ .


- Všechny konečnorozměrné prostory stejné dimenze jsou navzájem izomorfní.
- V libovolném konečně-rozměrném prostoru nad polem lze zavést vnitřní součin . Například v prostoru s pevnou bází, dimenzí , můžete skalární součin zadat podle pravidla: , kde jsou složky vektorů , resp. Z této vlastnosti vyplývá, že v konečněrozměrném prostoru nad polem lze zavést normu a metriku . V důsledku toho lze získat:







duální k nějakému konečně-dimenzionálnímu prostoru je konečný-dimenzionální a jeho dimenze se shoduje s dimenzí .


- Pro jakýkoli podprostor konečněrozměrného prostoru existuje podprostor [2] takový, že a se rozkládá na přímý součet a , .







V euklidovském prostoru každá slabě konvergentní posloupnost silně konverguje.
Všechny normy v konečně-dimenzionálním prostoru nad polem jsou ekvivalentní. Konvergence v euklidovském prostoru je ekvivalentní souřadnicové konvergenci.
Každý lineární spojitý operátor v konečněrozměrném prostoru může být reprezentován jako matice .
Prostor nad polem je konečnorozměrný právě tehdy, když je operátor identity zcela spojitý .
Prostor je konečnorozměrný právě tehdy, když na něj působí invertibilní zcela spojitý operátor .
Prostor je konečnorozměrný právě tehdy, když je jednotková koule předkompaktní. Tuto vlastnost lze přeformulovat následovně: prostor je konečnorozměrný právě tehdy, když je jakákoli množina ohraničená předkompaktní.


Jakýkoli lineární operátor definovaný v konečněrozměrném prostoru je spojitý a dokonce zcela spojitý .
V konečněrozměrném prostoru je každý operátor unitární právě tehdy, když je izometrický, to znamená, že zachovává bodový součin.
Příklady
Obecnějším případem jsou prostory dimenze n . Norma v nich je obvykle nastavena jedním z následujících způsobů ( ):


![{\displaystyle \|x\|_{p}={\sqrt[{p}]{\sum _{i=1}^{n}{|x_{i}|^{p))))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f1db42d9ed624b89e0d0df7ad7e59c5befc65eb)
nebo
Pokud zavedeme normu a skalární součin, pak bude prostor euklidovský.


je prostor všech polynomů stupně nejvýše . Rozměr tohoto prostoru je . Základ v něm tvoří mnohočleny .


- Nechť je libovolný lineární prostor a nechť je nějaký lineárně nezávislý systém vektorů. Potom lineární rozpětí překlenuté tímto systémem je konečně-dimenzionální prostor.


Viz také
Poznámky
- ↑ Tuto skutečnost lze získat jak pomocí Riesz-Fréchetovy věty , tak přímými výpočty, bez použití teorie Hilbertových prostorů.
- ↑ se často nazývá ortogonální doplněk k

Literatura