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:
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 and bounded 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]
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 a limit 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 limit 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} be a compact set in R n {\displaystyle \mathbf {R} ^{n}} , and U x {\displaystyle U_{x}} a ball of radius 1 centered at x ∈ ∈ --> R n {\displaystyle x\in \mathbf {R} ^{n}} . Then the set of all such balls centered at x ∈ ∈ --> S {\displaystyle x\in S} is clearly an open cover of S {\displaystyle S} , since ∪ ∪ --> x ∈ ∈ --> S U x {\displaystyle \cup _{x\in S}U_{x}} contains all of S {\displaystyle S} . Since S {\displaystyle 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} be the maximum of the distances between them. Then if C p {\displaystyle C_{p}} and C q {\displaystyle C_{q}} are the centers (respectively) of unit balls containing arbitrary p , q ∈ ∈ --> S {\displaystyle p,q\in S} , the triangle inequality says:
d ( p , q ) ≤ ≤ --> d ( p , C p ) + d ( C p , C q ) + d ( C q , 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.}
So the diameter of S {\displaystyle S} is bounded by M + 2 {\displaystyle M+2} .
Lemma: 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
C T = C K ∪ ∪ --> { U } {\displaystyle C_{T}=C_{K}\cup \{U\}}
is an open cover of T. Since T is compact, then CT has a finite subcover C T ′ , {\displaystyle 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 C K ′ = C T ′ ∖ ∖ --> { U } , {\displaystyle 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
T 0 = [ − − --> a , a ] n {\displaystyle T_{0}=[-a,a]^{n}}
where a > 0. By the lemma 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:
T 0 ⊃ ⊃ --> T 1 ⊃ ⊃ --> T 2 ⊃ ⊃ --> … … --> ⊃ ⊃ --> T k ⊃ ⊃ --> … … --> {\displaystyle 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 the lemma above).
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. These spaces are said to have the Heine–Borel property.
A metric space ( X , d ) {\displaystyle (X,d)} is said to have the Heine–Borel property if each closed bounded[3] set in X {\displaystyle X} is compact.
Many metric spaces fail to have the Heine–Borel property, such as 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)} has a Heine–Borel metric which is Cauchy locally identical to d {\displaystyle d} if and only if it is complete, σ σ --> {\displaystyle \sigma } -compact, and locally compact.[4]
A topological vector space X {\displaystyle 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} 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 )} of smooth functions on an open set Ω Ω --> ⊂ ⊂ --> R n {\displaystyle \Omega \subset \mathbb {R} ^{n}} [6] and the space H ( Ω Ω --> ) {\displaystyle H(\Omega )} of holomorphic functions on an open set Ω Ω --> ⊂ ⊂ --> 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.
2024年夏季奥林匹克运动会哥伦比亚代表團哥伦比亚国旗IOC編碼COLNOC哥伦比亚奥林匹克委员会網站olimpicocol.co(西班牙文)2024年夏季奥林匹克运动会(巴黎)2024年7月26日至8月11日運動員25參賽項目3个大项历届奥林匹克运动会参赛记录(总结)夏季奥林匹克运动会1932193619481952195619601964196819721976198019841988199219962000200420082012201620202024冬季奥林匹克运动会2010201420182022 2024年夏季奥林匹
Jeremy RennerRenner pada dekat 2014 San Diego Comic-Con InternationalLahirJeremy Lee Renner7 Januari 1971 (umur 52)Modesto, California, A.S.PendidikanFred C. Beyer High SchoolAlmamaterModesto Junior CollegePekerjaanAktorTahun aktif1995–sekarangSuami/istriSonni Pacheco (m. 2014; c. 2015)Anak1 Jeremy Lee Renner[1] (lahir 7 Januari 1971)[2] adalah seorang aktor Amerika. Dia memulai karirnya dengan tampil di Film indepen…
Martviliმარტვილის მუნიციპალიტეტი Gemeente in Georgië Locatie in Georgië Geografie Regio Samegrelo-Zemo Svaneti Hoofdplaats Martvili Oppervlakte 880.6 km² [1] Hoogste punt Techoerisjdoedi (3002 m) Coördinaten 42° 25′ NB, 42° 53′ OL Bevolking Inwoners (2023) 30.650 [2] (34,8 inw./km²) Etniciteit (2014) Georgisch (99,8%) Religie (2014) Georgisch-Orthodox (99,3%) Bestuur Burgemeester Tornike Janasjia (2021-) Overige inf…
Ukrainian singer and songwriter (born 1993) In this name that follows Eastern Slavic naming conventions, the patronymic is Volodymyrovych and the family name is Alieksieiev. AlekseevAlekseev in 2018Background informationBirth nameMykyta Volodymyrovych AlieksieievBorn (1993-05-18) 18 May 1993 (age 30)Kyiv, UkraineGenres Pop pop rock deep house alternative rock indie pop dance pop Occupation(s)SingersongwritersoundproduserYears active2014–presentLabelsZion Music • Sony MusicMusical ar…
هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (مارس 2023) ستونبريج باركرصيف المحطةمعلومات عامةالتقسيم الإداري London Borough of Brent (en) البلد ال…
Indian actress This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Neha Oberoi – news · newspapers · books · scholar · JSTOR (April 2011) (Learn how and when to remove this template message) Neha Obero…
Not to be confused with Duffws railway station (Festiniog and Blaenau Railway). Former railway station in Wales Duffws (FR)Duffws (FR) station, believed to be around 1900General informationLocationBlaenau Ffestiniog,[1] GwyneddWalesCoordinates52°59′42″N 3°56′05″W / 52.9949°N 3.9348°W / 52.9949; -3.9348Grid referenceSH 702 459Platforms1[2]Other informationStatusDisusedHistoryOriginal companyFestiniog RailwayKey datesJanuary 1866Opened1 January 1…
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article consists almost entirely of a plot summary. Please help improve the article by adding more real-world context. (June 2016) (Learn how and when to remove this template message) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be…
American politician, lawyer, writer and businessman (1823–1907) Galusha A. Grow24th Speaker of the United States House of RepresentativesIn officeJuly 4, 1861 – March 4, 1863Preceded byWilliam PenningtonSucceeded bySchuyler ColfaxLeader of the House Republican ConferenceIn officeJuly 4, 1861 – March 4, 1863Preceded byWilliam PenningtonSucceeded bySchuyler ColfaxMember of theU.S. House of Representatives from PennsylvaniaIn officeMarch 4, 1851 – March 3, 186…
«Голова коня від колісниці богині ночі Селени » Творець: Фідій і майстерняЧас створення: до 432 року до н. е.Матеріал: мармурЗберігається: Лондон, Велика БританіяМузей: Британський музей Голова коня від колісниці Селени — випадково збережена скульптура, що створена дл…
Indian period drama web series The EmpirePromotional posterGenreDramaHistorical fictionCreated byNikkhil AdvaniBased onEmpire of the Moghul by Alex RutherfordWritten byScreenplayBhavani IyerMitakshara KumarDialoguesA M TurazMitakshara KumarDirected byMitakshara KumarStarring Shabana Azmi Kunal Kapoor Drashti Dhami Dino Morea Aditya Seal Sahher Bambba Rahul Dev Composers Music Shail Hada Background Score Ashutosh PhatakCountry of originIndiaOriginal languagesHindiUrduNo. of seasons1No. of episode…
Joywave discographyJoywave performing in 2016Studio albums4Compilation albums1EPs3Singles18Mixtapes2 The discography of American indie rock band Joywave consists of three studio albums, one remix/compilation album, three extended plays, two mixtapes, and 18 singles. The band formed in 2010 and began releasing music the following year. They independently released their first mixtape, 77777, on March 14, 2011. Later that year, they released two singles, Ridge and Traveling at the Speed of Light, t…
1884 Bhojpuri Play by Ramdatta Shukla Devakshara CharitaWritten byRamdatta ShuklaDate premiered1884SubjectSupremacy of Devanagari over PersianGenreTheatre Devakshara Charita or Devakshar Charitra (Bhojpuri:
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (مايو 2020) و تأثير نموذج القانون تنص على أن علاقة طبيعية موجودة لكل فرد بين التردد (مراقبة) أو احتمال (التنبؤ) لحدث المهووسين دون أي علاج ( ( R c ) {\displaystyle \scriptstyle {(Rc)}} ) وتكرار أ…
Political alignment on the extreme end of right-wing politics The Unite the Right rally in Charlottesville, Virginia, 2017. Part of the Politics seriesParty politics Political spectrum Left-wing Far-leftCentre-left Centre Centre-leftRadical centreCentre-right Right-wing Centre-rightFar-right Platforms/Ideologies Anarchist Christian democratic Communist Conservative Democratic Environmentalist Fascist Fundamentalist Globalist Green Internationalist Liberal Libertarian Nationalist Pirate Party Pop…
1927 film The Ghost BaronDirected byGustaf EdgrenWritten bySölve Cederstrand Gustaf EdgrenStarringFridolf Rhudin Karin Swanström Enrique RiveroCinematographyAdrian BjurmanEdited byAdrian BjurmanProductioncompanySvensk FilmindustriDistributed bySvensk FilmindustriRelease date17 October 1927Running time74 minutesCountrySwedenLanguagesSilentSwedish intertitles The Ghost Baron (Swedish: Spökbaronen) is a 1927 Swedish drama film directed by Gustaf Edgren and starring Fridolf Rhudin, Karin Swanstr…
Tom Forman1915Lahir(1893-02-22)22 Februari 1893Mitchell County, Texas, Amerika SerikatMeninggal7 November 1926(1926-11-07) (umur 33)Venice, California, Amerika SerikatPekerjaanPemeran, sutradara, produser, penulisTahun aktif1913–1926Suami/istriMary Mersch (bercerai pada 1923) Tom Forman (22 Februari 1893 – 7 November 1926) adalah seorang pemeran, sutradara, penulis dan produser Amerika Serikat pada awal 1920an. Ia adalah sepupu dari bintang layar lebar bisu Madge …
Alain Berset (SP/FR)Bundespräsident 2023Viola Amherd (Die Mitte/VS)Vizepräsidentin 2023 Die Liste der Schweizer Bundespräsidenten zeigt alle Bundespräsidenten der Schweizerischen Eidgenossenschaft seit der Gründung des Bundesstaats im Jahre 1848. Anders als der Bundespräsident in den Nachbarländern Österreich oder Deutschland ist der Schweizer Bundespräsident kein Staatsoberhaupt; er ist auch kein Regierungschef. Die Bundesverfassung sieht vor, dass sämtliche Geschäfte vom Gesamtbunde…
Book by Catherine Nixey The Darkening Age: The Christian Destruction of the Classical World First edition (UK)AuthorCatherine NixeyGenreHistoryPublisherMacmillan Publishers (UK)Houghton Mifflin Harcourt (US)Publication dateSeptember 21, 2017Pages352ISBN978-0544800885 The Darkening Age: The Christian Destruction of the Classical World is a 2017 book by Catherine Nixey. In the book, Nixey argues that early Christians deliberately destroyed classical Greek and Roman cultures and contributed to the …
Syria Template‑classThis template is within the scope of WikiProject Syria, a collaborative effort to improve the coverage of Syria on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.SyriaWikipedia:WikiProject SyriaTemplate:WikiProject SyriaSyria articlesTemplateThis template does not require a rating on Wikipedia's content assessment scale. Ethnic groups NA‑classThis template is within the scope of Wi…
Lokasi Pengunjung: 3.147.80.157