Difference between revisions of "Cantor Intersection Theorem"
Jump to navigation
Jump to search
m (link to mathematician) |
|||
| Line 3: | Line 3: | ||
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. | 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> | </blockquote> | ||
| + | |||
| + | This [[theorem]] was proven by [[Georg Cantor]]. | ||
[[category: mathematics]] | [[category: mathematics]] | ||
Revision as of 19:48, February 17, 2008
The Cantor Intersection Theorem states:
If is a collection of closed subspaces of a complete metric space such that for all and , then ∩ is a single point.
This theorem was proven by Georg Cantor.