Infini 60981 31573822 2008-07-14T16:48:01Z TXiKiBoT 195090 robot Ajoute: [[bs:Beskonačnost]] [[Image:Infinite.svg|thumb|right|Le [[#Les notations|symbole infini]] ]] L''''infini''' (du latin ''finitus'', « limité », noté habituellement [[∞]]) est un [[concept]] qui s'attache à quelque chose qui n'a pas de limite en nombre ou en taille. == En mathématiques == L'infini joue un rôle important en mathématiques et il n'est pas étonnant de le rencontrer dans plusieurs de ses branches. === En théorie des ensembles=== Un ensemble E est infini si, et seulement si, il n'est équipotent à aucun intervalle borné de <math>\mathbb {N}</math>, ou de façon équivalente, s'il existe au moins une famille non vide de sous-ensembles de E qui n'a pas d'élément minimal pour l'inclusion. <ref>Alfred Tarski ''Sur les ensembles finis'' 1924 Fund. Math. t.6 p.45, p.95</ref>{{,}}<ref>Patrick Suppes ''Axiomatic set theory'' Van Nostrand 265 p.</ref>{{,}}<ref>Roland Fraïssé ''Logique mathématique'', t.1 Gauthier-Villars Paris 1971, p. 12-13-14</ref> {{Voir|Ensemble fini|Ensemble infini}} Si l'on admet l'axiome du choix, et seulement à cette condition,<ref>Jean-Louis Krivine, ''Théorie axiomatique des ensembles'', P.U.F. Paris 1972 p. 38</ref> tout ensemble E est en correspondance biunivoque avec un ordinal ; le plus petit ordinal auquel E est équipotent est alors par définition le [[Nombre cardinal|cardinal]] de E. La notion de [[nombre cardinal]], qui modélise la « taille » des ensembles, s'applique aussi bien aux ensembles finis qu'aux ensembles infinis. Le cardinal (on parle aussi de puissance) des ensembles infinis dénombrables est noté <math>\aleph_0</math> (« [[aleph-zéro]] »). ==== Ensembles infinis dénombrables ==== Un ensemble infini est dit dénombrable si, et seulement si, il existe une bijection entre lui et <math>\mathbb{N}</math>. Intuitivement, un ensemble infini est dénombrable si, et seulement si, on peut « énumérer » ses éléments: le « premier » élément, le « deuxième » élément, le « troisième » élément, et ainsi de suite sans s'arrêter. Par exemple, nous pouvons montrer que <math>\mathbb{Q}^+</math> est dénombrable. Classons pour cela les fractions irréductibles de numérateur et dénominateur tous deux positifs de la manière suivante : * pour toute fraction p/q, on calcule la somme p+q ; * on classe les fractions par ordre croissant de cette somme p+q ; * pour les fractions ayant la même somme p+q (comme 1/4 et 2/3), on les classe par ordre croissant de p ; * ainsi on peut attribuer à chaque fraction un entier unique correspondant à son numéro d'apparition dans la liste ainsi construite, le début de cette liste serait : ::1 → 0 ::2 → 1/1 ::3 → 1/2 ::4 → 2/1 ::5 → 1/3 ::... Nous avons bien mis <math>\mathbb{Q}^+</math> en bijection avec <math>\mathbb{N}</math>. Le cardinal d'un ensemble fini est un nombre entier naturel. En revanche, le [[Nombre cardinal|cardinal]] d'un ensemble infini dénombrable est dit « transfini ». Dans l'exemple ci-dessus l'énumération des rationnels positifs est « effective » : le procédé d'énumération est un procédé calculatoire, un algorithme (décrit informellement). Mais on peut très bien avoir montré qu'un ensemble est infini dénombrable, par exemple en montrant qu'il est sous-ensemble des entiers et ne peut être fini<ref>Par exemple l'ensemble des entiers qui codent une machine de Turing ne s'arrêtant pas sur son propre code, est évidemment dénombrable, mais ne peut être énuméré effectivement voir [[problème de l'arrêt]].</ref>, sans être capable de donner un procédé effectif d'énumération. Cette dernière notion est étudiée dans l'article [[ensemble récursivement énumérable]]. ==== Ensembles infinis non dénombrables ==== Un ensemble infini non dénombrable ne peut pas être mis en bijection avec <math>\mathbb{N}</math>. On ne peut pas établir une liste de ses éléments. Par exemple, l'ensemble des réels compris entre 0 et 1 est non dénombrable : la démonstration s'appuie sur l'[[argument de la diagonale de Cantor]]. On dit que <math>\mathbb{R}</math> a la puissance du continu, sa puissance (ou son cardinal) est <math>2^{\aleph_0}</math> (le cardinal de l'[[ensemble des parties]] de <math>\mathbb{\N}</math>). L'argument diagonal de Cantor montre du même coup que <math>\aleph_1</math>, le plus petit cardinal non dénombrable, est inférieur ou égal à <math>2^{\aleph_0}</math> (dans [[ZFC]]). L'égalité de ces deux cardinaux, que l'on appelle l'[[hypothèse du continu]], est indépendante des axiomes de la théorie des ensembles [[ZFC]]. {{Article détaillé|Nombre transfini}} === En géométrie === Les peintres de la Renaissance, cherchant une représentation du réel qui soit fidèle à notre perception, abordèrent (sans le savoir) la question de l'infini lorsqu'ils développèrent les méthodes de représentation [[perspective]]. Des lignes horizontales parallèles « se coupent à l'infini » dans l'espace et en un point sur le tableau; d'une part ce point du tableau ainsi que la ligne d'horizon du tableau correspondent à une certaine réalité en deux dimensions (2D). D'autre part à la Renaissance pas plus qu'aujourd'hui nul ne peut affirmer ou infirmer que les points à l'infini de l'espace à trois dimensions (3D) correspondent à la vérité de l'univers, d'où un certain malaise. Cette problèmatique ne recouvre pas exactement la nuance entre infinis potentiel et actuel, mais a donné lieu à la [[géométrie projective]]. La [[géométrie projective]] consiste à rajouter à l'[[espace affine]] usuel des points dits « à l'infini » dans chaque direction. Le but est de ne plus faire de distinction entre droites sécantes et droites parallèles, ces dernières ayant un point commun à l'infini. C'est un outil de simplification remarquable. À titre d'exemple, en géométrie projective, il n'existe qu'un seul type de coniques au lieu de trois. === En topologie === L'ajout d'un élément ∞ à un [[espace topologique]] [[localement compact]] permet de rendre cet espace [[espace compact|compact]]. Il s'agit de la [[compactifié d'Alexandrov|compactification d'Alexandroff]]. Soit <math>( E, U )</math> un espace topologique localement compact, son compactifié est l'espace <math>( E\cup\{\infty\}, U' )</math>, où <math>\infin</math> est un élément extérieur à E, et U' est obtenu de U en lui ajoutant tous les complémentaires dans <math>E\cup\{\infty\}</math> des compacts de <math>( E, U )</math>. On peut alors définir les « voisinages de l'infini » : il s'agit de toute partie contenant un ouvert de U' \ U. === Dans le corps des nombres réels === Les nombres réels forment un corps commutatif totalement ordonné <math>\mathbb{R}</math>, archimédien et tel que toute partie majorée admette une borne supérieure ; il est unique, à isomorphismes près, à vérifier toutes ces propriétés à la fois ; c'est le sur-corps minimal de <math>\mathbb{Q}</math> à vérifier le [[critère de Cauchy]] ; il est [[ensemble infini non dénombrable|indénombrable]]. On peut compléter le corps des nombres réels, en sacrifiant sa propriété de corps, usuellement de deux manières possibles&nbsp;: * soit en le complétant du point de vue algébrique par l'ajout d'un élément {{formule|∞}}, qui devient formellement un inverse de {{formule|0}}. C'est un point fixe de l'addition et du produit en ce sens que {{formule|§=(∀&thinsp;''x''∈&thinsp;ℝ)&nbsp;&nbsp;x&thinsp;≠&thinsp;0&thinsp;⇒}}&nbsp; {{formule|§=∞&thinsp;+&thinsp;''x''&thinsp;=&thinsp;∞&nbsp;∧}} {{formule|§=∞&thinsp;×&thinsp;''x''&thinsp;=&thinsp;∞}}. Par contre, le produit {{formule|∞&thinsp;×&thinsp;0}} n'est pas défini. :On obtient ainsi '''l'[[espace projectif]] à 1 dimension'''. Dans cette complétion, le corps des réels perd son caractère ordonné, puisque l'on peut considérer {{formule|∞}} aussi bien comme supérieur à tous les réels finis, que comme inférieur à tous. On peut lui assigner la topologie de compactification d'Alexandroff des réels, par la méthode précédente, ce qui lui confère la même structure topologique que la circonférence. * par l'ajout de deux éléments {{formule|∞}} et {{formule|-∞}}. On considère que {{formule|∞}} est plus grand que tous les autres nombres réels, y compris {{formule|-∞}} et que {{formule|-∞}} est plus petit que les autres éléments y compris {{formule|∞}}. L'ensemble ainsi obtenu est totalement ordonné, mais perd sa structure de corps, ainsi que ses propriétés algébriques. Du point de vue topologique, on peut le compactifier, tout en respectant sa structure d'ordre. Cela lui confère la même topologie qu'un intervalle fermé, par exemple [-1,1]. == En physique == Le concept d'infini semble extérieur à la physique. En effet force est de constater que cet infini ne joue aucun rôle pour les physiciens dans la mise en œuvre de leur méthodologie . Au contraire, le fait que ce concept fasse intrusion dans une théorie est le signe que celle-ci est incomplète, comme le montre la crise majeure que la physique a subie au début du {{XXe siècle}}<ref>Voir {{en}} [[C. W. Misner]], [[Kip Thorne]] & [[John Wheeler]] : ''Gravitation'', Freeman & Co. (San Francisco-1973), chapitre 44.</ref>. À cette époque la physique se trouvait dans l'incapacité d'expliquer la stabilité de la matière dans le cadre de la théorie [[électrostatique]]. En effet étant constitué d'un noyau de charge positive entouré d'électrons de charge négative un atome aurait dû s'effondrer sur lui-même sous l'effet de la [[Loi de Coulomb (électrostatique)#Force de Coulomb|force de Coulomb]], cette force tendant vers l’''infini'' lorsque les charges électriques se rapprochent. La physique surmonta cette difficulté en ayant recours à une théorie atomique nouvelle, la [[physique quantique]], dans laquelle l'atome possède un état de stabilité d'énergie finie, toute divergence étant alors éliminée. De nos jours le concept du [[Big Bang]] conduit, dans son interprétation naïve, à l'apparition d'infinis (on parle aussi de ''[[singularité gravitationnelle|singularités]]'') à l'origine des temps, apportant ainsi la preuve que nos connaissances physiques actuelles ne sont pas capables de décrire cette époque lointaine de l'histoire de l'Univers. Enfin dans plusieurs branches de la physique, comme la [[mécanique quantique]] ou la [[physique statistique]], les chercheurs tentent d'éliminer les divergences indésirables de la théorie à l'aide de techniques dites de [[renormalisation]]. == En théologie == Les religions [[monothéiste]]s induisent généralement la notion d'infini (ou plus précisément les notions d'[[éternité]] et de [[transcendance]]),même si elle est moins formalisée que la notion mathématique correspondante. Une des premières manifestations de cette notion remonte à l'Égypte ancienne, au temps d'[[Akhénaton]], autour du culte du dieu [[Aton]]<ref> (1939) [[Sigmund Freud]] ''Der Mann Moses und die monotheistische Religion'', Ed. Suhrkamp Verlag, Frankfurt am Main - 1964<br/> Traduit de l’Allemand Par Anne Berman sous le titre ''Moïse et le monothéisme'' et [http://classiques.uqac.ca/classiques/freud_sigmund/moise_et_le_monotheisme/moise_et_monotheisme.html consultable en ligne] sur la bibliothèque numérique [http://classiques.uqac.ca/ Les Classiques des sciences sociales] de l'[[Université du Québec à Chicoutimi]].</ref>. == Histoire == ===Usage et opérabilité du concept=== ====L'infini potentiel chez les anciens==== Les mathématiciens ont de tout temps utilisé l'appartenance et l'inclusion mais ont eu les plus grandes difficultés à associer à ces concepts ceux de nombre et de grandeur. Ils se contentaient alors de la possibilité d'augmenter toute grandeur donnée, ou de la diminuer s'il s'agit d'une grandeur continue <ref>[[Nicolas Bourbaki|Bourbaki]], ''Eléments de mathématiques'', Diffusion CCLS 1977, EIV pp.57-58</ref>. C'est ainsi qu'Euclide, au lieu de dire "l'ensemble des nombres premiers est infini", dit "pour toute quantité donnée de nombres premiers, il y en a un plus grand". De même, Aristote se refuse à considérer qu'une ligne droite est "composée de points". [[Galileo Galilei|Galilée]] remarque qu'il y a une correspondance biunivoque entre les nombres et leurs carrés, d'où il déduit que l'assertion commune "le tout est plus grand que la partie" ne se vérifie pas lorsqu'on parle de quantités infinies <ref>[[Galileo Galilei]] ''Opere'', Ristampa della Edizione Nazionale, Barbara Firenze 129-39, t. 8 pp.78-80</ref>. Cependant, loin d'y trouver une motivation pour l'étude des ensembles infinis, il y voit la preuve du caractère non opérationnel de l'infini, position approuvée plus de deux siècles plus tard par [[Augustin Louis Cauchy|Cauchy]]. <ref>[[Nicolas Bourbaki|Bourbaki]], ''Eléments de mathématiques'', Diffusion CCLS 1977, EIV p.58</ref> Ainsi donc, jusqu'assez avant dans l'époque moderne, les mathématiciens s'interdisaient d' utiliser directement les ensembles infinis et préféraient raisonner "en compréhension" sur les propriétés de leurs éléments. Ceci n'empêcha pas la naissance du calcul infinitésimal, donc, ainsi que le reconnaît Bourbaki, <ref>[[Nicolas Bourbaki|Bourbaki]], ''Eléments de mathématiques'', Diffusion CCLS 1977, EIV p.58</ref> cette position avait permis des développements importants tout en posant des garde-fous.<ref>''Ibid.'' Bourbaki y voit néanmoins "une certaine dose d'hypocrisie".</ref> ====L'infini potentiel chez les constructivistes modernes==== Issu de la "crise des fondements" du début du {{s-|XX|e}}, le courant [[Intuitionnisme|intuitionniste]] promu par [[Luitzen Egbertus Jan Brouwer|Brouwer]], rejette les méthodes de la logique classique, censée ne pas s'appliquer en tout cas aux objets infinis.<ref>Brouwer semble cependant ne pas rejeter l'infini actuel. Dans sa ''Dissertation'' de 1907, p. 97, il écrit : ''Quant à l’infini actuel des cantoriens, il existe bien, pourvu que nous le confinions à ce qui peut être intuitivement construit, et que nous nous abstenions de l’étendre par des combinaisons logiques qui ne peuvent pas être réalisées'' - Cité par Michel Bourdeau ''La critique de la théorie des ensembles dans la dissertation de Brouwer'' Math. & Sci. hum. / Mathematics and Social Sciences (41e année, n° 164, 2003, p. 29-43) [http://www.ehess.fr/revue-msh/pdf/N164R892.pdf texte en ligne] </ref> Aujourd'hui ce terme d'intuitionniste s'applique à une [[Logique intuitionniste|axiomatisation bien précise]] de la logique sans tiers exclu. Une forme de philosophie mathématique qui se revendique volontiers de celle de Brouwer est celle du courant ''constructiviste'', dont un représentant notoire, [[Roger Apéry]] a ainsi exposé la conception de l'infini : ::''S'il extrapole la réalité, le mathématicien constructif refuse les hypothèses fantastiques des platoniciens ; en effet (......) il constate que la mathématique se déroule dans le temps. (.......) son immortalité lui permet d'atteindre des nombres aussi grands qu'il veut, mais pas de définir tous les nombres ; il croit à l'infini potentiel, pas à l'infini actuel.''<ref>Ouvrage collectif "Penser les mathématiques", séminaire de l'ENS, Editions du Seuil 1982 p.63 ISBN 2 02 006061 2 [http://peccatte.karefil.com/PhiMathsTextes/MathsConstructives.html exposé en ligne]</ref> C'est l'incursion du temps qui en effet pour les [[Constructivisme (mathématiques)|constructivistes]] distingue l'infini potentiel, dont les parties sont construites successivement, de l'infini actuel, dont les parties sont données simultanément ; or pour eux il s'agit bien d'une activité humaine ; "il n'y a pas de mathématiques sans mathématicien" dit Apéry. ====L'infini actuel et le temps==== Au Moyen Âge, [[Bonaventure de Bagnorea|saint Bonaventure]] avait affirmé que d'un pur point de vue logique — indépendamment de ce que disait la Bible — il était impossible que le monde aie toujours existé ; [[Thomas d'Aquin]] réfuta cette assertion par un raisonnement formel, rien en l'absence d'information ne permettant d'exclure à priori une éternité actuellement achevée<ref> [http://www.siue.edu/~evailat/ml2.html Texte en ligne d' Ezio Vailati, South Illinois University - voir ''Aquinas'' en fin de page]</ref>. Un sophisme célèbre, imaginé par le créationniste états-unien W.L. Craig d'après une parabole de [[Bertrand Russell]] dont le but était autre, prétend démontrer l'impossibilité d'une durée infinie achevée, et donc prouver que le monde a eu un commencement, par l'histoire de Tristram Shandy, lequel écrit son autobiographie au rythme d'un an d'écriture par journée vécue, et a fait cela toutes les années du passé. Si donc le temps n'a jamais commencé, quel jour de sa vie Tristram Shandy est-il en train de commenter cette année ? Aucun jour du passé ne conviendrait, donc il est impossible que le temps n'aie pas une origine. <ref>Robin Small The British Journal for the Philosophy of Science, Vol. 37, No. 2 (Jun., 1986), pp. 213-216 [http://links.jstor.org/sici?sici=0007-0882%28198606%2937%3A2%3C213%3ATSLP%3E2.0.CO%3B2-0&size=LARGE&origin=JSTOR-enlargePage résumé de la critique]</ref> La supercherie est évidente pour qui connaît les coordonnées cartésiennes : le scénario comporte une contradiction ; Tristram Shandy qui écrit 365,25 fois moins vite que l'horloge a nécessairement commencé son autobiographie quelque jour, ce qui en aucune manière ne prouve la nécessité logique d'un début du temps. ===Les très grands nombres=== Dans l' expression populaire, l'adjectif "infinies" est parfois employé pour qualifier de très vastes étendues ou de très grandes quantités. Remarquons que même finis, les très grands nombres peuvent être difficiles à concevoir. Ainsi les [[Théorème de Goodstein|suites de Goodstein]] sont des suites définies très simplement qui donnent lieu à des nombres qui dépassent l'entendement, bien qu'ils soient encore considérablement plus petits que ceux engendrés par le [[castor affairé]]. === Les notations === Le [[symbole]] actuel de l'infini a été employé pour la première fois en [[1655]] par [[John Wallis]], dans son ouvrage: ''De sectionibus conicis'' puis peu après dans l'''Arithmetica Infinitorum'' : :''esto enim ∞ nota numeri infiniti''.<ref>{{en}} [http://members.aol.com/jeff570/calculus.html Earliest uses of symbols of calculus]</ref> Deux [[hypothèse]]s existent quant à l'origine de ce choix. La plus communément admise est qu'il s'agit d'une évolution du chiffre désignant '1000' dans la [[numération romaine]] : successivement Ⓧ, puis CIƆ, avant de devenir M. L'évolution graphique du deuxième symbole aurait donné <math>\infin</math>. Parallèlement on note l'emploi du mot latin ''mille'' au pluriel pour désigner un nombre arbitrairement grand et inconnu{{référence nécessaire}}. On notera l’[[expression française]] encore utilisée aujourd’hui « des milles et des cents » rappelant cet usage. Le symbole actuel serait donc simplement l’évolution de la ligature minuscule cıɔ en écriture manuscrite onciale. Une hypothèse concurrente est que le symbole serait issu de la lettre grecque [[ω]], dernière lettre de l'[[alphabet grec]], et métaphore courante pour désigner l'extrémité finale (comme dans l'expression ''l'alpha et l'oméga''). Depuis [[Georg Cantor]] on utilise d'ailleurs des lettres grecques pour désigner les [[ordinal| nombres ordinaux]] infinis. Le plus petit [[ordinal]] infini, qui correspond au bon ordre usuel sur les [[entier naturel|entiers naturels]], est noté ω. [[Georges Ifrah]], dans son encyclopédie "L'histoire universelle des chiffres", explique que la graphie de l'infini remonte à la civilisation indienne, et plus particulièrement à la mythologie indienne. L'[[Ananta]], (terme sanskrit qui signifie infini) le "serpent infini" du dieu [[Vishnu]], est représenté enroulé sur lui-même à la manière d'un "huit renversé". == Notes et références == <references /> == Voir aussi == {{Nombre}} === Articles connexes === {{autres projets |wikt=infini |q=Infini }} *[[Nombre cardinal]] *[[Nombre ordinal]] *[[Nombre transfini]] *[[Hôtel infini]] *[[L'Infini]] est une revue littéraire crée par [[Philippe Sollers]]. === Liens externes === * [http://perso.wanadoo.fr/matt95/infini/ Infini en mathématiques] {{Portail|mathématiques|logique}} [[Catégorie:Infini|*]] [[Catégorie:logique]] <!--interwiki--> {{Lien AdQ|la}} [[an:Infinito]] [[ar:لانهاية]] [[bg:Безкрайност]] [[bn:অসীম]] [[bs:Beskonačnost]] [[ca:Infinit]] [[cs:Nekonečno]] [[cy:Anfeidredd]] [[da:Uendelig]] [[de:Unendlichkeit]] [[el:Άπειρο]] [[en:Infinity]] [[eo:Senfineco]] [[es:Infinito]] [[et:Lõpmatus]] [[eu:Infinitu]] [[fi:Äärettömyys]] [[gl:Infinito]] [[he:אינסוף]] [[hr:Beskonačnost]] [[hu:Végtelen]] [[id:Tak hingga]] [[is:Óendanleiki]] [[it:Infinito (matematica)]] [[ja:無限]] [[jbo:ci'i]] [[ko:무한]] [[la:Infinitas]] [[lt:Begalybė]] [[lv:Bezgalība]] [[mr:अनंत]] [[nl:Oneindigheid]] [[nn:Uendeleg]] [[no:Uendelig]] [[pl:Nieskończoność]] [[pt:Infinito]] [[ro:Infinit]] [[ru:Бесконечность]] [[simple:Infinity]] [[sk:Nekonečno]] [[sl:Neskončnost]] [[sq:Pafundësia]] [[sr:Бесконачност]] [[sv:Oändlighet]] [[ta:முடிவிலி]] [[th:อนันต์]] [[uk:Нескінченність]] [[uz:Cheksizlik]] [[vi:Vô tận]] [[zh:无穷]] [[zh-min-nan:Bû-hān]] [[zh-yue:無限大]]