Topological space

	Main Article	Discussion	Related Articles  [?]	Bibliography  [?]	External Links  [?]	Citable Version  [?]
	This editable Main Article is under development and subject to a disclaimer. [edit intro]

In mathematics, a topological space is an ordered pair ${\displaystyle (X,{\mathcal {T}})}$ where ${\displaystyle X}$ is a set and ${\displaystyle {\mathcal {T}}}$ is a certain collection of subsets of ${\displaystyle X}$ called the open sets or the topology of ${\displaystyle X}$. The topology of ${\displaystyle X}$ introduces an abstract structure of space in the set ${\displaystyle X}$, which allows to define general notions such as of a point being surrounded by a set (by a neighborhood) or belonging to its boundary, of convergence of sequences of elements of ${\displaystyle X}$, of connectedness, of a space or set being contractible, etc.

Definition[edit]

A topological space is an ordered pair ${\displaystyle (X,{\mathcal {T}})}$ where ${\displaystyle X}$ is a set and ${\displaystyle {\mathcal {T}}}$ is a collection of subsets of ${\displaystyle X}$ (i.e., any element ${\displaystyle A\in {\mathcal {T}}}$ is a subset of X) with the following three properties:

1. ${\displaystyle X}$ and ${\displaystyle \varnothing }$ (the empty set) are in ${\displaystyle {\mathcal {T}}}$
2. The union of any family (infinite or otherwise) of elements of ${\displaystyle {\mathcal {T}}}$ is again in ${\displaystyle {\mathcal {T}}}$
3. The intersection of two elements of ${\displaystyle {\mathcal {T}}}$ is again in ${\displaystyle {\mathcal {T}}}$

Elements of the set ${\displaystyle {\mathcal {T}}}$ are called open sets of ${\displaystyle X}$. We often simply write ${\displaystyle X}$ instead of ${\displaystyle (X,{\mathcal {T}})}$ once the topology ${\displaystyle {\mathcal {T}}}$ is established.

Once we have a topology in ${\displaystyle X}$, we define the closed sets of ${\displaystyle X}$ to be the complements (in ${\displaystyle X}$) of the open sets; the closed sets of ${\displaystyle X}$ have the following characteristic properties:

1. ${\displaystyle X}$ and ${\displaystyle \varnothing }$ (the empty set) are closed
2. The intersection of any family of closed sets is closed
3. The union of two closed sets is closed

Alternatively, notice that we could have defined a structure of closed sets (having the properties above as axioms) and defined the open sets relative to that structure as complements of closed sets. Then such a family of open sets obeys the axioms for a topology; we obtain a one to one correspondence between topologies and structures of closed sets. Similarly, the axioms for systems of neighborhoods (described below) give rise to a collection of "open sets" verifying the axioms for a topology, and conversely --- every topology defines the systems of neighborhoods; for every set ${\displaystyle X}$ we obtain a one to one correspondence between topologies in ${\displaystyle X}$ and systems of neighborhoods in ${\displaystyle X}$. These correspondences allow one to study the topological structure from different viewpoints.

The category of topological spaces[edit]

Given that topological spaces capture notions of geometry, a good notion of isomorphism in the category of topological spaces should require that equivalent spaces have equivalent topologies. The correct definition of morphisms in the category of topological spaces is the continuous homomorphism.

A function ${\displaystyle f:X\to Y}$ is continuous if ${\displaystyle f^{-1}(V)}$ is open in ${\displaystyle X}$ for every open in ${\displaystyle Y}$. Continuity can be shown to be invariant with respect to the representation of the underlying topology; e.g., if ${\displaystyle f^{-1}(Z)}$ is closed in ${\displaystyle X}$ for each closed subset ${\displaystyle Z}$ of Y, then ${\displaystyle f}$ is continuous in the sense just defined, and conversely.

Isomorphisms in the category of topological spaces (often referred to as a homeomorphism) are bijective and continuous with continuous inverses.

The category of topological spaces has a number of nice properties; there is an initial object (the empty set), subobjects (the subspace topology) and quotient objects (the quotient topology), and products and coproducts exist as well. The necessary topologies to define on the latter two objects become clear immediately; if they're going to be universal in the category of topological spaces, then the topologies should be the coarsest making the canonical maps commute.

