I Do diffeomorphisms have to be one-to-one functions?

Antineutrino
Messages
6
Reaction score
0
The definition of a diffeomorphism involves the differentiable inverse of a function, so must the original function be one-to-one to make its inverse a function, or can the inverse be a relation and not a function?

Sorry if it's a silly question, I am just a second semester calc student who looked at this for fun.
 
Physics news on Phys.org
Antineutrino said:
The definition of a diffeomorphism involves the differentiable inverse of a function, so must the original function be one-to-one to make its inverse a function, or can the inverse be a relation and not a function?

Sorry if it's a silly question, I am just a second semester calc student who looked at this for fun.
If a function is not one-to-one, then it has no inverse.
 
Hello! There is a simple line in the textbook. If ##S## is a manifold, an injectively immersed submanifold ##M## of ##S## is embedded if and only if ##M## is locally closed in ##S##. Recall the definition. M is locally closed if for each point ##x\in M## there open ##U\subset S## such that ##M\cap U## is closed in ##U##. Embedding to injective immesion is simple. The opposite direction is hard. Suppose I have ##N## as source manifold and ##f:N\rightarrow S## is the injective...
Back
Top