Integrerbarhet

Integrerbarhet är ett matematiskt begrepp inom integrationsteori. Det finns många definitioner för integrerbara funktioner beroende av vilken typ av integral som används.

Riemannintegrerbarhet 

Se även: Riemannintegration

Riemannintegrerbarhet är, lite förenklat, att man kan stänga in grafen till funktionen f mellan två trappstegsfunktioner där den ena trappan hela tiden är ovanför funktionsgrafen och den andra trappan är nedanför. 

För att definiera integrerbarhet används två trappstegsfunktioner. Trappstegsfunktionerna har egenskapen att de är konstanta på särskilda så kallade trappstegsintervall. En funktion f är integrerbar om det existerar två trappstegsfunktioner g och h så att  för varje x i trappstegsintervallet, oavsett hur litet intervallet är.

När sedan trappstegsintervallet går mot noll kommer dessa trappor att närma sig varandra och grafen till funktionen. Arean av den yta som begränsas av trappstegsfunktionerna kan lätt beräknas genom att summera arean av de rektanglar som utgör denna area. De båda summorna för trappstegsfunktionerna kommer vid gränsövergången där trappstegsintervallet går mot noll att konvergera mot varandra. Summan av dessa oändligt små men oändligt många element kallas för en Riemannsumma och definieras vara värdet på en funktionens integral.

Lebesgueintegrerbarhet 

Se även: Lebesgueintegration

Lebesgueintegrerbarhet eller med andra ord måttintegrerbarhet är ganska annorlunda från Riemannintegrerbarheten. Man definierar först måttintegralen endast för mätbara funktioner som inte har några negativa värden. Å andra sidan vill man ofta integrera funktioner som har negativa värden. Men man kan inte definiera måttintegralen för alla mätbara funktioner som har negativa värden. Så att man definiera (Lebesgue)integrerbara funktioner, dvs funktioner vars absolutbelopp är ändligt. Mer precist, om  är ett måttrum och f är en mätbar funktion  så är f integrerbar om

.

Detta kan tyckas lite konstigt, den naturliga definitionen borde vara att en integral för en mätbar funktion  är

.

Tyvärr finns det problem med den här definitionen. Till exempel, om  och  för  så är 

,

vilket inte är definierat. Detta betyder att vi inte kan integrera alla mätbara funktioner. Vi måste betrakta en mindre klass av funktioner, som inte stöter på sådana här obestämda uttryck. Den naturliga klassen är integrerbara funktioner eftersom för integrerbara funktion har man

 och .

Därför är integralen för integrerbara :

.

Kvasiintegrerbar 

Huvudartikel: Kvasiintegrerbar funktion.

Det finns funktioner som inte är integrerbara men är kvasiintegrerbara. En funktion f är kvasiintegrerbar, om

 eller .

Lokalt integrebar 

Huvudartikel: Lokalt integrerbar funktion.

Det finns funktioner som är inte integrerbara men är lokalt integrerbara. Om X är ett metriskt rum så är en funktion f är lokalt integrerbar om funktionen

är integrerbar för alla  och  där  beror på punkten x.

Lokalt integrerbara funktioner har många tillämpningar inom harmonisk analys och funktionalanalys.

p-integrerbar 

Huvudartikel: -rum.

Man kan definiera en funktionsklass som är p-integrerbar, dvs

.

p-integrerbara funktioner studeras mycket inom funktionalanalys.

Danielintegrerbarhet 

Se även: Daniellintegration

Danielintegrerbarhet är ganska olika från andra integrerbarhetskoncept. Man definierar att en funktion f är integrerbar om f tillhör någon gränsfamilj för testfunktioner. Man definierar den här funktionsklassen eftersom gränsfamiljer inte är sluten under subtraktion. Mer precist, om 

 är en testfunktionsfamilj, 

 är gränsfamiljen av testfunktionsfamiljen och 

 är en Danielintegral

så är en funktion  Danielintegrerbar om det finns  så att

Man använder beteckningen  och definierar Danielintegralen för :

Se även 

Integral
Daniellintegration
Måtteori
Mätbarhet

Matematisk analys
Måtteori
Integrationsteori