Topológia
Matematika |
---|
A matematika alapjai |
Algebra |
Analízis |
Geometria |
Számelmélet |
Diszkrét matematika |
Alkalmazott matematika |
Általános |
A topológia (régiesen: helyzetgeometria) a matematikának az a részterülete, amelyik az alakzatoknak a folytonos (vagyis szakítás, lyukasztás stb. nélküli) deformációk – nyújtások, csavarások stb. – közben is megmaradó (invariáns) tulajdonságaival foglalkozik.
Az első vizsgálatok közül nevezetes az Eulertől származó poliéder-tétel, valamint a topológiából leszármazott gráfelmélet ismertebb indító feladata, a königsbergi hidak problémája. Sok eredmény született a térgörbék (csomók), a felületek (Möbius-szalag, Klein-féle palack), a fraktálok, a relativitáselmélet által definiált tér-idő, a fizikai fázis-terek (jobb- és balsodrású rendszerek), a szimmetrikus csoportok vizsgálata során. Ma már a topológia a matematika egyik önálló területe. Gyakran az analízishez sorolják.
Részterületek
[szerkesztés]Három nagyobb fejezete különböztethető meg:
- Halmazelméleti topológia a halmazok szerkezetével, az elemek környezetével, a leképezésekkel, a folytonossággal stb. foglalkozik. Szokták geometriai topológiának, vagy a ponthalmazok topológiájának is nevezni.
- Algebrai topológia algebrai eszközök segítségével építi fel fogalom- és tételrendszerét. Ennek alfejezeteként nevesítik a kombinatorikus topológiát.
- Gráfelmélet a gráfoknak nevezett (pontokból és azokat összekötő élekből álló) topologikus alakzatok speciális feladataival foglalkozik.
- Néhány elemző elkülöníti a differenciál topológiát, míg más osztályozások a leíró és az általános topológia terminusokat használják. Ez is mutatja a tudományterület fejlődésének dinamizmusát.
Fontos alapfogalmai: a topologikus tér, a nyílt halmaz, a környezet, a topologikus leképezés (homeomorfia) és invariánsai.
Topologikus tér
[szerkesztés]Legyen egy halmaz és ennek részhalmazaiból álló halmazrendszer (a hatványhalmaz egy részhalmaza).
Ha teljesülnek a következő axiómák:
- Az üres halmaz és maga elemei –nek,
- A véges sok elemének a metszete is eleme –nek,
- A akárhány elemének az uniója is eleme –nek,
akkor egy topológia (topológiai struktúra) a hordozó halmazon.
A kettőst topológiai térnek nevezzük, elemeit másképpen pontjainak nevezzük.
Egy olyan halmazrendszer, amelynek összes uniója a topológiát adja, a topológia bázisa. Erre az teljesül, hogy elemeinek véges metszete előáll a halmazrendszer néhány elemének nem feltétlenül véges uniójaként. Egy halmazrendszer, amelynek összes metszete bázis, a topológia előbázisa. Az előbázisra már nincs megkötés; a részhalmazok bármely rendszere lehet előbázis. Ha egy topológiának van megszámlálható bázisa, akkor a topológia M2.
Nevezetes topológiák
[szerkesztés]- Természetes (standard) topológia: Amennyiben az valós számegyenesen egy részhalmazt akkor nevezünk nyíltnak, ha az vagy üres, vagy minden pontjával együtt annak nyílt intervallumát is tartalmazza, akkor az összes ilyen nyílt halmazból álló halmazrendszer a valós számhalmazon egy ún. természetes topológia. A topologikus tér a valós analízis felépítésének alapja.
- Diszkrét topológia: A halmaz minden részhalmazát tartalmazó topológiát diszkrétnek nevezzük.
- Indiszkrét topológia: A kizárólag az üres halmazt és magát -t tartalmazó topológiát indiszkrétnek nevezzük.
- Véges-zárt topológia: A véges zárt topológia tartalmazza az üres halmazt, valamint minden olyan részhalmazát, amelynek a komplementere véges. Mivel az üreshalmaz ( komplementere) véges, ezért értelemszerűen nyílt ebben a topológiában.
Speciális topologikus terek
[szerkesztés]- Metrikus tér
Ha az tér elempárjainak távolságát értelmezhetjük, akkor a tér metrikus. A metrika (távolság függvény) az elempárokhoz egy nemnegatív számot rendel, melyre a következő tulajdonságok érvényesek:
- ,
- ,
- .
Az párost metrikus térnek nevezzük.
Minden metrikus tér természetes módon topologikus térré tehető, a következő definícióval:
nyílt
ahol az x körüli epszilon sugarú nyílt gömb. A nyílt gömbök nyílt halmazok.
Az ily módon az euklideszi metrika által az halmazon generált topológiát, természetes topológiának nevezzük.
- Hausdorff-tér
Egy topologikus teret Hausdorff-térnek, vagy T2-térnek nevezünk, ha a tér bármely két különböző pontjához létezik két diszjunkt nyílt halmaz, úgy, hogy az egyik pont az egyik halmaz, a másik a másik halmaz eleme. Avagy a pontok elválaszthatók nyílt halmazok segítségével.
Minden metrikus tér Hausdorff-tér, mivel két nem egyenlő pont távolsága nagyobb mint nulla d, ekkor a pontok körül vett d/2 sugarú nyílt gömbök szétválasztják a pontokat.
A Hausdorff-térnél erősebb elválaszthatósági tulajdonságok a pontok és a zárt halmazok (T3), vagy a zárt halmazok egymástól (T4) való elválaszthatóságát követelik meg. Ha még a pontok is zártak, akkor a tér T3 teljesülése esetén reguláris, T4 esetén normális.
Összefüggőség
[szerkesztés]Egy topologikus tér összefüggő, ha nem bontható fel két nyílt valódi részhalmaza uniójára. Útösszefüggő, ha bármely két pontja között van út. Az utak a [0,1] intervallum leképezései a topologikus térbe. Ha egy út kezdő- és végpontja egybeesik, akkor az út hurok.
A természetes topológiában a valós számok összefüggő részhalmazai éppen az intervallumok. Az útszerű összefüggőség erősebb; például a -hez hozzávéve az origót összefüggő, de nem útösszefüggő halmazt, illetve teret kapunk.
Nyílt \ zárt halmaz
[szerkesztés]A elemeit pontoknak, elemeit nyílt halmazoknak nevezzük.
A egy részhalmaza nyílt halmaz, ha eleme -nek. részhalmaza zárt halmaz, ha komplementere valamely -beli (vagyis nyílt) halmaznak.
Egy halmaz azonban nem kizárólagosan nyílt vagy zárt, előfordulhat, hogy egyszerre nyílt és zárt, mivel eleme a topológiának, de emellett egy másik nyílt halmaz komplementere is. Ezeket nevezzük nyílt-zárt halmazoknak. Az üres halmaz, valamint maga konstrukciójukból fakadóan nyílt-zártak. Azokról a halmazokról, amelyek a fenti kategóriák egyikébe sem tartoznak, nem tudunk mondani semmit.
Kompaktság
[szerkesztés]Egy halmaz kompakt, ha bármely nyílt fedéséből kiválasztható véges részfedés. Ekvivalensen, valahányszor adva van zárt részhalmazok rendszere úgy, hogy egy véges metszet sem üres, akkor az összes metszete sem üres. Egy halmaz megszámlálhatóan kompakt, ha megszámlálható sok részhalmazra kielégíti az előbbi tulajdonságokat. Ekvivalensen, zárt halmazok minden szűkülő sorozatának metszete nem üres. Ha minden végtelen részhalmaznak van torlódási pontja, akkor sorozatkompakt.
A megszámlálhatóan kompakt M2-terekben nem gyengébb a kompaktnál, és M1-terekben a sorozatkompaktság is ekvivalens a kompaktságnál.
Szorzatterek és faktorterek
[szerkesztés]Két topologikus tér szorzata az a topologikus tér, aminek tartóhalmaza a két tartóhalmaz szorzata, és a topológiák szorzata a szorzattér bázisa. Ez az a minimális topológia, amiben a tényezőkre vetítés folytonos.
Összefüggő terek, útösszefüggő terek szorzata összefüggő, útszerűen összefüggő. Ha a terek M1, illetve M2-terek, akkor szorzatterük is teljesíti ezeket a megszámlálhatósági tulajdonságokat. A topologikus terek szorzása a kompaktságot is megőrzi; ez Tyihonov tétele.
Legyen topologikus tér, és legyen rajta pontok egy osztályozása. Ekkor az faktortér pontjai a pontok osztályai, és a faktortér egy bázisát a teljes nyílt osztályok adják.
Környezet
[szerkesztés]A (topologikus) tér pontjainak környezete a metrikus terekben a környezet definíciója az euklideszi térével analóg. Nem-metrikus terekben ez nem alkalmazható. Az általános definíció:
A hordozó halmaz egy részhalmaza a pont környezete, ha létezik egy halmaz, amelyre .
A tér pontjai
[szerkesztés]A (topologikus) tér pontjait (elemeit) a hordozó halmaz egy részhalmazához viszonyítva osztályozhatjuk. Legyen , ekkor definiáljuk:
- A belső része, a legnagyobb nyílt halmaz, mely tartalmazva van A-ban. Az egyesítés jel azt jelenti, hogy a halmazrendszer minden halmazának unióját vesszük, ily módon A belső része önmaga is nyílt halmaz, mivel nyílt halmazok egyesítése. A belső részének elemeit A belső pontjainak nevezzük. A belső részét gyakran -val jelölik.
- A lezárása, a legkisebb zárt halmaz, mely tartalmazza A-t. A lezárásának elemeit A érintkezési pontjainak nevezzük. A lezárása egy zárt halmaz.
- pontot A torlódási pontjának nevezzük, ha minden -t tartalmazó nyílt halmaz tartalmaz legalább egy -től különböző elemet A-ból. Ekvivalensen torlódási pont, ha .
- pontot A izolált pontjának nevezzük, ha eleme A-nak, és létezik olyan Q nyílt halmaz, hogy , azaz pontosan akkor, ha nem torlódási pont.
- pontot A külső pontjának nevezzük, ha nem érintkezési pontja A-nak.
Megjegyzések:
- Nyílt halmaz belső része maga a nyílt halmaz, illetve zárt halmaz lezárása maga a zárt halmaz.
- p pontosan akkor A belső pontja, ha p-nek van környezete, melyet A tartalmaz.
- p pontosan akkor A érintkezési pontja, ha p minden környezete nem diszjunkt A-val.
- p pontosan akkor A határpontja, ha p minden K környezetére igaz, hogy K nem diszjunkt A-val, és K nem diszjunkt A komplementerével.
- Ha a topologikus tér összes pontja zárt, akkor a tér T1.
- A halmazrendszer környezetbázisa az pontnak, ha minden eleme környezete -nek, és minden környezetéhez van -beli halmaz, ami szűkebb környezete -nek. Ha egy topologikus térben minden pontnak van megszámlálható környezetbázisa, akkor a tér M1.
Konvergencia
[szerkesztés]Egy topologikus tér elemeiből álló sorozat konvergál egy ponthoz, ha minden környezetéhez létezik határindex, úgy, hogy minden indexre. Jelölés: . Ebben az esetben a sorozatot konvergensnek nevezzük.
Egy sorozat határértéke általános topologikus terekben nem feltétlenül egyértelmű, tehát egy sorozatnak több különböző határértéke is lehet. Hausdorff-terekben a konvergens sorozatok határértéke egyértelmű.
Folytonosság
[szerkesztés]Globális folytonosság.
[szerkesztés]Két topologikus tér közötti leképezéssel adott függvény folytonos, ha az értékkészlet minden nyílt halmazának ősképe nyílt halmaz.
Lokális folytonosság
[szerkesztés]Két topologikus tér közötti leképezéssel adott függvény folytonos az értelmezési tartomány egy pontjában,
- ha izolált pont,
- vagy ha minden környezetének ősképe -nek egy környezete.
A valós-valós függvények esetén (és általában ha mindkét tér természetes topológiával bír) ez a definíció az analízisből ismert definíciókkal ekvivalens, annak általánosítása.
Ha egy függvény mindenütt lokálisan folytonos, akkor globálisan is folytonos.
Leképezések (transzformációk)
[szerkesztés]Folytonos leképezés
[szerkesztés]A folytonos függvény által generált leképezést geometriai térben alkalmazva az alakzatok képében a pontok szomszédsága a vonalak folytonossága, az alakzatok összefüggése, a nyílt vagy zárt alakzatok e tulajdonsága változatlan, invariáns.
Ugyancsak változatlan marad a részhalmazok (alakzatok) és pontok viszonya: érintkezési, belső, izolált, torlódási vagy külső pont a képben is ilyen tulajdonságú.
Homeomorfizmus
[szerkesztés]![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/26/Mug_and_Torus_morph.gif/180px-Mug_and_Torus_morph.gif)
A homeomorfizmus a folytonos leképezés speciális esete: Amennyiben egy folytonos függvény injektív és szürjektív, továbbá az inverze is folytonos, akkor a függvényt (a leképezést) homeomorfizmusnak (homeomorfia) nevezzük.
Két alakzatot (teret) homeomorfnak, más szóval topologikusan ekvivalensnek nevezzük, ha egyiket homeomorfizmus képezi le a másikra, azaz egyik a másiknak homeomorf képe. Ilyen párt alkot a fenti idézetben szereplő bögre és fánk (tórusz). A síkban ilyen a kör és a négyzet, az egyenes és a parabola stb. A homeomorfizmus a legáltalánosabb topologikus leképezés.
Paul Renteln és Alan Dundes tréfás meghatározása leírja a terület vizsgálatának lényegét: szerintük a topológus az, aki nem tud megkülönböztetni egy bögrét egy amerikai fánktól.[1]
Rugalmas alakváltozás
[szerkesztés]A rugalmas alakváltozás, vagy homotópia szemléletesen egy rugalmas lemezre rajzolt ábra torzulásaival írható le. A térbeli analógia ugyanígy kezelhető. A fizikai kivitelezhetőség feltétele, hogy az alakváltozás az anyag (a hordozó halmaz, a média) elszakadása nélkül menjen végbe és a transzformáció megfordítható (az eredeti alakzat rekonstruálható) legyen. Nem minden topologikus leképezés valósítható meg rugalmas torzítással, de igazolható, hogy a homotópia a homeomorfia speciális esete. A homotópia kötött egy részhalmazra, ha az halmaz képe nem mozoghat.
A homotópnak lenni ekvivalenciareláció. Egy topologikus térben az adott kezdőpontú hurkok homotópiaosztályai csoportot alkotnak az egymás után fűzésre, mint szorzásra. A csoport egységeleme a konstans hurok, és egy hurok inverze a megfordítottja, vagyis a visszafelé bejárt hurok. Ez az adott tér fundamentális csoportja. A fundamentális csoportok vizsgálatával az algebrai topológia foglalkozik.
Fedőleképezés
[szerkesztés]Legyen és topologikus tér, és összefüggő. A lokális homeomorfizmus fedőleképezés, ha minden pontjának van környezete, aminek az ősképe nyílt halmazok diszjunkt uniója, és minden ilyen nyílt halmazt homeomorf módon képez -ra. Ekkor bázis, fedőtér, és a diszjunkt unió elemei rétegek. A fedés rétegszáma mindenütt ugyanannyi.
A fedő utak tétele szerint, ha -ben van egy kezdőpontú út, akkor -ben minden rétegben van egy kezdőpontú út, amit átvisz -be. Ez az út felemeltje. Ha van két út, ami ugyanott kezdődik, akkor felemeltjeik is ugyanott fognak kezdődni. Homotópia is felemelhető.
Projektív leképezések
[szerkesztés]A rugalmas alakváltozásnál szigorúbb feltétel az egyenes (térben a sík és egyenes) invarianciája. Az ilyen tulajdonságú folytonos leképezés az általános projektív leképezés, a kollineáció. Az euklideszi térben a kollineációt lineáris (elsőfokú) kifejezéssel definiált leképezések valósítják meg.
- A párhuzamosságot is átörökítő speciális kollineáció az affinitás.
- A szögtartó és aránytartó speciális affinitás a hasonlóság.
- A távolságot is megtartó hasonlósági leképezés az egybevágóság.
- A szögtartó és aránytartó speciális affinitás a hasonlóság.
Jegyzetek
[szerkesztés]- ↑ Paul Renteln – Alan Dundes: Foolproof: A Sampling of Mathematical Folk Humor. www.ams.org (Hozzáférés: 2021. november 13.)
Források
[szerkesztés]- Fritz Reinhardt – Heinrich Soeder: Matematika (SH atlasz). Budapest – Berlin: Springer-Verlag. 1995. ISBN 9638455918
- Szűcs András: Topológia. Budapest: Eötvös Loránd Tudományegyetem. 2018. arch Hozzáférés: 2021. november 13.