Heine–Borel theorem




In real analysis the Heine–Borel theorem, named after Eduard Heine and Émile Borel, states:


For a subset S of Euclidean space Rn, the following two statements are equivalent:




  • S is closed and bounded


  • S is compact, that is, every open cover of S has a finite subcover.




Contents






  • 1 History and motivation


  • 2 Proof


  • 3 Heine-Borel property


    • 3.1 In the theory of metric spaces


    • 3.2 In the theory of topological vector spaces




  • 4 See also


  • 5 Notes


  • 6 References


  • 7 External links





History and motivation


The history of what today is called the Heine–Borel theorem starts in the 19th century, with the search for solid foundations of real analysis. Central to the theory was the concept of uniform continuity and the theorem stating that every continuous function on a closed interval is uniformly continuous. Peter Gustav Lejeune Dirichlet was the first to prove this and implicitly he used the existence of a finite subcover of a given open cover of a closed interval in his proof.[1] He used this proof in his 1852 lectures, which were published only in 1904.[1] Later Eduard Heine, Karl Weierstrass and Salvatore Pincherle used similar techniques. Émile Borel in 1895 was the first to state and prove a form of what is now called the Heine–Borel theorem. His formulation was restricted to countable covers. Pierre Cousin (1895), Lebesgue (1898) and Schoenflies (1900) generalized it to arbitrary covers.[2]



Proof


If a set is compact, then it must be closed.


Let S be a subset of Rn. Observe first the following: if a is a limit point of S, then any finite collection C of open sets, such that each open set U ∈ C is disjoint from some neighborhood VU of a, fails to be a cover of S. Indeed, the intersection of the finite family of sets VU is a neighborhood W of a in Rn. Since a is a limit point of S, W must contain a point x in S. This x ∈ S is not covered by the family C, because every U in C is disjoint from VU and hence disjoint from W, which contains x.


If S is compact but not closed, then it has an accumulation point a not in S. Consider a collection C ′ consisting of an open neighborhood N(x) for each x ∈ S, chosen small enough to not intersect some neighborhood Vx of a. Then C ′ is an open cover of S, but any finite subcollection of C ′ has the form of C discussed previously, and thus cannot be an open subcover of S. This contradicts the compactness of S. Hence, every accumulation point of S is in S, so S is closed.


The proof above applies with almost no change to showing that any compact subset S of a Hausdorff topological space X is closed in X.


If a set is compact, then it is bounded.


Let S{displaystyle S}S be a compact set in Rn{displaystyle {mathbf {R}}^{n}}{displaystyle {mathbf {R}}^{n}}, and Ux{displaystyle U_{x}}U_x a ball of radius 1 centered at x∈Rn{displaystyle xin {mathbf {R}}^{n}}{displaystyle xin {mathbf {R}}^{n}}. Then the set of all such balls centered at x∈S{displaystyle xin S}xin S is clearly an open cover of S{displaystyle S}S, since ∪x∈SUx{displaystyle cup _{xin S}U_{x}}{displaystyle cup _{xin S}U_{x}} contains all of S{displaystyle S}S. Since S{displaystyle S}S is compact, take a finite subcover of this cover. This subcover is the finite union of balls of radius 1. Consider all pairs of centers of these (finitely many) balls (of radius 1) and let M{displaystyle M}M be the maximum of the distances between them. Then if Cp{displaystyle C_{p}}C_{p} and Cq{displaystyle C_{q}}C_q are the centers (respectively) of unit balls containing arbitrary p,q∈S{displaystyle p,qin S}{displaystyle p,qin S}, the triangle inequality says:
d(p,q)≤d(p,Cp)+d(Cp,Cq)+d(Cq,q)≤1+M+1=M+2.{displaystyle d(p,q)leq d(p,C_{p})+d(C_{p},C_{q})+d(C_{q},q)leq 1+M+1=M+2.}{displaystyle d(p,q)leq d(p,C_{p})+d(C_{p},C_{q})+d(C_{q},q)leq 1+M+1=M+2.}
So the diameter of S{displaystyle S}S is bounded by M+2{displaystyle M+2}{displaystyle M+2}.


A closed subset of a compact set is compact.


Let K be a closed subset of a compact set T in Rn and let CK be an open cover of K. Then U = Rn K is an open set and


CT=CK∪{U}{displaystyle C_{T}=C_{K}cup {U}}C_{T}=C_{K}cup {U}

