View source for Sequence covering map

In [[mathematics]], specifically [[topology]], a '''sequence covering map''' is any of a class of [[Map (mathematics)|maps]] between [[topological space]]s whose definitions all somehow relate sequences in the [[codomain]] with sequences in the [[Domain of a function|domain]]. Examples include {{em|sequentially [[Quotient map (topology)|quotient]]}} maps, {{em|sequence coverings}}, {{em|1-sequence coverings}}, and {{em|2-sequence coverings}}.<ref name="Franklin1965" /><ref name="Arkhangel'skii1966" /><ref name="Siwiec1971" /><ref name="SiwiecMancuso1971" /> These classes of maps are closely related to [[sequential space]]s. If the domain and/or codomain have certain additional [[Topological property|topological properties]] (often, the spaces being [[Hausdorff space|Hausdorff]] and [[first-countable space|first-countable]] is more than enough) then these definitions become equivalent to other well-known classes of maps, such as [[open map]]s or [[quotient map (topology)|quotient map]]s, for example. In these situations, characterizations of such properties in terms of convergent sequences might provide benefits similar to those provided by, say for instance, the characterization of continuity in terms of [[sequential continuity]] or the characterization of compactness in terms of [[sequential compactness]] (whenever such characterizations hold). 

==Definitions==

===Preliminaries===
{{main|Sequential space|Fréchet–Urysohn space}}

A subset <math>S</math> of <math>(X, \tau)</math> is said to be '''{{em|[[sequentially open]] in <math>(X, \tau)</math>}}''' if whenever a sequence in <math>X</math> converges (in <math>(X, \tau)</math>) to some point that belongs to <math>S,</math> then that sequence is necessarily {{em|eventually}} in <math>S</math> (i.e. at most finitely many points in the sequence do not belong to <math>S</math>). The set <math>\operatorname{SeqOpen}(X, \tau)</math> of all sequentially open subsets of <math>(X, \tau)</math> forms a [[Topology (structure)|topology]] on <math>X</math> that is [[Comparison of topologies|finer than]] <math>X</math>'s given topology <math>\tau.</math> 
By definition, <math>(X, \tau)</math> is called a '''{{em|[[sequential space]]}}''' if <math>\tau = \operatorname{SeqOpen}(X, \tau).</math> 
Given a sequence <math>x_{\bull}</math> in <math>X</math> and a point <math>x \in X,</math> <math>x_{\bull} \to x</math> in <math>(X, \tau)</math> if and only if <math>x_{\bull} \to x</math> in <math>(X, \operatorname{SeqOpen}(X, \tau)).</math> Moreover, <math>\operatorname{SeqOpen}(X, \tau)</math> is the {{em|finest}} topology on <math>X</math> for which this characterization of sequence convergence in <math>(X, \tau)</math> holds. 

A map <math>f : (X, \tau) \to (Y, \sigma)</math> is called '''{{em|[[Sequential continuity|sequentially continuous]]}}''' if <math>f : (X, \operatorname{SeqOpen}(X, \tau)) \to (Y, \operatorname{SeqOpen}(Y, \sigma))</math> is [[Continuous map (topology)|continuous]], which happens if and only if for every sequence <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> in <math>X</math> and every <math>x \in X,</math> if <math>x_{\bull} \to x</math> in <math>(X, \tau)</math> then necessarily <math>f\left(x_{\bull}\right) \to f(x)</math> in <math>(Y, \sigma).</math> 
Every continuous map is sequentially continuous although in general, the converse may fail to hold. 
In fact, a space <math>(X, \tau)</math> is a sequential space if and only if it has the following {{em|[[universal property]] for sequential spaces}}: 
:for every topological space <math>(Y, \sigma)</math> and every map <math>f : X \to Y,</math> the map <math>f : (X, \tau) \to (Y, \sigma)</math> is continuous if and only if it is sequentially continuous. 

