Using simplicial homology to compute topological spaces homeomorphic to the quotient spaces of polygons
I am reading Introduction to Algebraic Topology by Rotman and the following is presented as a method to use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons.
Now I guess that this is possibly an informal discussion on the authors part. But I find the authors discussion hard to follow, because it seems like we've started with a polygon $P$, added some edges and formed some triangles here and there and then reduced all of it to remove everything we added and ended up with the same polygon $P$. It seems like all the author has done has just considered the polygon $P$ as the simplest possible simplicial complex $K$.
I don't see for example how the triangulation of $P$ induces a triangulation of $X$, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
algebraic-topology homology-cohomology simplicial-stuff
add a comment |
I am reading Introduction to Algebraic Topology by Rotman and the following is presented as a method to use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons.
Now I guess that this is possibly an informal discussion on the authors part. But I find the authors discussion hard to follow, because it seems like we've started with a polygon $P$, added some edges and formed some triangles here and there and then reduced all of it to remove everything we added and ended up with the same polygon $P$. It seems like all the author has done has just considered the polygon $P$ as the simplest possible simplicial complex $K$.
I don't see for example how the triangulation of $P$ induces a triangulation of $X$, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
algebraic-topology homology-cohomology simplicial-stuff
add a comment |
I am reading Introduction to Algebraic Topology by Rotman and the following is presented as a method to use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons.
Now I guess that this is possibly an informal discussion on the authors part. But I find the authors discussion hard to follow, because it seems like we've started with a polygon $P$, added some edges and formed some triangles here and there and then reduced all of it to remove everything we added and ended up with the same polygon $P$. It seems like all the author has done has just considered the polygon $P$ as the simplest possible simplicial complex $K$.
I don't see for example how the triangulation of $P$ induces a triangulation of $X$, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
algebraic-topology homology-cohomology simplicial-stuff
I am reading Introduction to Algebraic Topology by Rotman and the following is presented as a method to use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons.
Now I guess that this is possibly an informal discussion on the authors part. But I find the authors discussion hard to follow, because it seems like we've started with a polygon $P$, added some edges and formed some triangles here and there and then reduced all of it to remove everything we added and ended up with the same polygon $P$. It seems like all the author has done has just considered the polygon $P$ as the simplest possible simplicial complex $K$.
I don't see for example how the triangulation of $P$ induces a triangulation of $X$, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
algebraic-topology homology-cohomology simplicial-stuff
algebraic-topology homology-cohomology simplicial-stuff
asked Jan 4 at 5:42
PerturbativePerturbative
4,14011450
4,14011450
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
I agree, the exposition is a little confusing. It's almost like Rotman is trying to use the machinery of CW complexes without introducing them just yet.
I don't see for example how the triangulation of P induces a triangulation of X, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
The triangulation of $P$ induces a triangulation of $X$ by considering the induced maps on the chain groups by the quotient map. In practice, we already write the induced chain map on the polygon. For example, in example $7.15$, you see that both the right and left edges are labelled $b$. Thus, you can think of the induced map as just relabelling the edges that get identified. Looking at examples $7.14$ and $7.15$ should really help clarify how this machinery works.
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
I don't think that's exactly what the author is trying to do. Indeed, (simplicial) homology is not strong enough to "compute" all topological spaces that are homeomorphic to a given quotient space of a polygon. What he does say is that this method can be used to compute homology groups of quotients of polygons, and this together with the remark at the end of page $163$ imply that this method is strong enough to compute the homology groups of any compact connected $2$-manifold i.e. a compact connected surface.
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
I personally learned the computation of homology through Hatcher's Algebraic Topology. His book is the standard for a graduate course (and is free), however it makes a great second read rather than a first read in my opinion. He uses $Delta$-complexes instead of simplicial complexes but that's only a minor difference. Other books I have heard good things about are Munkres' Elements of Algebraic Topology. There are also great videos on YouTube. In particular, Harpreet Bedi has three videos on calculating the homology of the Torus, Klein Bottle and $mathbb{R}P^2$ using $Delta$-complexes.
add a comment |
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',
autoActivateHeartbeat: false,
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3061346%2fusing-simplicial-homology-to-compute-topological-spaces-homeomorphic-to-the-quot%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
I agree, the exposition is a little confusing. It's almost like Rotman is trying to use the machinery of CW complexes without introducing them just yet.
I don't see for example how the triangulation of P induces a triangulation of X, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
The triangulation of $P$ induces a triangulation of $X$ by considering the induced maps on the chain groups by the quotient map. In practice, we already write the induced chain map on the polygon. For example, in example $7.15$, you see that both the right and left edges are labelled $b$. Thus, you can think of the induced map as just relabelling the edges that get identified. Looking at examples $7.14$ and $7.15$ should really help clarify how this machinery works.
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
I don't think that's exactly what the author is trying to do. Indeed, (simplicial) homology is not strong enough to "compute" all topological spaces that are homeomorphic to a given quotient space of a polygon. What he does say is that this method can be used to compute homology groups of quotients of polygons, and this together with the remark at the end of page $163$ imply that this method is strong enough to compute the homology groups of any compact connected $2$-manifold i.e. a compact connected surface.
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
I personally learned the computation of homology through Hatcher's Algebraic Topology. His book is the standard for a graduate course (and is free), however it makes a great second read rather than a first read in my opinion. He uses $Delta$-complexes instead of simplicial complexes but that's only a minor difference. Other books I have heard good things about are Munkres' Elements of Algebraic Topology. There are also great videos on YouTube. In particular, Harpreet Bedi has three videos on calculating the homology of the Torus, Klein Bottle and $mathbb{R}P^2$ using $Delta$-complexes.
add a comment |
I agree, the exposition is a little confusing. It's almost like Rotman is trying to use the machinery of CW complexes without introducing them just yet.
I don't see for example how the triangulation of P induces a triangulation of X, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
The triangulation of $P$ induces a triangulation of $X$ by considering the induced maps on the chain groups by the quotient map. In practice, we already write the induced chain map on the polygon. For example, in example $7.15$, you see that both the right and left edges are labelled $b$. Thus, you can think of the induced map as just relabelling the edges that get identified. Looking at examples $7.14$ and $7.15$ should really help clarify how this machinery works.
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
I don't think that's exactly what the author is trying to do. Indeed, (simplicial) homology is not strong enough to "compute" all topological spaces that are homeomorphic to a given quotient space of a polygon. What he does say is that this method can be used to compute homology groups of quotients of polygons, and this together with the remark at the end of page $163$ imply that this method is strong enough to compute the homology groups of any compact connected $2$-manifold i.e. a compact connected surface.
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
I personally learned the computation of homology through Hatcher's Algebraic Topology. His book is the standard for a graduate course (and is free), however it makes a great second read rather than a first read in my opinion. He uses $Delta$-complexes instead of simplicial complexes but that's only a minor difference. Other books I have heard good things about are Munkres' Elements of Algebraic Topology. There are also great videos on YouTube. In particular, Harpreet Bedi has three videos on calculating the homology of the Torus, Klein Bottle and $mathbb{R}P^2$ using $Delta$-complexes.
add a comment |
I agree, the exposition is a little confusing. It's almost like Rotman is trying to use the machinery of CW complexes without introducing them just yet.
I don't see for example how the triangulation of P induces a triangulation of X, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
The triangulation of $P$ induces a triangulation of $X$ by considering the induced maps on the chain groups by the quotient map. In practice, we already write the induced chain map on the polygon. For example, in example $7.15$, you see that both the right and left edges are labelled $b$. Thus, you can think of the induced map as just relabelling the edges that get identified. Looking at examples $7.14$ and $7.15$ should really help clarify how this machinery works.
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
I don't think that's exactly what the author is trying to do. Indeed, (simplicial) homology is not strong enough to "compute" all topological spaces that are homeomorphic to a given quotient space of a polygon. What he does say is that this method can be used to compute homology groups of quotients of polygons, and this together with the remark at the end of page $163$ imply that this method is strong enough to compute the homology groups of any compact connected $2$-manifold i.e. a compact connected surface.
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
I personally learned the computation of homology through Hatcher's Algebraic Topology. His book is the standard for a graduate course (and is free), however it makes a great second read rather than a first read in my opinion. He uses $Delta$-complexes instead of simplicial complexes but that's only a minor difference. Other books I have heard good things about are Munkres' Elements of Algebraic Topology. There are also great videos on YouTube. In particular, Harpreet Bedi has three videos on calculating the homology of the Torus, Klein Bottle and $mathbb{R}P^2$ using $Delta$-complexes.
I agree, the exposition is a little confusing. It's almost like Rotman is trying to use the machinery of CW complexes without introducing them just yet.
I don't see for example how the triangulation of P induces a triangulation of X, since no mention of how this method takes into account the identified edges is made. What exactly is the author trying to convey in these remarks?
The triangulation of $P$ induces a triangulation of $X$ by considering the induced maps on the chain groups by the quotient map. In practice, we already write the induced chain map on the polygon. For example, in example $7.15$, you see that both the right and left edges are labelled $b$. Thus, you can think of the induced map as just relabelling the edges that get identified. Looking at examples $7.14$ and $7.15$ should really help clarify how this machinery works.
How exactly can I use simplicial homology to compute topological spaces that are homeomorphic to the quotient spaces of polygons?
I don't think that's exactly what the author is trying to do. Indeed, (simplicial) homology is not strong enough to "compute" all topological spaces that are homeomorphic to a given quotient space of a polygon. What he does say is that this method can be used to compute homology groups of quotients of polygons, and this together with the remark at the end of page $163$ imply that this method is strong enough to compute the homology groups of any compact connected $2$-manifold i.e. a compact connected surface.
Finally does there exist a better reference that I can look at to learn more about this method of computing homology groups?
I personally learned the computation of homology through Hatcher's Algebraic Topology. His book is the standard for a graduate course (and is free), however it makes a great second read rather than a first read in my opinion. He uses $Delta$-complexes instead of simplicial complexes but that's only a minor difference. Other books I have heard good things about are Munkres' Elements of Algebraic Topology. There are also great videos on YouTube. In particular, Harpreet Bedi has three videos on calculating the homology of the Torus, Klein Bottle and $mathbb{R}P^2$ using $Delta$-complexes.
answered Jan 4 at 9:59
Osama GhaniOsama Ghani
1,147313
1,147313
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3061346%2fusing-simplicial-homology-to-compute-topological-spaces-homeomorphic-to-the-quot%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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