# Final topology

Last updated

In general topology and related areas of mathematics, the final topology (or coinduced, [1] strong, colimit, or inductive topology) on a set ${\displaystyle X,}$ with respect to a family of functions from topological spaces into ${\displaystyle X,}$ is the finest topology on ${\displaystyle X}$ that makes all those functions continuous.

## Contents

The quotient topology on a quotient space is a final topology, with respect to a single surjective function, namely the quotient map. The disjoint union topology is the final topology with respect to the inclusion maps. The final topology is also the topology that every direct limit in the category of topological spaces is endowed with, and it is in the context of direct limits that the final topology often appears. A topology is coherent with some collection of subspaces if and only if it is the final topology induced by the natural inclusions.

The dual notion is the initial topology, which for a given family of functions from a set ${\displaystyle X}$ into topological spaces is the coarsest topology on ${\displaystyle X}$ that makes those functions continuous.

## Definition

Given a set ${\displaystyle X}$ and an ${\displaystyle I}$-indexed family of topological spaces ${\displaystyle \left(Y_{i},\upsilon _{i}\right)}$ with associated functions

${\displaystyle f_{i}:Y_{i}\to X,}$

the final topology on ${\displaystyle X}$ induced by these maps ${\displaystyle {\mathcal {F}}:=\left\{f_{i}:i\in I\right\}}$ is the finest topology ${\displaystyle \tau _{\mathcal {F}}}$ on ${\displaystyle X}$ such that

${\displaystyle f_{i}:\left(Y_{i},\upsilon _{i}\right)\to \left(X,\tau _{\mathcal {F}}\right)}$

is continuous for each ${\displaystyle i\in I}$.

Explicitly, the final topology may be described as follows:

a subset ${\displaystyle U}$ of ${\displaystyle X}$ is open in the final topology ${\displaystyle \left(X,\tau _{\mathcal {F}}\right)}$ (that is, ${\displaystyle U\in \tau _{\mathcal {F}}}$) if and only if ${\displaystyle f_{i}^{-1}(U)}$ is open in ${\displaystyle \left(Y_{i},\upsilon _{i}\right)}$ for each ${\displaystyle i\in I}$.

The closed subsets have an analogous characterization:

a subset ${\displaystyle C}$ of ${\displaystyle X}$ is closed in the final topology ${\displaystyle \left(X,\tau _{\mathcal {F}}\right)}$ if and only if ${\displaystyle f_{i}^{-1}(C)}$ is closed in ${\displaystyle \left(Y_{i},\upsilon _{i}\right)}$ for each ${\displaystyle i\in I}$.

## Examples

The important special case where the family of maps ${\displaystyle {\mathcal {F}}}$ consists of a single surjective map can be completely characterized using the notion of quotient maps. A surjective function ${\displaystyle f:(Y,\upsilon )\to \left(X,\tau \right)}$ between topological spaces is a quotient map if and only if the topology ${\displaystyle \tau }$ on ${\displaystyle X}$ coincides with the final topology ${\displaystyle \tau _{\mathcal {F}}}$ induced by the family ${\displaystyle {\mathcal {F}}=\{f\}}$. In particular: the quotient topology is the final topology on the quotient space induced by the quotient map.

The final topology on a set ${\displaystyle X}$ induced by a family of ${\displaystyle X}$-valued maps can be viewed as a far reaching generalization of the quotient topology, where multiple maps may be used instead of just one and where these maps are not required to be surjections.

Given topological spaces ${\displaystyle X_{i}}$, the disjoint union topology on the disjoint union ${\displaystyle \coprod _{i}X_{i}}$ is the final topology on the disjoint union induced by the natural injections.

