Open and closed maps: Difference between revisions

Content deleted Content added

Inline

Revision as of 01:06, 26 April 2021

In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets.^[1]^[2]^[3] That is, a function $f:X\to Y$ 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 that maps closed sets to closed sets.^[3]^[4] A map may be open, closed, both, or neither;^[5] in particular, an open map need not be closed and vice versa.^[6]

Open^[7] and closed^[8] maps are not necessarily continuous.^[4] Further, continuity is independent of openness and closedness in the general case and a continuous function may have one, both, or neither property;^[3] this fact remains true even if one restricts oneself to metric spaces.^[9] Although their definitions seem more natural, open and closed maps are much less important than continuous maps. Recall that, by definition, a function $f:X\to Y$ is continuous if the preimage of every open set of $Y$ is open in $X.$ ^[2] (Equivalently, if the preimage of every closed set of $Y$ is closed in $X$ ).

Early study of open maps was pioneered by Simion Stoilow and Gordon Thomas Whyburn.^[10]

Definition and characterizations

If $S$ is a subset of a topological space then let ${\overline {S}}$ and $\operatorname {Cl} S$ (resp. $\operatorname {Int} S$ ) denote the closure (resp. interior) of $S$ in that space. Let $f:X\to Y$ be a function between topological spaces. If $S$ is any set then $f(S):=\left\{f(s)~:~s\in S\cap \operatorname {domain} f\right\}$ is called the image of $S$ under $f.$

Open maps

There are two different competing, but closely related, definitions of "open map" that are widely used, where both of these definitions can be summarized as: "it is a map that sends open sets to open sets." The following terminology is sometimes used to distinguish between the two definitions.

A map $f:X\to Y$ is called a

"Strongly open map" if whenever $U$ is an open subset of the domain $X$ then $f(U)$ is an open subset of $f$ 's codomain $Y.$
"Relatively open map" if whenever $U$ is an open subset of the domain $X$ then $f(U)$ is an open subset of $f$ 's image $\operatorname {Im} f:=f(X),$ where as usual, this set is endowed with the subspace topology induced on it by $f$ 's codomain $Y.$ ^[11]

By definition, the map $f:X\to Y$ is a relatively open map if and only if the surjection $f:X\to \operatorname {Im} f$ is a strongly open map. A surjective map is strongly open if and only if it a relatively open. So for this important special case, the definitions are equivalent.

Warning: Many authors define "open map" to mean "relatively open map" (e.g. The Encyclopedia of Mathematics) whiles others define "open map" to mean "strongly open map". In general, these definitions are not equivalent so it is thus advisable to always check what definition of "open map" an author is using.

Every strongly open map is a relatively open map and moreover, because $X$ is always an open subset of $X,$ the image $\operatorname {Im} f=f(X)$ of a strongly open map $f:X\to Y$ is necessarily an open subset of the codomain $Y.$ However, a relatively open map $f:X\to Y$ is a strongly open map if and only if its image $\operatorname {Im} f$ is an open subset of its codomain $Y.$ Because of this simple characterization, it is often straightforward to apply results involving one of these two definitions of "open map" to a situation involving the other definition.

A map $f:X\to Y$ is called an open map or a strongly open map if it satisfies any of the following equivalent conditions:

Definition: $f:X\to Y$ maps open subsets of its domain to open subsets of its codomain; that is, for any open subset $U$ of $X$ , $f(U)$ is an open subset of $Y.$
$f:X\to Y$ is a relatively open map and its image $\operatorname {Im} f:=f(X)$ is an open subset of its codomain $Y$ .
For every $x\in X$ $x\in X$ and every neighborhood $N$ $N$ of $x$ $x$ (however small), there exists a neighborhood $V$ $V$ of $f(x)$ $f(x)$ such that $V\subseteq f(N)$ $V\subseteq f(N)$ .
- Either instance of the word "neighborhood" in this statement can be replaced with "open neighborhood" and the resulting statement would still characterize strongly open maps.
$f\left(\operatorname {Int} _{X}A\right)\subseteq \operatorname {Int} _{Y}(f(A))$ for all subsets $A$ of $X,$ where $\operatorname {Int}$ denotes the topological interior of the set.
Whenever $C$ is a closed subset of $X$ then the set $\left\{y\in Y~:~f^{-1}(y)\subseteq C\right\}$ is a closed subset of $Y.$ ^[12]

