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.β©οΈ