Codimension of intersection of subspaces











up vote
0
down vote

favorite













Let $codim(E_i)=1$ for $i=1,...n$. Prove that $codim(cap E_i) le n$.




I was trying to prove it only with simple dimensions calculation - $codim(cap E_i) = dim(Esetminus cap E_i) = dim(Esetminus E_1 cap dots cap E_n) le dim(Esetminus E_1) + dots + dim(Esetminus E_i) = codim(E_1)+dots + codim(E_i) =n $



But are all my equations and inequalities correct?



If not, any other ideas?










share|cite|improve this question




















  • 1




    Your second inequality is equality. The first one, I believe is true, can you tell why?
    – Alonso Delfín
    Nov 14 at 20:42










  • @Alonso Delfin Because if I'm not mistaken $dim(Ucap V)= dim(U)+dim(V) - dim(U+V) le dim(U) + dim(V)$?
    – ChikChak
    Nov 14 at 20:46






  • 1




    Yeah that works. There various ways to see it but essentially, your final goal is to verify that $dim(E/(Vcap U)) leq dim(E/V) + dim(E/U)$
    – Alonso Delfín
    Nov 14 at 21:27










  • @Alonso Delfin Could you share the other ways?
    – ChikChak
    Nov 14 at 21:28






  • 1




    From the top of my mind, I guess that I’d try to shot first that $E/(U cap V) subset E/U cap E/V$ and then the result will follow from the formula you gave.
    – Alonso Delfín
    Nov 14 at 21:34

















up vote
0
down vote

favorite













Let $codim(E_i)=1$ for $i=1,...n$. Prove that $codim(cap E_i) le n$.




I was trying to prove it only with simple dimensions calculation - $codim(cap E_i) = dim(Esetminus cap E_i) = dim(Esetminus E_1 cap dots cap E_n) le dim(Esetminus E_1) + dots + dim(Esetminus E_i) = codim(E_1)+dots + codim(E_i) =n $



But are all my equations and inequalities correct?



If not, any other ideas?










share|cite|improve this question




















  • 1




    Your second inequality is equality. The first one, I believe is true, can you tell why?
    – Alonso Delfín
    Nov 14 at 20:42










  • @Alonso Delfin Because if I'm not mistaken $dim(Ucap V)= dim(U)+dim(V) - dim(U+V) le dim(U) + dim(V)$?
    – ChikChak
    Nov 14 at 20:46






  • 1




    Yeah that works. There various ways to see it but essentially, your final goal is to verify that $dim(E/(Vcap U)) leq dim(E/V) + dim(E/U)$
    – Alonso Delfín
    Nov 14 at 21:27










  • @Alonso Delfin Could you share the other ways?
    – ChikChak
    Nov 14 at 21:28






  • 1




    From the top of my mind, I guess that I’d try to shot first that $E/(U cap V) subset E/U cap E/V$ and then the result will follow from the formula you gave.
    – Alonso Delfín
    Nov 14 at 21:34















up vote
0
down vote

favorite









up vote
0
down vote

favorite












Let $codim(E_i)=1$ for $i=1,...n$. Prove that $codim(cap E_i) le n$.




I was trying to prove it only with simple dimensions calculation - $codim(cap E_i) = dim(Esetminus cap E_i) = dim(Esetminus E_1 cap dots cap E_n) le dim(Esetminus E_1) + dots + dim(Esetminus E_i) = codim(E_1)+dots + codim(E_i) =n $



But are all my equations and inequalities correct?



If not, any other ideas?










share|cite|improve this question
















Let $codim(E_i)=1$ for $i=1,...n$. Prove that $codim(cap E_i) le n$.




I was trying to prove it only with simple dimensions calculation - $codim(cap E_i) = dim(Esetminus cap E_i) = dim(Esetminus E_1 cap dots cap E_n) le dim(Esetminus E_1) + dots + dim(Esetminus E_i) = codim(E_1)+dots + codim(E_i) =n $



But are all my equations and inequalities correct?



