Komplext mått

Från Rilpedia

Version från den 1 maj 2009 kl. 22.27 av Calle (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

Ett komplext mått är inom matematik, specifikt måtteori, i vissa avseenden en generalisering av mått-konceptet genom att låta måttet anta komplexa värden.

Innehåll

Definition

Ett komplext mått är en funktion μ på ett mätbart rum (X, \mathcal{F}), som tar element ur \mathcal{F} och avbildar dem på komplexa tal:

\mu: \mathcal{F} \to \C

som är sigma-additivt. Dvs, för varje följd av disjunkta mängder, (An) i \mathcal{F} uppfyller μ:

\mu \left( \bigcup_{n=1}^\infty A_n \right) = \sum_{n=1}^\infty \mu (A_n).

Detta innefattar att summan ovan måste konvergera. Detta ger att summan måste vara absolutkonvergent, eftersom summans värde inte får ändras om man kastar om ordningen.

Ett komplext mått får aldrig vara oändligt, så ett vanligt mått är komplext om och endast om det är ändligt.

Total variation

Den totala variationen eller absolutbeloppet | μ | av ett komplext mått μ definieras som

|\mu|(E) = \sup \sum_{k=1}^\infty |\mu(E_k)|

där supremum tas över alla partitioner {Ek} av E.

Det går att visa att den totala variationen av ett komplext mått är ett vanligt mått som är ändligt, dvs:

|\mu|(X) < \infty.

På liknande sätt som för komplexa tal, kan man representera ett komplext mått i polär form, då det alltid finns en funktion θ som tar reella värden så att:

\int_X f d \mu = \int_X f e^{i \theta} d |\mu|\,

för varje absolutintegrerbar funktion (alla funktioner i L1(μ)). Detta skrivs ibland som:

d \mu = e^{i \theta} d |\mu| \, .

dvs Radon-Nikodym-derivatan av ett komplext mått med avseende på den totala variationen är e^{i \theta}\,.

Rum av komplexa mått

Mängden av alla komplexa mått på ett mätbart rum bildar ett vektorrum, då summan av två komplexa mått återigen är ett komplext mått och ett komplext mått multiplicerat med ett komplext tal är ett komplext mått. Man kan även definiera en norm på rummet genom den totala variationen:

 \| \mu \| = |\mu|(X)

då rummet blir ett Banachrum.

Referenser

Personliga verktyg
På andra språk