Fiber of Regular Value on Manifold











up vote
1
down vote

favorite












I have some questions about the arguments used in following excerpt in J. Milnor's " Topology from the differentiable view point":
enter image description here



We have following setting: $f: H^m to N^n$ is a smooth map from a $m$-manifold with boundary $partial H^m$ to a $n$-manifold without boundary. Set $y in N_n $ regular for $f$ and the restriction $f vert _{partial N}$.
This means that $dim T_x f= dim_x (f vert _{partial H^m}) =n$ for every $x in f^{-1}(y)$.



Since the problem is local we assume $N^n= mathbb{R}^n$.



My questions are:



Let $x in pi^{-1}(0) subset f^{-1}(y)$.



1.: Why the tangent space $T_x pi$ equals to the null space (= kernel) of the tangential map $dg_x = df: mathbb{R}^m to mathbb{R}^n$?
(remark: $dg_x = T_xg: T_xH^m to T_{g(x)}mathbb{R}^n$ where $T_xH^m= mathbb{R}^m$ since $H^m$ is a $m$-manifold and $T_{g(x)}mathbb{R}^n = mathbb{R}^n$




  1. Why the fact that $f vert _{partial H^m}$ and $f$ are regular implies that $ker(T_x g) not subset mathbb{R}^{m-1} times {0}$?


We know that since $f$ and $f vert _{partial H^m}$ regular, then $ker(T_x f)= m-n$ and $ker(T_x (f vert _{partial H^m}))= m-1-n$ by linear algbra but I don't see how it should imply $pi(ker(T_x f)) neq 0$.










share|cite|improve this question




























    up vote
    1
    down vote

    favorite












    I have some questions about the arguments used in following excerpt in J. Milnor's " Topology from the differentiable view point":
    enter image description here



    We have following setting: $f: H^m to N^n$ is a smooth map from a $m$-manifold with boundary $partial H^m$ to a $n$-manifold without boundary. Set $y in N_n $ regular for $f$ and the restriction $f vert _{partial N}$.
    This means that $dim T_x f= dim_x (f vert _{partial H^m}) =n$ for every $x in f^{-1}(y)$.



    Since the problem is local we assume $N^n= mathbb{R}^n$.



    My questions are:



    Let $x in pi^{-1}(0) subset f^{-1}(y)$.



    1.: Why the tangent space $T_x pi$ equals to the null space (= kernel) of the tangential map $dg_x = df: mathbb{R}^m to mathbb{R}^n$?
    (remark: $dg_x = T_xg: T_xH^m to T_{g(x)}mathbb{R}^n$ where $T_xH^m= mathbb{R}^m$ since $H^m$ is a $m$-manifold and $T_{g(x)}mathbb{R}^n = mathbb{R}^n$




    1. Why the fact that $f vert _{partial H^m}$ and $f$ are regular implies that $ker(T_x g) not subset mathbb{R}^{m-1} times {0}$?


    We know that since $f$ and $f vert _{partial H^m}$ regular, then $ker(T_x f)= m-n$ and $ker(T_x (f vert _{partial H^m}))= m-1-n$ by linear algbra but I don't see how it should imply $pi(ker(T_x f)) neq 0$.










    share|cite|improve this question


























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      I have some questions about the arguments used in following excerpt in J. Milnor's " Topology from the differentiable view point":
      enter image description here



      We have following setting: $f: H^m to N^n$ is a smooth map from a $m$-manifold with boundary $partial H^m$ to a $n$-manifold without boundary. Set $y in N_n $ regular for $f$ and the restriction $f vert _{partial N}$.
      This means that $dim T_x f= dim_x (f vert _{partial H^m}) =n$ for every $x in f^{-1}(y)$.



      Since the problem is local we assume $N^n= mathbb{R}^n$.



      My questions are:



      Let $x in pi^{-1}(0) subset f^{-1}(y)$.



      1.: Why the tangent space $T_x pi$ equals to the null space (= kernel) of the tangential map $dg_x = df: mathbb{R}^m to mathbb{R}^n$?
      (remark: $dg_x = T_xg: T_xH^m to T_{g(x)}mathbb{R}^n$ where $T_xH^m= mathbb{R}^m$ since $H^m$ is a $m$-manifold and $T_{g(x)}mathbb{R}^n = mathbb{R}^n$




      1. Why the fact that $f vert _{partial H^m}$ and $f$ are regular implies that $ker(T_x g) not subset mathbb{R}^{m-1} times {0}$?


      We know that since $f$ and $f vert _{partial H^m}$ regular, then $ker(T_x f)= m-n$ and $ker(T_x (f vert _{partial H^m}))= m-1-n$ by linear algbra but I don't see how it should imply $pi(ker(T_x f)) neq 0$.










      share|cite|improve this question















      I have some questions about the arguments used in following excerpt in J. Milnor's " Topology from the differentiable view point":
      enter image description here



      We have following setting: $f: H^m to N^n$ is a smooth map from a $m$-manifold with boundary $partial H^m$ to a $n$-manifold without boundary. Set $y in N_n $ regular for $f$ and the restriction $f vert _{partial N}$.
      This means that $dim T_x f= dim_x (f vert _{partial H^m}) =n$ for every $x in f^{-1}(y)$.



      Since the problem is local we assume $N^n= mathbb{R}^n$.



      My questions are:



      Let $x in pi^{-1}(0) subset f^{-1}(y)$.



      1.: Why the tangent space $T_x pi$ equals to the null space (= kernel) of the tangential map $dg_x = df: mathbb{R}^m to mathbb{R}^n$?
      (remark: $dg_x = T_xg: T_xH^m to T_{g(x)}mathbb{R}^n$ where $T_xH^m= mathbb{R}^m$ since $H^m$ is a $m$-manifold and $T_{g(x)}mathbb{R}^n = mathbb{R}^n$




      1. Why the fact that $f vert _{partial H^m}$ and $f$ are regular implies that $ker(T_x g) not subset mathbb{R}^{m-1} times {0}$?


      We know that since $f$ and $f vert _{partial H^m}$ regular, then $ker(T_x f)= m-n$ and $ker(T_x (f vert _{partial H^m}))= m-1-n$ by linear algbra but I don't see how it should imply $pi(ker(T_x f)) neq 0$.







      differential-topology smooth-manifolds






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 15 at 0:38

























      asked Nov 14 at 23:30









      KarlPeter

      5781313




      5781313






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          0
          down vote













          enter image description here



          This should answer question 1. I am not sure, immediately, how to answer your second question. I'll make an edit if I think of something.






          share|cite|improve this answer





















            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',
            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%2f2998966%2ffiber-of-regular-value-on-manifold%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








            up vote
            0
            down vote













            enter image description here



            This should answer question 1. I am not sure, immediately, how to answer your second question. I'll make an edit if I think of something.






            share|cite|improve this answer

























              up vote
              0
              down vote













              enter image description here



              This should answer question 1. I am not sure, immediately, how to answer your second question. I'll make an edit if I think of something.






              share|cite|improve this answer























                up vote
                0
                down vote










                up vote
                0
                down vote









                enter image description here



                This should answer question 1. I am not sure, immediately, how to answer your second question. I'll make an edit if I think of something.






                share|cite|improve this answer












                enter image description here



                This should answer question 1. I am not sure, immediately, how to answer your second question. I'll make an edit if I think of something.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 15 at 18:27









                Prototank

                925720




                925720






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998966%2ffiber-of-regular-value-on-manifold%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

                    What is the Guru Parampara of Kashmiri Shaivism?

                    Герой Советского Союза

                    AnyDesk - Fatal Program Failure