משפט היינה-בורל

משפט היינה-בורל הוא משפט יסודי באנליזה מתמטית, הקובע שקבוצה בישר הממשי היא קומפקטית אם ורק אם היא סגורה וחסומה. המשפט חל באותה מידה על קבוצות של וקטורים, כלומר תת-קבוצות של המרחבים האוקלידיים .

האפיון של קבוצות קומפקטיות שנותן משפט היינה-בורל אינו נכון בכל מרחב מטרי, ודרכו מצביע המשפט על כך שמערכת האקסיומות של המרחבים האוקלידיים חזקה מזו של מרחבים מטריים אחרים.

המשפט קשור לשני משפטים חשובים אחרים - משפט בולצאנו-ויירשטראס והלמה של קנטור - ואפשר להסיק אותם בקלות יחסית זה מזה.

המשפט קרוי על שם המתמטיקאים אדוארד היינה ואמיל בורל.

רקע

הקומפקטיות היא תכונה מרכזית בטופולוגיה, והיא קשורה לתכונות חשובות רבות אחרות. משפט היינה-בורל קובע, כאמור, שבמרחבים האוקלידיים אפשר לאפיין אותה באמצעות שתי דרישות פשוטות יחסית: שהקבוצה המדוברת תהיה סגורה וחסומה. כיוון אחד של האפיון הזה נכון בכל מרחב מטרי: כל קבוצה קומפקטית היא תמיד סגורה וחסומה. ההפך אינו נכון.

אפיון אחר, כללי יותר, קובע ש(בכל מרחב מטרי), קבוצה היא קומפקטית אם ורק אם היא שלמה וחסומה כליל. הדרישה השנייה, שהקבוצה תהיה חסומה כליל, חזקה יותר מכך שהקבוצה תהיה חסומה סתם, אלא שקבוצה חסומה המוכלת בקבוצה קומפקטית היא גם חסומה כליל. בנוסף לזה, אם המרחב עצמו שלם, אז כל קבוצה סגורה היא שלמה, ולכן במרחבים שלמים קבוצה היא קומפקטית אם ורק אם היא סגורה וחסומה כליל. אפיונים אלה מכלילים את משפט היינה-בורל.

הוכחה באמצעות הלמה של קנטור

כל קבוצה קומפקטית במרחב מטרי היא סגורה וחסומה. הקושי הוא להוכיח שקבוצה סגורה וחסומה היא קומפקטית. כדי להוכיח זאת, מספיק להראות את הטענות הבאות.

  1. תיבה במרחב -ממדי היא קבוצה קומפקטית: נניח שיש כיסוי פתוח של התיבה שאין לו תת-כיסוי סופי. נחלק את התיבה ל- "רבעים", על ידי חלוקת כל אחד מצירי התיבה לשניים. לפי ההנחה, לאחד מאלה אין תת-כיסוי סופי. נמשיך באופן כזה, ונקבל סדרת תיבות המוכלות כל אחת בקודמתה, עם קוטר השואף לאפס. לפי הלמה של קנטור, חיתוך כל התיבות בסדרה הוא נקודה אחת. אחת הקבוצות בכיסוי מכסה את הנקודה הזו, ולכן מכילה תיבה מן הסדרה שלנו - אבל זהו כיסוי סופי לאותה תיבה, בסתירה לאופן בחירת התיבות בסדרה.
  2. כל קבוצה חסומה מוכלת בתיבה סגורה כלשהי: משום שכל כדור מוכל בתיבה.
  3. תת קבוצה סגורה של קבוצה קומפקטית, אף היא קומפקטית: בהינתן קבוצה סגורה המוכלת בקבוצה קומפקטית , נתבונן בכיסוי פתוח של . נצרף לכיסוי הפתוח הזה את ההפרש וקיבלנו כיסוי פתוח של , שיש לו תת-כיסוי סופי. נסיר ממנו את ונקבל תת-כיסוי סופי של הכיסוי של .

קישורים חיצוניים

Read other articles:

Sebuah miniatur pemutus daya Pemutus daya atau pemutus tenaga adalah pemutus rangkaian listrik yang khusus memutuskan arus listrik pada tegangan kerja atau arus hubung singkat. Prinsip kerjanya adalah menutup dan membuka kontak yang menghubungkan arus listrik. Pemutus daya dapat dikendalikan dari jarak jauh. Selain itu, proses kerjanya terjadi secara otomatis. Pemutus daya hanya akan bekerja jika arus listrik yang melalui jaringan listrik melebihi nilai normalnya. Beberapa jenis pemutus daya ...

 

 