and if ${\mathcal {B}}$ is a basis for $X$ then the following can be appended to this list:

$f$ maps basic open sets to open sets in its codomain (that is, for any basic open set $B\in {\mathcal {B}},$ $f(B)$ is an open subset of $Y$ ).

Closed maps

A map $f:X\to Y$ is called a relatively closed map if whenever $C$ is a closed subset of the domain $X$ then $f(C)$ is a closed subset of $f$ 's image $\operatorname {Im} f:=f(X),$ where as usual, this set is endowed with the subspace topology induced on it by $f$ 's codomain $Y.$

A map $f:X\to Y$ is called a closed map or a strongly closed map if it satisfies any of the following equivalent conditions:

Definition: $f:X\to Y$ maps closed subsets of its domain to closed subsets of its codomain; that is, for any closed subset $C$ of $X,$ $f(C)$ is an closed subset of $Y.$
$f:X\to Y$ is a relatively closed map and its image $\operatorname {Im} f:=f(X)$ is a closed subset of its codomain $Y.$
${\overline {f(A)}}\subseteq f\left({\overline {A}}\right)$ for every subset $A\subseteq X.$

A surjective map is strongly closed if and only if it a relatively closed. So for this important special case, the two definitions are equivalent. By definition, the map $f:X\to Y$ is a relatively closed map if and only if the surjection $f:X\to \operatorname {Im} f$ is a strongly closed map.

Examples

The function $f:\mathbb {R} \to \mathbb {R}$ defined by $f(x)=x^{2}$ is continuous, closed, and relatively open, but not (strongly) open. This is because if $U=(a,b)$ is any open interval in $f$ 's domain $\mathbb {R}$ that does not contain $0$ then $f(U)=(\min\{a^{2},b^{2}\},\max\{a^{2},b^{2}\}),$ where this open interval is an open subset of both $\mathbb {R}$ and $\operatorname {Im} f:=f(\mathbb {R} )=[0,\infty ).$ However, if $U=(a,b)$ is any open interval in $\mathbb {R}$ that contains $0$ then $f(U)=[0,\max\{a^{2},b^{2}\}),$ which is not an open subset of $f$ 's codomain $\mathbb {R}$ but is an open subset of $\operatorname {Im} f=[0,\infty ).$ Because the set of all open intervals in $\mathbb {R}$ is a basis for the Euclidean topology on $\mathbb {R} ,$ this shows that $f:\mathbb {R} \to \mathbb {R}$ is relatively open but not (strongly) open.

