ESPACIOS MÉTRICOS

P.1.1. Sea d : N × N → R definida por d ( m ,n )=|m 2−n 2|. ¿Es ( N , d ) un espacio métrico?
Justifique la respuesta

Demostración

Debemos probar que ( N , d )es un espacio métrico, entonces la distancia d debe cumplir las
siguientes condiciones

1) d ( m ,n )=0 ↔ m−n ?

En efecto, como

d ( m ,n )=|m2−n 2|=0 ↔|(m+n)( m−n)|=0

↔|(m+n)( m−n)|=0 ↔|(m−n)|=0 ↔ m=n

Observaciones

Como d : N × N → R

( m , n ) → d ( m ,n )=|m 2−n 2|, donde m , n∈ N →m+n ≠ 0 ∈ N

2) d ( m ,n )=d ( n , m ) ?
En efecto d ( m ,n )=|m 2−n 2|=|−( n2−m 2 )|=|n2−m2|=d ( m, n )

3) d ( m ,n ) ≤ d ( m, z ) +d ( z , n ) ?
En efecto: d ( m ,n )=|m 2−n 2|=|m 2−z 2 + z 2−n2|
≤|m 2−z 2|+|z 2−n2|=d ( m, z ) +d ( z , n )
→ d ( m, n ) ≤ d ( m , z )+ d ( z , n )

Por tanto, concluimos que (N , d ) es un espacio métrico.

P.1.2. Sea (X , d ) un espacio métrico. Demuestre que se cumple

|d ( x , y ) −d ( z , t )|≤ d ( z , z ) +d ( y , t)
Para todo x , y , z , t ∈ X

Demostración

Por la proposición 1.1.A, se cumple que si (X , d ) es un espacio métrico entonces

|d ( x , y ) −d ( z , t ) ≤ d (x , y )|
∀ x, y , z∈ X
Lo que se quiere probar es cuando tengamos ahora para 4 puntos es decir,

|d ( x , y ) −d ( z , t )|≤ d ( x , z ) +d ( y , t)
∀ x , y , z ∈ X donde
(X , d ) es un espacio métrico
En efecto, por la proposición mencionada se garantiza las siguientes desigualdades

|d ( z , y ) −d ( x , y )|≤ d ( x , z ) … (1)
|d ( y , z ) −d ( z , t )|≤ d ( y ,t ) … (2)

Sumando (1) y (2)

|d ( z , y ) −d ( x , y )|+|d ( y , z ) −d ( z , t )|≤ d ( x , z ) +d ( y , t) Observación

 |x|=|−x|
 d ( x , y )=d ( y , x )

|d ( x , y ) −d ( y , z )|+|d ( y , z ) −d ( z , t )|≤ d ( x , z ) +d ( y , t)

Por la desigualdad triangular para la parte izquierda de la desigualdad, tenemos:

|d ( x , y ) −d ( y , z ) +d ( y , z )−d ( z ,t )|≤|d ( x , y )−d ( y , z )|+|d ( y , z )−d ( z ,t )|≤ d ( x , z ) +d ( y , t )

→|d ( x , y )−d ( y , z )+ d ( y , z )−d ( z , t )|≤ d ( x , y ) +d ( y , t )

∴|d ( x , y )−d ( z ,t )|≤ d ( x , z ) −d ( y , t )

P.1.3. Sea X un conjunto. Demuestre que una aplicación d : X × X → R es una distancia si, y
solo si, para x , y , z ∈ X , se verifican

(a) d ( x , y )=0↔ x= y ;
(b) d ( x , y ) ≤ d ( x , z ) +d ( y , z )

Demostración

(→) Si d : X × X → R es una distancia → d ( x , y )=0 ↔ x= y ∧ d ( x , y ) ≤ d ( x , z ) +d (z , y)

Por definición, ya que si d es una distancia goza de las propiedades que quieren demostrar.

(←) Si d ( x , y )=0↔ x= y ∧d ( x , y ) ≤ d ( x , z )+ d ( z , y ) , ∀ x , y , z ∈ X → d es una distancia

Solo basta probar que d ( x , y )=d ( x , y )=d ( y , x ) para que d sea una distancia

Por hipótesis si d ( x , y )=0→ x= y → y=x → d ( y , x )=0

Por tanto d ( x , y )=d ( y , x )

P.1.4. Sea ( X , d ) un espacion métrico. Se definen ∂ y ρ y η como sigue:

+¿ ¿
∂ ( x , y ) =kd ( x , y ) k ∈ R
 ρ ( x , y ) =min { 1, d ( x , y) }
2
η ( x , y ) =[ d (x , y ) ]
Demuestre que ∂ y ρ son distancias sobre X , pero que η no tiene por que ser
necesariamente una distancia.

Demostración

Supongamos que ( X , d ) es un espacio métrico, donde “ d ” ya es una distancia para X .

 Probaremos que ∂ es una distancia sobre X .

1) δ ( x , y )=0 ↔ x= y ?
+¿¿
En efecto, δ ( x , y )=kd ( x , y ) =0 ↔ d( x , y )=0 , k ∈ R y por hipótesis
d ( x , y )=0↔ x= y

