NÚMERO REAL

Fundamentos de la Matemática

1 Definición axiomática de los números reales

En una definición axiomática encontramos conceptos primitivos y axiomas
(proposiciones verdaderas) que definen a dichos conceptos.

Consideraremos entonces como conceptos primitivos un conjunto que llamaremos de

los números reales ( ℝ ) y dos operaciones binarias definidas en él ( + y ⋅ ).

1.1 Axioma 1 (Axioma de Cuerpo)

(ℝ, +, ⋅) es un cuerpo.

Definición de diferencia

Dados a y b números reales, definimos a − b = c ⇔ a = c + b . (Al número c lo

llamamos diferencia entre a y b; a los números a y b los llamamos minuendo y sustraendo,
respectivamente)
Nota: En todo este material se utilizará tanto la cuantificación explícita como implícita, sobrentendiéndose que
se trabajará en todos los casos con números reales, salvo que se indique lo contrario.

Teorema: Existencia y unicidad de la diferencia

∀a, b ∈ ℝ, ∃c ∈ ℝ | a = c + b, c es único
Demostración

Existencia:
a = c + b ⇔ a + op(b ) = [c + b ] + op(b) ⇔ a + op(b ) = c + [b + op(b )] ⇔ a + op(b ) = c + 0 ⇔
⇔ c = a + op(b )

Justifique cada una de las dobles implicaciones anteriores.

Unicidad: La demostraremos aplicando el método del absurdo. Supongamos que, por un

procedimiento distinto al utilizado al demostrar la existencia, obtenemos un número c '

Instituto de Profesores “Artigas” 2008 1

 NÚMERO REAL

distinto de c , tal que a = c '+ b . Como por lo demostrado ∃c ∈ ℝ, a = c + b , entonces

c + b = c '+ b ⇒ c = c ' (absurdo).
Canc .

Definición de división
a
Dados a y b números reales, b ≠ 0 , definimos = c ⇔ a = c ⋅ b . (Al número c lo
b
llamamos cociente; a y b los llamamos dividendo y divisor, respectivamente)

De manera análoga a la demostración anterior puede probarse que el cociente existe

y es único.

Ejercicio

(1) Hallar, justificando el procedimiento, el conjunto de los números reales x que en cada
caso cumplen:
i) x + 2 = 5 ii) 3x + 1 = x − 3 iii) x 3 − 2x 2 = 0

1.2 Axioma 2 (Axioma de Orden)

Existe un subconjunto de los reales a los cuales denominamos reales positivos ( ℝ + ) que
cumple:
(1) ∀x ∈ ℝ, x =0 ⊻ x ∈ ℝ+ ⊻ − x ∈ ℝ + (Tricotomía)

x + y ∈ ℝ
+


(2) Si x ∈ ℝ + ∧ y ∈ ℝ + ⇒  ∧

x ⋅ y ∈ ℝ +


Teorema

1 ∈ ℝ+

Demostración

Probémoslo por absurdo. Supongamos 1 ∉ ℝ + ; ya que por intermedio del ax. de

cuerpo sabemos que 1 ≠ 0 , aplicando la primera proposición del ax. de orden tenemos que:
−1 ∈ ℝ + ⇒ (−1) ⋅ (−1) ∈ ℝ +
Ax. 2

Fundamentos de la Matemática 2008 2

 NÚMERO REAL

Como demostramos anteriormente (−a ) ⋅ (−b ) = a ⋅ b ⇒

(−1) ⋅ (−1) = 1 ⋅ 1 = 1 ⇒ 1 ∈ ℝ + . Pero habíamos supuesto que 1 ∉ ℝ + , lo cual es
contradictorio.

Definición

Consideramos a, b ∈ ℝ ; decimos que:

1) a < b ⇔ b − a ∈ ℝ +
2) a > b ⇔ b < a

a < b

3) a ≤ b ⇔  ∨

a = b

4) a ≥ b ⇔ b ≤ a

