RECUADROS

RECUADRO 1
Cuerpo Topolgico es una estructura algebraica y geomtrica que resulta de la unin de
las propiedades de cuerpo y espacio topolgico.
Cuerpo
Un conjunto K es un cuerpo si est provisto de dos operaciones internas, llamadas
generalmente suma (+) y producto (), que verifican las siguientes propiedades
K es un grupo conmutativo para la suma si
!. "+y # y+"
$. ("+y)+% # "+(y+%)
&. '"iste un elemento neutro ( tal que, para todo ", se cumple "+ ( # (+" # "
). *ara todo ", e"iste un "+ tal que " + "+# (
,sociatividad del producto
"(y%) # ("y)%
-istributividad del producto con respecto a la suma
"(y+%) # "y+"% ("+y)%#"%+y%
'"iste un elemento neutro e ( para el producto "e # e" # "
.odo " ( posee un inverso "++, es decir ""++# "++" # e
/i el producto es conmutativo0 o sea, "y # y", se dice que K es un cuerpo conmutativo. 'l
conjunto Q de los n1meros racionales, el conjunto R de los n1meros reales, el conjunto Q
p
de
los n1meros p2dicos y el conjunto C de los complejos son cuerpos conmutativos.
Distancia
Una distancia en un conjunto K es una aplicacin d que asocia a todo par (",y) de elementos de
K un n1mero real positivo o nulo d(",y) y verifica las siguientes propiedades
d(x,y) = d(y,x)
d(x,y) > 0 si y i d(x,x) = 0
d(x,z) d(x,y) + d(y,z)
Valor absoluto
Un valor absoluto sobre un cuerpo K es una aplicacin que a todo elemento " de K le 3ace
corresponder un n1mero real positivo o nulo, representado por |"|, tal que
|"| 4 ( si " ( y |(| # (
|"+y| |"|+|y|
|"y| # |"||y|
'n tales condiciones, la e"presin d(",y)#|"2y| define una distancia sobre el cuerpo K.
2
Distancia p-ica
'n general, se dice que la distancia es ultramtrica si d(x,z) 5ayor (d(x,y),d(y,z)), las
distancias p2dicas son ultamtricas.
*ara un valor absoluto ultra mtrico,
|"+y| m"(|"|,|y|)
|"y| # |"||y|
'n tales condiciones, la e"presin d(",y)#|"2y| define una distancia sobre el cuerpo K.
3
RECUADRO !
1" Reconstruccin e tringulos
Problema /upongamos que un terreno de cultivo ten6a la forma de un tringulo issceles
(7ig.!) y que tras muc3as inundaciones sucesivas, de l solo qued informacin de
,

a) 8a base y la altura
b) 8a base y un ngulo adyacente
c) 8a base y un lado
d) 8a base y el ngulo opuesto 9 - :

7ig. !
;econstruir el tringulo.

Resol#ieno$
a) /e levanta una perpendicular en el punto medio de la base %C (fig. !), y se toma DA igual
a la altura dada. 'l tringulo A%C ser issceles por tener iguales los lados A% y AC.
b) 'n los e"tremos % y C se construyen ngulos iguales al ngulo dado, y el tringulo
obtenido ser issceles por tener dos ngulos iguales
c) -esde los e"tremos % y C de la base, con un radio igual al lado dado, se describen arcos
que se cortan en A.
d) 'n los e"tremos de la base se construyen ngulos iguales a la mitad del ngulo dado. 8as
rectas que forman estos ngulos determinarn el tringulo pedido.
&" Algunas propieaes e los tringulos
'n todo tringulo rectil6neo la suma de los ngulos internos es igual a dos rectos.

+ + # !<(


.odos los tringulos que sean semejantes son proporcionales.
%'

%

A C A' C+
,9 =,+9+ # ,:= ,+:+ # 9: =9+:
.odos los tringulos semejantes tienen sus ngulos iguales.



4
RECUADRO (
)a Di#isin por seg*entacin
Ejemplo 1: -ado el segmento de recta igual a 1, 3ay que fraccionarlo en dos, infinitamente.


> ? @
'l fraccionamiento puede describirse mediante la siguiente sucesin
/n # A !=$,!=),!=<,..., !=$
n
B , donde n entero +.
,3ora bien, la intuicin me dice que si sumo todas estas fracciones, que representan
segmentos de recta, debo recuperar la recta inicial.
's decir, !=$
n
# !.
'n efecto, como la sucesin /n es una progresin geomtrica infinita, con una ra%n igual a
!=$, aplico la frmula correspondiente a la suma
/# a(!2 r
n
)=(!2r) y como r C !
l6m /# a=(!2r) # > =(!2>) # 1
n
:omo podemos ver, la intuicin de los gemetras egipcios fue acertada0 pero claro, ellos no
llegaron a Demostrar, como acabo de 3acerlo, de modo que 3aya sido una prueba totalmente
convincente y definitiva. /in embargo, se debe seDalar que slo fue acertada parcialmente0
puesto que, no 3ay una sola forma de fraccionar las cosas. 8a que 3emos mostrado se llama,
divisin por segmentacin, la cual genera puntosl!mite y determina la estructura del espacio de
representacin que origina. 'ste es el espacio que desde los tiempos faranicos 3a
desarrollado la :ivili%acin Eccidental para representarse el mundo. 's el modo en que se 3a
conformado su conciencia mental. 's la conciencia que 3an logrado tener del /er, en el
escenario espacio2tiempo.
:abe adelantar que, la manera de dividir las cosas en la :ivili%acin ,ndina precolombina fue
diferente0 as6, para empe%ar, la unidad estructural del espacio geomtrico fue el cuadrado y no
el punto. ,qu6 en los ,ndes el fraccionamiento fue, predominantemente, de carcter "ractal, o
sea discreto@ a saltos y no, continuo absoluto como el otro.
Ejemplo 2: ,3ora propongo dividir el segmento de recta igual a ! por una funcin diferente de
la anterior que fue f(n) #!=$
n
. Fue sea, a3ora, la funcin f(n) tal que describa la
siguiente sucesin
/n # { !=! &, !=G H, !=I !!, !=!& !G, @.B