2) δ ( x , y )=δ ( y , x ) ?
En efecto, δ ( x , y )=kd ( x , y ) =kd ( x , y )=δ ( y , x )
→ δ ( x , y ) =δ ( y , x )

3) δ ( x , y ) ≤ δ ( x , z )+ δ ( z , y ) ?
En efecto, pues
δ ( x , y )=kd ( x , y ) , k ∈ R +¿¿ por hipótesis se cumple que
d ( x , y ) ≤ d ( x , z ) +d ( z , y )

Como, k ∈ R +¿→ kd ( x , y ) ≤kd ( x, z )+kd ( z , y ) ¿ entonces

δ ( x , y ) ≤ δ ( x , z )+ δ(z , y)

Por tanto δ define una distancia sobre X

 Probaremos que ρ define una distancia sobre X

1) ρ ( x , y ) =0 ↔ x= y ?
En efecto ρ ( x , y ) =mm { 1 , d( x , y ) }=0 ↔ mm { 1 ,d (x , y) }=d (x , y)
Teniendo así:
ρ ( x , y ) =d ( x , y )=0 ↔ x= y

2) ρ ( x , y ) =ρ ( y , x ) ?
En efecto ρ ( x , y ) =mm { 1 , d( x , y ) }=m m { 1 , d ( y , x ) }=ρ ( y , x )
→ ρ ( x , y )=ρ ( y , x )

3) ρ ( x , y ) ≤ ρ ( x , z )+ ρ ( z , y ) ?
En efecto, ρ x , y =mm { 1 , d( x , y ) } , ∀ x , y ∈ X .
( )

 Caso 1: Si 1>d ( x , y ) → ρ ( x , y )=m m { 1 , d (x , y ) }=d( x , y )

→ ρ ( x , y )=d ( x , y ) ≤ d ( x , z ) + d ( z , y )=ρ ( x , z ) + ρ ( z , y )
→ ρ (x , y )≤ ρ ( x , z )+ρ ( z , y )
  Caso 2: Si d ( x , y ) >1 → ρ ( x , y )=m m { 1 , d ( x , y ) }=1
→ ρ ( x , y )=1 ≤1+1=ρ ( x , z )+ ρ ( z , y )
→ ρ (x , y )≤ ρ ( x , z )+ρ ( z , y )

 Caso 3: Si d ( x , y )=1 → ρ ( x , y )=m m {1 , d (x , y) } =d ( x , y ) o ρ ( x , y )=1

Tomando ρ ( x , y ) =d ( x , y ) ≤ d ( x , z ) +d (z , y )
→ ρ (x , y )≤ ρ ( x , z )+ρ ( z , y )

Por tanto, de los casos 1, 2 y 3 se concluye que

ρ ( x , y ) ≤ ρ ( x , z )+ ρ ( z , y )

Y así ρ define una distancia sobre X

 Probaremos que η(x , y) no define una distancia sobre X (por absurdo)

Por hipótesis como d ( x , y ) ≤ d ( x , z ) +d ( z , y ) ∀ x , y , z ∈ X . Consideremos x ≠ y ≠ z
y d ( x , y )=d ( x , z ) + d ( z , y )
2 2 2 2
d ( x , y )=(d ( x , z ) +d ( z , y )) =d ( x , z ) + d ( z , y ) +2 d ( x , z ) d ( z , y )

Y como η(x , y) define una distancia sobre X , entonces se cumple

η ( x , y ) ≤ η ( x , z )+ η(z , y ), reemplazando por definición
2 2 2 2 2 2 2
d ( x , y ) ≤ d ( x , z ) +d ( z , y ) → d ( x , z ) +d ( z , y )+ 2 d ( x , z ) d (z , y )≤ d ( x , y ) +d ( z , y )
→ 2 d ( x , z ) d (z , y )≤0 → d ( x , z ) d (z , y )≤ 0 … (1)

Como x ≠ y ≠ z entonces d ( x , z ) >0 ∧d ( xz , y )> 0→ d ( x , y ) d (z , y )>0 … (2)

Por tanto de (1) y (2) se tiene una contradicción entonces η ( x , y ) =d 2 ( x , y ) no define una
distancia sobre X .

P.1.5. Sea X un conjunto y ƒ : X → R una aplicación inyectiva. Demuestre que la aplicación

d ( x , y )=|ƒ ( x ) −ƒ( y )| es una distancia sobre X

Demostración

Debemos probar que d ( x , y )=|ƒ ( x ) −ƒ( y )| define una distancia sobre X , entonces debe
satisfacer las condiciones de una distancia

1) d ( x , y )=0↔ x= y ?
En efecto, d ( x , y )=|ƒ ( x ) −ƒ( y )|=0 ↔ ƒ ( x ) −ƒ ( y )=0 ↔ƒ ( x )=ƒ ( y) como ƒ es
inyectiva, entonces x= y .

2) d ( x , y )=d ( y , x ) ?
En efecto, d ( x , y )=|ƒ ( x ) −ƒ ( y )|=( x , y )=|−ƒ ( y )−ƒ ( x )|=|ƒ ( y )−ƒ ( x )|
→ d ( x , y )=d ( y , x )

