Intersection of subcomplexes

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











up vote
0
down vote

favorite












Ok, so intuitively it's clear that the intersection of two subcomplexes of a CW-complex should be a subcomplex as well, but reading the inductive definition of a CW-complex, nowhere does it say that a cell should be attached to a whole other cell, that is to say: it seems to imply that i could, for example, attach a 2-cell to a point in the middle of a 1-cell as if there were a 0-cell there. But then the intersection of the 1-cell and the 2-cell in question would be a point that isn't a 0-cell, and therefore not a subcomplex.



Am I missing something from the definition?







share|cite|improve this question



















  • What is your definition of a CW complex?
    – Sheel Stueber
    Aug 7 at 1:25










  • the one that appears in Hatcher's "Algebraic Topology", you start by a discrete 0-skeleton and then attach cells via a map from the border of an n-disk to the n-1-skeleton. The thing is, that doesn't make it clear if the edge can go to any part of the skeleton or if it must attach to a full cell.
    – Santiago Bosch
    Aug 7 at 14:10














up vote
0
down vote

favorite












Ok, so intuitively it's clear that the intersection of two subcomplexes of a CW-complex should be a subcomplex as well, but reading the inductive definition of a CW-complex, nowhere does it say that a cell should be attached to a whole other cell, that is to say: it seems to imply that i could, for example, attach a 2-cell to a point in the middle of a 1-cell as if there were a 0-cell there. But then the intersection of the 1-cell and the 2-cell in question would be a point that isn't a 0-cell, and therefore not a subcomplex.



Am I missing something from the definition?







share|cite|improve this question



















  • What is your definition of a CW complex?
    – Sheel Stueber
    Aug 7 at 1:25










  • the one that appears in Hatcher's "Algebraic Topology", you start by a discrete 0-skeleton and then attach cells via a map from the border of an n-disk to the n-1-skeleton. The thing is, that doesn't make it clear if the edge can go to any part of the skeleton or if it must attach to a full cell.
    – Santiago Bosch
    Aug 7 at 14:10












up vote
0
down vote

favorite









up vote
0
down vote

favorite











Ok, so intuitively it's clear that the intersection of two subcomplexes of a CW-complex should be a subcomplex as well, but reading the inductive definition of a CW-complex, nowhere does it say that a cell should be attached to a whole other cell, that is to say: it seems to imply that i could, for example, attach a 2-cell to a point in the middle of a 1-cell as if there were a 0-cell there. But then the intersection of the 1-cell and the 2-cell in question would be a point that isn't a 0-cell, and therefore not a subcomplex.



Am I missing something from the definition?







share|cite|improve this question











Ok, so intuitively it's clear that the intersection of two subcomplexes of a CW-complex should be a subcomplex as well, but reading the inductive definition of a CW-complex, nowhere does it say that a cell should be attached to a whole other cell, that is to say: it seems to imply that i could, for example, attach a 2-cell to a point in the middle of a 1-cell as if there were a 0-cell there. But then the intersection of the 1-cell and the 2-cell in question would be a point that isn't a 0-cell, and therefore not a subcomplex.



Am I missing something from the definition?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Aug 6 at 23:19









Santiago Bosch

406




406











  • What is your definition of a CW complex?
    – Sheel Stueber
    Aug 7 at 1:25










  • the one that appears in Hatcher's "Algebraic Topology", you start by a discrete 0-skeleton and then attach cells via a map from the border of an n-disk to the n-1-skeleton. The thing is, that doesn't make it clear if the edge can go to any part of the skeleton or if it must attach to a full cell.
    – Santiago Bosch
    Aug 7 at 14:10
















  • What is your definition of a CW complex?
    – Sheel Stueber
    Aug 7 at 1:25










  • the one that appears in Hatcher's "Algebraic Topology", you start by a discrete 0-skeleton and then attach cells via a map from the border of an n-disk to the n-1-skeleton. The thing is, that doesn't make it clear if the edge can go to any part of the skeleton or if it must attach to a full cell.
    – Santiago Bosch
    Aug 7 at 14:10















What is your definition of a CW complex?
– Sheel Stueber
Aug 7 at 1:25




What is your definition of a CW complex?
– Sheel Stueber
Aug 7 at 1:25












the one that appears in Hatcher's "Algebraic Topology", you start by a discrete 0-skeleton and then attach cells via a map from the border of an n-disk to the n-1-skeleton. The thing is, that doesn't make it clear if the edge can go to any part of the skeleton or if it must attach to a full cell.
– Santiago Bosch
Aug 7 at 14:10




the one that appears in Hatcher's "Algebraic Topology", you start by a discrete 0-skeleton and then attach cells via a map from the border of an n-disk to the n-1-skeleton. The thing is, that doesn't make it clear if the edge can go to any part of the skeleton or if it must attach to a full cell.
– Santiago Bosch
Aug 7 at 14:10















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: 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%2f2874410%2fintersection-of-subcomplexes%23new-answer', 'question_page');

);

Post as a guest



































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%2f2874410%2fintersection-of-subcomplexes%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?

Relationship between determinant of matrix and determinant of adjoint?

Color the edges and diagonals of a regular polygon