summaryrefslogtreecommitdiffstats log msg author committer range
diff options
 context: 12345678910152025303540 space: includeignore mode: unifiedssdiffstat only
-rw-r--r--math/topology.page37
1 files changed, 17 insertions, 20 deletions
 diff --git a/math/topology.page b/math/topology.pageindex ea369fb..9701427 100644--- a/math/topology.page+++ b/math/topology.page@@ -26,8 +26,8 @@ $B$ is an open set under the topology $\mathcal{T}$. $\mathcal{T'}$ is finer than $\mathcal{T}$ if $\mathcal{T}$ is a subset of $\mathcal{T'}$ (and $\mathcal{T}$ is coarser); it is *strictly finer* if it is a proper subset (and $\mathcal{T}$ is -*strictly coarser*). Two sets are *comprable* if either $\mathcal{T\in T'}$-or $\mathcal{T'\in T}$.+*strictly coarser*). Two sets are *comprable* if either $\mathcal{T \in T'}$+or $\mathcal{T' \in T}$. *Smaller* and *larger* are somtimes used instead of finer and coarser. Topologies can be generated from a *basis*. @@ -37,42 +37,39 @@ TODO: Hausdorf Frequently Used Topologies ============================ -*Standard Topology*- The standard topology on the real line is generated by the collection of all intervals +Standard Topology+: The standard topology on the real line is generated by the collection of all intervals (a,b)=\{x|a