Examples[edit]

1. Let ${\displaystyle X=\mathbb {R} }$ where ${\displaystyle \mathbb {R} }$ denotes the set of real numbers. The open interval ]a, b[ (where a < b) is the set of all numbers between a and b:

${\displaystyle {\mathopen {]}}a,b{\mathclose {[}}=\{y\in \mathbb {R} \mid a<y<b\}.}$

Then a topology ${\displaystyle {\mathcal {T}}}$ can be defined on ${\displaystyle X=\mathbb {R} }$ to consist of ${\displaystyle \emptyset }$ and all sets of the form:

${\displaystyle \bigcup _{\gamma \in \Gamma }{\mathopen {]}}a_{\gamma },b_{\gamma }{\mathclose {[}},}$

where ${\displaystyle \Gamma }$ is any arbitrary index set, and ${\displaystyle a_{\gamma }}$ and ${\displaystyle b_{\gamma }}$ are real numbers satisfying ${\displaystyle a_{\gamma }<b_{\gamma }}$ for all ${\displaystyle \gamma \in \Gamma }$. This is the familiar topology on ${\displaystyle \mathbb {R} }$ and probably the most widely used in the applied sciences. However, in general one may define different inequivalent topologies on a particular set ${\displaystyle X}$ and in the next example another topology on ${\displaystyle \mathbb {R} }$, albeit a relatively obscure one, will be constructed.

2. Let ${\displaystyle X=\mathbb {R} }$ as before. Let ${\displaystyle {\mathcal {T}}}$ be a collection of subsets of ${\displaystyle \mathbb {R} }$ defined by the requirement that ${\displaystyle A\in {\mathcal {T}}}$ if and only if ${\displaystyle A=\emptyset }$ or ${\displaystyle A}$ contains all except at most a finite number of real numbers. Then it is straightforward to verify that ${\displaystyle {\mathcal {T}}}$ defined in this way has the three properties required to be a topology on ${\displaystyle \mathbb {R} }$. This topology is known as the cofinite topology or Zariski topology.

3. Every metric ${\displaystyle d}$ on ${\displaystyle X}$ gives rise to a topology on ${\displaystyle X}$. The open ball with centre ${\displaystyle x\in X}$ and radius ${\displaystyle r>0}$ is defined to be the set

${\displaystyle B_{r}(x)=\{y\in X\mid d(x,y)<r\}.}$

A set ${\displaystyle A\subset X}$ is open if and only if for every ${\displaystyle x\in A}$, there is an open ball with centre ${\displaystyle x}$ contained in ${\displaystyle A}$. The resulting topology is called the topology induced by the metric ${\displaystyle d}$. The standard topology on ${\displaystyle \mathbb {R} }$, discussed in Example 1, is induced by the metric ${\displaystyle d(x,y)=|x-y|}$.

4. For a given set ${\displaystyle X}$, the family ${\displaystyle {\mathcal {T}}=\{\emptyset ,X\}}$ is a topology: the indiscrete or weakest topology.

5. For a given set ${\displaystyle X}$, the family ${\displaystyle {\mathcal {T}}={\mathcal {P}}X}$ of all subsets of ${\displaystyle X}$ is a topology: the discrete topology.

Neighborhoods[edit]

Given a topological space ${\displaystyle (X,{\mathcal {T}})}$ of opens, we say that a subset ${\displaystyle N}$ of ${\displaystyle X}$ is a neighborhood of a point ${\displaystyle x\in X}$ if ${\displaystyle N}$ contains an open set ${\displaystyle U\in {\mathcal {T}}}$ containing the point ${\displaystyle x}$ ^[1]

If ${\displaystyle N_{x}}$ denotes the system of neighborhoods of ${\displaystyle x}$ relative to the topology ${\displaystyle {\mathcal {T}}}$, then the following properties hold:

1. ${\displaystyle N_{x}}$ is not empty for any ${\displaystyle x\in X}$
2. If ${\displaystyle U}$ is in ${\displaystyle N_{x}}$ then ${\displaystyle x\in U}$
3. The intersection of two elements of ${\displaystyle N_{x}}$ is again in ${\displaystyle N_{x}}$
4. If ${\displaystyle U}$ is in ${\displaystyle N_{x}}$ and ${\displaystyle V\subset X}$ contains ${\displaystyle U}$, then ${\displaystyle V}$ is again in ${\displaystyle N_{x}}$
5. If ${\displaystyle U}$ is in ${\displaystyle N_{x}}$ then there exists a ${\displaystyle V\in N_{x}}$ such that ${\displaystyle V}$ is a subset of ${\displaystyle U}$ and ${\displaystyle U\in N_{y}}$ for all ${\displaystyle y\in V}$

Conversely, if we define a topology of neighborhoods on ${\displaystyle X}$ via the above properties, then we can recover a topology of opens whose neighborhoods relative to that topology give rise to the neighborhood topology we started from: ${\displaystyle U}$ is open if it is in ${\displaystyle N_{x}}$ for all ${\displaystyle x\in U}$. Moreover, the opens relative to a topology of neighborhoods form a topology of opens whose neighborhoods are the same as those we started from. All this just means that a given topological space is the same, regardless of which axioms we choose to start from.

The neighborhood axioms lend themselves especially well to the study of topological abelian groups and topological rings because knowing the neighborhoods of any point is equivalent to knowing the neighborhoods of 0 (since the operations are presumed continuous). For example, the ${\displaystyle I}$-adic topology on a ring ${\displaystyle A}$ is Hausdorff if and only if ${\displaystyle \bigcap I^{n}=0}$, thus a topological property is equivalent to an algebraic property which becomes clear when thinking in terms of neighborhoods.

Bases and sub-bases[edit]

A basis for the topology ${\displaystyle {\mathcal {T}}}$ on X is a collection ${\displaystyle {\mathcal {B}}}$ of open sets such that every open set is a union of elements of ${\displaystyle {\mathcal {B}}}$. For example, in a metric space the open balls form a basis for the metric topology. A sub-basis ${\displaystyle {\mathcal {S}}}$ is a collection of open sets such that the finite intersections of elements of ${\displaystyle {\mathcal {S}}}$ form a basis for ${\displaystyle {\mathcal {T}}}$.

Some topological notions[edit]

This section introduces some important topological notions. Throughout, ${\displaystyle X}$ will denote a topological space with the topology ${\displaystyle {\mathcal {T}}}$.

Partial list of topological notions

Closure

For more information, see: Closure (topology).

The closure in ${\displaystyle X}$ of a subset ${\displaystyle E}$ is the intersection of all closed sets of ${\displaystyle X}$ which contain ${\displaystyle E}$ as a subset.

Interior

For more information, see: Interior (topology).

The interior in ${\displaystyle X}$ of a subset ${\displaystyle E}$ is the union of all open sets of ${\displaystyle X}$ which are contained in ${\displaystyle E}$ as a subset.

Limit point

For more information, see: Limit point.

A point ${\displaystyle x\in X}$ is a limit point of a subset ${\displaystyle A}$ of ${\displaystyle X}$ if any open set in ${\displaystyle {\mathcal {T}}}$ containing ${\displaystyle x}$ also contains a point ${\displaystyle y\in A}$ with ${\displaystyle y\neq x}$. An equivalent definition is that ${\displaystyle x\in X}$ is a limit point of ${\displaystyle A}$ if every neighbourhood of ${\displaystyle x}$ contains a point ${\displaystyle y\in A}$ different from ${\displaystyle x}$.

Open cover

A collection ${\displaystyle {\mathcal {U}}}$ of open sets of ${\displaystyle X}$ is said to be an open cover for ${\displaystyle X}$ if each point ${\displaystyle x\in X}$ belongs to at least one of the open sets in ${\displaystyle {\mathcal {U}}}$.

Path

A path ${\displaystyle \gamma }$ is a continuous function ${\displaystyle \gamma :[0,1]\rightarrow X}$. The point ${\displaystyle \gamma (0)}$ is said to be the starting point of ${\displaystyle \gamma }$ and ${\displaystyle \gamma (1)}$ is said to be the end point. A path joins its starting point to its end point.

Hausdorff/separability property

For more information, see: Separation axioms.

${\displaystyle X}$ has the Hausdorff (or separability, or T2) property if for any pair ${\displaystyle x,y\in X}$ there exist disjoint sets ${\displaystyle U}$ and ${\displaystyle V}$ with ${\displaystyle x\in U}$ and ${\displaystyle y\in V}$.

Noetherianity

For more information, see: Noetherian space.

${\displaystyle X}$ is noetherian if it satisfies the descending chain condition for closed set: any descending chain of closed subsets ${\displaystyle Y_{0}\supseteq Y_{1}\supseteq \ldots }$ is eventually stationary; i.e., if there is an index ${\displaystyle i\geq 0}$ such that ${\displaystyle Y_{i+r}=Y_{i}}$ for all ${\displaystyle r\geq 0}$.

Connectedness

For more information, see: Connected space.

${\displaystyle X}$ is connected if given any two disjoint open sets ${\displaystyle U}$ and ${\displaystyle V}$ such that ${\displaystyle X=U\cup V}$, then either ${\displaystyle X=U}$ or ${\displaystyle X=V}$.

Path-connectedness

${\displaystyle X}$ is path-connected if for any pair ${\displaystyle x,y\in X}$ there exists a path joining ${\displaystyle x}$ to ${\displaystyle y}$. A path connected topological space is also connected, but the converse need not be true.

Compactness

For more information, see: Compactness axioms.

${\displaystyle X}$ is said to be compact if any open cover of ${\displaystyle X}$ has a finite sub-cover. That is, any open cover has a finite number of elements which again constitute an open cover for ${\displaystyle X}$.

A topological space with the Hausdorff, connectedness, path-connectedness property is called, respectively, a Hausdorff (or separable), connected, path-connected topological space.

Induced topologies[edit]

A topological space can be used to define a topology on any particular subset or on another set. These "derived" topologies are referred to as induced topologies. Descriptions of some induced topologies are given below. Throughout, ${\displaystyle (X,{\mathcal {T}}_{X})}$ will denote a topological space.

Some induced topologies[edit]

Relative topology[edit]

For more information, see: Subspace topology.

If ${\displaystyle A}$ is a subset of ${\displaystyle X}$ then open sets may be defined on ${\displaystyle A}$ as sets of the form ${\displaystyle U\cap A}$ where ${\displaystyle U}$ is any open set in ${\displaystyle {\mathcal {T}}_{X}}$. The collection of all such open sets defines a topology on ${\displaystyle A}$ called the relative topology of ${\displaystyle A}$ as a subset of ${\displaystyle X}$

Quotient topology[edit]

For more information, see: Quotient topology.

If ${\displaystyle Y}$ is another set and ${\displaystyle q}$ is a surjective function from ${\displaystyle X}$ to ${\displaystyle Y}$ then open sets may be defined on ${\displaystyle Y}$ as subsets ${\displaystyle U}$ of ${\displaystyle Y}$ such that ${\displaystyle q^{-1}(U)=\{x\in X\mid q(x)\in U\}\in {\mathcal {T}}_{X}}$. The collection of all such open sets defines a topology on ${\displaystyle Y}$ called the quotient topology induced by ${\displaystyle q}$.

Product topology[edit]

For more information, see: Product topology.

If ${\displaystyle (X_{\lambda },{\mathcal {T}}_{\lambda })_{\lambda \in \Lambda }}$ is a family of topological spaces, then the product topology on the Cartesian product ${\displaystyle \prod _{\lambda \in \Lambda }X_{\lambda }}$ has as sub-basis the sets of the form ${\displaystyle \prod _{\lambda \in \Lambda }U_{\lambda }}$ where each ${\displaystyle U_{\lambda }\in {\mathcal {T}}_{\lambda }}$ and ${\displaystyle U_{\lambda }=X_{\lambda }}$ for all but finitely many ${\displaystyle \lambda \in \Lambda }$.

See also[edit]

• Topology
• Analysis
• Metric space

Notes[edit]

References[edit]

1. K. Yosida, Functional Analysis (6 ed.), ser. Classics in Mathematics, Berlin, Heidelberg, New York: Springer-Verlag, 1980
2. D. Wilkins, Lecture notes for Course 212 - Topology, Trinity College Dublin, URL: [1]