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)$













4












$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.










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    This is most easily done by mapping properties of wedges and quotients.
    $endgroup$
    – Randall
    Jun 21 at 11:40















4












$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.










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    This is most easily done by mapping properties of wedges and quotients.
    $endgroup$
    – Randall
    Jun 21 at 11:40













4












4








4





$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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












  • 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










1 Answer
1






active

oldest

votes


















7












$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.






share|cite|improve this answer









$endgroup$















    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
    );



    );













    draft saved

    draft discarded


















    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









    7












    $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.






    share|cite|improve this answer









    $endgroup$

















      7












      $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.






      share|cite|improve this answer









      $endgroup$















        7












        7








        7





        $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.






        share|cite|improve this answer









        $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.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jun 21 at 12:01









        MattMatt

        2,7788 silver badges21 bronze badges




        2,7788 silver badges21 bronze badges



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

            Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

            Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?