The '''{{em|sequential closure}}''' in <math>(X, \tau)</math> of a subset <math>S \subseteq X</math> is the set <math>\operatorname{scl}_{(X, \tau)} S</math> consisting of all <math>x \in X</math> for which there exists a sequence in <math>S</math> that converges to <math>x</math> in <math>(X, \tau).</math> 
A subset <math>S \subseteq X</math> is called '''{{em|sequentially closed}}''' in <math>(X, \tau)</math> if <math>S = \operatorname{scl}_{(X, \tau)} S,</math> which happens if and only if whenever a sequence in <math>S</math> converges in <math>(X, \tau)</math> to some point <math>x \in X</math> then necessarily <math>x \in S.</math> 
The space <math>(X, \tau)</math> is called a '''{{em|[[Fréchet–Urysohn space]]}}''' if <math>\operatorname{scl}_X S ~=~ \operatorname{cl}_X S</math> for every subset <math>S \subseteq X,</math> which happens if and only if every subspace of <math>(X, \tau)</math> is a sequential space. 
Every [[first-countable space]] is a Fréchet–Urysohn space and thus also a sequential space. All [[pseudometrizable space]]s, [[metrizable space]]s, and [[second-countable space]]s are first-countable.

===Sequence coverings===

A [[sequence]] <math>x_{\bull} = \left(x_i\right)_{i=1}^\infty</math> in a set <math>X</math> is by definition a [[Function (mathematics)|function]] <math>x_{\bull} : \N \to X</math> whose value at <math>i \in \N</math> is denoted by <math>x_i</math> (although the usual notation used with functions, such as parentheses <math>x_{\bull}(i)</math> or [[Function composition|composition]] <math>f \circ x_{\bull},</math> might be used in certain situations to improve readability). 
Statements such as "the sequence <math>x_{\bull}</math> is [[Injective map|injective]]" or "the [[Image (mathematics)|image]] (i.e. range) <math>\operatorname{Im} x_{\bull}</math> of a sequence <math>x_{\bull}</math> is infinite" as well as other terminology and notation that is defined for functions can thus be applied to sequences. 
A sequence <math>s_{\bull}</math> is said to be a '''{{em|[[subsequence]]}}''' of another sequence <math>x_{\bull}</math> if there exists a strictly increasing map <math>l_{\bull} : \N \to \N</math> (possibly denoted by <math>l_{\bull} = \left(l_k\right)_{k=1}^{\infty}</math> instead) such that <math>s_k = x_{l_k}</math> for every <math>k \in \N,</math> where this condition can be expressed in terms of [[function composition]] <math>\circ</math> as: <math>s_{\bull} = x_{\bull} \circ l_{\bull}.</math> 
As usual, if <math>x_{l_{\bull}} = \left(x_{l_k}\right)_{k=1}^{\infty}</math> is declared to be (such as by definition) a subsequence of <math>x_{\bull}</math> then it should immediately be assumed that <math>l_{\bull} : \N \to \N</math> is strictly increasing. 
The notation <math>x_{\bull} \subseteq S</math> and <math>\operatorname{Im} x_{\bull} \subseteq S</math> mean that the sequence <math>x_{\bull}</math> is valued in the set <math>S.</math> 

The function <math>f : X \to Y</math> is called a '''{{em|{{visible anchor|sequence covering|Sequence covering}}}}''' if for every convergent sequence <math>y_{\bull}</math> in <math>Y,</math>  there exists a sequence <math>x_{\bull} \subseteq X</math> such that <math>y_{\bull} = f \circ x_{\bull}.</math> 
It is called a '''{{em|{{visible anchor|1-sequence covering}}}}''' if for every <math>y \in Y</math> there exists some <math>x \in f^{-1}(y)</math> such that every sequence <math>y_{\bull} \subseteq Y</math> that converges to <math>y</math> in <math>(Y, \sigma),</math> there exists a sequence <math>x_{\bull} \subseteq X</math> such that <math>y_{\bull} = f \circ x_{\bull}</math> and <math>x_{\bull}</math> converges to <math>x</math> in <math>(X, \tau).</math> 
It is a '''{{em|{{visible anchor|2-sequence covering}}}}''' if <math>f : X \to Y</math> is surjective and also for every <math>y \in Y</math> and every <math>x \in f^{-1}(y),</math> every sequence <math>y_{\bull} \subseteq Y</math> and  converges to <math>y</math> in <math>(Y, \sigma),</math> there exists a sequence <math>x_{\bull} \subseteq X</math> such that <math>y_{\bull} = f \circ x_{\bull}</math> and <math>x_{\bull}</math> converges to <math>x</math> in <math>(X, \tau).</math> 
A map <math>f : X \to Y</math> is a '''{{em|[[compact covering]]}}''' if for every compact <math>K \subseteq Y</math> there exists some compact subset <math>C \subseteq X</math> such that <math>f(C) = K.</math>

