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

redigera
 
Funktionen är Riemannintegrerbar om de yttre Riemannsummorna konvergerar till samma tal som de inre Riemannsummorna.
Se även: Riemannintegration

Riemannintegrerbarhet är, lite förenklat, att man kan stänga in grafen[särskiljning behövs] 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

redigera
 
Man behöver Lebesgueintegrerbarhet för funktioner som har negativa värden.
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

redigera
Huvudartikel: Kvasiintegrerbar funktion.

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

  eller  .

Lokalt integrebar

redigera
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

redigera
Huvudartikel:  -rum.

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

 .

p-integrerbara funktioner studeras mycket inom funktionalanalys.

Danielintegrerbarhet

redigera
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

redigera