„Párhuzamosság” változatai közötti eltérés

A Wikipédiából, a szabad enciklopédiából
[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
9. sor: 9. sor:


Magasabb dimenziós terekben más alterek párhuzamossága is értelmezve van.
Magasabb dimenziós terekben más alterek párhuzamossága is értelmezve van.
A hiperbolikus, az affin és a projektív geometriában is hasonlók teljesülnek.
A hiperbolikus, az affin és a projektív geometriában is hasonlók teljesülnek.


[[Vektortér|Vektorterekben]] két egyenes párhuzamos, ha irányvektoraik lineárisan összefüggnek, ahol is az egyenesek értelmezhetők az egydimenziós alterek [[mellékosztály]]aiként.
[[Vektortér|Vektorterekben]] két egyenes párhuzamos, ha irányvektoraik lineárisan összefüggnek, ahol is az egyenesek értelmezhetők az egydimenziós alterek [[mellékosztály]]aiként.
==Jelölése==
==Jelölése==
A párhuzamosság jele <math>\parallel</math> . Például <math>AB \parallel CD</math> azt jelenti, hogy az ''AB''egyenes párhuzamos a ''CD'' egyenessel.
A párhuzamosság jele <math>\parallel</math> . Például <math>AB \parallel CD</math> azt jelenti, hogy az ''AB''egyenes párhuzamos a ''CD'' egyenessel.


A [[Unicode]] karakterkészletben a 'párhuzamos' és a 'nem párhuzamos' jelek kódja rendre U+2225 (∥) és U+2226 (∦).
A [[Unicode]] karakterkészletben a 'párhuzamos' és a 'nem párhuzamos' jelek kódja rendre U+2225 (∥) és U+2226 (∦).
66. sor: 66. sor:


==Általánosítása vektorterekben==
==Általánosítása vektorterekben==
Az <math>n</math>-dimenziós <math>K</math> test fölötti <math>A</math> vektortér alterei, <math>A_1,A_2</math> az <math>U_1,U_2 < K^n</math> lineáris alterek mellékosztályaiként írhatók le az <math>A</math>-hoz tartozó koordináta-vektortérben. Ekkor <math>A_1=P_1+U_1</math> és <math>A_2=P_2+U_2</math> valami <math>P_1, P_2</math>-re.
Az <math>n</math>-dimenziós <math>K</math> test fölötti <math>A</math> vektortér alterei, <math>A_1,A_2</math> az <math>U_1,U_2 < K^n</math> lineáris alterek mellékosztályaiként írhatók le az <math>A</math>-hoz tartozó koordináta-vektortérben. Ekkor <math>A_1=P_1+U_1</math> és <math>A_2=P_2+U_2</math> valami <math>P_1, P_2</math>-re.


* Az <math>A_1</math> és <math>A_2</math> terek párhuzamosak, ha <math>U_1\subseteq U_2</math> vagy <math>U_2\subseteq U_1</math>.
* Az <math>A_1</math> és <math>A_2</math> terek párhuzamosak, ha <math>U_1\subseteq U_2</math> vagy <math>U_2\subseteq U_1</math>.
Ugyanez átfogalmazható csak geometriai fogalmakkal:
Ugyanez átfogalmazható csak geometriai fogalmakkal:
* Az <math>A_1</math> és a <math>A_2</math> terek párhuzamosak, ha az <math>A</math> affin térben van egy <math>\tau</math> párhuzamos eltolás, hogy <math>\tau(A_1)\subseteq A_2</math> vagy <math>A_2\subseteq \tau( A_1)</math>.
* Az <math>A_1</math> és a <math>A_2</math> terek párhuzamosak, ha az <math>A</math> affin térben van egy <math>\tau</math> párhuzamos eltolás, hogy <math>\tau(A_1)\subseteq A_2</math> vagy <math>A_2\subseteq \tau( A_1)</math>.
:Vektoriálisan, <math>\tau</math> eltolásvektora <math>\vec{v}\in K^n</math> (lehet például <math>\vec{v}=\overrightarrow{P_1P_2}</math> az előző megfogalmazás szerint) és akkor az állítás:
:Vektoriálisan, <math>\tau</math> eltolásvektora <math>\vec{v}\in K^n</math> (lehet például <math>\vec{v}=\overrightarrow{P_1P_2}</math> az előző megfogalmazás szerint) és akkor az állítás:
* Az <math>A_1</math> és az <math>A_2</math> terek párhuzamosak, ha van egy <math>\vec{v}\in K^n</math> eltolás, hogy <math>A_1+\vec{v}\subseteq A_2</math> vagy <math>A_2\subseteq A_1+\vec{v}</math>.
* Az <math>A_1</math> és az <math>A_2</math> terek párhuzamosak, ha van egy <math>\vec{v}\in K^n</math> eltolás, hogy <math>A_1+\vec{v}\subseteq A_2</math> vagy <math>A_2\subseteq A_1+\vec{v}</math>.
87. sor: 87. sor:
==Források==
==Források==
*Obádovics J. Gyula: Matematika
*Obádovics J. Gyula: Matematika
* '''Euklidesz''': Elemek (Mayer Gyula ford.), Gondolat, 1983. [http://mek.oszk.hu/00800/00857]
*'''Euklidesz''': Elemek (Mayer Gyula ford.), Gondolat, 1983. [http://mek.oszk.hu/00800/00857]
* [[Fried Ervin]]: '''Algebra I., Elemi és lineáris algebra''', Nemzeti Tankönyvkiadó, Bp., 2000.
*[[Fried Ervin]]: '''Algebra I., Elemi és lineáris algebra''', Nemzeti Tankönyvkiadó, Bp., 2000.
*H. S. M. Coxeter: Projektív geometria <!--Van neki egy könyve a különféle goemetriákról, de annak nem emlékszem a címére-
*H. S. M. Coxeter: Projektív geometria <!--Van neki egy könyve a különféle geometriákról, de annak nem emlékszem a címére-
A geometriák alapjai?-->
A geometriák alapjai?-->



A lap 2014. május 26., 09:59-kori változata

Az euklideszi geometriában két egyenes párhuzamos, ha egysíkúak, és nem metszik egymást. Emellett az egyeneseket párhuzamosnak tekintik önmagukkal, hogy a párhuzamosság ekvivalenciareláció legyen. A hiperbolikus geometriában irányított egyenesek párhuzamosságáról beszélnek. Azok az irányított egyenesek párhuzamosak, amelyek elválasztják a metsző és a nem metsző irányított egyeneseket. A szóhasználat nem egységes. Ezeket az egyeneseket hívják elpattanónak, vagy az összes nem metszőt párhuzamosnak.

Gyakran mondják, hogy „a párhuzamosok a végtelenben metszik egymást”. Ez affin szemléletre utal, azaz arra, hogy minden egyenest egy-egy végtelen távoli ponttal bővítettük, és hogy az egy párhuzamos nyalábba tartozó egyenesek végtelen távoli pontja közös. Ha nem teszünk különbséget végtelen távoli és közönséges pontok között, akkor a projektív geometriához jutunk, ahol már nincsenek párhuzamosok.

A háromdimenziós euklideszi térben teljesülnek a következők:

  • Két egyenes kitérő, ha nincsenek egy síkban.
  • Egyenes és sík párhuzamos, ha nem metszik egymást, vagy a sík tartalmazza az egyenest.
  • Két sík párhuzamos, ha nem metszik egymást, vagy egybeesnek.

Magasabb dimenziós terekben más alterek párhuzamossága is értelmezve van. A hiperbolikus, az affin és a projektív geometriában is hasonlók teljesülnek.

Vektorterekben két egyenes párhuzamos, ha irányvektoraik lineárisan összefüggnek, ahol is az egyenesek értelmezhetők az egydimenziós alterek mellékosztályaiként.

Jelölése

A párhuzamosság jele . Például azt jelenti, hogy az ABegyenes párhuzamos a CD egyenessel.

A Unicode karakterkészletben a 'párhuzamos' és a 'nem párhuzamos' jelek kódja rendre U+2225 (∥) és U+2226 (∦).

Tulajdonságai

Az euklideszi és az affin síkgeometriában teljesül:

Adott egyeneshez adott ponton át egy, az adott egyenest (közönséges pontban) nem metsző egyenes húzható.

Ez a kijelentés az euklideszi geometria párhuzamossági axiómája, ami szükséges az euklideszi geometria felépítéséhez. Elhagyásával az abszolút geometriát kapjuk, ami az euklideszi és a hiperbolikus geometria közös általánosítása. A hiperbolikus geometriában a hiperbolikus axióma helyettesíti:

Adott egyeneshez adott ponton át több, az adott egyenest nem metsző egyenes húzható.

Mindkét irányhoz tartozik egy-egy párhuzamos. Szögük a párhuzamossági szög kétszerese, ami csak a pont-egyenes távolságtól és a görbülettől függ. Az euklideszi síkban ez a szög mindig derékszög, ami azt jelenti, hogy a két párhuzamos egybeesik. Rögzített hiperbolikus síkban minél messzebb van a pont az egyenestől, annál közelebb kerül a távolsági szög a derékszöghöz. A hiperbolikus geometria távolságvonalai hiperciklusok.

Az analitikus geometriában az euklideszi párhuzamossági axióma bizonyítható. Tehát ez a geometria az euklideszi geometriát modellezi.

Tetszőleges dimenziós euklideszi, affin és hiperbolikus terekben az egyenesek párhuzamossága ekvivalenciareláció. Ennek osztályai a párhuzamos nyalábok, amelyek speciális sugársorok.

Tetszőleges dimenziójú euklideszi geometriában bármely párhuzamos egyenespár távolsága állandó, azaz akárhol metsszük el őket egy rájuk merőleges egyenessel, a párhuzamos egyenespár mindig ugyanolyan hosszú szakaszt metsz ki belőle. A hiperbolikus geometriákban ez csak akkor igaz, ha a két egyenes egybeesik.

Az euklideszi síkgeometriában két egyenes akkor és csak akkor párhuzamos, ha az egyik minden pontja azonos távolságra van a másik egyenestől. Egy másik ekvivalens tulajdonság, hogy nem metszik egymást. Egy harmadik ekvivalens tulajdonság szerint, ha egy mindkettőt metsző egyenessel metsszük őket, akkor mindkettő mellett ugyanakkora szögek keletkeznek. Mindezek az ekvivalens tulajdonságok különböző szerkesztési módszerekhez vezetnek.

A gömbi geometriában nincsenek párhuzamos egyenesek, mert minden főkör metszi egymást. A távolságvonalak körök. Az euklideszi térbe ágyazva ezek a körök az adott főkört kimetsző síkkal párhuzamos síkkal metszhetők ki.

Párhuzamosok távolsága

Legyen a két nem függőleges párhuzamos egyenlete

ekkor a pontok koordinátái ennek az egyenletrendszernek a megoldásával nyerhetők:

és

A rendszer megoldásaként a

és a

pontok adódnak. Távolságuk:

egyszerűbb alakban

Ha az egyenesek egyenlete

akkor távolságuk

Általánosítása vektorterekben

Az -dimenziós test fölötti vektortér alterei, az lineáris alterek mellékosztályaiként írhatók le az -hoz tartozó koordináta-vektortérben. Ekkor és valami -re.

  • Az és terek párhuzamosak, ha vagy .

Ugyanez átfogalmazható csak geometriai fogalmakkal:

  • Az és a terek párhuzamosak, ha az affin térben van egy párhuzamos eltolás, hogy vagy .
Vektoriálisan, eltolásvektora (lehet például az előző megfogalmazás szerint) és akkor az állítás:
  • Az és az terek párhuzamosak, ha van egy eltolás, hogy vagy .

Ezeket a definíciókat rendszerint legalább egydimenziós alterekre alkalmazzák, hiszen eszerint a pontok és az üres halmaz mindennel párhuzamos lenne.

Tulajdonságai

Az így általánosított párhuzamosság a vektortér rögzített dimenziójú eltolt alterein ekvivalenciareláció. Ezek az osztályok a párhuzamos nyalábok, vagy párhuzamos altérsorok. Ha a rögzített dimenzió 1, akkor párhuzamos egyenesnyalábról, ha 2, akkor párhuzamos síksorról, ha n-1, akkor párhuzamos hipersíksorról van szó. Az affin geometria nyelvén azok a k-dimenziós affin alterek párhuzamosak, amelyek a végtelen távoli hipersíkon (k-1)-dimenziós altérben metszik egymást. Az összes affin altér halmazán a párhuzamosság szimmetrikus és reflexív, de nem tranzitív reláció.

Rokon fogalmak

A párhuzamos eltolás minden pontot egy adott távolsággal tol el egy adott irányban. Vektoriálisan, . Így futhatnak párhuzamosan félegyenesek és szakaszok is. Hasonlóan eltolhatók görbék is a normálisuk irányában. A görbének párhuzamos görbéi a görbék, ahol normálvektora -nek. Erre példák a koncentrikus körök.

Zárt test párhuzamos teste az a test, amit úgy kapunk, hogy a testhez hozzávesszük a legfeljebb egy adott távolságra levő pontokat. Vektoriálisan, , ahol az r sugarú, origó középpontú gömböt jelöli.

Kapcsolódó szócikkek

Források

  • Obádovics J. Gyula: Matematika
  • Euklidesz: Elemek (Mayer Gyula ford.), Gondolat, 1983. [1]
  • Fried Ervin: Algebra I., Elemi és lineáris algebra, Nemzeti Tankönyvkiadó, Bp., 2000.
  • H. S. M. Coxeter: Projektív geometria