Topological space

In mathematics, a topological space is an ordered pair $(X,O)$ where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} is a set and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O} is a certain collection of subsets of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} called the open sets or the topology of $X$. The topology of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} introduces a structure on the set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} which is useful for defining some important abstract notions such as the "closeness" of two elements of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} and convergence of sequences of elements of $X$.

Formal definition

A topological space is an ordered pair Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (X,O)} where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} is a set and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O} is a collection of subsets of $X$ (i.e. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \in O \Rightarrow A \subset X} ) with the following three properties:

1. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \emptyset} (the empty set) are in $O$

2. The union of any number (countable or uncountable) of elements of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O} is again in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O}

3. The intersection of any finite number of elements of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O} is again in $O$

Elements of the set $O$ are called open sets (of $X$).

Note that as shorthand a topological space $(X,O)$ is often simply written as $X$ once the particular topology on $X$ is understood.

Examples

1. Let $X=\mathbb {R}$ where $\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:

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

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

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

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

2. Let $X=\mathbb {R}$ as before. Let $O$ be a collection of subsets of $\mathbb {R}$ defined by the requirement that $A\in O$ if and only if $A=\emptyset$ or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} contains all except at most a finite number of real numbers. Then it is straightforward to verify that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O} defined in this way has the three properties required to be a topology on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} . This topology is known as the Zariski topology.

See also

Topology

Analysis

Metric space

References

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]