Desigualdades bsicas de la matemtica.

1. Comenzaremos con la desigualdad triangular del valor absoluto de nmeros reales

Para x, y nmeros reales se cumple
| x + y | | x | + | y |.
Demostracin: Para x e y se verifican las desigualdades:
-|x|x|x|
-|y|y|y|
Sumando ambas desigualdades tenemos
- (| x | +| y | ) x + y | x | + | y |
y de aqu se obtiene el resultado.
2. Desigualdad del cuadriltero. Si a, b, c y d son nmeros reales, entonces se tiene
a b + c d [( a2 + c2 ) ( b2 + d2) ]
Demostracin: Elevando al cuadrado el miembro izquierdo se tiene:
( a b + c d )2 = a2 b2 + 2 a b c d + c2 d2 a2 b2 + a2 d2 + c2 b2 + c2 d2 (1)
haciendo uso de la desigualdad 2 x y x 2+ y 2 la cual es cierta para x e y nmeros reales.
Factorizando el segundo miembro de la desigualdad (1) obtenemos
( a b + c d )2 ( a2 + c2 ) ( b2 + d2)
y de aqu se obtiene el resultado, al tomar races cuadradas en ambos lados.
3. Desigualdad triangular para los nmeros complejos.
Sean Z = a + bi y W = c + di , dos nmeros complejos, entonces se tiene
| Z + W | | Z | + | W |.
Demostracin: Tenemos las igualdades
|Z+W| 2 =(Z+W)(Z+W)=ZZ +WW+ZW+ZW

=|Z|+ |W|+ZW+ZW
Si logramos probar que

ZW+ZW2|Z||W|

( 1)

se tendr entonces | Z + W | 2 (| Z | + | W |)2 y de aqu se obtendr el resultado.

Notemos que
Z W + Z W = (a + bi )(c - di) + (a - bi )(c + di)

= ac + bd - ( ad - bc ) i + ac + bd + ( ad - bc ) i

= 2 ( ac + bd )

2 [( a 2+ b 2)( c 2+ d 2)] = 2 | Z | | W |
Ntese que hemos usado la desigualdad del cuadriltero en la penltima lnea.
3. Desigualdad triangular para R2.
Sean V = (a ,b) , U = ( c, d) y W = ( e, f) tres vectores del plano. Entonces se tiene
|U-V| |U-W|+ |W-V|
Demostracin. Tenemos
| U - V |2 = ( c - a )2 + ( d - b)2 = [( c - e) + ( e - a )] 2 + [( d - f ) + ( f - b)]2
=

( c - e )2 + ( e - a)2 + 2 ( c- e)( e-a) + ( d - f )2 + ( f - b)2 + 2 ( d -f)( f- b).

Usando la desigualdad del cuadriltero, se tiene :

2 ( c- e)( e-a) + 2 ( d -f)( f- b) 2 [ ( c - e )2 + ( d - f )2 ] [ ( e - a)2 + ( f - b)2 ]
Ntese que | U - W | = [ ( c - e )2 + ( d - f )2 ] y | W - V | = [ ( e - a)2 + ( f - b)2 ]
Luego
| U - V |2 | U - W | 2+ 2 | U - W| | W - V | + | W - V | 2 = [ | U - W | + | W -V | ]2
y tomando maces cuadradas en ambos lados nos produce el resultado deseado.
1.1 Nocin de distancia.

- En el espacio tridimensional en que nos movemos- comienza diciendo el profesor- hablamos de

distancia entre los objetos como una propiedad relacionada con la cercana o proximidad entre los
mismos.As pues decimos que una casa est a una distancia de dos kilmetros de la escuela o que
Mrida est a 700 Km. de Caracas. Podemos comparar las distancias entre varios objetos y un punto de
referencia fijo. Unos estarn ms cerca que otros. Otros estarn a la misma distancia. Siempre ser
posible medir la distancia entre ellos, pues la distancia es algo que se puede cuantificar por medio de
una medida o mtrica.Este concepto tan intuitivo de distancia tiene su equivalente en la matemtica,
cuando consideramos a los objetos como puntos sobre un plano o un espacio eucldeo y entonces la
distancia entre ellos; podemos decir de una manera algo vaga, que es la magnitud del segmento ms
corto que los une. Una definicin muy aceptada sta, pero que quizs no se corresponde totalmente con
la realidad. El concepto de distancia que manejamos en la geometra clsica es algo convencional,
limpio, impecable e impuesto por la matemtica, y que, dicho sea de paso, se adapta muy bien al tipo
de razonamiento lgico deductivo. Es un concepto abstracto que se apoya en la existencia de mundos
perfectos que son idealizaciones de una realidad ms compleja.En realidad, cuando consideramos los
puntos sobre un globo terrqueo, la distancia de una ciudad a otra se mide sobre una curva o circulo
mximo y es mayor que la distancia "real" o euclideana entre los puntos vistos como parte del espacio
tridimensional. Usamos los mapas de papel, una representacin plana de la tierra, para ubicarnos y
cuando medimos distancias geogrficas, lo hacemos como si la tierra fuese plana. Inclusive cambiamos
el tamao real de las distancia utilizando planos a escala. Para efecto de muchas actividades humanas,
da igual considerar a una regin geogrfica o territorio de un pas, como colocado encima de un plano o
sobre una superficie curva. En los mapas la forma actual de los pases vara un poco, pero hay cosas que
quedan invariantes, como son las fronteras, el interior de los pases y las posiciones relativas de unos
con respecto a los otros. El estudio de las propiedades de los objetos que permanecen invariantes al
cambiar la forma de medir las distancias, es, a grosso modo, el objeto de la Topologa.
Sea M un conjunto cualquiera. Una mtrica sobre M es una funcin