/# =<, n1mero que corresponde a otro puntol!mite o punto de
acumulacin.
5
Ejemplo 3 '"aminemos la divisin de la unidad para nJ, e"presada por la funcin f(n) # !=nJ,
la cual 3a sido inducida de la sucesin

/n # A !=(J, !=!J,!=$J, !=&J, @!=nJB
/ # !+!+ !=$+ !=K + !=$)+@.# e # $.H!<$<!<$@
L1mero que corresponde a un nuevo puntol!mite.
-e esta manera se genera el conjunto de todos los n1meros ;eales (completando el conjunto de los
;acionales o fraccionarios) y su correspondiente representacin geomtrica punti"orme dividiendo la
unidad para alguna funcin en n1meros enteros.
*or tanto, podemos decir que el '5;Ecc est definido en el :uerpo de los n1meros ;eales y
constituido por puntosl!mite, los cuales le confieren su carcter continuo2absoluto, 3omogneo
e istropo.
Ejemplo 4 7inalmente, veamos la funcin f(n) # !=n, entonces
/n # A !=!,!=$, !=&, !=), @,!=nB
/ # !+!=$+!=&+!=)+@
'sta suma se llama serie armnica y es divergente, no tiene puntol!mite y su fraccionamiento
contin1a, ad in"initum, sin llegar a trascender. 'sto nos indica que la sucesin /n no describe
un fraccionamiento por segmentacin, sino el de otro tipo. /e prueba de este modo cun
paradjico es el espacio de puntosl!mite. ,s6, mientras la serie geomtrica converge, la
armnica, que es muy parecida, en cambio no lo 3ace.
6
RECUADRO +
De*ostracin e uno e los teore*as atribuios a Tales
-emostrar, que dos ngulos opuestos por el vrtice son iguales
C B

o
D A
/ea A, el grfico de dos rectas que se cortan en el punto E.
/e quiere probar que ,E9 # :E-.
Demostracin ,E9 + 9E: # $rectos # I(
,E9 + 9E: # $rectos
8as dos afirmaciones son ciertas debido a lo evidente que resulta considerar que la suma de
dos ngulos adyacentes que una recta forma con otra es igual a dos rectos.
*or tanto ,E9 + 9E: # 9E: + :E-, ya que todos los ngulos adyacentes que una
recta forma con otra es igual a dos rectos. 7inalmente resulta que, ,E9 # :E- (por que si a
una igualdad se le sustrae cantidades iguales sta no se altera) que es lo que se quer6a demostrar.
De*ostracin e uno e los teore*as atribuio a los pitagricos
-emostrar, que la suma de los ngulos internos de todo tringulo rectil6neo es igual a dos
rectos.
: M


, 9 N
/ea ,9: un tringulo cualquiera.
Demostracin .rcese 9M ,:, y prolnguese ,9 3asta N.
N9M + M9: + :9, # $ rect.
, # N9M,
y adems, : # M9:
, + 9 + : # $ rt. ).Q. Q. D.
Oemos podido observar cmo, las sencillas pruebas deductivas se basan en evidencias
aparentemente indiscutibles, son las proposiciones que se llamarn a"iomas y
postulados.
-e ste teorema, se desprenden los siguientes corolarios
!) /i dos ngulos de un tringulo son respectivamente iguales a los de otro, el tercer ngulo
del uno es igual al del otro.
$) Un tringulo no puede tener ms de un ngulo del recto ni ms de un ngulo recto ni ms
de un obtuso.
7
Clculo e la altura e la ,ran -ir*ie
/ol
,

,'
-

E - E' 9