American businessman and father of US President Franklin D. Roosevelt This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: James Roosevelt I – news · newspapers · books · scholar · JSTOR (April 2010) (Learn how and when to remove this template message) James Roosevelt I1885 portrait of James Roosevelt at Springwo...

 

 

Cuban-Spanish actress, singer and dancer In this Spanish name, the first or paternal surname is Terrero and the second or maternal family name is Martínez. ChanelChanel Terrero in 2022Background informationBirth nameChanel Terrero MartínezBorn (1991-07-28) 28 July 1991 (age 32)Havana, CubaOriginOlesa de Montserrat, Catalonia, SpainGenresPopOccupation(s)SingerdanceractressmodelInstrumentsVocalsYears active2009–presentLabelsSony Music SpainColumbia FranceBMG Rights Management S...

Полонинский хребетукр. Полонинські Бескиди Высшая точка Абсолютная высота576 мРасположение 48°35′00″ с. ш. 23°15′00″ в. д.HGЯO Страна Украина ОбластьЗакарпатская область Полонинский хребет Полонинский хребет Медиафайлы на Викискладе Полони́нский хребе...

 

 

Governing body of association football in Chile Football Federation of ChileCONMEBOLFounded19 June 1895; 128 years ago (1895-06-19)HeadquartersSantiago, ChileFIFA affiliation1913 (revoking membership in 1925[1])CONMEBOL affiliation1916PresidentPablo Milad Abusleme[2]Websitelaroja.cl The Football Federation of Chile (Spanish: Federación de Fútbol de Chile or FFCh) is the governing body of football in Chile. It was founded on 19 June 1895, making it the secon...

 

 

French Roman Catholic prelate His EminencePhilippe BarbarinCardinal-Priest of SS. Trinità al Monte PincioBarbarin in 2008ChurchCatholic ChurchSeeLyon (emeritus)Appointed16 July 2002Installed14 September 2002Term ended6 March 2020PredecessorLouis-Marie BilléSuccessorOlivier de GermayOrdersOrdination17 December 1977by Robert Marie-Joseph François de ProvenchèresConsecration22 November 1998by Philibert RandriambololonaCreated cardinal21 October 2003by Pope John Paul IIRankCardinal-...

مسجد عائشة الحيدري إحداثيات 33°22′15″N 44°21′40″E / 33.370944444444°N 44.36125°E / 33.370944444444; 44.36125   معلومات عامة الموقع الرصافة  القرية أو المدينة بغداد / الرصافة الدولة العراق سنة التأسيس 1912  تاريخ بدء البناء 1330 هـ/1912م أبعاد المبنى المواصفات عدد المصلين 50 التفاصيل التق�...

 

 

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题,请协助参考外语维基百科扩充条目。请勿直接提交机械翻译,也不要翻译不可靠、低品质内容。依版权协议,译文需在编辑摘要注明来源,或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌:《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

 

 

土库曼斯坦总统土库曼斯坦国徽土库曼斯坦总统旗現任谢尔达尔·别尔德穆哈梅多夫自2022年3月19日官邸阿什哈巴德总统府(Oguzkhan Presidential Palace)機關所在地阿什哈巴德任命者直接选举任期7年,可连选连任首任萨帕尔穆拉特·尼亚佐夫设立1991年10月27日 土库曼斯坦土库曼斯坦政府与政治 国家政府 土库曼斯坦宪法 国旗 国徽 国歌 立法機關(英语:National Council of Turkmenistan) ...

Tujuan Pembangunan Berkelanjutan 16MisiMewujudkan masyarakat yang inklusif dan damai dengan berdasarkan pada penghormatan terhadap hak asasi manusia, peraturan hukum, tata pemerintahan yang baik di semua tingkat, serta lembaga yang transparan, efektif, dan akuntabelKomersial?TidakJenis proyekOrganisasi NirlabaLokasiGlobalPendiriPerserikatan Bangsa-BangsaDimulai2015Situs websdgs.un.org Tujuan Pembangunan Berkelanjutan 16 adalah salah satu dari 17 Tujuan Pembangunan Berkelanjutan (SDGs) yang di...

 

 

The Buddha of Suburbia Саундтрек Дэвида Боуи Дата выпуска 8 ноября 199324 октября 1995 (США) Место записи Mountain Studios, Монтрё, Швейцария Жанры Рок, эмбиент Длительность 55:26 Продюсеры Дэвид Боуи и Дэвид Ричардс Лейбл BMG International Профессиональные рецензии All Music Guide ссылка Роберт Кристгау ссы�...

 

 

العلاقات الإسرائيلية المالاوية إسرائيل مالاوي   إسرائيل   مالاوي تعديل مصدري - تعديل   العلاقات الإسرائيلية المالاوية هي العلاقات الثنائية التي تجمع بين إسرائيل ومالاوي.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه ا...

