El camino a la realidad Una guia completa de las leyes del universo ROGER PENROSE Traduccién de Javier Garcia Sanz aSTitulo original: The Road to Reality Publicado originariamente por Jonathan Cape, Londres, 2004 Primera edicién: octubre de 2006 © 2004, Roger Penrose © 2006, de la presente edicién en castellano para todo el mundo: Random House Mondadori, S. A. ‘Travessera de Gracia, 47-49, 08021 Barcelona © 2006, Javier Garcia Sanz, por la traduccién Quedan prohibidos, dentro de los limites establecidos en la ley y bajo los apercibimientos legalmente previstos, la reproducci6n total 0 parcial de esta obra por cualquier medio o procedimiento, ya sea electr6nico 0 me- cinico, el tratamiento informatico, el alquiler o cualquier otra forma de cesién de la obra sin la autorizacién previa y por escrito de los tivulares del copyright. Printed in Spain - Impreso en Espaia ISBN-13: 978-84-8306-6681-2 ISBN-10: 84-8306-681-5. Depésito legal: B. 35.801-2008 ‘Compuesto en Fotocomposicién 2000, S. A. Impreso y encuadernado en Liberdiplex S. L. U, Sant Lloreng d’Hortons (Barcelona) C 846812Dedico este fibro a ta memoria de DENNIS SCIAMA, que me mostrb la emocién de 1a fisicaPREFACIO 2... 2.600205 21 AGRADECIMIENTOS 31 Notacion 35 Prdéioco 39 1. Las raices dela ciencia 2. eee ee 47 1.1. La bisqueda de las fuerzas que configuran el mundo 47 1.2. La verdad matematica ......0.. 0.6. 50 1,3. 3s «real» el mundo matematico de Platén? 53 1.4, Tres mundos y tres profundos misterios 61 1.5, Lo bueno, lo verdadero y lo bello . . 66 2. Un teorema antiguo y una pregunta moderna 71 2.1. El teorema de Pitégoras n 2.2. Los postulados de Euclides 75 2.3. La demostracidn del teorema de Pitégoras por éreas semejantes ........ 78 2.4. Geometria hiperbélica: imagen conforme . . we. 81 2.5. Otras representaciones de la geometria hiperbélica ... 86 2.6. Aspectos histéricos de la geometria hiperbélica 92 2.7. gRelacién con el espacio fisico? 97 3. Tipos de niimeros en ef mundo fisico . . 105 3.1. sUna catdstrofe pitagérica? 105 3.2. El sistema de los nameros reales ...........0-04.- 109 3.3. Los nimeros reales en cl mundo fisico ............ 116 3.4. :Necesitan los ntimeros naturales al mundo fisico? ... 120 3.5. Ntmeros discretos en el mundo fisico ............ 123ba « Ciileulo infinitesimal con neimeros complejos . INDICE . Los mdgicos ndimeros complejos 0... veces 4.1, El magico numero «iv... 4.2. Resolviendo ecuaciones con niimeros complejos ... . 4.3. Convergencia de series de potencias............-- 4.4. El plano complejo de Caspar Wessel ..........2.5. 4.5, Como se construye el conjunto de Mandelbrot... . - Geometria de logaritmos, potencias y raices 0.6.22. ee 5.1. La geometria del dlgebra compleja . bee 5.2. La idea del logaritmo complejo oo... 6... eee ees 5.3. Multivaluacion, logaritmos naturales .......... 5.4, Potencias complejas ..............--..--5- : 5.5. Algunas relaciones con la fisica de particulas moderna : . Céleulo infinitesimal con wtimeros reales 00.6 c eee cece 6.1. ¢Qué hace respetable a una funcién? ............. 6.2. Pendientes de funciones .......-...--..20-0.0-5 6.3. Derivadas de orden superior; funciones C*-suaves 6.4, gla nocién «euleriana» de funcién? ............65 6.5. Las reglas de diferenciacién . 6.6. IntegraciOn 6... 66. eee cence eee 7.1. Suavidad compleja; funciones holomorfas .......... 7.2. Integracién de contorno .. 2-6... 6. eee eee 7.3. Series de potencias a partir de la suavidad compleja 7.4. Prolongacién analitica . . Superficies de Riemann y aplicaciones complejas 8.1, La idea de una superficie de Riemann ............ 8.2. Aplicaciones conformes ..... 2.22.00 eee 8.3. Laesferade Riemann ........2 2220000000 8.4, El género de una superficie de Riemann compacta 8.5. El teorema de la aplicaci6n de Riemann ....... . Desconsposicién de Fourier ¢ hiperfimciones .. 6.0 eee c eee 9.1. Series de Fourier. 0 20.0002. 9.2, Funciones sobre un citculo 6... eee eee ees 9.3. Separacién de frecuencias sobre la esfera de Riemann . 9.4. La transformada de Fourier... 2.2.2... 0 0620200 9.5. Separacién de frecuencias a partir de la transformada de Fourier... 00.2.0... 00 02202 eee10. 11. 13. . Variedades de n dimensiones INDICE 9.6. {Qué tipo de funcién es apropiada? 254 9.7. Hiperfimciones 258 Superficies 269 10.1. Dimensiones complejas y dimensiones reales... 269 10.2, Suavidad, derivadas parciales ........ 7 10.3, Campos vectoriales y 1-formas .... 277 10.4, Componentes, productos escalares . . 284 10.5. Las ecuaciones de Cauchy-Riemann .. 286 Nuimeros hipercomplejos 293 11.1, E] algebra de los cuaterniones. ..... .. 293 11.2. jHay un papel fisico pata los cuaterniones? ...... 296 11.3, Geometria de cuaterniones ........ oo 299 11.4, gCémo componer rotaciones? ....... 304 11.5. Algebras de Clifford 2.2.2.2... seas ». 306 11.6. Algebras de Grassmann . 12.4. sPor qué estudiar variedades de dimensiones mis altas? ooo. e eee e eee cece eter eens ener ees 317 12.2. Variedades y cartas de coordenadas . 322 12.3. Escalares, vectores y covectores .... 324 12.4. Productos de Grassmann 329 12.5. Integrales de formas Lee 332 12.6. Derivada exterior .... 0.0.0.4 00020 e ee 335 12.7. Elelemento de volumen; convenio de suma 341 12.8. ‘Tensores; notacién de indices abstractos y notacién diagraméatica 2.00... ee cece eee ee 12.9. Variedades complejas . Grupos de simetria . 13.1. Grupos de transformaciones . . 13.2. Subgrupos y grupos simples . . 13.3. Transformaciones lineales y matrices 13.4. Determinantes y trazas ..... . 13.5. Autovalores y autovectores : 13.6. Teoria de la representacién y lg ebras de Lic 13.7. Espacios de representacién tensoriales; reducibilidad 383 13.8. Grupos ortogonales ....... 0060000 ee eee ee 38914. 15. 16. 17. INDICE 13.9. Grupos unitarios .... 13.10. Grupos simplécticos . Cakculo infinitesimal en variedades . 14.1. 3Diferenciacién en una variedad? - 14.2, ‘Transporte paralelo . 14.3. Derivada covariante . 14.4, Curvatura y torsién . 14.5. Geodésicas, paralelogramos y curvatura 14.6. Derivada de Lie 14.7, Lo que una métrica puede hacer por usted 14.8. Variedades simplécticas Fibrados y conexiones gauge 15.1. Algunas motivaciones fisicas para los fibrados . 15.2. La idea matemitica de un fibrado 15.3. Secciones transversales de fibrados 15.4. El fibrado de Clifford : 15.5, Fibrados vectoriales complejos, fibrados (co)tangentes 15.6. Espacios proyectivos ©... 6... e cece eee ee 15.7. No crivialidad en una conexién fibrada . 15.8. Curvatura fibrada . La escalera del infinito . . 16.1. Campos finitos 16.2. 2Una geometria finita o una geometria infinita para la fisica? 16.3. Diferentes tamajfios de infinito tee 16.4. El corte diagonal de Cantot .............200. 16.5. Enigmas en los fundamentos de las matemiticas . . 16.6, Las mAquinas de Turing y el teorema de Gadel ... 16.7. Tamafios de infinitos en fisica - Espaciotiempo .... 17.1. El espaciotiempo de la fisica aristotélica ........ 17.2. El espaciotiempo para la relatividad galileana 17.3. La dindmica newtoniana en términos del espaciotiempo . 6.0... 2222 cece ee eee eee 17.4 El principio de equivalencia........... 17.5. El cespaciotiempo newtoniano» de Cartan . 12 396 402 aul ait 414 418 422 425 432 441 446 451 451 454 459 462 467 471 476 481 491 491 494 500 504 509 513 518 525 525 528 531 535 53919, 20. 21. INDICE 17.6. La velocidad finita y fija de la luz 546 17.7, Conosdeluz............0000- e 548 17.8. El abandono del tiempo absoluto . . 552 17.9. El espaciotiempo de la relatividad general de Einstein 557 . Geometrla minkowskiand .. 0.0... eee ee ee 563 18.1. Los 4-espacios euclideo y minkowskiano ... 563 18.2. Los grupos de simetria del espacio de Minkowski . 567 18.3. Ortogonalidad lorencziana; la «paradoja del relojp . 570 18.4. Geometria hiperbélica en el espacio de Minkowski 576 18.5. La esfera celeste como una esferade Riemann ... 582 18.6. Energia y momento (angular) newtonianos ...... 587 18.7. Energia y momento (angular) relativistas . 590 Los campos clésicos de Maxwell y Einstein... . . 599 19.1. Evolucién fuera de la dinamica newtoniana 599 19.2, La teoria electromagnética de Maxwell ......... 602 19.3. Leyes de conservacién y de flujo en Ia teoria de Maxwell... 6. eee eee 607 19.4. El campo de Maxwell como curvatura gauge .... 610 19.5. El tensor energia~-momento 617 19.6. La ecuacién de campo de Einstein . seve. 622 19.7. Cuestiones adicionales: la constante cosmolégica, el tensor de Weyl... 627 19.8. La energia del campo gravitatorio 629 Lagrangianos y hamiltonianos 639 20.1. El magico formalismo lagrangiano ... . 639 20.2. La mas simétrica imagen hamiltoniana - 644 20.3. Pequetias oscilaciones ............- 00 0c eee 648 20.4. La dinamica hamiltoniana como geometria simpléctica . 2... eee tee ees 654 20.5. Tratamiento lagrangiano de los campos ........ 658 20.6. Cémo impulsan los lagrangianos la teora moderna 661 La particula cudntica 6.6 cence 667 21.1. Variables no conmutativas 667 21.2, Hamiltonianos cuanticos ... . 671 21.3. La ecuacién de Schrédinger . . ‘ 674 21.4. La base experimental de la teoria cudntica ...... 676 1322. 23. 24. SNDICE 21.5. Comprendiendo la dualidad onda-particula ..... 21.6. gQué es la «realidad» cudntica? . 21.7. La naturaleza cholistica» de una funci6n de onda . . 21.8. Los misteriosos «saltos cudnticos» . . 21.9. Distribucién de probabilidad en una funcién de onda 21.10. Estados de posicién . 21.11. Descripcién en el espacio de momentos . Algebra, geometrla y espin cudnticos 22.1. Los procedimientos cuanticos Uy R. oes 22.2. Lalinealidad de U y sus problemas paraR ...... 22.3. Estructura unitaria, espacio de Hilbert, notacién de Dirac... 0. eee ee eee 22.4. Evolucién unitaria: Schrédinger y Heisenberg... 22.5. «Observables» cuanticos ............. 22.6. Medidas si/No, proyectores .. 22.7. Medidas nulas, helicidad .... 22.8. Espiny espinores............20..0-00 000006 22.9, La esfera de Riemann de los sistemas de dos estados 22.10. Espin mas alto: la imagen de Majorana . . 22.11. Arménicos esféricos 22,12. Momento angular cudntico relativista . 22.13. El objeto cuantico aislado general El entrelazado mundo cadntion . 6... cee eee 23.1. Mecdnica cudntica de sistemas de muchas particulas 23.2. La enormidad del espacio de estados de muchas particulas 26... eee cee eee eee ees 23.3. Entrelazamiento cu4ntico; desigualdades de Bell - 23.4. Experimentos EPR tipo Bohm ...........6.- 23.5. El ejemplo EPR de Hardy: casi libre de probabilidad 23.6. Dos misterios del entrelazamiento cudntico ..... 23.7. Bosones y fermiones .. wees 23.8. Los estados cudnticos de los bosones y los fermiones 23.9. Teleportacién cudntica.... 60.0... cee eee eee 23.10. Cuanlazamicnto El electrén y las antiparticulas de Dirac . 24.1. Tensién entre la teoria cuantica y la relatividad . 14 691 696 698 704 703 71 711 715 718 722 726 730 733 739 745 752 755 761 765 777 777 780 783 787 792 795 798 801 804 810 819 81925. 26. 27. INDICE 24.2, Por qué las antiparticulas implican campos cudnticos? 24.3. Positividad de la energia en mecdnica cudntica ... 24.4. Dificultades con la formula de la energia relativista 24.5. La no invariancia de 8/0t ....... 0... ee eee ee 24.6, La raiz cuadrada de Clifford-Dirac de un operador de ondas 24.7. Laecuacién de Dirac .... 24.8. La ruta de Dirac al positron .... . -- El modelo estandat de la fisica de particulas .... we 25.1. Los origenes de la moderna fisica de particulas .. . 25.2. La imagen zig-zag del electron . 25.3. Interacciones electrodébiles, asimetria de reflexién. 25.4. Conjugacién de carga, paridad e inversién temporal 25.5. El grupo de simetria electrodébil .. . 25.6. Particulas fuertemente interactuantes 25.7. «Quarks coloreados» .... 25.8. Mas allé del modelo estandar Torta cudntica de campos . . 26.1. El estatus fundamental de la QrTe en lat teoria moderna ..... 26.2. Operadores de creacién y aniquilacién . . 26.3. Algebras de dimensién infinita . . 26.4. Antiparticulas en QFT . . 26.5. Vacios alternativos ..... 26.6, Interacciones: lagrangianos e integrales de camino . 26.7. Integrales de camino divergentes: la respuesta de Feynman... 2.60.00 cece ccc e eee en ees cece 26.8. Construyendo diagramas de Feynman; la matriz S . . 26.9. Renormalizacion ........... 00000 ee eee ee 26.10. Diagramas de Feynman a partir de lagrangianos . . 26.11. Los diagramas de Feynman y Ia eleccién del vacio . El big bang y su legado termedindmico ... 27.1. Simetria temporal en la evolucién dinamica . . 27.2. Ingrediences submicroscépicos 27.3. Entropia ....... 27.4. El caracter robusto del concepto de entropia 5 821 823 826 828 831 833 836 843 843 845 850 857 860 866 870 874 BBL 881 883 887 890 892 894 900 903 907 913 915 923 923 925 928 93128. 29, INDICE 27.5, Derivacién de la segunda ley... ono? ......... 936 27.6, 3Es el universo en su conjunto un «sistema aislado»? 940 27.7. El papel del big bang ..............00....-. 944 27.8. Agujeros negros ©... 6. eee eee ees 951 27.9. Horizontes de sucesos y singularidades espaciotemporales ............ ceeeeeeeees 987 27.10. Entropia de agujcro negro... 2... eee cece 960 27.11. Cosmologia .. 0.2.6... cece cece eee eee 963 27.12. Diagramas conformes ......... . 971 27.13. Nuestro extraordinariamente especial big bang... 975 Teortas especulativas det witiverso primitive... 0.1... eee 987 28.1. Ruptura espontanea de simetria en el universo Primitivo 2. eee ee eee 987 28.2. Defectos topologicos césmicos.............-- 992 28.3. Problemas para Ja ruptura de simetrfa en el universo primitive 00... cece cee eee -.-. 997 28.4. Cosmologia inflacionaria .............- w+. 1002 28.5. Son vilidas las motivaciones para la inflacién? ... 1010 28.6. El principio antropico ...- 6... cece eee eee 1016 28.7. La naturaleza especial del big bang: ;una clave ANELOPICa? 2 eee eee eee 1022 28.8. La hipotesis de curvatura de Weyl ............. 1026 28.9, La propuesta de «ausencia de frontera» de Hartle-Hawking .... beeen ete eee ee 1030 28.10. Parametros cosmoldgicos: ;estatus observacional? . 1034 La paradoja de la medida ..... 00.00.20 becceeeeees 1049 29.1. Las ontologias convencionales de la mecanica cuantica 1049 29,2, Ontologias no convencionales para la mecdnica cuantica ..... 1054 29.3. La matriz densidad 1061 29.4. Matrices densidad para espin 1/2: Ja esfera de Bloch 1064 29.5. La matriz densidad en situaciones EPR ........ 1069 29.6. Filosofia FAPP de la decoherencia por el entorno . 1075 29.7. El gato de Schrédinger con la ontologia ade Copenhaguer occ eee 1078 29.8. ¢Pueden las ontologias (b) y 1 (c) resolver el «gato»? . 1081 1630, 31. 29.9, El papel de la gravedad en la reduccibn del estado cndntico ... 30.1. 30.2. 30.3. 30.4. 30.5. 30.6. 30.7. 30.8. 30.9, 30.10. 30.11, 30.12. 30,13. 30.14. INDICE {Qué ontologias no convencionales pueden ayudar? Claves de una asimetria temporal cosmolégica .. . Asimetria temporal en la reduccién del estado cudntico -...-- ‘Temperatura del agujero negro de Hawking .. Temperatura del agujero negro a partir de periodicidad compleja Vectores de Killing, flujo de energi tiempo! occ eee Flujo de energia saliente de drbitas de energia negativa Explosiones de Hawking Una perspectiva més radical EI bulto de Schrédinger see Conflicto fundamental con los principios de Einstein 20.0... cece eee cece eee eee {Estados de Schrddinger-Newton preferidos? . La propnesta FELIX y otras relacionadas . . . Origen de las fluctuaciones en el universo primitivo Supersimetria, supradimensionalidad y cuerdas .... 6... 000 31.1. 31.2. 31.3, 314. 31.5. 31.6. 31.7 31.8. 31.9. 31.10. 31.11. 31,12. Parametros inexplicados . Supersimetria we El algebra y la geometria de la supersimetria . . Espaciotiempo de dimensiones mis altas La teoria de cuerdas hadrénica original Hacia una teoria de cuerdas del universo Motivacién de cuerdas para dimensiones espaciotemporales extra ..........0.0.0.0005 ga teoria de cuerdas como gravedad cudntica? .. . Dinamica de cuerdas .. . 2Por qué no vemos las dimensiones espaciales extra? iDeberiamos aceptar el argumento de la estabilidad cudntica? 0 eee eee eee Inestabilidad clasica de las dimensiones extra .... . 17 1085 . 1093 1093 1095 -- 1098 - 1103 1108 1115 .. To ~. 1122 +. 1127 ~ 1132 1136 ~ 1141 . 1144 1151 1163 .. 1163 -- 1168 «+ 1173 .. 1177 «+ 1182 » 1187 1191 1193 1197 120132. 33. 34. INDICE 31.13. gEs finita la QFT de cuerdas? .........2..---- 1215 31.14. Los magicos espacios de Calabi-Yau; la teorfaM .. 1218 31.15. Cuerdas y entropia de agujero negro .... 1225 31.16. El «principio holografico» 1231 31.17. La perspectiva de la D-brana .. . 1234 31.18. jE estatus fisico de la teoria de cuetdas? vee 1238 El sendero mds estrecho de Einstein; variables de lazo .. 1251 32.1. Gravedad cuantica canénica . 1251 32.2. El ingrediente quiral de las variables de Ashtekar -- 1253 32.3, La forma de las variables de Ashtekar .......... 1257 32.4. Variables de lazo - 1260 32.5. Las matematicas de nudos y enlaces . . . 1264 32.6. Redesdeespin ........ 0... cece ee eee . 1267 32.7. El estatus de la gravedad cudntica de lazo? ...... 1275 Perspectivas mds radicales: la teoria de twistores .........-+4 1283 33.1. Teorias donde la geometria tiene elementos discretos 1283 33.2. Los twistores como rayos de luz... .-. - - -.. 1288 33.3. El grupo conforme; el espacio de Minkowski compactificado 22... 6.26. e eee ee eee 1296 33.4. Los twistores como espinores de dimensi6n superior 1301 33.5. Geometria twistorial bésica y coordenadas ...... 1304 33.6. Geometria de twistores como particulas sin masa con espin .. 1309 33.7. Teoria cudntica twistorial ... . .. 3t4 33.8. Descripcién twistorial de campos sin masa. «+ 1318 33.9. Cohomologia de haces twistorial . 1321 33.10. Los twistores y la separacién en frecuencia positiva/negativa ....... ee eee eee wees 1327 33.11. El gravitén no lineal ........-.. 1330 33.12. Twistores y relatividad general . . - 1336 33,13. Hacia una teoria twistorial de la fisica de particulas 1339 33.14. El futuro de la teoria de twistores? -- 1340 ¢Dénde esté el camino a la realidad? «. 1351 34.1. Las grandes tcorias de la fisica del siglo xx... ey mas alla? 2. eee ee - 1351 34.2. Fisica fundamental mateméticamente dirigida vee 1356 1834.3. Bl papel de las modas en Ja teorfa fisica INDICE 34.4, gPuede refutarse experimentalmente una teoria errénea? ............ 34.5. gDénde podemos esperar nuestra proxima revolucién en fisica? 34.6. :Qué es Ja realidad? . 34.7, Los papeles de la mentalidad en la teoria fisica 34.8. Nuestro largo camino matemitico a la realidad . . . 34.9. Belleza y milagros 2.0.0 .00020 00200005 34.10. Preguntas profundas respondidas, preguntas mas profiundas planteadas 020.002 Feftoco . BIBLIOGRAFIA . Inpice ALFABETLCO . 1364 1365 . B71 . 1375 . 1378 1383 . 1389 1395Prefacio Este libro tiene como objetivo transmitir al lector una idea de lo que es ciertamente uno de los viajes de descubrimiento mas importantes y apasionantes en los que se ha embarcado la humanidad. Se trata de la biisqueda de los principios subyacentes que rigen el comportamiento de nuestro universo. Es un viaje que ha durado més de dos mil qui- nientos afios, de modo que no deberia sorprendernos que al final se hayan hecho progresos sustanciales. Pero este viaje se ha mostrado muy dificil, y en la mayoria de los casos, el conocimiento real ha legado lentamente. Esta dificultad intrinseca nos ha llevado en muchas direc- ciones falsas, y de ello deberiamos aprender a ser cautos. Pero el si- glo xx nos ha revelado nuevas y extraordinarias ideas, algunas tan im- presionantes que muchos cientificos actuales han expresado la opinion de que podriamos estar cerca de una comprensién bisica de todos los principios subyacentes en la fisica. En mis descripciones de las teorias fundamentales vigentes cuando escribo esto, recién concluido el si- glo xx, trataré de adoptar un punto de vista més modesto. Quiz4 no todas mis opiniones sean bien recibidas por los «optimistas», pero espe- ro cambios futuros de direccién atin mayores que los que se han dado en el dltimo siglo. El lector encontrar4 que en este libro no he rehuido presentar for- mulas matemiaticas, pese a las reiteradas advertencias acerca de la dras- tica reduccién de lectores que esto implicaria. He pensado seriamente sobre esto y he Ilegado a la conclusién de que lo que tengo que decir no puede transmitirse razonablemente sin cierta cantidad de notacién matemitica y la exploracién de genuinos conceptos matematicos. El conocimiento que tenemos de los principios que realmente subyacen 21PREFACIO en el comportamiento de nuestro mundo fisico depende, de hecho, de una apreciacion de sus matemiticas. Quiz4 para algunas personas esto pueda ser un motivo de desesperacién, pues se habran formado la idea de que no tienen ninguna capacidad para las matemiticas, por muy elementales que sean. Sin duda se preguntaran cémo van a poder com- prender la investigacién que se est4 haciendo en la misma frontera de la teoria fisica si ni siquiera dominan la forma de tratar las fracciones. Veo Ja dificultad, por supuesto. Pese a todo, soy optimista en cuestiones de transmisién del cono- cimiento.Tal vez sea un optimista incurable. Me pregunto si esos lec- tores potenciales que no pueden manipular fracciones —-o que dicen que no pueden manipular fracciones— no se estén engafiando a si mis- mos, al menos un poco, y una buena proporcién de ellos tienen real- mente una capacidad en esta direccién de la que no son conscientes. Sin duda hay algunos que, cuando se enfrentan a una linea de simbolos matemiaticos, independientemente de la sencillez con que estén pre- sentados, solo pueden ver el rostro severo de un padre o un profesor que trataba de inculcarles a la fuerza una aparente competencia sin contenido y similar a la de un papagayo —una obligacién, y solo una obligacién— sin que pudiera traslucir ningtn indicio de la magia o be- leza del tema. Tal vez para algunos sea demasiado tarde; pero, como digo, soy un optimista, y creo que todavia quedan muchos, incluso en- tre aquellos que nunca pudieron dominar la manipulacién de fraccio- nes, que tienen la capacidad de vislumbrar algo de un mundo maravi- lloso que pienso que debe ser, en un grado significativo, genuinamente accesible para ellos. Una de las mejores amigas de juventud de mi madre era una de esas personas que no podian comprender las fracciones. Ella misma me lo conté en cierta ocasién, una vez que se habia retirado de una carre- ra exitosa como bailarina. Yo atin era joven, y todavia no me habia lan- zado plenamente a mi actividad como matemitico, pero se me reco- nocia como alguien que disfrutaba trabajando en este tema. «Es todo eso de la simplificacion —me decia—, nunca le cogi el tranquillo a la simplificacién.» Era una mujer elegante y muy inteligente, y en mi opinién no hay ninguna duda de que las cualidades mentales que se necesitan para comprender la sofisticada coreografia que es fundamen- 22PREFACIO tal para el ballet no son en modo alguno inferiores a las que deben ejercitarse con un problema matemiatico. Asi, sobrestimando amplia~ mente mi capacidad expositiva, intenté, como otros lo habian hecho antes, explicarle la simplicidad y la naturaleza logica del procedimien- to de «simplificacién». Creo que mis esfuerzos fueron tan infructuosos como lo habian sido los de los otros que lo habian intentado. (Dicho sea de paso, su pa- dre habia sido un eminente gedlogo y miembro de la Royal Society, de modo que ella debia de haber tenido una formacién adecuada para la comprensién de cuestiones cientificas. Quiza aqui podria haber inter- venido un factor del tipo «rostro severo». No lo sé.) Pero reflexionan- do sobre ello, me pregunto ahora si ella, y muchas personas como ella, no tenian un complejo inhibidor mas racional, uno que yo ni siquiera hab{a advertido con toda mi verborrea matemitica. Hay, en realidad, una cuestién profunda con la que uno tropieza una y otra vez en ma- temiaticas y en fisica matemitica, y que encuentra por primera vez en la nocién aparentemente inocente de cancelacién de un factor comin en el numerador y el denominador de una fraccién numérica ordi- naria. Aquellos para los que la accién de simplificar se ha convertido en algo automitico, debido a la familiaridad repetida con tales operacio- nes, pueden ser insensibles a una dificultad que en realidad acecha tras este procedimiento aparentemente sencillo. Quizd muchos de los que encuentran misteriosa la simplificacién estan viendo cierto punto con mis profundidad que aquellos de nosotros que pasamos de largo de forma displicente, pareciendo ignorarlo. ;De qué punto se trata? Con- cierne a la forma misma en que los matemAticos pueden ofrecer una existencia a sus entidades matematicas y a como pueden relacionarse tales entidades con la realidad fisica. Recuerdo que cuando estaba en la escuela, més o menos a los once afios, me quedé muy sorprendido cuando el maestro pregunté a la cla- se qué es realmente una fraccién (tal como 3/8, pongamos por caso). Hubo varias sugerencias, como dividir un pastel en porciones y cosas asi, pero fueron rechazadas por el profesor sobre la base (valida) de que estas se referian simplemente a situaciones fisicas imprecisas a las que te- nia que aplicarse la nocién matemiatica precisa de una fraccién; pero no 23PREFACIO nos decian cul es dicha nocién matemitica precisa. Siguieron otras su- gerencias, tales como 3/8 es «algo con un 3 arriba y un 8 abajo y con una linea horizontal en medio», jy me quedé sorprendido al descubrir que el profesor parecia tomar estas sugerencias en serio! No recuerdo muy bien cémo se resolvié finalmente la cuestién, pero con la intui- cién adquirida de muchas experiencias posteriores como estudiante de licenciatura en matemiticas, podria conjeturar que mi maestro de es- cuela estaba haciendo un valiente intento por decirnos la definicién de una fraccién en términos de la ubicua nocién matemitica de clase de equivalencia gCul es esta nocién? ;Cémo puede aplicarse en el caso de una fraccién, y decirnos qué es realmente una fraccion? Empecemos con el «algo con un 3 arriba y un 8 abajo» de mi compaiiero de clase. Basica~ mente, esto nos sugiere que una fraccién est4 especificada por un par ordenado de niimeros enteros, en este caso los ntimeros 3 y 8. Pero es evidente que no podemos considerar que la fraccién es dicho par or- denado porque, por ejemplo, la fraccién 6/16 es el mismo namero que la fraccién 3/8, mientras que el par (6,16) no es ciertamente el mismo que el par (3, 8). Esta es precisamente una cuestién de simplificacién; 3x 8x arriba con el 2 de abajo, para obtener 3/8. gPor qué se nos permite ha- cer esto y con ello «igualar», en cierto sentido, el par (6, 16) con el par en efecto, podemos escribir 6/16 como 2 y luego cancelar el 2 de (3, 8)? La respuesta matem4tica —que muy bien puede sonar como un «escaqueo»— tiene la regla de simplificacién incorporada en la defini- cién de una fraccin: se considera que un par de néimeros enteros (a X n, bX n) representa la misma fraccién que el par (a, b) siempre que n sea un niimero entero distinto de cero (y donde tampoco admitimos que b sea cero). Pero esto tampoco nos dice qué es una fraccién; simplemente nos dice algo sobre la forma en que representamos las fracciones. ;Qué es, entonces, una fraccién? Segiin la nocién de «clase de equivalencia» de los matemiticos, la fraccién 3/8, por ejemplo, es simplemente la colec- ci6n infinita de todos los pares (3, 8), (-3,-8), (6, 16), (-6,-16), (9, 24), (-9, -24), (12, 32), . 24PREFACIO. donde cada par puede obtenerse de cada uno de los otros pares de la lista por aplicacién repetida de la regla de simplificacién anterior.* También necesitamos definiciones que nos digan cémo sumar, restar y multiplicar estas colecciones infinitas de pares de ntimeros enteros, donde son validas las reglas normales del algebra, y c6mo identificar los propios nameros enteros como tipos particulares de fraccién. Esta definicién cubre todo lo que necesitamos matemAticamente de las fracciones (tal como que 1/2 es un numero que sumado a si mis- mo da el naimero 1, etc.), y la operacién de simplificacién esté, como hemos visto, incorporada en la definicién. Pero todo parece muy for- mal y podemos preguntarnos si realmente recoge la nocién intuitiva de lo que es una fraccién. Aunque este ubicuo procedimiento de las cla~ ses de equivalencia, de la que el ejemplo anterior es un caso particular, es muy potente como pura herramienta matemiatica para establecer la consistencia y la existencia matemitica, puede proporcionarnos enti- dades con una apariencia demasiado pesada. ;Dificilmente nos trans- mite la nocién intuitiva de lo que es 3/8, por ejemplo! No es extraiio que la amiga de mi madre estuviera confundida. En mis descripciones de nociones matemAticas trataré de evitar, hasta donde pueda, el tipo de pedanteria matematica que nos lleva a definir una fraccién en términos de una «clase infinita de pares», inclu- So si, por supuesto, tiene su valor en rigor y precision matematicos. En mis descripciones me interesaré mAs en transmitir la idea —y la belle- za y la magia— inherente a muchas nociones matemiticas importan- tes. La idea de una fraccién tal como 3/8 consiste simplemente en que es cierto tipo de entidad que tiene la propiedad de que cuando se suma a si misma 8 veces da 3. La magia est en que la idea de una fraccién funciona pese al hecho de que en el mundo fisico no experimentamos directamente cosas que estén cuantificadas exactamente por fracciones: las porciones de pastel solo conducen a aproximaciones. (Esto es muy diferente del caso de los nimeros naturales, tales como 1, 2, 3, que cuantifican de forma precisa muchas entidades de nuestra experiencia * Esto se denomina una «clase de equivalenciay porque realmente es una clase de en- tidades (que, en este caso concreto, son pares de niimeros enteros), cada uno de cuyos miembros se considera equivalente, en un sentido especifico, a cada uno de los demas miembros. 25PREFACIO directa.) Una forma de ver que las fracciones tienen un sentido consis- tente es utilizar la «definicién» en términos de colecciones infinitas de pares de enteros, como se ha indicado antes. Pero esto no significa que 3/8 sea realmente una coleccién semejante. Es mejor pensar en 3/8 como una entidad con un tipo de existencia (platénica) propia, y que la coleccién infinita de pares es simplemente una forma de llegar a en- tender la consistencia de este tipo de entidad. A medida que nos fami- liarizamos, empezamos a creer que podemos captar con facilidad una noci6n tal como 3/8 como algo que tiene su propio tipo de existencia, y la idea de una «coleccién infinita de pares» es simplemente un artifi- cio pedante, un artificio que enseguida se retira de nuestra imaginacién una vez que lo hemos captado. Buena parte de las matemiticas es asi. Para los matemiticos (al menos para la mayoria de ellos, por lo que puedo entender), las matematicas no son solo una actividad cultural que hemos creado nosotros mismos, sino que tienen vida propia, y buena parte de ellas esta en sorprendente armonja con el universo fisi- co. No podemos tener una comprensién profunda de las leyes que ri- gen el mundo fisico sin entrar en el mundo de las matemiticas. En par- ticular, la nocién anterior de una clase de equivalencia es relevante no solo para una gran cantidad de matemiticas importantes (aunque con- fusas), sino también para una gran cantidad de fisica importante (y confusa), tal como la teoria de la relatividad general de Einstein y los principios de las «teorfas gauge» que describen las fuerzas de la natura- leza segain la moderna fisica de particulas. En la fisica moderna, uno no puede evitar el enfrentarse a las sutilezas de muchas matemiaticas sofis- ticadas. Por esta raz6n, he dedicado los dieciséis primeros capitulos de esta exposicién a la descripcién de ideas matemiticas. Qué consejo puedo dar al lector para hacer frente a esto? Este li- bro tiene cuatro niveles diferentes de lectura. Quizd sea usted un lec- tor, en un extremo de la escala, que sencillamente se da la vuelta cuan- do se le presenta una formula matemitica (y algunos de estos lectores pueden muy bien tener dificultades en entender las fracciones). Si es asi, creo que todavia puede usted aprender mucho de este libro saltn- dose simplemente todas las férmulas y leyendo solo las palabras. Su- pongo que esto sera muy parecido a la forma en que yo solia hojear las revistas de ajedrez que estaban desperdigadas por mi casa cuando era 26PREFACIO. nifio. El ajedrez constituia buena parte de las vidas de mis padres y her- manos, pero yo me interesé muy poco por él, excepto en que disfruta- ba leyendo las hazaiias de aquellos excepcionales, y con frecuencia ex- trafios, personajes que se dedicaban a ese juego. De esa lectura, me hacia una idea de la brillantez de las jugadas que solian hacer, incluso si no las comprendia ni hacia ningdn intento por seguir las diferentes po- siciones a través de las notaciones. Pese a todo, descubri que era una ac- tividad agradable e ilustrativa que podia mantener mi atencién. Del mismo modo, espero que las exposiciones matematicas que ofrezco aqui puedan transmitir algo de su interés incluso a algunos lectores poco interesados en las matemiticas que, por valentia 0 curiosidad, de- ciden acompafiarme en mi viaje de exploracién de las ideas matemiti- cas y fisicas que parecen subyacer en el universo fisico. No tenga mie- do en saltarse ecuaciones (yo mismo lo hago con frecuencia) y, si lo desea, saltarse capitulos enteros o partes de capitulos cuando empiecen a hacerse demasiado rimbombantes. Hay mucha variedad en las difi- cultades y tecnicismos del material, y quiz4 haya algo mas de su gusto en otro lugar. Puede decidir simplemente introducirse y mirar. Mi es- peranza es que las extensas referencias cruzadas puedan ilustrar bien nociones poco familiares, de modo que deberia ser posible localizar los conceptos y la notacién necesarios regresando a secciones anteriores no leidas en busca de aclaracién. En un segundo nivel, quiza sea usted un lector que estd dispuesto a echar una ojeada a las f6rmulas matematicas, cuando quiera que se le presenten, pero no siente la inclinacién (ni quiz tiene tiempo) de ve- rificar por usted mismo las afirmaciones que hago. Las confirmaciones de muchas de estas afirmaciones constituyen las soluciones a los ejerci- cios que he desperdigado por las partes matemiticas de este libro. He sefialado tres niveles de dificultad mediante los iconos 4 quad muy sencillo BS quad necesita un poco de reflexién [ES quad no debe abordarse con ligereza a7PREFACIO Es perfectamente razonable fiarse de estas, si lo desea, y no hay pér- dida de continuidad si decide adoptar esta postura. Si, por el contrario, usted es un lector que quiere ejercitarse con es- tas diversas (e importantes) nociones matemiaticas, pero para quien las ideas que describo no son familiares, espero que el trabajo con estos ejercicios le ofrecera una ayuda importante para reforzar tales habilida- des. Con las matemiticas, siempre sucede que una pequefia experiencia directa de reflexién propia sobre las cosas puede proporcionar una com- prensién mucho mis profunda que la mera lectura sobre ellas. (Si nece- sita las soluciones, consulte la pagina web www.roadsolutions.ox.ac.uk.) Por altimo, quiz usted sea ya un experto, en cuyo caso no deberia tener dificultades con las matematicas (la mayoria de las cuales le seran muy familiares) y tal vez no quiera perder el tiempo con los ejercicios. Pero atin puede descubrir que hay algo que extraer de mis propios en- foques sobre diversos temas, que es probable que sean algo diferentes (a veces muy diferentes) de los habituales. Quiza usted tenga cierta cu- riosidad por mis opiniones concernientes a varias teorias modernas (por ejemplo, supersimetria, cosmologia inflacionaria, la naturaleza del big bang, agujeros negros, teoria de cuerdas o teoria M, variables de lazo en gravedad cudntica, teoria de twistores, incluso los propios fun- damentos de la teoria cuantica). Sin duda encontrar4 mucho en lo que discrepar conmigo en bastantes de estos temas. Pero la controve: una parte importante del desarrollo de la ciencia, y por eso no tengo reparos en presentar opiniones que puedan considerarse parcialmente refiidas con algunas de las actividades de la corriente principal de la fi- es sica teérica moderna. Puede decirse que este libro trata realmente de la relacién entre las matemiticas y la fisica, y de cémo el didlogo entre ambas influye po- derosamente en los impulsos que subyacen en nuestra busqueda de una mejor teoria del universo. Un ingrediente esencial de estos impulsos en muchos desarrollos modernos procede de juicios sobre la belleza, pro- fundidad y sofisticacién matemiticas. Es evidente que tales influencias matemiaticas pueden ser de importancia vital, como sucede con algu- nos de los éxitos mds impresionantes de la fisica del siglo xx: la ecua- cién de Dirac para el electrén, el armazén general de la mecanica cuéntica y la relatividad general de Einstein. Pero en todos estos casos, 28