3) d ( x , y ) ≤ d ( x , z ) +d ( z , y ) ?
 En efecto d ( x , y )=|ƒ ( x ) −ƒ ( y )|=|ƒ ( x )−ƒ ( z ) +ƒ ( z )−ƒ ( y )|
≤|ƒ ( x )−ƒ ( z )|+|ƒ ( z )−ƒ ( y )|=d ( x , z ) +d ( z , y )
→ d ( x , y ) ≤ d ( x , z ) +d ( z , y )

Por tanto “ d ” define una distancia sobre X .

P.1.6. Sea ƒ : R → R una función estrictamente creciente. Demuestre que

d ( x , y )=|ƒ ( x ) −ƒ ( y )| es una distancia sobre R

Demostración

Debemos probar que d ( x , y )=|ƒ ( x ) −ƒ ( y )| define una distancia sobre X entonces debe
satisfacer las condiciones de una distancia

1) d ( x , y )=0↔ x= y ?
En efecto, d ( x , y )=|ƒ ( x ) −ƒ ( y )|=0 ↔ ƒ ( x ) −ƒ ( y )=0 ↔ƒ ( x )=ƒ ( y ) , como
ƒ : R → R es una función
FUNCIÓN ESTRICTAMENTE CORRIENTE
estrictamente creciente, entonces ƒ
Sea ƒ : R → R , si ƒes creciente se
es inyectiva teniendo asi que si
cumple que: ƒ ( x )< ƒ ( y ), ∀ x , y ∈ R
ƒ ( x )=ƒ ( y ) → x= y
entonces si x ≠ y se trata que ƒ ( x ) ≠ ƒ ( y )
lo cual implica que ƒ es inyectiva

2) d ( x , y )=d ( y , x ) ?
En efecto, d ( x , y )=|ƒ ( x ) −ƒ ( y )|=|−ƒ ( y ) −ƒ ( x )|=|ƒ ( y )−ƒ ( x )|=d ( y , x )
→ d ( x , y )=d ( y , x )

3) d ( x , y ) ≤ d ( x , z ) +d ( z , y ) ?

En efecto, d ( x , y )=|ƒ ( x ) −ƒ ( y )|>0, tenemos que

d ( x , y )=|ƒ ( x ) −ƒ ( y )|=|ƒ ( x )−f ( z )+ f (z )−ƒ ( y )|<|ƒ ( x )−ƒ ( z )|+|ƒ ( z )−ƒ ( y )|

¿ d ( x , z ) +d ( z , y )

→ d ( x , y ) <d ( x , z )+ d ( z , y )

Por tanto d ( x , y )=|ƒ ( x ) −ƒ ( y )|, define la distancia sobre R

P.1.7. Considere el conjunto C ( [ 0 , 1 ] ) de las funciones reales continuas en el intervalo [ 0 , 1 ].

Sean f ( x )=x (1−x) y g ( x )=x . Calcule d ∞ ( f , g ) y d ( f , g ) según las definiciones de los
Ejemplos ej.1.6. y e.j.1.7.
Solución
b
 Por el ejercicio 1.7, tenemos que d ( f , g )=∫|ƒ ( x )−g (x)|dx , por lo que se tiene lo
a
siguiente:
Tenemos que:
1
d ( g , f )=∫ x− x(1−x)dx
0

|
1 3 1
x 1
¿ ∫ x dx =¿
2
= ¿
0 3 0 3
1
→ d ( g , f )=
3
Observación |x−x (1−x)|=x−x ( 1−x ) , ∀ x ∈ [ 0 , 1 ]

 Luego por el ejercicio 1.6 definimos que la distancia entre f y g es:

x− x(1−x)|}=¿ xϵ [ 0 , 1] {|x−x+ x |}= xϵ [ 0 ,1] {|x |}=¿ xϵ [ 0 ,1 ] { x }=¿1 ¿ ¿¿
={|
¿ 2 ¿ 2 ¿ 2

d∞ ( f , g) ¿

∴ d ( f , g )∞=1

SUBESPACIOS MÉTRICOS

P.1.8. Estudie las distancias que, sobre R , inducen d 1y d ∞ consideradas sobre R2. ¿Y si
considera las distancias d 1, d 2y d ∞ sobre Rn e intenta calcular las que inducen,
respectivamente sobre Rn−k , con 1<k < n?

Solución

1. Consideramos R × {0 }={ ( x , 0 ) : x ∈ R } ⊂ R2 , definamos,

2 2
d 1 :R × R → R
( ( a ,b ) , ( c , d ) ) →d 1 ( ( a , b ) , ( c , d ) )=|a−c|+|b−d| , ∀ a , b , c , d ∈ R

Entonces sea d 1 R× {0}

: R × {0 } × R × { 0 } → R

( ( x , 0 ) , ( y , 0 ) ) → d1 ( ( x , 0 ) , ( y , 0 ) )=d1 ( ( x ,0 ) , ( y , 0 ) )=| x− y|+|0−0|

R ×{ 0}

¿|x− y|=d (x , y)

Entonces afirmamos que la distancia d 1 en R2, induce a la distancia del valor absoluto
sobre R .
Ahora si consideramos:

2 2
d∞ : R × R → R
( a , b ) , ( c , d ) → d ∞ ( ( a , b ) , ( c , d ) )=max {|a−c|+|b−d|}
 Entonces considerando la distancia d ∞ sobre R × {0 }, tenemos

d ∞ =R × { 0 } × R × { 0 } → R
R ×{0 }

( ( x , 0 ) , ( y , 0 ) ) → d ∞ ( ( x , 0 ) , ( y , 0 ) ) =d ∞ ( ( x , 0 ) , ( y , 0 ) )=| x− y|+|0−0|
R× {0}

¿ max {|x − y|, 0 }

Como |x− y|≥ 0 , x , y ∈ R entonces max {| x− y|, 0 }=| x− y|=d (x , y )

Entonces llegamos a la conclusión de que también la distancia d ∞ sobre R2, induce

sobre R la distancia del valor absoluto.

 Para responder a la siguiente pregunta, podemos considerar como caso particular

η=3 , κ=0 tal que 1<2<3 , entonces tenemos lo siguiente:
3 3
d 1 :R × R → R
( a , b , c ) , ( d ,e , f ) → d 1 ( ( a ,b , c ) , ( d , e , f ) ) =|a−d|+|b−e|+|c−f |

Considerando el subconjunto R × {0 } × { 0 }= { ( x , 0 , 0 ) : x ∈ R } ⊂ R 3, entonces la

distancia restringuida es:

d1 R× {0} × {0}
: R × { 0 } × { 0 } × R × { 0 } × {0 } → R

( ( x , 0 ,0 ) , ( y , 0 , 0 ) ) →d 1 ( ( x , 0 ,0 ) , ( y , 0 , 0 ) )=| x− y|+|0−0|+|0−0|
R× {0 }× {0}

¿|x− y|=d (x , y)∈ R

Entonces la distancia d 1 sobre R3 , induce la distancia valor absoluto sobre R .

Obs: Las distancias d 1 , d 2 y d ∞ sobre Rη , inducen en Rη−k , 1<k < η y η−k =1 siempre
las distancias del valor absoluto.

Además, si η−k ≠ 1, las distancias d 1 , d 2 y d ∞ sobre Rη−k inducen las mismas

distancias para el espacio Rη−k , des decir, si η=4 , k=2 , R2 × { 0 } × { 0 } ⊂ R 4.

d 1 :R × R → R y d 1 : , R2 × { 0 } × { 0 } × , R 2 × { 0 } × { 0 } → R
4 4
2
R ×{ 0} ×{ 0}

Se prueba que
d1 2
R ×{ 0} ×{ 0}
: ( ( x , y , 0 , 0 ) , ( z , w , 0 , 0 ) )=| x−z|+| y−w|=d 1 ( ( x , y ) , ( z , w ))

P.1.9. Sea A ⊂ R2 definido como A={( x , y )∈ R 2 : y =x2 } . Calcule explícitamente las

distancias inducidas sobre A por d 1 , d 2 y d ∞.
Solución
Veamos como esta dado el grafico del conjunto A
Claramente A ⊂ R2
Procedemos a calcular las distancias inducidas sobre A de forma explícita.
  d1 : A × A → R
( ( x , y ) , ( w ,t ) ) → d1 ( ( x , y ) , ( w , t ) )=|x−w|+| y−t|

Pero si:
( x , y ) ∈ A entonces y=x 2
( w ,t ) ∈ A entonces t=w 2

Entonces

d 1 ( ( x , y ) , ( w , t ) )=|x−w|+|x 2−w2|=|x−w|+|(x+ w)(x−w)|

¿|x−w|+|x −w|+|x+ w|=|x−w|( 1+|x +w|)

 d2 : A × A → R
( ( x , y ) , ( w ,t ) ) → d2 ( ( x , y ) , ( w , t ) )=√(x −w)2 +( y −t)2

Por la condición del conjunto A

→ d 2 ( ( x , y ) , ( w ,t ) ) =√ (x−w)2 +( y−t)2 =√ (x−w)2 +(x 2−w 2)2

¿ √ (x−w)2+(x−w)2 (x+ w)2=√ (x−w)2+(1+|x +w|¿¿ 2)¿

¿|x−w|√ 1+|x+ w|
2

OBSERVACIÓN
|x|≥ 0 , ∀ x ∈ R
|x|≤ a|x| , a ≥0
 d∞ : A × A → R
( ( x , y ) , ( w ,t ) ) → d ∞ ( ( x , y ) , ( w ,t ) ) =max {|x−w|,| y−t |}
Por la condición del conjunto A

→ d ∞ ( ( x , y ) , ( w , t ) )=max {|x −w|,| y −t|}=max {|x−w|,|x −w |}=max {|x−w|,| x−w| ,|x + w|}
2 2

¿|x−w||x +w|

DISTANCIA A UN CONJUNTO

P.1.10. Consideremos R con la distancia usual d ( x , y )=| x− y| y el conjunto A=⟨ 1 , 2 ] ⊂ R2.

responda las sigueites cuestiones justificando las respuestas