is an open cover of T. Since T is compact, then CT has a finite subcover CT′,{displaystyle C_{T}',}C_{T}', that also covers the smaller set K. Since U does not contain any point of K, the set K is already covered by CK′=CT′∖{U},{displaystyle C_{K}'=C_{T}'setminus {U},}C_{K}'=C_{T}'setminus {U}, that is a finite subcollection of the original collection CK. It is thus possible to extract from any open cover CK of K a finite subcover.


If a set is closed and bounded, then it is compact.


If a set S in Rn is bounded, then it can be enclosed within an n-box


T0=[−a,a]n{displaystyle T_{0}=[-a,a]^{n}}T_{0}=[-a,a]^{n}

where a > 0. By the property above, it is enough to show that T0 is compact.


Assume, by way of contradiction, that T0 is not compact. Then there exists an infinite open cover C of T0 that does not admit any finite subcover. Through bisection of each of the sides of T0, the box T0 can be broken up into 2n sub n-boxes, each of which has diameter equal to half the diameter of T0. Then at least one of the 2n sections of T0 must require an infinite subcover of C, otherwise C itself would have a finite subcover, by uniting together the finite covers of the sections. Call this section T1.


Likewise, the sides of T1 can be bisected, yielding 2n sections of T1, at least one of which must require an infinite subcover of C. Continuing in like manner yields a decreasing sequence of nested n-boxes:


T0⊃T1⊃T2⊃…⊃Tk⊃…{displaystyle T_{0}supset T_{1}supset T_{2}supset ldots supset T_{k}supset ldots }T_{0}supset T_{1}supset T_{2}supset ldots supset T_{k}supset ldots

where the side length of Tk is (2 a) / 2k, which tends to 0 as k tends to infinity. Let us define a sequence (xk) such that each xk is in Tk. This sequence is Cauchy, so it must converge to some limit L. Since each Tk is closed, and for each k the sequence (xk) is eventually always inside Tk, we see that L ∈ Tk for each k.


Since C covers T0, then it has some member U ∈ C such that L ∈ U. Since U is open, there is an n-ball B(L) ⊆ U. For large enough k, one has Tk ⊆ B(L) ⊆ U, but then the infinite number of members of C needed to cover Tk can be replaced by just one: U, a contradiction.


Thus, T0 is compact. Since S is closed and a subset of the compact set T0, then S is also compact (see above).



Heine-Borel property


The Heine-Borel theorem does not hold as stated for general metric and topological vector spaces, and this gives rise to the necessity to consider special classes of spaces where this proposition is true. They are called the spaces with the Heine-Borel property.



In the theory of metric spaces


A metric space (X,d){displaystyle (X,d)}(X,d) is said to have the Heine-Borel property if each closed bounded[3] set in X{displaystyle X}X is compact.


Many metric spaces fail to have the Heine–Borel property, for instance, the metric space of rational numbers (or indeed any incomplete metric space). Complete metric spaces may also fail to have the property, for instance, no infinite-dimensional Banach spaces have the Heine–Borel property (as metric spaces). Even more trivially, if the real line is not endowed with the usual metric, it may fail to have the Heine-Borel property.


A metric space (X,d){displaystyle (X,d)}(X,d) has a Heine-Borel metric which is Cauchy locally identical to d{displaystyle d}d if and only if it is complete, σ{displaystyle sigma }sigma -compact, and locally compact.[4]



In the theory of topological vector spaces


A topological vector space X{displaystyle X}X is said to have the Heine-Borel property[5] (R.E. Edwards uses the term boundedly compact space[6]) if each closed bounded[7] set in X{displaystyle X}X is compact.[8] No infinite-dimensional Banach spaces have the Heine-Borel property (as topological vector spaces). But some infinite-dimensional Fréchet spaces do have, for instance, the space C∞(Ω){displaystyle C^{infty }(Omega )}{displaystyle C^{infty }(Omega )} of smooth functions on an open set Ω⊂Rn{displaystyle Omega subset mathbb {R} ^{n}}{displaystyle Omega subset mathbb {R} ^{n}}[6] and the space H(Ω){displaystyle H(Omega )}{displaystyle H(Omega )} of holomorphic functions on an open set Ω⊂Cn{displaystyle Omega subset mathbb {C} ^{n}}{displaystyle Omega subset mathbb {C} ^{n}}[6]. More generally, any quasi-complete nuclear space has the Heine–Borel property. All Montel spaces have the Heine-Borel property as well.



See also


  • Bolzano–Weierstrass theorem


Notes





  1. ^ ab Raman-Sundström, Manya (August–September 2015). "A Pedagogical History of Compactness" (PDF). American Mathematical Monthly. 122 (7): 619–635. doi:10.4169/amer.math.monthly.122.7.619. JSTOR 10.4169/amer.math.monthly.122.7.619..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}


  2. ^ Sundström, Manya Raman (2010). "A pedagogical history of compactness". arXiv:1006.4131v1 [math.HO].


  3. ^ A set B{displaystyle B}B in a metric space (X,d){displaystyle (X,d)}(X,d) is said to be bounded if it is contained in a ball of a finite radius, i.e. there exists x∈X{displaystyle xin X}xin X and r>0{displaystyle r>0}r>0 such that B⊆{x∈X: d(x,a)≤r}{displaystyle Bsubseteq {xin X: d(x,a)leq r}}{displaystyle Bsubseteq {xin X: d(x,a)leq r}}.


  4. ^ Williamson & Janos 1987.


  5. ^ Kirillov & Gvishiani 1982, Theorem 28.


  6. ^ abc Edwards 1965, 8.4.7.


  7. ^ A set B{displaystyle B}B in a topological vector space X{displaystyle X}X is said to be bounded if for each neighborhood of zero U{displaystyle U}U in X{displaystyle X}X there exists a scalar λ{displaystyle lambda }lambda such that B⊆λ⋅U{displaystyle Bsubseteq lambda cdot U}{displaystyle Bsubseteq lambda cdot U}.


  8. ^ In the case when the topology of a topological vector space X{displaystyle X}X is generated by some metric d{displaystyle d}d this definition is not equivalent to the definition of the Heine-Borel property of X{displaystyle X}X as a metric space, since the notion of bounded set in X{displaystyle X}X as a metric space is different from the notion of bounded set in X{displaystyle X}X as a topological vector space. For instance, the space C∞[0,1]{displaystyle {mathcal {C}}^{infty }[0,1]}{displaystyle {mathcal {C}}^{infty }[0,1]} of smooth functions on the interval [0,1]{displaystyle [0,1]}[0,1] with the metric d(x,y)=∑k=0∞12k⋅maxt∈[0,1]|x(k)(t)−y(k)(t)|1+maxt∈[0,1]|x(k)(t)−y(k)(t)|{displaystyle d(x,y)=sum _{k=0}^{infty }{frac {1}{2^{k}}}cdot {frac {max _{tin [0,1]}|x^{(k)}(t)-y^{(k)}(t)|}{1+max _{tin [0,1]}|x^{(k)}(t)-y^{(k)}(t)|}}}{displaystyle d(x,y)=sum _{k=0}^{infty }{frac {1}{2^{k}}}cdot {frac {max _{tin [0,1]}|x^{(k)}(t)-y^{(k)}(t)|}{1+max _{tin [0,1]}|x^{(k)}(t)-y^{(k)}(t)|}}} (here x(k){displaystyle x^{(k)}}x^{(k)} is the k{displaystyle k}k-th derivative of the function x∈C∞[0,1]{displaystyle xin {mathcal {C}}^{infty }[0,1]}{displaystyle xin {mathcal {C}}^{infty }[0,1]}) has the Heine-Borel property as a topological vector space but not as a metric space.




