# Difference between revisions of "Topological space"

(2 intermediate revisions by 2 users not shown) | |||

Line 4: | Line 4: | ||

# $\emptyset, X \in \tau$ | # $\emptyset, X \in \tau$ | ||

# If $\mathcal{O} \subset \tau$ then $\bigcup \mathcal{O} \in \tau$ | # If $\mathcal{O} \subset \tau$ then $\bigcup \mathcal{O} \in \tau$ | ||

− | # If $\{C_1,C_2, \ldots, C_n \}$ is a finite collection of closed sets, then $\bigcap_{n=1}^n C_n $ is a closed set. | + | # If $\{C_1,C_2, \ldots, C_n \}$ is a finite collection of closed sets, then $\displaystyle\bigcap_{n=1}^n C_n $ is a closed set. |

It should be noted that the [[Open Set|open]] [[Set|set]]s in any [[Metric space|metric space]] satisfy the conditions of a topological space. Therefore every metric space is also a topological space.<ref>Kolmogorov, A. N., and S. V. Fomin. Introductory Real Analysis. Rev. English ed. New York: Dover Publications, 1975. pg. 78-79.</ref> | It should be noted that the [[Open Set|open]] [[Set|set]]s in any [[Metric space|metric space]] satisfy the conditions of a topological space. Therefore every metric space is also a topological space.<ref>Kolmogorov, A. N., and S. V. Fomin. Introductory Real Analysis. Rev. English ed. New York: Dover Publications, 1975. pg. 78-79.</ref> | ||

== Further Reading == | == Further Reading == | ||

+ | * [[Countability Axioms]] | ||

* [[Separation Axioms]] | * [[Separation Axioms]] | ||

Line 27: | Line 28: | ||

[[Category:General Topology]] | [[Category:General Topology]] | ||

+ | [[Category:Definition]] |

## Latest revision as of 17:49, 20 December 2018

A *topological space* is a pair $(X,\tau)$ consisting of a set $X$ and a collection $\tau$ of subsets of $X$, called open sets, satisfying the following axioms:^{[1]}

- $\emptyset, X \in \tau$
- If $\mathcal{O} \subset \tau$ then $\bigcup \mathcal{O} \in \tau$
- If $\{C_1,C_2, \ldots, C_n \}$ is a finite collection of closed sets, then $\displaystyle\bigcap_{n=1}^n C_n $ is a closed set.

It should be noted that the open sets in any metric space satisfy the conditions of a topological space. Therefore every metric space is also a topological space.^{[2]}