Why does the Betti number give the measure of k-dimensional holes?
$begingroup$
I was reading Paul Renteln "MANIFOLDS, TENSORS, AND FORMS An Introduction for Mathematicians and Physicists" p.145, where he defined the Betti number as $dim H_m(K)$, where $H_m(K)$ is the quotient space of cycles modulo boundary $Z_m(K)/B_m(K)$. He said it is true that the Betti number counts the number of m-dimensional holes on K, but I don't see why.
This is similar to what Wikipedia said at https://en.wikipedia.org/wiki/Simplicial_homology, the last sentence of the definition section. Can anyone provide me with an intuitive explanation of what is going on?
algebraic-topology simplicial-complex betti-numbers
New contributor
$endgroup$
add a comment |
$begingroup$
I was reading Paul Renteln "MANIFOLDS, TENSORS, AND FORMS An Introduction for Mathematicians and Physicists" p.145, where he defined the Betti number as $dim H_m(K)$, where $H_m(K)$ is the quotient space of cycles modulo boundary $Z_m(K)/B_m(K)$. He said it is true that the Betti number counts the number of m-dimensional holes on K, but I don't see why.
This is similar to what Wikipedia said at https://en.wikipedia.org/wiki/Simplicial_homology, the last sentence of the definition section. Can anyone provide me with an intuitive explanation of what is going on?
algebraic-topology simplicial-complex betti-numbers
New contributor
$endgroup$
add a comment |
$begingroup$
I was reading Paul Renteln "MANIFOLDS, TENSORS, AND FORMS An Introduction for Mathematicians and Physicists" p.145, where he defined the Betti number as $dim H_m(K)$, where $H_m(K)$ is the quotient space of cycles modulo boundary $Z_m(K)/B_m(K)$. He said it is true that the Betti number counts the number of m-dimensional holes on K, but I don't see why.
This is similar to what Wikipedia said at https://en.wikipedia.org/wiki/Simplicial_homology, the last sentence of the definition section. Can anyone provide me with an intuitive explanation of what is going on?
algebraic-topology simplicial-complex betti-numbers
New contributor
$endgroup$
I was reading Paul Renteln "MANIFOLDS, TENSORS, AND FORMS An Introduction for Mathematicians and Physicists" p.145, where he defined the Betti number as $dim H_m(K)$, where $H_m(K)$ is the quotient space of cycles modulo boundary $Z_m(K)/B_m(K)$. He said it is true that the Betti number counts the number of m-dimensional holes on K, but I don't see why.
This is similar to what Wikipedia said at https://en.wikipedia.org/wiki/Simplicial_homology, the last sentence of the definition section. Can anyone provide me with an intuitive explanation of what is going on?
algebraic-topology simplicial-complex betti-numbers
algebraic-topology simplicial-complex betti-numbers
New contributor
New contributor
New contributor
asked 3 hours ago
Joe MartinJoe Martin
987
987
New contributor
New contributor
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
This sentence in the paragraph just before the line from wikipedia you quote
It follows that the homology group Hk(S) is nonzero exactly when there
are k-cycles on S which are not boundaries. In a sense, this means
that there are k-dimensional holes in the complex.
provides an answer to your question. A $k$-cycle is (intuitively speaking) a geometric structure which potentially surrounds a $k+1$-dimensional region. $1$-cycles are easiest to visualize - think loops. On the surface of a sphere every loop can be thought of as having an inside (two, in fact, since there's no topological distinction between inside and outside). Every $1$-cycle is the boundary of a part of the surface and the first Betti number is $0$. There are no holes. On the surface of a torus there are two kinds of loops that don't have interiors - those are $1$-cycles that aren't boundaries, so a torus has $2$ "holes" where there might be disks but aren't. Those are conceptual holes - there is no hole that looks as if was cut out by a cookie cutter.
In higher dimensions you can ask whether something that looks like the surface of an ordinary sphere - a $2$-cycle - actually surrounds something like the interior of a sphere. If not, that $2$-cycle contributes to the second Betti number.
I hope this serves as the intuition you need. The technical details are, of course, technical.
$endgroup$
add a comment |
Your Answer
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
});
}
});
Joe Martin is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3206355%2fwhy-does-the-betti-number-give-the-measure-of-k-dimensional-holes%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
$begingroup$
This sentence in the paragraph just before the line from wikipedia you quote
It follows that the homology group Hk(S) is nonzero exactly when there
are k-cycles on S which are not boundaries. In a sense, this means
that there are k-dimensional holes in the complex.
provides an answer to your question. A $k$-cycle is (intuitively speaking) a geometric structure which potentially surrounds a $k+1$-dimensional region. $1$-cycles are easiest to visualize - think loops. On the surface of a sphere every loop can be thought of as having an inside (two, in fact, since there's no topological distinction between inside and outside). Every $1$-cycle is the boundary of a part of the surface and the first Betti number is $0$. There are no holes. On the surface of a torus there are two kinds of loops that don't have interiors - those are $1$-cycles that aren't boundaries, so a torus has $2$ "holes" where there might be disks but aren't. Those are conceptual holes - there is no hole that looks as if was cut out by a cookie cutter.
In higher dimensions you can ask whether something that looks like the surface of an ordinary sphere - a $2$-cycle - actually surrounds something like the interior of a sphere. If not, that $2$-cycle contributes to the second Betti number.
I hope this serves as the intuition you need. The technical details are, of course, technical.
$endgroup$
add a comment |
$begingroup$
This sentence in the paragraph just before the line from wikipedia you quote
It follows that the homology group Hk(S) is nonzero exactly when there
are k-cycles on S which are not boundaries. In a sense, this means
that there are k-dimensional holes in the complex.
provides an answer to your question. A $k$-cycle is (intuitively speaking) a geometric structure which potentially surrounds a $k+1$-dimensional region. $1$-cycles are easiest to visualize - think loops. On the surface of a sphere every loop can be thought of as having an inside (two, in fact, since there's no topological distinction between inside and outside). Every $1$-cycle is the boundary of a part of the surface and the first Betti number is $0$. There are no holes. On the surface of a torus there are two kinds of loops that don't have interiors - those are $1$-cycles that aren't boundaries, so a torus has $2$ "holes" where there might be disks but aren't. Those are conceptual holes - there is no hole that looks as if was cut out by a cookie cutter.
In higher dimensions you can ask whether something that looks like the surface of an ordinary sphere - a $2$-cycle - actually surrounds something like the interior of a sphere. If not, that $2$-cycle contributes to the second Betti number.
I hope this serves as the intuition you need. The technical details are, of course, technical.
$endgroup$
add a comment |
$begingroup$
This sentence in the paragraph just before the line from wikipedia you quote
It follows that the homology group Hk(S) is nonzero exactly when there
are k-cycles on S which are not boundaries. In a sense, this means
that there are k-dimensional holes in the complex.
provides an answer to your question. A $k$-cycle is (intuitively speaking) a geometric structure which potentially surrounds a $k+1$-dimensional region. $1$-cycles are easiest to visualize - think loops. On the surface of a sphere every loop can be thought of as having an inside (two, in fact, since there's no topological distinction between inside and outside). Every $1$-cycle is the boundary of a part of the surface and the first Betti number is $0$. There are no holes. On the surface of a torus there are two kinds of loops that don't have interiors - those are $1$-cycles that aren't boundaries, so a torus has $2$ "holes" where there might be disks but aren't. Those are conceptual holes - there is no hole that looks as if was cut out by a cookie cutter.
In higher dimensions you can ask whether something that looks like the surface of an ordinary sphere - a $2$-cycle - actually surrounds something like the interior of a sphere. If not, that $2$-cycle contributes to the second Betti number.
I hope this serves as the intuition you need. The technical details are, of course, technical.
$endgroup$
This sentence in the paragraph just before the line from wikipedia you quote
It follows that the homology group Hk(S) is nonzero exactly when there
are k-cycles on S which are not boundaries. In a sense, this means
that there are k-dimensional holes in the complex.
provides an answer to your question. A $k$-cycle is (intuitively speaking) a geometric structure which potentially surrounds a $k+1$-dimensional region. $1$-cycles are easiest to visualize - think loops. On the surface of a sphere every loop can be thought of as having an inside (two, in fact, since there's no topological distinction between inside and outside). Every $1$-cycle is the boundary of a part of the surface and the first Betti number is $0$. There are no holes. On the surface of a torus there are two kinds of loops that don't have interiors - those are $1$-cycles that aren't boundaries, so a torus has $2$ "holes" where there might be disks but aren't. Those are conceptual holes - there is no hole that looks as if was cut out by a cookie cutter.
In higher dimensions you can ask whether something that looks like the surface of an ordinary sphere - a $2$-cycle - actually surrounds something like the interior of a sphere. If not, that $2$-cycle contributes to the second Betti number.
I hope this serves as the intuition you need. The technical details are, of course, technical.
edited 3 hours ago
answered 3 hours ago
Ethan BolkerEthan Bolker
47.1k555123
47.1k555123
add a comment |
add a comment |
Joe Martin is a new contributor. Be nice, and check out our Code of Conduct.
Joe Martin is a new contributor. Be nice, and check out our Code of Conduct.
Joe Martin is a new contributor. Be nice, and check out our Code of Conduct.
Joe Martin is a new contributor. Be nice, and check out our Code of Conduct.
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.
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%2f3206355%2fwhy-does-the-betti-number-give-the-measure-of-k-dimensional-holes%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