Integrerbarhet

Från Rilpedia

Version från den 7 maj 2009 kl. 20.12 av Petter Strandmark (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

Integrerbarhet är en matematiskt begrepp inom integrationsteori. Det finns många definitioner för integrerbara funktioner och det är beroende av vilken integralen man användar.

Innehåll

Riemannintegrerbarhet

Funktionen är Riemannintegrerbarhet 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 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 g(x)>\sup(f(x)) ~~ h(x)<\inf(f(x)) 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

Man behöver Lebesgueintegrerbarhet för funktioner som har negativa värder.
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 ändlig. Mer precist, om (X,\mathcal{F},\mu) är ett måttrum och f är en mätbar funktion X \rightarrow \overline{\R} så är f integrerbar om

\int |f| < \infty.

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

\int f := \int \max \{ f,0 \} - \int \max \{ -f,0 \} \,.

Tyvärr finns det problem med den här definitionen. Till exempel, om X = \R och f(x) = x\, för x \in \R så är

\int_\R f \,d\mathcal{L}_1 = \int_0^\infty x \, dx - \int_{-\infty}^0 -x \,dx = \infty - \infty\,,

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

\int \max \{ f,0 \} < \infty och \int \max \{ -f,0 \} < \infty.

Därför är integralen för integrerbara f: X \rightarrow \mathbb{R} \cup \{ \infty, -\infty \}:

\int f  := \int \max \{ f,0 \}  - \int \max \{ -f,0 \}\,.

Kvasi-integrerbar

Huvudartikel: Kvasi-integrerbar funktion.

Det finns funktioner som inte är integrerbar men är kvasi-integrebara. En funktion f är kvasi-integrerbar, om

\int \max \{ f,0 \} < \infty \, eller \int \max \{ -f,0 \} < \infty \,.

Lokalt integrebar

Huvudartikel: Lokalt integrerbar funktion.

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

f_{x,r} := f \chi_{B_r (x)}

är integrerbar för alla x \in X och 0 < r < r_x\, där r_x\, beror på punkten x.

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

p-integrerbar

Huvudartikel: Lp-rum.

Man kan definiera en funktionklass som är p-integrebar, dvs

\int |f|^p < \infty.

p-integrerbara funktioner studeras mycket inom funktionalanalys.

Daniellintegrerbarhet

Se även: Daniellintegration

Daniellintegrerbarhet ä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 funktionklassen eftersom gränsfamiljer inte är sluten under subtraktion. Mer precist, om

  • T\, är testfunktionfamilj,
  • \lim(T) är gränsfamilj av testfunktionfamiljen och

så är en funktion f\, Daniellintegrerbar om det finns g,h \in \lim(T) så att

f = g - h\,.

Man använder beteckningen f \in \mathcal{D} och definierar Daniellintegralen för f\,:

\int f := \int g - \int h .

Se även

Personliga verktyg