a
/ea - el dibujo de la Pran *irmide que tiene una base cuadrangular de lado igual a a y altura
E,. Qcunto mide staR
'l meollo del problema estriba en que dic3a altura no se puede medir con una cuerda, slo se
puede saber cuanto mide calculnola. 'ste si que fue un verdadero desaf6o para la mente.
8o ms probable es que .ales procediera de la siguiente manera clav una estaca de longitud
conocida en el punto E+, al final de la sombra que proyecta la pirmide. ,3ora, la sombra que
proyecta la estaca forma el tringulo E+,+9, el cual es semejante al tringulo E+E ,, ya que
tienen sus lados respectivamente paralelos. 'ntonces, por sta ra%n, sus lados 3omlogos
resultan ser proporcionales (1) E,=E+,+ # EE+=E+9, adems sabemos que EE+ #E-+-E+ y
E-#> a debido a que las diagonales del cuadrado se cortan por la mitad. 7inalmente, en la
ecuacin (1", reempla%amos stas cantidades y tenemos la frmula que permite calcular la
altura de la pirmide
E, # (E+,+=E+9)(> a+-E+)
'l artificio usado consisti en considerar que el /ol se encontraba a una enorme distancia de la
.ierra y que por tanto, se pod6a aceptar que los rayos de lu% entraran paralelos en la
atmsfera terrestre. -e sta manera se cumpl6a con la condicin de semejan%a.
8
RECUADRO .
7ascinado por la proporcionalidad racionalidad, *itgoras fue inducido a encontrar su
demostracin del ,ran Teore*a mediante el uso de tringulos semejantes.
;ecordmosla
#eorema 'l cuadrado construido sobre la 3ipotenusa de un tringulo rectngulo es equivalente
a la suma de los cuadrados construidos sobre los catetos.
*
F
L
C
" y
c 5
A %

; - /
/ean ,/, 9L, :F los cuadrados construidos sobre los lados del tringulo A%C, rectngulo en
:.
Demostrar $ue: AS / %0 1 CQ
De*ostracin .rcense :-, a 9/, y tambin :; y :F.
*uesto que los ngulos c y " son rectos, la l6nea 9:* es recta.
:omo ,; # ,9, ,: # ,F, y ;,: # 9,: + ! rt. # 9,F, los tringulos ,;: y ,;:.
,dems, ,-# $ ,;:, debido a que tienen una misma base ,; y una misma altura ;-.
,simismo, :F # $ ,9F # $ ,;:0 ,- es equivalente al :F.
-e igual manera se demuestra que el cuadrado 9- es equivalente al 9L.
,3ora bien, como ,/ # 9- + ,- AS / % 1 CQ2 que es lo que quer6amos
demostrar.
Corolario 1. 8a diagonal de un cuadrado es inconmensurable con el lado del mismo.
'sto significa que, s6 la medida de uno de ellos, en funcin de una unidad cualquiera, es un
n1mero racional, el otro no puede e"presarse por ninguno de ellos, en funcin de la misma
unidad.
- :

, 9
'n el tringulo ,9: se tiene ,: # ,9 + 9:0 puesto que, ,9 # 9: ,: # $ ,90
de donde ,: # ,9 $ ,:=,9 # $.
*uesto que $ es inconmensurable, [es decir, es un n1mero que contiene infinitos decimales no
peridicos ( !.)!)$!&G@)], la ra%n de ,: con ,9 tambin lo es.
'sta limitacin es seDalada y superada por 'uclides al lograr una demostracin completa y por
tanto definitiva e independiente de las proporciones. Sl se bas en la nueva definicin de las
ra%ones dada por 'udo"o ()(<2&GG a. :) %&e dice $ue las magnitudes est'n en la misma razn
la primera con respecto a la segunda y la tercera con respecto a la cuarta, si alg(n m(ltiplo
com(n, cual$uiera $ue se tome del primero y el tercero y cual$uier m(ltiplo com(n del segundo
y el cuarto) los primeros m(ltiplos comunes $ue excedan lo mismo, sean iguales o les "alte lo
9
mismo $ue los (ltimos m(ltiplos comunes tomados en el orden correspondiente* 8a prueba
consta en el primer libro, de acuerdo con su plan general de los +lementos.
8legando ms espec6ficamente vemos que, cuando aplicamos el teorema a los n1meros
enteros 32 la ecuacin pitagrica se verifica slo para un subconjunto de ellos, los llamados
n(meros pitagricos. -ic3o de otra manera, no toda tr6ada de enteros es solucin de la
ecuacin. Teamos como se generan estos n1meros
/ea la ecuacin pitagrica "
$
+ y
$
# %
$
. :on el afn de resolverla se 3an encontrado las
siguientes funciones paramtricas " # U (u
$
2 v
$
), y # $Uuv, % # U (u
$
+ v
$
), donde U,u,v son
n1meros enteros. *or ejemplo, para U # !, u # $, v # ! se tiene que " # &, y # ), % # G para
U # !, u # &, v # $ " # G, y # !$, % # !&. 'st demostrado que este mtodo sirve para
generar todas las tr6adas 2 solucin y, por tanto, todos los n1meros pitagricos.
8a 3istoria de este clebre Pran .eorema, tiene una culminacin verdaderamente maravillosa,
termina en la espectacular demostracin de la famosa conjetura de *ierre -V7ermat (!K(!2!KGG)
en !II), por parte del matemtico britnico ,ndreW Xiles. 's de 3ec3o una certe%a que el
logro mas difundido de la matemtica del siglo NN 3aya sido la demostracin del 1ltimo
teorema de 7ermat. 'ste se lo enuncia diciendo que la ecuacin algebraica "
n
+ y
n
# %
n
, donde
", y, % y n son n1meros enteros positivos, tiene soluciones solo cuando n#! $. 'n este
conte"to, el terorema de *itgoras aparece como un caso particular0 pero, a la ve%, como el
1nico importante ya que escapa a la sentencia negativa del de 7ermat. 8a importancia de la
variante para n#!es muc3o menor, casi trivial.

10
RECUADRO 4
De la i#isin por seg*entacin a los n5*eros irracionales
/ea la recta de referencia a en la cual cabe dos veces la longitud b, sobrando un tro%o ms
corto c, como puede apreciarse en la figura !

b b c
| | | |
a
7ig. !
,3ora bien, la e"presin algebraica que e"presa lo dic3o, en notacin moderna, ser a/&b1c
de manera ms general a/nb1c, donde n es un n1mero entero (el todo es igual a la suma de sus
partes, 'uclides) *ara el caso en que no e"ista resto, b se llama m1ltiplo de a. 'mpero, si e"iste
un resto c, una divisin posterior pueda ser vlida para cada longitud a, b, c sin ning1n resto.
;ecordemos que los pitagricos 3icieron promesa de fe, en cuanto a que siempre, era posible
reducir las longitudes a2 b a tales m1ltiplos de longitudes menores. ,parentemente, debi 3aber
parecido un asunto de paciente subdivisin, para al final tener, tarde temprano, la medida
deseada. *ero no 3ubo tal, por que el mismo procedimiento aplicado a a puede ser aplicado a
b (b/*c1) y el mismo a c (c/p1e) y as6 infinitamente. Lo resulta dif6cil demostrar que a, b,
c, d,@., forman una progresin geomtrica infinita y que la medida com1n deseada es
imposible de 3allarla.
-e sta manera se prueba que, si a es la diagonal y b el lado de un cuadrado, no se puede
3allar una medida com1n.
,ristteles sugiere que la demostracin pitagrica fue la siguiente
/i la ra%n de la diagonal al lado es inconmensurable, supongamos que sea p=q, donde p y q
son n1meros primos entre s6 . 'ntonces p y q simboli%an el n1mero de subdivisiones iguales en
los lados y en la diagonal del cuadrado respectivamente. *ero puesto que el cuadrado de la
diagonal es el doble que el del lado, se sigue que p
$
#$q
$
. 8uego p
$
es un n1mero par, y p
tambin debe ser par. *or lo tanto, puede considerarse a p como $r, siendo p
$
#)r
$
de lo cual se
desprende que q
$
#$r
$
. 'sto e"ige que q sea par0 lo cual es imposible porque dos n1meros p y
q primos entre s6 no pueden ser ambos pares. *or reductio ad absurdum se demuestra que no
puede e"istir ninguna medida com1n y la ra%n es, por tanto, irracional.
'l mismo fenmeno geomtrico lo encontramos cuando queremos dividir a en dos partes b y c,
seg1n el segmento ureo.
b c

| | |
a

7ig. $
/e tiene que a#b+c y tambin que a=b#b=c, de aqu6 se sigue que a(a2b)#b
$
Ssta es la ecuacin
de segundo grado para la ra%n a=b, cuya resolucin da como resultado
a6b/71+"6&. 8a ra6% cuadrada de G introduce la irracionalidad en la ra%n a=b.
11
RECUADRO 8
Transformaciones de coordenadas para sistemas inerciales
'stas transformaciones estn referidas al sistema /(x, y, z, t) *ero se puede obtener la
inversa, esto es, las referidas al sistema /V(x,, y,, z,, t,), cambiando v por -v y /(x, y, z, t) por
/V(x,, y,, z,, t,)
y y,
.
v

o o,
x x,
z z,
Transformaciones de Galileo Transformaciones de Lorentz
x= x,+ vt, x= (x,+ vt,)=Y/v
0
1c
0
Z
!=$

y=y, y=y,
z=z, z=z,
t=t, t=Yt,+ (v1c
0
)

x,Z=Y/v
0
1c
0
Z
!=$
Tlidas para velocidades muy pequeDas Tlidas para velocidades cercanas a la
en comparacin con la de la lu% de la lu%
12
RECUADRO 9
9. ;iemann, comien%a definiendo una variedad de dos dimensiones, o sea una superficie, y en
ella una red de curvas que sirven para determinar las coordenadas de un punto cualquiera de
la misma. /i se trata de un plano y utili%amos coordenadas cartesianas ortogonales N,M la
distancia d entre dos puntos infinitamente pr"imos estar relacionada a las diferencias de las
coordenadas de los puntos por medio de la ecuacin pitagrica
Y!Z d
$
# d"
$
+ dy
$
/i las coordenadas utili%adas 3ubieran sido oblicuas y los ejes N M formaran entre s6 el
ngulo , se tendr6a
Y$Z d
$
# dN
$
+ $cos dNdM + dM
$
'n coordenadas polares , se tiene, en cambio,
Y&Z d
$
# d
$
+
$
d
$
'stas tres formas de e"presar la distancia entre dos puntos infinitamente vecinos son
equivalentes desde el momento que se puede pasar de una a otra por un simple cambio de
coordenadas. /i en la Y!Z se supone constante, resulta que
Y)Z d # d
y la longitud de una circunferencia de radio la obtenemos integrando la Y)Z y
variando entre cero y $ obtenindose as6, para la longitud 8 de la circunferencia de radio ,
el valor
YGZ 8 # $
-e modo que si conocemos la mtrica de d, puede saberse cul es la estructura de nuestra
variedad. 'n el caso anterior, como encontramos que el cociente entre la circunferencia 8 y el
dimetro $ es igual a concluimos que la variedad definida por Y!Z o sus equivalentes Y$Z y Y&Z
son euclideanas.
,3ora, si se trata de la superficie de un cilindro circular recto de radio ;, la e"presin de la
distancia elemental entre dos puntos de la misma podr6a e"presarse
YKZ d
$
# ;
$
d
$
+ d[
$
y si 3acemos ;d # dN encontramos que esta e"presin es idntica a la Y!Zpor lo cual, sobre
una porcin de la superficie cil:nrica, vale tambin la geometr6a euclideana, al igual que sobre
cualquier superficie que pueda desarrollarse sobre un plano.
:alculemos, a3ora, la e"presin que represente la distancia entre dos puntos infinitamente
cercanos situados sobre una superficie es;<rica de radio ;. 'l radio de paralelo, separado del
polo * por la distancia angular , es igual a ; sen d (fig. $), por lo cual el elemento de arco
de paralelo ser igual a ; sen d y siendo ;d la longitud elemental de un arco de meridiano,
se tendr
13
7ig. $ 2 -istancia entre dos
puntos de una superficie
esfrica, infinitamente
pr"imos
YHZ
d
$
# ;
$
d
$
+ ;
$
sen
$

d
$
9ien, si a3ora
suponemos que es
constante, se tiene
Y<Z d # ; sen d
y la longitud 8 de todo el paralelo, que sin salir de la superficie esfrica representa una
circunferencia de centro en *, la obtenemos integrando la Y<Z entre cero y $, resultando, as6,
YIZ 8 # $; sen.
'l radio r de este paralelo medido sobre la super"icie de la2 es"era es el arco *,, o sea
Y!(Z r # ;
con lo cual la YIZ puede escribirse,
Y!!Z 8 # $; sen r=;
y de aqu6 se obtiene de inmediato la relacin
Y!$Z circunferencia # sen(r=;)=r=;
di'metro
+l 'rea elemental ser'
Y!&Z d/ # ; d ; sen d
\ntegrando esta e"presin entre cero y $ para y entre cero y para , obtenemos el rea del
c6rculo de centro en * (casquete esfrico), resultando
Y!)Z / # $ ;
$
(!2cos) # $ ;
$
Y!2cos(r=;)Z
/i se 3ace #!<(], se obtiene la superficie m"ima del circulo, que se puede considerar en
esa variedad de dos dimensiones y que coincide con el valor de la superficie de una esfera eu2
cl6dea
Y!GZ /( .otal ) # ) ;
$
.
8a Y!!Z y la Y!)Z, escritas en funcin del radio r, medido sobre la superficie esfrica, pueden
escribirse en la forma siguiente, con slo desarrollar el seno y el coseno que en ellas figuran,
por la serie de .aylor
Y!KZ 8 # $r Y!2 (!=&J) (r=;)
$
+ (!=GJ)

(r=;)
)
2 @Z
Y!HZ / # r Y!2 ()J) (r=;)
$
+ ($=KJ)

(r=;)
)
2 @Z
14
/e ve, as6, que para r pequeDo respecto de ;, valen las frmulas eucl6deas, pero para #, se
obtiene un c6rculo de rea igual a ) ;
$
y en el cual la longitud de la circunferencia es igual a
cero.
'sta superficie no eucl6dea, de dos dimensiones, puede ser sumergida en un espacio
euclideano de tres. /i se 3ace el cambio de coordenadas
N # ;sen cos M # ;sen sen
Y!<Z [ # ; cos
resulta dN # ; cos cos d 2 ;sen sen d
Y!IZ dM # ; cos sen d + ; sen cos d
d[ #2; sen d
y elevando al cuadrado y sumando se obtiene
Y$(Z d
$
# dN
$
+ dM
$
+ d[
$
+ ;
$
d
$
+ ;
$
sen
$
d
$
,3ora estudiemos la geometr6a de una variedad esfrica de tres dimensiones. -efinamos la
distancia elemental d entre dos puntos infinitamente vecinos, en funcin de tres coordenadas,
que podemos llamar , , . Tentajosamente, esta variedad esfrica de tres dimensiones es
sumergible en un espacio eucl6deo de cuatro dimensiones. 8o decimos porque en general, una
variedad no eucl6dea de tres dimensiones puede ser introducida slo en un espacio eucl6deo de
seis. /i la variedad no eucl6dea tiene n dimensiones se necesita, por lo general, un espacio
eucl6deo de > n(n + !) dimensiones para ^3acerla caber_ en su interior. 8a ra%n de esto se
comprender ms adelante.
'n nuestro espacio eucl6deo de cuatro dimensiones tomamos los ejes N, M, [, U
ortogonales y consideramos un cambio de coordenadas (fig. c) tal que
Y$!Z U # ; cos .
8a proyeccin del vector ; de mdulo constante sobre el ^plano_ NM[ ser, entonces, igual a ;
sen , por lo que, si sustituimos en las Y!<Z el valor de ; que all6 figura, por ; sen tenemos
Y$$Z N # ; sen sen cos 0 M# ; sen sen sen,
[ # ; sen cos.
8a Y$!Z con las Y$$Z nos permite calcular d
$
, pues
dN # ; cos sen cos d + ; sen cos cos d 2 ; sen sen sen
dM # ; cos sen sen d + ; sen cos sen d + ; sen sen cos d
d[ # ; cos cos d 2 ; sen sen d
dU # ` ; sen d.
'levando al cuadrado y sumando, resulta
Y$&Z d
$
# ;
$
d
$
+ ;
$
sen
$
d
$
+ ;
$
sen
$
sen
$
d
$
.
'l elemento de volumen ser
Y$)Z dT # ; d. ; sen d . ; sen sen d
15
pues la forma de la Y$&Z permite ver que los tres elementos lineales del paralelep6pedo
elemental son perpendiculares entre s6. /i integramos la Y$)Z entre cero y $ para , entre cero
y para , y entre cero y para , tendremos el volumen de una esfera cuyo centro est en el
polo * y cuyo radio estar6a medido por la magnitud del ngulo . /e obtiene, as6

T # ); sen
$
d
o
o sea
Y$GZ T # $ ;
&
( 2 sen cos )
/i 3acemos # , obtenemos el volumen total de todo nuestro espacio esfrico, as6 como
antes, en el caso de dos dimensiones, obten6amos el rea total de la superficie esfrica.
;esulta, para ese volumen total
Y$KZ T(.otal) # $
$
;
&
.
'stando el radio de una esfera con centro en el polo * medido por el ngulo , si suponemos
# constante, el elemento de rea de la superficie esfrica ser
Y$HZ d/ # ; sen d . ; sen sen . d
y la superficie de la esfera la 3allamos integrando respecto de entre cero y $, y respecto de
entre cero y , resultando
Y$<Z / # ) ;
$
sen
$
.
8a superficie total de esta 3iperesfera se obtiene sustituyendo por , resultando ser igual a
cero.
8a longitud de una circunferencia de la esfera de radio medido por el ngulo la 3allamos
encontrando el elemento de longitud para constante. /i suponemos, adems, # constante,
se tratar de un arco de c6rculo meridiano y la longitud d8, de acuerdo con Y$&Z, ser
Y$IZ d8 # ; sen d
que integrada entre cero y $, da
Y&(Z 8 # $ ; sen.
/i suponemos # constante, la longitud elemental correspondiente a un arco de paralelo, de
acuerdo con Y$&Z, es
Y&!Z dl # ; sen sen d
e integrando entre cero y $ resulta
Y&$Z l # $; sen sen
y si # =$, el paralelo coincide con el ecuador y la Y&$Z con la Y&(Z.
'l rea de un c6rculo m"imo de nuestra esfera, cuyo radio est medido por el ngulo , la
3allamos 3aciendo # constante y el elemento de rea d, de ese c6rculo ser, de acuerdo con
Y$&Z
16
Y&&Z d, # ; d. ; sen d.
\ntegrando con respecto a entre cero y $, y con respecto a entre cero y , resulta
Y&)Z , # $ ;
$
(!2 cos )
8a Y&(Z y la Y&)Z coinciden con la YIZ y la Y!)Z, respecti vamente, de modo que en nuestro espacio
esfrico de tres dimensiones obtendr6amos el mismo valor de la relacin de la circunferencia al
dimetro que en el caso de dos dimensiones, supuesto que ;, radio del universo
tridimensional, sea igual al ; de la superficie esfrica de dos dimensiones.
,l ngulo corresponde un radio r tal que
Y&GZ # r=;
/i en la Y$GZ se introduce el valor dado en Y&GZ y se desarrolla en serie la e"presin
sen cos # > sen$ # > sen($r=;)
se obtiene
Y&KZ T# )=& r
&
Y!2 !=G (r=;)
$
+ $=!(G (r=;)
)
2 @Z
,nlogamente, de la Y$<Z resulta
Y&HZ / # ) r
$
Y!2 !=& (r=;)
$
+ $=)G (r=;)
)
2 @Z
/e ve que en un mundo esfrico de tres dimensiones slo para valores de r pequeDos, con
respecto al radio ; de ese mundo, valen las frmulas eucl6deas referentes al volumen y a la su2
perficie de una esfera.
8a e"presin Y$&Z, que da el elemento lineal correspondiente a un espacio esfrico, fue
establecida apelando a una cuarta dimensin y ello se 3i%o as6 para que se notara mejor la
analog6a con el caso de dos dimensiones, pero podr6a 3aberse establecido sin salir de las tres
dimensiones, considerando que una seccin plana_ cualquiera de nuestro espacio esfrico
tendr6a que comportarse como una superficie esfrica de dos dimensiones, como se
comprende si se compara Y&(Z y Y&)Z con YIZ y Y!)Z /i en la Y$&Z se 3ace # constante (d # (),
ello corresponde a seccionar el espacio esfrico por un plano y esa seccin plana_ es, en este
caso, una superficie esfrica cuyo radio es ; sen . .ambin se obtiene una superficie esfrica
si se 3ace #constante y, en este caso, el radio de la misma es ;. \gualmente la seccin plana
ecuatorial de Y$&Z
# cte # =$
es una superficie esfrica de radio ;, en tanto que si es constante pero diferente de =$, la
^seccin plana_ no es central.
17
RECUADRO 1=
'n el recuadro precedente 3emos aplicado la mtrica diferencial de ;iemann, para estudiar la
geometr6a de variedades sencillas de dos y tres dimensiones. 'n la clebre disertacin de !<G)
de este genial matemtico, titulada &obre las 3iptesis en $ue se "unda la geometr!a, se indica
un nuevo mtodo mtrico2diferencial para estudiar las variedades geomtricas esencialmente
distinto del mtodo a"iomtico que se 3ab6a seguido 3asta entonces. 'n el mtodo de
;iemann, se comien%a por definir el elemento lineal de una variedad de n dimensiones por la
e"presin
Y&<Z d
$
# ai4 dxi dx4
donde los 6ndices i, 4 se 3acen variar de ! a n y la suma se e"tiende tambin de ! 3asta n2 /i
nos referimos a dos dimensiones, la suma anterior se escribe
d
$
# a!!d"!d"! + a!$d"!d"$ + a$!d"$d"! +a$$d"$d"$ #
a!!d"!
$
+ (a!$ + a$!) d"!d"$ +a$$d"$
$
'l coeficiente a!$ + a$! se escribe
a!$ + a$! # $a!$ # $a$!
y esto en todos los casos, resultando as6 que
aiU # aUi
*ara dos dimensiones resulta
Y&IZ d
$
# a!!d"!
$
+ $a!$d"!d"$ + a$$d"$
$
'n el caso de la Y!Z, es
"! # " 0 "$ # y 0 a!! # a$$ # ! 0 a!$# (
'n la Y$Z, es
"! # N 0 "$ # M 0 a!!# a$$ #! 0 a!$ # cos.
'n la Y<Z, es "! # 0 "$ # 0 a!! # ;
$
a$$ # ;
$
sen
$
0 a!$ # (
*ara el caso de tres dimensiones, la Y&<Z se escribe
Y)(Z d
$
#a!!d"!
$
+a$$d"$
$
+a&&d"&
$
+$a!$d"!d"$+$a!&d"!d"& +$a$&d"$d"&
y en la Y$&Z, ser6a
"! # 0 "$ # 0 N& #
a!! # ;
$ 0
a$$

# ;
$
sen
$

;
$
sen
$
sen
$
0 a!$#a!& #a$& # u.
:uando aiU #( si iU
la forma cuadrtica fundamental definida en Y&<Z se llama ortogonal. /i, adems, es aii#! la
18
forma se dice que es eucl6dea.
'n general, los coeficientes iU de la Y&<Z son funciones de las coordenadas y conocindolos
puede conocerse la estructura geomtrica de la variedad que definen. 'n particular, en funcin
de dic3os coeficientes, puede calcularse la curvatura y 3allar las ecuaciones de las l6neas
geodsicas.
'n el determinante formado por los aiU,
a!! a!$ @. a!n
a$! a$$ @. a$n
.
an! a! . ann
por ser aiU # aUi se tiene, en general,
Y)!Z ! + $ + & +@+ n # > n(n+!)
coeficientes diferentes, y una variedad no eucl6dea de n dimensiones, estar definida entonces
por > n(n+!) funciones independientes de las n variables. Ssta es la ra%n por la que una
variedad no eucl6dea de n dimensiones pueda ser sumergida, en general, slo en un espacio
eucl6deo de > n(n+!) dimensiones.
'n la geometr6a puramente espacial de ;iemann se considera como fundamental la
e"presin del elemento lineal que da la distancia entre dos puntos infinitamente vecinos. *ero
esta distancia espacial var6a si se pasa de un sistema a otro que se mueve con respecto al
primero. 8o que se mantiene invariante, lo que go%a de un carcter absoluto independiente del
sistema re referencia, es la distancia cronotpica entre dos sucesos Y$&Z /i se trata de dos
acontecimientos infinitamente vecinos que, respecto de un sistema inercial /, ocurren en dos
puntos separados por la distancia espacial d, uno de ellos en el instante t del sistema / y el
otro en el instante t 5 dt del mismo sistema, la distancia elemental cronotpica entre los mismos
es
Y)$Z ds
$
# c
0
dt
0
2 da
$
o sea
Y)&Z ds
0
# c
0
dt
0
2 d"
$
2 dy
$
2 d%
$
;especto de cualquier otro sistema inercial, esta distancia cronotpica entre los mismos
sucesos se mantiene invariable. *ero pasar de un sistema de referencia a otro, implica, en la
representacin de 5inUoWsUi, efectuar un simple cambio de coordenadas en el continuo
espacio2tiempo. ;especto de otras coordenadas "V yV z, t,, se tendr tambin
Y))Z ds
0
# c
0
dt,
0
+ d"V
$
+ dyV
$
+dz,
0
2
'ste elemento lineal entre dos acontecimientos o entre dos puntos de universo desempeDa
entonces el mismo papel que la distancia com1n entre dos puntos del espacio de la geometr6a
ordinaria. /i 3acemos cdt # du la Y))Z puede escribirse
Y)GZ ds
$
# du
$
2 dx
$
2 dy
0
2 dz
0
/i no fuera por el signo diferente entre las coordenadas espaciales y la coordenada temporal, la
19
geometr6a de la variedad Y)GZ ser6a eucl6dea. -ebido a esa diferencia en el signo se dice que la
Y)GZ corresponde o define una variedad semieucl!dea de cuatro dimensiones tres espaciales y
una temporal. 8a diferencia entre una geometr6a semieucl6dea y otra eucl6dea no es esencial,
pues basta tomar un tiempo imaginario # t! para 3acer que la Y)GZ tome la forma eucl6dea.
8as geodsicas de la variedad definida por Y))Z Y)GZ son, entonces, l6neas rectas y sus
ecuaciones podrn escribirse
xxo = ,(uuo) = ,c(tto)
yyo = 9(uuo) = 9c(tto)
zz( = :(uuo) = :c(tto)
donde las constantes , 9 : equivalen a
, # (!=c) ("2"( )/(t2t() # T"=c 0 9 # Ty =c 0 : # T% =c
siendo T" Ty T% las componentes constantes de cierta velocidad seg1n los ejes x y z2
'l principio de inercia de Palileo se traduce entonces geomtricamente, diciendo 6n cuerpo
sobre el $ue no act(a ninguna "uerza sigue una geodsica de la variedad espaciotiempo2 -ebe
entenderse que se trata de la variedad de espacio2tiempo definida por Y)&Z y que corresponde a
una regin galileana donde es vlida la relatividad restringida. 'sas geodsicas son l6neas
rectas y si el cuerpo est en reposo con respecto a determinado sistema, es porque en dic3o
sistema el eje del tiempo y la geodsica que recorre el cuerpo son rectas paralelas.
'n un campo gravitatorio, por ejemplo, de un lugar de la superficie de la .ierra, un cuerpo
abandonado a s6 mismo se mueve siguiendo, en general, una l6nea curva. /i cae seg1n la
vertical del lugar, su trayectoria espacial es una l6nea recta, pero su trayectoria espacio2
temporal es una curva que puede considerarse, si el recorrido espacial no es muy grande,
como un arco de parbola. 8a trayectoria curva que sigue un cuerpo
abandonado en un campo gravitatorio, la e"plicamos diciendo
'l cuerpo, por inercia, tiende a seguir una l6nea recta y si se desv6a de la misma, es porque
act1a sobre l una fuer%a que es justamente la que el campo ejerce sobre el mismo y que, en
la superficie de la .ierra, denominamos peso del cuerpo2 *ero esta interpretacin no es la 1nica
posible. *odr6a suponerse que sobre un cuerpo situado en un campo gravitatorio no act(a nin
guna "uerza y la trayectoria curva que aqul describe en el espacio2tiempo, cuando se le deja
libre, ser6a simplemente una geodsica de una variedad no eucl6dea. 'n un lugar donde el
campo gravitatorio es nulo 2en una regin galileana2 vale la geometr6a eucl6dea, o, mejor, la
geometr6a semieucl6dea de 5imUoWsUi. *ero en un campo gravitatorio, la geometr6a del es2
pacio2tiempo ser6a otra. 'n la mecnica de LeWton el espacio es euclideano y las rbitas que
describen los planetas alrededor del /ol se e"plican por la accin de una fuer%a particular que
emana de la masa solar. *ero puede intentarse e"plicar esto mismo admitiendo que en los
alrededores del /ol el espacio2tiempo es curvo, de tal modo que las rbitas de los planetas que
en ese espacio2tiempo se parecen a 3lices (si se toma para el eje del tiempo una l6nea perpendicular al
plano de la rbita), resulten geodsicas de aquella variedad curvada que tiene tres dimensiones
espaciales y una temporal.
20
'n una regin donde el campo gravitatorio es nulo, el elemento lineal est dado por la Y)&Z o la
Y)GZ. /i el campo gravitatorio no es nulo, la geometr6a de la regin donde se 3agan sentir sus
influencias ya no ser eucl6dea (o semieucl6dea), pues las geodsicas del espacio2tiempo
tendrn que ser curvas en lugar de rectas.
'l elemento lineal que e"presa la distancia cronotpica entre dos acontecimientos infinitamente
vecinos, tiene la forma
Y)KZ ds
$
# giU dxi dxU ,
tomando los 6ndices i 4 los valores (, !, $, &. /i identificamos "( con u=ct) "! con "0 "$ con y0 "&
con z el desarrollo e"pl6cito de YH)Z, ser6a
ds
$
#g((du
0
+ $g(!dudx + $g($dudy + $g(&dudz
Y)HZ +g!!dx
$
+$g!$dxdy + $g!&dxdz
+ g$$dy
$
+ $g$&dydz
g&&dz
$
'stos die% coeficientes gi4, funciones de las coordenadas, son los llamados potenciales
gravitatorios de 'instein. 'n un campo nulo, la Y)HZ, eligiendo convenientemente las
coordenadas, debe coincidir con la Y)GZ, siendo entonces
Y)<Z g00=/ 0 g// = g00 = g77 = /
gi4 # ( si i 4
21
RECUADRO &.
Di*ensin Topolgica > i*ensin ;ractal e ?ausor;;
1. imensin topol!ica

!.! - # (
!.$ - # !
- # $
!.&
!.) - # &
.
.
"#lc$lo de la f$ncin %$e e&presa el concepto de dimensin
Topol!ica

)
i l # 8=$ $ #$
!
#(8=l)
l l
l # 8=$ ) # $
$
#(8=l)
$



l # 8=$ < #$
&
#(8=l)
&

.
.
22
.

l # 8=$ 0 /7)6 l"
D


imensin fractal

a) | | | |


b) | | como L #(8=l)
-
- # log(L)=log(8=l)
,plicando al caso b) - # logG=log& # !.)K)IH&G....
23
Recuaro &4
Variea ;ractal *ultii*ensional escrita por la ;uncin @AetaB e EulerCRie*ann

Permetro, dimensin m =1

-n #!$. !=n -n #!$ !=n - #!$ (!) # !$= (()J dt= (e
t
a !) #
o

Cn # !(.!=n Cn # !( !=n C # !( (!) # !(= (()J dt= (e
t
a !)#
o

cn # &.!=n cn # & !=n c # & (!) # &= (()J dt= (e
t
a !)#
o
Superficie, dimensin m = 2

Sn # G.!=n
$
Sn # G!=n
$
S # G ( $ ) # G= (!)J t dt= (e
t
a!) # G.
$
=K
o

An # G=$.!=n
$
An # G=$ !=n
$
A # G=$ ( $ ) # G=$= (!)J t dt= (e
t
a !) # G=$.
&
=K
o

)n #!=n an # I=).!=n
$
an # I=) !=n
$
a # I=) ( $ ) # I=) = (!)J t dt= (e
t
a !) # I=).
&
=K
o
Dn / !(=n Volumen, dimensin m= 3

n # &=n n # G.!=n
&
n # G!=n
&
# G ( & ) # G= ($)J t
$
dt= (e
t
a!) # Gc&
&
o

Vn #G=&!(.!=n
&
Vn #G=&!( !=n
&
V # G=&!( (&)# G=&!(= ($)J t
$
dt= (e
t
a!)#G=&!(c&
)
o

#n # I=$.!=n
&
#n # I=$ !=n
&
# # I=$ ( & ) # I=$= ($)J t
$
dt= (e
t
a !) # I=$ c&
)
o



* # p ( m) # p.!= (m2!)J t
m2!
dt= (e
t
a!) # p.!= (m2!)J cm
m
o

24


* # q (m) # q.!= (m2!)J t
m2!
dt= (e
t
a!) # q.!= (m2!)J cm
m+!
o



* # r ( m) # r.!= (m2!)J t
m2!
dt= (e
t
a!) # r.!= (m2!)J cm
m+!

o
25