Given a family of topologies ${\displaystyle \left(\tau _{i}\right)_{i\in I}}$ on a fixed set ${\displaystyle X,}$ the final topology on ${\displaystyle X}$ with respect to the identity maps ${\displaystyle \operatorname {id} _{\tau _{i}}:\left(X,\tau _{i}\right)\to X}$ as ${\displaystyle i}$ ranges over ${\displaystyle I,}$ call it ${\displaystyle \tau ,}$ is the infimum (or meet) of these topologies ${\displaystyle \left(\tau _{i}\right)_{i\in I}}$ in the lattice of topologies on ${\displaystyle X.}$ That is, the final topology ${\displaystyle \tau }$ is equal to the intersection ${\displaystyle \tau =\bigcap _{i\in I}\tau _{i}.}$

The direct limit of any direct system of spaces and continuous maps is the set-theoretic direct limit together with the final topology determined by the canonical morphisms. Explicitly, this means that if ${\displaystyle \operatorname {Sys} _{Y}=\left(Y_{i},f_{ji},I\right)}$ is a direct system in the category Top of topological spaces and if ${\displaystyle \left(X,\left(f_{i}\right)_{i\in I}\right)}$ is a direct limit of ${\displaystyle \operatorname {Sys} _{Y}}$ in the category Set of all sets, then by endowing ${\displaystyle X}$ with the final topology ${\displaystyle \tau _{\mathcal {F}}}$ induced by ${\displaystyle {\mathcal {F}}:=\left\{f_{i}:i\in I\right\},}$${\displaystyle \left(\left(X,\tau _{\mathcal {F}}\right),\left(f_{i}\right)_{i\in I}\right)}$ becomes the direct limit of ${\displaystyle \operatorname {Sys} _{Y}}$ in the category Top.

The étalé space of a sheaf is topologized by a final topology.

A first-countable Hausdorff space ${\displaystyle (X,\tau )}$ is locally path-connected if and only if ${\displaystyle \tau }$ is equal to the final topology on ${\displaystyle X}$ induced by the set ${\displaystyle C\left([0,1];X\right)}$ of all continuous maps ${\displaystyle [0,1]\to (X,\tau ),}$ where any such map is called a path in ${\displaystyle (X,\tau ).}$

If a Hausdorff locally convex topological vector space ${\displaystyle (X,\tau )}$ is a Fréchet-Urysohn space then ${\displaystyle \tau }$ is equal to the final topology on ${\displaystyle X}$ induced by the set ${\displaystyle \operatorname {Arc} \left([0,1];X\right)}$ of all arcs in ${\displaystyle (X,\tau ),}$ which by definition are continuous paths ${\displaystyle [0,1]\to (X,\tau )}$ that are also topological embeddings.

## Properties

### Characterization via continuous maps

Given functions ${\displaystyle f_{i}:Y_{i}\to X,}$ from topological spaces ${\displaystyle Y_{i}}$ to the set ${\displaystyle X}$, the final topology on ${\displaystyle X}$ can be characterized by the following property:

a function ${\displaystyle g}$ from ${\displaystyle X}$ to some space ${\displaystyle Z}$ is continuous if and only if ${\displaystyle g\circ f_{i}}$ is continuous for each ${\displaystyle i\in I.}$

### Behavior under composition

Suppose ${\displaystyle {\mathcal {F}}:=\left\{f_{i}:Y_{i}\to X\mid i\in I\right\}}$ is a family of maps, and for every ${\displaystyle i\in I,}$ the topology ${\displaystyle \upsilon _{i}}$ on ${\displaystyle Y_{i}}$ is the final topology induced by some family ${\displaystyle {\mathcal {G}}_{i}}$ of maps valued in ${\displaystyle Y_{i}}$. Then the final topology on ${\displaystyle X}$ induced by ${\displaystyle {\mathcal {F}}}$ is equal to the final topology on ${\displaystyle X}$ induced by the maps ${\displaystyle \left\{f_{i}\circ g~:~i\in I{\text{ and }}g\in {\cal {G_{i}}}\right\}.}$

