Topologia (matematiikka)
Topologia on matematiikan alue, joka käsittelee jatkuvuutta, raja-arvoja, kappaleiden muuttumattomia ominaisuuksia, kun niitä venytetään ja väännellään yms.
Siinä, missä geometriassa tärkeitä ovat pituudet ja pinta-alat, geometrinen topologia kiinnittää huomiota muotoon.
Geometrisessa topologiassa kaksi oliota ovat samat, jos ne voidaan muuttaa toisikseen "jatkuvalla muunnoksella". Tästä anekdootti: "Topologi on matemaatikko, joka ei erota kahvikuppia munkkirinkilästä." (John Kelley, In N. Rose, Mathematical Maxims and Minims)
Teknisenä terminä topologia tarkoittaa jonkin perusjoukon osajoukkojen kokoelmaa, joka täyttää seuraavat ehdot:
- Koko avaruuden perusjoukko ja tyhjä joukko kuuluvat siihen
- Se sisältää joukkojensa mielivaltaiset yhdisteet
- Se sisältää joukkojensa äärelliset leikkaukset
Tällöin kyseisen kokoelman alkioita sanotaan (perusjoukon) avoimiksi joukoiksi ja perusjoukon ja sen topologian muodostamaa paria topologiseksi avaruudeksi.
Ensimmäisestä ehdosta nähdään, että avaruuden
topologiaan kuuluvat ainakin alkiot
ja
. Edelleen näiden joukkojen kokoelma toteuttaa myös kaksi muuta topologian ehtoa, jolloin kyseistä topologiaa kutsutaan minitopologiaksi tai indiskreetiksi topologiaksi. Myös
:n potenssijoukko on eräs
:n topologia, diskreetti topologia. Siten
:n indiskreettitopologia on aina
:n diskreetin topologian osajoukko. Yleisesti jos
ja
ovat joukon
kaksi topologiaa ja
, sanotaan että
on karkeampi eli heikompi kuin
. Vastaavasti topologia
on hienompi eli vahvempi kuin
. Jos on annettu kaksi saman avaruuden topologiaa joista kumpikaan ei ole toisen osajoukko, ei näiden kahden topologian karkeutta voida vertailla keskenään.
[muokkaa] Käsitteitä
- Avaruus
- Kompaktius
- Yhtenäisyys
- Polkuyhtenäisyys
- Jatkuva kuvaus
- Avoin joukko
- Suljettu joukko
- Homeomorfismi
- Lineaarikuvaus
- Piste
- Täydellisyys
- Algebrallinen topologia
[muokkaa] Katso myös
Sivulta puuttuu