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":

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$
- 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
add a comment |
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":

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$
- 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
add a comment |
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":

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$
- 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
I have some questions about the arguments used in following excerpt in J. Milnor's " Topology from the differentiable view point":

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$
- 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
differential-topology smooth-manifolds
edited Nov 15 at 0:38
asked Nov 14 at 23:30
KarlPeter
5781313
5781313
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote

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.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote

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.
add a comment |
up vote
0
down vote

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.
add a comment |
up vote
0
down vote
up vote
0
down vote

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.

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.
answered Nov 15 at 18:27
Prototank
925720
925720
add a comment |
add a comment |
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%2f2998966%2ffiber-of-regular-value-on-manifold%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