Le fe halted un argu EL INFEATO 385 pero a0 puedo ence “Sanure Jounsent 0 de los dedos de ana mano y que lo distingue de todos. ito problena he coan fo ton ‘Adi tenemos las siguientes écfinclones. Dos conjuntos sc aman equlvateates si eg porible una corresponidencia uno-nairo eatre sus respeatives clementa: avi Hae (192) pee P. ap ea m eet) iene cn comida un conjinto con todos los eonjuniot equi de codes los demas conjuntes no equivalents, se de aguel conjunio. Y ahora hacemos una obser , on estas defniciones no te supone de ningune mancra te s. Los conceptos "equi sferidos a conjuntos ce infinitos oe Los muimeros card- 5, €& decir, los nimeros se llaman nimeros 2. El infinito por HANS HAHN son equivalentes a pocden ponerse a aman “conjuntos caplicarse del siguiente fo con el mimero cardinal Conjunto cuyes clementos pueden ponerse cn correspondeecia unt 19 primeros miimeros naturales, cslo 5, un conjunte que pucde sor x sy ospecial dis Georg Cant SespuGs de i Tito con todes lor adaantos de le mederea malenstic P [Lo mismo que olres mushae musvae ereaciones éta empe28 por vna por les enteros 4, 2, 3, 4, $ 6 contedo zon la ayuda de Jos einco primeros ae Fscocila, Cantor se pregun fncos. Un conjunto infnio narsecable ¢s va conjanto cuyos elomentcs pueden co- te consian de iguales el Tocarse en correspondencia uno-a-uno con todos los mlimeros, Segin musstras ; definicionss todo conjunto infinito nemerable tiene el mismo nimero cst don equivaleuss? Do aqui os evidents que catte Jos mis ; : ae 1a.) le del segundo pucie elecaarer wa coreaponduct eae mero cardinal debe trl: atom ap nombre; af so al aber entero del priner conju correeponds exactamerte cr ip Josideion oe tne ate sbsiiTlams 4: Cantar dines ning a : ie 1 nombre de “aleplveero", ssero © Yiatico ce veré me adelente). El ainsre tyes asi ol primer ejemplo de nimero arufinio, Asi como Ta rclacdn San eenjonto tiene ob mimero cardi 2s que sus micmbros pued:n ponerse en corespondetela uno-2-uN0 on Jos dedes de le meno derscha —a lo que viene a ser lo mismo con El conjunto de Jos dedos de le mano derecha et equivalerte al conjunte de les de Ja mano faquicrda, y ¢! cmpercjarlos “uno-a-uac” os posible, Esia corresponds {6 obtiene, por ejemplo, cuando colecamos el pulgar cov c! pulgat, el indice con cl | dice, ete. Pero ef conjunto de las dos orcjas 7 el iss dodon wat | enteras 1, 2, 3, 4, S,— asi también Ja reluciéa “un conjumio tiene ol m ano ‘no fon equivalenles, ya que en este ejemplo una cardinals," significa que eue elementos pusden ponerse en carrespondencia 1n0-2 sung" 65 evidentemento impoc! ‘uno coa la totalldad de los nomeros naturales. mano corresponicnde con nuesttas orc} ‘Si miramos a nuestro slrededor paca ejemplos de conjuntos infiniios nume- ables, Ucgamos inmediatanente a uno: resultados altamente sorprendenies. Bi Conjunto de todos los numeros naturales es por sf mismo infinite numerable, esto ts evidente, pucste que era de este canjanto que deliniamos el concepto de que tienen en comin todos for conjuntos ilo ourerable”, Pero el conjunio de tedes los otmeros pares es también iaGnite Yy por le cual se distingue de cada cou mera 5, por ejemplo, os le caractorique numero. 4 3 ut doble. Se ve les. Para probar esta proposi Wiagrumada ¢ Ja Bg. 1, os decir, poser cada nimero natural frente laramente que Ray Usa correrpardencia un uno entre todos jods fos pates; y por este medio queda establecida nucse 10 taode pucde d arse que cl into de todos los TaTerobh Aun sas foereootiie acl hed de Gee £6 I] wR reams 1 ou) j <, nA a Ogee . ours 2 3:4 8 6 s 3 tt 4 ft tod G2) 0.3) 22) 6D G2) 23) nob Ww os ee 24 G3) 42 6. Hrouna 3 nurales ce infiito mm odes les. pares de nimer ica on la figura 2; sobre Jo que obten: dencia uno-a-uno, como muséira Ja figura 3, enire 1odor jodes los niimeras naturales pares. De aqut se sigue 1a EL INFINTO 387 el cociente de dos niracras eatcros como 1/2, 2/3, rable 9 cquivalente al conjunto de todos los mnque de nuovo podemcs suponer que hay muchas més frac imeros naturales, Ailn mds, Cantor puda probar que el conjunto dé chraicos, esto es, cl conjonte de todos los mimeros Sraceiones rec eleélera) ex Met enast a= 0 to numerable, initos nmerables —et decir, oquivalentes— Si "ges catonces al lado de tos canjuatos fino: que serfan todos Pra en el allo 1874 Cantor con aslos por 1OUos los niimeros entcros, mis ot itzacionalee) es infinito numerable ja que puedo dat su razon; By sulciomte demos jos log niimiozos reales ertre Oy 1 no son numerzble~ ‘que entonees el ccnjunte de todos los mimeros reales no smerasle. En la prucba baremos uso ¢el her y 1 pucde ser expresado como uno EJ informe que ta a demesirarse de que el conjunto de finito aumerable, pucde tambien ex- todas Jas fraccionss, La prueba es tan seni chu comin de frateén ds oder los yemos un conjunto infinito mumerable neros reales entre Oy 1 como dade; entonces, ya que este conjunto es nu- jor mimeros reales que coneursea en él pucden ponerse cen une correspondencia uno-a-uno con les mémeros natureles. Escribamos como tuna fraceiin decimal continua ol niimere real que en este orden correspunde al agimero natural ‘imero real que cotresponde al niimero J 2, de nuevo debsjo e aumero real que corresponde al natural 3, cle... Tendriamos algo pareeiéo a esto: 0.207445 . 0,162338 0971226EL INFINTO 389 Aor, ox ofeci 4 en el conjunto infnito ‘Fomese, por ejemplo, un conjunto de tres clementos come el conjunto de las lies cifias 1, 2, 3. Sus eonjuntos parcisles son los siguientes + 1; 24 35 1, 3 3; asi el mumero de los con} arciales os més de tres. Cantor ha fado que esto of cierto? aun pate e infiniios. Por ejemplo, cl les corjunios de puntos de una linea recia tiene un i 10 que cl corjunio de todes los puntos de la Hinea resta, segunda cifra del deci de Ia teresra Hina, sea 5; ote, Ents ero real entre Oy 1 que jaro que por cate ere de t0dos Le que se desea finitos. Con respesta a los nimeros se cumple lo si estos conjuntos io 1; y si soda ut coxjunio finkio Mf con el cardinal i, pus~ into’ con el cardinal siguiente al m afiadiende un objcio conjunto M4, {Cual os la regla ex exte caso rexpeclo a las conjuntos in- gona diicultad que entre los cardinales trans- sy uno que es cl mas pequefio, Tax ‘nummerable (aunque ao debemos creer m0, puns entre todas las fracciones positives, ‘gue Ie sea mie pequefia). Sin embargo, no os tan ‘como jo era eh el cato ce les conjuntos finitos pare formar un conjunto con cl cardinal trancfinite inmediato superior, pucs aunque afadiéramos un cic- nenio és 2 un conjunto indrite no Ucgasiamos a un cenjonte de cardinal mayor, rolamenie 2 uno dt cardinal igual, Pere Cantor resolvié también esta dificl tad denostrand que hay un conjanie e cardinal ma; iquier cardinal sfinito (de nuevo no cs de ningin modo evidente por si mismo; por ejemplo, no kay ninguna fraceién siguiente a la dada) y demostrande como se obticnc. No i ademas seguir aqui con esta demortraciéa, ya que not cumergisia en el scino He las matemitices puras. Es suficionte pura nosotios secouocer el hecho de que numerable, ye que puede haber admeros reales que no sean algebraicos. -s son los Uamados numeros trasceadentcs, cuya cxistencia sc ha demostrado , conecbida por Cantor durat Eslos dos conjuntos son asf qu conjusta de todos los puntos de pensar también que un plano con En efecto, como Canter ha demostrago, ¢ cs el cardinal de todos los pacio de tres dimensiones, o més aun, de ua espacio de cualquier nimero de sie otro sigu ite. Pero este no sgota ain la case de cardinales transfi puede suponerse que hemos formado 1c; mimeros cardinales *ty, My, ™y mos deseal | 6 decir, todss los alefs (xs,) cuyo subindice m os un vimero transfinite muds ciras? Si ciertassente bay muchos més niimeras cardingles tran renies, dado un conjuato M ca seguida se puede encontrar wa_conjunio’ con | «an amero cardinal ms clevedo, ya que el cosjunto ¢e todos Jos po: grande que cvalgaier | “Les suessives aleis formados dc este manera Tepresentan, bles cardinales transfinitos y dc aqui que I potencia c cel continuo puede on onizarse cnlze ellos, La preguate os, gqué alef os 1a potencia dei continuo? ¢ cs ch famoso problema del continuo. Sabemos que no puede sors que el conjuato de todos los mimpsros reales ¢$ infinto no numerable, ex de unio de numerdles naturales. Cantor tomb v4, como po-390 lass Wau ia del continuo. Este pregusts, sin embargo, per por ahora no se ve el coming para su solucisn. Debe fijarse en un dolalle Iégico que fue observa mere vox por Em: ign tiompe despuée de Is. lonn 19 se encuentra demasiraciones matcm: tamente probada. Esta hindi como parece, no puede ser deriveda de otrot principios do légi como cl postulado 0 axfoma oe cleccién, y pucde expresarse ve : Deda un dios de lor cuales 10 tener enconces hay cada uno de los Mc ninguna si se dan gran némere de conjuntes y al tuna regia con tal que so distinga ua elemento de enda uno de estes con- 19s. El conjunto compuesto de los bjetos indicados por la regia que de un sistema ds conjuntas dacot) puede ser construido por I intuiciba pura, Para este fin scleccioncremos de eada conjusto ée ua Fistema dado un clemento; si cl sistema conste de iafinites conjuntes, al trabajo implica vaa inGridad de operaciones por separado; como ssi0 TO os posible, debemos rochazar el axa de a cicecién.” Un reprosentante de Ja postusa logistics ditfa: i el axioma de la clzccién es er verdad independiente de los otras 9 pies de Ja l6niea, e deci, si la afimacién del axioma d> Ia elescién os fan consisente come Ja afirmacién de lo contrario con los demds principias de la Kies, entences tonne libead de zcepiarlo 0 rechazarlo por su con trav, Esto es, podemos trebafar tarbiép coa Mateméticas en las que ce tame come principio bésico el arioma ds la clezcién — eMfatemateas de or como con Matemétienz en que so tome como hase cl axioma contarie — «Mdatemdiieas no zernelianas>. La picgunta completa no ene; ad, como crcen los realists, © nistas, Le eussiidn es més bien én qué sentido debemos usar la palsbra «conjuntoa; es uA asuto que debe Geicnuinar in sintanie de fa palabra «conjuntos Volvamor al problema que nos concie:ne principalma Togfatics daria. a puede decivse 19s, ya. que es posible operar con“a4 ans BL INFiRTO “, (Cudl os Ia si de corsiderar esto camo una si nologtas, y fue can cl solo propk ferminolégieas por lo que Cantor dio & { neuiro y relativamiente poco conceido de “pol - 05 spasioné Ja pjecién de gu puede expresarse de zo In eluacign de wnat po | Prosbas de supuesias contadiesiones no Gemucsira que no tlecto, so han deseubierto serigs coniradieciones en In estruct ‘aparecido cont cn ciertas formaciones de conjen 10 corjunios de tadee los nimeios cardinales infinitos. © ‘embargo, que el osigcn de extas contradicciones no fue el conceplo de rgicron de cicttas deficienciss cn Ja légica clésica. Asi se ‘ee que To que se procieabs ers una reforma de la légica. Esta reforma pai ‘@ ca un mayor euidedo ea el uso “todo”, tal como se Con ¢s0 las cor telet decir que el al col a una de sus que Aspectos Un conjunto tun canjunio in dde sus partes a Jas que es cquivalealc y verdaderament cllp —como hizo Deéckind— para defnir Se ha | cecir que Ios okapi cxistiesen. Abordemos entonces 1a si pruebe de libertad de contradic ente conceimicnte pusde decisse que una procta absolute de jones se ccullan en cl concspto t ée conjunio fn goneralm como cn ol caso an propicdades necesarias 2 los conjuntes y nimeros finitos, no Jo son a jos conjuntos y nts lo, todo imero debe sor par ¢ impar, pero los os de Cantor no son ni pares ni impares; 0 que todo mi anda ead, pret 20.58 nD 0 Ta postura logistica, fad de contradiecién? peneamiento, Ia peti= 103, ler ia por fa on un informe fo cierto, Como he Ianeo” describe. un wan ado, y de modo abs suceso pasado y no pucd Igual que cuando descubrimes nucras especies de auimales que deben diferir en conocidas, pucs dc lo contrario, ao scrian nucvas especies196 7 | BL ixrnoTo 397 Sin embargo, Sefiles de que esta cor que podamos aplisar Ja. existerci espacio ‘Ames de que ning! emfan que ¢) extenio; Kent, que y entre esias lineas hay unas tales que cada arco s cario que cuslquis otra arco de oir Tinea que una los p Pero cusndo se descubrié que en un sentido puramente matem as lineas ve Haman gcodésicas, 9 lineas reetas del espacio cn & | tambiga otros expacios ademés del cucltico (est 0 conducla a ninguna vshora puede ser que en cualquier espacio particalar Riemann radiccion lgica su zt ta do que ci ol 1d tan gronde como se quiara; en este aso Giromos que este espac espacio del mundo fisizo dc 2 des de exiensioa Infinit. Por otra pane, puede ser que en cste espacio que era uno cacstiéa de experisneia, es decir, una pregunta que tenfa que scot eas restas son menores que un mi Tespondida por la expericacia, Gauss hize estos experimentes, Pero después de aces decimos quo el espacio cs do cxtonsién finita, Hasta el J obs de Henri Poincaré, el gran mater les del sigio 20x, sabem0s Xvilt s6lo era conocido un seacillo espacio matemitico, de aqui que se que la pregunta fommulaca ea estes témminos no Bale ot el eepacio dz la gcom: morgen tenemos libertad de cleccion de Ja que reslizamos muesiras observacioncs, La pregunta no adquic que se covice 1a forma en qué se evan « cabo estas observaciones. Puct lo més importante para un espacio Riemann rma Come se le ssigna una longitud, os decir, cbmo st miden las Tongitudes. Si deci- dimos que las medidas de Jongiud ea el espacio de les fendmeaos fisices, se herd del mismo modo como se hizo en ictipo: antiguos, es decir, par la medicion con cmbarge espacios Riemann de tres dimensiones de ox conocides son Jos Hamados espacios ipticos), que son tridimensi a. La superficis de uea esfers pusde co tuoa varia “rigida” jonees Ja pregunta expresa ai el espacio considerado de emo Ia pregunta ! ‘La sospucita que quisd muchos darian de momento cs: por este méiodo de medida el os eo de extersién infnita”. Esto sori para una breve discusin de este probl | scncila explicacién de ciertes hechos mi | je Ta sama de 2 debemes dar primero una breve y icos, El espacio cuclideo esti ca-aus. Hi gvlo e mayor de 180 grado, y el excess sobre los 180 grados os mayor q mazimo valor del tiingulo con respecto a la esfera. En cl esqacio csférico bis nal, la suparicie de una csicra, este punto se nos presenia muy claro. En Ia ‘de una cslera, como hemor dicho antes, Ia linea correspondiente de tos dal es ingulo exférice. Si podemos hacer otra comp centre tridngulos esféricos de igual Grea sobre cslcras de dlferen! verse en seguida que ol exeeso de la suma de 8 sabre 180 gracos es mayor que el menor de les diimetror de ambse ecferas, esto es, mayor que de dtrés de inia dc. 180 grados, Bs de Ia iriingulo es mayor que fos menor que 780 grados —como en c] caso de los espacios “hiperbélices” dos ccebiertos por Bolyai y Lebaciievsky. dad sigue que, si se usa como base el mélodo de medica previemente mencicnado, el espacio cn la pronimidad de masas gravitacionsles debe ser curvado en un “eanipo grévitaioria”. Zl alco campo gravtatoro aocesible, olde ia Tire, o3 de- snasiodo débit paca poder experimentar diretomente esta afitmacion; ha sico pa- sin embargo, probatio indiectamente por Ja deflenién de los rayor de luz com se ha deierinado durante los eclipses totaes— en al campo gravtatorio Gel Sol, que ce mucho Hatta donde Vegan muestas actuales cxperizacias podemos decir que ‘én ya sncacionadas, transfor~ amos el espacio de Tes fendmenos tsicos en cl espacio atalemitica de Riemann, 0 seré curve y au eurvatura variard en su extensién, siendo dad de las masas de gravitacién y menor Tejos de cllas mos decir are si este espacio 9 hasta ahora no es suficientes yrara dat una respucsta es Lodavia necesario hacer algunas posites hipducsis. Una te isles hipéteis es sobre Ta manera en que la materia esié distribuida en todo 180; esl es, decir que en el univesso como un iodo hay una dens hnasa uriforme. Las observasiones do los asirénomos pueden suminisrarnos algae bos daios, al menos con ua poco de buena woluatsd, concordes con esta hips Por supucsto, es cierto solamente cuando sc toma en el sen mismo sentida en que se dice que ua trozo de hic tiene lo se concent todo su vonjunto la en muchas pequofias jormes comparados con las en cl espacio estén scparadas por vacios inter- ee ee EL INFINITO 299 Wwe son enermes con relacién a sv tamafio. Vamos a hacer ahora otra idad cs ceteciona- sidad de masa permancee invaria- io estacivnario aunque sabemos que las partie estén en mo s también suponer Sonaria aunque ssbcros que las esirllas se mucvea con- ble. Consider culas que lo constituy que of cde los prircipios de la Teoria General de aprotamcs los fendmenos fisicos 1 sin cmbarge, come la super al, es necesariamente de extension fitita, En otras do corriente de medida ée longitudes y icos cn un espacio matcmidtico, si realiza~ legamas es que esie es mos has dor pacio dete ser Digo que fa asa os igual cen tudo el espacio, est de acuetdo con algunas observacianes. zEslo también cS ‘dnd con respecio a Ja segunda, © sca, es consiante Ja densid de masa con “Ahora, sin embargo, cirtas observa alblando deuce Yo en términas amplioe— cue todos Jos cxespos elesies (esiress Bjas y nebulosas) fe alejgn de nosotios 4 una velocidad que aumenta al aumontar su distancia dc Ja velocidad de los cvcrpos que estén my alejador de aoiotres, pero ‘nuestro campo de ObSTvacion, es completamente fantisica. nedia ds misa del univeeso no puede ser probable- rmeate constante respecto a tiempo; por e conirerio, debe ic disminvyendo con- Unuamente, Estonces si los restates aspecios de nucstra imagen dol unlverso se ca que debamos encorgaimos de que el espacio malemitico en ch ierprclamos los fendrienes {iicos sea variable con cl uempo. En cada ins- ‘un espacio con una curator positiva constante, eS decir ee exten finka, pero la curvawra irla decreciendo continamente miestras gue Js sumenlando, Esta interpiacéa de los fondmenos ffsieos que (gir en un espacio en expancién as nos hace muy mancjable y de aoverdo General de Relatividas, a tniea (cola conforne con los datos dc nucsira experiencia iesis de que el universo ox. su totslidad era de densidad uni- HROEOLIOS y las estcllas jas estamos situados on una regién del eipacia donde hi ‘una gran concentracién de masa, micntras que a grandes distancias de esta regi in disribueida de masas es disperse, Esto acs conduciria —usando todavia ol ‘odo creinario de medis Toagkudcs— a concchir el mundo fisico silvado en fin eapse'o que tiene cierla curvalura ca la pronimidad de nuestro sistema é fee jan, In eval se va haciendo mienor al alejarnos de alla. Este espacio‘400 ane Mans EL INF 401 cos. Tal vez las diferentes te jca scan las pr a 2D fiea'S cl regres9, tras un prodi c los puntos de parlida del pensamiento occidental: je que todo el cesmos esté segido por los némeros naturales. El fa jo recténgulo llevan el nombre de docitina de que todo de Ja estructura atémica de ta sas masas con velocidades completam: das cu una regién relativamente pequeta del esp: ‘ada una con sa propia velocidad, se al resulta que bay unes sepmentos inconm Entonees un une y olf no puede © ré cl mismo aspecto del mune nibido distincién entre existencia mi que lengan volocidades menores estardn més cerea de mucie menor velocidad estarda muy préximas a K 0 dentio de lor on K, 0 al menos no muy jar que el que antes hemos se alcjaria con mayor velocidad. tet procoder de Ja existenci andlisis, ser probaga tinieamente por la observacion; LUce cnite racional ¢ irracional siempre fees no podemos nega gue tet, tanto si ct |a total positilidad y ita como si no, quedaré a gran belloza de waa légica matemétiea del infinito. tado para sente y ¢: jue ahora Foscemos no podemos dar una respuesta razonable y bi ics matemticos, ites © infinitos, son casi iqualmente adccuades para la interpretacién de Jos ates hasta shora acumulados. Probado este punto, quiz diferan los el esquema basado en un especio de exter corporada al concepio de infisidad ex co ceptable por nosotros.” res de aceptar este punto de lo desean, pero no deben i jar que de este modo se han librado totalmente de Is infinidad. Pues avn Jos espacios Riemann finitamente extendides contienen yal 10 que coasisten en infinidad de puntos? De nungunz manera. Se puede imaginar, puntos de tiempo. {Dobe esto ser asi necesariamente? (Estamos, on verdad, obligaéos a poner en un espacio maiemitico o en un tiempe malemée lamente un nimero a el lenguaje de Ia teoris opini i la experiencia pueden probar la imporibilidad de este 5) lrmelcin fue superida por E, A, ing, aoible fee Ultnico erndor de bs lenis Stender saris,