From Wikipedia, the free encyclopedia
Lo mot « infinit » (del latin finitus, « limitat »), es un adjectiu servent a qualificar una causa qu'a pas de limit en nombre o en grandor. L'infinit es tanben un nom masculin significant :
S'encontra las grandors infinidas dins divèrsas brancas de las matematicas, jol doble aspècte de nombre segon la teoria dels nombres cardinals e de l'espaci segon la teoria de la mesura. Aqueles dos aspèctes son pas exactament los meteisses, atal un segment o un disc an una infinitat de ponts mas una mesura finida.
Un ensemble E es infinit se e solament se, es equipotent a cap d'interval bornat de N, o d'un biais equivalent, s'existís al mens una familha non voida de sosensembles de E qu'a pas d'element minimal per l'inclusion. [1][2][3]
Un ensemble infinit se ditz denombrable se e solament se, existís una bijeccion entre el meteis e N. Intuitivament, un ensemble infinit es denombrable se e solament se, se pòt « enumerar » los seus elements: lo « primièr » element, lo « segond » element, lo « tresen » element, seguent atal sans s'arrestar.
Per exemple, se pòt mostrar que l'ensemble Q dels nombres racionals es denombrable.
L'ensemble N2 = N x N dels parelhs d'entièrs naturals es el meteis denombrable, perque a tot parelh (p,q), se pòt associar lo nombre n = [(p+q)(p+q+1)/2] + p, [4] e se verificarà aisidament que la foncion atal definida es injectiva.
Dins l'exemple çai sus, l'enumeracion dels parelhs es « efectiva » : lo procèssus per enumerar es un procèssus calculatòri, un algoritme. Mas se pòt fòrça plan aver mostrat qu'un ensemble es infinit denombrable, per exemple en mostrant qu'es un sosensemble dels entièrs e pòt pas èsser finit, sens èsser capable de donar un procèssus efectiu d'enumeracion. Vejatz ensemble recursivament enumerable.
Se s'admet l'axiòma de la causida, e solament dins aquela condicion, [5] tot ensemble E es en correspondéncia biunivòca amb un ordinal; lo pus pichon ordinal per que E es equipotent es alara par definicion lo cardinal de E.
Lo cardinal d'un ensemble finit es un nombre entièr natural.
Lo cardinal d'un ensemble infinit se ditz « transfinit ». Lo cardinal (se ditz tanben « poténcia ») dels ensembles infinits denombrables es notat (« aleph-zèro »).
Un ensemble infinit non denombrable se pòt pas metre en bijeccion amb N. Se pòt pas establir una lista de sos elements.
Per l'ensemble dels nombres reals es çò meteis. Los nombres reals forman un còrs commutatiu totalament ordenat R, arquimedian e tal que tota partida majorada admet una bòrna superiora ; R es l'unic còrs, alevat d'isomorfisme, per satisfar aquelas proprietats ; es lo sus-còrs minimal de Q per satisfar lo critèri de Cauchy.
L'ensemble dels reals compreses entre 0 e 1 es ja non denombrable : la demostracion se fa amb l'argument de la diagonala de Cantor.
Se ditz que R a la poténcia del continú, sa poténcia (o son cardinal) es , lo cardinal de l'ensemble de las partidas de N. L'argument diagonal de Cantor mòstra al meteis temps que , lo pus pichon cardinal non denombrable, es inferior o egal a (dins ZFC). L'egalitat d'aqueles dos cardinals, que se nomena l'ipotèsi del continú, es independenta dels axiòmas de la teoria dels ensembles ZFC.
Los pintres de la Renaissença, cercant una representacion del real que siá fidèla amb nòstra percepcion, desvolopèron los metòdes de representacion perspectiva. De linhas orizontalas parallèlas « se còpan a l'infinit » dins l'espaci e a un punt sul quadre; aquel punt del quadre atal que la linha d'orizont del quadre correspondon a la realitat particulara en doas dimensions (2D).
La geometria projectiva consistís a apondre a l'espaci afin usual de punts dits « a l'infinit » dins cada direccion. La tòca es de pas mai far de distincion entre drechas secantas e drechas parallèlas, aquelas darrièras avent un punt comun a l'infinit. Es un esplech de simplificacion remarcable. Per exemple, en geometria projectiva, existís pas mai qu'un sol tipe de conicas en plaça de tres.
Un uèlh normal (emmetròp) o corregit deu veire net un imatge a l'infinit (Punctum remotum).
L'apondi d'un element ∞ dins un espaci topologic localament compacte permet de rendre aquel espaci compacte. S'agís de la compactificacion d'Alexandroff.
Siá un espaci topologic localament compacte, son compactificat es l'espaci , ont es un element exterior a E, e U' es obtengut de U en li apondent totes los complementaris dins dels compactes de .
Se pòt alara definir los « vesinatges de l'infinit » : s'agís de tota partida contenent un dubèrt de U'\ U.
Al començament del sègle XX, la fisica se trobèt dins l'impossibilitat d'explicar divèrses fenomèns [6], que lo fach qu'un còrs negre a l'equilibre termodinamic es supausat rainar un flux infinit. Aquel problèma foguèt resolgut per l'introduccion dels quanta per Planck, aquò forma la basa de la fisica quantica.
Dins lo quadre de la relativitat generala, lo Big Bang condusís, dins son interpretacion ninòia, cap a l'aparicion de valors infinidas (se parla quitament de singularitats) a l'origina dels temps, aportant atal la pròva que nòstras coneissenças fisicas actualas son pas capablas de descriure aquela epòca alunhada de l'istòria de l'Univèrs.
Dins de brancas de la fisica, coma la teoria quantica dels camps o la fisica estatistica, los cercaires poguèron eliminar las divergéncias indesiradas de la teoria amb de tecnicas matematicas de renormalizacion. Aquelas tecnicas se son pas poscudas fins ara aplicadar a la teoria de la gravitacion.
Es la primièra de las quatre antinomias de Kant exprimida dins la Critica de la rason pura :
En Índia, dempuèi l'antiquitat, la religion jaïnista considerava lo monde coma infinit.
Las religions monoteïstas an generalament una nocion d'infinitat (o per precisar las nocions d'eternitat e de transcendéncia), quita se son mens formalizadas que la nocion matematica correspondenta.
Una de las primièras manifestacions d'aquela nocion remonta a l'Egipte anciana, del temps d'Akhenaton, amb lo culte del dieu Aton[7] [8].
Dins los exemples precedents, l'idèa de transcendéncia es associada a una nocion d'espaci o de temps infinit. A l'epòca modèrna Cantor associèt tanben l'infinit l'infinitat numerica, considerant que sos trabalh suls nombres cardinals e ordinals avián d'implicacions teologicas.[9]
Los matematicians totjorn utilizèron l'apartenéncia e l'inclusion mas aguèron las pus grandas dificultats a formular amb aquelas relacions de teorèmas suls nombres e sus las grandors. Atal Euclides, en plaça de dire que l'ensemble dels nombres primièrs es infinit, diguèt «per tota quantitat donada de nombres primièrs, existís un mai grand». Atal, Aristòtel refusa de considerar qu'una linha drecha es compausada de punts.
Galileo Galilei remarca qu'existís una correspondéncia biunivòca entre los nombres e lors carrats, d'aquò dedutz que l'afirmacion comuna «lo tot es pus grand que la partida» se verifica pas quand se tracta de quantitats infinidas [10]. Pasmens, i pas cap de motivacion per l'estudi dels ensembles infinits, i vei la pròva del caractèr non operacional de tals ensembles, posicion aprovada mai de dos sègles aprèp per Cauchy. [11] Atal doncas, quasiment fins a l'epòca modèrna, los matematicians an pas volgut utilizar dirèctament los ensembles infinits e an preferit rasonar « en compreneson » sus las proprietats de lors elements. Se contentavan alara de la possibilitat d'aumentar tota grandor donada, o de la demenir se s'agís d'una grandor continua [12].
Aquò empacha pas la naissença de calcul infinitesimal, atal la frasa «per tot ε > 0 existís n0 tal que n ≥ n0 implica», doncas, atal que o reconeis Bourbaki, [13] aquela posicion aviá permés de desvolopaments importants tot en pausant de parabandas.
Eissit de la « crisi dels fondaments » del començament del sègle XX, lo corrent intuicionista promogut per Brouwer, refusa los metòdes de la logica classica, supausada de s'aplicar pas en tot cas als objèctes infinits.[14] Uèi ara aquel tèrme d'intuicionista s'aplica a una axiomatizacion ben precisa de la logica sens tèrç exclús. Una fòrma de filosofia matematica que se revendica volontièrs d'aquela de Brouwer es la del corrent constructivista, qu'un representant conegut, Roger Apéry expausèt atal la concepcion de l'infinit:
Se vei segon aquel tèxte que pels constructivistas, contrariament al punt de vista majoritari que considèra d'ensembles que lors partidas son donadas simultaneament, las matematicas an per objècte un procèssus, que sas estapas se construisson sequencialament; perque per eles s'agís ben d'una activitat umana; «existís pas de matematicas sens matematician» diguèt Apéry.
A l'Edat Mejana, sant Bonaventura afirmèt que d'un pur punt de vista logic — independentament de çò que diguèt la Bíblia — èra impossible que lo monde aguèsse totjorn existit; Tomàs d'Aquin refuta aquela afirmacion per un rasonament formal, res en l'abséncia d'informacion permetent pas d'exclure a priori una eternitat actualament acabada[16].
Un sofisme celèbre, imaginat pel creacionista american W.L. Craig segon una parabòla de Bertrand Russell que sa tòca èra autra, pretend de demostrar l'impossibilitat d'una durada infinida acabada, e doncas provat atal que lo monde aguèt un començament, per l'istòria de Tristram Shandy, qu'escriguèt son autobiografia al ritme d'un an d'escritura per jornada viscuda, e faguèt aquò totas las annadas del passat. Se doncas lo temps jamai comencèt, quin jorn de sa vida Tristram Shandy es a comentar aquela annada? Cap de jorn del passat convendriá pas, doncas es pas possible que lo temps aja pas una origina. [17]
L'engana es evidenta per qui coneis las coordenadas cartesianas e las istòrias dels trens que se rejonhon: lo scenari compòrta una contradiccion; Tristram Shandy qu'escriu 365,25 còps mens lèu que lo relòtge comencèt necessariament son autobiografia un jorn, aquò invalida l'argument.
Dins l'expression populara, l'adjectiu « infinidas » es a vegadas emplegat per qualificar d'espandidas fòrça vastas o de quantitats fòrça grandas.
Remarquem que quitament finits, los fòrça grands nombres pòdon èsser dificils a concebre. Atal las seguidas de Goodstein son de seguidas definidas fòrça simplament que concebon de nombres que despassan l'entendement.
Qualques autors modèrnes s'inspirèron de l'istòria biblica de la Torre de Babel per comparar « lo cèl » a una tòca infinidament alunhada.[18].
Lo simbòl ∞ que se tròba sovent en analisi foguèt emplegat pel primièr còp en 1655 per John Wallis, dins son obratge De sectionibus conicis, e pauc aprèp dins l'Arithmetica Infinitorum : «esto enim ∞ nota numeri infiniti.[19]»
Tres ipotèsis existisson sus l'origina d'aquela causida. La mai comunament admesa es que s'agís d'une evolucion de la chifra designant '1000' dins la numeracion romana : successivament Ⓧ, puèis CIƆ, abans de venir M. L'evolucion grafica del segon simbòl auriá donat . Lo simbòl actual seriá doncas simplament l’evolucion de la ligadura minuscula cıɔ en escritura manuscrita onciala.
Una autra ipotèsi es que lo simbòl seriá eissit de la letra grèga ω, darrièra de l'alfabet grèc, e metafòra correnta per designer l'extremitat finala.
E darrièra, Georges Ifrah, dins son enciclopèdia « L'istòria universala de las chifras », explica que la grafia de l'infinit remonta a la civilizacion indiana, e pus precisament a la mitologia indiana. L'Ananta (tèrme sanskrit per infinit), la « sèrp infinida » del dieu Vishnu, se representa enrotlada d'esperela semblant un « uèit reversat ».
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
