Theorem 4.1.6 Cantor intersection theorem Let (X; d) be a complete metric
space. Let (Fn) be a decreasing sequence of nonempty closed subsets of X s.t. diam(Fn) !
0 in R. Then \nFn contains exactly one point.
Proof: Let F = \nFn. If F contains two points x and y then we have a contradiction
when diam(Fn) < d(x; y). Hence jFj 1.
8n choose xn 2 Fn. diam(Fn) ! 0 ) (xn) is Cauchy.
Hence 9x 2 X s.t. (xn) ! x. We show that x 2 Fn 8n. If fxng is nite then
xn = x for innitely many n, so that x 2 Fn for innitely many n. Since Fn+1 Fn
this implies x 2 Fn 8n. So suppose fxng is innite. 8m, (xm; xm+1; : : : ; xm+k; : : : ) is
a sequence in Fm converging to x. Since fxngnm is innite, this implies x is a limit
point of Fm. But Fm is closed, so x 2 Fm.
Parts of formal proof of theorem?
When a postulate has been proven it becomes a theorem.
a theorem that follows directly from another theorem or postulate, with little of no proof
theorem
A visual proof of the Pythagorean theorem, claimed to have been devised by the great genius of the Renaissance, Leonardo da Vinci.
Parts of formal proof of theorem?
No. A corollary goes a little bit further than a theorem and, while most of the proof is based on the theorem, the extra bit needs additional proof.
Theory_of_BPT_theorem
When a postulate has been proven it becomes a theorem.
a theorem that follows directly from another theorem or postulate, with little of no proof
Theorems is what is proven with the geometric proof.
theorem always needs proof
o.o
theorem
A visual proof of the Pythagorean theorem, claimed to have been devised by the great genius of the Renaissance, Leonardo da Vinci.
Theorem 3.9. If two lines are perpendicular, then they intersect to form 4 right angles. You would do a proof by using your hands.
There is no single statement that describes a geometric proof.