Análisis Real I

Estudiante: Diana Patricia López Sandoval

Código: 201620852

Profesor: Luis Alejandro Molano Molano

Universidad Pedagógica y Tecnológica de Colombia

Escuela de Matemáticas y Estadı́stica
Seccional Facultad Duitama.
Junio de 2020
 GUIA 2

1 |ab| = |a||b|.
nota: cuándo a = 0, b = 0, la solución es trivial, obviamente se cumple.
Vamos a tomar en cuenta los cuatro casos posibles:
i) a ≥ 0, b ≥ 0
Se cumple que |a| = a y |b| = b, por lo tanto |a||b| = ab.
Ya que a ≥ 0 y b ≥ 0, se cumple ab ≥ 0, esto implica (definición valor absoluto)
que |ab| = ab, con lo cual se llega a la igualdad |a||b| = |ab|.
ii) a < 0, b < 0
Se cumple que |a| = −a y |b| = −b, por lo tanto |a||b| = (−a)(−b) = ab.
Ya que a < 0 y b < 0, se cumple ab > 0, esto implica (definición valor absoluto)
que |ab| = ab, con lo cual se llega a la igualdad |a||b| = |ab|.
iii) a ≥ 0, b < 0
Se cumple que |a| = a y |b| = −b, por lo tanto |a||b| = (a)(−b) = −ab.
Ya que a ≥ 0 y b < 0, se cumple ab < 0, esto implica (definición valor absoluto)
que |ab| = −ab, con lo cual se llega a la igualdad |a||b| = |ab|.
iv) a < 0, b ≥ 0
Se cumple que |a| = a y |b| = −b, por lo tanto |a||b| = (−a)(b) = −ab.
Ya que a < 0 y b ≥ 0, se cumple ab < 0, esto implica (definición valor absoluto)
que |ab| = −ab, con lo cual se llega a la igualdad |a||b| = |ab|.

2 Para c ≥ 0, |a| ≤ c ⇐⇒ −c ≤ a ≤ c
=⇒ )
Vamos a tomar en cuenta los dos casos posibles:
i) a ≥ 0
por definición de valor absoluto |a| = a pero por hipótesis |a| ≤ c, por lo tanto
a ≤ c.
ii) a < 0
por definición de valor absoluto |a| = −a pero por hipótesis −a = |a| ≤ c, por
lo tanto −a ≤ c, sumando a y −c a ambos lados de la desigualdad, se obtiene:
−c ≤ a

2
uniendo i) y ii), se obtiene:
−c ≤ a ≤ c

demostrando la implicación.
( ⇐=
Vamos a tomar en cuenta los dos casos posibles:
i) a ≥ 0
por definición de valor absoluto |a| = a pero por hipótesis a ≤ c, por lo tanto
|a| ≤ c.
ii) a < 0
por definición de valor absoluto |a| = −a pero por hipótesis −c ≤ a, sumando
−a y c a ambos lados de la desigualdad, se obtiene: −a ≤ c, pero recordemos
que |a| = −a, entonces: |a| ≤ c

3 −|a| ≤ a ≤ |a|
notemos que |a| ≤ |a|,lo cual es cierto, ahora apliquemos la propiedad |a| ≤
c ⇐⇒ −c ≤ a ≤ c, con c = |a|,se tiene que:

|a| ≤ |a| =⇒ −|a| ≤ a ≤ |a| (1)

Que es lo que queriamos demostrar.

4 |a + b| ≤ |a| + |b|
Primero apliquemos la propiedad: |a|2 = a2 sobre el lado izquierdo de la de-
sigualdad, obtenemos |a + b|2 = (a + b)2 = a2 + 2ab + b2 , ahora aplicamos la

3
propiedad a ≤ |a|,con lo cual obtenemos:

a2 + 2ab + b2 ≤ a2 + 2|ab| + b2 (2)

2 2
≤ a + 2|a||b| + b (3)
2 2
≤ |a| + 2|a||b| + |b| (4)
2
≤ (|a| + |b|) (5)

(3) se usó la propiedad |ab| = |a||b|.

(4) se usó la propiedad |a|2 = a2 .
(5) notemos el trinomio cuadrado perfecto.
En conclusión:
|a + b|2 ≤ (|a| + |b|)2

Usando la siguiente propiedad: sean a, b ∈ R+ , si a2 ≤ b2 =⇒ a ≤ b,tomando

a = |a + b|, b = |a| + |b|, que obviamente son positivos,usando la propiedad,
tenemos:
|a + b|2 ≤ (|a| + |b|)2 =⇒ |a + b| ≤ |a| + |b|

Que es lo que queriamos demostrar.

5 ||a| − |b|| ≤ |a − b|
Primero apliquemos la propiedad: |x| ≤ y ⇐⇒ −y ≤ x ≤ y, con x =
|a| − |b|, y = |a − b|,se obtiene:

−|a − b| ≤ |a| − |b| ≤ |a − b|

Vamos a tomar la primera desigualdad:

1) −|a − b| ≤ |a| − |b| Notemos la siguiente igualdad |b| = |a + b − a|, usando la
propiedad |x + y| ≤ |x| + |y|,donde x = a, y = b − a, obtenemos:

|b| = |a + b − a| ≤ |a| + |b − a| (6)

≤ |a| + |a − b| (7)

(6) usamos la propiedad |a| = | − a|

en conclusión Obtenemos:
|b| ≤ |a| + |a − b|

4
Sumando a ambos lados de la inecuación −|b|, −|a − b|, con lo cual obtenemos:

−|a − b| ≤ |a| + |a − b|

Vamos a tomar la segunda desigualdad:

2) |a| − |b| ≤ |a − b| Notemos la siguiente igualdad |a| = |b + a − b|, usando la
propiedad |x + y| ≤ |x| + |y|,donde x = b, y = a − b, obtenemos:

|a| = |b + a − b| ≤ |b| + |a − b|

en conclusión Obtenemos:
|a| ≤ |b| + |a − b|

Sumando a ambos lados de la inecuación −|b|, con lo cual obtenemos:

|a| − |b| ≤ |a − b|


Con lo cual queda demostrado que:

−|a − b| ≤ |a| − |b| ≤ |a − b|

Lo cual implica que: ||a| − |b|| ≤ |a − b| es verdadero.