1. ¿Cuándo vale d ( 32 , A )? 0 ,− 12 o 12
1 1
2. ¿Cuándo vale d (1 , A )? ,0o
2 4
1
3. ¿Cuándo vale d (0 , A)? 1 , , o 0
2
Solución
 1) d ( 32 , A )=inf {d ( 32 , a): a ∈ ⟨1 , 2 ] }=inf {( 32 −a) :a ∈ ⟨1 , 2] }=0 pues 32 es un punto
adherente a A¿ =⟨ 1 , 2 ] .

2) d ( 1 , A )=inf { d ( 1 , A ) : a ∈ ⟨ 1 , 2 ] }=inf {( 1−a ) : a ∈ ⟨ 1 , 2 ] }=0 pues 1 es un punto

adherente a A¿ =⟨ 1 , 2 ] .

3) d ( 0 , A )=inf {d ( 0 , A ) : a ∈ ⟨ 1 , 2 ] }=inf {|a|: a ∈ ⟨ 1 , 2 ] }=inf {a :a ∈ ⟨ 1 , 2 ] }=1

P.1.12. Considere R con la distancia usual y A= {1n +(−1) :n ∈ N }

n
. Calcule

d ( 1 , A ) y d (−1 , A )
Solución

Veamos el comportamiento del conjunto A , cuando n es par o impar:

{
1
−1 , n impar … A 1
A= n
1
+1 , n par … A1
n

Calcularemos la distancia de 1 hacia A .

 {1n −1:n impar }

Distancia de 1 hacia el conjunto . Es la siguiente:

|1−( 1n −1)|=|2− 1n|=|2 n−1

n |=|2− | n impar
1
n
,

 Distancia de 1 hacia el conjunto {1n +1 :n par } . Es la siguiente:

| ( )| | | | |
1−
1
n
+1 =
−1 1 1
n
= = , n par
n n

Entonces:

d ( 1 , A )=min {2 n−1
n
, :n ∈ N }
1
n

Calcularemos la distancia de −1 hacia A .

 Distancia de −1 hacia el conjunto {1n −1:n impar } . Es la siguiente:

 | ( )| |
1−
1
n
1
−1 = −1− +1 =
n
−1 1 1
n || |||
= = , n impar
n n

 {1n +1 :n par }
Distancia de 1 hacia el conjunto . Es la siguiente:

| n | n
−1−( +1) =|−1− −1|=|−2− |=|2+ |=|
1 1 1
n n |
1 2 n+1 2 n+1
n
=
n
n par ,

d ( 1 , A )=min { , :n ∈ N }
2 n−1 1
n n

Entonces:

d (−1 , A )=min {1n , 2 n+1

n
: n∈ N }

P.1.13. Sea ( X , d ) un espacio métrico. En el Problema P.1.4 hemos visto que la aplicación
ρ : X × X → R definida por ρ ( x , y ) =min { 1 , d2 (x , y) } y el conjunto

A={( x , y ) ∈ R 2 :0 ≤ x ≤ 1 ,0 ≤ y ≤ 1 }

Halle los puntos de R2 que verifican d ( x , A ) =1

Solución

distancia

Consideremos el espacio (R¿¿ 2 , ρ)¿ con ρ ( x , y ) =min { 1 , d2 (x , y) } y el conjunto.

A={( x , y ) ∈ R 2 :0 ≤ x ≤ 1∧ 0 ≤ y ≤ 1 }

 Determinar los puntos de R2 tal que d ( x , A ) =inf { ρ ( x , a ) : aϵA }=1

Tener en cuenta:

x=( x 0 , x1 ) ∧ a=( a0 , a1 ) con 0 ≤ a0 ≤1 , 0 ≤ a1 ≤1

Como ρ ( x , y ) =min {1 , d2 ( x ,a ) }
→ inf { ρ ( x , a ) : aϵA }=inf {min { 1 , d 2 (x , a):aϵA } }=1

Llegamos a la conclusión de que:

d 2 ( x , a )=1→ √ (x 0−a0 ) +(x 1−a1 ) =1 →(x 0−a 0) +(x 1−a1) =1
2 2 2 2

Tenemos las siguientes posibilidades

 Si x 0=a0 x 1−a1=− ¿ ¿1 ¿, recordar que 0 ≤ a0 ≤1 , 0 ≤ a1 ≤1

+¿

Los puntos posibles son:

O
 x 1−a 1=1 a 1−x 1=1
Para este caso consideremos una Para este caso consideremos una
sucesión: sucesión:

n+1 1 n −(n+ 1)
x 1= , a 1= , nϵ N a 1= , x 1= , nϵ N
η η η η

Entonces los puntos x y a cuya distancia sea 1 son:

{( ( ) ( )
n+1 1
x= x 0 , , a= x 0 , , nϵ N ,0 ≤ x 0 ≤ 1
n n

x= x 0 ,
− ( n+1 )
n ) ( ) 1
, a= a , x 0 , , nϵ N ,0 ≤ x 0 ≤ 1
n

 Si x 1=a 1 x 0−a 0=− ¿ ¿1 ¿, recordar que 0 ≤ a0 ≤1 , 0 ≤ a1 ≤1

+¿

Los puntos posibles son:

O

x 0−a0=1 a 1−x 1=1

Para este caso consideremos una Para este caso consideremos una
sucesión: sucesión:

n+1 1 1 n+1
x 0= , a 0= , nϵ N a 0= , x 0= , nϵ N
η η η η

Entonces los puntos x y a cuya distancia sea 1 son:

{ x=( n+1n , x ) ,a=( 1n , x ) , nϵ N , 0 ≤ x ≤ 1

x=(
n+1
n
1 1 1

, x ) , a=( , x ) , nϵ N , 0 ≤ x ≤ 1
1
1
n 1

Y en particular

Los puntos que no se encuentran en la sucesión, pero si satisface la condición son:

x=( 1 , 0 ) , a=(1 ,1) , x=( 0 , 1 ) , a=(0 , 1) , x=( 1 , 1 ) , a=(1, 0)

x=( 0 , 0 ) , a=(0 ,1) , x=( 2 , 0 ) , a=(1 , 0) , x=(−1 , 1 ) , a=(1 ,0)

x=( 0 , 0 ) , a=(0 ,1) , x=( 2 , 0 ) , a= (1 , 0 ) ⋮

Con la condición de que x ∈ R2

P.1.14. Sea (R2 , d 2) y A={( x , y ) ∈ R 2 : x + y <1 , x >0 , y >0 }. Calcule el diámetro de A

Solución

Tenemos el conjunto A gráficamente:

Recordar
diamA=δ ( A ) ={d ( x, y ) : x , y∈ A } ¿

Tenemos que:

δ ( A )=d 2 ( ( 0 , 1 ) , ( 1 , 0 ) )= √ 12 +12= √ 2, pues este es el máximo.

TOPOLOGÍA ASOCIADA A UN ESPACIO MÉTRICO

P.1.15. Definimos la aplicación d : R2 × R2 → R como sigue:

d [ ( x1 , x2 ) ,( y1 , y2 )]
{| | | |( x 2− y 2 )|, si x 1= y 1
x 2 + x 1− y 1|+| y 2|, si x 1 ≠ y 1

Pruebe que d es una distancia sobre R2. Determine y represente gráficamente las bolas
B ( ( 0 , 0 ) ,1 ) , B ( ( 1, 0 ) , 1 ) , B ( ( 0 , 1 ) ,1 ) y B ( ( 2, 3 ) , 1 )

Solución

a) Primero probaremos que d define una distancia sobre R2.

1) d ( x , y )=0↔ x= y ?
Consideremos x=( x 1 , x 2 ) , y=( y 1 , y 2 ). Supongamos que x 1= y 1
→ d ( x , y )=|x 2− y 2|=0 ↔ x 2− y 2=0 ↔ x 2= y 2 teniendo entonces
( x 1 , x 2 )=( y 1 , y 2 ) ↔ x= y

2) d ( x , y )=d ( y , x ) ?

En efecto pues

d ( x , y )=
{| | | |( x 2− y 2)|, x 1= y 1
x 2 + x 1− y 1|+| y 2| , x 1 ≠ y 1
=
{| | ||( y 2−x 2 )|, y 1=x 1
y 2 + y 1 −x1|+| x2|, y 1 ≠ x 1
=d ( y , x)

→ d ( x , y )=d ( y , x )

3) d ( x , y ) ≤ d ( x , z ) +d ( z , y ) ?
Dado x , y , z ∈ R , con x=(x 1 , x 2), y=( y 1 , y 2 ), z=(z 1 , z 2).
2

 Supongamos que x 1= y 1=z 1

 → d ( x , y )=|x 2− y 2|=|x 2−z 2+ z2 − y 2|≤|x 2−z 2|+|z 2− y 2|=d ( x , z )+ d (z , y )
d ( x , y ) ≤ d ( x , z ) +d ( z , y )

 Supongamos que x 1 ≠ y 1 ≠ z 1
→ d ( x , y )=|x 2|+|x 1− y 1|+|z 2|=|x 2|+|x 1−z 2+ z2 − y 1|+|z 2|
≤|x 2|+|x 1−z 1|+|z 1− y 1|+|z 2|≤|x 2|+|x 1−z 1|+|z 2|+| y 2|+| y 1−z 1|+|z 2|
¿ d ( x , z ) +d ( y , z)
→ d ( x , y ) ≤ d ( x , z ) +d ( y , z )

 Supongamos que x 1 ≠ y 1 y1 =z1


→ d ( x , y )=|x 2|+|x 1− y 1|+| y 2|=|x 2|+|x 1−z 2 + z 2− y 1|+| y 2−z 2 + z 2|
≤|x 2|+|x 1−z 1|+| y 1−z 1|+| y 2 −z2|+| z2|
⏟
0
¿|x 2|+|x 1−z 1|+|z 2|+| y 2−z 2|=d ( x , z )+ d ( z , y )

→ d ( x , y ) ≤ d ( x , z ) +d ( z , y )

Por los otros casos diferentes el proceso es similar a este último.

Por tanto de (1), (2) y (3) se concluye que d define una distancia sobre R2

b) Con respecto a las bolas

1) B ( ( 0 , 0 ) ,1 ) ={ x ∈ R :d ( x , ( 0 , 0 ) ) <1 }
2

Donde

