Infinit

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 :
# (matematicas) Concèpte per designar çò qu'es superior a tot nombre real.
#* *L’*'infinit** es abitualament notat **∞***.
# ([[filosofia]]) Çò qu'es pas [[finit]], çò qu'a pas de [[fin]].
# (mai corrent) [[natura|Natura]], [[caractèr]] de çò que finís pas, o sembla pas de finir.

== Dins las matematicas ==
S'encontra las grandors infinidas dins divèrsas brancas de las matematicas, jol doble aspècte de ''nombre'' segon la [[Nombre cardinal|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 (matematicas)|segment]] o un [[Disc (gometria)|disc]] an una infinitat de ponts mas una mesura finida.

=== Dins la teoria dels ensembles ===

Un ensemble ''E'' es infinit se e solament se, es [[equipoténcia|equipotent]] a cap d'interval bornat de '''N''', o d'un biais equivalent, s'existís al mens una [[familha (matematicas)|familha]] non [[voide|voida]] de sosensembles de ''E'' qu'a pas d'element minimal per l'inclusion. 



==== Ensembles infinits denombrables ====

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 '''N'''<sup>2</sup> = '''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'',  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,  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 [[nombre cardinal|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 <math>\aleph_0</math> (« [[aleph-zèro]] »).

==== Ensembles infinits non denombrables ====
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 <math>2^{\aleph_0}</math>, lo cardinal de l'[[ensemble de las partidas]] de '''N'''. L'argument diagonal de Cantor mòstra al meteis temps que <math>\aleph_1</math>, lo pus pichon cardinal non denombrable, es inferior o egal a <math>2^{\aleph_0}</math> (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]].



=== En geometria ===

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.

==== En optica geometrica ====

* Un objècte situat « a l'infinit » es una font emetent de rais luminoses parallèls,
* Un imatge se forma « a l'infinit » quand los rais luminoses que lo forman son parallèls.

Un uèlh normal ([[Emmetropia|emmetròp]]) o corregit deu veire net un imatge a l'infinit ([[Punctum remotum]]).

=== En topologia ===
==== compactificacion ====
L'apondi d'un element ∞ dins un [[espaci topologic]] [[localament compacte]] permet de rendre aquel espaci [[espaci compacte|compacte]]. S'agís de la [[compactificacion d'Alexandroff]].

Siá <math>(E,U\,)</math> un espaci topologic localament compacte, son compactificat es l'espaci <math>( E\cup\{\infty\}, U'\,)</math>, ont <math>\infin</math> es un element exterior a E, e U' es obtengut de U en li apondent totes los complementaris dins <math>E\cup\{\infty\}</math> dels compactes de <math>(E,U\,)</math>. 

Se pòt alara definir los « vesinatges de l'infinit » : s'agís de tota partida contenent un dubèrt de U'\ U.

==== complecion ====


== En fisica ==

Al començament del sègle XX, la fisica se trobèt dins l'impossibilitat d'explicar divèrses fenomèns , 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 ''[[singularitat gravitacionala|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.

== En filosofia ==
Es la primièra de las quatre antinomias de [[Immanuel Kant|Kant]] exprimida dins la ''[[Critica de la rason pura]]'' :
# [[tèsi|TÈSI]] : « ***Lo monde a un començament dins lo temps ; es bornat dins l’espaci.*** » Seriá, en efèit, absurde d’admetre una seria al meteis temps infinida e realizada. La totalitat dels èssers o dels fenomèns forma un nombre que despassa nòstra imaginacion, mas qu'es un nombre real, e l’infinit despassa totes los nombres. Lo passat conten un nombre d’èssers e de fenomèns que cada instant apond. Es contradictòri de nomenar infinit çò qu'aumenta o pòt aumentar. Lo meteis rasonament refuta l'eternitat del passat : l’eternitat es infinida, non aumentabla e cada instant aumenta lo passat.
# [[antitèsi|ANTITÈSI]] : «*** Lo monde a pas de començament o de bòrnas ; es infinit dins lo temps e dins l’espaci. **''» Se lo monde foguèsse eternal e sens mesura, n'envelopariá doncas d’un temps e d’un espaci voide. Mas un temps voide ne renclausís pas cap de causa, pas cap de condicion, pas cap de possibilitat de començament, res auriá jamai pogut començar. Bornar lo monde dins lo temps, es anientar aquel. E un espaci voide es res. Dire qu’un espaci voide limita lo monde, dire que lo monde es limitat par res, es dire dins un meteis temps que lo monde es limitat e qu’es pas limitat.

== En teologia ==
En Índia, dempuèi l'antiquitat, la religion [[jaïnisme|jaïnista]] considerava lo monde coma infinit.

Las religions [[monoteïsme|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]] .

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.

== Istòria ==
=== Usatge e operabilitat de las quantitats infinidas ===
==== L'infinit potencial pels ancians ====
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 . 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  se verifica pas quand se tracta de quantitats infinidas . 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 [[Augustin Louis Cauchy|Cauchy]].  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 .

Aquò empacha pas la naissença de calcul infinitesimal, atal la frasa , doncas, atal que o reconeis Bourbaki,  aquela posicion aviá permés de desvolopaments importants tot en pausant de parabandas.

==== L'infinit potencial pels constructivistas modèrnes ====

Eissit de la « crisi dels fondaments » del començament del sègle XX, lo corrent [[Intuicionisme|intuicionista]] promogut per [[Luitzen Egbertus Jan Brouwer|Brouwer]], refusa los metòdes de la logica classica, supausada de s'aplicar pas en tot cas als objèctes infinits. 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 [[Constructivisme (matematicas)|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;  diguèt Apéry.

==== L'infinit actual e lo temps ====

A l'Edat Mejana, [[Bonaventura de Bagnorea|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.

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. 


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'imatjariá populara ===

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 [[Teorèma de Goodstein|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..

=== Las notacions ===

Lo [[simbòl]] <big>∞</big>  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'' : 

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 \infin. 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 ».

## Nòtas e referéncias


### Articles connèxes

* Nombre cardinal
* Nombre ordinal
* Nombre transfinit
* Infinidament petit
*quanta