Vektorový a afinný priestor
Afinný n-rozmerný priestor
Afinný podpriestor
Zvoľme si v afinnom priestore jeden pevný bod a nejaké zameranie , ktoré je podmnožinou vektorového zamerania . Dostaneme podmnožinu bodov afinného priestoru, ktorá bude spĺňať axiómy afinného priestoru. Takouto množinou je napríklad priamka v euklidovskej rovine alebo rovina v euklidovskom priestore.
Definícia.
Nech je afinný priestor nad poľom . Neprázdnu podmnožinu nazývame afinný podpriestor resp. lineárna varieta afinného priestoru , ak existuje vektorový podpriestor , pričom platí
Nech je afinný priestor nad poľom . Neprázdnu podmnožinu nazývame afinný podpriestor resp. lineárna varieta afinného priestoru , ak existuje vektorový podpriestor , pričom platí
Tvrdenie.
Nech je ľubovoľný bod z afinného priestoru . Potom bod leží v podpriestore , práve vtedy, keď platí rovnosť
,
kde ; sú reálne čísla a je lineárne nezávislých vektorov podpriestoru . Uvedená rovnosť sa nazýva parametrické vyjadrenie podpriestoru . Čísla sa nazývajú parametre bodu .
Nech je ľubovoľný bod z afinného priestoru . Potom bod leží v podpriestore , práve vtedy, keď platí rovnosť
,
kde ; sú reálne čísla a je lineárne nezávislých vektorov podpriestoru . Uvedená rovnosť sa nazýva parametrické vyjadrenie podpriestoru . Čísla sa nazývajú parametre bodu .
Poznámky.
Pre rovnosť sa tradične používa nie úplne presný názov parametrické rovnice podpriestoru. Parametrické rovnice podpriestoru majú známy tvar
...
,
kde sú súradnice bodu a sú súradnice vektora v kanonickej báze . Túto sústavu rovníc môžeme zapísať pomocou matíc. Maticový tvar parametrických rovníc vyzerá takto
Maticu sústavy z predchádzajúceho vyjadrenia nazývame matica prechodu od afinnej súradnicovej sústavy do sústavy .
Pre rovnosť sa tradične používa nie úplne presný názov parametrické rovnice podpriestoru. Parametrické rovnice podpriestoru majú známy tvar
...
,
kde sú súradnice bodu a sú súradnice vektora v kanonickej báze . Túto sústavu rovníc môžeme zapísať pomocou matíc. Maticový tvar parametrických rovníc vyzerá takto
Maticu sústavy z predchádzajúceho vyjadrenia nazývame matica prechodu od afinnej súradnicovej sústavy do sústavy .
Príklad 1.
Zistite, či body incidujú s podpriestorom (ležia v podpriestore) . Dané sú bod a vektory . Nájdite parametrické vyjadrenie tohto podpriestoru. Vytvorte grafickú ilustrácia k tomuto príkladu.
Zistite, či body incidujú s podpriestorom (ležia v podpriestore) . Dané sú bod a vektory . Nájdite parametrické vyjadrenie tohto podpriestoru. Vytvorte grafickú ilustrácia k tomuto príkladu.
Riešenie.
Hľadáme reálne čísla , pre ktoré platí rovnosť (vektorová rovnica má práve jedno riešenie)
resp.
Odpoveď: Bod inciduje s daným podpriestorom, riešenie nájdete Tu. Ukážte, že bod neleží v danom podpriestore.
Hľadáme reálne čísla , pre ktoré platí rovnosť (vektorová rovnica má práve jedno riešenie)
resp.
Odpoveď: Bod inciduje s daným podpriestorom, riešenie nájdete Tu. Ukážte, že bod neleží v danom podpriestore.
Neparametrické vyjadrenie podpriestoru
V afinnom priestore môžeme lineárne podpriestory vyjadriť aj neparametricky pomocou sústavy lineárnych rovníc s neznámymi.
Ich počet je závislý od dimenzie podpriestoru a od dimenzie daného priestoru .
Musí byť splnená rovnosť: . V stredoškolskej analytickej geometrii
- Priamka () ležiaca v rovine () je vyjadrená jedinou lineárnou rovnicou s dvoma neznámymi. Bod () je chápaný ako prienik dvoch priamok, teda môže byť vyjadrený ako sústava dvoch lineárnych rovníc.
- V afinnom priestore rovina (nadrovina ()) je vyjadrená jedinou lineárnou rovnicou s troma neznámymi . Priamka je prienikom dvoch rovín a na jej určenie sú potrebné dve rovnice .
Príklad 2.
- Nájdite neparametrické vyjadrenie roviny z príkladu 1 a zistite, či body incidujú s touto rovinou.
- Nájdite parametrické aj neparametrické vyjadrenie roviny v , ktorá prechádza bodom
a má smer .
Riešenie Tu
Vytvorte grafickú ilustrácia k tomuto príkladu.
Pre lineárny podpriestor platí, že s každými dvoma bodmi obsahuje tento podpriestor aj bod
.
Dôkaz tohto tvrdenia sa robí v základnom kurze z lineárnej algebry.
.
Dôkaz tohto tvrdenia sa robí v základnom kurze z lineárnej algebry.
Lineárne podpriestory s danou dimenziou.
- Afinný podpriestor dimenzie 1 sa nazýva afinnou priamka.
- Afinný podpriestor dimenzie 2 sa nazýva afinnou rovina.
- Afinný podpriestor dimenzie -1 v -rozmernom afinnom priestore sa nazýva nadrovina . Zrejme priamka je zároveň nadrovinou v priestore a rovina je nadrovinou v .
- Budeme hovoriť, že podpriestor je -rozmerný (má dimenziu ), ak podpriestor má dimenziu (dim ).
Príklady.