Vzdialenosť dvoch rovnobežných lineárnych podpriestorov v En
Pojem vzdialenosti dvoch rovnobežných lineárnych podpriestorov (rôznej alebo rovnakej dimenzie) je zavedený prirodzeným spôsobom ako vzdialenosť ľubovoľného bodu jedného z nich od druhého.
Veta 8L5. Nech α, β sú dva rovnobežné lineárne podpriestory priestoru En také, že dimα ≤ dimβ, nech. A je ľubovoľný bod lineárneho podpriestoru α a A* jeho kolmý priemet do lineárneho podpriestoru β. Potom: |αβ|= |Aβ| = |AA*|.
Dôkaz 8L5.
Dôkaz 8L5. Vzdialenosť dvoch rovnobežných lineárnych podpriestorov α, β, kde dimα ≤ dimβ, sa rovná vzdialenosti ľubovoľného bodu jedného z nich od druhého.
Poznámka 8L4.
Pozn. 8L4. V rovine E2 pre dve rovnobežné priamky, v priestore E3 pre priamku rovnobežnú s rovinou resp. pre dve rovnobežné roviny dostaneme známe definície príslušných vzdialeností z elementárnej geometrie.
Výpočet vzdialenosti dvoch rovnobežných priamok vrátane pre n = 3 možno urobiť pomocou vety 8L5 resp. využitím kolmého priemetu bodu do lineárneho podpriestoru (
obr. 8L3a
) alebo pomocou vety 8L3. V rovine E2 možno použiť vzorec pre vzdialenosť dvoch rovnobežných nadrovín, o čom hovoríme neskôr.
Ak je priamka rovnobežná s nadrovinou, tak vzdialenosť ľubovoľného bodu priamky od tejto nadroviny možno vypočítať opäť postupom vyjadreným vzťahom vo vete 8L5. resp. pomocou kolmého priemetu (
obr. 8L3b
) alebo podľa vety 8L3. Výhodne však tiež možno v určitom, už uvedenom prípade použiť vzorec pre vzdialenosť bodu od nadroviny.