Favardmått

Ett Favardmått eller integralgeometriskt mått är inom matematik ett mått som är viktigt för rektifierbara mängder. Favardmåttet är namngett efter den franska matematikern Jean Favard som uppfann det.

Formell definition

Favardmåttet är definierat med hjälp av Carathéodorys konstruktion. Man konstruerar det så att alla Borelmängder är testmängder och testmåttet är en speciell integral definierad med hjälp av Grassmannmåttet.

Mer precist, om $n\in \mathbb{N}$, $0<m<n$, $t\in [0,\mathrm{\infty }]$ och för $F\in \text{Bor}{ℝ}^n$

${\zeta }_t^m(F):=\{\begin{array}{cc}{(\underset{G(n,m)}{\int }{\mathscr{H}}^m(P_{V}F{)}^{t}d{\gamma }_{n,m}(V))}^{1/t},& \text{ om }1\le t<\mathrm{\infty }\\ \text{ess sup}\{{\mathscr{H}}^m(P_{V}F):V\in G(n,m)\},& \text{ om }t=\mathrm{\infty },\end{array}$

där

• mängden $G(n,m)$ är Grassmannmångfalden,

• måttet ${\gamma }_{n,m}$ är Grassmannmåttet,

• integralen $\underset{G(n,m)}{\int }d{\gamma }_{n,m}$ är måttintegralen med avseende på Grassmannmåttet ${\gamma }_{n,m},$

• funktionen $P_V$ är ortogonal projektionen på delrummet $V\in G(n,m)$ och

• operatorn $\mathrm{ess}\sup$ är väsentligt supremum med avseende på Grassmannmåttet ${\gamma }_{n,m}$.

Då är yttre måttet ${ℐ}_t^m:𝒫(X)\to [0,\mathrm{\infty }],$ definierad som:

${ℐ}_t^m(A):=\underset{\delta >0}{\sup }\inf \{\sum _{i=1}^{\mathrm{\infty }}{\zeta }_t^m(F_i):A\subset \bigcup _{i=1}^{\mathrm{\infty }}{F}_i,d(F_i)\le \delta ,F_i\in \text{Bor}{ℝ}^n,i\in \mathbb{N}\},$

och detta är det m-dimensionella yttre Favardmåttet med konstanten $t$.

Konstanten t = 1

Där finns en lätt formel för Favardmåttet med konstanten $t=1$. Det går att visa att

${ℐ}_1^m(A)=\underset{G(n,m)}{\int }\underset{V}{\int }{\mathscr{H}}^0(A\cap P_V^{-1}\{v\})d{\mathscr{H}}^m(v)d{\gamma }_{n,m}(V),$

där

• måttet ${\mathscr{H}}^0$ är det nolldimensionella Hausdorffmåttet, dvs räknemåttet, och

• mängden

$P_V^{-1}\{v\}:=\{x\in {ℝ}^n:P_V(x)=v\}$

för $v\in V\in G(m,n).$

Rektiefierbara mängder

Mall:Huvudartikel När konstanten t = 1 finns en intuitiv förklaring för namnet integralgeometriskt: låt $\mathrm{\Gamma }\subset {ℝ}^2$ vara en rektifierbar kurva.

För en linje $L$ räkna (med räknemåttet) alla punkter i snittmängden $L\cap \mathrm{\Gamma }$ och integrera ($d{\gamma }_{2,1}$) detta talet över alla linjer $L\subset {ℝ}^2$. Detta talet (Favardmåttet) är längden för kurvan $\mathrm{\Gamma }$.

Generellt, för ${ℐ}_1^m$ med $m>1$ kan man sluta sig till samma utgång.

Egenskaper

Favardmåttets egenskaper är inte väl känt. Det går att visa att

${ℐ}_1^1\ne {ℐ}_t^1$

när $t>1$ men man vet inte för vilka $m>1$ det gäller att:

${ℐ}_1^m\ne {ℐ}_t^m.$

Dessutom man vet inte om det finns en konstant $c(t)\in ℝ$ så att

${ℐ}_t^m=c(t){ℐ}_{\mathrm{\infty }}^m$

för alla $1<t<\mathrm{\infty }$.

Referenser

• J. Favard, Une définition de la longueur et de l'aire, C. R. Acad. Sci. Paris vol. 194 p. 344, 1932.
• H. Federer, Geometric Measure Theory, Springer-Verlag, 1969.
• P. Mattila, Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, Cambridge University Press, 1995.

Se även

• Hausdorffmått
• Måtteori