Munkres-Analysis on Manifolds: Theorem 20.1

Click For Summary
SUMMARY

The discussion centers on Theorem 20.1 from Munkres' "Analysis on Manifolds," specifically regarding the proof involving linear transformations represented by n by n matrices. The theorem states that for a rectifiable set S in R^n, the volume of the image under a linear transformation h(x) = Ax is given by v(h(S)) = |detA|v(S). Participants clarify the proof for both non-singular and singular matrices, emphasizing the boundedness of h(S) and the measure properties of the image set. Key points include the necessity of understanding linear transformations and their continuity in finite-dimensional spaces.

PREREQUISITES
  • Understanding of linear transformations in finite-dimensional spaces
  • Familiarity with the concepts of volume and measure in R^n
  • Knowledge of determinants and their implications for matrix properties
  • Basic principles of rectifiable sets and their boundaries
NEXT STEPS
  • Study the properties of linear transformations and their continuity in finite-dimensional spaces
  • Explore the concept of rectifiable sets and their measure properties in R^n
  • Learn about the implications of the determinant in relation to volume transformations
  • Review Munkres' "Topology" to strengthen foundational concepts relevant to analysis on manifolds
USEFUL FOR

Students and professionals in mathematics, particularly those focusing on analysis, linear algebra, and topology, will benefit from this discussion. It is especially relevant for individuals preparing for advanced studies in differential geometry and manifold theory.

Bill2500
Messages
10
Reaction score
2
Hello. I am studying Analysis on Manifolds by Munkres. I have a problem with a proof in section 20. It states that:

Let A be an n by n matrix. Let h:R^n->R^n be the linear transformation h(x)=A x. Let S be a rectifiable set (the boundary of S BdS has measure 0) in R^n. Then v(h(S))=|detA|v(S) (v=volume).

The author starts his proof by considering tha case of A being a non-singular matrix (invertible).
I think I understand his steps in that case (I basically had to prove that h(intS)=int h(S) and h(S) is rectifiable, if anybody knows a way this statements are proven autumatically please tell me).

He proceeds by considering the case where A is singular, so detA=0. He tries to show now that v(T)=0. He states that since S is bounded so is h(S) (I think that's true because |h(x)-h(a)|<=n|A|*|x-a| for each x in S and fixed a in S, if there is again a better explanation please tell me).

Then he says that h(R^n)=V with dimV=p<n and that V has measure 0 (for each ε>0 it can be covered by countably many open rectangles of total volume less than ε), a statemant that I have no clue how to prove. Then he says that the closure of h(S)=cl h(S) is closed and bounded and has neasure 0 (of course cl h(S) is closed but why is it bounded with measure 0?). Then makes an addition step (which I understand) and proves the theorem for that case too.

Cound someone help me clarify the points of the proof that I don't understand? Thank you in advance!
 
Physics news on Phys.org
try showing that the x-axis in R^2 can be covered by a sequence of rectangles of total area < 1. e.g. take them all of base 1, and make the height of the one whose base goes from n to n+1 something like 1/2^(n+2). or whatever works.

by the way have you had a calculus course at the level of spivak? i ask because it seems this analysis on manifolds course is a little beyond your training. of course one can always catch up in time.
 
You have a linear transformation between finitedimensional spaces. Such transformation is always continuous, or equivalently, bounded. This explains the boundedness part in your question.
 
mathwonk said:
try showing that the x-axis in R^2 can be covered by a sequence of rectangles of total area < 1. e.g. take them all of base 1, and make the height of the one whose base goes from n to n+1 something like 1/2^(n+2). or whatever works.

by the way have you had a calculus course at the level of spivak? i ask because it seems this analysis on manifolds course is a little beyond your training. of course one can always catch up in time.
I have had a course in one variable at a level a bit higher than Spivak and a (slightly less rigorous) course in multivariable course. I am studying this book to proceed to Spivak's Differential Geometry books but I am having second thoughts. Seeing how much topology Munkres' proofs have I am thinking of studying his topology book instead.
 
Math_QED said:
You have a linear transformation between finitedimensional spaces. Such transformation is always continuous, or equivalently, bounded. This explains the boundedness part in your question.
I thought boundedness is something I can claim for a range if I have fa compact domain.
 
for a linear transformation T the meaning of "bounded" is that the image of the unit sphere is a bounded set. equivalently there is a finite bound C such that for every vector v we have |Tv| ≤ C|v|, where | | denotes the length of a vector
 
  • Like
Likes   Reactions: Bill2500

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K