CALCULO 1

(IN1002C, Sección 1, U.A. 53)

Prof. Ricardo Ramı́rez Rosas

rramirezrosas@gmail.com
Departamento de Matemática y Fı́sica Aplicadas
Universidad Católica de la Santı́sima Concepción, Chile

8 de Marzo de 2011

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 1 / 27

Indice

1 Capı́tulo 1: Los Números Reales

Enfoque Axiomático
Axiomas de Cuerpo
Axiomas de Orden
Existencia de los Números Irracionales
Demostración por Contradicción o por Reducción a un Absurdo
Propiedades Algebráicas

2 Potencias con Exponente Entero

Propiedades

3 Sobre las Desigualdades

En R
En R+

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 2 / 27

Indice

1 Capı́tulo 1: Los Números Reales

Enfoque Axiomático
Axiomas de Cuerpo
Axiomas de Orden
Existencia de los Números Irracionales
Demostración por Contradicción o por Reducción a un Absurdo
Propiedades Algebráicas

2 Potencias con Exponente Entero

Propiedades

3 Sobre las Desigualdades

En R
En R+

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 3 / 27

Capı́tulo 1

El Conjunto de los Números Reales

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 4 / 27

 Los Números Reales

Enfoque Axiomático

A fin de definir el conjunto de los números reales seguiremos el enfoque

axiomático propuesto por el eminente matemático alemán David
Hilbert (1862 − 1943) en un artı́culo publicado el año 1900 bajo el
tı́tulo “Sobre el Concepto de Número”.

Hilbert admite la existencia de un conjunto cuyos elementos se llaman

números reales, al que denotamos por R, y que está caracterizado por
tres listas de axiomas:
Axiomas de Cuerpo
Axiomas de Orden
Axioma de Completitud

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 5 / 27

 Los Números Reales

Enfoque Axiomático

A fin de definir el conjunto de los números reales seguiremos el enfoque

axiomático propuesto por el eminente matemático alemán David
Hilbert (1862 − 1943) en un artı́culo publicado el año 1900 bajo el
tı́tulo “Sobre el Concepto de Número”.

Hilbert admite la existencia de un conjunto cuyos elementos se llaman

números reales, al que denotamos por R, y que está caracterizado por
tres listas de axiomas:
Axiomas de Cuerpo
Axiomas de Orden
Axioma de Completitud

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 5 / 27

 Los Números Reales

Axiomas de Cuerpo

En R se definen dos operaciones binarias internas

Adición
+ : R × R −→ R
(a, b) −→ a + b

Multiplicación
· : R × R −→ R
(a, b) −→ a · b

según los siguientes axiomas:

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 6 / 27

 Los Números Reales

Axiomas de Cuerpo

En R se definen dos operaciones binarias internas

Adición
+ : R × R −→ R
(a, b) −→ a + b

Multiplicación
· : R × R −→ R
(a, b) −→ a · b

según los siguientes axiomas:

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 6 / 27

 Los Números Reales

Axiomas de Cuerpo

En R se definen dos operaciones binarias internas

Adición
+ : R × R −→ R
(a, b) −→ a + b

Multiplicación
· : R × R −→ R
(a, b) −→ a · b

según los siguientes axiomas:

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 6 / 27

 Los Números Reales

Axiomas de Cuerpo

En R se definen dos operaciones binarias internas

Adición
+ : R × R −→ R
(a, b) −→ a + b

Multiplicación
· : R × R −→ R
(a, b) −→ a · b

según los siguientes axiomas:

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 6 / 27

 Los Números Reales

Axiomas para la Adición

Clausura ∀ a, b ∈ R a+b∈R
Asociatividad ∀ a, b, c ∈ R (a + b) + c = a + (b + c)
Conmutatividad ∀ a, b ∈ R a+b=b+a
Neutro Aditivo ∃! elemento neutro para la adición, se denota por 0 y
se llama número real “cero”. Es decir,

∀a ∈ R a+0=0+a=a

Inverso Aditivo ∀ a ∈ R ∃! número real denotado por −a llamado

inverso aditivo de a tal que