===Sequentially quotient mappings===

In analogy with the definition of sequential continuity, a map <math>f : (X, \tau) \to (Y, \sigma)</math> is called a '''{{em|{{visible anchor|sequentially quotient map|Sequentially quotient map|sequentially quotient|Sequentially quotient}}}}''' if 
:<math>f : (X, \operatorname{SeqOpen}(X, \tau)) \to (Y, \operatorname{SeqOpen}(Y, \sigma))</math>

is a [[quotient map (topology)|quotient map]],<ref name="BooneSiwiec1976" /> which happens if and only if for any subset <math>S \subseteq Y,</math> <math>S</math> is sequentially open <math>(Y, \sigma)</math> if and only if this is true of <math>f^{-1}(S)</math> in <math>(X, \tau).</math> 
Sequentially quotient maps were introduced in {{harvnb|Boone|Siwiec|1976}} who defined them as above.<ref name="BooneSiwiec1976" /> 

Every sequentially quotient map is necessarily surjective and sequentially continuous although they may fail to be continuous. 
If <math>f : (X, \tau) \to (Y, \sigma)</math> is a sequentially continuous surjection whose domain <math>(X, \tau)</math> is a [[sequential space]], then <math>f : (X, \tau) \to (Y, \sigma)</math> is a [[quotient map (topology)|quotient map]] if and only if <math>(Y, \sigma)</math> is a sequential space and <math>f : (X, \tau) \to (Y, \sigma)</math> is a sequentially quotient map. 

Call a space <math>(Y, \sigma)</math> '''{{em|[[sequentially Hausdorff]]}}''' if <math>(Y, \operatorname{SeqOpen}(Y, \sigma))</math> is a [[Hausdorff space]].<ref name="AkizKoçak2019" /> 
In an analogous manner, a "sequential version" of every other [[separation axiom]] can be defined in terms of whether or not the space <math>(Y, \operatorname{SeqOpen}(Y, \sigma))</math> possess it. 
Every Hausdorff space is necessarily sequentially Hausdorff. A sequential space is Hausdorff if and only if it is sequentially Hausdorff. 

If <math>f : (X, \tau) \to (Y, \sigma)</math> is a sequentially continuous surjection then assuming that <math>(Y, \sigma)</math> is sequentially Hausdorff, the following are equivalent:

<ol>
<li><math>f : (X, \tau) \to (Y, \sigma)</math> is sequentially quotient.</li>
<li>Whenever <math>y_{\bull} \to y</math> is a convergent sequence in <math>Y</math> then there exists a convergent sequence <math>x_{\bull} \to x</math> in <math>X</math> such that <math>f(x) = y</math> and <math>f \circ x_{\bull}</math> is a subsequence of <math>y_{\bull}.</math>
</li>
<li>Whenever <math>y_{\bull}</math> is a convergent sequence in <math>Y</math> then there exists a convergent sequence <math>x_{\bull}</math> in <math>X</math> such that <math>f \circ x_{\bull}</math> is a subsequence of <math>y_{\bull}.</math>
* This statement differs from (2) above only in that there are no requirements placed on the limits of the sequences (which becomes an important difference only when <math>Y</math> is not sequentially Hausdorff). 
* If <math>f : X \to Y</math> is a continuous surjection onto a [[sequentially compact]] space <math>Y</math> then this condition holds even if <math>Y</math> is not sequentially Hausdorff.
</li>
</ol>

If the assumption that <math>Y</math> is sequentially Hausdorff were to be removed, then statement (2) would still imply the other two statement but the above characterization would no longer be guaranteed to hold (however, if points in the codomain were required to be sequentially closed then any sequentially quotient map would necessarily satisfy condition (3)). 
This remains true even if the sequential continuity requirement on <math>f : X \to Y</math> was strengthened to require (ordinary) continuity. 
Instead of using the original definition, some authors define "sequentially quotient map" to mean a {{em|continuous}} surjection that satisfies condition (2) or alternatively, condition (3). If the codomain is sequentially Hausdorff then these definitions differs from the original {{em|only}} in the added requirement of continuity (rather than merely requiring sequential continuity).

