Komplext mått

Från Wikipedia
Hoppa till: navigering, sök

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.

Definition[redigera | redigera wikitext]

Ett komplext mått är en funktion \mu 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, (A_n) i \mathcal{F} uppfyller \mu:

\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[redigera | redigera wikitext]

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

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

där supremum tas över alla partitioner \{E_k\} 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 \theta 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[redigera | redigera wikitext]

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[redigera | redigera wikitext]

Venn A intersect B.svg Matematikportalen – portalen för matematik på svenskspråkiga Wikipedia.