World Library  
Flag as Inappropriate
Email this Article

Open map

Article Id: WHEBN0000898366
Reproduction Date:

Title: Open map  
Author: World Heritage Encyclopedia
Language: English
Subject: Glossary of topology
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Open map

In topology, an open map is a function between two topological spaces which maps open sets to open sets.[1] That is, a function f : XY is open if for any open set U in X, the image f(U) is open in Y. Likewise, a closed map is a function which maps closed sets to closed sets. (The concept of a closed map should not be confused with that of a closed operator.)

Neither open nor closed maps are required to be continuous. Although their definitions seem more natural, open and closed maps are much less important than continuous maps. Recall that, by definition, a function f : XY is continuous if the preimage of every open set of Y is open in X. (Equivalently, if the preimage of every closed set of Y is closed in X).

Examples

Every homeomorphism is open, closed, and continuous. In fact, a bijective continuous map is a homeomorphism if and only if it is open, or equivalently, if and only if it is closed.

If Y has the discrete topology (i.e. all subsets are open and closed) then every function f : XY is both open and closed (but not necessarily continuous). For example, the floor function from R to Z is open and closed, but not continuous. This example shows that the image of a connected space under an open or closed map need not be connected.

Whenever we have a product of topological spaces XXi, the natural projections pi : XXi are open (as well as continuous). Since the projections of fiber bundles and covering maps are locally natural projections of products, these are also open maps. Projections need not be closed however. Consider for instance the projection p1 : R2R on the first component; A = {(x,1/x) : x≠0} is closed in R2, but p1(A) = R − {0} is not closed. However, for compact Y, the projection X × Y → X is closed. This is essentially the tube lemma.

To every point on the unit circle we can associate the angle of the positive x-axis with the ray connecting the point with the origin. This function from the unit circle to the half-open interval [0,2π) is bijective, open, and closed, but not continuous. It shows that the image of a compact space under an open or closed map need not be compact. Also note that if we consider this as a function from the unit circle to the real numbers, then it is neither open nor closed. Specifying the codomain is essential.

The function f : RR with f(x) = x2 is continuous and closed, but not open.

Properties

A function f : XY is open if and only if for every x in X and every neighborhood U of x (however small), there exists a neighborhood V of f(x) such that Vf(U).

It suffices to check openness on a basis for X. That is, a function f : XY is open if and only if it maps basic open sets to open sets.

Open and closed maps can also be characterized by the interior and closure operators. Let f : XY be a function. Then

  • f is open if and only if f(A°) ⊆ f(A)° for all AX
  • f is closed if and only if f(A)f(A) for all AX

The composition of two open maps is again open; the composition of two closed maps is again closed.

The product of two open maps is open, however the product of two closed maps need not be closed.

A bijective map is open if and only if it is closed. The inverse of a bijective continuous map is a bijective open/closed map (and vice-versa).

A surjective open map is not necessarily a closed map, and likewise a surjective closed map is not necessarily an open map.

Let f : XY be a continuous map which is either open or closed. Then

In the first two cases, being open or closed is merely a sufficient condition for the result to follow. In the third case it is necessary as well.

Open and closed mapping theorems

It is useful to have conditions for determining when a map is open or closed. The following are some results along these lines.

The closed map lemma states that every continuous function f : XY from a compact space X to a Hausdorff space Y is closed and proper (i.e. preimages of compact sets are compact). A variant of this result states that if a continuous function between locally compact Hausdorff spaces is proper, then it is also closed.

In functional analysis, the open mapping theorem states that every surjective continuous linear operator between Banach spaces is an open map.

In complex analysis, the identically named open mapping theorem states that every non-constant holomorphic function defined on a connected open subset of the complex plane is an open map.

The invariance of domain theorem states that a continuous and locally injective function between two n-dimensional topological manifolds must be open.

See also

References

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.