„Homeomorfia” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
a Bot: következő módosítása: fa:همریختی |
a Bot: következő hozzáadása: bg:Хомеоморфизъм; kozmetikai változtatások |
||
22. sor: | 22. sor: | ||
* A (-1;1) nyílt [[intervallum]] homeomorf a [[valós számok]] halmazával (például az arc tg függvény homeomorfizmus a két halmaz között) |
* A (-1;1) nyílt [[intervallum]] homeomorf a [[valós számok]] halmazával (például az arc tg függvény homeomorfizmus a két halmaz között) |
||
* Minden egyenletesen folytonos bijekció (melynek inverze is egyenletesen folytonos), minden bi-Lipschitz bijekció és minden távolságtartó bijekció homeomorfizmus (hiszen ezeknél a folytonossági kitétel közvetlen következmény). |
* Minden egyenletesen folytonos bijekció (melynek inverze is egyenletesen folytonos), minden bi-Lipschitz bijekció és minden távolságtartó bijekció homeomorfizmus (hiszen ezeknél a folytonossági kitétel közvetlen következmény). |
||
* A gömbfelület egy pontját elhagyva homeomorf a [[Euklideszi síkgeometria| |
* A gömbfelület egy pontját elhagyva homeomorf a [[Euklideszi síkgeometria|síkkal]] (a [[sztereografikus projekció]] alkalmas homeomorf leképezés) |
||
* '''R'''<sup>''n''</sup> és '''R'''<sup>''m''</sup> nem homeomorfak, ha ''n'' ≠ ''m'' (például ez '''R'''<sup>''2''</sup> és '''R'''<sup>''3''</sup> tekintetében azt jelentené ugyanis, hogy minden gráf síkban rajzolható lenne.) |
* '''R'''<sup>''n''</sup> és '''R'''<sup>''m''</sup> nem homeomorfak, ha ''n'' ≠ ''m'' (például ez '''R'''<sup>''2''</sup> és '''R'''<sup>''3''</sup> tekintetében azt jelentené ugyanis, hogy minden gráf síkban rajzolható lenne.) |
||
== Megjegyzések == |
== Megjegyzések == |
||
A harmadik követelmény (miszerint az inverz függvény is folytonos) lényeges. Van ugyanis olyan függvény, mely bijektív, folytonos de az inverze nem folytonos. Vegyük például az ''f'' : <nowiki>[0, |
A harmadik követelmény (miszerint az inverz függvény is folytonos) lényeges. Van ugyanis olyan függvény, mely bijektív, folytonos de az inverze nem folytonos. Vegyük például az ''f'' : <nowiki>[0, 2π)</nowiki> → S<sup>1</sup>, ''f''(φ) = (cos(φ), sin(φ)) leképezést. Világos, hogy ennek az inverze nem folytonos, hiszen a (1,0) pontnak nem találunk olyan környezetét, mely a 0 pont 1 sugarú környzetébe képeződne. |
||
A homeomorfizmusok a topologikus terek kategóriájának izomorfizmusai. Két homeomorfizmus [[függvény kompozíció|kompozíciója]] is homeomorfizmus és egy ''X'' teret saját magára képező homeomorfizmusok (''X'' → ''X'') halmaza, a topologikus automorfizmusok [[csoport]]ot alkotnak, melyet az ''X'' '''homeomorfizmus csoportjának''' hívnak. Ezt gyakran Homeo(''X'')-szel jelölik. |
A homeomorfizmusok a topologikus terek kategóriájának izomorfizmusai. Két homeomorfizmus [[függvény kompozíció|kompozíciója]] is homeomorfizmus és egy ''X'' teret saját magára képező homeomorfizmusok (''X'' → ''X'') halmaza, a topologikus automorfizmusok [[csoport]]ot alkotnak, melyet az ''X'' '''homeomorfizmus csoportjának''' hívnak. Ezt gyakran Homeo(''X'')-szel jelölik. |
||
43. sor: | 43. sor: | ||
A homeomorfizmust ezen karakterisztikája miatt gyakran összetévesztik a [[homotópia|homotópiával]]. ami egy folytonos deformálásnak van ''definiálva'', de ''függvények'' között, nem pedig terek között. A homeomorfizmusnál a deformálás elképzelése csak segíti nyomon követni egy ''X''-beli pont helyét az ''Y''-ban - elég csak a defomálás során bejárt útját figyelni. A homotópiában ténylegesen a deformálásról van szó, valamint sokkal gyengébb feltételeket szab, hisz ott egyik függvénynek sem kell bijektívnek lenni. |
A homeomorfizmust ezen karakterisztikája miatt gyakran összetévesztik a [[homotópia|homotópiával]]. ami egy folytonos deformálásnak van ''definiálva'', de ''függvények'' között, nem pedig terek között. A homeomorfizmusnál a deformálás elképzelése csak segíti nyomon követni egy ''X''-beli pont helyét az ''Y''-ban - elég csak a defomálás során bejárt útját figyelni. A homotópiában ténylegesen a deformálásról van szó, valamint sokkal gyengébb feltételeket szab, hisz ott egyik függvénynek sem kell bijektívnek lenni. |
||
A homeomorfia szemléltetéséhez adott deformálásnak nevet is adtak (ha a vágás és visszaragasztás nem megengedett): [[Izotópia|Izotópiának]] hívják az ''X''-beli identitás és az ''X''-ből ''Y''-ba képzett homeomorfizmus |
A homeomorfia szemléltetéséhez adott deformálásnak nevet is adtak (ha a vágás és visszaragasztás nem megengedett): [[Izotópia|Izotópiának]] hívják az ''X''-beli identitás és az ''X''-ből ''Y''-ba képzett homeomorfizmus között. |
||
== Külső hivatkozások == |
== Külső hivatkozások == |
||
54. sor: | 54. sor: | ||
[[en:Homeomorphism]] |
[[en:Homeomorphism]] |
||
[[ar:دالة هميومورفية]] |
[[ar:دالة هميومورفية]] |
||
[[bg:Хомеоморфизъм]] |
|||
[[ca:Homeomorfisme]] |
[[ca:Homeomorfisme]] |
||
[[cs:Homeomorfismus]] |
[[cs:Homeomorfismus]] |
A lap 2009. június 25., 00:51-kori változata
|
Ez a szócikk vagy szakasz lektorálásra, tartalmi javításokra szorul. |
A topológiában a homeomorfia vagy topológiai izomorfia (a homoios ~ hasonló és a μορφή (morphē) görög szavakból) egy speciális izomorfia topológiai terek között. Két egymással homeomorf tér topológiai szempontból azonos.
Durván fogalmazva egy topológiai tér egy geometriai objektumnak tekinthető, és a homeomorfizmus egy folytonos deformálás (nyújtás, hajlítás, stb.) mely egy másik objektummá alakítja. Így például egy kör és egy négyzet homeomorf, sőt egy bögre és egy fánk is (feltéve, hogy a fánk lyukas). De például egy gömb és egy fánk nem (a "lyukasztás" nem megengedett).
Definíció
Az f függvényt X és Y topológiai terek között homeomorfizmusnak hívjuk, ha
Ha létezik ilyen függvény, X és Y között, akkor e két teret homeomorfnak mondjuk. A homeomorfizmus ekvivalenciareláció a topológiai terek osztályán. Ezt az ekvivalencia osztályt homeomorf osztálynak hívjuk.
Példák
- A körlap és a négyzet(lap) az euklideszi síkon (R2) homeomorf (a körlap polárkoordinátázása ugyanis homeomorfizmus)
- A (-1;1) nyílt intervallum homeomorf a valós számok halmazával (például az arc tg függvény homeomorfizmus a két halmaz között)
- Minden egyenletesen folytonos bijekció (melynek inverze is egyenletesen folytonos), minden bi-Lipschitz bijekció és minden távolságtartó bijekció homeomorfizmus (hiszen ezeknél a folytonossági kitétel közvetlen következmény).
- A gömbfelület egy pontját elhagyva homeomorf a síkkal (a sztereografikus projekció alkalmas homeomorf leképezés)
- Rn és Rm nem homeomorfak, ha n ≠ m (például ez R2 és R3 tekintetében azt jelentené ugyanis, hogy minden gráf síkban rajzolható lenne.)
Megjegyzések
A harmadik követelmény (miszerint az inverz függvény is folytonos) lényeges. Van ugyanis olyan függvény, mely bijektív, folytonos de az inverze nem folytonos. Vegyük például az f : [0, 2π) → S1, f(φ) = (cos(φ), sin(φ)) leképezést. Világos, hogy ennek az inverze nem folytonos, hiszen a (1,0) pontnak nem találunk olyan környezetét, mely a 0 pont 1 sugarú környzetébe képeződne.
A homeomorfizmusok a topologikus terek kategóriájának izomorfizmusai. Két homeomorfizmus kompozíciója is homeomorfizmus és egy X teret saját magára képező homeomorfizmusok (X → X) halmaza, a topologikus automorfizmusok csoportot alkotnak, melyet az X homeomorfizmus csoportjának hívnak. Ezt gyakran Homeo(X)-szel jelölik.
Tulajdonságok
- Két egymással homeomorf tér ugyanazokkal a topológiai tulajdonságokkal bír. Például ha egyikük kompakt, akkor a másik is; ha egyikük összefüggő, akkor a másik is. Homeomorf terek homológiacsoportja megyezik. A tulajdonságok megtartása mindazonáltal nem terjed ki a metrikus terek fogalmaival megfogalmazott tulajdonságokra. Például vannak homeomorf terek, melyek közül az egyik teljes, a másin nem.
- Homeomorfizmus egyszerre nyílt és zárt leképezés, azaz nyílt halmazt nyíltba, zártat zártba képez.
- Az n dimenziós térbeli gömbhéjjon definiált topologikus automorfizmus kiterjeszthető az általa határolt gömb topologikus automorfizmusává (Alexandrov-féle kiterjesztési módszer).
Kötetlen diszkusszió
Az egymásba derformálhatóság (nyújtás, hajlítás, vágás, ragasztás) megfelelő alkalmazása kis tapasztalatot igényel - Például talán nem egyértelmű a definícióból, de egy szakaszt nem lehet ponttá deformálni. Továbbá fontos megjegyezni, hogy a fent megadott formális definíció a mérvadó.
A homeomorfizmust ezen karakterisztikája miatt gyakran összetévesztik a homotópiával. ami egy folytonos deformálásnak van definiálva, de függvények között, nem pedig terek között. A homeomorfizmusnál a deformálás elképzelése csak segíti nyomon követni egy X-beli pont helyét az Y-ban - elég csak a defomálás során bejárt útját figyelni. A homotópiában ténylegesen a deformálásról van szó, valamint sokkal gyengébb feltételeket szab, hisz ott egyik függvénynek sem kell bijektívnek lenni.
A homeomorfia szemléltetéséhez adott deformálásnak nevet is adtak (ha a vágás és visszaragasztás nem megengedett): Izotópiának hívják az X-beli identitás és az X-ből Y-ba képzett homeomorfizmus között.