As a consequence: if ${\displaystyle \tau _{\mathcal {F}}}$ is the final topology on ${\displaystyle X}$ induced by the family ${\displaystyle {\mathcal {F}}:=\left\{f_{i}:i\in I\right\}}$ and if ${\displaystyle \pi :X\to (S,\sigma )}$ is any surjective map valued in some topological space ${\displaystyle (S,\sigma ),}$ then ${\displaystyle \pi$ :\left(X,\tau _{\mathcal {F}}\right)\to (S,\sigma )} is a quotient map if and only if ${\displaystyle (S,\sigma )}$ has the final topology induced by the maps ${\displaystyle \left\{\pi \circ f_{i}~:~i\in I\right\}.}$

By the universal property of the disjoint union topology we know that given any family of continuous maps ${\displaystyle f_{i}:Y_{i}\to X,}$ there is a unique continuous map

${\displaystyle f:\coprod _{i}Y_{i}\to X}$

that is compatible with the natural injections. If the family of maps ${\displaystyle f_{i}}$covers${\displaystyle X}$ (i.e. each ${\displaystyle x\in X}$ lies in the image of some ${\displaystyle f_{i}}$) then the map ${\displaystyle f}$ will be a quotient map if and only if ${\displaystyle X}$ has the final topology induced by the maps ${\displaystyle f_{i}.}$

### Effects of changing the family of maps

Throughout, let ${\displaystyle {\mathcal {F}}:=\left\{f_{i}:i\in I\right\}}$ be a family of ${\displaystyle X}$-valued maps with each map being of the form ${\displaystyle f_{i}:\left(Y_{i},\upsilon _{i}\right)\to X}$ and let ${\displaystyle \tau _{\mathcal {F}}}$ denote the final topology on ${\displaystyle X}$ induced by ${\displaystyle {\mathcal {F}}.}$ The definition of the final topology guarantees that for every index ${\displaystyle i,}$ the map ${\displaystyle f_{i}:\left(Y_{i},\upsilon _{i}\right)\to \left(X,\tau _{\mathcal {F}}\right)}$ is continuous.

For any subset ${\displaystyle {\mathcal {S}}\subseteq {\mathcal {F}},}$ the final topology ${\displaystyle \tau _{\mathcal {S}}}$ on ${\displaystyle X}$ will be finer than (and possibly equal to) the topology ${\displaystyle \tau _{\mathcal {F}}}$; that is, ${\displaystyle {\mathcal {S}}\subseteq {\mathcal {F}}}$ implies ${\displaystyle \tau _{\mathcal {F}}\subseteq \tau _{\mathcal {S}},}$ where set equality might hold even if ${\displaystyle {\mathcal {S}}}$ is a proper subset of ${\displaystyle {\mathcal {F}}.}$

If ${\displaystyle \tau }$ is any topology on ${\displaystyle X}$ such that for all ${\displaystyle i\in I,}$${\displaystyle f_{i}:\left(Y_{i},\upsilon _{i}\right)\to (X,\tau )}$ is continuous but ${\displaystyle \tau \neq \tau _{\mathcal {F}},}$ then ${\displaystyle \tau }$ is strictly coarser then ${\displaystyle \tau _{\mathcal {F}}}$ (in symbols, ${\displaystyle \tau \subsetneq \tau _{\mathcal {F}}}$ which means ${\displaystyle \tau \subseteq \tau _{\mathcal {F}}}$ and ${\displaystyle \tau \neq \tau _{\mathcal {F}}}$) and moreover, for any subset ${\displaystyle {\mathcal {S}}\subseteq {\mathcal {F}},}$ because ${\displaystyle \tau _{\mathcal {F}}\subseteq \tau _{\mathcal {S}},}$ the topology ${\displaystyle \tau }$ will also be strictly coarser than the final topology ${\displaystyle \tau _{\mathcal {S}}}$ induced on ${\displaystyle X}$ by ${\displaystyle {\mathcal {S}};}$ that is ${\displaystyle \tau \subsetneq \tau _{\mathcal {S}}.}$