a + (−a) = (−a) + a = 0

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 7 / 27

 Los Números Reales

Axiomas para la Multiplicación

Clausura ∀ a, b ∈ R a·b∈R
Asociatividad ∀ a, b, c ∈ R (a · b) · c = a · (b · c)
Conmutatividad ∀ a, b ∈ R a·b=b·a
Neutro Multiplicativo ∃! elemento neutro para la multiplicación, se
denota por 1 y se llama número real “uno”. Es decir,

∀a ∈ R a·1=1·a=a

Inverso Multiplicativo ∀ a ∈ R−{0} ∃! número real denotado por a−1

llamado inverso multiplicativo de a tal que

a · a−1 = a−1 · a = 1

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 8 / 27

 Los Números Reales

Axioma para ambas operaciones

Distributividad
∀ a, b, c ∈ R
a · (b + c) = a · b + a · c
(a + b) · c = a · c + b · c

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 9 / 27

 Los Números Reales

Sobre la Multiplicación :

Observación !!
Muy frecuentemente, por no decir el 99,9 % de las veces, se suele
escribe el producto de dos números reales a y b como ab, simplemente.

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 10 / 27

 Los Números Reales

Axiomas de Orden

Sobre R se define la relación “menor que”, denotada por <, según las
siguientes propiedades:

Ley de Tricotomı́a
Transitividad
Monotonı́a

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 11 / 27

 Los Números Reales

Axiomas de Orden

Sobre R se define la relación “menor que”, denotada por <, según las
siguientes propiedades:

Ley de Tricotomı́a
Transitividad
Monotonı́a

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 11 / 27

 Los Números Reales

Axiomas de Orden

Ley de Tricotomı́a
∀ a, b ∈ R, se cumple sólo una de las siguientes proposiciones:

a=b , a<b , b<a

Transitividad
∀ a, b, c ∈ R
(a < b ∧ b < c) =⇒ a < c

Monotonı́a
Sean a, b, c ∈ R y a < b, entonces
Para la Adición: a + c < b + c ∀c ∈ R
Para la Multiplicación: si 0 < c, a · c < b · c

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 12 / 27

 Los Números Reales

Axiomas de Orden

Ley de Tricotomı́a
∀ a, b ∈ R, se cumple sólo una de las siguientes proposiciones:

a=b , a<b , b<a

Transitividad
∀ a, b, c ∈ R
(a < b ∧ b < c) =⇒ a < c

Monotonı́a
Sean a, b, c ∈ R y a < b, entonces
Para la Adición: a + c < b + c ∀c ∈ R
Para la Multiplicación: si 0 < c, a · c < b · c

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 12 / 27

 Los Números Reales

Axiomas de Orden

Ley de Tricotomı́a
∀ a, b ∈ R, se cumple sólo una de las siguientes proposiciones:

a=b , a<b , b<a

Transitividad
∀ a, b, c ∈ R
(a < b ∧ b < c) =⇒ a < c

Monotonı́a
Sean a, b, c ∈ R y a < b, entonces
Para la Adición: a + c < b + c ∀c ∈ R
Para la Multiplicación: si 0 < c, a · c < b · c

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 12 / 27

 Los Números Reales

Existencia de los Números Irracionales

Dado un triángulo rectángulo de catetos a = 1, b = 1 e hipotenusa c se

debe cumplir, de acuerdo al teorema de Pitágoras, que

a2 + b2 = c2

es decir, que
c2 = 2

¿Existirán números p ∈ Z y q ∈ Z − {0} tal que c = pq ?

Es decir,
¿c ∈ Q?

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 13 / 27

 Los Números Reales

Existencia de los Números Irracionales

Dado un triángulo rectángulo de catetos a = 1, b = 1 e hipotenusa c se

debe cumplir, de acuerdo al teorema de Pitágoras, que

a2 + b2 = c2

es decir, que
c2 = 2

¿Existirán números p ∈ Z y q ∈ Z − {0} tal que c = pq ?

Es decir,
¿c ∈ Q?

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 13 / 27

 Los Números Reales

Existencia de los Números Irracionales