Ejercicios:

(2) Demostrar que la relación “ ≤ ” definida anteriormente es de orden amplio.

(3) Demostrar que: x > 0 ⇔ x ∈ ℝ +

Definición

Llamamos conjunto de los reales negativos (anotamos ℝ − ) al conjunto formado por

los opuestos de los reales positivos: ℝ− = {x ∈ ℝ; −x ∈ ℝ + }

Teorema: Monotonías de la adición y de la multiplicación

1) a <b ⇒ a +c <b +c (Monotonía de la adición)

a < b 
2)  ⇒ a +c <b +d (Monotonía generalizada de la adición)

c < d 

a < b 
3)  ⇒ a ⋅c < b ⋅c (Monotonía de la multiplicación)
+
c ∈ ℝ 


Fundamentos de la Matemática 2008 3

 NÚMERO REAL

a < b 
4)  ⇒ a ⋅c > b ⋅c (Monotonía de la multiplicación)
−
c ∈ ℝ 

0 < a < b 
5)  ⇒ a ⋅c < b ⋅d (Monotonía generalizada de la multiplicación)

0 < c < d 


Dem. 3)

Debemos probar que ac < bc , lo cual equivale a demostrar que bc − ac ∈ ℝ + .

a < b ⇒ b − a ∈ ℝ + 
Por hipótesis +
⇒ (b − a ) ⋅ c ∈ ℝ + . Como (por Ax. 1)
 Ax.
c∈ℝ  2

(b − a )c = bc − ac ⇒ bc − ac ∈ ℝ ⇒ ac < bc .
+

Teorema (Signo del producto)

1) a ∈ ℝ +, b ∈ ℝ + ⇒ a ⋅ b ∈ ℝ+
2) a ∈ ℝ +, b ∈ ℝ− ⇒ a ⋅ b ∈ ℝ+
3) a ∈ ℝ −, b ∈ ℝ− ⇒ a ⋅ b ∈ ℝ+
Dem. 2)

b ∈ ℝ− ⇒ −b ∈ ℝ + 
⇒ a ⋅ (−b) ∈ ℝ + . Por lo visto anteriormente: a(−b) = −ab ; en
 Ax.
como: a ∈ ℝ +
 2

consecuencia −ab ∈ ℝ +
⇒ - ab ∈ ℝ− .
def. de ℝ

Teorema de Densidad

Dados dos números reales cualesquiera a y b siendo a < b se cumple que:

∃c ∈ ℝ ; a < c < b
Demostración

a <b ⇒ a + a < a + b

monot. de (+)  ⇒ a +a < a +b <b +b ⇒ 2a < a + b < 2b
a <b ⇒ a + b < b + b 
monot. de (+) 
a +b
⇒ a< <b
monot. de (⋅) 2
Efectivamente ∃c ∈ ℝ (c = a +b
2 ) tal que a < c < b .

Fundamentos de la Matemática 2008 4

 NÚMERO REAL

Ejercicios

(4)
a) Demostrar que x 2 ≥ 0, ∀x ∈ ℝ .
b) Demostrar que a 2 + b 2 = 0 ⇔ a = b = 0
c) Si a, b ∈ ℝ + , demostrar que a < b ⇔ a 2 < b 2
d) Sin la exigencia de que a y b sean positivos ¿La proposición anterior es válida?

(5)
a) Probar que x 2 + y 2 ≥ 2xy ∀x , y ∈ ℝ .
b) Sabiendo que a, b, c ∈ ℝ + y además a + b + c = 1 ; probar:
i) (1 − a )2 ≥ 4bc ii) (1 − a ) ⋅ (1 − b ) ⋅ (1 − c ) ≥ 8abc

(6) Hallar el conjunto de los x ∈ ℝ tales que:

i) 3x + 2 > 0 ii) −3x + 1 < 0

(7) Estudiar en (ℝ, +, ⋅, ≤) el signo de f : ℝ → ℝ ; f (x ) = ax + b ; a, b ∈ ℝ, a ≠ 0

