A problem in Wedge product of topological spacesWhy do we use the smash product in the category of based topological spaces?Hatcher Algebraic Topology 0.24Wedge Sum Embedding with InclusionsUnderstanding smash product of discrete space.Smash product of two pointed spacesInjectivity of $[(S^n, ;x_o), ;(S^n, ;x_o)]^circ longrightarrow [S^n, ;S^n]$Wedge Sum ExampleFixed point of a map of wedge productDefining the Smash product$X/Awedge Y/B= (Xtimes Y)/(Xtimes Bcup Atimes Y)$
Why would Dementors torture a Death Eater if they are loyal to Voldemort?
How far can gerrymandering go?
Rear derailleur got caught in the spokes, what could be a root cause
Should Catholics in a state of grace call themselves sinners?
Why am I getting an electric shock from the water in my hot tub?
Why wasn't ASCII designed with a contiguous alphanumeric character order?
Why are examinees often not allowed to leave during the start and end of an exam?
How would one prevent political gerrymandering?
Why do movie directors use brown tint on Mexico cities?
Equatorial oceanic river caused by tides
What verb for taking advantage fits in "I don't want to ________ on the friendship"?
Checkmate in 1 on a Tangled Board
How does the 'five minute adventuring day' affect class balance?
How did they film the Invisible Man being invisible in 1933?
Listen to my Story...Let us find the Unique Invisible Pan Digital Pair
Is having 4 bed leveling adjustment points rather than 3 problematic?
How does mmorpg store data?
What prevents a US state from colonizing a smaller state?
Avoiding repetition when using the "snprintf idiom" to write text
I agreed to cancel a long-planned vacation (with travel costs) due to project deadlines, but now the timeline has all changed again
Active wildlife outside the window- Good or Bad for Cat psychology?
Does friction always oppose motion?
Can I take Amul cottage cheese from India to Netherlands?
I just started; should I accept a farewell lunch for a coworker I don't know?
A problem in Wedge product of topological spaces
Why do we use the smash product in the category of based topological spaces?Hatcher Algebraic Topology 0.24Wedge Sum Embedding with InclusionsUnderstanding smash product of discrete space.Smash product of two pointed spacesInjectivity of $[(S^n, ;x_o), ;(S^n, ;x_o)]^circ longrightarrow [S^n, ;S^n]$Wedge Sum ExampleFixed point of a map of wedge productDefining the Smash product$X/Awedge Y/B= (Xtimes Y)/(Xtimes Bcup Atimes Y)$
$begingroup$
I am studying algebraic topology and I am a beginner in it. I want to prove that if $ (X, x_0) sim
(Y, y_0) $
and
$(Z, z_0) sim (W , w_0) $ then $ Xvee Z sim Yvee W .$ X,Y, Z, W are top spaces
I have just an intuition that wedge product seems something like glueing two spaces together in a point. I don't know how can I start to think about it and solve it. Any help would be great thanks.
algebraic-topology homotopy-theory
$endgroup$
add a comment |
$begingroup$
I am studying algebraic topology and I am a beginner in it. I want to prove that if $ (X, x_0) sim
(Y, y_0) $
and
$(Z, z_0) sim (W , w_0) $ then $ Xvee Z sim Yvee W .$ X,Y, Z, W are top spaces
I have just an intuition that wedge product seems something like glueing two spaces together in a point. I don't know how can I start to think about it and solve it. Any help would be great thanks.
algebraic-topology homotopy-theory
$endgroup$
1
$begingroup$
This is most easily done by mapping properties of wedges and quotients.
$endgroup$
– Randall
Jun 21 at 11:40
add a comment |
$begingroup$
I am studying algebraic topology and I am a beginner in it. I want to prove that if $ (X, x_0) sim
(Y, y_0) $
and
$(Z, z_0) sim (W , w_0) $ then $ Xvee Z sim Yvee W .$ X,Y, Z, W are top spaces
I have just an intuition that wedge product seems something like glueing two spaces together in a point. I don't know how can I start to think about it and solve it. Any help would be great thanks.
algebraic-topology homotopy-theory
$endgroup$
I am studying algebraic topology and I am a beginner in it. I want to prove that if $ (X, x_0) sim
(Y, y_0) $
and
$(Z, z_0) sim (W , w_0) $ then $ Xvee Z sim Yvee W .$ X,Y, Z, W are top spaces
I have just an intuition that wedge product seems something like glueing two spaces together in a point. I don't know how can I start to think about it and solve it. Any help would be great thanks.
algebraic-topology homotopy-theory
algebraic-topology homotopy-theory
edited Jun 21 at 15:20
Eric Wofsey
201k14 gold badges234 silver badges365 bronze badges
201k14 gold badges234 silver badges365 bronze badges
asked Jun 21 at 11:22
Fatemeh SafinejadFatemeh Safinejad
966 bronze badges
966 bronze badges
1
$begingroup$
This is most easily done by mapping properties of wedges and quotients.
$endgroup$
– Randall
Jun 21 at 11:40
add a comment |
1
$begingroup$
This is most easily done by mapping properties of wedges and quotients.
$endgroup$
– Randall
Jun 21 at 11:40
1
1
$begingroup$
This is most easily done by mapping properties of wedges and quotients.
$endgroup$
– Randall
Jun 21 at 11:40
$begingroup$
This is most easily done by mapping properties of wedges and quotients.
$endgroup$
– Randall
Jun 21 at 11:40
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Generally speaking, (particularly if you're new to algebraic topology), a good approach can be we actually write down the maps which give you a homotopy equivalence of spaces. I will give you a few hints to get you going.
HINTS:
You start by assuming that $(X, x_0) sim (Y, y_0)$ and $(Z, z_0)
sim (W , w_0)$. This is extremely important. That tells you that you have some maps back and
forth which satisfy a certain property to do with their composition
being homotopy equivalent to the identity. Keep these maps, and the homotopies which give you your homotopy equivalences, in mind.You can use these maps back and forth to build yourself some maps back and forth on the wedges of spaces $Xvee Z leftrightarrow Yvee W$.
You then want to show that the composition of these maps is homotopic to the identity on both spaces - the definition of the spaces being homotopy equivalent. To do that, you're going to want to use the homotopies from earlier, which give you that your spaces are homotopy equivalent.
The above is the bare bones of what I imagine is the argument you'll want to run. Give it a shot, and then if you want more details please comment and I can try to say a little more.
$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
);
);
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%2f3269599%2fa-problem-in-wedge-product-of-topological-spaces%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$
Generally speaking, (particularly if you're new to algebraic topology), a good approach can be we actually write down the maps which give you a homotopy equivalence of spaces. I will give you a few hints to get you going.
HINTS:
You start by assuming that $(X, x_0) sim (Y, y_0)$ and $(Z, z_0)
sim (W , w_0)$. This is extremely important. That tells you that you have some maps back and
forth which satisfy a certain property to do with their composition
being homotopy equivalent to the identity. Keep these maps, and the homotopies which give you your homotopy equivalences, in mind.You can use these maps back and forth to build yourself some maps back and forth on the wedges of spaces $Xvee Z leftrightarrow Yvee W$.
You then want to show that the composition of these maps is homotopic to the identity on both spaces - the definition of the spaces being homotopy equivalent. To do that, you're going to want to use the homotopies from earlier, which give you that your spaces are homotopy equivalent.
The above is the bare bones of what I imagine is the argument you'll want to run. Give it a shot, and then if you want more details please comment and I can try to say a little more.
$endgroup$
add a comment |
$begingroup$
Generally speaking, (particularly if you're new to algebraic topology), a good approach can be we actually write down the maps which give you a homotopy equivalence of spaces. I will give you a few hints to get you going.
HINTS:
You start by assuming that $(X, x_0) sim (Y, y_0)$ and $(Z, z_0)
sim (W , w_0)$. This is extremely important. That tells you that you have some maps back and
forth which satisfy a certain property to do with their composition
being homotopy equivalent to the identity. Keep these maps, and the homotopies which give you your homotopy equivalences, in mind.You can use these maps back and forth to build yourself some maps back and forth on the wedges of spaces $Xvee Z leftrightarrow Yvee W$.
You then want to show that the composition of these maps is homotopic to the identity on both spaces - the definition of the spaces being homotopy equivalent. To do that, you're going to want to use the homotopies from earlier, which give you that your spaces are homotopy equivalent.
The above is the bare bones of what I imagine is the argument you'll want to run. Give it a shot, and then if you want more details please comment and I can try to say a little more.
$endgroup$
add a comment |
$begingroup$
Generally speaking, (particularly if you're new to algebraic topology), a good approach can be we actually write down the maps which give you a homotopy equivalence of spaces. I will give you a few hints to get you going.
HINTS:
You start by assuming that $(X, x_0) sim (Y, y_0)$ and $(Z, z_0)
sim (W , w_0)$. This is extremely important. That tells you that you have some maps back and
forth which satisfy a certain property to do with their composition
being homotopy equivalent to the identity. Keep these maps, and the homotopies which give you your homotopy equivalences, in mind.You can use these maps back and forth to build yourself some maps back and forth on the wedges of spaces $Xvee Z leftrightarrow Yvee W$.
You then want to show that the composition of these maps is homotopic to the identity on both spaces - the definition of the spaces being homotopy equivalent. To do that, you're going to want to use the homotopies from earlier, which give you that your spaces are homotopy equivalent.
The above is the bare bones of what I imagine is the argument you'll want to run. Give it a shot, and then if you want more details please comment and I can try to say a little more.
$endgroup$
Generally speaking, (particularly if you're new to algebraic topology), a good approach can be we actually write down the maps which give you a homotopy equivalence of spaces. I will give you a few hints to get you going.
HINTS:
You start by assuming that $(X, x_0) sim (Y, y_0)$ and $(Z, z_0)
sim (W , w_0)$. This is extremely important. That tells you that you have some maps back and
forth which satisfy a certain property to do with their composition
being homotopy equivalent to the identity. Keep these maps, and the homotopies which give you your homotopy equivalences, in mind.You can use these maps back and forth to build yourself some maps back and forth on the wedges of spaces $Xvee Z leftrightarrow Yvee W$.
You then want to show that the composition of these maps is homotopic to the identity on both spaces - the definition of the spaces being homotopy equivalent. To do that, you're going to want to use the homotopies from earlier, which give you that your spaces are homotopy equivalent.
The above is the bare bones of what I imagine is the argument you'll want to run. Give it a shot, and then if you want more details please comment and I can try to say a little more.
answered Jun 21 at 12:01
MattMatt
2,7788 silver badges21 bronze badges
2,7788 silver badges21 bronze badges
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.
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%2f3269599%2fa-problem-in-wedge-product-of-topological-spaces%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
1
$begingroup$
This is most easily done by mapping properties of wedges and quotients.
$endgroup$
– Randall
Jun 21 at 11:40