References




  • P. Dugac (1989). "Sur la correspondance de Borel et le théorème de Dirichlet–Heine–Weierstrass–Borel–Schoenflies–Lebesgue". Arch. Int. Hist. Sci. 39: 69–110.


  • "proof of Heine-Borel theorem". PlanetMath.

  • BookOfProofs: Heine-Borel Property


  • Jeffreys, H.; Jeffreys, B.S. (1988). Methods of Mathematical Physics. Cambridge University Press. ISBN 978-0521097239.


  • Williamson, R.; Janos, L. (1987). "Construction metrics with the Heine-Borel property". Proc. AMS. 100: 567–573.


  • Kirillov, A.A.; Gvishiani, A.D. (1982). Theorems and Problems in Functional Analysis. Springer-Verlag New York. ISBN 978-1-4613-8155-6.


  • Edwards, R.E. (1965). Functional analysis. Holt, Rinehart and Winston. ISBN 0030505356.



External links




  • Ivan Kenig, Dr. Prof. Hans-Christian Graf v. Botthmer, Dmitrij Tiessen, Andreas Timm, Viktor Wittman (2004). The Heine–Borel Theorem. Hannover: Leibniz Universität. Archived from the original (avi • mp4 • mov • swf • streamed video) on 2011-07-19.


  • Hazewinkel, Michiel, ed. (2001) [1994], "Borel-Lebesgue covering theorem", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

  • Mathworld "Heine-Borel Theorem"




-

這個網誌中的熱門文章

Xamarin.form Move up view when keyboard appear

圖片
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 I'm trying to build a Chat app UI, the idea of the Layout was pretty simple: When the input bar is focused, keyboard show up and "push" up the chat bar, as it's a grid, the ListView will resize to fit the screen: I update the input bar's margin to "push" it up: NSValue result = (NSValue)args.Notification.UserInfo.ObjectForKey(new NSString(UIKeyboard.FrameEndUserInfoKey)); CGSize keyboardSize = result.RectangleFValue.Size; if (Element != null){ Element.Margin = new Thickness(0, 0, 0,keyboardSize.Height); //push the entry up to keyboard height when keyboard is activated } And this is ...
閱讀完整內容

Post-Redirect-Get with Spring WebFlux and Thymeleaf

圖片
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 2 Can someone explain to me how to implement the post-redirect-get pattern in Spring WebFlux and Thymeleaf? What subscribes on the database save method? @GetMapping("/register") public String showRegisterForm(Model model) { model.addAttribute("user", new User()); return "register"; } @PostMapping public String processRegisterForm(@Valid User user, BindingResult bindingResult) { if (bindingResult.hasErrors()) { return "register"; } else { userRepository.save(user); //what subscribes on this? //how to redirect on e.g. "/login"? ...
閱讀完整內容

Anylogic : not able to use stopDelay()

圖片
-2 I am building a railway station model. I want a train to depart when I click a button. I want to call stopDelay() for that but I am not sure how to do that and from which place. anylogic share | improve this question asked Nov 23 '18 at 10:12 Anupam Singh Anupam Singh 1 Hi Anupam, welcome to SOF. Please check how to ask good questions, see link below. Your question is...
閱讀完整內容