Spațiu plan
Format:Note de subsol2 În geometrie un spațiu plan sau un subspațiu euclidian este o submulțime a unui spațiu euclidian, submulțime care este ea însăși un spațiu euclidian (de dimensiune inferioară). Spațiile plane din spațiul bidimensional sunt puncte și drepte, iar spațiile plane din spațiul tridimensional sunt puncte, drepte și plane.
Într-un spațiu Format:Mvar-dimensional există spații plane de fiecare dimensiune de la 0 la Format:Mvar −1. Într-un spațiu Format:Mvar-dimensional spațiile plane de dimensiune Format:Mvar − 1 se numesc hiperplane.
Spațiile plane sunt subspațiile afine ale spațiilor euclidiene, ceea ce înseamnă că sunt similare cu subspațiile liniare, cu excepția faptului că nu trebuie să treacă prin origine. Spațiile plane apar în algebra liniară ca realizări geometrice ale mulțimilor de soluții ale sistemelor de ecuații liniare.
Un spațiu plan este o Format:Ill-wd. Uneori este numită varietate liniară pentru a-l deosebi de alte varietăți.
Descriere
Prin ecuații
Un spațiu plan poate fi descris printr-un sistem de ecuații liniare. De exemplu, o dreaptă în spațiul bidimensional poate fi descrisă printr-o singură ecuație liniară cu variabilele Format:Mvar și Format:Mvar:
În spațiul tridimensional, o singură ecuație liniară cu variabilele Format:Mvar, Format:Mvar și Format:Mvar definește un plan, în timp ce o pereche de ecuații liniare poate fi folosită pentru a descrie o dreaptă. În general, o ecuație liniară cu Format:Mvar variabile descrie un hiperplan, iar un sistem de ecuații liniare descrie intersecția acelor hiperplane. Presupunând că ecuațiile sunt consistente și Format:Ill-wd, un sistem de Format:Mvar ecuații descrie un spațiu plan de dimensiunea Format:Mvar.
Parametric
Un spațiu plan poate fi descris și printr-un sistem de ecuații parametrice liniare. O dreaptă poate fi descrisă prin ecuații care implică un parametru:
în timp ce descrierea unui plan ar necesita doi parametri:
În general, o parametrizare a unui spațiu plan cu dimensiunea Format:Mvar ar necesita parametrii Format:Math.
Operații și relații referitoare la spațiile plane
Intersecție, paralelism și spații disjuncte
O intersecție a unor spații plane fie un spațiu plan, fie o mulțime vidă. (Intersecția poate fi considerată un Format:Math-spațiu plan.)
Dacă fiecare dreaptă dintr-un spațiu plan este paralelă cu o dreaptă dintr-un alt spațiu plan, atunci aceste două spații plane sunt paralele. Două plane paralele de aceeași dimensiune care fie coincid, fie nu se intersectează, pot fi descrise prin două sisteme de ecuații liniare care diferă doar prin membrii din dreapta.
Dacă spațiile plane nu se intersectează și nicio dreaptă din primul spațiu plan nu este paralelă cu o dreaptă din al doilea spațiu plan, atunci acestea sunt spații plane disjuncte. Este posibil doar dacă suma dimensiunilor lor este mai mică decât dimensiunea spațiului ambiental.
Reuniune
Pentru două spații plane de dimensiunile Format:Math și Format:Math există un spațiu plan minim care le conține pe ambele, de dimensiunea cel mult . Dacă două spații plane se intersectează, atunci dimensiunea spațiului plan care le conține este egală cu minus dimensiunea intersecției.
Proprietăți ale operațiilor
Aceste două operații (reuniune și intersecție) fac din mulțimea tuturor spațiilor plane din Format:Mvar-spațiul euclidian o latice și se pot construi coordonate sistematice pentru spațiile plane în orice dimensiune, conducând la coordonate Grassmann sau coordonate Grassmann duale. De exemplu, o dreaptă din spațiul tridimensional este determinată de două puncte distincte sau de două plane distincte.
Totuși, laticea tuturor spațiilor plane nu este o latice distributivă. Dacă două drepte Format:Math și Format:Math se intersectează, atunci Format:Math este un punct. Dacă Format:Mvar este un punct care nu se află într-un plan, atunci Format:Math, ambele definind o dreaptă. Dar dacă Format:Math și Format:Math sunt paralele, această distributivitate eșuează, dând Format:Mvar în membrul stâng și o a treia dreaptă paralelă în membrul drept.
Geometrie euclidiană
Faptele menționate mai sus nu depind de structura spațiului euclidian (și anume, care implică distanța euclidiană) și sunt corecte în orice spațiu afin. Într-un spațiu euclidian:
- Există distanța dintre un spațiu plan și un punct.
- Există distanța dintre două spații plane, egală cu 0 dacă ele se intersectează.
- Există unghiul dintre două spații plane, în intervalul [[[:Format:Math]]] (0 și un unghi drept). (Între două plane acesta este unghiul diedru.)
Bibliografie
- Format:En icon Heinrich Guggenheimer (1977) Applicable Geometry,page 7, Krieger, New York.
- Format:En icon Format:Citation
Din teza de doctorat DEC SRC Research Report 36 Primitives for Computational Geometry Format:Webarchive, Stanford.