On page 116 of Choquet-Bruhat,(adsbygoogle = window.adsbygoogle || []).push({}); Analysis, Manifolds, and Physics, Lie groups are defined, and the first exercise after that asks you to prove that

for a Lie group [itex]G[/itex]

[itex]

f:G \rightarrow G; x \mapsto x^{-1}

[/itex]

is differentiable. I know from the previous definitions that a function [itex] f [/itex] on a manifold is differentiable at [itex]x[/itex] if

[itex]

\psi \circ f \circ \phi^{-1}

[/itex]

is differentiable, where [itex](U, \phi)[/itex] and [itex](W, \psi)[/itex] are charts for neighborhoods of [itex] x [/itex] and [itex]y=f(x)=x^{-1}[/itex]. It's probably an indication of how weak my analysis is, but I don't see how to proceed from there. Can anyone point me in the right direction?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proving differentiability of function on a Lie group.

Loading...

Similar Threads for Proving differentiability function | Date |
---|---|

How to prove if f(x) is infinitely differentiable | Oct 24, 2010 |

Is there a way to prove the quotient rule using differentials | Jun 9, 2010 |

Continuity proved by differentiation | Apr 22, 2010 |

Proving that a certain f(x) can't be zero by differentiating | Jul 1, 2009 |

I have to prove x^3 is differentiable at x=4 | Dec 11, 2007 |

**Physics Forums - The Fusion of Science and Community**