If $gamma : (-1,1) to mathrmO(n)$ is a differentiable curve with $gamma (0) = I_n$, then $gamma ' (0)$ is skew-symmetric

The name of the pictureThe name of the pictureThe name of the pictureClash 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.










share|cite|improve this question























  • 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














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.










share|cite|improve this question























  • 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












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.










share|cite|improve this question















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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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
















  • 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










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.






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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2900463%2fif-gamma-1-1-to-mathrmon-is-a-differentiable-curve-with-gamma-0%23new-answer', 'question_page');

    );

    Post as a guest






























    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.






    share|cite|improve this answer


























      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.






      share|cite|improve this answer
























        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.






        share|cite|improve this answer














        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.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Aug 31 at 9:13

























        answered Aug 31 at 9:00









        Gibbs

        3,4991524




        3,4991524



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            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













































































            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Mutual Information Always Non-negative

            Why am i infinitely getting the same tweet with the Twitter Search API?