För att bevisa att C(m,n)=L(m+n)C(m, n) = L(m + n), måste vi först visa att L(m+n)C(m,n)L(m + n) \subseteq C(m, n). Låt AL(m+n)A \in L(m + n) vara en mängd med ändlig mått. Enligt Korollarium IX.5.5 finns det en begränsad GδG_\delta-mängd GG sådan att GAG \subseteq A och Xm+n(G)=Xm+n(A)X_{m+n}(G) = X_{m+n}(A). Eftersom AA har ändlig Xm+nX_{m+n}-mått, är GAG \setminus A en begränsad Xm+nX_{m+n}-nullmängd enligt Proposition IX.2.3(ii). Därmed följer det av Remark 6.1(h) att (GA)[x]=G[x]A[x](G \setminus A)[x] = G[x] \setminus A[x] är en XnX_n-nullmängd för nästan varje xRmx \in \mathbb{R}^m.

Enligt Remark 6.1(g) tillhör G[x]G[x] L(n)L(n) för nästan varje xRmx \in \mathbb{R}^m. Eftersom A[x]=G[x](G[x]A[x])cA[x] = G[x] \cap (G[x] \setminus A[x])^c för varje xRmx \in \mathbb{R}^m, gäller detta också för nästan varje snitt A[x]A[x]. Därmed, Xn(A[x])=Xn(G[x])X_n(A[x]) = X_n(G[x]) för nästan varje xRmx \in \mathbb{R}^m. Eftersom GG tillhör C(m,n)C(m, n) enligt Remark 6.1(g), är xXn(A[x])x \mapsto X_n(A[x]) mätbar, och vi får Xm+n(G)=Xn(G[x])dx=Xn(A[x])dxX_{m+n}(G) = \int X_n(G[x]) \, dx = \int X_n(A[x]) \, dx. Därmed tillhör AA C(m,n)C(m, n).

Om AA inte är begränsad, definieras Aj:=A(jBm+n)A_j := A \cap (j B_{m+n}) för jNj \in \mathbb{N}. Då utgör (Aj)(A_j) en stigande sekvens i L(m+n)L(m + n) med jAj=A\bigcup_j A_j = A. På detta sätt följer påståendet från punkt (i) och Remark 6.1(c).

Betydelsen av Beviset och Tillämpliga Konsekvenser

Det är viktigt att förstå att detta bevis belyser förhållandet mellan två fundamentala klasser av mängder i måttteorin, nämligen C(m,n)C(m, n) och L(m+n)L(m + n), och hur de är relaterade genom mätbarhet och nullmängder. För läsaren är det centralt att förstå att mängder som tillhör L(m+n)L(m + n) under vissa omständigheter också tillhör C(m,n)C(m, n), vilket gör att vi kan behandla båda klasserna på ett gemensamt sätt i många teoretiska sammanhang.

Vidare är det av intresse att beakta att C(m,n)C(m, n) representerar en särskild struktur på mängder som är användbar i samband med integrationsteori, särskilt när vi arbetar med funktioner som har olika typer av nullmängder. Detta ger oss en kraftfull metod för att analysera och arbeta med funktioner och mängder i högre dimensioner.

Därtill innebär de angivna bevisen och korollaren en djupare förståelse för hur vi kan hantera mätbarhet, särskilt när mängder inte är begränsade. Genom att studera dessa relationer får vi en inblick i hur integration fungerar på mer abstrakta nivåer, något som har viktiga tillämpningar inom analys och matematisk teori.

Hur curl och divergens relaterar till vektorfält på pseudo-Riemannska mångfalder

I studiet av vektorfält på mångfalder är operatorerna grad, curl och divergens fundamentala för att förstå geometriska och fysikaliska fenomen. Dessa operatorer används för att beskriva hur ett vektorfält förändras över en given mångfald och relaterar till viktiga begrepp som rotation och flöde. En grundläggande förståelse för dessa operatorer kräver en förmåga att tillämpa dem i lokala koordinater på en pseudo-Riemannsk mångfald. Den här sektionen utforskar dessa operatorer och deras samband, särskilt i tre dimensioner.

