| Open And Closed Maps |
Article Index for Open And |
Shopping Closed |
Website Links For Open |
Information AboutOpen And Closed Maps |
| CATEGORIES ABOUT OPEN AND CLOSED MAPS | |
| general topology | |
| continuous mappings | |
| lemmas | |
|
Neither open nor closed maps are required to be of every open set of ''Y'' is open in ''X''. EXAMPLES Every Homeomorphism is open, closed, and continuous. In fact, a Bijective continuous map is a homeomorphism If And Only If it's open, or equivalently, if and only if it's closed. If ''Y'' has the 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 ''X''=Π''X''''i'', then the natural projections ''p''''i'' : ''X'' → ''X''''i'' are open (as well as continuous). Since the projections of Fiber Bundle s and Covering Map s are locally natural projections of products, these are also open maps. Projections need not be closed however. Consider for instance the projection ''p''1 : R2 → R on the first component; ''A'' = {(''x'',1/''x'') : ''x''≠0} is closed in R2, but ''p''1(''A'') = R − {0} is not closed. 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 The function ''f'' : R → R with ''f''(''x'') = ''x''2 is continuous and closed, but not open. PROPERTIES A function ''f'' : ''X'' → ''Y'' 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 ''V'' ⊂ ''f''(''U''). A function ''f'' : ''X'' → ''Y'' is closed If And Only If whenever (''x''α) is a Net in ''X'' such that (''f''(''x''α)) has Limit ''y'', then (''x''α) has a subnet that converges towards a preimage of ''y''. Open and closed maps can also be characterized by the Interior and Closure Operator s. Let ''f'' : ''X'' → ''Y'' be a function. Then
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's closed. The inverse of a bijective continuous map is a bijective open/closed map (and vice-versa). Let ''f'' : ''X'' → ''Y'' 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'' : ''X'' → ''Y'' 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 Space s 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. |
|
|