MefistoUn pacto con la ciencia y la cultura

Número 23, julio de 2017

El buen cristiano debe estar precavido frente a los matemáticos y todos aquellos que hacen profecías vacías.
Existe el peligro de que los matemáticos hayan hecho un pacto con el diablo para ofrecer el espíritu y confi-
nar al hombre en el infierno.
San Agustín, De genesi ad Litteram, II, xviii, 37.

Presentación 3 Frases célebres 21

Relatividad 4 Acertijos 22
Fausto Cervantes
Sudoku 24
Paradoja del hotel infinito 8
Daniel Maisner

Cielo de verano 12
 Universidad Autónoma Mefisto
de la Ciudad de México
Nada humano me es ajeno Editor
Daniel Maisner Bush
Rector
Hugo Aboites Aguilar Comité Editorial
Ana Beatriz Alonso Osorio
Secretaria General Fausto Cervantes Ortiz
Ma. Auxilio Heredia Anaya Verónica Puente Vera

Coordinadora Académica
Publicada electrónicamente en:
Fabiana Grisel Medina Núñez
http://issuu.com/gacetamefisto
Encargado del Despacho de la
Toda contribución deberá enviarse
Coordinación del Colegio de Ciencia y Tecnología
en versión electrónica a:
Igor Peña Ibarra
gaceta.mefisto@gmail.com
Coordinador de Difusión Cultural
Las opiniones expresadas en los artículos son puntos
y Extensión Universitaria
de vista de(los) autor(es) y no necesariamente reflejan
Koulsy Lamko
la opinión del Comité Editorial.
Responsable del área de Publicaciones
Andrea Gálvez
MEFISTO, año 7, núm. 23, julio-septiembre 2017, es una publicación
trimestral editada por la Universidad Autónoma de la Ciudad de Méxi-
Diseño y producción co (uacm), Dr. García Diego 168, col. Doctores, del. Cuauhtémoc, 06720,
Benito López Martínez Ciudad de México, tel. 1107 0280, www.uacm.edu.mx. Editor responsable:
Revistas Universitarias de Divulgación (Rudi)
Daniel Maisner Bush, gaceta.mefisto@gmail.com. Certificado de Reserva de
Derechos al uso Exclusivo e issn: en trámite, ambos otorgados por el Insti-
tuto Nacional de Derechos de Autor. Certificado de Licitud de Título y Con-
Corrección de estilo
tenido: en trámite, otorgado por la Comisión Calificadora de Publicaciones
Rebeca Lozada y Revistas Ilustradas de la Secretaría de Gobernación. Impreso en: Universi-
dad Autónoma de la Ciudad de México, San Lorenzo, 290, col. Del Valle Sur,
Servicio social 03100, Ciudad de México. tel. 1107 0280 ext. 15581. Este número se terminó
Yaznai Yaredi Andade Huérfano de imprimir el 20 de febrero de 2018 con un tiraje de 2,000 ejemplares.
Gemma Sarahí Ramírez Reyes

En este canto, Ciampolo se ve amenazado por los diablos y Farfa-

rello, con los ojos desorbitados dice «¡Quédate a un lado, pájaro
malvado!». Posteriormente, Ciampolo propone un intercambio: si
Dante y Virgilio desean ver a otros toscanos y lombardos, Male-
branche se tendrá que retirar, así ellos no temerán sus sombras. A
una señal convenida, varios saldrán a fuera.

En portada
Ilustración: Gustave Doré (Estrasburgo, 1832 - París, 1883), Engaño
de Ciampolo y pelea de los diablos, canto XXII de la Divina Comedia.
Alichino persigue Ciampolo de Navarra.

Presentación
E
instein y Cantor son dos caras opues-
tas del desarrollo científico que po-
dríamos denominar moderno. El
primero ha sido ampliamente reconocido
incluso en medios no científicos y su imagen
es un ícono del siglo XX; el segundo fue un
matemático muy criticado en su época, la ge-
nialidad de sus trabajos sólo fueron recono-
cidos cerca del fin de sus días y aún hoy día
es prácticamen desconocido fuera del ámbi-
to matemático. Sin embargo, tienen mucho
más en común de lo que parece en un primer
acercamiento a sus biografías.
Destaquemos que ambos son parte de esa
revolución científica que abarca, más o menos
de finales del siglo XIX a mediados del XX,
que, además de aportar nuevos conocimientos,
cambió los fundamentos mismos de la ciencia.
En el caso de Einstein su teoría de la rela-
tividad crea un nuevo enfoque para interpretar
algunos fenómenos físicos que no encontra-
ban explicación en la mecánica clásica. Sobre
esto nos habla Fausto Cervantes.
Cantor estudió las propiedades de los con-
juntos infinitos revolucionando una gran parte
de los fundamentos de la matemática, incluso la
noción misma de contar. Para ilustrar sus tra-
bajos y dar una idea de la profundidad de los
mismos, Hilbert enunció la paradoja del hotel
infinito de la cual nos habla Daniel Maisner.
De forma anecdótica, aunque no nos atre-
veríamos a decir casual, existe otra liga en los
trabajos de ambos pensadores que presenta-
mos en este número. Ambos tienen un bisabue-
lo científico común: Galileo. El genio toscano
enunció unas ecuaciones que relacionan las
dos descripciones de un mismo movimiento
Mefisto
realizadas por
distintos obser-
vadores y Eins-
tein, como parte
de la teoría de
la relatividad,
las generaliza;
para entender
mejor, no dejen
de leer el artí-
culo de Fausto.
También, este
genio, conside-
rado el padre
del método científico, realizó el primer ejem-
plo de dos conjuntos infinitos diferentes, pero
con el mismo número de elementos, más pre-
cisamente, el mismo cardinal: una semilla de
la teoría de conjuntos moderna que no germi-
naría por los propios prejuicios científicos de
esa época.
Una última liga, nada agradable de descri-
bir, fue que cada uno de ellos fue víctima de la
intolerancia, aunque de formas muy diferentes.
El origen judío de Einstein significó un grave
problema para él, ya que su vida coincidió con
el surgimiento del nazismo y su posterior lle-
gada al poder en su natal Alemania; mientras
que Cantor sufrió la persecución académica,
llena de censura y burlas devastadoras; siendo
su único pecado dedicarse a estudiar algo que
no estaba en la moda científica de su época y
que rompía con múltiples prejuicios académi-
cos.
Recordemos finalmente que, junto con los
artículos mencionados, tenemos las secciones
permanentes de siempre, esperamos disfruten
de este número.
3
Mefisto
Relatividad
Fausto Cervantes*
Introducción
Aunque hoy en día, en parte debido a la gran
capacidad para difundir conocimientos del in-
ternet, muchos hablan de la relatividad como
una teoría de Albert Einstein; pero pocos sa-
ben que las primeras ideas de esta teoría se re-
montan al gran pionero de la física moderna,
Galileo Galilei en el siglo XVII. La imagen tan
peculiar de Einstein y el conocimiento de que
sus teorías significaron una revolución en la
física, a veces ocultan que se sabe muy poco
del contenido real de la teoría y de sus alcan-
ces. Comúnmente se le cita fuera de contexto
(«todo es relativo»), y se usa su vocabulario
en forma errónea y confusa. Asimismo, quien
desea entender esta teoría, se encuentra con
muchas dificultades, ya que algunos de sus
resultados desafían lo que llamamos «sentido
común».
Muchas de las dificultades para entender
esta teoría surgen simplemente por el nombre
que se le dio. Frecuentemente se le confunde
con «relativismo», en el sentido de subjetivis-
mo. Nada más lejos de la realidad. La teoría de
la relatividad de Einstein es una teoría física
muy objetiva, con un contenido bien defini-
do, sin ninguna relación (ni siquiera indirecta)
con tal doctrina filosófica.
El aparato matemático para entender y ex-
plorar la teoría de la relatividad no es accesible
para cualquiera, se necesita dominar mucho
más que el álgebra básica o la geometría ele-
mental (las de los libros de Baldor), por lo que
no es accesible para bachilleres, y sólo quienes
* Profesor del plantel San Lorenzo Tezonco
4
tienen una formación sólida en matemáticas
superiores pueden entenderla en toda su pro-
fundidad. Sin embargo, el significado de la re-
latividad, como el de muchas otras teorías físicas,
es simple, aunque no obvio, y sus ideas básicas
pueden comprenderse sin demasiadas matemá-
ticas. Esto es lo que se tratará de hacer a lo lar-
go del presente artículo.
La relatividad de Galileo
Supongamos que vamos a bordo de un vehícu-
lo que se mueve con velocidad uniforme: esto
quiere decir que no cambia de magnitud ni
dirección (recordemos que cuando hablamos
de velocidad estamos pensando no sólo en la
rapidez o magnitud con que se mueve un obje-
to, sino también en su dirección) al menos du-
rante algún lapso de tiempo. Para imaginarnos
tal vehículo, tengamos en cuenta que no po-
dría ser un medio de transporte en la Ciudad de
México, donde camioneros y microbuseros van
peleándose el pasaje, donde los baches y grietas
perturban considerablemente el movimien-
to de los autos, donde el metro tiene muchas
fallas por el apresuramiento para inaugurarlo
(mismas que hacen que se tenga que cerrar
durante mucho tiempo para hacer las repara-
ciones). Así que mejor visualicemos un avión
volando en una zona libre de turbulencias du-
rante ciertos intervalos de tiempo.
Vamos, entonces, viajando a bordo de un
avión que se mueve con velocidad constan-
te cuando un compañero nuestro salta en un
paracaídas, desde nuestra posición lo vemos
caer en línea recta, es decir, sólo vemos un
movimiento vertical, únicamente baja; no ob-
 Mefisto