Suppose that in addition, ${\displaystyle {\mathcal {G}}:=\left\{g_{a}:a\in A\right\}}$ is a family of ${\displaystyle X}$-valued maps whose domains are topological spaces ${\displaystyle \left(Z_{a},\zeta _{a}\right).}$ If every ${\displaystyle g_{a}:\left(Z_{a},\zeta _{a}\right)\to \left(X,\tau _{\mathcal {F}}\right)}$ is continuous then adding these maps to the family ${\displaystyle {\mathcal {F}}}$ will not change the final topology on ${\displaystyle X;}$ that is, ${\displaystyle \tau _{{\mathcal {F}}\cup {\mathcal {G}}}=\tau _{\mathcal {F}}.}$ Explicitly, this means that the final topology on ${\displaystyle X}$ induced by the "extended family" ${\displaystyle {\mathcal {F}}\cup {\mathcal {G}}}$ is equal to the final topology ${\displaystyle \tau _{\mathcal {F}}}$ induced by the original family ${\displaystyle {\mathcal {F}}=\left\{f_{i}:i\in I\right\}.}$ However, had there instead existed even just one map ${\displaystyle g_{a_{0}}}$ such that ${\displaystyle g_{a_{0}}:\left(Z_{a_{0}},\zeta _{a_{0}}\right)\to \left(X,\tau _{\mathcal {F}}\right)}$ was not continuous, then the final topology ${\displaystyle \tau _{{\mathcal {F}}\cup {\mathcal {G}}}}$ on ${\displaystyle X}$ induced by the "extended family" ${\displaystyle {\mathcal {F}}\cup {\mathcal {G}}}$ would necessarily be strictly coarser than the final topology ${\displaystyle \tau _{\mathcal {F}}}$ induced by ${\displaystyle {\mathcal {F}};}$ that is, ${\displaystyle \tau _{{\mathcal {F}}\cup {\mathcal {G}}}\subsetneq \tau _{\mathcal {F}}}$ (see this footnote [note 1] for an explanation).

## Coherence with subspaces

Let ${\displaystyle (X,\tau )}$ be a topological space and let ${\displaystyle \mathbb {S} }$ be a family of subspaces of ${\displaystyle (X,\tau )}$ where importantly, the word "subspace" is used to indicate that each subset ${\displaystyle S\in \mathbb {S} }$ is endowed with the subspace topology ${\displaystyle \tau \vert _{S}}$ inherited from ${\displaystyle (X,\tau ).}$ The space ${\displaystyle (X,\tau )}$ is said to be coherent with the family ${\displaystyle \mathbb {S} }$ of subspaces if ${\displaystyle \tau =\tau _{\mathcal {S}},}$ where ${\displaystyle \tau _{\mathcal {S}}}$ denotes the final topology induced by the inclusion maps ${\displaystyle {\mathcal {S}}:=\left\{\operatorname {In} _{S}^{X}~:~S\in \mathbb {S} \right\}}$ where for every ${\displaystyle S\in \mathbb {S} ,}$ the inclusion map takes the form

${\displaystyle \operatorname {In} _{S}^{X}:\left(S,\tau \vert _{S}\right)\to X.}$

Unraveling the definition, ${\displaystyle (X,\tau )}$ is coherent with ${\displaystyle \mathbb {S} }$ if and only if the following statement is true:

for every subset ${\displaystyle U\subseteq X,}$${\displaystyle U}$ is open in ${\displaystyle (X,\tau )}$ if and only if for every ${\displaystyle S\in \mathbb {S} ,}$${\displaystyle U\cap S}$ is open in the subspace ${\displaystyle \left(S,\tau \vert _{S}\right).}$

Closed sets can be checked instead: ${\displaystyle (X,\tau )}$ is coherent with ${\displaystyle \mathbb {S} }$ if and only if for every subset ${\displaystyle C\subseteq X,}$${\displaystyle C}$ is closed in ${\displaystyle (X,\tau )}$ if and only if for every ${\displaystyle S\in \mathbb {S} ,}$${\displaystyle C\cap S}$ is closed in ${\displaystyle \left(S,\tau \vert _{S}\right).}$