Dado un triángulo rectángulo de catetos a = 1, b = 1 e hipotenusa c se

debe cumplir, de acuerdo al teorema de Pitágoras, que

a2 + b2 = c2

es decir, que
c2 = 2

¿Existirán números p ∈ Z y q ∈ Z − {0} tal que c = pq ?

Es decir,
¿c ∈ Q?

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 13 / 27

 Los Números Reales

Demostración por Contradicción o por Reducción a un

Absurdo

Otra forma de probar la implicación p ⇒ q es probar la implicación

equivalente
(p ∧ ∼ q) ⇒ (r ∧ ∼ r)
cualquiera sea la proposición r. Frecuentemente, se toma r = p.

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 14 / 27

 Los Números Reales

Existencia de los Números Irracionales

Prueba:

Usando un razonamiento del tipo por reducción a un absurdo,

supondremos que sı́ existen p ∈ Z y q ∈ Z − {0} tales que
 p 2
=2
q
y, además, supondremos que ellos no tienen divisores en común, salvo
el 1 (que es divisor de cualquier número). Luego,

p2
= 2
q2
⇒ p2 = 2q 2

de donde, es posible concluir que p2 es un número par (pues todo

número par se escribe de la forma 2 × algo, con algo ∈ N).
Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 15 / 27
 Los Números Reales

Existencia de los Números Irracionales

Prueba:

Como p2 es un número par también lo será p mismo. Luego, existe

n ∈ N tal que p = 2 · n.

Por consiguiente, tendremos que (2 · n)2 = 2q 2 , es decir, 4n2 = 2q 2 , de

donde, se sigue que q 2 = 2n2 .

Pero esto último nos dice que q 2 es un número par y, por tanto, que q
es un número par.

Luego, podemos concluir que a al ser p y q números pares, ellos tienen

al 2 como divisor, lo cual es contradictorio o absurdo con el hecho que
p y q se consideraron sin divisores en común.

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 16 / 27

 Los Números Reales

Existencia de los Números Irracionales

Prueba:

Como p2 es un número par también lo será p mismo. Luego, existe

n ∈ N tal que p = 2 · n.

Por consiguiente, tendremos que (2 · n)2 = 2q 2 , es decir, 4n2 = 2q 2 , de

donde, se sigue que q 2 = 2n2 .

Pero esto último nos dice que q 2 es un número par y, por tanto, que q
es un número par.

Luego, podemos concluir que a al ser p y q números pares, ellos tienen

al 2 como divisor, lo cual es contradictorio o absurdo con el hecho que
p y q se consideraron sin divisores en común.

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 16 / 27

 Los Números Reales

Existencia de los Números Irracionales

Prueba:

Como p2 es un número par también lo será p mismo. Luego, existe

n ∈ N tal que p = 2 · n.

Por consiguiente, tendremos que (2 · n)2 = 2q 2 , es decir, 4n2 = 2q 2 , de

donde, se sigue que q 2 = 2n2 .

Pero esto último nos dice que q 2 es un número par y, por tanto, que q
es un número par.

Luego, podemos concluir que a al ser p y q números pares, ellos tienen

al 2 como divisor, lo cual es contradictorio o absurdo con el hecho que
p y q se consideraron sin divisores en común.

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 16 / 27

 Los Números Reales

Existencia de los Números Irracionales

Prueba:

Como p2 es un número par también lo será p mismo. Luego, existe

n ∈ N tal que p = 2 · n.

Por consiguiente, tendremos que (2 · n)2 = 2q 2 , es decir, 4n2 = 2q 2 , de

donde, se sigue que q 2 = 2n2 .

Pero esto último nos dice que q 2 es un número par y, por tanto, que q
es un número par.

Luego, podemos concluir que a al ser p y q números pares, ellos tienen

al 2 como divisor, lo cual es contradictorio o absurdo con el hecho que
p y q se consideraron sin divisores en común.

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 16 / 27

 Los Números Reales

Propiedades Algebráicas

Para a, b, c, d ∈ R se cumple lo siguiente