d ( x , ( 0 , 0 )) =
{ |x 2| , x 1=0
|x 2|+|x 1| , x 1 ≠ 0
→Si x 1=0 → B ( ( 0 , 0 ) , 1 )= { x ∈ R :| x2|<1 } por otro lado, si
2

x 1 ≠ 0 → B ( ( 0 , 0 ) , 1 )= { x ∈ R 2 :| x1|+| x2|<1 }

Gráficamente

Donde:

B ( ( 0 , 0 ) ,1 ) ={ x ∈ R2 :|x 2|<1 }

B ( ( 0 , 0 ) ,1 ) ={ x ∈ R2 :|x 1|+|x 2|<1 }

2) B ( ( 1 ,0 ) , 1 )= { x ∈ R : d ( x , ( 1, 0 )) < 1 }
2

Tenemos:
 d ( x ,( 1 , 0) )=
{ |x 2|, x 1=1
|x 2|+|x 1−1|, x 1 ≠ 1

→Si x 1=1 tenemos que B ( ( 1 ,0 ) , 1 )= { x ∈ R2 :| x 2|< 1 } ademas si

x 1 ≠ 1 → B ( ( 1 ,0 ) , 1 ) ={ x ∈ R2 :|x 1−1|+|x 2|<1 }

Gráficamente:

Donde:

: B ( ( 1 ,0 ) , 1 )= { x ∈ X :|x 2|<1 }

: B ( ( 1 ,0 ) , 1 )= { x ∈ X :|x 1−1|+|x 2|<1 }

{
3 B ( ( 0 ,1 ) , 1 )= x ∈ R : d ( x1 ( 0 , 1 ) ) <1
2
}
Tenemos:

d ( x ,( 1 , 0))=
{ |x 2−1|, x 1=1
|x 2|+|x 1|+1 , x 1 ≠ 1

→Si x 1=1 tenemos que B ( ( 1 ,0 ) , 1 )= { x ∈ R :| x 2−1|<1 } y si x 1 ≠ 0

2

→ B ( ( 0 , 1 ) , 1 )={ x ∈ R 2 :|x 2|+|x 1|+1<1 }, de este ultimo no existe la bola abierta a que
|x 2|+|x 1|<0 no es cierto.
Gráficamente:

Si |x 2−1|<1 →−1< x 2−1<1 → 0< x 2 <2, por lo que:

Donde:

{
: B ( ( 0 ,1 ) , 1 )= x ∈ R :| x 2−1|<1
2
}
4 B ( ( 0 , 3 ) ,1 ) ={ x ∈ R :d ( x , ( 2 ,3 ) ) <1 }
2

Tenemos que

d ( x ,( 1 , 0) )=
{ | x2 −3|, x 4=2
|x 2|+|x 1−2|+ 3 , x 1 ≠2
Si x 1=2 tenemos que B ( ( 2 ,3 ) , 1 )= { x ∈ R :| x2 −3|<1 } y si x 1 ≠ 2
2

→ B ( ( 0 , 3 ) , 1 )= { x ∈ R 2 :|x 2|+|x 1−2|+3<1 }, no te que esta última bola abierta no existe

pues,
|x 2|+|x 1−2|←2, absordo.
Gráficamente:

Si |x 2−3|< 1→−1< x 2−2<1→ 2< x 2 <4 , por lo que:

Donde:

: B ( ( R ,3 ) , 1 )= { x ∈ R : |x 2−3|<1 }
2

P.1.16. Se define la parte entera de un número real x ∈ R como

[ x ] =el mayor numero entero menor o igual que x . Sea la aplicación ρ : R × R → R definida
como

ρ ( x , y ) =|[ x ]− [ y ]|+|( x−[ x ] ) −( y− [ y ] )|

a) Prueba que ρ es una distancia en R .

b) Estudie como son las bolas B ρ(0 ,1) y B ρ ( 32 ,1) ¿Cómo son las bolas abiertas?
c) Pruebe que ρ y la distancia d ( x )=|x− y| inducen la misma distancia en el conjunto
Z de los números enteros.

Solución
a) Pruebe que ρ es una distancia en R
1) ρ ( x , y ) =0 ↔ x= y ?
En efecto, ρ ( x , y ) =|⟦ x ⟧ −⟦ y ⟧|+|( x−⟦ x ⟧ )−( y −⟦ y ⟧ )|=0

↔ ⟦ x ⟧− ⟦ y ⟧ =0 ∧ x−⟦ x ⟧ − y + ⟦ y ⟧ =0
↔ ⟦ y ⟧ −⟦ x ⟧ =0 ∧ x− y + ⟦⏟
y ⟧−⟦ x ⟧ =0 ↔ x= y
0

2) ρ ( x , y ) =ρ ( y , x ) ?
En efecto, pues

ρ ( x , y ) =|⟦ x ⟧ −⟦ y ⟧|+|( x−⟦ x ⟧ )−( y −⟦ y ⟧ )|=|⟦ y ⟧− ⟦ x ⟧|+|( y−⟦ y ⟧ )−( x− ⟦ x ⟧ )|=ρ ( y , x )

→ ρ ( x , y )=ρ ( y , x )

3) ρ ( x , y ) ≤ ρ ( x , z )+ ρ ( z , y ) ?
En efecto, pues