För ett vektorfält vv definieras curlen, eller rotationen, som en operator som tar ett vektorfält till ett annat vektorfält. Detta är endast meningsfullt i dimensioner där m=3m = 3, det vill säga i tre dimensioner. I lokal koordinatform kan curlen uttryckas genom att använda en parametrisering av vektorfältet v=j=13vjxjv = \sum_{j=1}^3 v_j \frac{\partial}{\partial x_j}, där vjv_j är komponenterna i vektorfältet i koordinater (x1,x2,x3)(x_1, x_2, x_3).

Curlen på ett vektorfält vv kan beräknas med hjälp av en koordinatfri representation där vi använder en differentialform ωv\omega_v för att definiera curlv=d(ωv)\text{curl} \, v = d(\omega_v). I tre dimensioner innebär detta att curlen av vv kan uttryckas genom en kombination av derivator av komponenterna i vektorfältet, vilket återspeglar den inre rotationen av vektorfältet vid varje punkt på mångfalden.

En viktig egenskap hos curlen är att den är en linjär operator, vilket innebär att den bevarar linjäritet. Vidare har den en naturlig relation med andra operatorer, såsom divergensen. Det är välkänt att divergensen av curlen alltid är noll, det vill säga:

div(curlv)=0\text{div}(\text{curl} \, v) = 0

Detta är ett uttryck för att rotationen av ett vektorfält inte skapar någon nettoflöde, vilket är en central princip inom vektoranalys och fysik.

Vidare relaterar operatorerna grad, curl och divergens till varandra genom vissa identiteter. I det specifika fallet där mångfalden är tredimensionell, finns det ett diagram som sammanfattar dessa relationer. Ett viktigt resultat är att curl av gradienten är noll:

curl(gradf)=0\text{curl}(\text{grad} \, f) = 0

Detta reflekterar att gradienten av en skalär funktion inte kan ha någon rotation. På liknande sätt, för vektorfält vv, om curlen är noll, innebär det att vektorfältet är ett gradientfält, det vill säga det kan skrivas som gradienten av en skalär funktion.

I fysikaliska tillämpningar, såsom i studier av rotationsrörelser, är curlen av ett vektorfält nära relaterat till begreppet rotationshastighet. Om vi till exempel har en stel kropp som roterar kring en axel med konstant vinkelhastighet, kan vi beskriva rörelsen hos varje punkt på kroppen genom att använda ett vektorfält vv som beskriver hastigheten. I detta fall ger curlen av hastighetsfältet en vektor som är parallell med rotationsaxeln och vars storlek är proportionell mot den angulara hastigheten, vilket gör att curlen här har en direkt fysisk tolkning som rotationshastighet.

För att summera dessa begrepp är det viktigt att förstå hur grad, curl och divergens fungerar tillsammans i den lokala koordinatrepresentationen av ett vektorfält på en mångfald. Dessa operatorer spelar en avgörande roll inte bara inom geometrin, utan också inom fysik och ingenjörsvetenskap, där de används för att beskriva flöden, rotationer och andra dynamiska fenomen. Denna förståelse ger en solid grund för att arbeta med differentialformer och för att tillämpa de matematiska verktygen på mer komplexa problem inom mångfaldsteori och differentialgeometri.

Vidare, för att förstå de underliggande fysiska principerna, bör man inte enbart fokusera på de matematiska uttrycken för curl och divergens utan också på deras tillämpningar i verkliga fysiska system. Det är där deras djupare betydelse framträder och kopplingen till praktiska fenomen blir tydlig, såsom i exempel från fluidmekanik och elektromagnetism, där dessa operatorer används för att beskriva flöde och fält.