For example, if ${\displaystyle \mathbb {O} }$ is a cover of a topological space ${\displaystyle (X,\tau )}$ by open subspaces (i.e. open subsets of ${\displaystyle (X,\tau )}$ endowed with the subspace topology) then ${\displaystyle \tau }$ is coherent with ${\displaystyle \mathbb {O} .}$ In contrast, if ${\displaystyle \mathbb {S} }$ is the set of all singleton subsets of ${\displaystyle (X,\tau )}$ (each set being endowed with its unique topology) then ${\displaystyle (X,\tau )}$ is coherent with ${\displaystyle \mathbb {S} }$ if and only if ${\displaystyle \tau }$ is the discrete topology on ${\displaystyle X.}$ The disjoint union is the final topology with respect to the family of canonical injections. A space ${\displaystyle (X,\tau )}$ is called compactly generated and a k-space if ${\displaystyle \tau }$ is coherent with the set ${\displaystyle \mathbb {K} }$ of all compact subspaces of ${\displaystyle (X,\tau ).}$ All first-countable spaces and all Hausdorff locally compact spaces are k-spaces, so that in particular, every manifold and every metrizable space is coherent with the family of all its compact subspaces.

As demonstrated by the examples that follows, under certain circumstance, it may be possible to characterize a more general final topology in terms of coherence with subspaces. Let ${\displaystyle {\mathcal {F}}:=\left\{f_{i}:i\in I\right\}}$ be a family of ${\displaystyle X}$-valued maps with each map being of the form ${\displaystyle f_{i}:\left(Y_{i},\upsilon _{i}\right)\to X}$ and let ${\displaystyle \tau _{\mathcal {F}}}$ denote the final topology on ${\displaystyle X}$ induced by ${\displaystyle {\mathcal {F}}.}$ Suppose that ${\displaystyle \tau }$ is a topology on ${\displaystyle X}$ and for every index ${\displaystyle i\in I,}$ the image ${\displaystyle \operatorname {Im} f_{i}:=f_{i}(X)}$ is endowed with the subspace topology ${\displaystyle \tau \vert _{f_{i}(X)}}$ inherited from ${\displaystyle (X,\tau ).}$ If for every ${\displaystyle i\in I,}$ the map ${\displaystyle f_{i}:\left(Y_{i},\upsilon _{i}\right)\to \left(\operatorname {Im} f_{i},\tau \vert _{\operatorname {Im} f_{i}}\right)}$ is a quotient map then ${\displaystyle \tau =\tau _{\mathcal {F}}}$ if and only if ${\displaystyle (X,\tau )}$ is coherent with the set of all images ${\displaystyle \left\{\left(\operatorname {Im} f_{i},\tau \vert _{\operatorname {Im} f_{i}}\right)~:~i\in I\right\}.}$

## Final topology on the direct limit of finite-dimensional Euclidean spaces

Let

${\displaystyle \mathbb {R} ^{\infty }~:=~\left\{\left(x_{1},x_{2},\ldots \right)\in \mathbb {R} ^{\mathbb {N} }~:~{\text{ all but finitely many }}x_{i}{\text{ are equal to }}0\right\},}$

denote the space of finite sequences , where ${\displaystyle \mathbb {R} ^{\mathbb {N} }}$ denotes the space of all real sequences. For every natural number ${\displaystyle n\in \mathbb {N} ,}$ let ${\displaystyle \mathbb {R} ^{n}}$ denote the usual Euclidean space endowed with the Euclidean topology and let ${\displaystyle \operatorname {In} _{\mathbb {R} ^{n}}:\mathbb {R} ^{n}\to \mathbb {R} ^{\infty }}$ denote the inclusion map defined by ${\displaystyle \operatorname {In} _{\mathbb {R} ^{n}}\left(x_{1},\ldots ,x_{n}\right):=\left(x_{1},\ldots ,x_{n},0,0,\ldots \right)}$ so that its image is