The map <math>f : (X, \tau) \to (Y, \sigma)</math> is called '''{{em|{{visible anchor|presequential|Presequential}}}}''' if for every convergent sequence <math>y_{\bull} \to y</math> in <math>(Y, \sigma)</math> such that <math>y_{\bull}</math> is not eventually equal to <math>y,</math> the set <math>\bigcup_{\stackrel{i \in \N,}{y_i \neq y}} f^{-1}\left(y_i\right)</math> is {{em|not}} sequentially closed in <math>(X, \tau),</math><ref name="BooneSiwiec1976" /> where this set may also be described as:
:<math>\bigcup_{\stackrel{i \in \N,}{y_i \neq y}} f^{-1}\left(y_i\right) 
~=~ f^{-1} \left(\left(\operatorname{Im} y_{\bull}\right) \setminus \{ y \}\right) 
~=~ f^{-1} \left(\operatorname{Im} y_{\bull}\right) \setminus f^{-1}(y)
</math> 
Equivalently, <math>f : (X, \tau) \to (Y, \sigma)</math> is presequential if and only if for every convergent sequence <math>y_{\bull} \to y</math> in <math>(Y, \sigma)</math> such that <math>y_{\bull} \subseteq Y \setminus \{ y \},</math> the set <math>f^{-1} \left(\operatorname{Im} y_{\bull}\right)</math> is {{em|not}} sequentially closed in <math>(X, \tau).</math>

A surjective map <math>f : (X, \tau) \to (Y, \sigma)</math> between Hausdorff spaces is sequentially quotient if and only if it is sequentially continuous and a presequential map.<ref name="BooneSiwiec1976" />

==Characterizations==

If <math>f : (X, \tau) \to (Y, \sigma)</math> is a continuous surjection between two [[first-countable]] [[Hausdorff space|Hausdorff]] spaces then the following statements are true:<ref name="Foged1985" /><ref name="GruenhageMichael1984" /><ref name="LinYan2001" /><ref name="ShouChuan1997" /><ref name="Michael1972" /><ref name="Olson1974" /><ref name="Siwiec1971" /><ref name="SiwiecMancuso1971" /> 
<ul>
<li><math>f</math> is almost open if and only if it is a 1-sequence covering.
* An '''{{em|[[almost open map]]}}''' is surjective map <math>f : X \to Y</math> with the property that 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 of <math>f(x)</math> in <math>Y.</math></li>
<li><math>f</math> is an [[open map]] if and only if it is a 2-sequence covering.</li>
<li>If <math>f</math> is a [[compact covering]] map then <math>f</math> is a quotient map.</li>
<li>The following are equivalent:
<ol style="list-style-type: lower-latin;">
<li><math>f</math> is a quotient map.</li>
<li><math>f</math> is a sequentially quotient map.</li>
<li><math>f</math> is a sequence covering.</li>
<li><math>f</math> is a pseudo-open map.
* A map <math>f : X \to Y</math> is called '''{{em|pseudo-open}}''' if for every <math>y \in Y</math> and every open neighborhood <math>U</math> of <math>f^{-1}(y)</math> (meaning an open subset <math>U</math> such that <math>f^{-1}(y) \subseteq U</math>), <math>y</math> necessarily belongs to the [[Topological interior|interior]] (taken in <math>Y</math>) of <math>f(U).</math></li>
</ol>
and if in addition both <math>X</math> and <math>Y</math> are [[Separable space|separable]] [[metric space]]s then to this list may be appended:
<ol style="list-style-type: lower-latin;" start=5>
<li><math>f</math> is a [[hereditarily quotient map]].</li>
</ol>
</li>
</ul>

==Properties==

