Topológia

a matematika részterülete

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.

A bögre és a fánk

Paul Renteln és Alan Dundes tréfás meghatározása[1] 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.

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ületekSzerkesztés

Három nagyobb fejezete különböztethető meg:

  1. 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.
  2. 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.
  3. 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érSzerkeszté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, aminek ö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, aminek ö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ákSzerkeszté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 terekSzerkeszté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égSzerkeszté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 halmazSzerkeszté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ágSzerkeszté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 faktorterekSzerkeszté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örnyezetSzerkeszté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 pontjaiSzerkeszté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.
  •   az A halmaz határa.   elemeit határpontoknak nevezzük. Ez a halmaz mindig zárt, mert két zárt halmaz metszete:  
  •   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.

KonvergenciaSzerkeszté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ágSzerkeszté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ágSzerkeszté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ésSzerkeszté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ú.

HomeomorfizmusSzerkesztés

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.

Rugalmas alakváltozásSzerkeszté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ésSzerkeszté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ésekSzerkeszté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.

ForrásokSzerkesztés

  • Reinhard,F.-Soeder,H.: SH atlasz-Matematika, Springer Verlag, Budapest-Berlin, 1993.
  • Szűcs András: Topológia