${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)=\left\{\left(x_{1},\ldots ,x_{n},0,0,\ldots \right)~:~x_{1},\ldots ,x_{n}\in \mathbb {R} \right\}=\mathbb {R} ^{n}\times \left\{(0,0,\ldots )\right\}}$

and consequently,

${\displaystyle \mathbb {R} ^{\infty }=\bigcup _{n\in \mathbb {N} }\operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right).}$

Endow the set ${\displaystyle \mathbb {R} ^{\infty }}$ with the final topology ${\displaystyle \tau ^{\infty }}$ induced by the family ${\displaystyle {\mathcal {F}}:=\left\{\;\operatorname {In} _{\mathbb {R} ^{n}}~:~n\in \mathbb {N} \;\right\}}$ of all inclusion maps. With this topology, ${\displaystyle \mathbb {R} ^{\infty }}$ becomes a complete Hausdorff locally convex sequential topological vector space that is not a Fréchet–Urysohn space. The topology ${\displaystyle \tau ^{\infty }}$ is strictly finer than the subspace topology induced on ${\displaystyle \mathbb {R} ^{\infty }}$ by ${\displaystyle \mathbb {R} ^{\mathbb {N} },}$ where ${\displaystyle \mathbb {R} ^{\mathbb {N} }}$ is endowed with its usual product topology. Endow the image ${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)}$ with the final topology induced on it by the bijection ${\displaystyle \operatorname {In} _{\mathbb {R} ^{n}}:\mathbb {R} ^{n}\to \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right);}$ that is, it is endowed with the Euclidean topology transferred to it from ${\displaystyle \mathbb {R} ^{n}}$ via ${\displaystyle \operatorname {In} _{\mathbb {R} ^{n}}.}$ This topology on ${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)}$ is equal to the subspace topology induced on it by ${\displaystyle \left(\mathbb {R} ^{\infty },\tau ^{\infty }\right).}$ A subset ${\displaystyle S\subseteq \mathbb {R} ^{\infty }}$ is open (resp. closed) in ${\displaystyle \left(\mathbb {R} ^{\infty },\tau ^{\infty }\right)}$ if and only if for every ${\displaystyle n\in \mathbb {N} ,}$ the set ${\displaystyle S\cap \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)}$ is an open (resp. closed) subset of ${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right).}$ The topology ${\displaystyle \tau ^{\infty }}$ is coherent with family of subspaces ${\displaystyle \mathbb {S}$ :=\left\{\;\operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)~:~n\in \mathbb {N} \;\right\}.} This makes ${\displaystyle \left(\mathbb {R} ^{\infty },\tau ^{\infty }\right)}$ into an LB-space. Consequently, if ${\displaystyle v\in \mathbb {R} ^{\infty }}$ and ${\displaystyle v_{\bullet }}$ is a sequence in ${\displaystyle \mathbb {R} ^{\infty }}$ then ${\displaystyle v_{\bullet }\to v}$ in ${\displaystyle \left(\mathbb {R} ^{\infty },\tau ^{\infty }\right)}$ if and only if there exists some ${\displaystyle n\in \mathbb {N} }$ such that both ${\displaystyle v}$ and ${\displaystyle v_{\bullet }}$ are contained in ${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)}$ and ${\displaystyle v_{\bullet }\to v}$ in ${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right).}$

