#Diffeomorphisms

9 messages · Page 1 of 1 (latest)

sleek quiver
#

I have some trouble proving that tan x in (-pi/2,pi/2) is a diffeomorphism,specially in showing that tan x is C infinity, any suggestion?

gray ivyBOT
pine stream
#

@sleek quiver

#

tanx=sinx .(1/cosx)

#

since composition of two C^inf functions are also C^inf

#

Let g=1/x and f=cosx then gf(x)=1/cosx is also C^inf

#

Now product of two C^inf functions is also C^inf

sleek quiver
#

Oh that makes sense 😅, I was thinking in taking its derivatives