Topologinen avaruus on joukko, jolla on tietyn tyyppinen lisärakenne ( ns. topologia); on topologian pääasiallinen tutkimuskohde .
Historiallisesti topologisen avaruuden käsite esiintyi metrisen avaruuden yleistyksenä . Topologiset avaruudet syntyvät luonnollisesti lähes kaikilla matematiikan aloilla. Muiden yleistysten joukossa spatiaalisen rakenteen omaavasta joukosta löytyy pseudotopologinen avaruus [1] .
Olkoon joukko annettu . Sen osajoukkojen järjestelmää kutsutaan topologiaksi , jos seuraavat ehdot täyttyvät:
Paria kutsutaan topologiseksi avaruudeksi . Joukkoja , jotka kuuluvat ryhmään, kutsutaan avoimiksi joukoiksi .
Joukkoja, jotka täydentävät avoimia, kutsutaan suljetuiksi .
Jokaista avointa joukkoa, joka sisältää tietyn pisteen, kutsutaan sen lähialueeksi .
Kolmea topologisten avaruuksien yleistä luokkaa määritteleviä aksioomia täydentävät usein tietyt erotettavuusaksioomat , riippuen siitä, mitkä topologisten avaruuksien eri luokat erotetaan, esimerkiksi Tihonov-avaruudet, Hausdorff-avaruudet , säännölliset, täysin säännölliset, normaaliavaruudet jne.
Lisäksi topologisten avaruuksien ominaisuuksiin vaikuttavat voimakkaasti tiettyjen laskettavuuden aksioomien toteutuminen - ensimmäinen laskettavuuden aksiooma , toinen laskettavuuden aksiooma (avaruudet, joilla on laskettava topologiapohja) sekä avaruuden erotettavuus . Topologian laskettavan perustan olemassaolosta seuraa erotettavuus ja ensimmäisen laskettavuuden aksiooman toteutuminen. Lisäksi esimerkiksi säännölliset avaruudet, joilla on laskettava kanta, ovat normaaleja ja lisäksi metrisoitavia, eli niiden topologia voidaan antaa jollain metriikalla. Kompakteissa Hausdorff-tiloissa laskettavan topologiakannan olemassaolo on välttämätön ja riittävä ehto mittaatavuudelle. Metriavaruuksien osalta laskettavan topologiakannan olemassaolo ja erotettavuus ovat samanarvoisia.
Yhdistetty kaksoispiste on kahden pisteen topologinen avaruus.
Reaaliviiva on topologinen avaruus, jos esimerkiksi mielivaltaisia (tyhjiä, äärellisiä tai äärettömiä) äärellisten tai äärettömien välien liittoja kutsutaan avoimiksi joukoiksi. Kaikkien äärellisten avoimien intervallien joukko on tämän topologian perusta . Tämä on linjan vakiotopologia. Yleensä reaalilukujoukolle voidaan ottaa käyttöön hyvin erilaisia topologioita, esimerkiksi suora viiva "nuolitopologialla", jossa avoimet joukot näyttävät tältä tai Zariski-topologia , jossa mikä tahansa suljettu joukko on rajallinen joukko pisteitä.
Yleensä euklidiset avaruudet ovat topologisia avaruksia. Niiden vakiotopologia voi perustua avoimiin palloihin tai avoimiin kuutioihin. Edelleen yleistettynä jokainen metriavaruus on topologinen avaruus, jonka topologia perustuu avoimiin palloihin . Tällaisia ovat esimerkiksi funktionaalisessa analyysissä tutkitut funktioiden äärettömät ulottuvuudet .
Jatkuvien kuvausten joukko topologisesta avaruudesta topologiseen avaruuteen on topologinen avaruus seuraavan topologian suhteen, jota kutsutaan kompaktiksi avoimeksi . Esikanta annetaan kartoituksista koostuvilla joukoilla, joiden alla kompaktin joukon kuva on avoimessa joukossa .
Satunnaisesta joukosta voidaan tehdä topologinen avaruus kutsumalla kaikki sen osajoukot avoimeksi. Tällaista topologiaa kutsutaan diskreetiksi . Siinä kaikki sarjat ovat avoinna. Toinen rajoittava tapaus on kutsua pienin mahdollinen määrä osajoukkoja avoimeksi , eli ottaa käyttöön triviaali topologia - vain tyhjä joukko ja itse avaruus ovat avoinna siinä .
Aina ei ole kätevää luetella kaikkia avoimia joukkoja. Usein on kätevämpää määrittää pienempi joukko avoimia joukkoja, jotka luovat ne kaikki. Tämän formalisointi on topologiakannan käsite. Topologian osajoukkoa kutsutaan topologiakantaksi, jos mikä tahansa avoin joukko esitetään joukosta joukosta , ts.
Vielä edullisempi tapa määritellä topologia on määrittää sen esikanta , joukko, josta tulee kanta, jos siihen lisätään mielivaltaisia äärellisiä leikkauspisteitä sen elementeistä. Jotta joukkojärjestelmä julistettaisiin topologian esikantaksi, on välttämätöntä ja riittävää, että se kattaa koko joukon .
Esipohjaa käytetään useimmiten määrittämään kartoitusperheeseen indusoitunut topologia (katso alla).
Olkoon joukon mielivaltainen kartoitus topologiseen avaruuteen . Indusoitu topologia tarjoaa luonnollisen tavan ottaa käyttöön topologia : avoimet joukot sisään ovat kaikkia mahdollisia käänteiskuvia avoimista joukoista sisään ; eli auki, jos on avoin sellainen, että . Yllä kuvattu topologia on minimaalinen ja ainoa (inkluusio) topologia, jossa annettu kartoitus on jatkuva.
Esimerkki. Olkoon topologinen avaruus, sen osajoukko. Jos sovellamme edellä kuvattua rakennetta joukkoteoreettiseen upotukseen , saadaan topologia osajoukolle, jota yleensä kutsutaan myös indusoiduksi topologiaksi.
Olkoon topologinen avaruus, olkoon sille myös jokin ekvivalenssisuhde , tässä tapauksessa on olemassa luonnollinen tapa määritellä topologia tekijäjoukolle . Ilmoitamme tekijäosajoukon avoimeksi, jos ja vain, jos sen esikuva tekijöiden määrityksen alla on avoin . On helppo varmistaa ensinnäkin, että tämä todellakin määrittää topologian, ja toiseksi, että tämä on suurin ja ainoa (inkluusio) topologia, jossa osoitettu tekijöiden kartoitus on jatkuva. Tällaista topologiaa kutsutaan yleensä osamäärätopologiaksi .
Joukkoa kutsutaan suljetuksi , jos sen komplementti on avoin joukko. Topologian määrittäminen suljettujen joukkojen järjestelmälle tarkoittaa alajoukkojen järjestelmän esittämistä, jolla on seuraavat ominaisuudet:
Jos annetaan joukkojärjestelmä, jolla on tällaisia ominaisuuksia, komplementtioperaatiota käytetään avoimen joukkojärjestelmän rakentamiseen, joka määrittää topologian .
Algebrallisessa geometriassa topologiaa sovelletaan kommutatiivisen renkaan spektriin (kaikkien alkuideaalien järjestelmä), jonka yksikkö on - . Topologia on otettu käyttöön suljettujen joukkojen järjestelmällä: olkoon mielivaltainen renkaan ideaali (ei välttämättä yksinkertainen), niin se vastaa joukkoa
Kaikki tämän tyyppiset joukot muodostavat joukkojärjestelmän, joka täyttää luetellut aksioomit, koska
Zariskin topologia avaruudessa määritellään myös käyttämällä suljettujen joukkojen järjestelmää. Zariski-topologian suljetut joukot ovat kaikki joukot, jotka ovat äärellisen polynomijärjestelmän yhteisten nollien joukko. Suljettujen joukkojen järjestelmän aksioomien toteutuminen seuraa siitä tosiasiasta, että polynomien rengas on Noetherin ja siitä, että mielivaltaisen polynomijärjestelmän yhteiset nollat osuvat yhteen niiden muodostaman ihanteen yhteisten nollien kanssa.
Avaruus on luonnollisesti upotettu polynomirenkaan spektriin (se osuu yhteen kaikkien sen suljettujen pisteiden joukon kanssa), ja Zariskin topologia ei ole sama kuin avaruustopologian indusoima .
Topologian käsite on minimi, joka tarvitaan jatkuvista kartoituksista puhumiseen . Intuitiivisesti jatkuvuus on epäjatkuvuuksien puuttumista, eli jatkuvan kartoituksen läheisten pisteiden tulisi mennä läheisiin. Osoittautuu, että pisteiden läheisyyden käsitteen määrittelemiseksi voidaan luopua etäisyyden käsitteestä. Tämä on juuri jatkuvan kartoituksen topologinen määritelmä.
Topologisten avaruuksien kartan sanotaan olevan jatkuva , jos jokaisen avoimen joukon käänteiskuva on avoin.
Topologisten avaruuksien kategoria sisältää objekteina kaikki topologiset avaruudet, kun taas morfismit sisältävät jatkuvia kuvauksia. Yritykset luokitella tämän luokan objektit algebrallisten invarianttien avulla on omistettu matemaattisen tieteen osalle, jota kutsutaan algebralliseksi topologiaksi . Yleinen topologia on omistettu jatkuvuuden käsitteiden sekä muiden käsitteiden, kuten tiiviyden tai erotettavuuden, tutkimiseen sellaisenaan ilman muita työkaluja . Kohteen lisärakenteina voi olla esimerkiksi nippu sarjoja tai affiiniviiva , eli . Merkitse välilyöntiluokka alkaen lisärakenteella . Unohtava functor - karteesiset niput. Objekteja kutsutaan rakenteellisiksi tiloiksi. Yllä olevaa kerrosobjektia kutsutaan yllä olevaksi rakenteeksi .
Hochschildin mukaan funktionaalinen rakenne on kartoitus , joka määrittää jokaiselle avoimelle joukolle jatkuvien reaaliarvoisten funktioiden algebran aligebran . Tämä kartoitus on algebran nippu , jatkuvien reaaliarvoisten funktioiden alkioiden alirivi , joka sisältää vakionimen. Tämä seuraa seuraaville ehdoille :
Esimerkiksi rajallinen -monitori on parakompakti Hausdorff-avaruus, jolla on toiminnallinen rakenne, , joka on paikallisesti isomorfinen avaruuden kanssa . Raja koostuu niistä pisteistä, jotka on kartoitettu hypertason pisteisiin, jotka ovat tasaulotteinen monisto, jossa on indusoitu rakenne.
Sfäärien homotopiaryhmät ovat topologisia perusinvariantteja, joiden ymmärtäminen johtaa topologisten avaruuksien parempaan ymmärtämiseen yleensä sekä suuren määrän monimutkaisten kuvioiden läsnäoloon niiden rakenteessa.