361 bytes added
, 18:01, April 6, 2007
The '''Cantor Intersection Theorem''' states:
<blockquote>
If '''<math>F_n</math>''' is a collection of closed subspaces of a [[complete metric space]] such that <math>F_{n+1} \in F_n</math> for all <math>n</math> and <math>\lim_{n \to \infty} diameter(F_n) = 0</math>, then '''∩ <math>F_n</math>''' is a single point.
</blockquote>
[[category: mathematics]]