20
$\begingroup$

I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this equations are always true" p.361 4.1.8, or "I do not know..." p.189 2.10.26. Are there counterexamples or proofs of these asumptions? I add some details : in theorem 2.10.25, if $f:X\rightarrow Y$ is a lipschitzian map of metric spaces, $A\subset X$, $0\leq k<\infty$, and $0\leq m<\infty$, then $$ \int_Y^*\mathscr{H}^k(A\cap f^{-1}\{y\})d\mathscr{H}^m(y)\leq (\mathrm{Lip} f)^m \frac{\alpha(k)\alpha(m)}{\alpha(k+m)}\mathscr{H}^{k+m}(A). $$ (where $\mathscr{H}^n$ is the Hausdorff measure associated to the metrics on $X$ and $Y$, and $\int^*$ is the upper integral) provided either $\{y\in Y, \mathscr{H}^k(A\cap f^{-1})>0\}$ is the union of countable family of sets with finite $\mathscr{H}^m$ measure, or $Y$ is boundedly compact (each close bounded subset is compact). The question Federer asks is to determine if everything after "provided either..." is necessary.

The other question is about currents : let $S$, $T$ be two currents on open subsets $A$,$B$ of euclidean spaces, of degree $i$ and $j$ : if $S$, $T$ are representable by integration, do we always have $\Vert S\times T\Vert=\Vert S\Vert\times\Vert T\Vert$, and $\overrightarrow{S\times T}(a,b)=(\wedge_i p)\overrightarrow{S}(a)\wedge(\wedge_j q)\overrightarrow{T}(b)$ for $\Vert S\times T\Vert$ almost all $(a,b)\in A\times B$, where $p:A\rightarrow A\times B$ and $q:B\rightarrow A\times B$ are the canonical injections (it is indeed the case if either $\overrightarrow{S}$ or $\overrightarrow{T}$ is simple $\Vert S\Vert\times\Vert T\Vert$ almost everywhere).

Edit : I found the answer of the first question in a book of Yu. D. Burago and V. A. Zalgaller, Geometric inequalities, where there is a mention of a more general form for abrbitrary separable metric spaces ($X$ and $Y$ are assumed to be separable). This result was proved by Roy O. Davies, in the article Increasing Sequences of Sets and Hausdorff Measure (Proc. London Math. Soc. 20, 222-236, 1970).

$\endgroup$
  • 5
    $\begingroup$ Welcome to the site! It could help attract more interest to the question if it were possible to understand it without having the book handy. Perhaps you could reproduce the things you ask about here. You can expand the question by clicking "edit" just below it. $\endgroup$ – user9072 Jul 19 '14 at 13:00
  • 2
    $\begingroup$ Thank you quid, I've just added some extra informations. $\endgroup$ – Paul-Benjamin Jul 19 '14 at 13:49
8
$\begingroup$

For a full proof of the coarea inequality in the context of metric spaces using the results of Davies you may also be interested in the PhD thesis of L. Reichel. See Theorem 7.1 in

http://e-collection.library.ethz.ch/eserv/eth:289/eth-289-02.pdf

Regarding currents of low dimension or codimension, a proof of the second question was obtained by F. Morgan (The exterior algebra ΛkRn and area minimization, Linear Algebra and its Applications Volume 66, April 1985, Pages 1–28). It is also stated in there that the general case is still open. I don't know if this has changed since then...

| cite | improve this answer | |
$\endgroup$
  • 2
    $\begingroup$ Thank you very much rozu, I was unaware of this PhD thesis, so you've answered to more than I expected, I am truly grateful! $\endgroup$ – Paul-Benjamin Dec 20 '14 at 9:32
  • $\begingroup$ See my answer, perhaps you will find it interesting. Do I know you? By looking at your questions and answers I would be surprised if I do not. I would be happy to see your research so you may contact me by email if you want. $\endgroup$ – Piotr Hajlasz Jun 5 at 14:50
7
$\begingroup$

Theorem. The following inequality is true for any metric spaces $X,Y$, any $A\subset X$, any Lipschitz map $f:X\to Y$ and any real numbers $k,m\geq 0$. $$ \int_Y^*\mathscr{H}^k(A\cap f^{-1}\{y\})d\mathscr{H}^m(y)\leq (\mathrm{Lip} f)^m \frac{\alpha(k)\alpha(m)}{\alpha(k+m)}\mathscr{H}^{k+m}(A). $$

Fereder could prove the inequality in cases when he could establish equality $\lim_{\delta\to 0^+}\lambda_\delta(g)=\int^*g\, d\psi$ (see page 187 in Federer's book [F1]). For example he could prove Theorem when $Y$ is boundedly compact i.e. bounded and closed sets in $Y$ are compact (in fact Federer's result was originally proved in [F2]). In general he could prove the inequality $$ \lim_{\delta\to 0^+}\lambda_\delta(g)\leq\int^*g\, d\psi. $$ Then he asked [F1, page 187]:

The general problem whether or not the preceding inequality can always be replaced by the corresponding equation is unsolved.

A positive answer to this question would imply Theorem in the general case. The problem was answered in the positive by Davies [D, page 236]:

Note added 8 September 1969. H. Federer tells me that this work answers a question he raised in Geometric measure theory (Berlin, 1969) [...]

However, there is no proof of Theorem in Davies' paper and one could get the proof only by reading Federer's proof, by reading Davies' paper and by understanding how to combine the two together.

Surprisingly, it wasn’t until 2009 when Reichel [R] in his PhD thesis, re-wrote a complete proof of Theorem in its full generality, by following the original proof of Federer while making use of Davies’ result. Until recently Reichel’s thesis was the only place with a complete proof of Theorem, except that Reichel did not include the proof of Davies’ theorem. Davies’ theorem is however, very difficult.

You can find a new and a complete proof of Theorem that avoids Davis' result in:

https://arxiv.org/abs/2006.00419

This paper also contains a detailed history of the problem.

[D] Davies, R. O.: Increasing sequences of sets and Hausdorff measure, Proc. London Math. Soc. 20 (1970), 222-236.

[F1] Federer, H.: Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969.

[F2] Federer, H.: Some integralgeometric theorems. Trans. Amer. Math. Soc. 77 (1954), 238–261.

[R] Reichel, L. P.: The coarea formula for metric space valued maps. Ph.D. thesis, ETH Zurich, 2009.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks a lot for the very thorough references. $\endgroup$ – Paul-Benjamin Jun 22 at 14:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.