d : M M

que asocia a cada par de elementos (a, b), con a y b en M, un nmero real d (a, b), llamado la distancia
desde a hasta b, el cual satisface las siguientes propiedades
d (x, y) 0, para x e y en M.
d (x, y) = 0 , s y slo si x = y.
d( x, y) = d( y, x), para todo par de elementos x e y en M.
d( x, z) d ( x, y) + d( y, z) , para x, y, z elementos en M.
Podemos hacer unas breves observaciones sobre la definicin de distancia. En primer lugar, el lector
debe observar que la distancia es siempre un nmero real mayor a o igual acero. Cuando los puntos x e y
en M son distintos, entonces la distancia ser un nmero estrictamente positivo. Si los puntos iguales, la
distancia entre los mismos es cero, lo cual es muy evidente de acuerdo a nuestra intuicin. La tercera
propiedad, tambin muy intuitiva, nos dice que la distancia no depende del sentido con que se mida, es
decir la distancia desde x hasta y es igual a la distancia desde y hasta x. La ltima propiedad, conocida
como la desigualdad triangular, establece que si los tres puntos x, y, y z, forman los vrtices de un
tringulo, entonces la suma de dos lados es siempre mayor o igual que el tercer lado.
Un conjunto M, junto con una mtrica d, se llama espacio mtrico y se denota por el par (M, d)
Ejemplos de Espacios Mtricos
La variedad de espacios mtricos con que nos encontramos en las matemticas es sorprendente. Los hay
desde los mas sencillos y pequeos, como los conjuntos finitos, hasta espacios de funciones, pasando
por los nmeros reales, vectores, matrices,...etc. Tambin es posible que un conjunto M est dotado de
dos mtricas distintas y entonces de origen a dos espacios mtricos completamente distintos. Esto nos
lleva a estudiar el concepto de mtricas equivalentes. Para poder demostrar algunos de los resultados
ms importantes sobre los espacios mtricos, debemos conocer bien algunas desigualdades bsicas de
la matemtica.
El espacio mtrico discreto. Sea M un conjunto cualquiera y definamos sobre M la mtrica:
d (x, y ) = 1, si x y, d (x, y ) =0, si x = y
Es fcil verificar que d es una mtrica sobre M, llamada la mtrica discreta. Con esta mtrica, el espacio
M se llama un espacio mtrico discreto.
2. El conjunto de los nmeros reales R, es un espacio mtrico, donde la mtrica d se define
d( x, y) = | x -y |
para x e y nmeros reales.
3. El espacio euclideano de dos dimensiones o plano euclideano. Este espacio, denotado por R2 est
formado por todos los pares ordenados de nmeros reales ( x, y ). Se representa geomtricamente
mediante un plano y los elementos del mismo son los puntos del plano, que se identifican mediante las
coordenadas cartesianas. En R2 definimos una distancia entre los puntos mediante la frmula
donde X = ( x 1, x 2) y Y = ( y 1, y 2), son puntos de R2 .
Esta frmula define una mtrica sobre R2 . Las propiedades 1, 2 y 3 son muy fciles de verificar. Para
verificar la propiedad 4, se hace uso de la desigualdad:
ab + cd [( a2 + c2) ( b 2+ d2 )]
para a, b, c y d nmeros reales.
Esta mtrica se llama mtrica euclideana o mtrica usual en R2 , pues es la ms usada.
4 . El espacio Euclideano n-dimensional. Sea R n el espacio Euclideano de n dimensiones, cuyos
elementos son las n-uplas ordenadas de nmeros reales X = ( x 1,....,x n) .

