Encyclopedia > Local homeomorphism

  Article Content

Local homeomorphism

In topology, a local homeomorphism is a map f from one topological space X to another, Y, that respects locally the topological structure. More precisely, for all points x of X there should be an open neighbourhood N of x, such that f(N) is open in Y and f restricted to N is a homeomorphism from N to f(N).

Some examples

Taking X and Y to be the circle S1, regarded as the quotient space R/Z, we can take f to be the function induced by multiplication by n for any integer n. Then this is a local homeomorphism for all non-zero n, but a homeomorphism only in the cases where it is bijective, i.e. n = 1 and -1.

It is shown in complex analysis that a complex analytic function f gives a local homeomorphism precisely when the derivative f'(z) is non-zero for all z in the domain of f. The function f(z) = zn on an open disk round 0 is not a local homeomorphism at 0 when n is at least 2. In that case 0 is a point of "ramification" (intuitively, n sheets come together there).

All covering maps are local homeomorphisms; in particular, the universal cover p : CX of a space X is a local homeomorphism.

Every homeomorphism is of course also a local homeomorphism.

Properties

Every local homeomorphism is a continuous and open[?] map. A local homeomorphism f : XY preserves "local" topological properties:



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Shoreham, New York

...     Contents Shoreham, New York Shoreham is a village located in Suffolk County, New York. As of the 2000 census, the village had a total population of 417. ...

 
 
 
This page was created in 31.7 ms