If $Y$ has the discrete topology (i.e. all subsets are open and closed) then every function $f:X\to Y$ is both open and closed (but not necessarily continuous). For example, the floor function from $\mathbb {R}$ to $\mathbb {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=\prod X_{i},$ the natural projections $p_{i}:X\to X_{i}$ are open^[13]^[14] (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 $p_{1}:\mathbb {R} ^{2}\to \mathbb {R}$ on the first component; then the set $A=\{\left(x,1/x\right):x\neq 0\}$ is closed in $\mathbb {R} ^{2},$ but $p_{1}(A)=\mathbb {R} \setminus \{0\}$ is not closed in $\mathbb {R} .$ However, for a compact space $Y,$ the projection $X\times Y\to 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.

Sufficient conditions

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.

The composition of two open maps (resp. closed maps) $f:X\to Y$ and $g:Y\to Z$ is again an open map (resp. a closed map) $g\circ f:X\to Z.$ ^[15]^[16] If however, $\operatorname {Im} f$ is not an open (resp. closed) subset of $\operatorname {domain} g$ then this is no longer guaranteed.

The categorical sum of two open maps is open, or of two closed maps is closed.^[16] The categorical product of two open maps is open, however, the categorical product of two closed maps need not be closed.^[15]^[16]

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.

Closed map lemma — Every continuous function $f:X\to 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 the closed map lemma states that if a continuous function between locally compact Hausdorff spaces is proper, then it is also closed.

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.

Invariance of domain — If $U$ is an open subset of $\mathbb {R} ^{n}$ and $f:U\to \mathbb {R} ^{n}$ is an injective continuous map, then $V:=f(U)$ is open in $\mathbb {R} ^{n}$ and $f$ is a homeomorphism between $U$ and $V.$

In functional analysis, the open mapping theorem states that every surjective continuous linear operator between Banach spaces is an open map. This theorem has been generalized to topological vector spaces beyond just Banach spaces.

A surjective map $f:X\to Y$ is called an almost open map if for every $y\in Y$ there exists some $x\in f^{-1}(y)$ such that $x$ is a point of openness for $f,$ which by definition means that for every open neighborhood $U$ of $x,$ $f(U)$ is a neighborhood of $f(x)$ in $Y$ (note that the neighborhood $f(U)$ is not required to be an open neighborhood). Every surjective open map is an almost open map but in general, the converse is not necessarily true. If a surjection $f:(X,\tau )\to (Y,\sigma )$ is an almost open map then it will be an open map if it satisfies the following condition (a condition that does not depend in any way on $Y$ 's topology $\sigma$ ):

whenever

m,n\in X

belong to the same fiber of

f

(i.e.

f(m)=f(n)

) then for every neighborhood

U\in \tau

of

m,

there exists some neighborhood

V\in \tau

of

n

such that

F(V)\subseteq F(U).

If the map is continuous then the above condition is also necessary for the map to be open. That is, if $f:X\to Y$ is a continuous surjection then it is an open map if and only if it is almost open and it satisfies the above condition.

Properties

Let $f:X\to Y$ be a map. Given any subset $T\subseteq Y,$ if $f:X\to Y$ is a relatively open (resp. relatively closed, strongly open, strongly closed, continuous, surjective) map then the same is true of its restriction

f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T

to the $f$ -saturated subset $f^{-1}(T).$

If $f:X\to Y$ is a continuous map that is also open or closed then:

if $f$ $f$ is a surjection then it is a quotient map and even a hereditarily quotient map,
- A surjective map $f:X\to Y$ is called hereditarily quotient if for every subset $T\subseteq Y,$ the restriction $f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T$ is a quotient map.
if $f$ is an injection then it is a topological embedding, and
if $f$ is a bijection then it is a homeomorphism.

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.

If $f:X\to Y$ is a continuous (strongly) open map, $A\subseteq X,$ and $S\subseteq Y,$ then:

$f^{-1}\left(\operatorname {Bd} _{Y}S\right)=\operatorname {Bd} _{X}\left(f^{-1}(S)\right)$ where $\operatorname {Bd}$ denotes the boundary of a set.
$f^{-1}\left({\overline {S}}\right)={\overline {f^{-1}(S)}}$ where ${\overline {S}}$ denote the closure of a set.
If ${\overline {A}}={\overline {\operatorname {Int} _{X}A}},$ where $\operatorname {Int}$ denotes the interior of a set, then
${\overline {\operatorname {Int} _{Y}f(A)}}={\overline {f(A)}}={\overline {f\left(\operatorname {Int} _{X}A\right)}}={\overline {f\left({\overline {\operatorname {Int} _{X}A}}\right)}}$
where this set ${\overline {f(A)}}$ is also necessarily a regular closed set (in $Y$ ).^{[note 1]} In particular, if $A$ is a regular closed set then so is ${\overline {f(A)}}.$ And if $A$ a regular open set then so is $Y\setminus {\overline {f(X\setminus A)}}.$
If the continuous open map $f:X\to Y$ is also surjective then $\operatorname {Int} _{X}f^{-1}(S)=f^{-1}\left(\operatorname {Int} _{Y}S\right)$ and moreover, $S$ is a regular open (resp. a regular closed)^{[note 1]} subset of $Y$ if and only if $f^{-1}(S)$ is a regular open (resp. a regular closed) subset of $X.$

Suppose $F:X\to Z$ is a function and $\pi :X\to Y$ is a surjective map. There might not exist any map $f:Y\to Z$ such that $F=f\circ \pi$ on $X.$ This motivates defining the set $D:=D_{F},$ which denotes the set of all $y\in Y$ such that the restriction $F{\big \vert }_{\pi ^{-1}(y)}:\pi ^{-1}(y)\to Z$ of $F$ to the fiber $\pi ^{-1}(y)$ is a constant map (or equivalently, such that $F\left(\pi ^{-1}(y)\right)$ is a singleton set). For any such $y\in D,$ let $f(y)$ denote the constant value that $F$ takes on the fiber $\pi ^{-1}(y).$ This induces a map $f:D\to Z,$ which is the unique map satisfying $F\left(\pi ^{-1}(d)\right)=\{f(d)\}$ for every $d\in D.$

The importance of this map $f$ is that $F=f\circ \pi$ holds on $\pi ^{-1}(D)$ where by its very definition, the set $D$ is the (unique) largest subset of $Y$ on which such a map $f$ may be defined. If $\pi :X\to Y$ is a continuous open surjection from a first-countable space $X$ onto a Hausdorff space $Y,$ and if $F:X\to Z$ is a continuous map valued in a Hausdorff space $Z,$ then $D:=D_{F}$ is a closed subset of $Y,$ ^{[note 2]} the surjection $\pi {\big \vert }_{\pi ^{-1}\left(D\right)}:\pi ^{-1}\left(D\right)\to D$ is continuous and open, and (as a consequence of $F=f\circ \pi$ holding on $\pi ^{-1}(D)$ ) the map $f:D\to Z$ is continuous.

Notes

^ ^a ^b A subset $S\subseteq X$ is called a regular closed set if ${\overline {\operatorname {Int} S}}=S$ or equivalently, if $\operatorname {Bd} \left(\operatorname {Int} S\right)=\operatorname {Bd} S,$ where $\operatorname {Bd} S$ (resp. $\operatorname {Int} S,$ ${\overline {S}}$ ) denotes the topological boundary (resp. interior, closure) of $S$ in $X.$ The set $S$ is called a regular open set if $\operatorname {Int} \left({\overline {S}}\right)=S$ or equivalently, if $\operatorname {Bd} \left({\overline {S}}\right)=\operatorname {Bd} S.$ The interior (taken in $X$ ) of a closed subset of $X$ is always a regular open subset of $X.$ The closure (taken in $X$ ) of an open subset of $X$ is always a regular closed subset of $X.$
^ The less trivial conclusion that $D=D_{F}$ is always a closed subset of $Y$ was reached despite the fact that the definition of $D_{F}$ is purely set-theoretic and not in any way dependent on any topology (although the requirement that $F:X\to Z$ be continuous limits which functions of the form $X\to Z$ are considered, it does not influence the definition of $D_{F}$ ). Moreover, this result shows that for every Hausdorff space $Z$ and every continuous map $F:X\to Z$ (where this space $Z$ and map $F$ are chosen without regard to $Y$ and $\pi$ ) the set $D_{F}$ is nevertheless necessarily closed in $Y.$

Citations

^ Munkres, James R. (2000). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.
^ ^a ^b Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. It is important to remember that Theorem 5.3 says that a function $f$ is continuous if and only if the inverse image of each open set is open. This characterization of continuity should not be confused with another property that a function may or may not possess, the property that the image of each open set is an open set (such functions are called open mappings).
^ ^a ^b ^c Lee, John M. (2003). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218. Springer Science & Business Media. p. 550. ISBN 9780387954486. A map $F:X\to Y$ (continuous or not) is said to be an open map if for every closed subset $U\subseteq X,$ $F(U)$ is open in $Y,$ and a closed map if for every closed subset $K\subseteq U,$ $F(K)$ is closed in $Y.$ Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.
^ ^a ^b Ludu, Andrei. Nonlinear Waves and Solitons on Contours and Closed Surfaces. Springer Series in Synergetics. p. 15. ISBN 9783642228940. An open map is a function between two topological spaces which maps open sets to open sets. Likewise, a closed map is a function which maps closed sets to closed sets. The open or closed maps are not necessarily continuous.
^ Sohrab, Houshang H. (2003). Basic Real Analysis. Springer Science & Business Media. p. 203. ISBN 9780817642112. Now we are ready for our examples which show that a function may be open without being closed or closed without being open. Also, a function may be simultaneously open and closed or neither open nor closed. (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)
^ Naber, Gregory L. (2012). Topological Methods in Euclidean Spaces. Dover Books on Mathematics (reprint ed.). Courier Corporation. p. 18. ISBN 9780486153445. Exercise 1-19. Show that the projection map $\pi _{i}:X_{i}\times \cdots \times X_{k}\to X_{i}$ π₁:X₁ × ··· × X_k → X_i is an open map, but need not be a closed map. Hint: The projection of R² onto $\mathbb {R}$ is not closed. Similarly, a closed map need not be open since any constant map is closed. For maps that are one-to-one and onto, however, the concepts of 'open' and 'closed' are equivalent.
^ Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. There are many situations in which a function $f:\left(X,\tau \right)\to \left(Y,\tau '\right)$ has the property that for each open subset $A$ of $X,$ the set $f(A)$ is an open subset of $Y,$ and yet $f$ is not continuous.
^ Boos, Johann (2000). Classical and Modern Methods in Summability. Oxford University Press. p. 332. ISBN 0-19-850165-X. Now, the question arises whether the last statement is true in general, that is whether closed maps are continuous. That fails in general as the following example proves.
^ Kubrusly, Carlos S. (2011). The Elements of Operator Theory. Springer Science & Business Media. p. 115. ISBN 9780817649982. In general, a map $F:X\to Y$ of a metric space $X$ into a metric space $Y$ may possess any combination of the attributes 'continuous', 'open', and 'closed' (i.e., these are independent concepts).
^ Hart, K. P.; Nagata, J.; Vaughan, J. E., eds. (2004). Encyclopedia of General Topology. Elsevier. p. 86. ISBN 0-444-50355-2. It seems that the study of open (interior) maps began with papers [13,14] by S. Stoïlow. Clearly, openness of maps was first studied extensively by G.T. Whyburn [19,20].
^ Narici & Beckenstein 2011, pp. 225–273.
^ Stack exchange post
^ Willard, Stephen (1970). General Topology. Addison-Wesley. ISBN 0486131785.
^ Lee, John M. (2012). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218 (Second ed.). p. 606. doi:10.1007/978-1-4419-9982-5. ISBN 978-1-4419-9982-5. Exercise A.32. Suppose $X_{1},\ldots ,X_{k}$ are topological spaces. Show that each projection $\pi _{i}:X_{1}\times \cdots \times X_{k}\to X_{i}$ is an open map.
^ ^a ^b Baues, Hans-Joachim; Quintero, Antonio (2001). Infinite Homotopy Theory. K-Monographs in Mathematics. Vol. 6. p. 53. ISBN 9780792369820. A composite of open maps is open and a composite of closed maps is closed. Also, a product of open maps is open. In contrast, a product of closed maps is not necessarily closed,...
^ ^a ^b ^c James, I. M. (1984). General Topology and Homotopy Theory. Springer-Verlag. p. 49. ISBN 9781461382836. ...let us recall that the composition of open maps is open and the composition of closed maps is closed. Also that the sum of open maps is open and the sum of closed maps is closed. However, the product of closed maps is not necessarily closed, although the product of open maps is open.

References

Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

[DefOfRegularOpenClosed-17] A subset $S\subseteq X$ is called a regular closed set if ${\overline {\operatorname {Int} S}}=S$ or equivalently, if $\operatorname {Bd} \left(\operatorname {Int} S\right)=\operatorname {Bd} S,$ where $\operatorname {Bd} S$ (resp. $\operatorname {Int} S,$ ${\overline {S}}$ ) denotes the topological boundary (resp. interior, closure) of $S$ in $X.$ The set $S$ is called a regular open set if $\operatorname {Int} \left({\overline {S}}\right)=S$ or equivalently, if $\operatorname {Bd} \left({\overline {S}}\right)=\operatorname {Bd} S.$ The interior (taken in $X$ ) of a closed subset of $X$ is always a regular open subset of $X.$ The closure (taken in $X$ ) of an open subset of $X$ is always a regular closed subset of $X.$

[18] The less trivial conclusion that $D=D_{F}$ is always a closed subset of $Y$ was reached despite the fact that the definition of $D_{F}$ is purely set-theoretic and not in any way dependent on any topology (although the requirement that $F:X\to Z$ be continuous limits which functions of the form $X\to Z$ are considered, it does not influence the definition of $D_{F}$ ). Moreover, this result shows that for every Hausdorff space $Z$ and every continuous map $F:X\to Z$ (where this space $Z$ and map $F$ are chosen without regard to $Y$ and $\pi$ ) the set $D_{F}$ is nevertheless necessarily closed in $Y.$

[1] Munkres, James R. (2000). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.

[mendelson-2] Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. It is important to remember that Theorem 5.3 says that a function $f$ is continuous if and only if the inverse image of each open set is open. This characterization of continuity should not be confused with another property that a function may or may not possess, the property that the image of each open set is an open set (such functions are called open mappings).

[lee550-3] Lee, John M. (2003). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218. Springer Science & Business Media. p. 550. ISBN 9780387954486. A map $F:X\to Y$ (continuous or not) is said to be an open map if for every closed subset $U\subseteq X,$ $F(U)$ is open in $Y,$ and a closed map if for every closed subset $K\subseteq U,$ $F(K)$ is closed in $Y.$ Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.

[ludu15-4] Ludu, Andrei. Nonlinear Waves and Solitons on Contours and Closed Surfaces. Springer Series in Synergetics. p. 15. ISBN 9783642228940. An open map is a function between two topological spaces which maps open sets to open sets. Likewise, a closed map is a function which maps closed sets to closed sets. The open or closed maps are not necessarily continuous.

[5] Sohrab, Houshang H. (2003). Basic Real Analysis. Springer Science & Business Media. p. 203. ISBN 9780817642112. Now we are ready for our examples which show that a function may be open without being closed or closed without being open. Also, a function may be simultaneously open and closed or neither open nor closed. (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)

[6] Naber, Gregory L. (2012). Topological Methods in Euclidean Spaces. Dover Books on Mathematics (reprint ed.). Courier Corporation. p. 18. ISBN 9780486153445. Exercise 1-19. Show that the projection map $\pi _{i}:X_{i}\times \cdots \times X_{k}\to X_{i}$ π₁:X₁ × ··· × X_k → X_i is an open map, but need not be a closed map. Hint: The projection of R² onto $\mathbb {R}$ is not closed. Similarly, a closed map need not be open since any constant map is closed. For maps that are one-to-one and onto, however, the concepts of 'open' and 'closed' are equivalent.

[mendelson2-7] Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. There are many situations in which a function $f:\left(X,\tau \right)\to \left(Y,\tau '\right)$ has the property that for each open subset $A$ of $X,$ the set $f(A)$ is an open subset of $Y,$ and yet $f$ is not continuous.

[8] Boos, Johann (2000). Classical and Modern Methods in Summability. Oxford University Press. p. 332. ISBN 0-19-850165-X. Now, the question arises whether the last statement is true in general, that is whether closed maps are continuous. That fails in general as the following example proves.

[9] Kubrusly, Carlos S. (2011). The Elements of Operator Theory. Springer Science & Business Media. p. 115. ISBN 9780817649982. In general, a map $F:X\to Y$ of a metric space $X$ into a metric space $Y$ may possess any combination of the attributes 'continuous', 'open', and 'closed' (i.e., these are independent concepts).

[10] Hart, K. P.; Nagata, J.; Vaughan, J. E., eds. (2004). Encyclopedia of General Topology. Elsevier. p. 86. ISBN 0-444-50355-2. It seems that the study of open (interior) maps began with papers [13,14] by S. Stoïlow. Clearly, openness of maps was first studied extensively by G.T. Whyburn [19,20].

[FOOTNOTENariciBeckenstein2011225–273-11] Narici & Beckenstein 2011, pp. 225–273.

[12] Stack exchange post

[13] Willard, Stephen (1970). General Topology. Addison-Wesley. ISBN 0486131785.

[14] Lee, John M. (2012). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218 (Second ed.). p. 606. doi:10.1007/978-1-4419-9982-5. ISBN 978-1-4419-9982-5. Exercise A.32. Suppose $X_{1},\ldots ,X_{k}$ are topological spaces. Show that each projection $\pi _{i}:X_{1}\times \cdots \times X_{k}\to X_{i}$ is an open map.

[baues55-15] Baues, Hans-Joachim; Quintero, Antonio (2001). Infinite Homotopy Theory. K-Monographs in Mathematics. Vol. 6. p. 53. ISBN 9780792369820. A composite of open maps is open and a composite of closed maps is closed. Also, a product of open maps is open. In contrast, a product of closed maps is not necessarily closed,...

[james49-16] James, I. M. (1984). General Topology and Homotopy Theory. Springer-Verlag. p. 49. ISBN 9781461382836. ...let us recall that the composition of open maps is open and the composition of closed maps is closed. Also that the sum of open maps is open and the sum of closed maps is closed. However, the product of closed maps is not necessarily closed, although the product of open maps is open.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[note 1]

[note 2]

@@ Line 114: / Line 114: @@
 Let <math>f : X \to Y</math> be a map.
-Given any subset <math>T \subseteq Y,</math> if <math>f : X \to Y</math> is a relatively open (resp. relatively closed, strongly open, strongly closed, continuous, surjective) map then the same is true of its restriction
+Given any subset <math>T \subseteq Y,</math> if <math>f : X \to Y</math> is a relatively open (resp. relatively closed, strongly open, strongly closed, continuous, [[Surjective function|surjective]]) map then the same is true of its restriction
 :<math>f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math>
 to the [[Saturated set|<math>f</math>-saturated]] subset <math>f^{-1}(T).</math>
-If <math>f : X \to Y</math> is a {{em|continuous}} map that is also open {{em|or}} closed then:
+If <math>f : X \to Y</math> is a continuous map that is also open {{em|or}} closed then:
-* if <math>f</math> is a [[Surjective function|surjection]], then it is a [[quotient map]] and even a [[hereditarily quotient map]],
+* if <math>f</math> is a surjection then it is a [[quotient map]] and even a [[hereditarily quotient map]],
 ** A surjective map <math>f : X \to Y</math> is called {{em|hereditarily quotient}} if for every subset <math>T \subseteq Y,</math> the restriction <math>f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math> is a quotient map.
-* if <math>f</math> is an [[Injective function|injection]], then it is a [[topological embedding]], and
+* if <math>f</math> is an [[Injective function|injection]] then it is a [[topological embedding]], and
-* if <math>f</math> is a [[bijection]], then it is a [[homeomorphism]].
+* if <math>f</math> is a [[bijection]] then it is a [[homeomorphism]].
 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 condition|necessary]] as well.
@@ Line 135: / Line 135: @@
 where this set <math>\overline{f(A)}</math> is also necessarily a [[regular closed set]] (in <math>Y</math>).<ref group=note name="DefOfRegularOpenClosed" /> In particular, if <math>A</math> is a regular closed set then so is <math>\overline{f(A)}.</math> And if <math>A</math> a [[regular open set]] then so is <math>Y \setminus \overline{f(X \setminus A)}.</math>
 </li>
-<li>If the continuous open map <math>f : X \to Y</math> is also [[Surjective map|surjective]] then <math>\operatorname{Int}_X f^{-1}(S) = f^{-1}\left(\operatorname{Int}_Y S\right)</math> and moreover, <math>S</math> is a regular open (resp. a regular closed)<ref group=note name="DefOfRegularOpenClosed" /> subset of <math>Y</math> if and only if <math>f^{-1}(S)</math> is a regular open (resp. a regular closed) subset of <math>X.</math>
+<li>If the continuous open map <math>f : X \to Y</math> is also surjective then <math>\operatorname{Int}_X f^{-1}(S) = f^{-1}\left(\operatorname{Int}_Y S\right)</math> and moreover, <math>S</math> is a regular open (resp. a regular closed)<ref group=note name="DefOfRegularOpenClosed" /> subset of <math>Y</math> if and only if <math>f^{-1}(S)</math> is a regular open (resp. a regular closed) subset of <math>X.</math>
 </li>
 </ul>
-Suppose <math>F : X \to Z</math> is a function and <math>\pi : X \to Y</math> is a [[surjective map]]. There might not exist any map <math>f : Y \to Z</math> such that <math>F = f \circ \pi</math> on <math>X.</math> This motivates defining the set <math>D := D_F,</math> which denotes the set of all <math>y \in Y</math> such that the [[Restriction of a map|restriction]] <math>F\big\vert_{\pi^{-1}(y)} : \pi^{-1}(y) \to Z</math> of <math>F</math> to the [[Fiber (mathematics)|fiber]] <math>\pi^{-1}(y)</math> is a [[constant map]] (or equivalently, such that <math>F\left(\pi^{-1}(y)\right)</math> is a [[singleton set]]). For any such <math>y \in D,</math> let <math>f(y)</math> denote the constant value that <math>F</math> takes on the fiber <math>\pi^{-1}(y).</math> This induces a map <math>f : D \to Z,</math> which is the unique map satisfying <math>F\left(\pi^{-1}(d)\right) = \{ f(d) \}</math> for every <math>d \in D.</math>
+Suppose <math>F : X \to Z</math> is a function and <math>\pi : X \to Y</math> is a surjective map. There might not exist any map <math>f : Y \to Z</math> such that <math>F = f \circ \pi</math> on <math>X.</math> This motivates defining the set <math>D := D_F,</math> which denotes the set of all <math>y \in Y</math> such that the [[Restriction of a map|restriction]] <math>F\big\vert_{\pi^{-1}(y)} : \pi^{-1}(y) \to Z</math> of <math>F</math> to the [[Fiber (mathematics)|fiber]] <math>\pi^{-1}(y)</math> is a [[constant map]] (or equivalently, such that <math>F\left(\pi^{-1}(y)\right)</math> is a [[singleton set]]). For any such <math>y \in D,</math> let <math>f(y)</math> denote the constant value that <math>F</math> takes on the fiber <math>\pi^{-1}(y).</math> This induces a map <math>f : D \to Z,</math> which is the unique map satisfying <math>F\left(\pi^{-1}(d)\right) = \{ f(d) \}</math> for every <math>d \in D.</math>
 [[File:Largest subset on which a function exists to complete the triangle.svg|center]]
 The importance of this map <math>f</math> is that <math>F = f \circ \pi</math> holds on <math>\pi^{-1}(D)</math> where by its very definition, the set <math>D</math> is the (unique) largest subset of <math>Y</math> on which such a map <math>f</math> may be defined.
 If <math>\pi : X \to Y</math> is a continuous open surjection from a [[first-countable space]] <math>X</math> onto a [[Hausdorff space]] <math>Y,</math> and if <math>F : X \to Z</math> is a continuous map valued in a Hausdorff space <math>Z,</math> then <math>D := D_F</math> is a closed subset of <math>Y,</math><ref group=note>The less trivial conclusion that <math>D = D_F</math> is {{em|always}} a closed subset of <math>Y</math> was reached despite the fact that the definition of <math>D_F</math> is purely set-theoretic and not in any way dependent on any topology (although the requirement that <math>F : X \to Z</math> be continuous limits which functions of the form <math>X \to Z</math> are considered, it does not influence the definition of <math>D_F</math>). Moreover, this result shows that for {{em|every}} Hausdorff space <math>Z</math> and {{em|every}} continuous map <math>F : X \to Z</math> (where this space <math>Z</math> and map <math>F</math> are chosen without regard to <math>Y</math> and <math>\pi</math>) the set <math>D_F</math> is nevertheless necessarily closed in <math>Y.</math></ref> the surjection <math>\pi\big\vert_{\pi^{-1}\left(D\right)} : \pi^{-1}\left(D\right) \to D</math> is continuous and open, and (as a consequence of <math>F = f \circ \pi</math> holding on <math>\pi^{-1}(D)</math>) the map <math>f : D \to Z</math> is continuous.
 == See also ==