Podemos definir una mtrica sobre este espacio de la siguiente forma. Si X = ( x 1,....,x n) e Y = ( y
1,....,y n) son dos puntos en R n entonces la distancia entre X e Y, vendr dada por
Se puede verificar que d satisface todas las propiedades de una mtrica. Las propiedades 1,2 y 3 son
muy sencillas de probar. Para la propiedad se procede como en el ejemplo anterior. Esta mtrica se llama
tambin la mtrica usual para R n.
5. Si M es un espacio mtrico y A es un subconjunto de M, entonces A puede ser considerado como un
espacio mtrico con la mtrica de M, restringida al conjunto A. Esta mtrica se llama mtrica inducida y
se denota por d A y el espacio mtrico ( A, d A) se llama subespacio mtrico inducido.
Por ejemplo, el conjunto Z de todos los nmeros enteros es un espacio mtrico, con la mtrica inducida
por el espacio mtrico real, del ejemplo 2.
6. Espacio mtrico Producto. Si ( M1, d 1) ,.....(M s , d s) son espacios mtricos, entonces el espacio
producto M = M1 M s tambin es un espacio mtrico con la distancia
d( ( a1 , ... , as ), ( b1,....,b s) ) = max di ( a i , b i )
Esta distancia define una mtrica, llamada Mtrica Producto
7. Ejemplo. Probar que la funcin F( x) = | x | / ( | x | + 1 ) define una mtrica en R.
Solucin: Debemos demostrar las tres propiedades que definen una mtrica.
En primer lugar, Si A y B son nmeros reales, se tiene:
d ( A, B) = | A -B | / ( | A -B | + 1) = 0,
s y slo si el numerador de esta fraccin es igual a cero. Por lo tanto debemos tener | A -B | = 0 , lo cual
implica que A = B, puesto que el valor absoluto de nmeros reales, posee esta propiedad. POr otro lado,
si sumimos que A = B, entonces se tendr que d ( A, B) = 0.
En segundo lugar,
d ( A, B) = | A -B | / ( | A -B | + 1) = | B - A | / ( | B - A | + 1) = d ( B, A).
La tercera propiedad de la mtrica, llamada desigualdad triangular es la ms difcil de probar. Ntese que
la funcin real f( x ) = x / ( x +1) es creciente. En efecto al calcular su derivada se tiene que f (x) = 1 /
( x + 1) 2 0. POr lo tanto tendremos:
| A -B | | A -C | + | C -B | .
Luego
f ( | A -B | ) f ( | A -C | + | C -B | )
y por lo tanto
d ( A, B) = | A -B | / ( | A -B | + 1) (| A -C | + | C -B |) / ( | A -C | + | C -B |+ 1)
Separando las fracciones se tiene
d ( A, B) | A -C | / ( | A -C | + | C -B |+ 1) + | C -B | / ( | A -C | + | C -B |+ 1).
Por lo tanto podemos tomar denominadores menores y se mantiene el sentido de la desigualdad. Luego
se tiene:
d ( A, B) | A -C | / ( | A -C | + 1) + | C -B | / ( | C -B |+ 1) = d ( A , C) + d ( B, C).
ES decir, hemos demostrado
d ( A, B) d ( A , C) + d ( B, C).
Para A, B y C nmeros reales.
Espacios normados

Un espacio vectorial E, se dice que es un Espacio Normado, si sobre E se define una norma
|| || : E R
la cual enva a cada vector v del espacio en un nmero real || v || , llamado la norma de v, . con las
siguientes propiedades
|| v | | 0 y || v || = 0, s y slo si v = 0.
|| v || = | | || v ||
|| v + u || || v || + || v ||.
El par ( E, || || ) se llama espacio normado.
Ejemplos de espacios normados
1) El conjunto R de los nmeros reales, es un espacio normado con la norma dada por el valor absoluto.
|| v || = | v |.
En este caso la norma de un nmero real es la distancia desde el nmero real al origen.
2) Rn , es un espacio vectorial normado, con la norma euclideana
|| v || = [ x12 + x22 +
donde v = ( x1 , x2 , . . .

+ xn2 ]
, x n ).

Este espacio se llama Espacio Normado Euclideano n dimensional

En R3 , el Espacio Euclideano de 3 dimensiones, la norma de un vector v, representa la distancia desde el
origen hasta el punto final de v ( en R3 , todos los vectores tienen su punto inicial en el origen).
3) Si A es un conjunto cualquiera, el conjunto de funciones acotadas de A en los nmeros reales,
denotado por ( A, R) , es un espacio vectorial normado con la norma del supremo
|| f || = sup | f(x) | , con x en A.
Todo espacio vectorial normado ( E, || || ) se puede convertir en un espacio mtrico, con la mtrica dada
por
d (x, y) = || x - y ||
esta mtrica d, as definida, se llama la mtrica proveniente de la norma.
Bolas abiertas, Bolas cerradas. Esferas.
En un espacio mtrico, M es necesario saber determinar con toda precisin el concepto intuitivo de
aproximacin entre sus puntos. Ms precisamente, si a es un punto de M, y r es un nmero real ( el cual
ser casi siempre pequeo) , necesitamos saber cules puntos de M estn a una distancia de a menor
que r. Por tal motivo es conveniente definir conjunto de tales puntos, como la Bola abierta con centro en
a y radio r, y esto lo denotamos por
B ( a, r) = { x en M / d ( x, a) < r }
En el siguiente dibujo, mostramos en el espacio mtrico M = R2 una bola abierta con centro en a y radio
r. El espacio est dotado con la mtrica euclideana.
d( X, Y) = [ (x 1- y 1) 2+ (x 2- y 2) 2]
donde X = ( x 1,x 2) y Y = ( y 1,y 2), son puntos de R2 .
Tambin se pueden considerar los puntos que estn a una distancia de a menor o igual a r. Esto nos da
otro conjunto, llamado la bola cerrada con centro en a y radio r ( tambin llamado el disco, por algunos
autores). Usaremos las notaciones:

