Kantaja (matematiikka)

Mittateoriassa ja funktionaalianalyysissä tarvitaan usein "kantajan" käsitettä. Kantaja voidaan määritellä sekä funktiolle että mitalle.
Funktion kantaja.
Topologisessa avaruudessa formula_1 määritellyn reaali- tai kompleksiarvoisen funktion formula_2 kantaja formula_3 on joukon formula_4 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 formula_5. 
Funktion kantaja on yleensä laajempi joukko kuin niiden pisteiden joukko, joissa funktio saa nollasta poikkeavia arvoja. Esimerkiksi indikaattorifunktion formula_6 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 formula_7:ssä määritelty funktio on kompaktikantajainen jos sen kantaja on äärellinen. Jatkuvat kompaktikantajaiset funktiot ovat siten formula_7: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 formula_9.
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. formula_10-kertaa derivoituvien kompaktikantajaisten funktioiden joukkoa merkitään usein formula_11 ja äärettömän monta kertaa derivoituvien, eli testifunktioiden joukkoa formula_12. 
Mitan kantaja.
Vastaavasti kuten funktion tapauksessa mitan kantajaa voidaan ajatella joukkona, jonne mitta on keskittynyt. Täsmällisemmin topologisen mitta-avaruuden formula_13 mitan formula_14 kantaja on joukko
formula_15
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 formula_7 ja pisteessä formula_17 määritellyn Diracin mitan formula_18 kantaja on pelkkä yksiö formula_19
Mitan kantaja soveltuu integraaliteoriaan vastaavalla tavalla kuin funktion kantaja. Esimerkiksi laskettaessa formula_14-mittaintegraalia reaalifunktiosta "f" riittää vain integroida "f":ää formula_14:n kantajan yli, sillä määritelmän mukaan kantajan komplementti on formula_14-nollamittainen, so. siellä ei kerry integraaliin massaa.
Mitan kantajaa käytetään erityisesti mittojen geometrisissa sovelluksissa. Katso esimerkiksi massadistribuutio.