(8) Estudiar en (ℝ, +, ⋅, ≤) el signo de f : ℝ → ℝ ; f (x ) = ax 2 + bx + c ; a, b, c ∈ ℝ, a ≠ 0

(9) Resolver en (ℝ, +, ⋅, ≤) y discutir según m (m ∈ ℝ) las siguientes inecuaciones:

i) mx > 3 x
v) ≥ m + 1 (m ≠ 1)
ii) (3 − 2m ) ⋅ x < m − 1 m − 1
x x
iii) (m 2 + 2) ⋅ x < −3 vi) > − 3,
m −2 m +2
iv) m 3x + 2m < 0 (m ≠ −2, m ≠ 2)

(10) Resolver en (ℝ, +, ⋅, ≤) las siguientes inecuaciones y sistemas de inecuaciones:

i) −x 2 + 7x < 12  x 2 + 1
 ≤0
2x − 5 1  x −3
ii) ≥ iv) 
x +2 2  1 − 3x
2  2
>1
 (x + 1) − (x + 3) < 0 
 1 − x

iii)  2x + 3 v) x − 3 ≤ 3x − 1 ≤ 7 − x
 ≥0
 5 − 3x

(11) Dada la ecuación x 2 − (m + 2)x + 14 = 0 (m ∈ ℝ) . Determinar los valores de m

para que:
a) Acepte sólo una raíz real. b) Acepte sólo dos raíces reales.

Fundamentos de la Matemática 2008 5

 NÚMERO REAL

(12) Hallar los valores de m (m ∈ ℝ) para que se verifique

(2m + 1)x 2 + (2m + 3)x + 1 − m > 0 ∀x ∈ ℝ

1.3 Valor absoluto

Definición

Consideramos un número real a . Denominamos valor absoluto de a (anotamos

a ) al número real que cumple:
a =a si a ≥ 0 y a = −a si a < 0
Por ejemplo: 4 = 4, −3 = −(−3) = 3, 0 =0

Teorema

1) x ≥ 0 ∀x ∈ ℝ
2) x = 0 ⇔ x =0
3) x 2 = x 2 = x 2 ∀x ∈ ℝ

x = y
4) x = y ⇔  ∨

x = −y

5) x ⋅ y = x ⋅ y ∀x , y ∈ ℝ
x x
6) = ∀x , y ∈ ℝ
y y
7) − x ≤ x ≤ x ∀x ∈ ℝ
8) Siendo r ∈ ℝ + se cumple que:
i) x ≤ r ⇔ −r ≤ x ≤ r

x ≥ r

ii) x ≥ r ⇔  ∨

x ≤ −r

9) x + y ≤ x + y ∀x , y ∈ ℝ (Desigualdad triangular)
10) x − y ≥ x − y ∀x , y ∈ ℝ

Fundamentos de la Matemática 2008 6

 NÚMERO REAL

Ejercicios

(13) Resolver en (ℝ, +, ⋅, ≤) :

i) x −1 < 9 iv) x − 2 ≥ 3x − 2
4x − 2 3x − x + 2
ii) x 2 − x − ≥0 v) ≥0
3 2 − 2 x −1
x2 − x 1
iii) <x −
x +1 3

(14) Indicar si las siguientes proposiciones son falsas o verdaderas:

i) ∀x ∈ ℝ, (x < 5 ⇒ x < 5)
ii) ∀x ∈ ℝ, ( x − 5 < 2 ⇒ 3 < x < 7)
 2
iii) ∀x ∈ ℝ,  1 + 3x ≤ 1 ⇒ x ≥ − 
 3
iv) La ecuación x − 1 = x − 2 tiene solución vacía.

(15) Demostrar
i) x − y ≤ x + y ( ∀x , y ∈ ℝ )
ii) x − y ≤ x − y ( ∀x , y ∈ ℝ )

Fundamentos de la Matemática 2008 7