The following is a sufficient condition for a continuous surjection to be sequentially open, which with additional assumptions, results in a characterization of [[open map]]s. Assume that <math>f : X \to Y</math> is a continuous surjection from a [[regular space]] <math>X</math> onto a Hausdorff space <math>Y.</math> If the restriction <math>f\big\vert_U : U \to f(U)</math> is sequentially quotient for every open subset <math>U</math> of <math>X</math> then <math>f : X \to Y</math> maps open subsets of <math>X</math> to [[sequentially open]] subsets of <math>Y.</math> 
Consequently, if <math>X</math> and <math>Y</math> are also [[sequential space]]s, then <math>f : X \to Y</math> is an [[open map]] if and only if <math>f\big\vert_U : U \to f(U)</math> is sequentially quotient (or equivalently, [[Quotient map (topology)|quotient]]) for every open subset <math>U</math> of <math>X.</math> 

Given an element <math>y \in Y</math> in the codomain of a (not necessarily surjective) continuous function <math>f : X \to Y,</math> the following gives a sufficient condition for <math>y</math> to belong to <math>f</math>'s image: <math>y \in \operatorname{Im} f := f(X).</math> A [[Family of sets|family]] <math>\mathcal{B}</math> of subsets of a topological space <math>(X, \tau)</math> is said to be '''{{em|[[Locally finite collection|locally finite]]}}''' at a point <math>x \in X</math> if there exists some open neighborhood <math>U</math> of <math>x</math> such that the set <math>\left\{ B \in \mathcal{B} ~:~ U \cap B \neq \varnothing \right\}</math> is finite. 
Assume that <math>f : X \to Y</math> is a continuous map between two [[Hausdorff space|Hausdorff]] [[first-countable space]]s and let <math>y \in Y.</math> 
If there exists a sequence <math>y_{\bull} = \left(y_i\right)_{i=1}^{\infty}</math> in <math>Y</math> such that (1) <math>y_{\bull} \to y</math> and (2) there exists some <math>x \in X</math> such that <math>\left\{ f^{-1}\left(y_i\right) ~:~ i \in \N \right\}</math> is {{em|not}} locally finite at <math>x,</math> then <math>y \in \operatorname{Im} f = f(X).</math> 
The converse is true if there is no point at which <math>f</math> is [[Locally constant function|locally constant]]; that is, if there does not exist any non-empty open subset of <math>X</math> on which <math>f</math> [[Restriction of a function|restricts]] to a constant map.

==Sufficient conditions==

Suppose <math>f : X \to Y</math> is a continuous open surjection from a [[first-countable space]] <math>X</math> onto a [[Hausdorff space]] <math>Y,</math> let <math>D \subseteq Y</math> be any non-empty subset, and let <math>y \in \operatorname{cl}_Y D</math> where <math>\operatorname{cl}_Y D</math> denotes the closure of <math>D</math> in <math>Y.</math> 
Then given any <math>x, z \in f^{-1}(y)</math> and any sequence <math>x_{\bull}</math> in <math>f^{-1}(D)</math> that converges to <math>x,</math> there exists a sequence <math>z_{\bull}</math> in <math>f^{-1}(D)</math> that converges to <math>z</math> as well as a subsequence <math>\left(x_{l_k}\right)_{k=1}^\infty</math> of <math>x_{\bull}</math> such that <math>f(z_k) = f\left(x_{l_k}\right)</math> for all <math>k \in \N.</math> 
In short, this states that given a convergent sequence <math>x_{\bull} \subseteq f^{-1}(D)</math> such that <math>x_{\bull} \to x</math> then for any other <math>z \in f^{-1}(f(x))</math> belonging to the same fiber as <math>x,</math> it is always possible to find a subsequence <math>x_{l_{\bull}} = \left(x_{l_k}\right)_{k=1}^\infty</math> such that <math>f \circ x_{l_{\bull}} = \left(f\left(x_{l_k}\right)\right)_{k=1}^\infty</math> can be "lifted" by <math>f</math> to a sequence that converges to <math>z.</math>

The following shows that under certain conditions, a map's [[Fiber (mathematics)|fiber]] being a [[countable set]] is enough to guarantee the existence of a [[point of openness]]. If <math>f : X \to Y</math> is a sequence covering from a Hausdorff [[sequential space]] <math>X</math> onto a Hausdorff [[first-countable space]] <math>Y</math> and if <math>y \in Y</math> is such that the [[Fiber (mathematics)|fiber]] <math>f^{-1}(y)</math> is a countable set, then there exists some <math>x \in f^{-1}(y)</math> such that <math>x</math> is a point of openness for <math>f : X \to Y.</math> 
Consequently, if <math>f : X \to Y</math> is [[quotient map (topology)|quotient map]] between two Hausdorff [[first-countable space]]s and if every fiber of <math>f</math> is countable, then <math>f : X \to Y</math> is an almost open map and consequently, also a 1-sequence covering.

==See also==

* {{annotated link|Fréchet–Urysohn space}}
* {{annotated link|Open map}}
* {{annotated link|Perfect map}}
* {{annotated link|Proper map}}
* {{annotated link|Sequential space}}
* {{annotated link|Sequentially compact space}}

==Notes==

{{reflist|group=note}}

==Citations==

{{reflist|refs=
* <ref name="Arkhangel'skii1966">{{harvnb|Arkhangel'skii|1966|p=}}</ref>
* <ref name="AkizKoçak2019">{{harvnb|Akiz|Koçak|2019|p=}}</ref>
* <ref name="BooneSiwiec1976">{{harvnb|Boone|Siwiec|1976|p=}}</ref>
* <ref name="Foged1985">{{harvnb|Foged|1985|p=}}</ref>
* <ref name="Franklin1965">{{harvnb|Franklin|1965|p=}}</ref>
* <ref name="GruenhageMichael1984">{{harvnb|Gruenhage|Michael|Tanaka|1984|p=}}</ref>
* <ref name="LinYan2001">{{harvnb|Lin|Yan|2001|p=}}</ref>
* <ref name="Michael1972">{{harvnb|Michael|1972|p=}}</ref>
* <ref name="Olson1974">{{harvnb|Olson|1974|p=}}</ref>
* <ref name="ShouChuan1997">{{harvnb|Shou|Chuan|Mumin|1997|p=}}</ref>
* <ref name="Siwiec1971">{{harvnb|Siwiec|1971|p=}}</ref>
* <ref name="SiwiecMancuso1971">{{harvnb|Siwiec|Mancuso|1971|p=}}</ref>
}}

==References==
{{refbegin}}

* {{cite journal|last1=Arkhangel'skii|first1=A V|title=Mappings and spaces|journal=Russian Mathematical Surveys|volume=21|issue=4|year=1966|pages=115–162|issn=0036-0279|doi=10.1070/RM1966v021n04ABEH004169|bibcode=1966RuMaS..21..115A|url=http://www.mathnet.ru/links/0411dc60fab54ffac1cb8172e57c8f69/rm5901.pdf|access-date=10 February 2021}} <!--<ref name="Arkhangel'skii1966">{{harvnb|Arkhangel'skii|1966|p=}}</ref>-->
* {{cite journal|last1=Akiz|first1=Hürmet Fulya|last2=Koçak|first2=Lokman|title=Sequentially Hausdorff and full sequentially Hausdorff spaces|journal=Communications Faculty of Science University of Ankara Series A1Mathematics and Statistics|volume=68|issue=2|year=2019|pages=1724–1732|issn=1303-5991|doi=10.31801/cfsuasmas.424418|url=https://dergipark.org.tr/en/download/article-file/692156|access-date=10 February 2021|doi-access=free}} <!--<ref name="AkizKoçak2019">{{harvnb|Akiz|Koçak|2019|p=}}</ref>-->
* {{cite journal|last1=Boone|first1=James|title=A note on mesocompact and sequentially mesocompact spaces|journal=Pacific Journal of Mathematics|volume=44|issue=1|year=1973|pages=69–74|issn=0030-8730|doi=10.2140/pjm.1973.44.69|doi-access=free}} <!--<ref name="Boone1973">{{harvnb|Boone|1973|p=}}</ref>-->
* {{cite journal|last1=Boone|first1=James R.|last2=Siwiec|first2=Frank|title=Sequentially quotient mappings|journal=Czechoslovak Mathematical Journal|volume=26|issue=2|year=1976|pages=174–182|issn=0011-4642|doi=10.21136/CMJ.1976.101388|doi-access=free}} <!--<ref name="BooneSiwiec1976">{{harvnb|Boone|Siwiec|1976|p=}}</ref>-->
* {{cite journal|last1=Çakallı|first1=Hüseyin|title=Sequential definitions of connectedness|journal=Applied Mathematics Letters|volume=25|issue=3|year=2012|pages=461–465|issn=08939659|doi=10.1016/j.aml.2011.09.036|doi-access=free}} <!--<ref name="Çakallı2012">{{harvnb|Çakallı|2012|p=}}</ref>-->
* {{cite journal|last1=Foged|first1=L.|title=A characterization of closed images of metric spaces|journal=Proceedings of the American Mathematical Society|volume=95|issue=3|year=1985|pages=487|issn=0002-9939|doi=10.1090/S0002-9939-1985-0806093-3|doi-access=free}} <!--<ref name="Foged1985">{{harvnb|Foged|1985|p=}}</ref>-->
* {{cite journal|last1=Franklin|first1=S.|title=Spaces in which sequences suffice|journal=Fundamenta Mathematicae|volume=57|issue=1|year=1965|pages=107–115|issn=0016-2736|doi=10.4064/fm-57-1-107-115|doi-access=free}} <!--<ref name="Franklin1965">{{harvnb|Franklin|1965|p=}}</ref>-->
* {{cite journal|last1=Gruenhage|first1=Gary|last2=Michael|first2=Ernest|last3=Tanaka|first3=Yoshio|title=Spaces determined by point-countable covers|journal=Pacific Journal of Mathematics|volume=113|issue=2|year=1984|pages=303–332|issn=0030-8730|doi=10.2140/pjm.1984.113.303|doi-access=free}} <!--<ref name="GruenhageMichael1984">{{harvnb|Gruenhage|Michael|Tanaka|1984|p=}}</ref>-->
* {{cite journal|last1=Lin|first1=Shou|last2=Yan|first2=Pengfei|title=Sequence-covering maps of metric spaces|journal=Topology and Its Applications|volume=109|issue=3|year=2001|pages=301–314|issn=01668641|doi=10.1016/S0166-8641(99)00163-7|doi-access=free}} <!--<ref name="LinYan2001">{{harvnb|Lin|Yan|2001|p=}}</ref>-->
* {{cite journal|last1=Michael|first1=E.A.|title=A quintuple quotient quest|journal=General Topology and Its Applications|volume=2|issue=2|year=1972|pages=91–138|issn=0016660X|doi=10.1016/0016-660X(72)90040-2|doi-access=free}} <!--<ref name="Michael1972">{{harvnb|Michael|1972|p=}}</ref>-->
* {{cite journal|last1=Olson|first1=Roy C.|title=Bi-quotient maps, countably bi-sequential spaces and related topics|journal=General Topology and Its Applications|volume=4|issue=1|year=1974|pages=1–28|issn=0016660X|doi=10.1016/0016-660X(74)90002-6|doi-access=free}} <!--<ref name="Olson1974">{{harvnb|Olson|1974|p=}}</ref>-->
* {{cite journal|last1=Shou|first1=Lin|last2=Chuan|first2=Liu|last3=Mumin|first3=Dai|title=Images on locally separable metric spaces|journal=Acta Mathematica Sinica|volume=13|issue=1|year=1997|pages=1–8|issn=1439-8516|doi=10.1007/BF02560519|s2cid=122383748}} <!--<ref name="ShouChuan1997">{{harvnb|Shou|Chuan|Mumin|1997|p=}}</ref>-->
* {{cite journal|last1=Siwiec|first1=Frank|title=Sequence-covering and countably bi-quotient mappings|journal=General Topology and Its Applications|volume=1|issue=2|year=1971|pages=143–154|issn=0016660X|doi=10.1016/0016-660X(71)90120-6|doi-access=free}} <!--<ref name="Siwiec1971">{{harvnb|Siwiec|1971|p=}}</ref>-->
* {{cite journal|last1=Siwiec|first1=Frank|last2=Mancuso|first2=Vincent J.|title=Relations among certain mappings and conditions for their equivalence|journal=General Topology and Its Applications|volume=1|issue=1|year=1971|pages=33–41|issn=0016660X|doi=10.1016/0016-660X(71)90108-5|doi-access=free}} <!--<ref name="SiwiecMancuso1971">{{harvnb|Siwiec|Mancuso|1971|p=}}</ref>-->
{{refend}}

[[Category:Topological graph theory]]