Carathéodorys konstruktion

Carathéodorys konstruktionen är en effektiv metod i måtteori för att konstruera Borels yttre mått i metriska rum som kallas yttre Carathéodorymåttet. Metoden uppkallat efter grekisk matematikern Constantin Carathéodory.

Carathéodorys idé var att använda den metriska strukturen så att vi täcka en mängd med vissa testmängder och "mäta" dem med ett testmått. Sedan definierar man måttet på samma sätt som Lebesguemåttet.

Definitioner [redigera]

Först behövs några definitioner för konstruktionen. Låt $(X,d)\,$ vara ett metriskt rum.

Mängden $\mathcal{F} \subset \mathcal{P}(X)$ är en testmängdfamilj om det för varje $\delta > 0\,$ finns mängder $F_i \in \mathcal{F}$ så att

$X = \bigcup_{i = 1}^\infty F_i$ och $d(F_i) \leq \delta$ ,

för alla $i \in \N$ . $d(A)\,$ är diametern för $A\,$ .

Låt $\mathcal{F}$ vara en testmängdfamilij. Funktionen $\zeta : \mathcal{F} \rightarrow [0,\infty]$ är ett testmått om det för varje $\delta > 0\,$ finns en mängd $F \in \mathcal{F}$ så att

$d(F) \leq \delta$ och $\zeta(F) \leq \delta$ .

Om $\delta > 0\,$ , definierar man att en uppräknelig familj $\mathcal{E}$ är en $\delta\,$ -övertäckning för mängden $A \subset X\,$ om

$A \subset \bigcup_{E \in \mathcal{E}} \mathcal{E}$ och $d(E) \leq \delta\,$

för alla $E \in \mathcal{E}$ .

Konstruktion [redigera]

Låt $(X,d)\,$ vara ett metriskt rum, $\mathcal{F}$ en testmängdfamilij och $\zeta : \mathcal{F} \rightarrow [0,\infty]$ ett testmått.

För $\delta > 0\,$ och $A \subset X\,$ definierar vi

$\mathcal{C}_\delta (A) := \inf\left\{ \sum_{E \in \mathcal{E}} \zeta (E) : \mathcal{E} \subset \mathcal{F} \mbox{ är } A\mbox{:s } \delta\mbox{-overtäckning} \right\}$

Eftersom $\mathcal{F}$ är en testmängdfamilj finns det även en $\delta\,$ -övertäckning för X. Så att $\mathcal{C}_\delta\,$ är en funktion

$\mathcal{C}_\delta : \mathcal{P}(X) \rightarrow [0,\infty]$ ,

som kallas $\delta\,$ -Carathéodoryinnehållet.

Om $A \subset X\,$ och $\delta \downarrow 0$ finns det mindre $\delta \,$ -övertackningar för $A\,$ , dvs funktionen $\delta \mapsto \mathcal{C}_\delta (A)$ är växande när $\delta \downarrow 0$ . Därför existerar gränsvärden $\lim_{\delta \downarrow 0} \mathcal{C}_\delta (A)$ , dvs vi kan definiera gränsfunktionen

$\mathcal{C} := \lim_{\delta \downarrow 0} \mathcal{C}_\delta$ ,

som kallas yttre Carathéodorymåttet.

Man kan visa att yttre Carathéodorymåttet är ett Borel yttre mått och om $\mathcal{F} \subset \mbox{Bor}\,X$ så är yttre Carathéodorymåttet ett Borelregelbundet yttre mått.

Exempel [redigera]

Carathéodorys konstruktion är en mycket effektiv metod, då man kan definiera många naturliga mått med det.

Yttre Hausdorffmått [redigera]

Huvudartikel: Hausdorffmått.

Det viktigaste exemplet är det s-dimensionella yttre Hausdorffmåttet. Konstrionen går till så att testmängderna är alla mängder och testmåttet är diametern upphöjat till s.

Mer precist, om $s \geq 0\,$ och

metriska rummet $(X,d)\,$ är separabelt,
testmängdfamiljen är $\mathcal{F} = \mathcal{P}(X)$ och
testmåttet $\zeta(F) = d(F)^s\,$ för $F \in \mathcal{F}$

så är $\delta\,$ -Carathéodoryinnehållet det s-dimensionella $\delta\,$ -Hausdorffinnehållet

$\mathcal{C}_\delta = \mathcal{H}^s_\delta\,$

och yttre Carathéodorymåttet det s-dimensionella yttre Hausdorffmåttet

$\mathcal{C} = \mathcal{H}^s\,$ .

Yttre Lebesguemått [redigera]

Huvudartikel: Lebesguemått.

Andra exempel är det n-dimensionella yttre Lebesguemåttet som är $\infty\,$ -Carathéodoryinnehållet i $\R^n$ . Vi konstruerar det så att alla n-intervall är testmängder och testmåttet är det geometriska måttet för n-intervall.

Mer precist, om $n \in \N$ och

metriska rummet $(X,d) = (\R^n,|\cdot - \cdot|)\,$ ,
testmängdfamiljen är $\mathcal{F} = \mathcal{I}^n$ (familjen av alla n-intervall) och
testmåttet är geometriska måttet $\zeta(I) = \mu(I)\,$ för $I \in \mathcal{F}$

så är $\infty\,$ -Carathéodoryinnehållet det n-dimensionella yttre Lebesguemåttet

$\mathcal{C}_\infty = \mathcal{L}_n^*. \,$

Yttre Favardmått [redigera]

Huvudartikel: Favardmått.

Ett speciellt exempel för Carathéodorys konstruktion är att man kan konstruera Favardmåttet i $\R^n$ med det. Vi konstruerar det så att alla Borelmängder är testmängder och testmåttet är en speciellt integralen definierad med hjälp av Grassmannmåttet.

Mer precist, om $n \in \N$ , $0 < m < n\,$ , $t \in [0,\infty]\,$ och

metriska rummet $(X,d) = (\R^n,|\cdot - \cdot|)\,$ ,
testmängdfamiljen är $\mathcal{F} = \mbox{Bor}\,\R^n$ och
testmåttet för $F \in \mathcal{F}$ är:

$\zeta(F) = \left\{ \begin{matrix} \left(\int_{G(n,m)} \mathcal{H}^m (P_V F)^t \, d\gamma_{n,m} (V) \right)^{1/t} , & \mbox{ om } 1 \leq t < \infty \\ \mbox{ess sup} \{ \mathcal{H}^m (P_V F) : V \in G(n,m) \} , & \mbox{ om } t = \infty , \end{matrix} \right.$