Often, for every ${\displaystyle n\in \mathbb {N} ,}$ the inclusion map ${\displaystyle \operatorname {In} _{\mathbb {R} ^{n}}}$ is used to identify ${\displaystyle \mathbb {R} ^{n}}$ with its image ${\displaystyle \operatorname {Im} \left(\operatorname {In} _{\mathbb {R} ^{n}}\right)}$ in ${\displaystyle \mathbb {R} ^{\infty };}$ explicitly, the elements ${\displaystyle \left(x_{1},\ldots ,x_{n}\right)\in \mathbb {R} ^{n}}$ and ${\displaystyle \left(x_{1},\ldots ,x_{n},0,0,0,\ldots \right)}$ are identified together. Under this identification, ${\displaystyle \left(\left(\mathbb {R} ^{\infty },\tau ^{\infty }\right),\left(\operatorname {In} _{\mathbb {R} ^{n}}\right)_{n\in \mathbb {N} }\right)}$ becomes a direct limit of the direct system ${\displaystyle \left(\left(\mathbb {R} ^{n}\right)_{n\in \mathbb {N} },\left(\operatorname {In} _{\mathbb {R} ^{m}}^{\mathbb {R} ^{n}}\right)_{m\leq n{\text{ in }}\mathbb {N} },\mathbb {N} \right),}$ where for every ${\displaystyle m\leq n,}$ the map ${\displaystyle \operatorname {In} _{\mathbb {R} ^{m}}^{\mathbb {R} ^{n}}:\mathbb {R} ^{m}\to \mathbb {R} ^{n}}$ is the inclusion map defined by ${\displaystyle \operatorname {In} _{\mathbb {R} ^{m}}^{\mathbb {R} ^{n}}\left(x_{1},\ldots ,x_{m}\right):=\left(x_{1},\ldots ,x_{m},0,\ldots ,0\right),}$ where there are ${\displaystyle n-m}$ trailing zeros.

## Categorical description

In the language of category theory, the final topology construction can be described as follows. Let ${\displaystyle Y}$ be a functor from a discrete category ${\displaystyle J}$ to the category of topological spaces Top that selects the spaces ${\displaystyle Y_{i}}$ for ${\displaystyle i\in J.}$ Let ${\displaystyle \Delta }$ be the diagonal functor from Top to the functor category TopJ (this functor sends each space ${\displaystyle X}$ to the constant functor to ${\displaystyle X}$). The comma category ${\displaystyle (Y\,\downarrow \,\Delta )}$ is then the category of co-cones from ${\displaystyle Y,}$ i.e. objects in ${\displaystyle (Y\,\downarrow \,\Delta )}$ are pairs ${\displaystyle (X,f)}$ where ${\displaystyle f_{i}:Y_{i}\to X}$ is a family of continuous maps to ${\displaystyle X.}$ If ${\displaystyle Y}$ is the forgetful functor from Top to Set and Δ is the diagonal functor from Set to SetJ then the comma category ${\displaystyle \left(UY\,\downarrow \,\Delta ^{\prime }\right)}$ is the category of all co-cones from ${\displaystyle UY.}$ The final topology construction can then be described as a functor from ${\displaystyle \left(UY\,\downarrow \,\Delta ^{\prime }\right)}$ to ${\displaystyle (Y\,\downarrow \,\Delta ).}$ This functor is left adjoint to the corresponding forgetful functor.

## Notes

1. By definition, the map ${\displaystyle g_{a_{0}}:\left(Z_{a_{0}},\zeta _{a_{0}}\right)\to \left(X,\tau _{\mathcal {F}}\right)}$ not being continuous means that there exists at least one open set ${\displaystyle U\in \tau _{\mathcal {F}}}$ such that ${\displaystyle g_{a_{0}}^{-1}(U)}$ is not open in ${\displaystyle \left(Z_{a_{0}},\zeta _{a_{0}}\right).}$ In contrast, by definition of the final topology ${\displaystyle \tau _{{\mathcal {F}}\cup \left\{g_{a_{0}}\right\}},}$ the map ${\displaystyle g_{a_{0}}:\left(Z_{a_{0}},\zeta _{a_{0}}\right)\to \left(X,\tau _{{\mathcal {F}}\cup \left\{g_{a_{0}}\right\}}\right)}$must be continuous. So the reason why ${\displaystyle \tau _{{\mathcal {F}}\cup {\mathcal {G}}}}$ must be strictly coarser, rather than strictly finer, than ${\displaystyle \tau _{\mathcal {F}}}$ is because the failure of the map ${\displaystyle g_{a_{0}}:\left(Z_{a_{0}},\zeta _{a_{0}}\right)\to \left(X,\tau _{\mathcal {F}}\right)}$ to be continuous necessitates that one or more open subsets of ${\displaystyle \tau _{\mathcal {F}}}$ must be "removed" in order for ${\displaystyle g_{a_{0}}}$ to become continuous. Thus ${\displaystyle \tau _{{\mathcal {F}}\cup \left\{g_{a_{0}}\right\}}}$ is just ${\displaystyle \tau _{\mathcal {F}}}$ but some open sets "removed" from ${\displaystyle \tau _{\mathcal {F}}.}$

