Munkres-Analysis on Manifolds: Theorem 20.1

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












I am studying Analysis on Manifolds by Munkres. I have a problem with a proof in section 20:



enter image description here



It states that:



Let $A$ be an $n$ by $n$ matrix. Let $h:mathbbR^nto mathbbR^n$ be the linear transformation $h(x)=A x$. Let $S$ be a rectifiable set (the boundary of $S=BdS$ has measure $0$) in $mathbbR^n$. Then $v(h(S))=|det A|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(int S)=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 $det A=0$. He tries to show now that $v(T)=0$. He states that since $S$ is bounded so is $h(S)$ (I think thats true because $|h(x)-h(a)|leq 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(mathbbR^n)=V$ with $dim V=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!







share|cite|improve this question





















  • Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – José Carlos Santos
    Aug 2 at 14:43










  • Thank you for the information. I will start practising learning it.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:53










  • You know that $h(S)$ is bounded, so of course it's closure is as well. Also you know that $h(S)$ must be contained in $V$, thus its closure is contained in the closure of V which is V which has measure 0. Hence the closure of $h(S)$ also has measure $0$.
    – Shalop
    Aug 2 at 15:15











  • I guess the set of the accumulation points of a bounded set is bounded is intuitively obvious but I didn't know that the closure of a vector space is the vector space itself? Because I don;t have the mathematical training to prove the latter claim (I am a physicist) do you know where I can find a proof?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:59














up vote
1
down vote

favorite












I am studying Analysis on Manifolds by Munkres. I have a problem with a proof in section 20:



enter image description here



It states that:



Let $A$ be an $n$ by $n$ matrix. Let $h:mathbbR^nto mathbbR^n$ be the linear transformation $h(x)=A x$. Let $S$ be a rectifiable set (the boundary of $S=BdS$ has measure $0$) in $mathbbR^n$. Then $v(h(S))=|det A|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(int S)=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 $det A=0$. He tries to show now that $v(T)=0$. He states that since $S$ is bounded so is $h(S)$ (I think thats true because $|h(x)-h(a)|leq 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(mathbbR^n)=V$ with $dim V=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!







share|cite|improve this question





















  • Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – José Carlos Santos
    Aug 2 at 14:43










  • Thank you for the information. I will start practising learning it.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:53










  • You know that $h(S)$ is bounded, so of course it's closure is as well. Also you know that $h(S)$ must be contained in $V$, thus its closure is contained in the closure of V which is V which has measure 0. Hence the closure of $h(S)$ also has measure $0$.
    – Shalop
    Aug 2 at 15:15











  • I guess the set of the accumulation points of a bounded set is bounded is intuitively obvious but I didn't know that the closure of a vector space is the vector space itself? Because I don;t have the mathematical training to prove the latter claim (I am a physicist) do you know where I can find a proof?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:59












up vote
1
down vote

favorite









up vote
1
down vote

favorite











I am studying Analysis on Manifolds by Munkres. I have a problem with a proof in section 20:



enter image description here



It states that:



Let $A$ be an $n$ by $n$ matrix. Let $h:mathbbR^nto mathbbR^n$ be the linear transformation $h(x)=A x$. Let $S$ be a rectifiable set (the boundary of $S=BdS$ has measure $0$) in $mathbbR^n$. Then $v(h(S))=|det A|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(int S)=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 $det A=0$. He tries to show now that $v(T)=0$. He states that since $S$ is bounded so is $h(S)$ (I think thats true because $|h(x)-h(a)|leq 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(mathbbR^n)=V$ with $dim V=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!







share|cite|improve this question













I am studying Analysis on Manifolds by Munkres. I have a problem with a proof in section 20:



enter image description here



It states that:



Let $A$ be an $n$ by $n$ matrix. Let $h:mathbbR^nto mathbbR^n$ be the linear transformation $h(x)=A x$. Let $S$ be a rectifiable set (the boundary of $S=BdS$ has measure $0$) in $mathbbR^n$. Then $v(h(S))=|det A|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(int S)=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 $det A=0$. He tries to show now that $v(T)=0$. He states that since $S$ is bounded so is $h(S)$ (I think thats true because $|h(x)-h(a)|leq 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(mathbbR^n)=V$ with $dim V=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!









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 2 at 15:02
























asked Aug 2 at 14:40









Βασίλης Βούλγαρης

86




86











  • Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – José Carlos Santos
    Aug 2 at 14:43










  • Thank you for the information. I will start practising learning it.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:53










  • You know that $h(S)$ is bounded, so of course it's closure is as well. Also you know that $h(S)$ must be contained in $V$, thus its closure is contained in the closure of V which is V which has measure 0. Hence the closure of $h(S)$ also has measure $0$.
    – Shalop
    Aug 2 at 15:15











  • I guess the set of the accumulation points of a bounded set is bounded is intuitively obvious but I didn't know that the closure of a vector space is the vector space itself? Because I don;t have the mathematical training to prove the latter claim (I am a physicist) do you know where I can find a proof?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:59
















  • Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – José Carlos Santos
    Aug 2 at 14:43










  • Thank you for the information. I will start practising learning it.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:53










  • You know that $h(S)$ is bounded, so of course it's closure is as well. Also you know that $h(S)$ must be contained in $V$, thus its closure is contained in the closure of V which is V which has measure 0. Hence the closure of $h(S)$ also has measure $0$.
    – Shalop
    Aug 2 at 15:15











  • I guess the set of the accumulation points of a bounded set is bounded is intuitively obvious but I didn't know that the closure of a vector space is the vector space itself? Because I don;t have the mathematical training to prove the latter claim (I am a physicist) do you know where I can find a proof?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:59















Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
– José Carlos Santos
Aug 2 at 14:43




Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
– José Carlos Santos
Aug 2 at 14:43












Thank you for the information. I will start practising learning it.
– Î’ασίλης Βούλγαρης
Aug 2 at 14:53




Thank you for the information. I will start practising learning it.
– Î’ασίλης Βούλγαρης
Aug 2 at 14:53












You know that $h(S)$ is bounded, so of course it's closure is as well. Also you know that $h(S)$ must be contained in $V$, thus its closure is contained in the closure of V which is V which has measure 0. Hence the closure of $h(S)$ also has measure $0$.
– Shalop
Aug 2 at 15:15





You know that $h(S)$ is bounded, so of course it's closure is as well. Also you know that $h(S)$ must be contained in $V$, thus its closure is contained in the closure of V which is V which has measure 0. Hence the closure of $h(S)$ also has measure $0$.
– Shalop
Aug 2 at 15:15













I guess the set of the accumulation points of a bounded set is bounded is intuitively obvious but I didn't know that the closure of a vector space is the vector space itself? Because I don;t have the mathematical training to prove the latter claim (I am a physicist) do you know where I can find a proof?
– Î’ασίλης Βούλγαρης
Aug 2 at 18:59




I guess the set of the accumulation points of a bounded set is bounded is intuitively obvious but I didn't know that the closure of a vector space is the vector space itself? Because I don;t have the mathematical training to prove the latter claim (I am a physicist) do you know where I can find a proof?
– Î’ασίλης Βούλγαρης
Aug 2 at 18:59










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










As Munkers explains, since $det A=0$, $h(S)(=T)$ is contained in a vactor space of dimension smaller than $n$. But any subset of such a vector space has measure $0$.






share|cite|improve this answer





















  • So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:57










  • @ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
    – José Carlos Santos
    Aug 2 at 15:01










  • I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 15:07











  • @ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
    – José Carlos Santos
    Aug 2 at 15:09










  • I clicked on the up-pointer but it can not accept it. It says something about reputation.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:47










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2870136%2fmunkres-analysis-on-manifolds-theorem-20-1%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote



accepted










As Munkers explains, since $det A=0$, $h(S)(=T)$ is contained in a vactor space of dimension smaller than $n$. But any subset of such a vector space has measure $0$.






share|cite|improve this answer





















  • So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:57










  • @ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
    – José Carlos Santos
    Aug 2 at 15:01










  • I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 15:07











  • @ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
    – José Carlos Santos
    Aug 2 at 15:09










  • I clicked on the up-pointer but it can not accept it. It says something about reputation.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:47














up vote
0
down vote



accepted










As Munkers explains, since $det A=0$, $h(S)(=T)$ is contained in a vactor space of dimension smaller than $n$. But any subset of such a vector space has measure $0$.






share|cite|improve this answer





















  • So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:57










  • @ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
    – José Carlos Santos
    Aug 2 at 15:01










  • I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 15:07











  • @ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
    – José Carlos Santos
    Aug 2 at 15:09










  • I clicked on the up-pointer but it can not accept it. It says something about reputation.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:47












up vote
0
down vote



accepted







up vote
0
down vote



accepted






As Munkers explains, since $det A=0$, $h(S)(=T)$ is contained in a vactor space of dimension smaller than $n$. But any subset of such a vector space has measure $0$.






share|cite|improve this answer













As Munkers explains, since $det A=0$, $h(S)(=T)$ is contained in a vactor space of dimension smaller than $n$. But any subset of such a vector space has measure $0$.







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Aug 2 at 14:47









José Carlos Santos

112k1696172




112k1696172











  • So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:57










  • @ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
    – José Carlos Santos
    Aug 2 at 15:01










  • I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 15:07











  • @ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
    – José Carlos Santos
    Aug 2 at 15:09










  • I clicked on the up-pointer but it can not accept it. It says something about reputation.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:47
















  • So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
    – Î’ασίλης Βούλγαρης
    Aug 2 at 14:57










  • @ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
    – José Carlos Santos
    Aug 2 at 15:01










  • I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 15:07











  • @ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
    – José Carlos Santos
    Aug 2 at 15:09










  • I clicked on the up-pointer but it can not accept it. It says something about reputation.
    – Î’ασίλης Βούλγαρης
    Aug 2 at 18:47















So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
– Î’ασίλης Βούλγαρης
Aug 2 at 14:57




So if V is a subspace of R^n and dimV<n then V has measure 0? Do you know where I can find a proof? Also how dows the fact that T has measure 0 imply that cl T has measure 0 (and thus I guess it is also bounded)?
– Î’ασίλης Βούλγαρης
Aug 2 at 14:57












@ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
– José Carlos Santos
Aug 2 at 15:01




@ΒασίληςΒούλγαρης The fact that if $V$ is a vector subspace of $mathbbR^n$, then its Lebesgue measure is $0$ is a standard measure theory fact. I don't have a textbook at hand right now to tell you where to find it. And, since $V$ is closed, $overline Tsubsetoverline V=V$. Finally, $T$ is bounded because $S$ is bounded and linear maps map bounded sets onto bounded sets.
– José Carlos Santos
Aug 2 at 15:01












I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
– Î’ασίλης Βούλγαρης
Aug 2 at 15:07





I have now experiance with Measure Theory (I am a physicist). Should you find anywhere proves for the above, I would appreciate it. Thank you very much for your answers.
– Î’ασίλης Βούλγαρης
Aug 2 at 15:07













@ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
– José Carlos Santos
Aug 2 at 15:09




@ΒασίληςΒούλγαρης If my answer was useful, perhaps that you could mark it as the accepted one.
– José Carlos Santos
Aug 2 at 15:09












I clicked on the up-pointer but it can not accept it. It says something about reputation.
– Î’ασίλης Βούλγαρης
Aug 2 at 18:47




I clicked on the up-pointer but it can not accept it. It says something about reputation.
– Î’ασίλης Βούλγαρης
Aug 2 at 18:47












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2870136%2fmunkres-analysis-on-manifolds-theorem-20-1%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?