B [ a, r] = D (a, r) = { x en M / d ( x, a) r }
Finalmente, podemos considerar solamente aquellos puntos de M, que se encuentran a una distancia r
de a, y esto nos dar un nuevo conjunto, llamado la esfera con centro en a y radio r.
S ( a, r) = { x en M / d ( x, a) = r }
Bolas abiertas relativas
Si A es un subespacio mtrico de M, entonces la bolas abiertas en A sern las bolas abiertas de M
interceptadas con A. Es decir, si x es un elemento de A, la Bola Abierta Relativa a A, con centro en x y
radio r se define como
BA ( x, r ) = B( x, r) A
Por ejemplo, si M es R , y A es el eje X, entonces la bola abierta relativa a A, con centro en x = ( 2, 0) y
radio 1 es la parte del eje X de color azul.
De igual manera, se define la Bola cerrada relativa a A.
BA [ x, r ] = B[ x, r] A.
Bolas cuadradas? ! Qu bolas Y entonces como son las bolas....?
En verdad las bolas pueden tener cualquier forma, en nuestro estudio de los espacios mtricos, como se
ver en un instante. Sin embargo, por comodidad, las dibujamos siempre redondas. No debemos
preocuparnos por esto. Recordemos que un dibujo no es ms que una representacin pictrica de un
concepto abstracto, que nos puede ayudar a conocer mejor los objetos de la matemtica. Pero hay que
tener mucho cuidado con estas representaciones, especialmente dentro del campo de la Topologa, pues
a veces nos conducen a resultados falsos. De cualquier manera seguiremos usando las representaciones
grficas, cuando sean productivas de nuevos conocimientos. Como siempre, cualquier demostracin de
un hecho importante dentro de la teora, deber ser desarrollada dentro de los mtodos lgicodeductivos que se emplean en matemticas.
Si en R2, consideramos la distancia dada por la mtrica
d 1((x, y), ( z, u) ) = | z - x | +| u -y | .
entonces la bola abierta centrada en el origen y radio r tiene la forma siguiente:
Si en R2, consideramos ahora la distancia dada por la mtrica del producto
d 2((x, y), ( z, u) ) = max {| z - x | , | u -y | }. Entonces la bola abierta con centro en el origen y radio r,
tiene la siguiente forma:
Si B ( ( - , ), r) es el espacio mtrico de las funciones acotadas de ( - , ) en R, con la mtrica del
supremo, entonces la bola abierta con centro en la funcin f( x) = sen (x) y radio 4 viene representada
por una banda en el plano:
Un conjunto A en un espacio mtrico se llama conjunto acotado, si la distancia entre sus puntos no sobre
pasa cierto valor. Ms precisamente, A es acotado, si existe un nmero real c, tal que d ( x, y) c, para
todo par de puntos x e y en A. Este nmero real c, se llama un acota superior para el conjunto. El
dimetro del conjunto, se define como la menor de estas cotas superiores. Otra manera de expresarlo
sera:
dimetro (A) = sup {d (x, y), con x e y en A }
Si A no es acotado, diremos que su dimetro es infinito ( dimetro (A) = )
Es claro que toda bola abierta es un conjunto acotado y su dimetro es igual al doble del radio. Tambin
se puede probar que todo conjunto acotado est contenido en una bola abierta Podras dar una
demostracin?
Un punto a de un espacio mtrico M se llama Punto Aislado, si existe una bola abierta, centrada en a, tal
que ella slo contenga al punto a. Es decir, existe un radio r > 0, tal que

B ( a, r ) M = {a}
Por ejemplo, Si X es un conjunto cualquiera dotado de la mtrica discreta, entonces todos los puntos de X
son aislados Por qu?
Un espacio mtrico M, donde todos los puntos son aislados, se llama Espacio Mtrico Discreto :por
ejemplo el espacio de los nmeros enteros Z, con la mtrica inducida por R es un espacio mtrico
discreto.