Heikko topologia on matematiikassa nimitys tietyille indusoiduille topologioille, usein topologisissa vektoriavaruuksissa tai lineaaristen operaattoreiden avaruuksissa, esimerkiksi Hilbertin avaruudessa.
Termiä käytetään yleisimmin topologisen vektoriavaruuden (kuten normivektoriavaruuden) topologiasta, jonka on indusoinut sen jatkuva duaaliavaruus.
Topologisen vektoriavaruuden osajoukkoja voidaan kutsua heikosti suljetuiksi (vastaavasti heikosti kompakteiksi jne.), jos ne ovat suljettuja (vastaavasti kompakteja jne.) heikossa topologiassa. Samoin funktioita kutsutaan joskus heikosti jatkuviksi (vastaavasti heikosti differentioituviksi, heikosti analyyttisiksi jne.), jos ne ovat jatkuvia (vastaavasti differentioituvia, analyyttisiä jne.) heikon topologian suhteen.
Historia 1900-luvun alkupuolelta lähtien David Hilbert ja Marcel Riesz käyttivät heikkoa suppenemista laajasti. Funktionaalianalyysin varhaiset pioneerit eivät pitäneet suppenemista normin suhteen tärkeämpänä kuin suppenemista heikon topologian suhtaan vaan usein päinvastoin. Vuonna 1929 Banach esitteli heikon suppenemisen normiavaruuksille ja myös analogisen heikko*-suppenemisen.
Heikko topologia on englanniksi weak topology, ranskaksi ja saksaksi .
Duaalin indusoima heikko topologia Jatkuva duaaliavaruus Topologisen vektoriavaruuden (jatkuva) duaaliavaruus on . Sen alkiot ovat kaikki jatkuvat lineaariset funktiot , missä on se (skalaari)kunta jonka yli avaruus on määritelty (yleensä tai ).
Myös on vektoriavaruus saman kunnan yli. Sen alkioiden summa ja skalaaritulo määritellään pisteittäin. Esimerkiksi vektorien summa määritellään näin: kaikilla .
Duaalin ja primaalin heikot topologiat Avaruuden heikko topologia tarkoittaa yleensä sen (jatkuvan) duaalin indusoimaa topologiaa indusoimaa topologiaa eli se on (pienin eli) karkein topologia, jonka suhteen jokainen on jatkuva.
Jos esimerkiksi on Banach-avaruus, sen heikko topologia on yleensä heikompi kuin sen normitopologia (joskin ne ovat samat jos dim).
Joskus kuitenkin heikolla topologialla tarkoitetaan jonkin muun lineaaristen funktionaalien joukon (esimerkiksi algebrallisen duaalin eli kaikkien lineaaristen funktionaalien) indusoimaa topologiaa. Tällainen voidaan määritellä mille vektoriavaruudelle tahansa (kunhan kerroinkunta on , tai muu topologinen kunta).
Tämän täsmentämiseksi voidaan käyttää termiä heikko topologia joukon F suhteen, missä F on kyseisen topologian indusoinut lineaaristen funktionaalien joukko.
Vastaavasti joskus duaaliavaruudessa käytetään heikko-*-topologiaa eli avaruuden siihen indusoimaa topologiaa. (Avaruuden heikko topologiahan tarkoittaa avaruuden indusoimaa topologiaa.)
Heikot ja vahvat topologiat Olkoon topologinen kunta eli kunta, jonka topologia on sellainen, että yhteen-, kerto- ja jakolaskut ovat jatkuvia. Useimmissa sovelluksissa on joko kompleksilukujen kunta tai reaalilukujen kunta sen tavanomaisella topologialla.
Heikko topologia parituksen suhteen Sekä heikko topologia että heikko* topologia ovat erikoistapauksia yleisemmästä paritusten rakenteesta, jota nyt kuvailemme. Tämän yleisemmän rakenteen etuna on, että mikä tahansa sille todistettu määritelmä tai tulos pätee sekä heikkoon topologiaan että heikkoon* topologiaan, mikä tekee tarpeettomaksi monien määritelmien, lauseiden ja todistusten tarpeen. Tämä on myös syy siihen, miksi heikko*-topologiaa kutsutaan usein myös "heikoksi topologiaksi"; koska se on vain esimerkki heikosta topologiasta tämän yleisemmän rakenteen yhteydessä.
Olkoon paritus eli olkoot ja ovat vektoriavaruuksia jonkin topologisen kunnan yli ja on bilineaarikuvaus.
Merkintä. Kullakin , kuvaus tarkoittaa kuvausta . Vastaavasti .
Määritelmä. Joukon avaruuteen indusoima heikko topologia tarkoittaa (pienintä eli) heikointa avaruuden topologiaa, jolla jokainen on jatkuva. Sitä merkitään tai .
Määritelmä. Joukon avaruuteen indusoima heikko topologia tarkoittaa (pienintä eli) heikointa avaruuden topologiaa, jolla jokainen on jatkuva. Sitä merkitään tai .
Jos kunnassa on itseisarvo, nämä heikot topologiat ovat seminormien indusoimia (esimerkiksi seminormien ). Tällöin heikot topologiat ovat lokaalisti konvekseja.
Katso myös Heikko suppeneminen
Viitteet
Luokka:Topologia