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 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ů ( ):

    nebo

    Pokud zavedeme normu a skalární součin, pak bude prostor euklidovský.

    Viz také

    Poznámky

    1. 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ů.
    2. se často nazývá ortogonální doplněk k

    Literatura