This HTML5 document contains 437 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-nohttp://no.dbpedia.org/resource/
dbpedia-oshttp://os.dbpedia.org/resource/
n28https://id.loc.gov/authorities/names/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n50http://data.bnf.fr/ark:/12148/cb11977586x#
n53http://bh.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n23http://babelnet.org/rdf/
n82https://ncatlab.org/nlab/show/
n65http://lt.dbpedia.org/resource/
dbpedia-ochttp://oc.dbpedia.org/resource/
n11http://gcr.dbpedia.org/resource/
dbpedia-lahttp://la.dbpedia.org/resource/
n72http://purl.org/bncf/tid/
n138http://kbp.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n90https://www.britannica.com/topic/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-kuhttp://ku.dbpedia.org/resource/
dbpedia-behttp://be.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
n87http://km.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n119http://mathematiques.fauriel.org/
dbpedia-cahttp://ca.dbpedia.org/resource/
n56http://g.co/kg/m/
dbpedia-ethttp://et.dbpedia.org/resource/
n130http://ckb.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-afhttp://af.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n8http://vocabulary.curriculum.edu.au/scot/
dbpedia-cyhttp://cy.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
n4http://sco.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
n111http://lv.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
n91http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-alshttp://als.dbpedia.org/resource/
dbpedia-mrhttp://mr.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n86http://pa.dbpedia.org/resource/
n118https://commons.wikimedia.org/wiki/File:
n71http://yi.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
n42http://cv.dbpedia.org/resource/
n104http://xal.dbpedia.org/resource/
n57http://crh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
n105http://tl.dbpedia.org/resource/
dbpedia-gahttp://ga.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
n139http://ast.dbpedia.org/resource/
n55https://bigenc.ru/text/
dbpedia-simplehttp://simple.dbpedia.org/resource/
n142http://www.math93.com/
dbpedia-nnhttp://nn.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n134http://jam.dbpedia.org/resource/
n40https://snl.no/
dbpedia-bghttp://bg.dbpedia.org/resource/
n116http://wuu.dbpedia.org/resource/
n107https://d-nb.info/gnd/
dbpedia-huhttp://hu.dbpedia.org/resource/
n88http://eml.dbpedia.org/resource/
n89http://diq.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n49http://ta.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
dbpedia-hehttp://he.dbpedia.org/resource/
n46http://scn.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
n30http://ia.dbpedia.org/resource/
n38http://bxr.dbpedia.org/resource/
n95http://ma-graph.org/entity/
n120http://lfn.dbpedia.org/resource/
n69http://gv.dbpedia.org/resource/
n39http://fr.dbpedia.org/resource/Fichier:
wikidatahttp://www.wikidata.org/entity/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-kahttp://ka.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n128http://ml.dbpedia.org/resource/
n103http://www.yso.fi/onto/yso/
n43http://gan.dbpedia.org/resource/
dbpedia-vihttp://vi.dbpedia.org/resource/
n73http://bcl.dbpedia.org/resource/
n84http://fo.dbpedia.org/resource/
n21http://ky.dbpedia.org/resource/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-lmohttp://lmo.dbpedia.org/resource/
n115http://uz.dbpedia.org/resource/
n54http://ba.dbpedia.org/resource/
n37http://ur.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-swhttp://sw.dbpedia.org/resource/
n114http://jbo.dbpedia.org/resource/
n125http://ne.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://fr.dbpedia.org/resource/Modèle:
n143http://mathworld.wolfram.com/
dbpedia-euhttp://eu.dbpedia.org/resource/
dbpedia-azhttp://az.dbpedia.org/resource/
n99http://id.ndl.go.jp/auth/ndlna/
dbpedia-ishttp://is.dbpedia.org/resource/
n66http://www.chronomath.com/
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n122http://psh.ntkcz.cz/skos/
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n75http://fur.dbpedia.org/resource/
dbpedia-slhttp://sl.dbpedia.org/resource/
n64http://bn.dbpedia.org/resource/
dbpedia-kkhttp://kk.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n78http://lo.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
n140http://www.universalis.fr/encyclopedie/
prop-frhttp://fr.dbpedia.org/property/
n100http://www.bibnum.education.fr/mathematiques/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n13http://www.reunion.iufm.fr/recherche/irem/histoire/
n18http://commons.wikimedia.org/wiki/Special:FilePath/
n94http://bs.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-frrhttp://frr.dbpedia.org/resource/
n32http://si.dbpedia.org/resource/
n15http://www.enciclopedia.cat/
n12http://hy.dbpedia.org/resource/
n63http://turnbull.mcs.st-and.ac.uk/~history/HistTopics/
dbpedia-yohttp://yo.dbpedia.org/resource/
n109http://hi.dbpedia.org/resource/
dbpedia-mshttp://ms.dbpedia.org/resource/
n92https://commons.wikimedia.org/wiki/Category:
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pmshttp://pms.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Nombre_réel
rdfs:label
Nombre real Número real Liczby rzeczywiste Reële getal Reelle Zahl Número real Reelle Zahl عدد حقيقي 实数 Nombre réel Reëel getal Вещественное число
rdfs:comment
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
rdfs:seeAlso
n15:EC-GEC-0153767.xml n40:reelle_tall n55:1944717 n82:real_number n90:real-number n92:Real_numbers n118:Number-systems.svg n122:PSH7212 n140:nombres-reels n143:RealNumber.html
owl:sameAs
n4:Real_nummer n8:7160.rdf n11:Nonm_réyèl n12:Իրական_թվեր dbpedia-da:Reelle_tal dbpedia-sv:Reella_tal dbpedia-he:מספר_ממשי wikidata:Q12916 n21:Анык_сан dbpedia-pl:Liczby_rzeczywiste n23:s00066395n dbpedia-eu:Zenbaki_erreal dbpedia-es:Número_real dbpedia-mk:Реален_број dbpedia-sh:Realan_broj n28:sh85093221 dbpedia-sr:Реалан_број n30:Numero_real dbpedia-ga:Réaduimhir n32:තාත්වික_සංඛ්‍යා dbpedia-id:Bilangan_riil dbpedia-tr:Reel_sayılar dbpedia-ku:Hejmarên_rastîn n37:حقیقی_عدد n38:Бодото_тоо dbpedia-ru:Вещественное_число n42:Чăн_хисеп n43:實數 dbr:Real_number dbpedia-et:Reaalarv n46:Nùmmuru_riali dbpedia-is:Rauntala dbpedia-ar:عدد_حقيقي n49:மெய்யெண் n50:about dbpedia-it:Numero_reale dbpedia-simple:Real_number n53:वास्तविक_संख्या n54:Ысын_һан n56:06dvm n57:Aqiqiy_sayı dbpedia-ro:Număr_real dbpedia-ms:Nombor_nyata dbpedia-frr:Reel_taal n64:বাস্তব_সংখ্যা n65:Realusis_skaičius dbpedia-la:Numerus_realis dbpedia-no:Reelt_tall n69:Feer_earroo dbpedia-sk:Reálne_číslo n71:רעאלע_צאל n72:6844 n73:Tunay_na_bilang dbpedia-eo:Reelo n75:Numars_reâi dbpedia-cs:Reálné_číslo dbpedia-ko:실수 n78:ຈຳນວນຈິງ dbpedia-yo:Nọ́mbà_gidi dbpedia-vi:Số_thực dbpedia-pms:Nùmer_real dbpedia-gl:Número_real n84:Reelt_tal dbpedia-ka:ნამდვილი_რიცხვი n86:ਵਾਸਤਵਿਕ_ਅੰਕ n87:ចំនួនពិត n88:Nómmer_reèl n89:Amaro_reel dbpedia-mr:सत्‌_संख्या n94:Realan_broj n95:94020503 dbpedia-ca:Nombre_real dbpedia-fi:Reaaliluku dbpedia-fa:عدد_حقیقی n99:00574870 dbpedia-uk:Дійсне_число dbpedia-nl:Reëel_getal n103:p20190 n104:Бәәлһан_тойг n105:Tunay_na_bilang dbpedia-th:จำนวนจริง n107:4202628-3 dbpedia-os:Æцæг_нымæц n109:वास्तविक_संख्या dbpedia-el:Πραγματικός_αριθμός n111:Reāls_skaitlis dbpedia-ja:実数 dbpedia-az:Həqiqi_ədədlər n114:pavycimdyna'u n115:Haqiqiy_sonlar n116:实数 dbpedia-be:Рэчаісны_лік n120:Numero_real dbpedia-zh:实数 dbpedia-sl:Realno_število dbpedia-kk:Нақты_сан n125:वास्तविक_सङ्ख्या dbpedia-nn:Reelle_tal dbpedia-bg:Реално_число n128:വാസ്തവികസംഖ്യ dbpedia-oc:Nombre_real n130:ژمارەی_ڕاستەقینە dbpedia-lmo:Numer_real dbpedia-af:Reële_getal dbpedia-sw:Namba_halisi n134:Riil_nomba dbpedia-cy:Rhif_real dbpedia-als:Reelle_Zahl dbpedia-pt:Número_real n138:Siŋŋ_ñʊŋ_(tʊʊzʊʊ) n139:Númberu_real dbpedia-de:Reelle_Zahl dbpedia-hu:Valós_számok dbpedia-hr:Realni_broj
dbo:wikiPageID
6116
dbo:wikiPageRevisionID
190697775
dbo:wikiPageWikiLink
dbpedia-fr:Diagonale dbpedia-fr:Dénominateur dbpedia-fr:Ouvert_(topologie) dbpedia-fr:Émilie_du_Châtelet dbpedia-fr:Espace_vectoriel dbpedia-fr:Pythagore dbpedia-fr:Aire_(géométrie) category-fr:Analyse_réelle dbpedia-fr:Éléments_(Euclide) dbpedia-fr:Propriété_de_la_borne_supérieure dbpedia-fr:Antiquité dbpedia-fr:Argument_de_la_diagonale_de_Cantor dbpedia-fr:Série_(mathématiques) dbpedia-fr:Corps_commutatif dbpedia-fr:Éléments_de_mathématique dbpedia-fr:Quadrature_du_cercle dbpedia-fr:Charles_Méray dbpedia-fr:Topologie dbpedia-fr:Éléments_d'histoire_des_mathématiques dbpedia-fr:Grandeur_physique dbpedia-fr:Topologie_de_l'ordre dbpedia-fr:David_Hilbert dbpedia-fr:Augustin_Louis_Cauchy dbpedia-fr:Mécanique_newtonienne dbpedia-fr:Joseph_Liouville dbpedia-fr:Partie_entière_et_partie_fractionnaire dbpedia-fr:Addition dbpedia-fr:Euclide dbpedia-fr:Découvertes_Gallimard dbpedia-fr:Nombre_algébrique dbpedia-fr:Mécanique_du_solide dbpedia-fr:Voltaire dbpedia-fr:Nombre n39:Carré_pour_nombre_réél.svg dbpedia-fr:Inclusion_(mathématiques) dbpedia-fr:Nombre_complexe dbpedia-fr:Terre dbpedia-fr:Puissance_du_continu dbpedia-fr:Base_(arithmétique) dbpedia-fr:Base_(algèbre_linéaire) dbpedia-fr:Nombre_cardinal category-fr:Type_de_nombres n39:Contre_exemple_Rolle_(1).svg dbpedia-fr:Voisinage_(mathématiques) n39:Dedekind.jpeg dbpedia-fr:Notation_positionnelle dbpedia-fr:Abraham_Robinson dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Atomisme dbpedia-fr:Construction_des_nombres_réels dbpedia-fr:Polynôme dbpedia-fr:École_polytechnique_(France) dbpedia-fr:Théorème_de_la_limite_monotone dbpedia-fr:L'Empire_des_nombres dbpedia-fr:Grèce_antique dbpedia-fr:Algorithmique dbpedia-fr:Décidabilité dbpedia-fr:Soleil n39:Hilbert.jpg dbpedia-fr:Nombre_réel_calculable dbpedia-fr:Vitesse dbpedia-fr:Nombre_rationnel dbpedia-fr:Espace_métrique dbpedia-fr:Géométrie_euclidienne dbpedia-fr:Famille_Bernoulli dbpedia-fr:Théorème_des_valeurs_extrêmes dbpedia-fr:Entier_relatif dbpedia-fr:1844 dbpedia-fr:Entier_naturel dbpedia-fr:Théorème_des_valeurs_intermédiaires dbpedia-fr:Géométrie_différentielle dbpedia-fr:Théorème_de_Cantor dbpedia-fr:Multiplication dbpedia-fr:Théorème_des_suites_adjacentes dbpedia-fr:Continuité_(mathématiques) dbpedia-fr:Analyse_réelle dbpedia-fr:Fonction_(mathématiques) dbpedia-fr:Espace_euclidien dbpedia-fr:Zéro dbpedia-fr:Théorème_de_Bolzano-Weierstrass dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Leonhard_Euler dbpedia-fr:Clôture_algébrique dbpedia-fr:Distance_(mathématiques) dbpedia-fr:Développement_décimal dbpedia-fr:Archimédien dbpedia-fr:Corps_ordonné dbpedia-fr:Approximation dbpedia-fr:Théorème_des_accroissements_finis category-fr:Nombre dbpedia-fr:Analyse_non_standard dbpedia-fr:Théorème_de_Borel-Lebesgue dbpedia-fr:Nombre_transcendant dbpedia-fr:Livre_X_des_Éléments_d'Euclide dbpedia-fr:Trigonométrie dbpedia-fr:Sumer dbpedia-fr:Factorisation_des_polynômes dbpedia-fr:Ensemble_des_parties_d'un_ensemble dbpedia-fr:Segment_(mathématiques) dbpedia-fr:Georg_Hamel dbpedia-fr:Hypothèse_du_continu dbpedia-fr:Théorème_de_Rolle dbpedia-fr:Polynôme_irréductible dbpedia-fr:Théorie_des_bandes dbpedia-fr:Limite_(mathématiques) dbpedia-fr:Analyse_(mathématiques) dbpedia-fr:Carré dbpedia-fr:James_Gregory_(mathématicien) dbpedia-fr:Algèbre dbpedia-fr:Fraction_(mathématiques) dbpedia-fr:Atome dbpedia-fr:Limite_d'une_suite dbpedia-fr:Bijection_réciproque dbpedia-fr:Théorie_de_la_mesure dbpedia-fr:Bijection dbpedia-fr:Arithmétique dbpedia-fr:Philosophie dbpedia-fr:Droite_(mathématiques) dbpedia-fr:Surjection dbpedia-fr:Eudoxe_de_Cnide dbpedia-fr:Droite_réelle_achevée dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Espace_complet dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Aleph-zéro dbpedia-fr:Équation_polynomiale dbpedia-fr:Ordre_dense dbpedia-fr:Lemme_de_Cousin dbpedia-fr:Théorème n39:Droitereel.png n39:Augustin_Louis_Cauchy.JPG dbpedia-fr:Démocrite dbpedia-fr:Nombre_décimal category-fr:Nombre_hypercomplexe dbpedia-fr:Système_décimal n39:Euklid2.jpg dbpedia-fr:Calcul_infinitésimal dbpedia-fr:Isomorphisme dbpedia-fr:1770 dbpedia-fr:Fraction_égyptienne dbpedia-fr:Richard_Dedekind dbpedia-fr:Liste_des_volumes_de_«_Découvertes_Gallimard_»_(2e_partie) dbpedia-fr:Suite_périodique dbpedia-fr:Implication_réciproque dbpedia-fr:Mesure_physique dbpedia-fr:Champ_tensoriel dbpedia-fr:Notion dbpedia-fr:Connexité_simple dbpedia-fr:Connexité_(mathématiques) dbpedia-fr:Plan_(mathématiques) dbpedia-fr:Gottfried_Wilhelm_Leibniz n39:Real_number_line.svg dbpedia-fr:Image_d'une_application dbpedia-fr:Géométrie dbpedia-fr:Langage_mathématique dbpedia-fr:Coupure_de_Dedekind dbpedia-fr:Isaac_Newton dbpedia-fr:Nombre_irrationnel dbpedia-fr:Nombre_imaginaire_pur dbpedia-fr:Nombre_hyperréel dbpedia-fr:Nombre_négatif dbpedia-fr:Aristote dbpedia-fr:Paradoxes_de_Zénon dbpedia-fr:Infiniment_petit dbpedia-fr:Histoire_des_mathématiques dbpedia-fr:Commensurabilité_(mathématiques) dbpedia-fr:Philosophiae_naturalis_principia_mathematica dbpedia-fr:Roger_Godement dbpedia-fr:Nicolas_Bourbaki dbpedia-fr:Intervalle_(mathématiques) dbpedia-fr:Compacité_(mathématiques) dbpedia-fr:Infini dbpedia-fr:Compacité_séquentielle dbpedia-fr:Relation_d'équivalence dbpedia-fr:Raisonnement_par_récurrence dbpedia-fr:Relation_d'ordre dbpedia-fr:Pi dbpedia-fr:Denis_Guedj dbpedia-fr:Nombre_de_Liouville dbpedia-fr:Système_de_numération dbpedia-fr:Espace_topologique dbpedia-fr:Égypte_antique dbpedia-fr:Espace_séparé dbpedia-fr:Rapport_(mathématiques) dbpedia-fr:Équation_fonctionnelle_de_Cauchy dbpedia-fr:Mathématiques_indiennes dbpedia-fr:Corps_(mathématiques) dbpedia-fr:Georg_Cantor dbpedia-fr:Axiomes_des_probabilités dbpedia-fr:Nicolaus_Mercator dbpedia-fr:Racine_d'un_polynôme dbpedia-fr:Racine_d'un_nombre dbpedia-fr:Corps_algébriquement_clos dbpedia-fr:Suite_de_Cauchy dbpedia-fr:Définition_par_récurrence dbpedia-fr:Axiome_du_choix dbpedia-fr:Racine_carrée_de_deux dbpedia-fr:Suite_d'entiers dbpedia-fr:Mathématiques_mésopotamiennes dbpedia-fr:Équipotence n39:Carl_Friedrich_Gauss.jpg dbpedia-fr:Synéchisme dbpedia-fr:Suite_(mathématiques) dbpedia-fr:Logarithme_naturel dbpedia-fr:Génie_(technique) dbpedia-fr:Dérivée dbpedia-fr:Numérateur dbpedia-fr:Théologie dbpedia-fr:Physique dbpedia-fr:Mathématiques dbpedia-fr:Simon_Stevin dbpedia-fr:E_(nombre)
dbo:wikiPageExternalLink
n13:sommaireconstructiondesr%C3%A9els.htm n63:Real_numbers_3.html n66: n91:Real_numbers_1.html n91:Real_numbers_2.html n100:cantor-et-les-infinis n119:histoire.pdf n142:histoire-nombres.htm
dbo:wikiPageLength
52909
dct:subject
category-fr:Analyse_réelle category-fr:Nombre category-fr:Nombre_hypercomplexe category-fr:Type_de_nombres
prop-fr:wikiPageUsesTemplate
n6:Palette n6:N° n6:Latin n6:Bourbaki-Topologie n6:Lien n6:Nombres_irrationnels n6:ISBN n6:Ind n6:Incise n6:2 n6:Ve_siècle_av._J.-C. n6:Contenu_à_préciser n6:Boîte_déroulante n6:XXe_siècle n6:Surligner n6:Images n6:-s n6:-s- n6:Voir_homonymes n6:XIXe_siècle n6:Démonstration n6:Unité n6:Refnec n6:S- n6:Portail n6:Sources_à_lier n6:XVIIIe_siècle n6:Exp n6:Ve_siècle n6:En n6:Confusion n6:Autres_projets n6:Article_détaillé n6:Citation n6:Math n6:Ancre n6:Dhombres_et_al n6:= n6:Sfrac n6:XVIIe_siècle n6:S2- n6:Pdf
prov:wasDerivedFrom
wikipedia-fr:Nombre_réel?oldid=190697775&ns=0
foaf:depiction
n18:Carré_pour_nombre_réél.svg n18:Carl_Friedrich_Gauss.jpg n18:Augustin_Louis_Cauchy.jpg n18:Dedekind.jpeg n18:Real_number_line.svg n18:Hilbert.jpg n18:Gottfried_Wilhelm_von_Leibniz.jpg n18:Droitereel.png n18:Euklid2.jpg n18:Contre_exemple_Rolle_(1).svg n18:GodfreyKneller-IsaacNewton-1689.jpg
prop-fr:contenu
Montrons que l'intervalle [0, 1] n'est pas dénombrable, en montrant qu'une suite dans [0, 1] n'est jamais surjective. Il suffit de trouver un point dans [0, 1] qui n'est pas dans l'ensemble image de la suite. Pour cela, définissons par récurrence deux suites , telles que : :: Initialisons nos deux suites en posant : :: Il est évident que la propriété est vraie si n est égal à 0. Définissons alors nos suites pour le rang n + 1. :: :: L'intervalle étant inclus dans l'intervalle , il ne peut contenir d'élément de la suite d'ordre strictement inférieur à n, par hypothèse de récurrence. Par construction, il ne peut pas non plus contenir et la propriété est vérifiée. Les deux suites étant adjacentes , leur limite commune appartient, pour tout n, à l'intervalle , donc est différente des n premières valeurs de la suite . Comme n est quelconque, la proposition est démontrée. * Soit un nombre réel. Un voisinage de est un ensemble contenant un intervalle ouvert contenant . Démonstration dans l'article Voisinage. * ℝ est un espace séparé. * ℚ est dense dans ℝ. Démonstration dans l'article Ordre dense. * Les ouverts de ℝ sont les réunions quelconques d'intervalles ouverts. Démonstration dans l'article Voisinage. * Les compacts de ℝ sont les fermés bornés. Cette propriété permet une démonstration simple et rapide du théorème des bornes. En particulier les segments sont compacts. Démonstration dans l'article Théorème de Borel-Lebesgue et variante dans l'article Compacité séquentielle. * Toute suite bornée de ℝ admet une sous-suite convergente. Démonstration dans l'article Théorème de Bolzano-Weierstrass * ℝ est connexe et simplement connexe. Démonstration dans les articles Connexité et Connexité simple. * Les connexes de ℝ sont les intervalles. Cette propriété permet une démonstration simple et rapide du théorème des valeurs intermédiaires. Démonstration dans l'article Connexité. * Théorème des compacts emboités. L'intersection de toute suite décroissante de compacts non vides est non vide. Démonstration dans l'article Compacité (mathématiques) et variante dans l'article Compacité séquentielle. L'analyse suppose qu'une fonction réelle de la variable réelle est essentiellement connue par son comportement infinitésimal. Par exemple, si l'accélération d'une planète est connue à chaque instant et que sa position et sa vitesse initiales sont connues, alors il est possible d'en déduire la trajectoire exacte. Une chaîne de théorèmes, celle du théorème des accroissements finis qui se prouve par le théorème de Rolle qui se prouve par le théorème des bornes devient fausse sur les fractions rationnelles. Si on représente ce théorème en termes imagés, on peut décrire ces théorèmes de la manière suivante : pour le théorème des accroissements finis, si une voiture parcourt en alors cette voiture se déplace au moins une fois à ; pour le théorème de Rolle , si une voiture part et arrive du même endroit sans jamais changer de route alors elle a fait au moins une fois demi-tour . Ce sont ces théorèmes qui intuitivement sont si évidents, que l'on se demande même comment il est possible de les démontrer. Newton a poussé tellement loin les conséquences de ces évidences, que seules quelques rares personnes pouvaient à son époque véritablement comprendre son ouvrage majeur . Les preuves se fondaient toujours sur une intuition. Explicitons alors pourquoi la démonstration du théorème des bornes impose une compréhension profonde de la nature topologique des nombres réels. Pour cela considérons la fonction f sur les rationnels de l'intervalle dans ℚ, où ℚ désigne l'ensemble des nombres rationnels, définie par : : vignette|centré|Graphe de la fonction. La fonction semble discontinue en un point dont le carré est égal à 2, mais ce point n'existe pas dans les rationnels, la fonction est donc continue partout où elle est définie. On remarque que les petits trous rompent notre notion intuitive de continuité. Une description infinitésimale ne peut donc décrire convenablement une fonction car les petits trous permettent des sauts qui ne sont pas décrits par le comportement infinitésimal. Notre notion intuitive de continuité n'a donc pas le même sens dans ℚ que dans ℝ. Plus l'abscisse se rapproche par la droite de ce point qui n'existe pas dans ℚ, plus elle augmente. Il n'existe donc aucun point qui atteint le maximum.
prop-fr:fr
Axiomes de Tarski pour les réels Klaus Mainzer
prop-fr:langue
de en
prop-fr:texte
Mainzer
prop-fr:titre
Propriétés Pourquoi ℝ est indispensable pour l'analyse
prop-fr:trad
Tarski's axiomatization of the reals
prop-fr:wiktionary
nombre réel
prop-fr:align
left
prop-fr:wikiversity
Ensemble des nombres réels et sous-ensembles
prop-fr:wikiversityTitre
Ensemble des nombres réels et sous-ensembles
dbo:thumbnail
n18:Real_number_line.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Nombre_réel
dbo:abstract
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e. La notion de nombre réel émerge progressivement de la manipulation des rapports de grandeurs géométriques autres que les rapports d'entiers naturels depuis leur prise en compte par Eudoxe de Cnide au IVe siècle av. J.-C. Elle s'insère aussi dans l'approximation des solutions de problèmes algébriques et donne même lieu, au milieu du XIXe siècle, à la mise en évidence de nombres transcendants. Mais la définition des nombres réels n'est formalisée que quelques décennies plus tard avec les constructions de Dedekind d'une part et de Cantor et Méray d'autre part. L'ensemble des nombres réels, noté ℝ, est alors un corps totalement ordonné, c'est-à-dire qu'il est muni des quatre opérations arithmétiques satisfaisant les mêmes règles que celles sur les fractions et ces opérations sont compatibles avec la relation d'ordre. Mais il satisfait en plus la propriété de la borne supérieure qui fonde l'analyse réelle. Enfin, cet ensemble est caractérisé par Hilbert comme plus grand corps archimédien. Dans la droite réelle achevée les valeurs infinies ne satisfont plus les règles opératoires de corps, l'extension au corps des nombres complexes rend impossible la relation d'ordre total compatible, tandis que l'analyse non standard adjoint des nombres infiniment petits qui invalident le caractère archimédien. L'adjectif « réel » est utilisé pour qualifier des nombres dès le XVIIe siècle, mais il n'est explicitement défini par opposition aux nombres imaginaires qu'à la fin du XIXe siècle Il a aussi été opposé à « nombre formel » dans certains traités de théologie ou de philosophie de la même époque.
dbo:isPartOf
wikidata:Q26851380