ρ ( x , y ) =|⟦ x ⟧ −⟦ y ⟧|+|( x−⟦ x ⟧ )−( y −⟦ y ⟧ )|=|⟦ x ⟧ −⟦ z ⟧ + ⟦ z ⟧− ⟦ y ⟧|+|( x−⟦ x ⟧ )−( z−⟦ z ⟧ ) + ( z−⟦ z ⟧ )−( y −⟦ y ⟧ )|

≤|⟦ x ⟧ −⟦ z ⟧|+ ⟦ z ⟧−⟦ y ⟧ +|( x− ⟦ x ⟧ )− ( z−⟦ z ⟧ )|+|( z−⟦ z ⟧ )−( y −⟦ y ⟧ )|

⟦ x ⟧ −⟦ z ⟧|+|( x−⟦ x ⟧ )−( z −⟦ z ⟧ )|+|⏟

¿|⏟ ⟦ z ⟧− ⟦ y ⟧|+|( z−⟦ z ⟧ )−( y −⟦ y ⟧ )|
ρ ( x ,z ) ρ ( z , y)
 → ρ (x , y )≤ ρ ( x , z )+ρ ( z , y )
Por tanto de (1), (2) y (3) ρ define una distancia en R

b) Teniendo la distancia ρ ( x , y ) debemos estudiar como son las bolas:

B ρ ( 0 , 1 )= {x ∈ R 2 : ρ( x , 0)< 1 }
Tenemos que Recordar
ρ ( x ,0 )=|⟦ x ⟧|+|x−⟦ x ⟧|<1 ,→ x−⟦ x ⟧ + ⟦ x ⟧ <1 0 ≤ x−⟦ x ⟧ <1 , ∀ x ∈ R
Analizando por casos:
*Si x ≥ 0 → ⟦ x ⟧ ≥ 0
→ x<1 → 0 ≤ x ≤1

*Si x <0 → ⟦ x ⟧ <0

x−1 x+ 1
→ x−2 ⟦ x ⟧ <1 → ⟦ x ⟧ > 0→x ≥ → x ≥1
2 2
Entonces x ∈ ∅
Luego la bola ( B ( 0 ,1 ) ) es:
B ( 0 ,1 ) ={ x ∈ R2 : 0≤ x <1 }

*B ( 32 , 1)={x ∈ R : ρ ( x , 32 )<1}
2

Tenemos que:

( 32 )=|⟦ x ⟧−⟦ 32 ⟧|+|( x−⟦ x ⟧ )−( 32 −⟦ 32 ⟧)|< 1

ρ x,

→ρ x, ( 32 )=|⟦ x ⟧−1|+|x− ⟦ x⟧− 12|< 1

B ( 32 , 1)={x ∈ R :|⟦ x ⟧−1|+|x−⟦ x ⟧− 12|<1}
c) Pruebe que ρ y la distancia d ( x , y )=| x− y| inducen la misma distancia en Z
En efecto, dado x , y ∈ Z , se tiene que ⟦ x ⟧ =x ∧ ⟦ y ⟧ = y
→ ρ ( x , y )=|⟦ x ⟧−⟦ y ⟧|+|( x −⟦ x ⟧ ) −( y−⟦ y ⟧ )|=|x− y|=d ( x , y )
→ ρ ( x , y )=d ( x , y )

P.1.21. Justifique si son abiertos los siguientes conjuntos en (R ¿ ¿ 2 , d 2)¿:

A={( x , y ) ∈ R 2 : xy=0 }

B= {( x , y ) ∈ R2 : x ∈Q }

C={( x , y ) ∈ R 2 :| x|< 1 }

D= {( x , y ) ∈ R2 :0< x <1 , 0< y <1 } ∪ {( x , y ) ∈ R 2 : x 2 + y 2=0 }

Solución

A={( x , y ) ∈ R 2 : xy=0 }, no es un conjunto abierto ya que ∄r > 0 tal que B(m , r)⊑ A , m ∈ R2

B= {( x , y ) ∈ R2 : x ∈Q }, si es un conjunto abierto pues ∃r > 0 tal que B(0 , 1)⊑ B

C={( x , y ) ∈ R 2 :| x|< 1 }, si es un conjunto abierto pues ∃r > 0 tal que B(m , r)⊑C

{( x , y ) ∈ R2 :0< x <1 , 0< y <1 } ∪⏟

D=⏟ { ( x , y ) ∈ R2 : x 2 + y 2=0 }
η ξ

D no es un conjunto abierto ya que η es abierto y ξ no es abierto → la unión de estos 2 no es

un conjunto abierto.

P.1.21. Sea ( X , d ) un espacio métrico a ∈ X y r > 0. Demuestre que el conjunto

{ x ∈ X :d (a , x )≥ r } es un conjunto cerrado.
Demostración

Sea M = { x ∈ X : d(a , x)≥r }. Piden demostrar que M es cerrado. Basta probar que M C es
abierto

→ M { x ∈ X :d (a , x )≥ r } y esto es claramente una bola abierta y se sabe que toda bola

C

abierta es un conjunto abierto → M C es abierto.

Por tanto M es cerrado.