1 Si a = b, entonces
(i) a + c = b + c
(ii) a − c = b − c
(iii) ac = bc
(iv) ac = cb , c 6= 0
2 a + b = 0 =⇒ (a = −b ∧ b = −a)
3 ab = 1 =⇒ (a = b−1 ∧ b = a−1 )

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 17 / 27

 Los Números Reales

Propiedades Algebráicas

1 a + b = a =⇒ b = 0
2 ab = a =⇒ b = 1
3 − (−a) = a
4 − (a + b) = −a − b

−1
5 a−1 =a
6 (ab)−1 = a−1 b−1
7 a·0=0

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 18 / 27

 Los Números Reales

Propiedades Algebráicas

1 ab = 0 =⇒ (a = 0 ∨ b = 0)
2 (−a) b = − (ab)
3 (−a) (−b) = ab
4 (−1) a = −a
5 (b + c) a = ba + ca
6 a (b − c) = ab − ac y (b − c) a = ba − ca
a
7
a = 1 , a 6= 0

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 19 / 27

 Los Números Reales

Propiedades Algebráicas

a
1 =a
1

a c
b = d ⇐⇒ ad = bc , b, d 6= 0
2

ka a
3
kb = b , k, b 6= 0
a c ad+bc
4
b + d = bd y ab − dc = ad−bc
bd
a c a·c
5 ·
b d = b·d , b, d 6
= 0
a
b a·d
6
c = b·c , b, c, d 6= 0
d
−a a a
b = −b = − b , b 6= 0
7

−a a
8
−b = b , b 6= 0

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 20 / 27

Indice

1 Capı́tulo 1: Los Números Reales

Enfoque Axiomático
Axiomas de Cuerpo
Axiomas de Orden
Existencia de los Números Irracionales
Demostración por Contradicción o por Reducción a un Absurdo
Propiedades Algebráicas

2 Potencias con Exponente Entero

Propiedades

3 Sobre las Desigualdades

En R
En R+

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 21 / 27

 Los Números Reales

Potencias con Exponente Entero

Sean a ∈ R y n ∈ N se define la n-ésima potencia de a por

an = a · a · . . . · a , (n-veces como factor)

y
1
a−n = , a 6= 0
an

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 22 / 27

 Los Números Reales

Propiedades

Cualquiera sean a, b ∈ R y n, m ∈ Z se tiene lo siguiente:

a0 = 1
00 no está definido
am · an = am+n
am m−n = 1
an = a an−m
, a 6= 0
(an )m = an·m
(ab)n = an bn
a n n
= abn ,


b b 6= 0

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 23 / 27

Indice

1 Capı́tulo 1: Los Números Reales

Enfoque Axiomático
Axiomas de Cuerpo
Axiomas de Orden
Existencia de los Números Irracionales
Demostración por Contradicción o por Reducción a un Absurdo
Propiedades Algebráicas

2 Potencias con Exponente Entero

Propiedades

3 Sobre las Desigualdades

En R
En R+

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 24 / 27

 Los Números Reales

Sobre las Desigualdades

En R

Sean a, b, c, d ∈ R, entonces se verifica:

1 a > 0 ⇐⇒ −a < 0
2 a < 0 ⇐⇒ −a > 0
3 a > 0 ⇐⇒ a−1 > 0
4 a < 0 ⇐⇒ a−1 < 0
5 a ∈ R − {0} =⇒ a2 > 0
6 (a < b ∧ c < d) =⇒ a + c < b + d
7 (a < b ∧ c < 0) =⇒ a · c > b · c

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 25 / 27

 Los Números Reales

Sobre las Desigualdades

En R+

Sean a, b, c, d ∈ R+ , entonces se verifica:

1 a < b =⇒ a−1 > b−1

a b
2 (a < b ∧ c < d) =⇒ d < c
3 (a < b ∧ c < d) =⇒ a · c < b · d
4 a < b ⇐⇒ an < bn , con n ∈ N

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 26 / 27

 Los Números Reales

Recuerde que:

a 6 b ⇐⇒ (a < b ∨ a = b)

Prof. Ricardo Ramı́rez (DMFA) IN1002C, SECC. 1 8 / 4 / 2011 27 / 27