If $gamma : (-1,1) to mathrmO(n)$ is a differentiable curve with $gamma (0) = I_n$, then $gamma ' (0)$ is skew-symmetric
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
I was trying the following problem :
Let $operatornameO(n)$ be the group of $n times n$ orthogonal matrices. Show that if $gamma : (-1,1) to operatornameO(n)$ is a differentiable curve such that $gamma(0) = I_n$ , then $gamma'(0)$ is a skew-symmetric matrix.
What can be said if $gamma(0)$ is an arbitrary element $O in operatornameO(n)$?
Repeat the exercise replacing $operatornameO(n)$ by $operatornameSO(n)$.
I have no ideas regarding the problem and hence could not proceed.Thanks in advance for help.
real-analysis multivariable-calculus derivatives
add a comment |Â
up vote
0
down vote
favorite
I was trying the following problem :
Let $operatornameO(n)$ be the group of $n times n$ orthogonal matrices. Show that if $gamma : (-1,1) to operatornameO(n)$ is a differentiable curve such that $gamma(0) = I_n$ , then $gamma'(0)$ is a skew-symmetric matrix.
What can be said if $gamma(0)$ is an arbitrary element $O in operatornameO(n)$?
Repeat the exercise replacing $operatornameO(n)$ by $operatornameSO(n)$.
I have no ideas regarding the problem and hence could not proceed.Thanks in advance for help.
real-analysis multivariable-calculus derivatives
These aren't hw problems. I am trying differentiation in general banach space context but i have no idea on how to solve the problems, so I'm asking. You can also see my other posts. When I'm able to attempt anything, i mention. When I can't I honestly say I haven't been able to.
â ThatIs
Aug 31 at 9:01
@uniquesolution you don't know in what condition I am right now.
â ThatIs
Aug 31 at 13:48
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I was trying the following problem :
Let $operatornameO(n)$ be the group of $n times n$ orthogonal matrices. Show that if $gamma : (-1,1) to operatornameO(n)$ is a differentiable curve such that $gamma(0) = I_n$ , then $gamma'(0)$ is a skew-symmetric matrix.
What can be said if $gamma(0)$ is an arbitrary element $O in operatornameO(n)$?
Repeat the exercise replacing $operatornameO(n)$ by $operatornameSO(n)$.
I have no ideas regarding the problem and hence could not proceed.Thanks in advance for help.
real-analysis multivariable-calculus derivatives
I was trying the following problem :
Let $operatornameO(n)$ be the group of $n times n$ orthogonal matrices. Show that if $gamma : (-1,1) to operatornameO(n)$ is a differentiable curve such that $gamma(0) = I_n$ , then $gamma'(0)$ is a skew-symmetric matrix.
What can be said if $gamma(0)$ is an arbitrary element $O in operatornameO(n)$?
Repeat the exercise replacing $operatornameO(n)$ by $operatornameSO(n)$.
I have no ideas regarding the problem and hence could not proceed.Thanks in advance for help.
real-analysis multivariable-calculus derivatives
real-analysis multivariable-calculus derivatives
edited Aug 31 at 14:42
Jendrik Stelzner
7,69121137
7,69121137
asked Aug 31 at 8:33
ThatIs
1,070423
1,070423
These aren't hw problems. I am trying differentiation in general banach space context but i have no idea on how to solve the problems, so I'm asking. You can also see my other posts. When I'm able to attempt anything, i mention. When I can't I honestly say I haven't been able to.
â ThatIs
Aug 31 at 9:01
@uniquesolution you don't know in what condition I am right now.
â ThatIs
Aug 31 at 13:48
add a comment |Â
These aren't hw problems. I am trying differentiation in general banach space context but i have no idea on how to solve the problems, so I'm asking. You can also see my other posts. When I'm able to attempt anything, i mention. When I can't I honestly say I haven't been able to.
â ThatIs
Aug 31 at 9:01
@uniquesolution you don't know in what condition I am right now.
â ThatIs
Aug 31 at 13:48
These aren't hw problems. I am trying differentiation in general banach space context but i have no idea on how to solve the problems, so I'm asking. You can also see my other posts. When I'm able to attempt anything, i mention. When I can't I honestly say I haven't been able to.
â ThatIs
Aug 31 at 9:01
These aren't hw problems. I am trying differentiation in general banach space context but i have no idea on how to solve the problems, so I'm asking. You can also see my other posts. When I'm able to attempt anything, i mention. When I can't I honestly say I haven't been able to.
â ThatIs
Aug 31 at 9:01
@uniquesolution you don't know in what condition I am right now.
â ThatIs
Aug 31 at 13:48
@uniquesolution you don't know in what condition I am right now.
â ThatIs
Aug 31 at 13:48
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
If $M,N$ are smooth manifolds and $f colon M to N$ is a smooth map, then its pushforward at $p in M$ is $$f_p*colon T_pM rightarrow T_f(p)N :X_p mapsto fracddtf(alpha(t))biggrlvert_t=0$$
where $alpha$ is a curve on $M$ such that $alpha(0) = p$ and $alpha'(0) = X_p$.
In the case where $f$ is the curve $gamma$, then $M=(-1,1)$, $N=mathrmO(n)$, $T_pM = mathbbR$ and $T_f(p)N subseteq M(n,mathbbR)$ (the space of all $n times n$ matrices). So $gamma(t) in mathrmO(n)$ for any $t in (-1,1)$, hence $gamma(t)^T gamma(t) = mathrmid_n$ (where $^T$ denotes the transpose).
Check that its pushforward at the point $t$ is the derivative $gamma'(t)$. Since the identity map is constant, you can compute
$$fracddt gamma(t)^T gamma(t)biggrlvert_t=0 = 0 = gamma'(0)^Tgamma(0) +gamma(0)^Tgamma'(0).$$
Now $gamma(0) = mathrmid_n = gamma(0)^T$, then you get $gamma'(0)^T+gamma'(0) = 0$, that is $gamma'(0)^T = -gamma'(0)$. Thus $gamma'(0)$ is a skew-symmetric matrix in $M(n,mathbbR)$.
Now you should be able to complete the remaining points.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
If $M,N$ are smooth manifolds and $f colon M to N$ is a smooth map, then its pushforward at $p in M$ is $$f_p*colon T_pM rightarrow T_f(p)N :X_p mapsto fracddtf(alpha(t))biggrlvert_t=0$$
where $alpha$ is a curve on $M$ such that $alpha(0) = p$ and $alpha'(0) = X_p$.
In the case where $f$ is the curve $gamma$, then $M=(-1,1)$, $N=mathrmO(n)$, $T_pM = mathbbR$ and $T_f(p)N subseteq M(n,mathbbR)$ (the space of all $n times n$ matrices). So $gamma(t) in mathrmO(n)$ for any $t in (-1,1)$, hence $gamma(t)^T gamma(t) = mathrmid_n$ (where $^T$ denotes the transpose).
Check that its pushforward at the point $t$ is the derivative $gamma'(t)$. Since the identity map is constant, you can compute
$$fracddt gamma(t)^T gamma(t)biggrlvert_t=0 = 0 = gamma'(0)^Tgamma(0) +gamma(0)^Tgamma'(0).$$
Now $gamma(0) = mathrmid_n = gamma(0)^T$, then you get $gamma'(0)^T+gamma'(0) = 0$, that is $gamma'(0)^T = -gamma'(0)$. Thus $gamma'(0)$ is a skew-symmetric matrix in $M(n,mathbbR)$.
Now you should be able to complete the remaining points.
add a comment |Â
up vote
2
down vote
accepted
If $M,N$ are smooth manifolds and $f colon M to N$ is a smooth map, then its pushforward at $p in M$ is $$f_p*colon T_pM rightarrow T_f(p)N :X_p mapsto fracddtf(alpha(t))biggrlvert_t=0$$
where $alpha$ is a curve on $M$ such that $alpha(0) = p$ and $alpha'(0) = X_p$.
In the case where $f$ is the curve $gamma$, then $M=(-1,1)$, $N=mathrmO(n)$, $T_pM = mathbbR$ and $T_f(p)N subseteq M(n,mathbbR)$ (the space of all $n times n$ matrices). So $gamma(t) in mathrmO(n)$ for any $t in (-1,1)$, hence $gamma(t)^T gamma(t) = mathrmid_n$ (where $^T$ denotes the transpose).
Check that its pushforward at the point $t$ is the derivative $gamma'(t)$. Since the identity map is constant, you can compute
$$fracddt gamma(t)^T gamma(t)biggrlvert_t=0 = 0 = gamma'(0)^Tgamma(0) +gamma(0)^Tgamma'(0).$$
Now $gamma(0) = mathrmid_n = gamma(0)^T$, then you get $gamma'(0)^T+gamma'(0) = 0$, that is $gamma'(0)^T = -gamma'(0)$. Thus $gamma'(0)$ is a skew-symmetric matrix in $M(n,mathbbR)$.
Now you should be able to complete the remaining points.
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
If $M,N$ are smooth manifolds and $f colon M to N$ is a smooth map, then its pushforward at $p in M$ is $$f_p*colon T_pM rightarrow T_f(p)N :X_p mapsto fracddtf(alpha(t))biggrlvert_t=0$$
where $alpha$ is a curve on $M$ such that $alpha(0) = p$ and $alpha'(0) = X_p$.
In the case where $f$ is the curve $gamma$, then $M=(-1,1)$, $N=mathrmO(n)$, $T_pM = mathbbR$ and $T_f(p)N subseteq M(n,mathbbR)$ (the space of all $n times n$ matrices). So $gamma(t) in mathrmO(n)$ for any $t in (-1,1)$, hence $gamma(t)^T gamma(t) = mathrmid_n$ (where $^T$ denotes the transpose).
Check that its pushforward at the point $t$ is the derivative $gamma'(t)$. Since the identity map is constant, you can compute
$$fracddt gamma(t)^T gamma(t)biggrlvert_t=0 = 0 = gamma'(0)^Tgamma(0) +gamma(0)^Tgamma'(0).$$
Now $gamma(0) = mathrmid_n = gamma(0)^T$, then you get $gamma'(0)^T+gamma'(0) = 0$, that is $gamma'(0)^T = -gamma'(0)$. Thus $gamma'(0)$ is a skew-symmetric matrix in $M(n,mathbbR)$.
Now you should be able to complete the remaining points.
If $M,N$ are smooth manifolds and $f colon M to N$ is a smooth map, then its pushforward at $p in M$ is $$f_p*colon T_pM rightarrow T_f(p)N :X_p mapsto fracddtf(alpha(t))biggrlvert_t=0$$
where $alpha$ is a curve on $M$ such that $alpha(0) = p$ and $alpha'(0) = X_p$.
In the case where $f$ is the curve $gamma$, then $M=(-1,1)$, $N=mathrmO(n)$, $T_pM = mathbbR$ and $T_f(p)N subseteq M(n,mathbbR)$ (the space of all $n times n$ matrices). So $gamma(t) in mathrmO(n)$ for any $t in (-1,1)$, hence $gamma(t)^T gamma(t) = mathrmid_n$ (where $^T$ denotes the transpose).
Check that its pushforward at the point $t$ is the derivative $gamma'(t)$. Since the identity map is constant, you can compute
$$fracddt gamma(t)^T gamma(t)biggrlvert_t=0 = 0 = gamma'(0)^Tgamma(0) +gamma(0)^Tgamma'(0).$$
Now $gamma(0) = mathrmid_n = gamma(0)^T$, then you get $gamma'(0)^T+gamma'(0) = 0$, that is $gamma'(0)^T = -gamma'(0)$. Thus $gamma'(0)$ is a skew-symmetric matrix in $M(n,mathbbR)$.
Now you should be able to complete the remaining points.
edited Aug 31 at 9:13
answered Aug 31 at 9:00
Gibbs
3,4991524
3,4991524
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2900463%2fif-gamma-1-1-to-mathrmon-is-a-differentiable-curve-with-gamma-0%23new-answer', 'question_page');
);
Post as a guest
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
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
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
These aren't hw problems. I am trying differentiation in general banach space context but i have no idea on how to solve the problems, so I'm asking. You can also see my other posts. When I'm able to attempt anything, i mention. When I can't I honestly say I haven't been able to.
â ThatIs
Aug 31 at 9:01
@uniquesolution you don't know in what condition I am right now.
â ThatIs
Aug 31 at 13:48