Proof of Borsuk-Ulam Theorem using singular Homology
$begingroup$
I have to prove the Borsuk-Ulam theorem following some specific steps.
The theorem says that:
For every continuous function $f: S^n rightarrow mathbb{R}^n$ there exists $x in S^n$ with $f(-x)=f(x)$.
I am using the cover of $mathbb{R}P^n$ by $S^n$. I showed every singular simplex $tildesigma$ of $mathbb{R}P^n$ can be lifted to $sigma$ and $tau sigma$ singular simplexes of $S^n$.
This induces an application $t:C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2), tildesigma rightarrow sigma + tausigma$ which is a chain complex morphism and induces a short exact sequence $$0 rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2) rightarrow 0$$ where the latter morphism is induced by the covering map. I managed to show all this. This implies directly existence of a long exact sequence in homology.
I should then show that $t circ p_star: C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(S^n,mathbb{F}_2)$ is zero where $p_star$ is induced by the covering map. Can you give me a hint for this?
I should then show that in the long exact sequence in hompology $$0=H_{n+1}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2) rightarrow H_{n}(S^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n-1}(mathbb{R}P^n,mathbb{F}_2)rightarrowcdots$$ the first and third morphisms are zero and the second and fourth isomorphisms. As the second is induced by $t$ and the third by $p_star$, I could already show that $p_star$ is zero, as $t$ is injective and the composition $t circ p_star$ zero. Thus $t$ is an isomorphism. Furthermore, the fourth morphism, $delta$ is injective. But how do I show its surjectivity?
Finally I should conclude that if $f: S^n rightarrow S^m$ is continuous such that, for every $x in S^n$, $f(-x)=-f(x)$, then $nleq m$, using "naturality of the long exact sequence". Could you please give me some hints?
algebraic-topology homology-cohomology
$endgroup$
add a comment |
$begingroup$
I have to prove the Borsuk-Ulam theorem following some specific steps.
The theorem says that:
For every continuous function $f: S^n rightarrow mathbb{R}^n$ there exists $x in S^n$ with $f(-x)=f(x)$.
I am using the cover of $mathbb{R}P^n$ by $S^n$. I showed every singular simplex $tildesigma$ of $mathbb{R}P^n$ can be lifted to $sigma$ and $tau sigma$ singular simplexes of $S^n$.
This induces an application $t:C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2), tildesigma rightarrow sigma + tausigma$ which is a chain complex morphism and induces a short exact sequence $$0 rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2) rightarrow 0$$ where the latter morphism is induced by the covering map. I managed to show all this. This implies directly existence of a long exact sequence in homology.
I should then show that $t circ p_star: C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(S^n,mathbb{F}_2)$ is zero where $p_star$ is induced by the covering map. Can you give me a hint for this?
I should then show that in the long exact sequence in hompology $$0=H_{n+1}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2) rightarrow H_{n}(S^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n-1}(mathbb{R}P^n,mathbb{F}_2)rightarrowcdots$$ the first and third morphisms are zero and the second and fourth isomorphisms. As the second is induced by $t$ and the third by $p_star$, I could already show that $p_star$ is zero, as $t$ is injective and the composition $t circ p_star$ zero. Thus $t$ is an isomorphism. Furthermore, the fourth morphism, $delta$ is injective. But how do I show its surjectivity?
Finally I should conclude that if $f: S^n rightarrow S^m$ is continuous such that, for every $x in S^n$, $f(-x)=-f(x)$, then $nleq m$, using "naturality of the long exact sequence". Could you please give me some hints?
algebraic-topology homology-cohomology
$endgroup$
$begingroup$
Only very few people seem to have been reached by this post. How could I change this?
$endgroup$
– C. S.
Dec 7 '18 at 18:15
add a comment |
$begingroup$
I have to prove the Borsuk-Ulam theorem following some specific steps.
The theorem says that:
For every continuous function $f: S^n rightarrow mathbb{R}^n$ there exists $x in S^n$ with $f(-x)=f(x)$.
I am using the cover of $mathbb{R}P^n$ by $S^n$. I showed every singular simplex $tildesigma$ of $mathbb{R}P^n$ can be lifted to $sigma$ and $tau sigma$ singular simplexes of $S^n$.
This induces an application $t:C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2), tildesigma rightarrow sigma + tausigma$ which is a chain complex morphism and induces a short exact sequence $$0 rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2) rightarrow 0$$ where the latter morphism is induced by the covering map. I managed to show all this. This implies directly existence of a long exact sequence in homology.
I should then show that $t circ p_star: C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(S^n,mathbb{F}_2)$ is zero where $p_star$ is induced by the covering map. Can you give me a hint for this?
I should then show that in the long exact sequence in hompology $$0=H_{n+1}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2) rightarrow H_{n}(S^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n-1}(mathbb{R}P^n,mathbb{F}_2)rightarrowcdots$$ the first and third morphisms are zero and the second and fourth isomorphisms. As the second is induced by $t$ and the third by $p_star$, I could already show that $p_star$ is zero, as $t$ is injective and the composition $t circ p_star$ zero. Thus $t$ is an isomorphism. Furthermore, the fourth morphism, $delta$ is injective. But how do I show its surjectivity?
Finally I should conclude that if $f: S^n rightarrow S^m$ is continuous such that, for every $x in S^n$, $f(-x)=-f(x)$, then $nleq m$, using "naturality of the long exact sequence". Could you please give me some hints?
algebraic-topology homology-cohomology
$endgroup$
I have to prove the Borsuk-Ulam theorem following some specific steps.
The theorem says that:
For every continuous function $f: S^n rightarrow mathbb{R}^n$ there exists $x in S^n$ with $f(-x)=f(x)$.
I am using the cover of $mathbb{R}P^n$ by $S^n$. I showed every singular simplex $tildesigma$ of $mathbb{R}P^n$ can be lifted to $sigma$ and $tau sigma$ singular simplexes of $S^n$.
This induces an application $t:C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2), tildesigma rightarrow sigma + tausigma$ which is a chain complex morphism and induces a short exact sequence $$0 rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2)rightarrow C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(mathbb{R}P^n,mathbb{F}_2) rightarrow 0$$ where the latter morphism is induced by the covering map. I managed to show all this. This implies directly existence of a long exact sequence in homology.
I should then show that $t circ p_star: C_{star}(S^n,mathbb{F}_2) rightarrow C_{star}(S^n,mathbb{F}_2)$ is zero where $p_star$ is induced by the covering map. Can you give me a hint for this?
I should then show that in the long exact sequence in hompology $$0=H_{n+1}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2) rightarrow H_{n}(S^n,mathbb{F}_2)rightarrow H_{n}(mathbb{R}P^n,mathbb{F}_2)rightarrow H_{n-1}(mathbb{R}P^n,mathbb{F}_2)rightarrowcdots$$ the first and third morphisms are zero and the second and fourth isomorphisms. As the second is induced by $t$ and the third by $p_star$, I could already show that $p_star$ is zero, as $t$ is injective and the composition $t circ p_star$ zero. Thus $t$ is an isomorphism. Furthermore, the fourth morphism, $delta$ is injective. But how do I show its surjectivity?
Finally I should conclude that if $f: S^n rightarrow S^m$ is continuous such that, for every $x in S^n$, $f(-x)=-f(x)$, then $nleq m$, using "naturality of the long exact sequence". Could you please give me some hints?
algebraic-topology homology-cohomology
algebraic-topology homology-cohomology
edited Dec 7 '18 at 20:19
J.G.
28.7k22845
28.7k22845
asked Dec 5 '18 at 19:19
C. S.C. S.
263
263
$begingroup$
Only very few people seem to have been reached by this post. How could I change this?
$endgroup$
– C. S.
Dec 7 '18 at 18:15
add a comment |
$begingroup$
Only very few people seem to have been reached by this post. How could I change this?
$endgroup$
– C. S.
Dec 7 '18 at 18:15
$begingroup$
Only very few people seem to have been reached by this post. How could I change this?
$endgroup$
– C. S.
Dec 7 '18 at 18:15
$begingroup$
Only very few people seem to have been reached by this post. How could I change this?
$endgroup$
– C. S.
Dec 7 '18 at 18:15
add a comment |
0
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',
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%2f3027522%2fproof-of-borsuk-ulam-theorem-using-singular-homology%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3027522%2fproof-of-borsuk-ulam-theorem-using-singular-homology%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
$begingroup$
Only very few people seem to have been reached by this post. How could I change this?
$endgroup$
– C. S.
Dec 7 '18 at 18:15