Mefisto
Mefisto
movimientovertical,
movimiento vertical,únicamente
únicamentebaja; baja;nonoob- ob-
servamos movimiento
servamosmovimiento
movimientohacia hacia adelante
haciaadelante o
adelanteo oatrás,atrás,
atrás,
servamos
ni hacia los lados. En cambio, un amigo que
ninihacia
hacialos loslados.
lados.EnEncambio,
cambio,ununamigo amigoque que
seencuentra
encuentraen en latierra
tierratomando
tomandopelícula
películadel del
seseencuentra en lalatierra tomando película del
saltoregistra
salto registra elmovimiento
movimientode deuna
unaforma
formadis-dis-
salto registra elelmovimiento de una forma dis-
tinta:primero
tinta: primerodescribe
describeun unmovimiento
movimientoque que si-
tinta: primero describe un movimiento que si-si-
gueuna
gue unacurva
curvaconocida
conocida(llamada
(llamadaparábola),
parábola), y
gue una curva conocida (llamada parábola), y y
luegosigue
luego sigueuna unalínea
línearecta
rectaconconuna
unainclinación
inclinación
luego sigue una línea recta con una inclinación
quelalasepara
que separaconsiderablemente
considerablementede de lavertical
vertical
que la separa considerablemente de lalavertical
(figura1).
(figura 1).
(figura 1).
Como vemos,
Como vemos, la trayectoria
trayectoria observada
observada
Como vemos, lalatrayectoria observada Figura1.1.
Figura
depende
dependedel del observador,
delobservador, es
observador,esesdecir, decir, es relativa
decir,esesrelativa al
relativaalal Figura 1.
depende
sistemade
sistema dereferencia
referenciadesdedesde elquequese sedescribe.
describe.
sistema de referencia desde elelque se describe.
Aún un
Aún un ejemplo
ejemplo sencillo
sencillo comocomo elel que que Aunquenonosesedijo dijoexplícitamente,
explícitamente,por por
Aún un ejemplo sencillo como el que Aunque
acabamos de describir,
acabamosdededescribir,
describir,puedepuede
puedecrearcrear cierta
crearcierta
ciertaan- an- transcurre
pareceralgo
an- parecer igualmente
algoobvio,
obvio,sesesupusoen ambos
supusoque sistemas
queeleltiempo
tiempo de
acabamos
gustia, ¿cuál
gustia, ¿cuál es la descripción
descripción correcta
correcta del referencia esto
del transcurre es: t’ = t.en ambos sistemas de
igualmente
gustia, ¿cuál eseslaladescripción correcta del transcurre igualmente en ambos sistemas de
movimiento del del paracaidista?
paracaidista? La La respuesta
respuesta es Así, el
es referencia principio de relatividad estable-
movimiento del paracaidista? La respuesta es referencia esto es: t’ = t. t.
movimiento esto es: t’ =
sencilla,aunque
aunque unpoco pocoperturbadora:
perturbadora:ambas ambas ce que Así,las leyes de la física son las mismas en
sencilla,
sencilla, aunque ununpoco perturbadora: ambas Así, elelprincipio
principio dederelatividad
relatividad estable-
estable-
descripciones son son correctas
correctas yy existe
existe una rela- cualquier
una rela- sistema de referencia inercial (es de-
descripciones
descripciones son correctas y existe una rela- ceceque quelaslasleyes
leyesdedelalafísica
físicason
sonlaslas mismas
mismas enen
ción matemática
ciónmatemática
matemáticaque que permite
quepermite relacionar
permiterelacionar
relacionaruna una cir, que se
cualquiersistema
una cualquier mueve con velocidad
sistemadedereferencia
referenciainercialconstante),
inercial(es de-y
(esde-
ción
conotra.
otra.Aunque
Aunqueno nohabía
habíaaviones
aviones en sutiem- tiem- cir,quequeparasecambiar
muevecon de descripción
con se utilizan las
velocidadconstante),
constante),
con
con otra. Aunque no había aviones enensusutiem- cir, que se mueve velocidad yy
po, Galileo
po,Galileo
Galileopensó pensó en
pensóeneneste este problema,
esteproblema, y determi-
problema,y ydetermi-
determi- que transformaciones
quepara
paracambiar dadas
cambiardededescripción en la ec. (1).
descripciónseseutilizan De ello
utilizanlaslas
po,
nó, correctamente,
nó,correctamente,
correctamente,que que la trayectoria
quelalatrayectoria en
trayectoriaenenambos ambos se deduce que
transformacionesdadas
ambos transformaciones no hay un sistema
dadasenenlalaec.ec.(1).de
(1).referencia
Deelloello
nó, De
sistemas de referencia
sistemasdedereferencia
referenciaestá está relacionada
estárelacionada en
relacionadaenenuna una absoluto,
una sesededuce
deduceque todos los
quenonohay sistemas
hayununsistema de referencia
sistemadedereferencia
referencia son
sistemas
forma
forma muysimple:
muy simple: igualmente
absoluto, válidos.
todos lossistemas
sistemasdedereferencia
referenciason son
as
(artı́culoforma
Fausto(artı́culo
sFausto
Fausto (artı́culo muy
relatividad)
relatividad)
relatividad) simple: absoluto, todos los

  igualmenteválidos.