If not, any other ideas?







linear-algebra hilbert-spaces dimension-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 14 at 20:44

























asked Nov 14 at 20:38









ChikChak

767418




767418








  • 1




    Your second inequality is equality. The first one, I believe is true, can you tell why?
    – Alonso Delfín
    Nov 14 at 20:42










  • @Alonso Delfin Because if I'm not mistaken $dim(Ucap V)= dim(U)+dim(V) - dim(U+V) le dim(U) + dim(V)$?
    – ChikChak
    Nov 14 at 20:46






  • 1




    Yeah that works. There various ways to see it but essentially, your final goal is to verify that $dim(E/(Vcap U)) leq dim(E/V) + dim(E/U)$
    – Alonso Delfín
    Nov 14 at 21:27










  • @Alonso Delfin Could you share the other ways?
    – ChikChak
    Nov 14 at 21:28






  • 1




    From the top of my mind, I guess that I’d try to shot first that $E/(U cap V) subset E/U cap E/V$ and then the result will follow from the formula you gave.
    – Alonso Delfín
    Nov 14 at 21:34
















  • 1




    Your second inequality is equality. The first one, I believe is true, can you tell why?
    – Alonso Delfín
    Nov 14 at 20:42










  • @Alonso Delfin Because if I'm not mistaken $dim(Ucap V)= dim(U)+dim(V) - dim(U+V) le dim(U) + dim(V)$?
    – ChikChak
    Nov 14 at 20:46






  • 1




    Yeah that works. There various ways to see it but essentially, your final goal is to verify that $dim(E/(Vcap U)) leq dim(E/V) + dim(E/U)$
    – Alonso Delfín
    Nov 14 at 21:27










  • @Alonso Delfin Could you share the other ways?
    – ChikChak
    Nov 14 at 21:28






  • 1




    From the top of my mind, I guess that I’d try to shot first that $E/(U cap V) subset E/U cap E/V$ and then the result will follow from the formula you gave.
    – Alonso Delfín
    Nov 14 at 21:34










1




1




Your second inequality is equality. The first one, I believe is true, can you tell why?
– Alonso Delfín
Nov 14 at 20:42




Your second inequality is equality. The first one, I believe is true, can you tell why?
– Alonso Delfín
Nov 14 at 20:42












@Alonso Delfin Because if I'm not mistaken $dim(Ucap V)= dim(U)+dim(V) - dim(U+V) le dim(U) + dim(V)$?
– ChikChak
Nov 14 at 20:46




@Alonso Delfin Because if I'm not mistaken $dim(Ucap V)= dim(U)+dim(V) - dim(U+V) le dim(U) + dim(V)$?
– ChikChak
Nov 14 at 20:46




1




1




Yeah that works. There various ways to see it but essentially, your final goal is to verify that $dim(E/(Vcap U)) leq dim(E/V) + dim(E/U)$
– Alonso Delfín
Nov 14 at 21:27




Yeah that works. There various ways to see it but essentially, your final goal is to verify that $dim(E/(Vcap U)) leq dim(E/V) + dim(E/U)$
– Alonso Delfín
Nov 14 at 21:27












@Alonso Delfin Could you share the other ways?
– ChikChak
Nov 14 at 21:28




@Alonso Delfin Could you share the other ways?
– ChikChak
Nov 14 at 21:28




1




1




From the top of my mind, I guess that I’d try to shot first that $E/(U cap V) subset E/U cap E/V$ and then the result will follow from the formula you gave.
– Alonso Delfín
Nov 14 at 21:34






From the top of my mind, I guess that I’d try to shot first that $E/(U cap V) subset E/U cap E/V$ and then the result will follow from the formula you gave.
– Alonso Delfín
Nov 14 at 21:34

















active

oldest

votes











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: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
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%2f2998792%2fcodimension-of-intersection-of-subspaces%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998792%2fcodimension-of-intersection-of-subspaces%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Plaza Victoria

Brian Clough

Cáceres