Video: Heine Borel Theorem

Not yet rated
This video illustrates a proof of the Heine Borel Theorem: "Every closed bounded set in R^n is compact."





The proof goes like this:





Assume the contary. Let X be a bounded closed set (the disk in the video) that has an infinite open covering (symbolized by the colored small disks in the video) with no finite subcovering. Now devide X and the covering in two halfs. Now at least one sides does not admit a finite subcovering (otherwise we could construct a finite subcovering of X). Now subdivide the side without finite subcovering, and repeat the construction. We obain a sequence of subdivisions that do not have a finite subcovering of the given infinite covering.





If we now choose a point inside each of the subdivisions we obtain a cauchy sequence, which must have a limit point P since R^n is complete. P lies in every subdivision. Now choose an open set U (yellow in the movie) of the covering which contains P. Since U has a finite size it contains all subdivisions which are small enough. But then U is a finite subcovering for these subdivisions which contradicts our construction. Therefore our assumption that allowed the construction must be wrong and the Heine-Borel-Theorem correct. q.e.d








This Video was produces for a topology seminar at the Leibniz Universitaet Hannover.





http://www-ifm.math.uni-hannover.de/~fugru/?topologie_teil1





This film is #7 of our geometric animations calendar


http://www.calendar.algebraicsurface.net
Views: 2,879
Added: 10 years ago.

Share:

More Mathematics Videos

Algebra: Quadratic Formula Algebra: Quadratic Formula Calculus: Second Derivative Test for Local Extrema Calculus: Second Derivative Test for Local Extrema Fractals in Science, Engineering and Finance, with Benoit B. Mandelbrot (2001) Fractals in Science, Engineering and Finance, with Benoit B. Mandelbrot (2001) Infinite Possibilities: Archimedes on the Web (2008) Infinite Possibilities: Archimedes on the Web (2008) What Mathematicians Actually Do, with John Franks What Mathematicians Actually Do, with John Franks The MacPlatonic Solids: Mathematics in Neolithic Scotland (2011) The MacPlatonic Solids: Mathematics in Neolithic Scotland (2011)

Comments

There are no comments. Be the first to post one.
  Post comment as a guest user.
Click to login or register:
Your name:
Your email:
(will not appear)
Your comment:
(max. 1000 characters)
Are you human? (Sorry)