Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
topological_space [2014/10/25 16:03] nikolaj |
topological_space [2015/02/26 20:24] nikolaj |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| | @#55EE55: postulate | @#55EE55: $S$ ... finite $\Rightarrow \bigcap S\in \mathcal T$ | | | @#55EE55: postulate | @#55EE55: $S$ ... finite $\Rightarrow \bigcap S\in \mathcal T$ | | ||
| - | ==== Discussion ==== | + | ----- |
| We call $\mathcal T$ the topology and its elements the open (sub-)sets of $X$. | We call $\mathcal T$ the topology and its elements the open (sub-)sets of $X$. | ||
| A comment on the intersection axiom requiring finiteness: A major motivation for topological spaces is $\mathbb R^n$ with the sets "open ball" and in this setting, an infinite intersection of open sets need not be open. E.g. consider the set of open intevals $(-\tfrac{1}{n},\tfrac{1}{n})$. | A comment on the intersection axiom requiring finiteness: A major motivation for topological spaces is $\mathbb R^n$ with the sets "open ball" and in this setting, an infinite intersection of open sets need not be open. E.g. consider the set of open intevals $(-\tfrac{1}{n},\tfrac{1}{n})$. | ||
| - | |||
| - | === Predicates === | ||
| - | A topological space is compact if each set $K$ which is covered by some collection of open sets, can in fact be covered by a //finite// collection of open sets. I'd say that if topology is about collections of elements, then compact spaces are the ones which are of small enough cardinality so that you can reason with finitely running enumerations/computations. | ||
| - | |||
| - | Formally: Let $X$ by a set with topology $\mathcal T$. | ||
| - | |||
| - | | @#EEEE55: predicate | @#EEEE55: $X$ ... compact $\equiv \forall (\mathcal{T'}\subseteq \mathcal{T}).\ \forall (K\subset X).\ (K\subseteq \bigcup \mathcal{T}' \implies\ \exists (\mathcal{T}''\subseteq \mathcal{T}').\ \mathrm{finite}(\mathcal{T}'')\land K\subseteq\bigcup \mathcal{T}'')$ | | ||
| ==== Reference ==== | ==== Reference ==== | ||
| Wikipedia: [[http://en.wikipedia.org/wiki/Topological_space|Topological space]] | Wikipedia: [[http://en.wikipedia.org/wiki/Topological_space|Topological space]] | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| === Requirements === | === Requirements === | ||
| [[Arbitrary union]], [[Arbitrary intersection]] | [[Arbitrary union]], [[Arbitrary intersection]] | ||
