# math/topology

# Topology

*References: Most of the definitions and notation in the section are based on ^{1}*

A *topological space* is a set for which a valid topology has been defined: the topology determines which subsets of the topological space are open and closed. In this way the concept of open and closed subsets on the real number line (such as (0,β1) and [1,β2]) are generalized to arbitrary sets.

Formally, a *topology* on a set *A* is a collection π― of subsets of *A* fufiling the criteria:

The empty set and the entire set

*A*are both in π―.The union of an arbitrary number of elements of π― is also in π―.

The intersection of a finite number of elements of π― is also in π―.

If a subset *B* of *A* is a member of π― then *B* is an open set under the topology π―.

*Coarseness* and *Fineness* are ways of comparing two topologies on the same space. π―β² is finer than π― if π― is a subset of π―β² (and π― is coarser); it is *strictly finer* if it is a proper subset (and π― is *strictly coarser*). Two sets are *comprable* if either π―βββπ―β² or π―β²βββπ―. *Smaller* and *larger* are somtimes used instead of finer and coarser.

Topologies can be generated from a *basis*.

TODO: Hausdorf

# Frequently Used Topologies

- Standard Topology
- The standard topology on the real line is generated by the collection of all intervals

(*a*,β*b*)β=β{*x*|*a*β<β*x*β<β*b*}

This is the usual definition for open sets on the real line. - Discrete Topology
- The topology on a set
*A*consisting of all points of*A*; in other words the power set of*A*. - Trivial/Indiscrete Topology
- The topology on a set
*A*consisting of only the empty set and*A*itself. Not super interesting but itβs always there (when*A*isnβt empty). - Finite Complement Topology (π―
_{f}) - The topology on a set
*A*consisting of the empty set any subset*U*such that*A*β ββ*U*has a finite number of elements. - Lower Limit Topology (β
_{π}) - The lower limit topology on the real line is generated by the collection of all half open intervals

[*a*,β*b*)β=β{*x*|*a*ββ€β*x*β<β*b*}

β_{π}is strictly finer than the standard topology and is not comprable to β_{K}. - K-Topology (β
_{K}) - Let
*K*denote the set of all numbers 1/*n*where*n*is a positive integer. The K-topology on the real line is generated by the collection of all standard open intervals minus*K*. β_{K}is strictly finer than the standard topology and is not comprable to β_{π}. - Order Topology
- TODO

**Topology (2nd edition)**, by James R. Munkres.β©οΈ