igualmente válidos.
(1) Problemas con el electromagnetismo y la
x = = xx−−vt,vt,
Fórmulas xx =
FórmulasFausto
Fausto (artı́culo
(artı́culo relatividad)
x − vt,relatividad)
yy = = y,y, (1)
(1) relatividadcon
de Einstein
F1F1 y = y, {{ ′ Problemas
Problemas con elelelectromagnetismo
electromagnetismoy ylala
x′x == x x−−vt,vt, A mediados
relatividad del siglo XIX, cuando Maxwell
y ′y ′ == y,y, relatividad dedeEinstein
(1)
(1) Einstein
siendo
x =
xsiendo
x(t)yy = y(t) unifi có las leyesdelde la electricidad y el magnetis-
siendo
x==x(t)yy
x(t)yy==y(t)
y(t) AAmediados
mediados del siglo
siglo XIX,cuando
XIX, cuando Maxwell
Maxwell
F2F2 mo en el concepto
unificólaslasleyes de campo
leyesdedelalaelectricidad electromagnético,
electricidady yelelmagnetis-
magnetis-
unificó
x x==x(t)x(t)y yy y==y(t)
y(t) también surgió
moenenelelconcepto la idea
conceptodedecampo de ondas electromagnéti-
campoelectromagnético,
electromagnético,
mo
cas, las
tambiénsurgiócuales se
surgiólalaideaidentifi caron
ideadedeondas con la luz. Jun-
ondaselectromagnéti-
electromagnéti-
también
lascoordenadas
coordenadasen en elsistema
sistemade dereferencia
referenciaen
en cas,
to con las ondas electromagnéticas se
luz.creó
Jun-el
laslascoordenadas en elelsistema de referencia en cas, laslascuales
cuales seseidentificaron
identificaron conlalaluz.
con Jun-
tierra,
tierra, concepto de éter,electromagnéticas
que se postuló para creó que las
tierra, totocon
conlaslasondas
ondas electromagnéticas sesecreó elel
F4F4 ondas luminosas
conceptodedeéter, éter,que tuviesen
quesesepostulóun medio
postulóparaparaque dónde
quelaslas
′ ′′ ′ ′ ′′ ′ concepto
x′x==x′x(t(t
) )y yy ′y==y ′y(t(t
)) propagarse.
ondasluminosas El éter
luminosastuviesen se pensó también
tuviesenununmedio como
mediodóndedónde un
ondas
sistema de referencia
propagarse. absoluto, dado que enun las
propagarse. ElEléter
étersesepensó
pensótambién
también como
como un
lascoordenadas
coordenadasen en elsistema
sistemade dereferencia
referenciaen
en sistema
leyes deldeelectromagnetismo nodado
funcionaban las
laslascoordenadas en elelsistema de referencia en sistema referenciaabsoluto,
de referencia absoluto, dado que queenenlaslas
elavión
aviónyylalavelocidad
velocidaddel delavión
avióncon conrespecto
respecto leyes
relaciones de relatividad enunciadas por Galileo,
elelavión y la velocidad del avión con respecto leyes deldelelectromagnetismo
electromagnetismo nonofuncionaban
funcionaban laslas
a tierra. porque estas nuevas leyes no resultaron ser las
a atierra.
tierra. relaciones
relaciones dede relatividad
relatividad enunciadas
enunciadas porGalileo,
por Galileo,
Aunque no se dijo explícitamente, por mismas en todos los sistemas de referencia
parecer algo obvio, se supuso que el tiempo inerciales.

55
5
Mefisto
A partir de ello, muchos físicos se dieron a la
tarea de intentar medir la velocidad de la Tierra
con respecto al éter a través de mediciones de
la diferencia de velocidades de la luz en la Tierra
en diferentes momentos de su órbita alrededor
del Sol. Tales mediciones fueron infructuosas,
de hecho los experimentadores Michelson y
Morley hallaron que la velocidad de la luz es
siempre la misma.
Cuando ellos encontraron que la veloci-
dad de la luz es siempre la misma, sin importar
el sistema de referencia, los físicos trataron de
hallar explicaciones basadas en las propiedades
del éter. Fue Einstein quien, sin echar mano
del concepto de éter, explicó correctamente el
resultado del experimento. La explicación de
Einstein fue simple: la velocidad de la luz no
es relativa al sistema de referencia, sino que es
la misma en todos los sistemas. Pero bajo esta
suposición, las transformaciones de Galileo
dejan de ser válidas. Es aquí cuando entran las
transformaciones de Lorentz (descubiertas por
un físico neerlandés que trabajó en ese proble-
ma). Las transformaciones son ahora:
6
 

 x = √ x−vt2 2 ,
 1−v /c
y  = y,

 2
 t = √t−vx/c2 2
.
1−v /c
Nótese que ahora el tiempo ya no es el
mismo, sino que en cada sistema de referencia
¡se mide un tiempo diferente! Esta es una de
las consecuencias de la relatividad de Einstein.
Según ésta, no sólo la posición y la velocidad
son relativas, sino también el tiempo. Al con-
tinuar desarrollando la teoría, se encontró que
también hay otras cantidades que son relati-
vas al sistema de referencia, como la masa y la
energía.
Fueron esas consecuencias las que hicie-
ron que mucha gente (legos y científicos) cri-
ticaran agriamente la teoría de la relatividad,
tachándola de absurda y exhibiendo supuestas
paradojas. Sin embargo, lo que quedó claro
después de refutar las críticas y resolver las pa-
radojas, fue que poca gente entendía la teoría
de la relatividad y sus alcances y, como sucede
en todos los grandes cambios de concepción,

Fue Einstein quien,
sin echar mano del
concepto de éter, explicó
correctamente el resultado
del experimento. La
explicación de Einstein fue
simple: la velocidad de la
luz no es relativa al sistema
de referencia, sino que
es la misma en todos los
sistemas.
las ideas requerían de un tiempo de madura-
ción para incorporarse sin crear mayor proble-
ma.
En la actualidad, las cosas no han cambiado
mucho: aún se sabe de personas que, sin enten-
der la teoría de la relatividad, la tachan de ab-
surda e ilógica. Afortunadamente, hoy día, ya
poca gente presta atención a estas críticas y se
acepta la teoría como válida. Sin embargo, algo
que sí sucede, es que se sigue trivializando y
alterando el significado de relatividad, al «apli-
carla» fuera de contexto y esto es igualmente
incorrecto. La relatividad es una teoría física y
no debe interpretarse como una filosofía de la
subjetividad del saber o conceptos similares.
Probablemente quienes dijeron por pri-
mera vez que, según Einstein, «todo es rela-
tivo», lo hicieron de broma. No obstante, hoy
en día es mucha la gente que cree seriamente
que Einstein demostró «científicamente» que
«todo es relativo». Y es que, como se mencio-
nó antes, el primer postulado de la relatividad
es que la velocidad de la luz es la misma en
Mefisto
cualquier sistema de referencia, esto es, NO ES
RELATIVA al observador. Este carácter abso-
luto de la velocidad de la luz no es exclusivo,
hay otras cantidades físicas absolutas (como
la velocidad angular, la aceleración, la carga,
etc.). Es decir, sólo algunas cantidades son re-
lativas al sistema de referencia.
Conclusión
La teoría de la relatividad surgió con Galileo
para explicar el movimiento. Se refiere a las le-
yes físicas y su simetría, y transformación en
diferentes sistemas de referencia inerciales.
Posteriormente, se aplicó a otros fenómenos fí-
sicos como el electromagnetismo, que hicieron
necesaria su revisión y modificación por parte
de Einstein. Es, en esencia, una teoría física,
igual que la mecánica cuántica, la acústica, etc.
Esta teoría física, entonces, no tiene re-
lación alguna con la «filosofía» del «todo es
relativo», error que muchos toman en serio, y
que por desgracia se ha difundido ámpliamen-
te en el internet. En este caso, como en muchos
otros, lo único que podemos sacar en claro es
que no se entendió el significado de la relativi-
dad.
Bibliografía
Einstein, A. El significado de la relatividad. Pla-
neta, Barcelona, 1985.
Einstein, A. Sobre la teoría de la relatividad.
Alianza editorial, Madrid, 1984.
Einstein, A. et al. The theory of relativity. Do-
ver, New York, 1962.
Feynman, R. et al. The Feynman Lectures on
Physics. Volume I. Addison Wesley, Rea-
ding Mass., 1963.
7
Mefisto

Paradoja del hotel infinito

Daniel Maisner*

Introducción
Hacía finales del siglo XIX Georg Cantor (1845-
1918) creó las bases de la teoría de conjuntos
moderna, dando formalidad y rigor a muchos
conceptos que hasta ese momento sólo se uti-
lizaban de forma intuitiva. Por desgracia, sus
temas e ideas fueron extremadamente origina-
les para su época y no fueron comprendidos ni
aceptados por sus contemporáneos.
Pero eso no fue todo, como tantas veces
se ha repetido en la historia, esta incompren-
sión tomó forma de terribles burlas desde
la comunidad científica hacía su trabajo, in-
cluyendo a matemáticos de gran relevancia
como Poincaré y a su mentor Kronecker. Las
burlas, sumadas a su personalidad, lo lleva-
ron a tener largos periodos depresivos y mu-
cho sufrimiento. Ya en el siglo XX, durante Torre de Babel Doré
sus últimos años de vida, hubo un cambio
en la percepción de la comunidad científica Existen diversas versiones de la paradoja.
que comenzó a reconocer su enorme genia- A continuación la reproducimos conservan-
lidad. En 1920, poco después de su muerte, do el planteamiento general, pero con nuestra
Hilbert enunció la paradoja del hotel infini- propia redacción:
to para explicar, de manera sencilla, las bases
del concepto de cardinal y la necesidad de Paradoja del hotel infinito (Hilbert 1920):
tener cuidado en su definición. Agreguemos Existe un hotel con un número infinito de cuar-
que no es una paradoja en el sentido estricto tos al que arriba un turista buscando desespera-
de la palabra, porque los trabajos de Cantor damente un lugar en dónde pasar la noche. Sin
permiten salvar cualquier contradicción; más embargo, el recepcionista le informa que el hotel
bien se trata de una ilustración de sus teorías está lleno y no hay cuartos disponibles. El turis-
que pone de manifiesto la importancia de las ta insiste en que le den lo que sea. Finalmente,
mismas y las dota de su real relevancia en la tras una breve pausa, el recepcionista le respon-
historia de la matemática contemporánea. de que arreglará el problema en un momento.
Con un enorme altavoz solicita a los huéspedes
* Profesor del plantel San Lorenzo Tezonco
que por favor cambien de cuarto siguiendo el

8

Existe un hotel con un
número infinito de cuartos
al que arriba un turista
buscando desesperadamente
un lugar en dónde pasar la
noche.
siguiente procedimiento: el que ocupa el cuarto
uno pase al dos, el del dos al tres y así sucesiva-
mente. Una vez completado el cambio de cuar-
tos, el recepcionista, con una sonrisa maliciosa,
anuncia al viajero «señor hemos solucionado
el problema, en un momento podrá ocupar el
cuarto número uno». Al día siguiente, llega un
tour con una infinidad de huéspedes, ¿podrá el
botones aplicar un procedimiento similar para
alojarlos?
En una primera lectura puede pensarse
que la paradoja antes presentada estriba en
que es imposible que se construya un hotel con
una infinidad de cuartos y, por ende, cualquier
conclusión derivada de este hecho no tiene va-
lidez. En efecto, de una contradicción se puede
deducir cualquier proposición; pero el enun-
ciado anterior no es un ejemplo sofisticado de
este hecho y para comprender su significado
y profundidad debemos partir de que el hotel
existe, en el entendido de que esta existencia
es sólo una metáfora para explicar, de forma
sencilla, algunas propiedades de los conjuntos
infinitos. En otras palabras, los hoteles infini-
Mefisto
Close-up of a Sundial Shell, 1970 Adreas Feininger
tos no existen pero, en matemáticas, sí exis-
ten los conjuntos con un número infinito de
elementos, y la paradoja nos ejemplifica que,
en el tránsito de lo finito a lo infinito, nuestra
intuición puede fallar, y que es necesario un
importante grado de rigor para definir, utili-
zar y comprender las diferentes nociones del
infinito.
Descartando soluciones fuera de contexto,
como acomodar al turista en una buhardilla,
que duerma en las escaleras o que comparta un
cuarto con una persona que se ligó al llegar,
no existe una manera de asignarle un cuarto
cuando el hotel sólo cuenta con un número fi-
nito de ellos. Para aclarar las ideas, suponga-
mos que en cada cuarto sólo cabe un huésped;
entonces, si hay n cuartos, la única manera de
ocuparlos todos es alojar n huéspedes. Una vez
lleno, ningún reacomodo de los huéspedes, sea
cual sea, dejará como resultado un cuarto va-
cío, podemos cambiar a los huéspedes de cuar-
to y el hotel seguirá lleno, ¿qué cambia cuando
consideramos una infinidad de cuartos y vi-
sitantes?, ¿cómo funciona algo aparentemen-
9
Mefisto
te tan simple como contar elementos cuando
permitimos conjuntos infinitos? Y a partir de
ahí pueden presentarse preguntas inusitadas
como ¿Todos los infinitos son iguales? O, tan
aparentemente simples como ¿Qué es un con-
junto infinito?
1. Conjuntos infinitos
Los conjuntos con una infinidad de elementos
surgen de manera natural desde las matemáti-
cas elementales, muchas teorías matemáticas y
disciplinas que las utilizan, como la física, no
podrían desarrollarse sin la introducción de
algún concepto de infinito. Leyó usted bien:
cuando hablamos del infinito debemos pensar
en plural. En geometría, aritmética o cálculo,
por mencionar alguna áreas básicas, están pre-
10
Sube y baja Escher
sentes diferentes conceptos de infinito, sin los
cuales es imposible avanzar tanto en la teoría
como en la práctica. Remarquemos lo anterior,
el concepto de infinito no es único, y aunque la
idea intuitiva se conserva cambiando de área, el
concepto puede sufrir variaciones. Por ejemplo,
en geometría puede considerarse un punto en el
infinito como el lugar donde se cortan las rectas
paralelas, digamos un punto sobre la recta del
horizonte; en los números reales, utilizando su
orden, hablamos de un infinito positivo y otro
negativo, en cambio, en los números complejos,
que no son ordenados, sólo tenemos un infinito,
etcétera.
Como una referencia de lo primitivo del
concepto en su forma intuitiva, recordemos
que los griegos ya lo utilizaban con bastante
 Mefisto

soltura. Eudoxio y Arquímedes usaron sumas

infinitas para calcular áreas, lo cual, dicho sea
de paso, fue la base para el desarrollo que siglos
después se dio con la creación del cálculo in-
tegral, y que tantas aplicaciones tiene dentro y De forma intuitiva, hemos
fuera de la matemática. Recordemos también
que en Los elementos de Euclides se habla de rec- aprendido que un conjunto
tas que se prologan indefinidamente y que por es infinito si no es vacío y
tanto tienen longitud infinita, además, en este no tiene fin; esta idea sin
mismo tratado, se prueba la infinitud del con- mucho mas elaboración,
junto de los números primos. Finalmente, por
supuesto, no debemos olvidar que, ya en la épo- es suficiente para probar
ca helénica, Zenón enuncia las primeras para- que algunos conjuntos son
dojas sobre el infinito, mismas que, por razones infinitos.
de espacio, trataremos en un artículo futuro.
De forma intuitiva, hemos aprendido que
un conjunto es infinito si no es vacío y no tiene
fin; esta idea sin mucho mas elaboración, es su-
ficiente para probar que algunos conjuntos son contradicción porque n+1 también es natural y
infinitos. Apelaremos a esas ideas para com- no ha sido incluido en la lista.
prender la paradoja. En el enunciado se utiliza Con una leve modificación, podemos apli-
que los cuartos están numerados, y al hacerlo car el mismo argumento para probar que di-
se usa, de forma implícita, algo de lo que tene- versos conjuntos son infinitos, por ejemplo, los
mos un conocimiento intuitivo desde niños: F1
los números pares también lo son porque si n es par
números naturales, aquellos que usamos para también los es n+2
N = y{1,lo2,mismo
3, · · · }, para cualquier
contar: F2
sucesión de múltiplos de un número k, porque
F1 si n es múltiplo de
N= k también n}es n+k:
{1, 2, · · · , lo
N = {1, 2, 3, · · · },
F3
F2 pares = {2, 4, 6, · · · , 2l, 2l + 2, · · · },
son infinitos. N = {1, 2, · · · , n} multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.

F3 Una idea sencilla de este hecho, presente F4|H| F5 |C| F6

en la definición=de{2,
pares número
4, 6, · · natural
· , 2l, 2l + de2,Peano,
· · · }, Escribir esto de |H|forma
= |C|.rigurosa es bastan-
está en elde
multiplos concepto
k = {k, sucesor.
de 2k, 3k, · ·Dado cualquier
· , kl, kl + F7k, · · · }.te complejo, pero para fines del presente artí-
F4|H| F5 |C| número natural diferente del 1, tiene un suce- culo, sólo A = nos
{a, b,interesa
c} y B =que quede
{árbol, claro
burro, que sin
casa}
F6
sor, el 2 del 1, el 3 |H|
del 2=y|C|.n+1 de n, por tanto diversos conceptos de infinito no se puede de-
F8
F1 si consideramos que los números naturales son sarrollara ↔ árbol, b ↔ burro,
la matemática, c ↔ casa.
ni siquiera la más ele-
F7 N = {1, 2, 3, · · · },
un conjunto finito:
A = {a, b, c} y B = {árbol, burro, casa}
F9|H| mental. Sin embargo, no fue hasta el siglo XIX
F10
F2 que cardinal(H)
Georg Cantor trabajó en un tratamiento
= |H| = |H ∪ {viajero}| = |C|
F8 N = {1, 2, · · · , n} riguroso y fundamental de las propiedades de
a ↔ árbol, b ↔ burro, c ↔ casa.
F3 F11 los conjuntos infinitos. No obstante, como ya
donde n es el último elemento, tendríamos una se mencionó, sus |N
pares
F9|H| F10 = {2, 4, 6, · · · , 2l, 2l + 2, · · · }, ∪ {0}| = |N|
ideas no fueron aceptadas por
multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.
F12
cardinal(H) = |H| = |H ∪ {viajero}| = |C| m → m + 1, Continúa en la página 14
F4|H| F5 |C| F6
|H| = |C|. F13
F11
|N ∪ {0}| = |N|
0 ↔ 1, 1 ↔ 2, · · · , m ↔ m + 1, · · · . 11
F7
F14
F12 A = {a, b, c} y B = {árbol, burro, casa}
1 → 2, 2 → 4, 3 → 6, · · · , n → 2n, · · ·
F8 m → m + 1, n n n n
Mefisto

El cielo de verano

Fases de la Luna

Julio
8 Luna llena
16 Cuarto menguante
23 Luna nueva
30 Cuarto creciente

Agosto
7 Luna llena
14 Cuarto menguante
21 Luna nueva
29 Cuarto creciente

Septiembre
6 Luna llena
13 Cuarto menguante
20 Luna nueva
27 Cuarto creciente

12
 Mefisto

Planetas

Mercurio en Leo
Venus en Géminis
Marte en Cáncer
Júpiter en Virgo
Saturno en Escorpión
Urano en Piscis
Neptuno en Acuario

Lluvias de estrellas
Alfa Capricórnidas 27, de julio
Delta Acuáridas, 30 de julio
Perséidas, 12 de agosto
Kappa Cígnidas,17 de agosto

13
 Mefisto
F1
N = {1, 2, 3, · · · },
Este procedimiento se puede establecer
F2 para cualesquiera dos conjuntos. Diremos que
...sabemos que nuestro N = {1,
dos conjuntos tienen 2, · · · , n}
el mismo cardinal si po-
hotel está lleno si en cada
F3F1 demos establecer una biyección entre ellos, esto
{2,2, 6,··elementos
pares
es, == {1,
si podemosNaparear 4,los ····},, 2l, 2l +de
2, ·uno
· · },
cuarto hay un huésped sin 3,
multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.
con los del otro de tal forma que a cada uno le
importar la numeración F2
F4|H| F5 |C|corresponda uno
F6 N =y {1,
sólo2, uno y no sobren ele-
· · · , n}
ni el orden de los mismos mentos. Por ejemplo, los conjuntos:
|H| = |C|.
F3
y este es el punto esencial F7 pares = {2, 4, 6, · · · , 2l, 2l + 2, · · · },
que diferencía los A =de{a,
multiplos k = {árbol,
b,=c} y{k,B2k, 3k, · · · ,burro, casa}
kl, kl + k, · · · }.

conjuntos finitos de losF4|H|F8F5 |C| F6

tienen ael↔mismo cardinal
árbol, |H|b↔ |C|.porque
= burro, c ↔podemos
casa.
infinitos. aparear los elementos de uno con el otro, por
F7F9|H| F10
ejemplo, a cada letra en A le asociamos la pri-
A = {a, b, c} y B = {árbol, burro, casa}
mera letra de la palabra
cardinal(H) |HB:∪ {viajero}| = |C|
= |H| =en
F8
sus contemporáneos: fue uno más de F11
los genios a ↔ árbol, b ↔ burro, c ↔ casa.
incomprendidos en su época. F9|H| F10 |N ∪ {0}| = |N|
F12 Claramente, cuando se tienen conjuntos
2. Cardinales cardinal(H)
finitos, = |H|
el cardinal →|H
= m∪
coincide
m {viajero}|
+con = |C|de
1, el número
Mencionamos en la introducción F13 que si elementos del conjunto, lo novedoso de esta
F11
el hotel tiene un número finito de cuartos, el manera 0de↔comprobarlo ↔∪
1, 1 |N · · ·está
2,{0}| ,=m |N| en
↔ el m hecho
+ 1, · ·de · . que
estar lleno es equivalente a que el número de no requerimos, en ningún momento, de contar
F14
F12
huéspedes y el de cuartos coincida. El con- los elementos 1 → 2, 2de →m cada3 → conjunto. En el ejem-
4,→ m 6, + ·1,· · , n → 2n, · · ·
cepto de cardinal de un conjunto generaliza n
la plo n
anterior, hemos visto que n
A y B tienen n
el
F15 2 F16 {3 } al segundo
idea de cantidad de elementos y es la clave para mismo número de elementos sin utilizar en el F17 5 , F18 primo , F19
F13 iF1 que
comprender la paradoja. Más específicamen- dicho número es igual 0 ↔ 1, 1 ↔ 2, · · · , m ↔ m + 1, · · · .
{x1 , ax23. , · Esto
· · } nos permitirá
te, el concepto de cardinal coincide F14conF1el de extender el concepto de «número» deF2elemen-
F1
número de elementos para conjuntosF20 finitos
Hi F21 y G tos para
i F221 →un 2 →N4,=
2, conjunto {1,
3 → 2,·3,· ·· ,· n
infinito.
6, · },→ 2n, · · ·
F1 N = {1, 2, 3, · · · },
permite dar una definición para conjuntos F2 n in- n Similarmente, {G1sabemos
,··· ,G n n ,que· · · }.nuestro n hotel
N = {1, 2, 3, · · · }, F15 2 F16 {3 } al segundo en el F17 5 , F18 primo F3 i , F19
finitos
F2 que no depende de la acción F23 de contar
¿ está lleno si en cada N =cuarto
{1, 2, ·hay · · , un
n} huésped, sin pares
F2 como la entendemos cotidianamente. N = {1, 2, · · · , n} importar la numeración {x1H , xi 2∈,ni
·G· el
·i}?orden de los mis- multiplos de k
F3
N = {1, 2, · · · , n}
F3 Estamos considerando dos conjuntos: mos, paresy este es el = punto{2, 4, esencial
6, · · · , que
2l, 2ldiferencia
+ 2, · · · },
F4|H| F5 |C| F6
F20 H
{2,hotel F21
4, 6, · está G
· · , 2l, 2l F22 2, · · · },
F3 los huéspedes pares
H y los cuartos=C. El i
los
i +conjuntos
multiplos = {k,
de kfinitos de 2k,los 3k, · · · , kl, kl + k, · · · }.
infinitos.
{2, 4,de
lleno cuando elmultiplos
pares = · · ,=2l, {k,
6, ·khuéspedes 2l +2k,
2, 3k, · · · , kl, kl + k, · · · }.{G1 , · · · , G
· · · }, 1n
, · · · }.
número de F4|H| yF5el |C| F6 La paradoja nos muestra que al agregar
multiplos de k = {k, 2k, 3k, · · · , kl, kl +
F23 ¿ k, · · · }. F7
deF4|H| F5 |C| coinciden:
cuartos F6 un huésped, no cambia |H| el = cardinal
|C|. del conjun-
A = {a, b
F4|H| F5 |C| F6 |H| = |C|.
F7 to de los huéspedesHyi ∈ que, Gi ?
con ingenio, pode-
|H| = |C|. mos establecer
A = {a, b,una c} ynueva biyección entre
F7 F8ellos
B = {árbol, burro, casa}
F7 Para comprobarlo A =hay{a,un b, c}mecanismo
y B = {árbol,sen- burro, y loscasa}
cuartos. En otras 1palabras, si denotamos a ↔ árb
F8
cillo:Acada
F8 huésped
= {a, b, c} y Bocupa un y burro,
= {árbol, cuarto con H el
sólo uncasa} a↔ conjunto
árbol, deb ↔ losburro,
huéspedes c↔ y por F9|H| F10
casa.
F8 y, como el hotel estáalleno,
↔ árbol,no sobran cuartos c su
b ↔ burro, ↔ cardinal
casa. y por C al conjunto de los cuartos
vacíos.a ↔ árbol, b ↔ burro, c ↔ casa. F9|H| F10tenemos: cardinal(H
F9|H| F10
F9|H| F10 F11 = |C|
cardinal(H) = |H| = |H ∪ {viajero}|
14 cardinal(H) = |H| = |H ∪ {viajero}| = |C|
F11= |C|
cardinal(H) = |H| = |H ∪ {viajero}|
F11 F12
|N ∪ {0}| = |N|
F11 |N ∪ {0}| = |N|
F12
 N = {1, 2, · · · , n}
F1
F7
N = {1, 2, 3, · · · },
pares AN ==={a,{1,
{2, 4, ·6,y· ··B
b, 2,
c} ·, ·n}= {árbol,
, 2l, 2l + 2,burro,· · · }, casa}
F2 multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.
F8
pares a=↔ {2, 4, 6,N· ·b=
árbol, ·↔ , {1, 2, ·+· ·2,, n}
2l,burro,
2l · c· ·↔}, casa. Mefisto
| F5 |C| F6
F3multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.
|H| = |C|.
F9|H| F10 pares = {2, 4, 6, · · · , 2l, 2l + 2, · · · },
F5 |C| F6
7 multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.3. Algunas variantes de la paradoja
|H| ==|C|.
cardinal(H) |H| = |H ∪ {viajero}| = |C| Una vez establecido el carácter de la paradoja y
A = {a, b, c} y B = {árbol, burro, casa}
F4|H| F5 |C| F6
su relación con el concepto de cardinal, pode-
8 F11 |H| = |C|.
a ↔loárbol,
cual, evidentemente,
|N ∪ {0}|cno puede
casa. ser cierto en mos establecer diferentes variantes de la mis-
A = {a, b, c} y B = {árbol, burro, casa} F1
b ↔ burro, ↔|N|
=
F7 conjuntos finitos. ma que ejemplifiquen N = diversas
{1, 2, 3, · propiedades
· · }, de
F12
9|H| F10 A = {a, b, c} y B = {árbol, burro, casa}
a ↔ árbol,Si pensamos
b ↔ burro, sólocen ↔lacasa.numeración F2 de los los conjuntos infinitos.
m → m + 1,
H| F10
cuartos,
F8 cardinal(H) y al=viajero
= |H| |H ∪ {viajero}| lo designamos = |C| con el nú- N = {1, 2, · · · , n}
mero 0, el enunciado lo podemos traducir F3 en: a) Tours infinitos. Al presentar el enunciado,
F13 a ↔ árbol, b ↔ burro, c ↔ casa.
cardinal(H) 0 ↔ 1, 1 ↔ 2, · ·
= |H| = |H ∪ {viajero}| = |C| · , m ↔ m + 1, · · · . dejamos
pares abierta la = pregunta
{2, 4, 6, · · de qué
· , 2l, 2l +sucede
2, · · · },
F9|H| F10
F14 |N ∪ {0}| = |N| cuando arriba
multiplos de kun=tour {k,con una· · infinidad
2k, 3k, · , kl, kl + de
k, · · · }.
cardinal(H) = |H| = |H ∪
1 → 2, 2 → 4, 3 → 6, · · · , n → 2n, F4|H|{viajero}| ··· = |C| personas
F5 |C| F6 y solicita hospedaje. Podríamos re-
|N ∪ {0}| = |N|
n n y la biyección
m → m queda + 1, establecida
n por n petir la misma solución |H|utilizada
= |C|. para un via-
F112 F16 {3 } al segundo en el F17 5 , F18 primoi , F19
F15
|N ∪ {0}| = |N|
jero: solicitar al huésped del cuarto n que pase
F7
a ocupar =n+1
A el {a, b,e c}
ir introduciendo, en el cuarto
m → m +{x 1,1 , x2 , · · · }
0 ↔ 1, 1 ↔ 2, · · · , m ↔ m + 1, · · · . y B = {árbol, burro, casa}
F12 que queda vacío, uno a uno, a todos los miem-
F20 Hi F21 Gi F22 m → m + 1, F8
0 ↔ dando
1, 1 ↔ 2,un· ·apareamiento
· , m ↔ m + 1,del · · ·tipo
. bros del tour. Sin embargo, es un procedimien-
1 → 2, 2 → 4, 3 → {G6,1 ,· · · ·, ,nG→ n , ·2n,
· · }.· · · a ↔ árbol, b ↔ burro, c ↔ casa.
F13 to en donde cada turista nada más entrar a su
n F23 ¿ n
F16 {3 } al segundo en0 ↔ 1, 1 ↔
el F17 5n ,2,F18 , m ↔n ,mF19
· · · primo cuarto, tendría que desalojarlo para pasar al
F10 + 1, · · · .F9|H|
1 → 2, 2 → 4, 3 → 6, · · · , n → 2n, ·i · ·
Hi ∈ Gi ? siguiente y tendría que hacerlo de forma inde-
F14
F16 {3n } al segundo en el{x F171 , x5 2 , ·, ·F18
n ·}
primoni , F19 cardinal(H) = |H| = |H ∪ {viajero}| = |C|
Para
1 → 2,acabar 2 → 4, esta
3 →sección
6, · · · , n expresemos
→ 2n, · · · de
finida antes de poderse acomodar. Podríamos
Hi F21 F16 {3una
F15G2i nF22 n
} almanera
{x1 , xun
segundo · poco
2 , en· · el
} F17 diferente
1 5n , F18 primoF11
lo anterior.
replantear nuestra pregunta, ¿existe una solu-
n
i , F19
Recordemos
{G1 , · · · , Gnque , · · ·A}.es un subconjunto de B
ción similar a la de |N
un∪viajero
{0}| =en que podamos
|N|
si todos los elementos {x1 , xde 2 , ·A· · también lo son de
acomodar al tour en un solo cambio de cuarto?
F21 Gi F22 }
{G , · · · , G , · · · }. F12
B. Entonces
1
Hi tenemos
∈ Gi ? la siguiente propiedad:
n La respuesta es sí y esmbastante
→ m + 1, sencilla:
F20 Hi F21 G1. i F22
Si A es finito, A es subconjunto de B y el car- Utilizando su altavoz, el botones pide a to-
{G , · · · , Gn , · · · }. F13
dinal de Ai es igual
H ∈ G ?1 i al cardinal de B entonces dos los huéspedes que cambien al cuarto cuyo
0 ↔ 1, 1 ↔ 2, · · · , m ↔ m + 1, · · · .
F23 ¿ A=B, en cambio, 1 número es el doble del que ocupan:
Hi ∈ subconjuntos
2. si B es infinito admite Gi ? diferen-
F14
1
tes de él pero con el mismo cardinal. Esta última 1 → 2, 2 → 4, 3 → 6, · · · , n → 2n, · · ·
F15 2n F16 {3n }Una
propiedad caracteriza a los conjuntos infinitos, vez realizado
al segundo este5cambio,
en el F17 n todos
, F18 primo i , los
n
F19
1
por lo cual puede utilizarse como una definición cuartos pares están ocupados y todos los nones
de ser infinito que no apela a ideas intuitivas. quedaron vacíos y así {x1tenemos
, x2 , · · · }una infinidad

F20 Hi F21deGicuartos
Para finalizar esta sección, mencionemos F22 vacíos, lo cual nos permite alojar a
que existe un antecedente curioso a los traba- nuestro tour. {G1 , · · · , Gn , · · · }.
jos de Cantor. Galileo en Diálogos acerca de dos Hemos utilizado implícitamente que el
F23 ¿
ciencias nuevas probó que los naturales tienen cardinal de los números naturales es igual al de
Hi ∈ Gi ?
el mismo cardinal que el conjunto de sus cua- los pares y al de los nones. Dicho de otra ma-
drados y concluyó que en los conjuntos infinitos nera, puede un conjunto infinito ser la unión
las igualdades y las desigualdades no funcionan, de dos conjuntos del mismo 1 cardinal y ajenos
pero no ahondó en el problema porque no po- entre sí. Más aún, respectivamente los pares y
día concebir que se contradijera el axioma de los nones son de la forma 2n y 2n+1; y si cam-
que el todo siempres es mayor que las partes. biamos el 2 por otro número, digamos s, po-

15
 F1
N = {1, 2, 3, · · · }
Mefisto F2
N = {1, 2, · · · , n
F3
pares = {2, 4, 6, · · · , 2
multiplos de k = {k, 2k, 3k, · ·
F1 F4|H| F5 |C| F6
F1 F1 N = {1, 2, 3, · · · }, |H| = |C|.
N = {1, 2,F2 3,N· ·=· },
{1, 2, 3, · · · },
F7
F2 F2 N = {1, 2, A ·=
· · {a,
, n}b, c} y B = {árbol,
N = {1, 2,F3 ·N·· = {1, 2, · · · , n}
, n}
F8
F3 F3 pares = {2, 4, 6, · · · , 2l, 2l + 2, · · · },
a ↔ árbol, b ↔ burro,
pares pares= {2, 4, 6, = · · · ,{2, multiplos
2l6,+· 2,
2l,4, · },2l + 2, · ·=· }, {k, 2k, 3k, · · · , kl, kl + k, · · · }.
· · ·,·2l, de k
multiplos demultiplos
kF1= {k, de2k,
kF4|H|= · {k,
3k, · , 2k,
·F5 kl, 3k,
|C|klF6 · F9|H|
+· ·k,· ·, ·kl,}.kl + k,F10 · · · }.
N = {1, 2, 3, · · · }, |H| = |C|.
F4|H| F5 |C| F6 F5 |C| F6
F4|H| cardinal(H) = |H| = |H ∪ {v
F2 |H| = |C|. F7|H| = |C|.
F7 N =A{1, F11= 2,{a,· · b,
· ,c}
n}y B = {árbol, burro, casa}
F7
|N ∪ {0}| = |N|
F3 b, c}A y=B{a,
A = {a, = b,{árbol,
c}F8 = {árbol,
y Bburro, casa}burro, casa}
pares = {2, F12 4, 6, · · · , 2l, 2l + 2, · · · },
F8 F8 a ↔ árbol, b ↔ burro, c ↔ casa.
multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }. m → m + 1,
a ↔ árbol, a ↔b↔árbol,
burro, F9|H|b↔ c↔ F10 casa. c ↔ casa.
burro,
F4|H| F5 |C| F6 F13
F9|H| F10 F9|H| F10 |H| = |C|. = |H| = |H0 ∪
cardinal(H) ↔{viajero}|
1, 1 ↔ 2, ·=· ·|C|
,m ↔ m
Galería de Grabados de M.C. Escher. Crédito: The Escher Foundation Collection
cardinal(H) F7 = |H| = |H=∪|H|
cardinal(H) {viajero}| = |H ∪={viajero}| |C|
F14 = |C|
F11A = {a, b, c} y B = {árbol, burro, casa}
→ 2, 2 → 4, 3 → 6, · · · , n
al 1huésped
demos alojar F11s-1 t tours
F11infinitos colocando a deremos la siguiente opción: mover |N ∪ {0}| = |N|
F8de s, y del |N
los huéspedes en los cuartos múltiplos |N|∪ {0}|n=al|N|
= cuarto F15 2n .F16
cuarto Una{3vez } alrealizado
n
|N ∪ {0}| segundo en el F17 5n , F18
F12 a ↔ árbol, b ↔ burro, c ↔ casa.
al tour i enF12 cuyo residuo al dividir este movimiento
los cuartosF12 quedarán vacios m todas
→ m + las1,po-
{x1 , x2 , · · · }
por s sea i. Así, por ejemplo, si queremos alojar
F9|H| F10
m → m tencias
+ 1,m →
 de m cada
+ 1, número primo diferente de 2 y,
F13
7 tours movemos a nuestros huéspedes a los además, todos los números compuestos. Desde
F13 F13 cardinal(H) = |H|F20 0=↔ H1,
|H i∪F21 ↔G 2,i ·F22
1{viajero}| ·· ,m = |C|↔ m + 1, · · · .
cuartos de la forma 8k, al primer tour a los de Euclides se sabe que el conjunto de los números {G1 , · · · , Gn , · · ·
0 ↔ 1, 1 ↔ 02,↔ · · ·1,, 1m↔ ↔2,m· ·+· ,1,m· ·↔ · . m + 1, · · · .
la forma 8k+1, al segundo en los F11 de la forma F14 primos es infinito y por tanto podemos meter al
F23 → ¿2, 2 → 4,numeración
3 → 6, · · · , es n → 2n, · · ·
8k+2 hastaF14 F14
arribar al séptimo que ocuparán las primer tour en |N los∪1cuartos
{0}| =cuya |N| Hi ∈ Gi ?
habitaciones con números de 1la→ 2, 2 8k+7.
forma →3 2,
→1 4, → 2F156,→
de · ·4,
· la , 3nF16
2forma
n →
→ 6,{3· n· ·}· ·,al
2n, al → 2n, · · en
·n segundo
segundo ·en el
losF17de la5n ,forma
F18 primoni , F19
F12
F15 2n F16F15{3n }2nalF16 {3n } al
segundo el F17 5nen
en segundo ,, aleli-ésimo
F18 F17 5n ,en
primo i , F19el → m +i 1,
nF18 primon , F19
m etcétera.
{x1 , x2 , · · · }
b) Infinitos tours infinitos: ¿qué sucedería Expliquemos lo anterior con un poco más 1
F13 {x , x , · · · } {x1 , x2 , · · · }
si llegara una infinidad de tours de infinitos F20 1 2de detalle:H0i ↔ F21 para construir un conjunto con el
1, G
1 i↔F22 2, · · · , m ↔ m + 1, · · · .
miembros? F20 H F21F20 G H
F22i F21 G i F22 mismo cardinal que los números {G1 , · ·naturales
· , Gn , · · · es
}.
i i
El método que venimos utilizando F14
{G1sólo
,··· ,G suficiente
{G
n , ·¿ 1· ,· ·}. · · ,que
Gn ,podamos
· · · }. escribir sus elementos
F23 1 →
 2, 2 →
 4, 3 →
 6, · · · , es
n → 2n, · · · ele-
funciona para un número finito de tours; pero en una lista indicando quién el primer
Hi ∈ Gi ?
F23 ¿ F23 ¿
a estas alturas, ya hemos visto suficientes F16 {3nmento,
F15 2n ejem- } al segundo el segundo,en el F17 etcétera:5n , F18 primoni , F19
Hi ∈ Gi ? Hi ∈ Gi ?
plos para aceptar que existen muchas maneras
de crear subconjuntos infinitos de los naturales {x1 , x2 , · · · }
1
que con un poco de ingenio permiten,
F20 HienF21
unG1 F22 1
i
sólo cambio de cuarto, dejar vacíos una infini- y cualquier
{Gsublista infinita da lugar a un
1 , · · · , Gn , · · · }.
dad de conjuntos infinitos. Por ejemplo, consi- subconjunto infinito también con el mismo
F23 ¿
Hi ∈ Gi ?
16
1
 Mefisto

cardinal de los números naturales. Alternati-

vamente, para encontrar un subconjunto de como es usual, primero el número de piso y
los naturales, con su mismo cardinal, basta dar después el número de cuarto. Así el cuarto 8 del
un primer elemento y una regla que permita piso 7 tiene la numeración 7,8 y el 20 del piso
dado un número en la lista generar otro que 500, 500,20 y, en general, el cuarto m del piso n
aún no ha sido incluido y, contrariamente a lo será n, m.
que parece en una primera lectura, cualquiera La segunda pregunta tiene mayor grado
de los dos métodos es fácil de realizar. de dificultad. Evidentemente, si comenzamos a
numerar por el primer piso nunca llegaremos
c). Infinitos pisos. Cansados de estar movili- al segundo, mucho menos, los cubriremos to-
zando huéspedes, los dueños del hotel decidieron dos. Así que debemos encontrar una manera
agregar una infinidad de pisos, de tal manera de ir numerando todos los pisos a la vez.
que para acomodar un tour basta con asignarle Observemos que dado un número n tene-
un piso. Así cuando llega el séptimo tour infini- mos n-1 cuartos i, j cumpliendo i + j = n.
to sólo se le dice acomódese en el séptimo piso. No existe ningún cuarto donde la suma de
Sin embargo, se enfrentaron con dos problemas: i y j sea 1; para el 2 tenemos el cuarto 1,1; para
¿cómo numerar los cuartos? y, para la tempora- el tres tenemos los cuartos 1,2 y 2,1; para el 4
da baja, ¿podrán realizar una nueva numera- los cuartos 1,3, 2,2, 3,1;...
ción de tal forma que con un solo tour infinito Ya tenemos nuestra numeración alternativa
no queden cuartos vacíos?
La primera pregunta tiene una respuesta el cuarto 1 será el 1,1 el 2, 1,2, el tres 2,1 y así
muy sencilla, puede realizarse una numeración sucesivamente.

17
Mefisto

“...Pero en vista de que, después de habérseme intimado judicialmente por este Santo
Oficio el mandato de que yo debía abandonar por completo la falsa opinión de que el
Sol es el centro del mundo y está inmóvil y de que la Tierra no es el centro del mun-
do y se mueve, y de que yo no debía sostener, defender o enseñar de ninguna manera,
verbalmente o por escrito, dicha falsa doctrina, y que después de habérseme notificado
que dicha doctrina era contraria a las Sagradas Escrituras, escribí e imprimí un libro en
el cual discuto esta nueva doctrina ya condenada, y presento argumentos grandemente
convincentes en su favor, sin presentar ninguna solución de ellos, he sido declarado
por el Santo Oficio como vehementemente sospechoso de herejía, es decir, por haber
sostenido y creído que el Sol era el centro del mundo e inmóvil, y que la Tierra no era el
centro y que se movía.”
Retracción de Galileo Galilei (fragmento)

18
 F3 pares = {2, 4, 6, · · · , 2l, 2l +
pares = {2, 4, 6, ·multiplos · · , 2l, 2l + de2,k· · ·=}, {k, 2k, 3k, · · · , kl,
F1 multiplos de k = {k, 2k, 3k, · · · , kl, kl + k, · · · }.
F4|H|
N = {1, F5 2,|C| 3, ·F6· · },
F4|H| F5 |C| F6 |H| = |C|.
F2
N F7
|H| = |C|.
= {1, 2, · · · , n}
Mefisto
F7 A = {a, b, c} y B = {árbol, burro
F3
Un conjunto se llama numerable si tiene pares A = {a, b, c} y B = {árbol, burro, casa}
= F8{2, 4, 6, · · · , 2l, 2l + 2, · · · },
el mismo cardinal que los números naturales.
F8 multiplos de k = {k, 2k, 3k, · · · ,akl,↔klárbol, + k, · · · b}.↔ burro, c ↔
La idea de la variante anterior nos permite a ↔ árbol, b ↔ burro, c ↔ casa.
F4|H| F5 |C| F6
entender el porqué los números enteros y los
F9|H| F10
CansadosF9|H| de
|H| = |C|.
estar
F10
fraccionarios lo son. En efecto, con pequeñas movilizando huéspedes, cardinal(H) = |H| = |H ∪ {viajero
modificaciones para no tener más deF7 una re-
Alos dueñosc} y Bdel hotelburro, casa}
cardinal(H) = |H| = |H ∪ {viajero}| = |C|
presentación del mismo número, los enteros = {a, b,F11 = {árbol,
pueden pensarse como parejas de F11números
F8 decidieron agregar una |N ∪ {0}| = |N|
naturales n-m y los fraccionarios como n/m y ainfinidadF12 de
↔ árbol, |N b ↔pisos,
∪ {0}| burro, de
= |N| c ↔ casa.
el mecanismo anterior nos permiteF12 enlistarlos.
F9|H| F10 tal manera que para m → m + 1,
Entonces, ¿todos los conjuntos infinitos son m →
 m + 1,
numerables?
acomodar F13 un tour basta
= |H| = |H ∪ {viajero}|
F13 cardinal(H) 0 ↔ 1,=1|C| ↔ 2, · · · , m ↔ m + 1,
F1 con
0 ↔ 1,asignarle
1 ↔ 2, · · · ,un m ↔piso. m + 1, · · · .
F11 N = {1,F14 2, 3, · · · },
d). Conjuntos no numerables. En F14la cocina |N ∪ {0}| = |N| 1 → 2, 2 → 4, 3 → 6, · · · , n → 2
están hartos: cada huésped quiere
F2 un desayuno 1 → 2, 2 → 4, 3n → 6, · · n· , n → 2n, · · ·
distinto y no bajan los mismos cadaF12día. La ad- N = {1,F15 2, 2· · · F16 , n} {3 } al segundo en el F17 5n , F18 prim
n n
F15 2 F16 {3 } al segundo en el m F17 → m5n+, F18 1, primoni , F19
ministración ha instalado un F3mecanismo don- huésped del cuarto i y supongamos que hemos {x1 , x2 , · · · }
pares = {2,
de cada visitante toca un botón rojo si asistirá creado otra lista con
F13 4, 6, · · ·
todos , 2l, 2l
los + 2, ·
posibles · · },
grupos de
{x1 , x2 , · · · }
multiplos de k 0 ↔ = 1,{k, 2k,2,3k, ·· ·,·m, kl, kl ++k, 1,··iésimo:
····}..
al desayuno y uno verde si no lo hará. Ahora inquilinos denotando
↔
1F20 H·i ·F21 por G↔ i el
mgrupo
F22
lo que se necesita es que a cada
F4|H|posible
F20 Hgrupo,
F14|C|
F5 F21 Gi F22
i F6 {G1 , · · · , Gn , · · · }.
incluso cuando nadie asista, se le asigne un nú- 1 → 2, |H| {G
→ , · · · , Gn , · · · }.
=14,|C|.
2F23 ¿ 3 → 6, · · · , n → 2n, · · ·
mero en una lista para preparar F7 exactamente
F23
F15 ¿2n F16 {3n } al segundo en el F17 5n , F18 primoni , F19 Hi ∈ Gi ?
los desayunos solicitados. Un día, por ejemplo,A = {a,Hagamos
b, c} y B =las{árbol,
siguientes
H Gi ? preguntas,
i ∈ burro, casa} ¿per-
pueden bajar sólo los inquilinosF8de los cuartos tenece el inquilino {xdel 1 , x2cuarto
, · · · } 1 al grupo 1 de
pares, otro los de los cien primeros cuartos y el a desayuno?,
↔ árbol, b¿el ↔turista
burro, delc cuarto ↔ casa.2 al segundo 1
F20 H
cocinero quiere asignarle a cada combinacióni F21 Gi F22
grupo?, en general, ¿pertenece 1 el huésped i al
F9|H| F10 {G1 , · · · , Gn , · · · }.
posible un único número, pero no encuentra la grupo i ? en símbolos :
forma de hacerlo, ¿podremos auxiliarlo? F23 ¿ cardinal(H) = |H| = |H ∪ {viajero}| = |C|
Ya acostumbrados a que todo tiene solu- H i ∈ Gi ?
ción sencilla, estamos tentados
F11a pensar que la
solución al ejemplo anterior vuelve a ser sólo Esta |N ∪ {0}| =divide
pregunta |N| a los huéspedes en
1
F12 la lista solici- dos clases ajenas: aquellos para los cuales la
una ingeniosa forma de realizar
tada; sin embargo, no es posible realizarla. respuesta m es →
afirmativa
m + 1, y para los que es ne-
Para probar este hecho,F13 supongamos que gativa. Ahora bien, el conjunto formado por
existe una lista que incluye a todos los grupos y 0la↔segunda · · · , m X,
1, 1 ↔ 2,opción ↔ esm decir
+ 1, · ·por
· . los huéspe-
vamos a construir, a partir de ella, un elemen- des cuyo número de cuarto no coincide con
F14
to nuevo que no pertenece a dicha lista. Dicho 1 → el 2,
de 2desayuno, no puede provenir de nadie.
→ 4, 3 → 6, · · · , n → 2n, · · ·
en otras palabras, cualquier lista que podamos En efecto, si existiera j cumpliendo n
F24 X = Gj F25 Hj ∈ X F26
n n n
F15 2 F16 {3 } al segundo
construir con los posibles grupos de desayuna- arribaríamos a una F24 en el F17 5 , F18 primo
contradicción:
X = Gj F25
i , F19
N siF31P
Hj ∈ (N).
X F32
F26Hj ̸∈ X F27H
dores es incompleta. entonces
F24 X =por Gj ,definición
{x F25 HNj ∈ F31P
X X: F32
deF26H
(N). j ̸∈ X .F27H
Simi-j ̸∈ X F28 Hj ∈ X
1 x2 , · · · }
Consideremos F24la numeración
X = Gj F25 deHlos
j ∈hués-
X F26H larmente,
N F31P si j ̸∈ X por
(N).
j ̸∈ X F27H F32 F28 definición
Hj ∈ X F33 de N
F29 X tene-
F30 A = {1, 2}
pedes
F24 X =dada por H
Gj F25 sus
jN∈cuartos,
F31P (N).
F20
X F26H H̸∈ iXdenotará
asíj F32 F21 al
̸∈ X mos
Gi jF22
F27H F28 Hj ∈ X F29 y enNcualquiera
F30
F33 de A los=dos
{1,casos
2} P (A) =
N F31P (N). F32 A = {1,
F33 {G12}
, · · · , Gn , · · · }. P (A) = {∅, {1}, {2},
F34
A = {1, 2}
F33 F23 ¿
{∅, {1}, {2},
P (A) =F34 Hi{1, ∈G 2}},
19
F34 P (A) = {∅, {1}, {2}, {1, 2}},
F33 i? |A| < |P (A)|
F35
F34P (A) = {∅, {1}, {2}, {1, 2}}, |A| < |P (A)|.
F35
F34 |A|
F35< |P (A)|. {x : x ̸∈ f (x)
 F24 X = Gj F25 Hj ∈ X F26Hj ̸∈ X F27Hj ̸∈ X F28 Hj ∈ X F29 N F30
N F31P (N). F32
A = {1, 2}
F33
Mefisto P (A) = {∅, {1}, {2}, {1, 2}},
F34
no proviene de nadie ¡No todos los conjuntos
|A| < |P (A)|.
infinitos tienen el mismo cardinal! Y, de hecho,
F35 podemos
Hj ∈ Xconstruir
F26Hj ̸∈ una infinidad deF28
conjuntos
Hj ∈ X F29 N F30
F24 X = Gj F25 X F27H j ̸∈ X
{x
N F31P (N). F32de diferente cardinal:: x ∈
̸ f (x)}
F36 A = {1, 2}
F33 |N| < |P (N), < · · · < |P (P (N))|, · · ·
F37 P (A) = {∅, {1}, {2}, {1, 2}},
F34
Por otro lado,
|N| Cantor
< |X| <también
|R|? probó que
el cardinal de los|A|
Fórmulas Fausto números
< |P (A)|.reales es más grande
que el de los naturales, quedando abierta una
F35 F1 { ′
pregunta que obsesionó al
x = x −propio
vt, Cantor y a
(1)
{x y: ′x ̸∈=f (x)}
muchos expertos en conjuntos posteriores: La
y,
siendo x=x(t)hipótesis
F36 y y=y(t)del
las continuo:
coordenadas ¿existe
en elun conjunto
sistema X
de referencia en tierra,
|N| < |P
cumpliendo 
x’=x’(t’) y y’=y’(t’) (N), < · · · < |P (P (N))|, · · ·
F37 
 x′ = √ x−vt2 2 ,
 1−v /c
David Hilbert |N| y<′ |X| <
= y, |R|?

 2
Fórmulas Fausto  t = √t−vx/c .
′

F1 La respuesta
{ ′ no es menos sorprendente,
1−v 2 /c2

hemos arribado a un absurdo. en 1938 Gödelxprobó= xque si la hipótesis del

− vt,
(1)
′
y = y,
Al considerar todos los posibles grupos de continuo es cierta, la teoría de conjuntos que-
huéspedes, en realidad, estamos considerando siendo x=x(t) y da libre las
y=y(t) de contradicciones,
coordenadas en elsegún sistema losde
axiomas
referencia en tierra,
25 Hj ∈ X F26Hjtodos ̸∈ X F27Hlos posibles subconjuntos
j ̸∈ X F28 Hj ∈ X F29 de NXF30
x’=x’(t’)
F24 , lo = yque deHZermelo-Fraenkel-Axioma
Gy’=y’(t’)
j F25 j ∈ X F26H  ′ j ̸∈ X F27H deXElección.
j ̸∈ F28 Hj Sin
∈ X F29 N F30
√ x−vt
2 seF24conoce
X=G como
j F25laHpotencia
j ∈ X F26H de N y Xse F27H
j ̸∈F31P deno- ̸∈ embargo,
(N). jF32 X F28 Hjen∈ 1963

 x
X F29 Paul
= Cohen
1−v 2 /c2 probó que si se
N F30 ,
A = F31P (N). En
taN por {1, 2} F32general, dado un conjunto A supone falso tampoco y A== {1,
′
y,contradice
2} dichos axio-
definimos su potencia P(A) como el conjunto mas. Es decir, 
A = {1, 2}  tcon=los√axiomas
 . mencionados,
t−vx/c 2
′
F33 1−v 2 /c2
P (A) = {∅, formado
{1}, {2},
F33 por 2}}, los subconjuntos de A, por puede construirse
{1,todos P (A) = {∅,una {1},teoría
{2}, {1, de2}},conjuntos vá-
F24 X = G
F24 X = Gjj F25 ejemplo
F25 HHjj ∈ si
∈ X F26H ∈
̸
X F26Hjj ̸∈ X F27H X F27H ∈
̸
P (A) jj≠∈{∅, X F28
X {1},
F28 {2}, H ∈ X lida
F29
Hjj ∈{1,X2}}, N
F29suponiendo
F30
N F30 verdadero o falso dicho enun-
N F31P (N). F32 F34
N F31P (N). F32 |A|F34 < |P (A)|. ciado. |A| < |P (A)|.
A
A= = {1, {1, 2}
2} En conclusión, el uso de los conjuntos in-
F24 X = Gj F25 Hj ∈ X F26Hj ̸∈ X F27Hj ̸∈ |A|X<F28 |P (A)|.Hj ∈ X F29 N F30
F33 entonces F35 finitos es necesario para la construcción de la
F33
N F31P (N). {x F32 : x ̸∈ f (x)}
F35 {x : x ̸∈ f2(x)}
P (A) =
P (A) = {∅, {∅,
A= {1},
{1}, {2},
{1,{2}, {1, 2}},
2} {1,{x2}}, matemática. A nivel elemental basta entender-
: x ̸∈ f (x)}
F34 F36 los de forma intuitiva, pero en cierto grado de
F34
F24
F33|N|X<= |P G j F25
(N), < · H
· · j<∈|PX(PF26H j ̸∈
(N))|, · · ·X F27Hj ̸∈ X F28 Hj ∈ X F29|N| N< F30
N F31P (N). F32 y siempre, se trate
F36 |A|
|A| de<
< conjuntos
|P
|P (A)|.
(A)|. finitos o infi- desarrollo |P
es(N), · · · < |P (P (N))|,
muy< importante ···
formalizarlos y
P (A) = {∅, {1}, |N| <{2},
|P {1,
(N), 2}},
< · · · < |P (P (N))|, · · ·
F35
nitos A = {1, 2} F37 dicha formalidad ha abierto un nuevo campo
F35
F34 |N| <F37 |X| < |R|?
{x de las matemáticas,
|N| < |X|e incluso
< |R|?de la filosofía, en
F33 |A|:: <
{x x ̸∈
x |Pff(A)|.
̸∈ (x)}
(x)}
austo |N| < |X| < |R|? donde todavía queda mucho camino por reco-
F36 P (A) = {∅, {1}, {2}, {1, 2}},Fórmulas Fausto
F36
F35 { ′En efecto, FórmulasparaFausto
cualquier apareamiento F1 f que rrer. { ′
|N|
x −<
|N| < |P
|P (N),
(N), <
< ·· ··̸∈·· <
< |P
|P (P
(P (N))|,
(N))|, ·· ·· ··
F34 x hagamos
′
= F1 entre
vt, elementos
{x : x f de
(x)}A y
{ ′ de su potencia
(1) x = x − vt,
2 (1)
F37
F37
F36
= y,
y P(A), el conjunto|A| < |P (A)|. x = x − vt, y ′ = y,
(1)
y y=y(t)
F35 las coordenadas|N| en<el|P |N|
|N| <
sistema
(N), < ·|X|
< de|X| <<
<|P |R|?
|R|?
· ·referencia y ′en =
(P (N))|, · · y,
tierra,
·x=x(t) y y=y(t) las coordenadas en el sistema de referencia en tierra,
siendo
y’(t’) Fórmulas
 Fausto {x : x ∈
̸ f
siendo x=x(t) y y=y(t) las coordenadas(x)} x’=x’(t’)enyely’=y’(t’)
sistema de referencia
 ′ en tierra,
F37Fórmulas Fausto
′ √ x−vt
F1  x =
x’=x’(t’) y ,
y’=y’(t’)  x = √ x−vt2 2 ,
F36F1   1−v 2 /c2 {{|N| ′′< |X| < |R|?  ′ 
 1−v /c
y ′ = y,|N| < |P (N),
xx <= =· · · x<−
x vt,
−|P
vt,
 (P x(N))|,= · ·√· x−vt2 2 , (1) y ′
= y,
yy′′ =  1−v /c (1)

Fórmulas
 ′ Fausto√t−vx/c2 = y, y, 
20 
′ 2

F37F1  t = . y = y,  t ′
= √t−vx/c .
1−v /c {
2 2
 1−v 2 /c2
siendo
siendo x=x(t)
x=x(t) yy y=y(t)
y=y(t) las
las coordenadas
coordenadas
′
=
x < |X| < |R|?x en
en
− el

el

vt, sistema
′
sistema
t = de
√
de referencia
t−vx/c 2
referencia
. en
en tierra,
tierra,
|N| 1−v 2 /c2 (1)
x’=x’(t’)
x’=x’(t’) yy y’=y’(t’)
y’=y’(t’) 
 y′′ ′ = √y,x−vt
Fórmulas Fausto 
 x
x = = √1−v x−vt
2,
,
siendo x=x(t) y y=y(t) las 


coordenadas en
1−v
2
2 /c
el/c2sistema de referencia en tierra,
F1

Frases célebres
¿Qué es el hombre dentro de la
naturaleza? Nada con respecto
al infinito. Todo con respecto a
la nada. Un intermedio entre la
nada y el todo.
Blaise Pascal
(1623-1662)
Matemático francés.
Lo que sabemos es una gota de
agua; lo que ignoramos es el
océano.
Isaac Newton
(1642-1727)
Matemático y fìsico inglés.
Todo el mundo quisiera vivir
largo tiempo, pero nadie
querría ser viejo.
Jonathan Swift
(1667-1745)
Escritor irlandés.
Mefisto
Vivir plenamente produce un
cansancio infinito, pero muy
gratificante.
Ramón Buenaventura
(1940-)
Escritor español.
A la proporción, semejanza,
unión e identidad del infinito
no te acercas más siendo
hombre que siendo hormiga.
Giordano Bruno
(1548-1600)
Filósofo y poeta italiano.
Cuando un anciano y
distinguido científico afirma
que algo es posible, casi
seguro que tiene razón.
Cuando afirma que algo es
imposible, probablemente está
equivocado.
Arthur C. Clarke
(1917-2008)
Escritor inglés (también atribuida
erróneamente a Einstein).
21
Mefisto

Acertijos

1. En una población, las placas de los coches 2. Diana tiene 4 amigas y 4 discos de música
deben tener 3 letras y 3 números. Los núme- para regalárselos ¿De cuántas formas diferen-
ros pueden repetirse, en cambio los números tes puede distribuir los discos entre sus ami-
deben ser distintos, aunque éstos pueden ir gas?
antes o después que las letras ¿Cuántas placas
diferentes es posible formar con estas restric-
ciones?

6 5 3
8

3. Carolina anota en un papel el número de te- 4. En un grupo de 24 alumnos se van a repartir

léfono de su amiga Giovana, pero al llegar a su 3 premios, ¿cuántas posibles combinaciones
casa nota que dos de los números se borraron existen para los ganadores, si no pueden ganar
por unas gotas de agua que le cayeron, ¿cuán- más de un premio?
tos números diferentes tendría que marcar Ca-
rolina para asegurarse de que alguno de ellos
sea el número de Giovana?

22
 Mefisto

Soluciones a los anteriores

1. Sea x la capacidad del vaso. Entonces, al 2. Sea x el número de alumnos en el salón.

principio hay x/2 ml de agua. Y cuando se Como cada alumno entrega x-1 tarjetas, se en-
F2 x(x − 1). Entonces se cumple
agregan 40 ml, se completan 2/3 x, lo cual se tregaron
escribe como F3
x(x − 1) = 110.

Resolviendo esta ecuación se obtiene x=11 o

Resolviendo esta ecuación se obtiene x=240. x=-10. Descartando la solución negativa, hay
11 alumnos.

2 4
9 0
3. Sabemos que Sofía es 3 años mayor que Pa- 4. Si la edad del papá es x, la de Isaac es y=x/3.
blo, y que éste es 2 años mayor que Carmen, Dentro de 5 años tendrán x+5 y y+5, y se cum-
por lo cual Sofía es 5 años mayor que Carmen. ple que
F4
Entonces, cuando Carmen tenía 7 años, Sofía x+5
y+5= ,
tenía 12. 2
o bien
F5
x x+5
+5= .
3 2

Resolviendo, obtenemos x=15, y=5. Edades

para padre e hijo.

2
3
23
Mefisto

Sudoku

Fácil

Solución al anterior
1 5 9 4 6 7 5 2 8 3 1 9
2 7 1 3 4 5 2 8 9 1 3 6 4 7
4 1 6 5 8 1 3 9 7 6 4 2 8 5
2 1 7 6 6 8 4 2 9 1 5 7 3
9 1 5 6 2 3 7 5 1 3 4 6 8 9 2
7 4 9 1 3 9 2 8 7 5 1 6 4
5 7 1 3 9 2 1 6 4 3 9 7 5 8
3 9 4 7 8 8 4 3 1 5 7 9 2 6
6 4 7 9 7 5 6 8 2 4 3 1

Difícil
Solución al anterior
2 4 6 3 9 8 1 5 7 3 1 7
9 8 5 1 7 4 2 3 6 2 4
7 1 3 2 5 6 4 8 9 8 1 6
8 5 7 4 6 1 9 2 3 4 1 3 9
3 6 2 9 8 7 5 1 4 2 1
1 9 4 5 2 3 6 7 8 5 7 9 2
4 2 8 6 3 5 7 9 1 5 6 8
5 3 1 7 4 9 8 6 2 7 2
6 7 9 8 1 2 3 4 5 7 9 4

24