## Citations

1. Singh, Tej Bahadur (May 5, 2013). "Elements of Topology". Books.Google.com. CRC Press. Retrieved July 21, 2020.

## Related Research Articles

In mathematics, a continuous function is a function that does not have any abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its output can be assured by restricting to sufficiently small changes in its input. If not continuous, a function is said to be discontinuous. Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, during which attempts such as the epsilon–delta definition were made to formalize it.

In mathematics, open sets are a generalization of open intervals in the real line. In a metric space—that is, when a distance is defined—open sets are the sets that, with every point P, contain all points that are sufficiently near to P.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space which is also a topological space, this implies that vector space operations be continuous functions. More specifically, its topological space has a uniform topological structure, allowing a notion of uniform convergence.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets. 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. A map may be open, closed, both, or neither; in particular, an open map need not be closed and vice versa.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.

In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by that property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator.

In topology and related fields of mathematics, a sequential space is a topological space that satisfies a very weak axiom of countability.

In the field of topology, a Fréchet–Urysohn space is a topological space with the property that for every subset the closure of in is identical to the sequential closure of in Fréchet–Urysohn spaces are a special type of sequential space.

In topology, a subfield of mathematics, filters are special families of subsets of a set that can be used to study topological spaces and define all basic topological notions such a convergence, continuity, compactness, and more. Filters also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called ultrafilters have many useful technical properties and they may often be used in place of arbitrary filters.

In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer to. The notion of "points that get progressively closer" is made rigorous by Cauchy nets or Cauchy filters, which are generalizations of Cauchy sequences, while "point towards which they all get closer to" means that this net or filter converges to Unlike the notion of completeness for metric spaces, which it generalizes, the notion of completeness for TVSs does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.

The theorem on the surjection of Fréchet spaces is an important theorem, due to Stefan Banach, that characterizes when a continuous linear operator between Fréchet spaces is surjective.

In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS Y without any need to extend definitions from real/complex-valued functions to Y-valued functions.

The strongest locally convex topological vector space (TVS) topology on , the tensor product of two locally convex TVSs, making the canonical map separately continuous is called the inductive topology or the ι-topology. When X ⊗ Y is endowed with this topology then it is denoted by and called the inductive tensor product of X and Y.

In the field of functional analysis, a subfield of mathematics, a dual system, dual pair, or a duality over a field is a triple consisting of two vector spaces over and a bilinear map such that for all non-zero the map is not identically and for all non-zero the map is not identically 0. The study of dual systems is called duality theory.

In mathematics, an LB-space, also written (LB)-space, is a topological vector space that is a locally convex inductive limit of a countable inductive system of Banach spaces. This means that is a direct limit of a direct system in the category of locally convex topological vector spaces and each is a Banach space.

In functional analysis, a topological homomorphism or simply homomorphism is the analog of homomorphisms for the category of topological vector spaces (TVSs). This concept is of considerable importance in functional analysis and the famous open mapping theorem gives a sufficient condition for a continuous linear map between Fréchet spaces to be a topological homomorphism.

In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.

In mathematics, specifically topology, a sequence covering map is any of a class of maps between topological spaces whose definitions all somehow relate sequences in the codomain with sequences in the domain. Examples include sequentially quotient maps, sequence coverings, 1-sequence coverings, and 2-sequence coverings. These classes of maps are closely related to sequential spaces. If the domain and/or codomain have certain additional topological properties then these definitions become equivalent to other well-known classes of maps, such as open maps or quotient maps, 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.