2
votes
1answer
96 views

Lipschitz manifold and semi-algebraic is Lipschitz graph?

It is known that there are Lipschitz manifolds that are not Lipschitz graphs and $C^1$ manifold is locally $C^1$ graph. If $M\subset \mathbb{R}^m$ is a Lipschitz manifold (with the outer distance) ...
2
votes
0answers
38 views

Problem with definition of pushforward density

Let $X$, $Y$ be smooth manifolds and let $\pi \colon X \to Y$ be a submersion. Then for every $y \in Y$ the set $W_y = \pi^{-1}(y)$ is a submanifold in $X$. Let $\mu \in \Gamma(|\Lambda| X)$ be a ...
3
votes
1answer
153 views

Is measure $m$ invariant under change of metric?

$\newcommand{\vol}{\operatorname{vol}}$ Let $(M^n, g)$ be a Riemannian manifold. We define $d\vol(g)$ as a canonical volume form and then integrate. It is clear that $d\vol(g)$ depends on the metric ...
1
vote
1answer
99 views

change of variable for Hausdorff measure

Let $U$ be an open set in $\mathbb{R}^n$, $T:U \rightarrow \mathbb{R}^n$ be a diffeomorphism defined on $U$, $\mu$ be the $d$-dimensional Hausdorff measure, $0<d<n$. Is it true that we have the ...
4
votes
0answers
102 views

Alternative rigorous definition of a surface integral

Consider some open subset $U$ of $\mathbb{R}^n$ where $U$ has a (piecewise) $C^1$-boundary. Let $f$ be some smooth (enough) real function. Is there some way to give a measure-theoretic definition of ...
1
vote
0answers
22 views

density of $\mathcal{C}_1$ surface in a point

Let us have an $A \subset \mathbb{R^d}$, that is a $k$-dimensional $\mathcal{C}_1$ surface (obviously $k<d$) and let $a \in A$. Why then is $\Theta^k(A,a)=1?$ Of course $\Theta^k := \lim_{r ...
5
votes
0answers
79 views

How difficult is it to impose a differential structure on a fractal?

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply ...
20
votes
1answer
450 views

Measure theoretic definition of curl

Is there a good measure theoretic definition of curl? To give an idea of the sort of equation that I'm looking for, here's now I define grad and div. For the gradient, say we are given a Fr├ęchet ...
0
votes
1answer
122 views

The modulus of curve family

I'm reading book "Geometric function theory and non-linear analysis" and there is one thing that I did not understand. A curve family $\Gamma$ is a collection of curves. An admissible density is ...
1
vote
0answers
82 views

Isoperimetric inequalities with relative perimeter

It is a well known result that if $\Omega\subset \Bbb{R}^N$ is an open set, with regular boundary (smooth, or Lipschitz) then the problem $$ \min_{E \subset \Omega |E|=c} Per(E)$$ has a solution, ...
1
vote
1answer
231 views

Volume form and Hausdorff measure

Let $M$ be a smooth orientable $(n-1)$-dimensional submanifold in $\mathbb{R}^n$, $dS$ be its volume form and $dH^{n-1}(x)$ be an $(n-1)$-dimensional Hausdorff measure. How to show than that $$ ...
4
votes
1answer
354 views

Lebesgue measure on normal matrices

Consider the space of $n\times n$ complex matrices, and equip it with its Lebesgue measure $dX$, seen as a $2n^2$-dimensional real vector space [edit: or better, a complex vector space (see the answer ...
1
vote
0answers
684 views

How do we prove that a sphere maximizes the volume enclosed among all simple closed surfaces of given surface area?

How do we prove that among all closed surfaces with a given surface area, the sphere is the one that encloses the largest volume, and not do it by cases? so far I've tried is that I know the formula ...