JohnnySingle by Suicidefrom the album Suicide B-sideSolid GoldReleased1977 (1977)RecordedNovember 1977LabelRed StarSongwriter(s) Martin Rev Alan Vega Producer(s)John ShanksSuicide track listing7 tracks Ghost Rider Rocket U.S.A. Cheree Johnny Girl Frankie Teardrop Ché Johnny is the first single by Suicide from their 1977 self-titled album. Peaches version JonnySingle by PeachesReleasedAugust 30, 2010GenreElectro, RockLength2:01LabelBlast First PetiteSongwriter(s)Martin Rev, Alan VegaProd...

 

 

2016 Equatorial Guinean presidential election ← 2009 24 April 2016 2022 → Registered325,548Turnout92.70%   Nominee Teodoro Obiang Nguema Mbasogo Avelino Mocache Party PDGE UCD Popular vote 271,177 4,556 Percentage 93.53% 1.57% Results by district (districts won by Obiang in green) President before election Teodoro Obiang Nguema Mbasogo PDGE Elected President Teodoro Obiang Nguema Mbasogo PDGE Politics of Equatorial Guinea Constitution Human rights Government P...

 

 

Voce principale: 1. Fußball- und Sportverein Mainz 05. 1. Fußball- und Sportverein Mainz 05Stagione 1990-1991Sport calcio Squadra Magonza Allenatore Robert Jung 2. Bundesliga8º posto Maggiori presenzeCampionato: Kuhnert (38)Totale: Kuhnert (38) Miglior marcatoreCampionato: Klopp (10)Totale: Klopp (10) StadioStadion am Bruchweg Maggior numero di spettatori14 000 vs. Schalke Minor numero di spettatori2 500 vs. Homburg Media spettatori5 007 1989-1990 1991-1992 Si invita a...

Cypriot footballer Andreas Makris Andreas Makris during a match against Ermis Aradippou in 2013Personal informationFull name Andreas MakrisDate of birth (1995-11-27) 27 November 1995 (age 28)Place of birth Paphos, CyprusHeight 1.71 m (5 ft 7+1⁄2 in)Position(s) WingerTeam informationCurrent team AEL LimassolNumber 14Youth career2007–2008 Atromitos Yeroskipou2008–2012 AEP PaphosSenior career*Years Team Apps (Gls)2012–2013 AEP Paphos 14 (2)2013–2016 Anorthosis F...

 

 

The Kings of SummerPoster FilmSutradaraJordan Vogt-RobertsProduserTyler DavidsonPeter SarafJohn HodgesDitulis olehChris GallettaPemeranNick RobinsonGabriel BassoMoisés AriasMary Lynn RajskubErin MoriartyMarc Evan JacksonMegan MullallyAlison BrieNick OffermanPenata musikRyan MillerSinematograferRoss RiegePenyuntingTerel GibsonPerusahaanproduksiLow Spark FilmsBig Beach FilmsDistributorCBS FilmsTanggal rilis 31 Mei 2013 (2013-05-31) Durasi96 MenitNegaraAmerika SerikatBahasaInggrisPen...

 

 

Questa voce sull'argomento videogiochi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Gameplay di una delle prime versioni del puzzle game Edge Il gameplay è una caratteristica dei videogiochi che rappresenta l'esperienza dell'interazione del giocatore con il gioco.[1] Il termine è un neologismo inglese[2] (pronuncia [ˈgeɪmpleɪ]),[3] composizione di «game» e «play» che...

French-American chef Jacques PépinPépin at the Aspen Food and Wine Classic 2006Born (1935-12-18) 18 December 1935 (age 88)Bourg-en-Bresse, FranceEducationColumbia University (B.A., M.A.)Spouse Gloria Evelyn Augier ​ ​(m. 1966; died 2020)​Children1Culinary careerCooking styleAmerican-French Previous restaurant(s) Hôtel Plaza Athénée, Le Pavillon, Howard Johnson's, La Potagerie, Windows on the World, Russian Tea Room Television show(s) T...

 

 

Pietro (III) Alighieri (Verona, 1425 – Verona, dopo il 1476) è stato un nobile e politico italiano, figlio di Leonardo Alighieri e quindi discendente del poeta Dante[1]. Indice 1 Biografia 2 Discendenza 3 Note 4 Bibliografia 5 Voci correlate 6 Collegamenti esterni Biografia Figlio di Leonardo Alighieri e di Jacopa Della Verità, rimase orfano di padre a sedici anni, quando questi morì nel 1441. Come il padre membro del Consiglio della città di Verona dal 1354, Pietro fu il destin...