Why does the Betti number give the measure of k-dimensional holes?Euler number in terms of Betti numbersHow does one show that definition of Betti number and its “informal definition” are equal?What is the Betti number of a group?Question about the Betti numbersHomology class and Betti number for a compact manifold with boundariesTwo ways to split the second Betti numberAn example of infinite Betti number refers to G-covering, and the motivation of G-coveringThe Betti number of complex projective spacesWhat are the Betti numbers of a double pinched torus?The second Betti number of a group
Python "triplet" dictionary?
Why is the origin of “threshold” uncertain?
Modify locally tikzset
Stark VS Thanos
Are Boeing 737-800’s grounded?
Why do Ichisongas hate elephants and hippos?
How to determine the actual or "true" resolution of a digital photograph?
Lock in SQL Server and Oracle
Why does the Betti number give the measure of k-dimensional holes?
Asahi Dry Black beer can
Why was Germany not as successful as other Europeans in establishing overseas colonies?
Need help understanding harmonic series and intervals
"ne paelici suspectaretur" (Tacitus)
Pawn Sacrifice Justification
Single Colour Mastermind Problem
When did stoichiometry begin to be taught in U.S. high schools?
Is creating your own "experiment" considered cheating during a physics exam?
Does a creature that is immune to a condition still make a saving throw?
Will tsunami waves travel forever if there was no land?
Why do TACANs not have a symbol for compulsory reporting on IFR Enroute Low Altitude charts?
Confused by notation of atomic number Z and mass number A on periodic table of elements
Is thermodynamics only applicable to systems in equilibrium?
Has any spacecraft ever had the ability to directly communicate with civilian air traffic control?
Feels like I am getting dragged in office politics
Why does the Betti number give the measure of k-dimensional holes?
Euler number in terms of Betti numbersHow does one show that definition of Betti number and its “informal definition” are equal?What is the Betti number of a group?Question about the Betti numbersHomology class and Betti number for a compact manifold with boundariesTwo ways to split the second Betti numberAn example of infinite Betti number refers to G-covering, and the motivation of G-coveringThe Betti number of complex projective spacesWhat are the Betti numbers of a double pinched torus?The second Betti number of a group
$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