Jump to content

Open and closed maps: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m Reworded
m Examples: Math style
 
(42 intermediate revisions by 13 users not shown)
Line 1: Line 1:
{{Short description|A function that sends open (resp. closed) subsets to open (resp. closed) subsets}}
{{Short description|A function that sends open (resp. closed) subsets to open (resp. closed) subsets}}
In [[mathematics]], more specifically in [[topology]], an '''open map''' is a [[function (mathematics)|function]] between two [[topological space]]s that maps [[open set]]s to open sets.<ref>{{cite book | last=Munkres | first=James R. | author-link=James Munkres | title=Topology | edition=2nd | publisher=[[Prentice Hall]] | year=2000 | isbn=0-13-181629-2}}</ref><ref name=mendelson>{{cite book |last=Mendelson |first=Bert |date=1990 |orig-year=1975 |title=Introduction to Topology |edition=Third |publisher=Dover |isbn=0-486-66352-3 |page=89 |quote=It is important to remember that Theorem 5.3 says that a function <math>f</math> is continuous if and only if the {{em|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 {{em|open mappings}}).}}</ref><ref name=lee550>{{cite book |last=Lee |first=John M. |date=2003 |title=Introduction to Smooth Manifolds |series=Graduate Texts in Mathematics |volume=218 |publisher=Springer Science & Business Media |isbn=9780387954486 |page=550 |quote=A map <math>F : X \to Y</math> (continuous or not) is said to be an {{em|open map}} if for every closed subset <math>U \subseteq X,</math> <math>F(U)</math> is open in <math>Y,</math> and a {{em|closed map}} if for every closed subset <math>K \subseteq U,</math> <math>F(K)</math> is closed in <math>Y.</math> Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.}}</ref>
In [[mathematics]], more specifically in [[topology]], an '''open map''' is a [[function (mathematics)|function]] between two [[topological space]]s that maps [[open set]]s to open sets.<ref>{{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=Topology|edition=2nd|publisher=[[Prentice Hall]]|year=2000|isbn=0-13-181629-2}}</ref><ref name=mendelson>{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=Introduction to Topology|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=89|quote=It is important to remember that Theorem 5.3 says that a function <math>f</math> is continuous if and only if the {{em|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 {{em|open mappings}}).}}</ref><ref name=lee550>{{cite book|last=Lee|first=John M.|date=2003|title=Introduction to Smooth Manifolds|series=Graduate Texts in Mathematics|volume=218|publisher=Springer Science & Business Media|isbn=9780387954486|page=550|quote=A map <math>F : X \to Y</math> (continuous or not) is said to be an {{em|open map}} if for every closed subset <math>U \subseteq X,</math> <math>F(U)</math> is open in <math>Y,</math> and a {{em|closed map}} if for every closed subset <math>K \subseteq U,</math> <math>F(K)</math> is closed in <math>Y.</math> Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.}}</ref>
That is, a function <math>f : X \to Y</math> is open if for any open set <math>U</math> in <math>X,</math> the [[Image (mathematics)|image]] <math>f(U)</math> is open in <math>Y.</math>
That is, a function <math>f : X \to Y</math> is open if for any open set <math>U</math> in <math>X,</math> the [[Image (mathematics)|image]] <math>f(U)</math> is open in <math>Y.</math>
Likewise, a '''closed map''' is a function that maps [[closed set]]s to closed sets.<ref name=lee550/><ref name=ludu15>{{cite book |last=Ludu |first=Andrei |title=Nonlinear Waves and Solitons on Contours and Closed Surfaces |series=Springer Series in Synergetics |isbn=9783642228940 |page=15 |quote=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.}}</ref>
Likewise, a '''closed map''' is a function that maps [[closed set]]s to closed sets.<ref name=lee550/><ref name=ludu15>{{cite book|last=Ludu|first=Andrei|title=Nonlinear Waves and Solitons on Contours and Closed Surfaces|series=Springer Series in Synergetics|date=15 January 2012|isbn=9783642228940|page=15|quote=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.}}</ref>
A map may be open, closed, both, or neither;<ref>{{cite book |last=Sohrab |first=Houshang H. |date=2003 |title=Basic Real Analysis |publisher=Springer Science & Business Media |isbn=9780817642112 |url=https://books.google.com/books?id=QnpqBQAAQBAJ&pg=PA203 |page=203 |quote=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.)</ref> in particular, an open map need not be closed and vice versa.<ref>{{cite book |last=Naber |first=Gregory L. |date=2012 |title=Topological Methods in Euclidean Spaces |edition=reprint |series=Dover Books on Mathematics |publisher=Courier Corporation |isbn=9780486153445 |page=18 |quote=''Exercise 1-19.'' Show that the projection map <math>\pi_i : X_i \times \cdots \times X_k \to X_i</math>π<sub>1</sub>:''X''<sub>1</sub> × ··· × ''X''<sub>''k''</sub> → ''X''<sub>i</sub> is an open map, but need not be a closed map. Hint: The projection of '''R'''<sup>2</sup> onto <math>\mathbb{R}</math> 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.}}</ref>
A map may be open, closed, both, or neither;<ref>{{cite book|last=Sohrab|first=Houshang H.|date=2003|title=Basic Real Analysis|publisher=Springer Science & Business Media|isbn=9780817642112|url=https://books.google.com/books?id=QnpqBQAAQBAJ&pg=PA203|page=203|quote=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.)</ref> in particular, an open map need not be closed and vice versa.<ref>{{cite book|last=Naber|first=Gregory L.|date=2012|title=Topological Methods in Euclidean Spaces|edition=reprint|series=Dover Books on Mathematics|publisher=Courier Corporation|isbn=9780486153445|page=18|quote=''Exercise 1-19.'' Show that the projection map <math>\pi_i : X_i \times \cdots \times X_k \to X_i</math>π<sub>1</sub>:''X''<sub>1</sub> × ··· × ''X''<sub>''k''</sub> → ''X''<sub>i</sub> is an open map, but need not be a closed map. Hint: The projection of '''R'''<sup>2</sup> onto <math>\R</math> 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.}}</ref>


Open<ref name=mendelson2>{{cite book |last=Mendelson |first=Bert |date=1990 |orig-year=1975 |title=Introduction to Topology |edition=Third |publisher=Dover |isbn=0-486-66352-3 |page=89 |quote=There are many situations in which a function <math>f : \left( X, \tau\right) \to \left( Y, \tau' \right)</math> has the property that for each open subset <math>A</math> of <math>X,</math> the set <math>f(A)</math> is an open subset of <math>Y,</math> and yet <math>f</math> is {{em|not}} continuous.}}</ref> and closed<ref>{{cite book |last=Boos |first=Johann |date=2000 |title=Classical and Modern Methods in Summability |series=Oxford University Press |isbn=0-19-850165-X |url=https://books.google.com/books?id=kZ9cy6XyidEC&pg=PA332 |page=332 |quote=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.}}</ref> maps are not necessarily [[Continuous function (topology)|continuous]].<ref name=ludu15/> Further, continuity is independent of openness and closedness in the general case and a continuous function may have one, both, or neither property;<ref name=lee550/> this fact remains true even if one restricts oneself to metric spaces.<ref>{{cite book |last=Kubrusly |first=Carlos S. |date=2011 |title=The Elements of Operator Theory |url=https://archive.org/details/elementsoperator00kubr |url-access=limited |publisher=Springer Science & Business Media |isbn=9780817649982 |page=[https://archive.org/details/elementsoperator00kubr/page/n131 115] |quote=In general, a map <math>F : X \to Y</math> of a metric space <math>X</math> into a metric space <math>Y</math> may possess any combination of the attributes 'continuous', 'open', and 'closed' (i.e., these are independent concepts).}}</ref>
Open<ref name=mendelson2>{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=Introduction to Topology|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=89|quote=There are many situations in which a function <math>f : \left( X, \tau\right) \to \left( Y, \tau' \right)</math> has the property that for each open subset <math>A</math> of <math>X,</math> the set <math>f(A)</math> is an open subset of <math>Y,</math> and yet <math>f</math> is {{em|not}} continuous.}}</ref> and closed<ref>{{cite book|last=Boos|first=Johann|date=2000|title=Classical and Modern Methods in Summability|series=Oxford University Press|isbn=0-19-850165-X|url=https://books.google.com/books?id=kZ9cy6XyidEC&pg=PA332|page=332|quote=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.}}</ref> maps are not necessarily [[Continuous function (topology)|continuous]].<ref name=ludu15/> Further, continuity is independent of openness and closedness in the general case and a continuous function may have one, both, or neither property;<ref name=lee550/> this fact remains true even if one restricts oneself to metric spaces.<ref>{{cite book|last=Kubrusly|first=Carlos S.|date=2011|title=The Elements of Operator Theory|url=https://archive.org/details/elementsoperator00kubr|url-access=limited|publisher=Springer Science & Business Media|isbn=9780817649982|page=[https://archive.org/details/elementsoperator00kubr/page/n131 115]|quote=In general, a map <math>F : X \to Y</math> of a metric space <math>X</math> into a metric space <math>Y</math> may possess any combination of the attributes 'continuous', 'open', and 'closed' (that is, these are independent concepts).}}</ref>
Although their definitions seem more natural, open and closed maps are much less important than continuous maps.
Although their definitions seem more natural, open and closed maps are much less important than continuous maps.
Recall that, by definition, a function <math>f : X \to Y</math> is continuous if the [[preimage]] of every open set of <math>Y</math> is open in <math>X.</math><ref name=mendelson/> (Equivalently, if the preimage of every closed set of <math>Y</math> is closed in <math>X</math>).
Recall that, by definition, a function <math>f : X \to Y</math> is continuous if the [[preimage]] of every open set of <math>Y</math> is open in <math>X.</math><ref name=mendelson/> (Equivalently, if the preimage of every closed set of <math>Y</math> is closed in <math>X</math>).


Early study of open maps was pioneered by [[Simion Stoilow]] and [[Gordon Thomas Whyburn]].<ref>{{cite book |editor1-last=Hart |editor1-first=K. P. |editor2-last=Nagata |editor2-first=J. |editor3-last=Vaughan |editor3-first=J. E. |date=2004 |title=Encyclopedia of General Topology |url=https://archive.org/details/encyclopediagene00hart_882 |url-access=limited |publisher=Elsevier |isbn=0-444-50355-2 |page=[https://archive.org/details/encyclopediagene00hart_882/page/n96 86] |quote=It seems that the study of open (interior) maps began with papers [13,14] by [[Simion Stoilow|S. Stoïlow]]. Clearly, openness of maps was first studied extensively by [[Gordon Thomas Whyburn|G.T. Whyburn]] [19,20].}}</ref>
Early study of open maps was pioneered by [[Simion Stoilow]] and [[Gordon Thomas Whyburn]].<ref>{{cite book|editor1-last=Hart|editor1-first=K. P.|editor2-last=Nagata|editor2-first=J.|editor3-last=Vaughan|editor3-first=J. E.|date=2004|title=Encyclopedia of General Topology|url=https://archive.org/details/encyclopediagene00hart_882|url-access=limited|publisher=Elsevier|isbn=0-444-50355-2|page=[https://archive.org/details/encyclopediagene00hart_882/page/n96 86]|quote=It seems that the study of open (interior) maps began with papers [13,14] by [[Simion Stoilow|S. Stoïlow]]. Clearly, openness of maps was first studied extensively by [[Gordon Thomas Whyburn|G.T. Whyburn]] [19,20].}}</ref>


== Definitions and characterizations ==
==Definitions and characterizations==


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


=== Completing definitions ===
===Competing definitions===


There are two different competing, but closely related, definitions of "{{em|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."
There are two different competing, but closely related, definitions of "{{em|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."
Line 23: Line 23:
A map <math>f : X \to Y</math> is called a
A map <math>f : X \to Y</math> is called a
* "'''{{em|Strongly open map}}'''" if whenever <math>U</math> is an [[Open set|open subset]] of the domain <math>X</math> then <math>f(U)</math> is an open subset of <math>f</math>'s [[codomain]] <math>Y.</math>
* "'''{{em|Strongly open map}}'''" if whenever <math>U</math> is an [[Open set|open subset]] of the domain <math>X</math> then <math>f(U)</math> is an open subset of <math>f</math>'s [[codomain]] <math>Y.</math>
* "'''{{em|Relatively open map}}'''" if whenever <math>U</math> is an open subset of the domain <math>X</math> then <math>f(U)</math> is an open subset of <math>f</math>'s [[Image (mathematics)|image]] <math>\operatorname{Im} f := f(X),</math> where as usual, this set is endowed with the [[subspace topology]] induced on it by <math>f</math>'s codomain <math>Y.</math>{{sfn | Narici|Beckenstein | 2011 | pp=225-273}}
* "'''{{em|{{visible anchor|Relatively open map}}}}'''" if whenever <math>U</math> is an open subset of the domain <math>X</math> then <math>f(U)</math> is an open subset of <math>f</math>'s [[Image (mathematics)|image]] <math>\operatorname{Im} f := f(X),</math> where as usual, this set is endowed with the [[subspace topology]] induced on it by <math>f</math>'s codomain <math>Y.</math>{{sfn|Narici|Beckenstein|2011|pp=225-273}}


A [[Surjective function|surjective]] map is relatively open if and only if it a strongly open; so for this important special case, the definitions are equivalent.
Every strongly open map is a relatively open map. However, these definitions are not equivalent in general.
More generally, the map <math>f : X \to Y</math> is a relatively open map if and only if the [[Surjective function|surjection]] <math>f : X \to \operatorname{Im} f</math> is a strongly open map.


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


A [[Surjective function|surjective]] map is relatively open if and only if it is strongly open; so for this important special case the definitions are equivalent.
Every strongly open map is a relatively open map. And because <math>X</math> is always an open subset of <math>X,</math> the image <math>f(X) = \operatorname{Im} f</math> of a strongly open map <math>f : X \to Y</math> must be an open subset of <math>Y.</math> However, a relatively open map <math>f : X \to Y</math> is a strongly open map if and only if its image <math>\operatorname{Im} f</math> is an open subset of its codomain <math>Y.</math>
More generally, a map <math>f : X \to Y</math> is relatively open if and only if the [[Surjective function|surjection]] <math>f : X \to f(X)</math> is a strongly open map.

Because <math>X</math> is always an open subset of <math>X,</math> the image <math>f(X) = \operatorname{Im} f</math> of a strongly open map <math>f : X \to Y</math> must be an open subset of its codomain <math>Y.</math> In fact, a relatively open map is a strongly open map if and only if its image is an open subset of its codomain.
In summary,
In summary,


:<math>f : X \to Y</math> is strongly open if and only if the surjection <math>f : X \to \operatorname{Im} f</math> is an open map (using either definition) and its image <math>\operatorname{Im} f = f(X)</math> is an open subset of its codomain <math>Y.</math>
:A map is strongly open if and only if it is relatively open and its image is an open subset of its codomain.

By using this characterization, it is often straightforward to apply results involving one of these two definitions of "open map" to a situation involving the other definition.


The discussion above will also apply to closed maps if each instance of the word "open" is replaced with the word "closed".
By using this characterization, it is often straightforward to apply results involving one of these two definitions of "open map" to a situation involving the other definition.


=== Open maps ===
===Open maps===


A map <math>f : X \to Y</math> is called an '''{{em|open map}}''' or a '''{{em|strongly open map}}''' if it satisfies any of the following equivalent conditions:
A map <math>f : X \to Y</math> is called an '''{{em|{{visible anchor|open map}}}}''' or a '''{{em|{{visible anchor|strongly open map}}}}''' if it satisfies any of the following equivalent conditions:


<ol>
# Definition: <math>f : X \to Y</math> maps open subsets of its domain to open subsets of its codomain; that is, for any open subset <math>U</math> of <math>X</math>, <math>f(U)</math> is an open subset of <math>Y.</math>
# <math>f : X \to Y</math> is a relatively open map and its image <math>\operatorname{Im} f := f(X)</math> is an open subset of its codomain <math>Y</math>.
<li>Definition: <math>f : X \to Y</math> maps open subsets of its domain to open subsets of its codomain; that is, for any open subset <math>U</math> of <math>X</math>, <math>f(U)</math> is an open subset of <math>Y.</math></li>
# For every <math>x \in X</math> and every [[Neighborhood (topology)|neighborhood]] <math>N</math> of <math>x</math> (however small), there exists a neighborhood <math>V</math> of <math>f(x)</math> such that <math>V \subseteq f(N)</math>.
<li><math>f : X \to Y</math> is a relatively open map and its image <math>\operatorname{Im} f := f(X)</math> is an open subset of its codomain <math>Y.</math></li>
<li>For every <math>x \in X</math> and every [[Neighborhood (topology)|neighborhood]] <math>N</math> of <math>x</math> (however small), <math>f(N)</math> is a neighborhood of <math>f(x)</math>. We can replace the first or both instances of the word "neighborhood" with "open neighborhood" in this condition and the result will still be an equivalent condition:
#* 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.
# <math>f\left( \operatorname{Int}_X A \right) \subseteq \operatorname{Int}_Y ( f(A) )</math> for all subsets <math>A</math> of <math>X,</math> where <math>\operatorname{Int}</math> denotes the [[topological interior]] of the set.
* For every <math>x \in X</math> and every open neighborhood <math>N</math> of <math>x</math>, <math>f(N)</math> is a neighborhood of <math>f(x)</math>.
# Whenever <math>C</math> is a [[Closed set|closed subset]] of <math>X</math> then the set <math>\left\{ y \in Y ~:~ f^{-1}(y) \subseteq C \right\}</math> is a closed subset of <math>Y.</math><ref>[https://math.stackexchange.com/a/2360879/239329 Stack exchange post]</ref>
* For every <math>x \in X</math> and every open neighborhood <math>N</math> of <math>x</math>, <math>f(N)</math> is an open neighborhood of <math>f(x)</math>.</li>
<li><math>f\left( \operatorname{Int}_X A \right) \subseteq \operatorname{Int}_Y ( f(A) )</math> for all subsets <math>A</math> of <math>X,</math> where <math>\operatorname{Int}</math> denotes the [[topological interior]] of the set.</li>
<li>Whenever <math>C</math> is a [[Closed set|closed subset]] of <math>X</math> then the set <math>\left\{ y \in Y ~:~ f^{-1}(y) \subseteq C \right\}</math> is a closed subset of <math>Y.</math>
* This is a consequence of the [[List of set identities and relations|identity]] <math>f(X \setminus R) = Y \setminus \left\{ y \in Y : f^{-1}(y) \subseteq R \right\},</math> which holds for all subsets <math>R \subseteq X.</math></li>
</ol>


and if <math>\mathcal{B}</math> is a [[Base (topology)|basis]] for <math>X</math> then the following can be appended to this list:
If <math>\mathcal{B}</math> is a [[Base (topology)|basis]] for <math>X</math> then the following can be appended to this list:


# <li value="6"><math>f</math> maps basic open sets to open sets in its codomain (that is, for any basic open set <math>B \in \mathcal{B},</math> <math>f(B)</math> is an open subset of <math>Y</math>).</li>
# <li value="6"><math>f</math> maps basic open sets to open sets in its codomain (that is, for any basic open set <math>B \in \mathcal{B},</math> <math>f(B)</math> is an open subset of <math>Y</math>).</li>


=== Closed maps ===
===Closed maps===


A map <math>f : X \to Y</math> is called a '''{{em|relatively closed map}}''' if whenever <math>C</math> is a [[Closed set|closed subset]] of the domain <math>X</math> then <math>f(C)</math> is a closed subset of <math>f</math>'s [[Image (mathematics)|image]] <math>\operatorname{Im} f := f(X),</math> where as usual, this set is endowed with the [[subspace topology]] induced on it by <math>f</math>'s [[codomain]] <math>Y.</math>
A map <math>f : X \to Y</math> is called a '''{{em|{{visible anchor|relatively closed map}}}}''' if whenever <math>C</math> is a [[Closed set|closed subset]] of the domain <math>X</math> then <math>f(C)</math> is a closed subset of <math>f</math>'s [[Image (mathematics)|image]] <math>\operatorname{Im} f := f(X),</math> where as usual, this set is endowed with the [[subspace topology]] induced on it by <math>f</math>'s [[codomain]] <math>Y.</math>


A map <math>f : X \to Y</math> is called a '''{{em|closed map}}''' or a '''{{em|strongly closed map}}''' if it satisfies any of the following equivalent conditions:
A map <math>f : X \to Y</math> is called a '''{{em|{{visible anchor|closed map}}}}''' or a '''{{em|{{visible anchor|strongly closed map}}}}''' if it satisfies any of the following equivalent conditions:


<ol>
# Definition: <math>f : X \to Y</math> maps closed subsets of its domain to closed subsets of its codomain; that is, for any closed subset <math>C</math> of <math>X,</math> <math>f(C)</math> is an closed subset of <math>Y.</math>
# <math>f : X \to Y</math> is a relatively closed map and its image <math>\operatorname{Im} f := f(X)</math> is a closed subset of its codomain <math>Y.</math>
<li>Definition: <math>f : X \to Y</math> maps closed subsets of its domain to closed subsets of its codomain; that is, for any closed subset <math>C</math> of <math>X,</math> <math>f(C)</math> is a closed subset of <math>Y.</math>
# <math>\overline{f(A)} \subseteq f\left( \overline A \right)</math> for every subset <math>A \subseteq X.</math>
<li><math>f : X \to Y</math> is a relatively closed map and its image <math>\operatorname{Im} f := f(X)</math> is a closed subset of its codomain <math>Y.</math></li>
<li><math>\overline{f(A)} \subseteq f\left(\overline{A}\right)</math> for every subset <math>A \subseteq X.</math></li>
<li><math>\overline{f(C)} \subseteq f(C)</math> for every closed subset <math>C \subseteq X.</math></li>
<li><math>\overline{f(C)} = f(C)</math> for every closed subset <math>C \subseteq X.</math></li>
<li>Whenever <math>U</math> is an open subset of <math>X</math> then the set <math>\left\{y \in Y ~:~ f^{-1}(y) \subseteq U\right\}</math> is an open subset of <math>Y.</math></li>
<li>If <math>x_{\bull}</math> is a [[Net (mathematics)|net]] in <math>X</math> and <math>y \in Y</math> is a point such that <math>f\left(x_{\bull}\right) \to y</math> in <math>Y,</math> then <math>x_{\bull}</math> converges in <math>X</math> to the set <math>f^{-1}(y).</math>
* The convergence <math>x_{\bull} \to f^{-1}(y)</math> means that every open subset of <math>X</math> that contains <math>f^{-1}(y)</math> will contain <math>x_j</math> for all sufficiently large indices <math>j.</math></li>
</ol>


A [[Surjective function|surjective]] map is strongly closed if and only if it a relatively closed. So for this important special case, the two definitions are equivalent.
A [[Surjective function|surjective]] map is strongly closed if and only if it is relatively closed. So for this important special case, the two definitions are equivalent.
By definition, the map <math>f : X \to Y</math> is a relatively closed map if and only if the [[Surjective function|surjection]] <math>f : X \to \operatorname{Im} f</math> is a strongly closed map.
By definition, the map <math>f : X \to Y</math> is a relatively closed map if and only if the [[Surjective function|surjection]] <math>f : X \to \operatorname{Im} f</math> is a strongly closed map.


If in the open set definition of "[[Continuous function|continuous map]]" (which is the statement: "every preimage of an open set is open"), both instances of the word "open" are replaced with "closed" then the statement of results ("every preimage of a closed set is closed") is {{em|[[Logical equivalence|equivalent]]}} to continuity.
== Examples ==
This does not happen with the definition of "open map" (which is: "every image of an open set is open") since the statement that results ("every image of a closed set is closed") is the definition of "closed map", which is in general {{em|not}} equivalent to openness. There exist open maps that are not closed and there also exist closed maps that are not open. This difference between open/closed maps and continuous maps is ultimately due to the fact that for any set <math>S,</math> only <math>f(X \setminus S) \supseteq f(X) \setminus f(S)</math> is guaranteed in general, whereas for preimages, equality <math>f^{-1}(Y \setminus S) = f^{-1}(Y) \setminus f^{-1}(S)</math> always holds.


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


The function <math>f : \R \to \R</math> defined by <math>f(x) = x^2</math> is continuous, closed, and relatively open, but not (strongly) open. This is because if <math>U = (a, b)</math> is any open interval in <math>f</math>'s domain <math>\R</math> that does {{em|not}} contain <math>0</math> then <math>f(U) = (\min \{ a^2, b^2 \}, \max \{ a^2, b^2 \}),</math> where this open interval is an open subset of both <math>\R</math> and <math>\operatorname{Im} f := f(\R) = [0, \infty).</math> However, if <math>U = (a, b)</math> is any open interval in <math>\R</math> that contains <math>0</math> then <math>f(U) = [0, \max \{ a^2, b^2 \}),</math> which is not an open subset of <math>f</math>'s codomain <math>\R</math> but {{em|is}} an open subset of <math>\operatorname{Im} f = [0, \infty).</math> Because the set of all open intervals in <math>\R</math> is a [[Basis (topology)|basis]] for the [[Euclidean topology]] on <math>\R,</math> this shows that <math>f : \R \to \R</math> is relatively open but not (strongly) open.
If <math>Y</math> has the [[discrete topology]] (i.e. all subsets are open and closed) then every function <math>f : X \to Y</math> is both open and closed (but not necessarily continuous).

For example, the [[floor function]] from '''[[Real number|<math>\mathbb{R}</math>]]''' to '''[[Integer|<math>\mathbb{Z}</math>]]''' is open and closed, but not continuous.
If <math>Y</math> has the [[discrete topology]] (that is, all subsets are open and closed) then every function <math>f : X \to Y</math> is both open and closed (but not necessarily continuous).
For example, the [[floor function]] from '''[[Real number|<math>\R</math>]]''' to '''[[Integer|<math>\Z</math>]]''' 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.
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 topology|product]] of topological spaces <math>X=\prod X_i,</math> the natural projections <math>p_i : X \to X_i</math> are open<ref>{{cite book |title=General Topology |url=https://archive.org/details/generaltopology00will_0 |url-access=registration |first=Stephen |last=Willard |publisher=Addison-Wesley |year=1970 |ISBN=0486131785}}</ref><ref>{{cite book |last=Lee |first=John M. |date=2012 |title=Introduction to Smooth Manifolds |edition=Second |series=Graduate Texts in Mathematics |volume=218 |isbn=978-1-4419-9982-5 |doi=10.1007/978-1-4419-9982-5 |page=606 |quote='''Exercise A.32.''' Suppose <math>X_1, \ldots, X_k</math> are topological spaces. Show that each projection <math>\pi_i : X_1 \times \cdots \times X_k \to X_i</math> is an open map.}}</ref> (as well as continuous).
Whenever we have a [[Product topology|product]] of topological spaces <math display="inline">X=\prod X_i,</math> the natural projections <math>p_i : X \to X_i</math> are open<ref>{{cite book|title=General Topology|url=https://archive.org/details/generaltopology00will_0|url-access=registration|first=Stephen|last=Willard|publisher=Addison-Wesley|year=1970|isbn=0486131785}}</ref><ref>{{cite book|last=Lee|first=John M.|date=2012|title=Introduction to Smooth Manifolds|edition=Second|series=Graduate Texts in Mathematics|volume=218|isbn=978-1-4419-9982-5|doi=10.1007/978-1-4419-9982-5|page=606|url=https://zenodo.org/record/4461500|quote='''Exercise A.32.''' Suppose <math>X_1, \ldots, X_k</math> are topological spaces. Show that each projection <math>\pi_i : X_1 \times \cdots \times X_k \to X_i</math> is an open map.}}</ref> (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.
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 <math>p_1 : \mathbb{R}^2 \to \mathbb{R}</math> on the first component; then the set <math>A = \{ \left( x, 1/x \right) : x \neq 0 \}</math> is closed in <math>\mathbb{R}^2,</math> but <math>p_1(A) = \mathbb{R} \setminus \{ 0 \}</math> is not closed in <math>\mathbb{R}.</math>
Projections need not be closed however. Consider for instance the projection <math>p_1 : \R^2 \to \R</math> on the first component; then the set <math>A = \{(x, 1/x) : x \neq 0\}</math> is closed in <math>\R^2,</math> but <math>p_1(A) = \R \setminus \{0\}</math> is not closed in <math>\R.</math>
However, for a compact space <math>Y,</math> the projection <math>X \times Y \to X</math> is closed. This is essentially the [[tube lemma]].
However, for a compact space <math>Y,</math> the projection <math>X \times Y \to X</math> is closed. This is essentially the [[tube lemma]].


Line 82: Line 100:
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.
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 ==
==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.
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 [[Function composition|composition]] of two open maps (resp. closed maps) <math>f : X \to Y</math> and <math>g : Y \to Z</math> is again an open map (resp. a closed map) <math>g \circ f : X \to Z.</math><ref name=baues55>{{cite book |last1=Baues |first1=Hans-Joachim |last2=Quintero |first2=Antonio |date=2001 |title=Infinite Homotopy Theory |series=''K''-Monographs in Mathematics |volume=6 |isbn=9780792369820 |page=53 |quote=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,...}}</ref><ref name=james49>{{cite book |last=James |first=I. M. |date=1984 |title=General Topology and Homotopy Theory |url=https://archive.org/details/generaltopologyh00imja |url-access=limited |publisher=Springer-Verlag |isbn=9781461382836 |page=[https://archive.org/details/generaltopologyh00imja/page/n56 49] |quote=...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.}}</ref> If however, <math>\operatorname{Im} f</math> is not an open (resp. closed) subset of <math>\operatorname{domain} g</math> then this is no longer guaranteed.
The [[Function composition|composition]] of two (strongly) open maps is an open map and the composition of two (strongly) closed maps is a closed map.<ref name=baues55>{{cite book|last1=Baues|first1=Hans-Joachim|last2=Quintero|first2=Antonio|date=2001|title=Infinite Homotopy Theory|series=''K''-Monographs in Mathematics|volume=6|isbn=9780792369820|page=53|quote=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,...}}</ref><ref name=james49>{{cite book|last=James|first=I. M.|date=1984|title=General Topology and Homotopy Theory|url=https://archive.org/details/generaltopologyh00imja|url-access=limited|publisher=Springer-Verlag|isbn=9781461382836|page=[https://archive.org/details/generaltopologyh00imja/page/n56 49]|quote=...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.}}</ref> However, the composition of two relatively open maps need not be relatively open and similarly, the composition of two relatively closed maps need not be relatively closed.
If <math>f : X \to Y</math> is strongly open (respectively, strongly closed) and <math>g : Y \to Z</math> is relatively open (respectively, relatively closed) then <math>g \circ f : X \to Z</math> is relatively open (respectively, relatively closed).

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 (respectively, relatively closed, strongly open, strongly closed, continuous, [[Surjective function|surjective]]) map then the same is true of its restriction
<math display=block>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>


The categorical sum of two open maps is open, or of two closed maps is closed.<ref name=james49/>
The categorical sum of two open maps is open, or of two closed maps is closed.<ref name=james49/>
Line 93: Line 117:
A bijective map is open if and only if it is 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).
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.
A surjective open map is not necessarily a closed map, and likewise, a surjective closed map is not necessarily an open map. All [[local homeomorphism]]s, including all [[coordinate chart]]s on [[manifold]]s and all [[covering map]]s, are open maps.


{{Math theorem|name=Closed map lemma|math_statement=
{{Math theorem|name=Closed map lemma|math_statement=
Every continuous function <math>f : X \to Y</math> from a [[compact space]] <math>X</math> to a [[Hausdorff space]] <math>Y</math> is closed and [[Proper map|proper]] (i.e. preimages of compact sets are compact).
Every continuous function <math>f : X \to Y</math> from a [[compact space]] <math>X</math> to a [[Hausdorff space]] <math>Y</math> is closed and [[Proper map|proper]] (meaning that preimages of compact sets are compact).
}}
}}


A variant of the closed map lemma states that if a continuous function between [[Locally compact space|locally compact]] Hausdorff spaces is proper, then it is also closed.
A variant of the closed map lemma states that if a continuous function between [[Locally compact space|locally compact]] Hausdorff spaces is proper then it is also closed.


In [[complex analysis]], the identically named [[Open mapping theorem (complex analysis)|open mapping theorem]] states that every non-constant [[holomorphic function]] defined on a [[Connected space|connected]] open subset of the [[complex plane]] is an open map.
In [[complex analysis]], the identically named [[Open mapping theorem (complex analysis)|open mapping theorem]] states that every non-constant [[holomorphic function]] defined on a [[Connected space|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 <math>n</math>-dimensional [[manifold|topological manifolds]] must be open.
The [[invariance of domain]] theorem states that a continuous and locally injective function between two <math>n</math>-dimensional [[Manifold|topological manifolds]] must be open.


{{Math theorem|name=[[Invariance of domain]]|math_statement=
{{Math theorem|name=[[Invariance of domain]]|math_statement=
If <math>U</math> is an [[Open set|open subset]] of <math>\mathbb{R}^n</math> and <math>f : U \to \mathbb{R}^n</math> is an [[injective]] [[continuous map]], then <math>V := f(U)</math> is open in <math>\mathbb{R}^n</math> and <math>f</math> is a [[homeomorphism]] between <math>U</math> and <math>V.</math>
If <math>U</math> is an [[Open set|open subset]] of <math>\R^n</math> and <math>f : U \to \R^n</math> is an [[injective]] [[continuous map]], then <math>V := f(U)</math> is open in <math>\R^n</math> and <math>f</math> is a [[homeomorphism]] between <math>U</math> and <math>V.</math>
}}
}}


Line 112: Line 136:
This theorem has been generalized to [[topological vector space]]s beyond just Banach spaces.
This theorem has been generalized to [[topological vector space]]s beyond just Banach spaces.


A surjective map <math>f : X \to Y</math> is called an '''{{em|[[almost open map]]}}''' if for every <math>y \in Y</math> there exists some <math>x \in f^{-1}(y)</math> such that <math>x</math> is a '''{{em|point of openness}}''' for <math>f,</math> which by definition means that for every open neighborhood <math>U</math> of <math>x,</math> <math>f(U)</math> is a [[Neighborhood (topology)|neighborhood]] of <math>f(x)</math> in <math>Y</math> (note that the neighborhood <math>f(U)</math> is not required to be an {{em|open}} neighborhood).
A surjective map <math>f : X \to Y</math> is called an '''{{em|[[almost open map]]}}'''{{anchor|Almost open map}} if for every <math>y \in Y</math> there exists some <math>x \in f^{-1}(y)</math> such that <math>x</math> is a '''{{em|{{visible anchor|point of openness|Point of openness}}}}''' for <math>f,</math> which by definition means that for every open neighborhood <math>U</math> of <math>x,</math> <math>f(U)</math> is a [[Neighborhood (topology)|neighborhood]] of <math>f(x)</math> in <math>Y</math> (note that the neighborhood <math>f(U)</math> is not required to be an {{em|open}} neighborhood).
Every surjective open map is an almost open map but in general, the converse is not necessarily true.
Every surjective open map is an almost open map but in general, the converse is not necessarily true.
If a surjection <math>f : (X, \tau) \to (Y, \sigma)</math> is an almost open map then it will be an open map if it satisfies the following condition (a condition that does {{em|not}} depend in any way on <math>Y</math>'s topology <math>\sigma</math>):
If a surjection <math>f : (X, \tau) \to (Y, \sigma)</math> is an almost open map then it will be an open map if it satisfies the following condition (a condition that does {{em|not}} depend in any way on <math>Y</math>'s topology <math>\sigma</math>):
:whenever <math>m, n \in X</math> belong to the same [[Fiber (mathematics)|fiber]] of <math>f</math> (i.e. <math>f(m) = f(n)</math>) then for every neighborhood <math>U \in \tau</math> of <math>m,</math> there exists some neighborhood <math>V \in \tau</math> of <math>n</math> such that <math>F(V) \subseteq F(U).</math>
:whenever <math>m, n \in X</math> belong to the same [[Fiber (mathematics)|fiber]] of <math>f</math> (that is, <math>f(m) = f(n)</math>) then for every neighborhood <math>U \in \tau</math> of <math>m,</math> there exists some neighborhood <math>V \in \tau</math> of <math>n</math> such that <math>F(V) \subseteq F(U).</math>
If the map is continuous then the above condition is also necessary for the map to be open. That is, if <math>f : X \to Y</math> is a continuous surjection then it is an open map if and only if it is almost open and it satisfies the above condition.
If the map is continuous then the above condition is also necessary for the map to be open. That is, if <math>f : X \to Y</math> 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 ==
==Properties==


===Open or closed maps that are continuous===
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 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 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 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 (topology)|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.
** 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]].
* 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 first two cases, being open or closed is merely a [[sufficient condition]] for the conclusion that follows.
In the third case, it is [[Necessary condition|necessary]] as well.
In the third case, it is [[Necessary condition|necessary]] as well.

===Open continuous maps===


If <math>f : X \to Y</math> is a continuous (strongly) open map, <math>A \subseteq X,</math> and <math>S \subseteq Y,</math> then:
If <math>f : X \to Y</math> is a continuous (strongly) open map, <math>A \subseteq X,</math> and <math>S \subseteq Y,</math> then:
Line 139: Line 163:
<li><math>f^{-1}\left(\overline{S}\right) = \overline{f^{-1}(S)}</math> where <math>\overline{S}</math> denote the [[Closure (topology)|closure]] of a set.</li>
<li><math>f^{-1}\left(\overline{S}\right) = \overline{f^{-1}(S)}</math> where <math>\overline{S}</math> denote the [[Closure (topology)|closure]] of a set.</li>
<li>If <math>\overline{A} = \overline{\operatorname{Int}_X A},</math> where <math>\operatorname{Int} </math> denotes the [[Interior (topology)|interior]] of a set, then
<li>If <math>\overline{A} = \overline{\operatorname{Int}_X A},</math> where <math>\operatorname{Int} </math> denotes the [[Interior (topology)|interior]] of a set, then
::<math>\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)}</math>
<math display="block">\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)}</math>
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>
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> is a [[regular open set]] then so is <math>Y \setminus \overline{f(X \setminus A)}.</math>
</li>
</li>
<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>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>
</li>
<li>If a [[Net (mathematics)|net]] <math>y_{\bull} = \left(y_i\right)_{i \in I}</math> [[Convergent net|converges]] in <math>Y</math> to a point <math>y \in Y</math> and if the continuous open map <math>f : X \to Y</math> is surjective, then for any <math>x \in f^{-1}(y)</math> there exists a net <math>x_{\bull} = \left(x_a\right)_{a \in A}</math> in <math>X</math> (indexed by some [[directed set]] <math>A</math>) such that <math>x_{\bull} \to x</math> in <math>X</math> and <math>f\left(x_{\bull}\right) := \left(f\left(x_a\right)\right)_{a \in A}</math> is a [[Subnet (mathematics)|subnet]] of <math>y_{\bull}.</math> Moreover, the indexing set <math>A</math> may be taken to be <math>A := I \times \mathcal{N}_x</math> with the [[product order]] where <math>\mathcal{N}_x</math> is any [[neighbourhood basis]] of <math>x</math> directed by <math>\,\supseteq.\,</math><ref group=note>Explicitly, for any <math>a := (i, U) \in A := I \times \mathcal{N}_x,</math> pick any <math>h_a \in I</math> such that <math>i \leq h_a \text{ and } y_{h_a} \in f(U)</math> and then let <math>x_a \in U \cap f^{-1}\left(y_{h_a}\right)</math> be arbitrary. The assignment <math>a \mapsto h_a</math> defines an [[order morphism]] <math>h : A \to I</math> such that <math>h(A)</math> is a [[cofinal subset]] of <math>I;</math> thus <math>f\left(x_{\bull}\right)</math> is a [[Willard-subnet]] of <math>y_{\bull}.</math></ref></li>
</ul>
</ul>


==See also==
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 ==


* {{annotated link|Almost open map}}
* {{annotated link|Almost open map}}
Line 160: Line 178:
* {{annotated link|Local homeomorphism}}
* {{annotated link|Local homeomorphism}}
* {{annotated link|Quasi-open map}}
* {{annotated link|Quasi-open map}}
* {{annotated link|Quotient map}}
* {{annotated link|Quotient map (topology)}}
* {{annotated link|Perfect map}}
* {{annotated link|Perfect map}}
* {{annotated link|Proper map}}
* {{annotated link|Proper map}}
* {{annotated link|Sequence covering map}}
* {{annotated link|Sequence covering map}}


== Notes ==
==Notes==


{{reflist|group=note|refs=
{{reflist|group=note|refs=
<ref name="DefOfRegularOpenClosed">A subset <math>S \subseteq X</math> is called a '''{{em|[[regular closed set]]}}''' if <math>\overline{\operatorname{Int} S} = S</math> or equivalently, if <math>\operatorname{Bd} \left( \operatorname{Int} S \right) = \operatorname{Bd} S,</math> where <math>\operatorname{Bd} S</math> (resp. <math>\operatorname{Int} S,</math> <math>\overline{S}</math>) denotes the [[Boundary (topology)|topological boundary]] (resp. [[Interior (topology)|interior]], [[Closure (topology)|closure]]) of <math>S</math> in <math>X.</math> The set <math>S</math> is called a '''{{em|[[regular open set]]}}''' if <math>\operatorname{Int} \left( \overline{S} \right) = S</math> or equivalently, if <math>\operatorname{Bd} \left( \overline{S} \right) = \operatorname{Bd} S.</math> The interior (taken in <math>X</math>) of a closed subset of <math>X</math> is always a regular open subset of <math>X.</math> The closure (taken in <math>X</math>) of an open subset of <math>X</math> is always a regular closed subset of <math>X.</math></ref>
<ref name="DefOfRegularOpenClosed">A subset <math>S \subseteq X</math> is called a '''{{em|[[Regular closed set|{{visible anchor|regular closed set}}]]}}''' if <math>\overline{\operatorname{Int} S} = S</math> or equivalently, if <math>\operatorname{Bd} \left( \operatorname{Int} S \right) = \operatorname{Bd} S,</math> where <math>\operatorname{Bd} S</math> (resp. <math>\operatorname{Int} S,</math> <math>\overline{S}</math>) denotes the [[Boundary (topology)|topological boundary]] (resp. [[Interior (topology)|interior]], [[Closure (topology)|closure]]) of <math>S</math> in <math>X.</math> The set <math>S</math> is called a '''{{em|[[Regular open set|{{visible anchor|regular open set}}]]}}''' if <math>\operatorname{Int} \left( \overline{S} \right) = S</math> or equivalently, if <math>\operatorname{Bd} \left( \overline{S} \right) = \operatorname{Bd} S.</math> The interior (taken in <math>X</math>) of a closed subset of <math>X</math> is always a regular open subset of <math>X.</math> The closure (taken in <math>X</math>) of an open subset of <math>X</math> is always a regular closed subset of <math>X.</math></ref>
}}
}}
{{reflist|group=proof}}

==Citations==


== Citations ==
{{reflist}}
{{reflist}}


== References ==
==References==


* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn | Narici | 2011 | p=}} -->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer | 1999 | p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn|Schaefer|Wolff|1999|p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn | Trèves | 2006 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->


{{DEFAULTSORT:Open And Closed Maps}}
{{DEFAULTSORT:Open And Closed Maps}}

[[Category:General topology]]
[[Category:General topology]]
[[Category:Continuous mappings]]
[[Category:Theory of continuous functions]]
[[Category:Lemmas]]
[[Category:Lemmas]]

Latest revision as of 18:47, 14 December 2023

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 is open if for any open set in the image is open in 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 is continuous if the preimage of every open set of is open in [2] (Equivalently, if the preimage of every closed set of is closed in ).

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

Definitions and characterizations

[edit]

If is a subset of a topological space then let and (resp. ) denote the closure (resp. interior) of in that space. Let be a function between topological spaces. If is any set then is called the image of under

Competing definitions

[edit]

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 is called a

  • "Strongly open map" if whenever is an open subset of the domain then is an open subset of 's codomain
  • "Relatively open map" if whenever is an open subset of the domain then is an open subset of 's image where as usual, this set is endowed with the subspace topology induced on it by 's codomain [11]

Every strongly open map is a relatively open map. However, these definitions are not equivalent in general.

Warning: Many authors define "open map" to mean "relatively open map" (for example, The Encyclopedia of Mathematics) while 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.

A surjective map is relatively open if and only if it is strongly open; so for this important special case the definitions are equivalent. More generally, a map is relatively open if and only if the surjection is a strongly open map.

Because is always an open subset of the image of a strongly open map must be an open subset of its codomain In fact, a relatively open map is a strongly open map if and only if its image is an open subset of its codomain. In summary,

A map is strongly open if and only if it is relatively open and its image is an open subset of its codomain.

By using this characterization, it is often straightforward to apply results involving one of these two definitions of "open map" to a situation involving the other definition.

The discussion above will also apply to closed maps if each instance of the word "open" is replaced with the word "closed".

Open maps

[edit]

A map is called an open map or a strongly open map if it satisfies any of the following equivalent conditions:

  1. Definition: maps open subsets of its domain to open subsets of its codomain; that is, for any open subset of , is an open subset of
  2. is a relatively open map and its image is an open subset of its codomain
  3. For every and every neighborhood of (however small), is a neighborhood of . We can replace the first or both instances of the word "neighborhood" with "open neighborhood" in this condition and the result will still be an equivalent condition:
    • For every and every open neighborhood of , is a neighborhood of .
    • For every and every open neighborhood of , is an open neighborhood of .
  4. for all subsets of where denotes the topological interior of the set.
  5. Whenever is a closed subset of then the set is a closed subset of
    • This is a consequence of the identity which holds for all subsets

If is a basis for then the following can be appended to this list:

  1. maps basic open sets to open sets in its codomain (that is, for any basic open set is an open subset of ).

Closed maps

[edit]

A map is called a relatively closed map if whenever is a closed subset of the domain then is a closed subset of 's image where as usual, this set is endowed with the subspace topology induced on it by 's codomain

A map is called a closed map or a strongly closed map if it satisfies any of the following equivalent conditions:

  1. Definition: maps closed subsets of its domain to closed subsets of its codomain; that is, for any closed subset of is a closed subset of
  2. is a relatively closed map and its image is a closed subset of its codomain
  3. for every subset
  4. for every closed subset
  5. for every closed subset
  6. Whenever is an open subset of then the set is an open subset of
  7. If is a net in and is a point such that in then converges in to the set
    • The convergence means that every open subset of that contains will contain for all sufficiently large indices

A surjective map is strongly closed if and only if it is relatively closed. So for this important special case, the two definitions are equivalent. By definition, the map is a relatively closed map if and only if the surjection is a strongly closed map.

If in the open set definition of "continuous map" (which is the statement: "every preimage of an open set is open"), both instances of the word "open" are replaced with "closed" then the statement of results ("every preimage of a closed set is closed") is equivalent to continuity. This does not happen with the definition of "open map" (which is: "every image of an open set is open") since the statement that results ("every image of a closed set is closed") is the definition of "closed map", which is in general not equivalent to openness. There exist open maps that are not closed and there also exist closed maps that are not open. This difference between open/closed maps and continuous maps is ultimately due to the fact that for any set only is guaranteed in general, whereas for preimages, equality always holds.

Examples

[edit]

The function defined by is continuous, closed, and relatively open, but not (strongly) open. This is because if is any open interval in 's domain that does not contain then where this open interval is an open subset of both and However, if is any open interval in that contains then which is not an open subset of 's codomain but is an open subset of Because the set of all open intervals in is a basis for the Euclidean topology on this shows that is relatively open but not (strongly) open.

If has the discrete topology (that is, all subsets are open and closed) then every function is both open and closed (but not necessarily continuous). For example, the floor function from to 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 the natural projections are open[12][13] (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 on the first component; then the set is closed in but is not closed in However, for a compact space the projection is closed. This is essentially the tube lemma.

To every point on the unit circle we can associate the angle of the positive -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

[edit]

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 (strongly) open maps is an open map and the composition of two (strongly) closed maps is a closed map.[14][15] However, the composition of two relatively open maps need not be relatively open and similarly, the composition of two relatively closed maps need not be relatively closed. If is strongly open (respectively, strongly closed) and is relatively open (respectively, relatively closed) then is relatively open (respectively, relatively closed).

Let be a map. Given any subset if is a relatively open (respectively, relatively closed, strongly open, strongly closed, continuous, surjective) map then the same is true of its restriction to the -saturated subset

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

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. All local homeomorphisms, including all coordinate charts on manifolds and all covering maps, are open maps.

Closed map lemma — Every continuous function from a compact space to a Hausdorff space is closed and proper (meaning that 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 -dimensional topological manifolds must be open.

Invariance of domain — If is an open subset of and is an injective continuous map, then is open in and is a homeomorphism between and

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 is called an almost open map if for every there exists some such that is a point of openness for which by definition means that for every open neighborhood of is a neighborhood of in (note that the neighborhood 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 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 's topology ):

whenever belong to the same fiber of (that is, ) then for every neighborhood of there exists some neighborhood of such that

If the map is continuous then the above condition is also necessary for the map to be open. That is, if 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

[edit]

Open or closed maps that are continuous

[edit]

If is a continuous map that is also open or closed then:

  • if is a surjection then it is a quotient map and even a hereditarily quotient map,
    • A surjective map is called hereditarily quotient if for every subset the restriction is a quotient map.
  • if is an injection then it is a topological embedding.
  • if is a bijection then it is a homeomorphism.

In the first two cases, being open or closed is merely a sufficient condition for the conclusion that follows. In the third case, it is necessary as well.

Open continuous maps

[edit]

If is a continuous (strongly) open map, and then:

  • where denotes the boundary of a set.
  • where denote the closure of a set.
  • If where denotes the interior of a set, then where this set is also necessarily a regular closed set (in ).[note 1] In particular, if is a regular closed set then so is And if is a regular open set then so is
  • If the continuous open map is also surjective then and moreover, is a regular open (resp. a regular closed)[note 1] subset of if and only if is a regular open (resp. a regular closed) subset of
  • If a net converges in to a point and if the continuous open map is surjective, then for any there exists a net in (indexed by some directed set ) such that in and is a subnet of Moreover, the indexing set may be taken to be with the product order where is any neighbourhood basis of directed by [note 2]

See also

[edit]
  • Almost open map – Map that satisfies a condition similar to that of being an open map.
  • Closed graph – Graph of a map closed in the product space
  • Closed linear operator
  • Local homeomorphism – Mathematical function revertible near each point
  • Quasi-open map – Function that maps non-empty open sets to sets that have non-empty interior in its codomain
  • Quotient map (topology) – Topological space construction
  • Perfect map – Continuous closed surjective map, each of whose fibers are also compact sets
  • Proper map – Map between topological spaces with the property that the preimage of every compact is compact
  • Sequence covering map

Notes

[edit]
  1. ^ a b A subset is called a regular closed set if or equivalently, if where (resp. ) denotes the topological boundary (resp. interior, closure) of in The set is called a regular open set if or equivalently, if The interior (taken in ) of a closed subset of is always a regular open subset of The closure (taken in ) of an open subset of is always a regular closed subset of
  2. ^ Explicitly, for any pick any such that and then let be arbitrary. The assignment defines an order morphism such that is a cofinal subset of thus is a Willard-subnet of

Citations

[edit]
  1. ^ Munkres, James R. (2000). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.
  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 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).
  3. ^ 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 (continuous or not) is said to be an open map if for every closed subset is open in and a closed map if for every closed subset is closed in Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.
  4. ^ a b Ludu, Andrei (15 January 2012). 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 π1:X1 × ··· × XkXi is an open map, but need not be a closed map. Hint: The projection of R2 onto 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.
  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 has the property that for each open subset of the set is an open subset of and yet 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 of a metric space into a metric space may possess any combination of the attributes 'continuous', 'open', and 'closed' (that is, 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].
  11. ^ Narici & Beckenstein 2011, pp. 225–273.
  12. ^ Willard, Stephen (1970). General Topology. Addison-Wesley. ISBN 0486131785.
  13. ^ 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 are topological spaces. Show that each projection is an open map.
  14. ^ 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,...
  15. ^ 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

[edit]