Bounding the volume distortion of a manifold

Click For Summary
SUMMARY

The discussion centers on the volume distortion of a manifold defined by a $C^1$ bijection $f: U \to \mathbb{R}^n$, where $U$ is a compact set in $\mathbb{R}^k$. The volume distortion is quantified as $G = \det(Df^tDf)$. For the case when $n=1$, it is established that $G = 1 + |\nabla f|^2$. The conversation explores the conditions under which $G$ can be bounded from below for dimensions where $n > 1$, emphasizing the necessity of compactness and the use of finite sub-covers.

PREREQUISITES
  • Understanding of $C^1$ bijections in differential geometry
  • Familiarity with determinants and the Jacobian matrix
  • Knowledge of compact sets in topology
  • Basic concepts of manifold theory
NEXT STEPS
  • Research the properties of the Jacobian determinant in higher dimensions
  • Study the implications of compactness in continuous mappings
  • Explore the relationship between volume distortion and manifold topology
  • Investigate the use of finite sub-covers in the context of manifold theory
USEFUL FOR

Mathematicians, particularly those specializing in differential geometry and topology, as well as students and researchers interested in the properties of manifolds and volume distortion in higher dimensions.

eyenir
Messages
3
Reaction score
0
Let $U$ be a compact set in $\mathbb{R}^k$ and let $f:U\to\mathbb{R}^n$ be a $C^1$ bijection. Consider the manifold $M=f(U)$.

Its volume distortion is defined as $G=det(DftDf).$ If $n=1$, one can deduce that $G=1+|\nabla f|^2$.

What happens for $n>1$? Can one bound from below this $G$? If so: under which assumptions?
 
Physics news on Phys.org
eyenir said:
Let $U$ be a compact set in $\mathbb{R}^k$ and let $f:U\to\mathbb{R}^n$ be a $C^1$ bijection.
did not you know that the image of a compact set under a continuous mapping is a compact set?
 
Last edited:
So you suggest taking a finite sub-cover ${U_i}$ such that $M|_{U_i}=\{(x_1,\dots,x_{n-1},g_i\}$ where $g_i:\mathbb{R^{n-1}\to R}$ is a $C^1$ function on $U_i$?
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 20 ·
Replies
20
Views
5K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K