Kantaja (matematiikka)

Mittateoriassa ja funktionaalianalyysissä tarvitaan usein kantajan käsitettä. Kantaja voidaan määritellä sekä funktiolle että mitalle.

 Funktion kantaja 
Topologisessa avaruudessa  määritellyn reaali- tai kompleksiarvoisen funktion  kantaja  on joukon  sulkeuma eli kaikkien kyseisen joukon sisältävien suljettujen joukkojen leikkausjoukko.  Intuitiivisesti kantajaa voisi siis ajatella joukkona, jossa funktio "elää".
Funktion kantajaa merkitään myös symbolilla . Holopainen, Ilkka: "Reaalianalyysi I" (kurssimoniste), 2012, 

Funktion kantaja on yleensä laajempi joukko kuin niiden pisteiden joukko, joissa funktio saa nollasta poikkeavia arvoja. Esimerkiksi indikaattorifunktion  kantaja on suljettu väli [0,1], mutta indikaattorifunktio saa nollasta poikkeavia arvoja täsmälleen avoimella välillä ]0,1[. 

Kantajaa voi soveltaa integraaliteoriaan. Esimerkiksi määritettäessä funktion integraalia ei tarvitse integroida koko perusjoukon X yli vaan riittää integroida pelkästään funktion kantajan yli, sillä niissä pisteissä, joissa funktio saa arvon nolla ei integraaliin kerry lisää (tai vähene) massaa. Mittateoriassa käytetään määritelmää, jossa funktion kantaja ei ole joukon sulkeuma, mikä on hyvä ottaa huomioon integroidessa.   

Funktionaalianalyysissä usein eteen tulee ns. kompaktikantajaisia funktioita. Nämä ovat funktioita, joiden kantaja sattuu olemaan lisäksi kompakti joukko. Heinen–Borelin lauseen nojalla :ssä määritelty funktio on kompaktikantajainen jos sen kantaja on äärellinen. Jatkuvat kompaktikantajaiset funktiot ovat siten :ssä aina integroituvia.   Tämä nähdään arvioimalla ensin funktion itseisarvoa tasaisesti ylhäältä jollain positiivisella vakiolla (kompaktissa joukossa jatkuva reaalifunktio on rajoitettu). Toisaalta vakion integraali yli kompaktin joukon (eli funktion kantajan) on äärellinen kun mittana on Lebesguen mitta. Tällöin koska integraali säilyttää epäyhtälön, niin myös vastaavan itseisarvon integraali (yli kantajan) on äärellinen. Nyt koska integraali yli kantajan on aina sama kuin koko perusjoukon yli integroiminen, on funktio siis määritelmän nojalla integroituva. Näiden funktioiden joukkoa merkitään  usein .

Sileitä (eli jatkuvasti derivoituvia) kompaktikantajaisia funktioita kutsutaan usein testifunktioiksi ja niitä käytetään usein lauseiden todistamiseen ja operaatioiden määrittelyyn (esimerkiksi heikko derivaatta), sillä sileytensä ja kantajan äärellisyyden vuoksi ne derivoituvat ja integroituvat ilman ongelmia. -kertaa derivoituvien kompaktikantajaisten funktioiden joukkoa merkitään usein  ja äärettömän monta kertaa derivoituvien, eli testifunktioiden joukkoa . 

 Mitan kantaja 
Vastaavasti kuten funktion tapauksessa mitan kantajaa voidaan ajatella joukkona, jonne mitta on keskittynyt. Täsmällisemmin topologisen mitta-avaruuden  mitan  kantaja on joukko

Mitan kantaja saadaan siis leikkaamalla keskenään kaikki ne avaruuden X suljetut joukot, joiden komplementit ovat nollamittaisia. Kantaja on siis eräässä mielessä pienin mahdollinen suljettu joukko, jonka komplementti on vielä nollamittainen.

Esimerkiksi Lebesguen mitan kantaja on koko avaruus  ja pisteessä  määritellyn Diracin mitan  kantaja on pelkkä yksiö 

Mitan kantaja soveltuu integraaliteoriaan vastaavalla tavalla kuin funktion kantaja. Esimerkiksi laskettaessa -mittaintegraalia reaalifunktiosta f riittää vain integroida f:ää :n kantajan yli, sillä määritelmän mukaan kantajan komplementti on -nollamittainen, so. siellä ei kerry integraaliin massaa.

Mitan kantajaa käytetään erityisesti mittojen geometrisissa sovelluksissa. Katso esimerkiksi massadistribuutio.

 Viitteet 

Kirjallisuutta



Luokka:Mittateoria
Luokka:Funktionaalianalyysi