Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
compact_space [2014/10/25 16:58]
nikolaj
compact_space [2014/10/25 16:59]
nikolaj
Line 6: Line 6:
 | @#FFFDDD: for all     | @#FFFDDD: $K\subseteq \bigcup \mathcal{T}'​$ | | @#FFFDDD: for all     | @#FFFDDD: $K\subseteq \bigcup \mathcal{T}'​$ |
 | @#FFFDDD: exists ​     | @#FFFDDD: $\mathcal{T}''​\subseteq \mathcal{T}'​$ | | @#FFFDDD: exists ​     | @#FFFDDD: $\mathcal{T}''​\subseteq \mathcal{T}'​$ |
-| @#55EE55: postulate ​  | @#55EE55: $\mathcal{T}''​$ ... finite ​ | 
 | @#55EE55: postulate ​  | @#55EE55: $K\subseteq\bigcup \mathcal{T}''​$ ​ | | @#55EE55: postulate ​  | @#55EE55: $K\subseteq\bigcup \mathcal{T}''​$ ​ |
 +| @#55EE55: postulate ​  | @#55EE55: $\mathcal{T}''​$ ... finite ​ |
  
 ==== Discussion ==== ==== Discussion ====
 === Idea === === Idea ===
-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 refined //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.+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 refined //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.
  
 === Reference === === Reference ===
Link to graph
Log In
Improvements of the human condition