Varifaltigkeit

Die Varifaltigkeit (Vorlage:EnS) ist ein mathematischer Begriff aus der geometrischen Maßtheorie. Varifaltigkeiten sind Maße und können differenzierbare Mannigfaltigkeit durch das Konzept der Rektifizierbarkeit verallgemeinern. Dadurch können auch Flächen mit Singularitäten modelliert werden. Rektifizierbare Varifaltigkeiten verallgemeinern rektifizierbare Ströme.

Varifaltigkeit

Im ganzen Artikel seien $n,r\in \mathbb{Z}$ mit $0\le r\le n$. Mit $G(r,n)$ bezeichnen wir die Graßmann-Mannigfaltigkeit von ${ℝ}^n$, d. h. der Raum der unorientierten $r$-dimensionalen linearen Unterräume von ${ℝ}^n$.

Intuition

Sei $W$ Vektorraum und $U$ ein linearer Untervektorraum von $W$. Eine Varifaltigkeit $V$ ist ein Maß für eine offene Teilmenge $S\subset W$, welche von dem Untervektorraum $U$ abhängt

$V(S,U)=\mu (S\cap U)=\underset{S\cap U}{\int }\mathrm{d}\mu$

für ein geeignetes Maß $\mu$. Als Beispiel sei $U$ eine Ebene und $\mu$ das Produktmaß aus dem Lebesgue-Maß auf $S$ und dem Dirac-Maß auf $U$.

Ein häufig gewähltes Maß ist das Produktmaß $V={\mathscr{H}}_{\mid S}^k\otimes {\delta }_{T_{x}S}$, wobei das ${\mathscr{H}}_{\mid S}^k$ das $k$-dimensionale Hausdorff-Maß an der Stelle $S$ bezeichnet und $T_{x}S$ den approximativen Tangentialraum und $\delta$ das Dirac-Maß.

Definition

Sei $\mathrm{\Omega }$ eine offene Teilmenge von ${ℝ}^n$. Eine $r$-dimensionale Varifaltigkeit $V$ in $\mathrm{\Omega }$ ist ein Radon-Maß auf dem Raum

$G_r(\mathrm{\Omega }):=\mathrm{\Omega }\times G(r,n)$.

Als Gewicht von $V$ definieren wir das Radonmaß $\Vert V\Vert (A):=V(A\times G(r,n))$ für alle $A\subset \mathrm{\Omega }$. Somit gilt $\Vert V\Vert (A)=V({\pi }^{-1}(A))$ wobei $\pi :\mathrm{\Omega }\times G(r,n)\to \mathrm{\Omega }$ die Projektion $\pi :(x,S)\mapsto x$ ist.

Erläuterungen

Der Raum der Varifaltigkeiten notieren wir mit $V_r(\mathrm{\Omega })$ und versehen ihn mit der schwachen Topologie, d. h. $V_n\to V$ in $V_r(\mathrm{\Omega })$ genau dann, wenn $\int f\mathrm{d}{V}_n\to \int f\mathrm{d}V$ für alle $f\in C_c(G_r(\mathrm{\Omega }))$.

Für eine Borel-Menge $A\subset \mathrm{\Omega }$ bezeichnen wir mit $V⌞G_r(A)$ die Restriktion auf $G_r(A):=A\times G(r,n)$, somit gilt für alle $B\subset G_r(\mathrm{\Omega })$

$(V⌞G_r(A))(B)=V(B\cap G_r(A))$

Beispiele

• Sei $\mathrm{\Omega }\subset {ℝ}^n$ offen und bezeichne mit $M_r(\mathrm{\Omega })$ den Raum der stetig-differenzierbaren Untermannigfaltigkeiten in $\mathrm{\Omega }$, welche eine lokal-endliche $r$-dimensionale Fläche in $\mathrm{\Omega }$ besitzen. Sei $M\in M_r(\mathrm{\Omega })$ und ${\mathscr{H}}^r$ das $r$-dimensionale Hausdorff-Maß auf ${ℝ}^n$. Für jedes $M\in M_r(\mathrm{\Omega })$ definiere das Radon-Maß

$\Vert M\Vert (A):={\mathscr{H}}^r(A\cap M),$

für alle $A\subset \mathrm{\Omega }$.

Definiere $\mathrm{\Gamma }:=\{x\in M:(x,T_{x}M)\in D\}$ wobei $T_{x}M\in G(r,n)$ den Tangentialraum bezeichnet und $D\subset G_r(\mathrm{\Omega })$. Dann existiert eine Abbildung $v:M_r(\mathrm{\Omega })\to V_r(\mathrm{\Omega })$ so dass

$v(M)(D)=\Vert M\Vert (\mathrm{\Gamma }),$

somit können Varifaltigkeiten als Verallgemeinerungen der Mannigfaltigkeiten verstanden werden.

• Sei $M\subset {ℝ}^n$ eine geschlossene $k$-dimensionale differenzierbare Mannigfaltigkeit und ${\mathscr{H}}^k$ das $k$-dimensionale Hausdorff-Maß auf ${ℝ}^n$. Sei $f:{ℝ}^n\times G(k,n)\to ℝ$ und $f\in C_c(G_k(ℝ))$, dann wird für eine Borel-Teilmenge $A\subset M$ eine Varifaltigkeit $V_A$ durch

$\int f\mathrm{d}{V}_A=\underset{A}{\int }f(x,T_{x}M)\mathrm{d}{\mathscr{H}}^k(x)$

definiert.

• Sei $\mathrm{\Omega }\subset {ℝ}^n$ offen und das $k$-dimensionale Hausdorff-Maß ${\mathscr{H}}^k$ lokal-endlich. Weiter sei $U\subset \mathrm{\Omega }$ eine ${\mathscr{H}}^k$-messbar und abzählbar $k$-rektifizierbar Teilmenge (d. h. der approximative Tangentialraum existiert ${\mathscr{H}}^k$-fast überall). Sei $f\in C_c(G_k(U))$ eine lokal-beschränkte lineare Funktion, dann definiert

$\underset{\mathrm{\Omega }\times G(k,n)}{\int }f(x,S)\mathrm{d}{V}_U(x,S):=\underset{U}{\int }f(x,T_{x}U)\mathrm{d}{\mathscr{H}}^k(x)$

eine Varifaltigkeit $V_U\in V_k(U)$. Es gilt $V_U={\mathscr{H}}^k\otimes {\delta }_{T_{x}U}$.

Rektifizierbare Varifaltigkeit

Sei $M$ eine abzählbar $n$-rektifizierbare, ${\mathscr{H}}^n$-messbare Teilmenge von ${ℝ}^{n+k}$. Weiter definiere die sogenannte Multiplizitätsfunktion $\theta$, eine positive lokal-${\mathscr{H}}^n$-integriebare Funktion auf $M$. Eine $n$-rektifizierbare Varifaltigkeit ist die Äquivalenzklasse $\underset{\_}{v}(M,\theta )$ aller Paare $(\tilde{M},\tilde{\theta })$, wobei $\tilde{M}$ abzählbar $n$-rektifizierbar ist und für die vereinigte Differenzmenge $D=(M\setminus \tilde{M})\cup (\tilde{M}\setminus M)$ gilt, dass ${\mathscr{H}}^n(D)=0$, sowie für $\theta =\tilde{\theta }$ ${\mathscr{H}}^n$-fast überall auf $M\cap \tilde{M}$.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur