Topologie de la droite réelle

Richard Dedekind (1831 - 1916) a défini rigoureusement les nombres réels et posé les bases de leur étude topologique.

La topologie de la droite réelle (ou topologie usuelle de R) est une structure mathématique qui donne, pour l'ensemble des nombres réels, des définitions précises aux notions de limite et de continuité.

Historiquement, ces notions se sont développées autour de la notion de nombre (approcher des nombres comme la racine carrée de deux ou pi par d'autres plus « maniables ») et de la géométrie de la droite (à laquelle l'espace topologique des nombres réels peut être assimilé), du plan et de l'espace usuels. De ces études ont été extraits les axiomes permettant de définir ce qu'est un espace topologique. La théorie axiomatique de la topologie étant établie, l'espace topologique des nombres réels n'est plus qu'un exemple, parmi de nombreux autres, de groupe topologique. Il existe donc essentiellement deux manières de présenter la topologie usuelle de l'ensemble des nombres réels :

  • partir des propriétés de l'ensemble des nombres réels pour définir les objets de la topologie ;
  • partir des axiomes de la topologie générale et les appliquer à l'ensemble des nombres réels.

Les deux s'appuient sur la construction des nombres réels par complétion de l'ensemble des nombres rationnels.

La topologie de la droite réelle est une topologie de l'ordre et l'ensemble des nombres réels est un corps topologique, ce qui signifie que les notions de limite et de continuité sont compatibles avec l'ordre et les opérations usuelles (addition, soustraction, multiplication et division autre que la division par zéro).

Les sous-ensembles de R qui jouent un rôle essentiel pour la topologie sont d'une part l'ensemble des nombres rationnels, sur lequel R est construit, et d'autre part les intervalles, sur lesquels la topologie est construite.

L'ensemble des nombres réels est généralement représenté par une droite graduée, d'où l'expression de droite réelle.

Construction et topologie de la droite réelle

Insuffisance et complétion des nombres rationnels

Si le côté de ce carré a pour longueur 2, alors sa diagonale mesure 2√2 et le disque possède une aire égale à π. Ces deux derniers nombres sont irrationnels.

L'ensemble des nombres rationnels, noté Q, est un corps, ce qui signifie qu'il possède beaucoup de « bonnes » propriétés algébriques : si on effectue l'addition, la multiplication, la soustraction ou la division de deux nombres rationnels, on obtient un autre nombre rationnel. De plus, il est totalement ordonné : de deux nombres rationnels donnés, l'un est toujours inférieur à l'autre. Ces propriétés sont compatibles entre elles, ainsi, pour trois nombres rationnels x, y et a quelconques,

si xy, alors x+ay+a

et

si xy et a > 0, alors a xa y.

Mais Q est insuffisant du point de vue topologique, c'est-à-dire pour ce qui concerne les notions de limite et de continuité. Il est nécessaire de le compléter par d'autres nombres, appelés nombres irrationnels. Parmi ceux-ci se trouvent des nombres incontournables en sciences comme la racine carrée de deux et π.

Une suite (xn) de nombres rationnels converge vers une limite L lorsqu'on peut rendre xn aussi proche qu'on veut de L, à condition de prendre n suffisamment grand. Une conséquence est que toute suite convergente est une suite de Cauchy : on peut obtenir deux termes xn et xm aussi proches qu'on veut, à condition de prendre m et n suffisamment grands. Mais la réciproque est fausse : toute suite de Cauchy n'est pas convergente. Il en est ainsi de la suite définie par récurrence par la méthode de Héron :

x0 = 1
xn+1 = xn/2 +1/xn

Intuitivement, elle devrait tendre vers un nombre, mais ce nombre, la racine carrée de deux, n'est pas un nombre rationnel.

Deux suites de Cauchy sont dites équivalentes lorsque leur différence tend vers zéro. En considérant l'ensemble quotient des suites de Cauchy de nombres rationnels par cette relation d'équivalence, on construit un nouvel ensemble : l'ensemble R des nombres réels, qui possède les mêmes « bonnes propriétés » que Q (c'est un corps ordonné), mais qui, de plus, est complet : toute suite de Cauchy dans R converge.

De sa construction, plusieurs propriétés topologiques de la droite réelle peuvent être déduites :

Complétude — R est complet.

Ce qui signifie que toute suite de Cauchy de nombres réels converge vers un nombre réel.

Densité de Q dans R — Q est dense dans R.

Ce qui signifie que tout nombre réel peut être approché aussi près qu'on veut par des nombres rationnels.

Voisinages et ouverts

La notion intuitive de limite repose sur l'intuition de « nombre suffisamment proche » d'un autre. Un voisinage d'un nombre réel x est la donnée de tous les nombres réels « suffisamment proches » de x. Formellement :

Définition de voisinage — Un voisinage d'un nombre x est une partie V de R qui contient un intervalle ouvert qui, lui-même contient x.

Définition d'ouvert — Un ouvert est une partie de R qui est un voisinage de chacun de ses points.

En particulier, tout intervalle ouvert est un ouvert. Par convention l'ensemble vide est également considéré comme un ouvert de R. Deux propriétés essentielles[1] des ouverts sont que :

Les notions de voisinage et d'ouvert sont fondamentales en topologie. Les propriétés topologiques de R peuvent toutes être exprimées en termes d'ouverts ou de voisinage. Ainsi, la densité de Q dans R peut-elle être rédigée ainsi :

Tout ouvert non vide de R contient au moins un nombre rationnel.

ou

Pour tout nombre réel x, tout voisinage de x contient au moins un nombre rationnel.

Le langage des voisinages permet de définir à la fois simplement et rigoureusement la notion de limite d'une suite de nombres réels, y compris lorsque cette limite est infinie. Pour cela, on parle de voisinage de l'infini :

Définition de voisinage de +∞ — Un voisinage de +∞ est une partie V de R qui contient un intervalle ouvert de la forme ]a ; +∞[, où a est un nombre réel quelconque.

Autrement dit, une propriété est vraie au voisinage de +∞ lorsqu'elle est vraie pour tous les nombres réels suffisamment grands. On définit de manière analogue les voisinages de -∞.

Définition de la limite d'une suite — A désigne un nombre réel ou +∞ ou -∞. Une suite admet A pour limite lorsque tout voisinage de A contient tous les termes de cette suite dont le rang est suffisamment grand.

Étant donnés deux réels distincts, il existe un voisinage de l'un qui ne contient pas l'autre. On dit que R est séparé. Cette propriété entraîne notamment l'unicité de la limite d'une suite.

Fermés et compacts

Un fermé de R est le complémentaire d'un ouvert : F est un fermé si l'ensemble des nombres réels qui n'appartiennent pas à F est un ouvert. Il vient immédiatement les propriétés suivantes, duales de celles sur les ouverts :

  • R est un fermé ;
  • une intersection de fermés est un fermé ;
  • la réunion d'une famille finie de fermés est un fermé.

Une partie A de R est dite bornée lorsqu'il existe deux nombres réels m et M tels que, pour tout x dans A, mxM.

Un recouvrement de A est une famille d'ensembles dont la réunion contient A.

Le théorème de Borel-Lebesgue indique l'équivalence entre les deux propriétés suivantes, pour toute partie K de R :

  • K est fermée et bornée ;
  • De tout recouvrement de K par des ouverts, on peut extraire un sous-recouvrement fini.

Cette deuxième proposition est la définition d'un ensemble compact en topologie générale, pour un espace séparé.

Intuitivement, une partie compacte de R est une partie qui ne permet pas de « fuite à l'infini »[2].

Les intervalles fermés sont, outre R lui-même, ceux de la forme [a ; b] ou [a ; +∞[ ou ]-∞ ; b], où a et b sont deux réels quelconques, le premier type donnant les intervalles compacts. Un intervalle de la forme [a ; b[ ou ]a ; b] n'est ni ouvert, ni fermé.

L'ensemble de Cantor est un exemple classique de compact de R. Il est défini par récurrence à partir de l'intervalle [0 ; 1], duquel on ôte le tiers central : il reste [0 ; 1/3] ∪ [2/3 ; 1], qui est fermé car union de deux fermés. De chacun de ces intervalles, on ôte le tiers central, pour obtenir [0 ; 1/9] ∪ [2/9 ; 1/3] ∪ [2/3 ; 7/9] ∪ [8/9 ; 1], puis on répète le procédé indéfiniment. L'ensemble obtenu est borné, car inclus dans [0 ; 1], et fermé car complémentaire d'un ouvert.

Les premières itérations de la construction de l'ensemble de Cantor.

Intérieur, adhérence, frontière

La topologie définit rigoureusement les notions d'intérieur d'une partie A de R, qui est différente de celle d'appartenance, d'adhérence (qui regroupe tous les nombres « très proches » de A) et de frontière (qui regroupe tous les nombres situés « au bord » de A).

Par exemple, pour l'intervalle A = [0 ; 1[, les nombres 0 et 1 sont « sur les bords » de A, ils appartiennent à sa frontière (topologie). Ils sont « très proches » de A, de même que tous les nombres de A : ils appartiennent à l'adhérence de A. Le nombre 0,01 est « à l'intérieur » de A, mais pas le nombre 0, bien qu'il appartienne à A.

Nombre intérieur à une partie — Un nombre x est dit intérieur à une partie A de R lorsque A est un voisinage de x.

L'intérieur d'une partie A, noté Å, est l'ensemble constitué de tous les nombres intérieurs à A. Å est un ouvert, le plus grand ouvert contenu dans A : tout ouvert inclus dans A est inclus dans Å. Par exemple, l'intérieur de l'intervalle [0 ; 1[ est l'intervalle ]0 ; 1[.

Nombre adhérent à une partie — Un nombre x est dit adhérent à une partie A de R lorsque tout voisinage de x contient au moins un élément de A.

L' adhérence (appelée parfois fermeture) de A est constituée de tous les points adhérents à A, elle est notée Ā. Il s'agit du plus petit fermé contenant A : tout fermé contenant A contient Ā. Par exemple, l'adhérence de l'intervalle [0 ; 1[ est l'intervalle [0 ; 1].

Frontière d'une partie — La frontière d'une partie A de R est l'ensemble constitué des nombres qui sont adhérents mais non intérieurs à A.

Par exemple, la frontière de l'intervalle [0 ; 1[ est constituée des nombres 0 et 1. La frontière est un fermé.

Nombres rationnels

La propriété vue plus haut :

Q est dense dans R

est équivalente à :

l'adhérence de Q est R.

D'autre part, l'intérieur de Q est l'ensemble vide. Cet exemple montre les limites de l'intuition en topologie : Q peut être vu comme un ensemble à la fois « très gros » (il est dense) et « très petit » (son intérieur est vide).

Suites

Si une suite converge vers un réel L, alors L appartient à l'adhérence de l'ensemble constitué par toutes les valeurs prises par la suite. Mais la réciproque n'est pas vraie : la suite définie par xn = (-1)n prend alternativement et indéfiniment les valeurs 1 et -1, qui sont deux valeurs d'adhérence de cette suite sans que celle-ci ne converge, ni vers 1, ni vers -1.

Annexes

Articles connexes

Bibliographie

Notes

  1. Réciproquement, la donnée d'une famille de parties d'un ensemble X quelconque qui vérifie ces propriétés et qui contient l'ensemble vide constitue une topologie de X.
  2. Jean-Michel Salanskis et Hervé Barreau, L'herméneutique formelle : l'infini, le continu, l'espace, Paris, Éditions du Centre national de la recherche scientifique, coll. « Fondements des sciences », , 258 p. (ISBN 2-222-04610-6), p. 112.

Read other articles:

A Wedding InvitationSutradaraKi Hwan OhProduserSan Ping HanTae Sung JeongJonathan KimDitulis olehQin Hai YanPemeranBai BaiheEddie PengSinematograferYong Ho KimPenyuntingMin Kyung ShinPerusahaanproduksiChina Film GroupCJ EntertainmentC2M MediaTanggal rilis 12 April 2013 (2013-04-12) (China) Durasi101 menitNegaraTiongkokKorea SelatanBahasaMandarinPendapatankotorCN¥192 juta (US$31.4 juta) (Tiongkok) ₩127 juta (US$118,000) (Korea Selatan) A Wedding Invitation (分手合约 fēnshǒu h...

 

The Star-LedgerTipeSurat kabar harianFormatLembar lebarPemilikAdvance PublicationsPenerbitRichard VezzaRedaksiKevin WhitmerDidirikan1832Pusat1 Gateway Center Suite 1100Newark, New Jersey 07102 Amerika Serikat[1]Sirkulasi surat kabar114,000 harian[2](Sept 2015)359,820 Minggu[3](Sept 2014)Situs webnj.com Logo Star-Ledger pada 2007 The Star-Ledger adalah surat kabar dengan peredaran terbesar di negara bagian New Jersey dan berbasis di Newark. Surat kabar tersebut ada...

 

Nikujaga Nikujaga (肉じゃがcode: ja is deprecated , daging kentang) adalah makanan Jepang yang dibuat dari daging, kentang dan bawang bombay, direbus agar manis dengan bumbu gula, kecap asin dan mirin. Di Jepang bagian barat, daging yang digunakan adalah daging sapi dengan kentang jenis Mayqueen. Sedangkan di Jepang bagian timur menggunakan daging babi dengan kentang jenis Danshaku. Nikujaga berasal dari masakan stew daging yang dihidangkan oleh angkatan laut Kerajaan Inggris. Makanan ini...

Belgian racing cyclist Gijs Van HoeckeVan Hoecke in 2023Personal informationBorn (1991-11-12) 12 November 1991 (age 32)Ghent, BelgiumHeight186 cm (6 ft 1 in)Weight75 kg (165 lb)Team informationCurrent teamIntermarché–WantyDisciplinesRoadTrackRoleRiderAmateur teams2010Beveren 20002011Omega Pharma–Lotto Davo Professional teams2012–2016Topsport Vlaanderen–Mercator2017–2018LottoNL–Jumbo2019–2020CCC Team[1]2021–2022AG2R Citroën Team[...

 

American politician For other people named James Cook, see James Cook (disambiguation). James M. Cookportrait by Nelson CookNew York State TreasurerIn office1852GovernorWashington HuntPreceded byAlvah HuntSucceeded byBenjamin Welch, Jr.New York State ComptrollerIn office1854–1855GovernorHoratio SeymourMyron H. ClarkPreceded byJohn C. WrightSucceeded byLorenzo BurrowsMember of the New York State Senate from the 15th DistrictIn office1864–1865Preceded byWilliam ClarkSucceeded byAdam W. Klin...

 

Matius 23Injil Matius 23:30-34 pada bagian depan (recto) potongan naskah Papirus 77, yang ditulis sekitar tahun 200 M.KitabInjil MatiusKategoriInjilBagian Alkitab KristenPerjanjian BaruUrutan dalamKitab Kristen1← pasal 22 pasal 24 → Matius 23 (disingkat Mat 23) adalah pasal kedua puluh tiga Injil Matius pada Perjanjian Baru dalam Alkitab Kristen, yang disusun menurut catatan dan kesaksian Matius, salah seorang dari Keduabelas Rasul Yesus Kristus.[1][2][3]&#...

Questa voce o sezione sull'argomento stadi non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Rogers CentreSkyDome Informazioni generaliStato Canada Ubicazione1 Blue Jays WayToronto, Ontario M5V 1J3 Inizio lavori3 ottobre 1986 Inaugurazione3 giugno 1989 Costo570 000 000 C$ ProprietarioRogers C...

 

2013 film Made in AmericaFilm posterDirected byRon HowardProduced byRon HowardBrian GrazerCinematographySalvatore TotinoEdited byJoshua L. PearsonMusic byDražen BošnjakProductioncompaniesImagine EntertainmentParticipant MediaRadicalMediaDistributed byPhase 4 Films (USA)[1]The Exchange (International)[2]Release dates September 7, 2013 (2013-09-07) (TIFF) October 11, 2013 (2013-10-11) (US) Running time90 minutesCountryUnited StatesLanguage...

 

American legislative district Texas's 13thState Senate districtSenator  Borris MilesD–Houston Demographics10.5% White41% Black40.3% Hispanic8.9% AsianPopulation886,226 District 13 of the Texas Senate is a senatorial district that currently serves portions of Fort Bend and Harris counties in the U.S. state of Texas. The current senator from District 13 is Borris Miles. Biggest cities in the district District 13 has a population of 946,273 with 713,052 that is at ...

此條目可能包含不适用或被曲解的引用资料,部分内容的准确性无法被证實。 (2023年1月5日)请协助校核其中的错误以改善这篇条目。详情请参见条目的讨论页。 各国相关 主題列表 索引 国内生产总值 石油储量 国防预算 武装部队(军事) 官方语言 人口統計 人口密度 生育率 出生率 死亡率 自杀率 谋杀率 失业率 储蓄率 识字率 出口额 进口额 煤产量 发电量 监禁率 死刑 国债 ...

 

Municipality in Dobrich, BulgariaShabla Municipality Община ШаблаMunicipalityShabla Municipality within Bulgaria and Dobrich Province.Coordinates: 43°36′N 28°31′E / 43.600°N 28.517°E / 43.600; 28.517Country BulgariaProvince (Oblast)DobrichAdmin. centre (Obshtinski tsentar)ShablaArea • Total329.64 km2 (127.27 sq mi)Population (December 2009)[1] • Total5,580 • Density17/km2 (44/sq...

 

1976 single by Silver ConventionGet Up and BoogieArtwork for German vinyl singleSingle by Silver Conventionfrom the album Get Up and Boogie B-sideSon of a GunReleasedMarch 1976GenreDiscoLength2:49 (single version)4:00 (album version)LabelMidland InternationalSongwriter(s) Sylvester Levay Stephan Prager Producer(s)Stephan PragerSilver Convention singles chronology Fly, Robin, Fly (1975) Get Up and Boogie (1976) Tiger Baby (1976) Get Up and Boogie is a song by German disco act Silver Convention...

Academic journalMathematics of ComputationDisciplineMathematicsLanguageEnglishEdited bySusanne C. BrennerPublication detailsFormer name(s)Mathematical Tables and Other Aids to ComputationHistory1943–presentPublisherAmerican Mathematical SocietyFrequencyBimonthlyOpen accessDelayed, after 5 yearsImpact factor2.417 (2020)Standard abbreviationsISO 4 (alt) · Bluebook (alt1 · alt2)NLM (alt) · MathSciNet (alt )ISO 4Math. Comput.MathSciNetMath. Comp.In...

 

Pour le roman de Lesage, voir Histoire de Gil Blas de Santillane. Pour les articles homonymes, voir Blas. Gil Blas Une du supplément du 8 octobre 1893, une nouvelle de Maupassant illustrée par Steinlen. Pays France Langue Français Périodicité quotidien Genre Presse Fondateur Auguste Dumont Date de fondation 1879 Date du dernier numéro 1940 Ville d’édition Paris ISSN 1149-9397 modifier  Gil Blas est un quotidien de la presse écrite française, fondé par Auguste Dumont et qui a...

 

اضغط هنا للاطلاع على كيفية قراءة التصنيف طائفة متقلبات ألفا المرتبة التصنيفية طائفة  التصنيف العلمي النطاق: الجراثيم المملكة: بكتيريا الشعبة: متقلبات الطائفة: متقلبات ألفا الاسم العلمي Alphaproteobacteria Garrity et al.، 2006 تعديل مصدري - تعديل   متقلبات ألفا أو بكتريا ممثلة للضوء غي...

För andra betydelser, se Örnsköldsvik (olika betydelser). Örnsköldsvik Tätort · Centralort Bildmontage över ett antal kända platser i Örnsköldsvik. Land  Sverige Landskap Ångermanland Län Västernorrlands län Kommun Örnsköldsviks kommun Distrikt Örnsköldsviks distrikt, Arnäs distrikt, Själevads distrikt Höjdläge 18 m ö.h. Koordinater 63°15′56″N 18°40′34″Ö / 63.26556°N 18.67611°Ö / 63.26556; 18.67611 Area  -&...

 

Rural locality in Ternopil Oblast, Ukraine Village in Ternopil Oblast, UkraineMala BerezovytsiaVillageMala BerezovytsiaLocation in UkraineCoordinates: 49°45′19″N 25°33′51″E / 49.75528°N 25.56417°E / 49.75528; 25.56417CountryUkraineOblastTernopil OblastRaionTernopil Raion Mala Berezovytsia (Ukrainian: Мала Березовиця; Polish: Berezowica Mała) is a village in Ternopil Raion, Ternopil Oblast, western Ukraine. It belongs to Zbarazh urban hromada,...

 

Virtual reality platform developed by Meta Platforms 2021 video gameMeta Horizon WorldsDeveloper(s)Meta PlatformsPublisher(s)Meta PlatformsEngineUnityPlatform(s)Meta QuestMicrosoft WindowsReleaseDecember 9, 2021 (U.S. and Canada)Genre(s)Game creation system, massively multiplayer onlineMode(s)Multiplayer Meta Horizon Worlds is an online virtual reality game with an integrated game creation system developed and published by Meta Platforms. On this multi-player virtual platform, players move an...

Voce principale: Atalanta Bergamasca Calcio. Atalanta BCStagione 1991-1992 Sport calcio Squadra Atalanta Allenatore Bruno Giorgi Presidente Antonio Percassi Serie A10º Coppa ItaliaOttavi di finale Maggiori presenzeCampionato: Ferron, Perrone (34)Totale: Ferron, Perrone (38) Miglior marcatoreCampionato: Bianchezi, Caniggia (8)Totale: Bianchezi, Caniggia (9) 1990-1991 1992-1993 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti l'Atalanta Bergama...

 

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)出典検索?: 藝大フィルハーモニア管弦楽団 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年6月) 藝大フィルハーモニア管弦�...