Conjuntos numéricos

Cálculo Infinitesimal
Grado en Matemáticas

Renato Álvarez-Nodarse
Universidad de Sevilla

http://euler.us.es/˜renato/clases.html

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos
Los conjuntos de números que vamos a utilizar en este curso son
los siguientes:
1 Los números naturales que denotaremos por N que es el

conjunto de los números

N = {1, 2, 3, 4, ...}.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos
Los conjuntos de números que vamos a utilizar en este curso son
los siguientes:
1 Los números naturales que denotaremos por N que es el

conjunto de los números

N = {1, 2, 3, 4, ...}.

2 Los números enteros que denotaremos por Z que es el

conjunto de los números
Z = {0, ±1, ±2, ±3, ±4, ...}.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos
Los conjuntos de números que vamos a utilizar en este curso son
los siguientes:
1 Los números naturales que denotaremos por N que es el

conjunto de los números

N = {1, 2, 3, 4, ...}.

2 Los números enteros que denotaremos por Z que es el

conjunto de los números
Z = {0, ±1, ±2, ±3, ±4, ...}.

3 Los números racionales que denotaremos por Q que es el

conjunto de los números
 
p
Q= , donde p ∈ Z, q ∈ N .
q
Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos
Conjuntos numéricos: Los irracionales

¡Existen némeros que no son racionales!

√ √ √
2, 3, 5, ....

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos: Los irracionales

¡Existen némeros que no son racionales!

√ √ √
2, 3, 5, ....

Teorema fundamental de la aritmética: Cualquier número

natural (y por tanto entero) se pueden escribir como el producto
de sus factores primos.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos: Los irracionales

¡Existen némeros que no son racionales!

√ √ √
2, 3, 5, ....

Teorema fundamental de la aritmética: Cualquier número

natural (y por tanto entero) se pueden escribir como el producto
de sus factores primos.

Proposición: Si n ∈ N y n no es un cuadrado perfecto

√
(n 6= k 2 , k ∈ N) entonces n ∈ I.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos: Los irracionales

¡Existen némeros que no son racionales!

√ √ √
2, 3, 5, ....

Teorema fundamental de la aritmética: Cualquier número

natural (y por tanto entero) se pueden escribir como el producto
de sus factores primos.

Proposición: Si n ∈ N y n no es un cuadrado perfecto

√
(n 6= k 2 , k ∈ N) entonces n ∈ I.

Definición: Definiremos al conjunto de los números reales, y lo

denotaremos por R, al conjunto de todos los números racionales Q
e irracionales I, o sea R = Q ∪ I.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Estructura algebraica: Cuerpo — Ejemplo Q

Un conjunto de elementos es un cuerpo si ∀a, b ∈ A a“ +00 b y

a“ ·00 b son elementos de A y “+” y “·” son tales que:
1 Propiedades de la suma:
1 (a + b) + c = a + (b + c) (ley asociativa)
2 ∃0 ∈ A tq ∀a ∈ A, a + 0 = 0 + a = a
3 ∀a ∈ A, ∃(−a) ∈ A tq (−a) + a = a + (−a) = 0
4 a + b = b + a (ley conmutativa)
2 Propiedades de la multiplicación:
1 (a · b) · c = a · (b · c) (ley asociativa)
2 ∃1 ∈ A tq ∀a ∈ A, ∃a · 1 = 1 · a = a
3 ∀a ∈ A, a 6= 0, (a−1 ) ∈ A tq (a−1 ) · a = a · (a−1 ) = 1
(elemento inverso de la multiplicación)
4 a · b = b · a (ley conmutativa)
3 Propiedades de la suma y multiplicación:
1 a · (b + c) = a · b + a · c (ley distributiva)

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Orden — Ejemplo Q

Un conjunto de elementos A es un conjunto ordenado si existe

una relación de orden ≤ tal que cualesquiera sean a y b elementos
de A se cumple que a ≤ b o no se cumple y además tienen lugar
los siguientes axiomas:
1. Para todo a ∈ A, a ≤ a
2. Si a ≤ b y b ≤ a entonces a = b.
3. Si a ≤ b y b ≤ c entonces a ≤ c.
4. Para todos a, b ∈ A, o a ≤ b o b ≤ a.
Si además, A es un cuerpo, entonces para cualesquiera sean a, b y
c de A se tiene que
5. Si a ≤ b entonces a + c ≤ b + c.
6. Si 0 ≤ a y 0 ≤ b entonces 0 ≤ a · b.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que para todo x ∈ A, 0 · x = 0, (−1) · x = (−x).

Ejercicio: Probar que el elemento nulo 0 es único y que el

elemento inverso de la suma es único.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que para todo x ∈ A, 0 · x = 0, (−1) · x = (−x).

Ejercicio: Probar que el elemento nulo 0 es único y que el

elemento inverso de la suma es único.

¿Qué hace especial a R frente a Q? La completitud

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que para todo x ∈ A, 0 · x = 0, (−1) · x = (−x).

Ejercicio: Probar que el elemento nulo 0 es único y que el

elemento inverso de la suma es único.

¿Qué hace especial a R frente a Q? La completitud

La completitud o continuidad de R viene a decir que R no tiene
agujeros. ¿Pero cómo escribimos eso de forma que sea útil?

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que para todo x ∈ A, 0 · x = 0, (−1) · x = (−x).

Ejercicio: Probar que el elemento nulo 0 es único y que el

elemento inverso de la suma es único.

¿Qué hace especial a R frente a Q? La completitud

La completitud o continuidad de R viene a decir que R no tiene
agujeros. ¿Pero cómo escribimos eso de forma que sea útil?

Hay muchas maneras. Por el momento usaremos una muy sencilla:

El axioma del supremo.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Definición: Llamaremos supremo de un conjunto acotado

superiormente, y lo denotaremos por sup A, a la menor de las cotas
superiores de A. Llamaremos ı́nfimo de un conjunto acotado
inferiormente, y lo denotaremos por ı́nf A, a la mayor de las cotas
inferiores de A.

Ejemplos:

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos: Axioma del supremo

1 (Axioma del supremo) Todo conjunto acotado superiormente

tiene un único supremo, es decir, existe un número S = sup A
tal que para todo x ∈ A, x ≤ S y además si para todo x ∈ A,
x ≤ y entonces S ≤ y . Gráficamente:

x ∈A S y ≥x
|

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos: Axioma del supremo

1 (Axioma del supremo) Todo conjunto acotado superiormente

tiene un único supremo, es decir, existe un número S = sup A
tal que para todo x ∈ A, x ≤ S y además si para todo x ∈ A,
x ≤ y entonces S ≤ y . Gráficamente:

x ∈A S y ≥x
|

o equivalentemente
2 (Axioma del ı́nfimo) Todo conjunto acotado inferiormente
tiene un único ı́nfimo, es decir, existe un número s = ı́nf A tal
que para todo x ∈ A, x ≥ s y además si para todo x ∈ A,
x ≥ y entonces s ≥ y . Gráficamente:

y ≤x s x ∈A
|

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Proposición: Sea A un conjunto acotado superiormente. Para

todo ε > 0 (tan pequeño como se quiera) existe un x ∈ A tal que
x > sup A − ε.

Gráficamente:
S − x S
↓ ↓ ↓
| {z }|


Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Proposición: Sea A un conjunto acotado superiormente. Para

todo ε > 0 (tan pequeño como se quiera) existe un x ∈ A tal que
x > sup A − ε.

Gráficamente:
S − x S
↓ ↓ ↓
| {z }|


Ejercicio: Sea A un conjunto acotado inferiormente. Probar que

para todo ε > 0 (tan pequeño como se quiera) existe un x ∈ A tal
que x < ı́nf A + ε.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Calcular el supremo e ı́nfimo del conjunto

A = {x ∈ R | 0 < x < 1} si existen.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Calcular el supremo e ı́nfimo del conjunto

A = {x ∈ R | 0 < x < 1} si existen.

Ejercicio: Por ejemplo, sea A el conjunto de todos los números

reales de la forma
 
1
A = x ∈ R, tales que x = , con n ∈ N .
n

Encontrar el supremo e ı́nfimo de A, si existen.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Calcular el supremo e ı́nfimo del conjunto

A = {x ∈ R | 0 < x < 1} si existen.

Ejercicio: Por ejemplo, sea A el conjunto de todos los números

reales de la forma
 
1
A = x ∈ R, tales que x = , con n ∈ N .
n

Encontrar el supremo e ı́nfimo de A, si existen.

Ejercicio: Prueba que todo subconjunto acotado superiormente de

N tiene un elemento máximo.

Como consecuencia se tiene que el conjunto de los números

naturales N no es acotado superiormente y que Z es no acotado
inferiormente y superiormente.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Proposición: Sea x > 0 un número real cualquiera. Entonces

siempre existe un número natural n tal que x < n.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Proposición: Sea x > 0 un número real cualquiera. Entonces

siempre existe un número natural n tal que x < n.

Proposición: (Propiedad arquimediana de los números reales)

Sea a > 0 un número real cualquiera (tan pequeño como se
quiera). Sea b > 0 otro número real (tan grande como se quiera).
Entonces existe un n ∈ N tal que b < n a.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Proposición: Sea x > 0 un número real cualquiera. Entonces

siempre existe un número natural n tal que x < n.

Proposición: (Propiedad arquimediana de los números reales)

Sea a > 0 un número real cualquiera (tan pequeño como se
quiera). Sea b > 0 otro número real (tan grande como se quiera).
Entonces existe un n ∈ N tal que b < n a.

Corolario 1: Si x ∈ R es tal que x ≥ 0 y para todo n ∈ N,

x ≤ 1/n, entonces x = 0.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Proposición: Sea x > 0 un número real cualquiera. Entonces

siempre existe un número natural n tal que x < n.

Proposición: (Propiedad arquimediana de los números reales)

Sea a > 0 un número real cualquiera (tan pequeño como se
quiera). Sea b > 0 otro número real (tan grande como se quiera).
Entonces existe un n ∈ N tal que b < n a.

Corolario 1: Si x ∈ R es tal que x ≥ 0 y para todo n ∈ N,

x ≤ 1/n, entonces x = 0.

Corolario 2: Sea x ≥ 0. Si para todo  > 0 se tiene que x < ,

entonces x = 0.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que ı́nf{1/n|n ∈ N} = 0.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que ı́nf{1/n|n ∈ N} = 0.

Definición: Se denomina parte entera de un número real x

cualquiera y la denotaremos por E (x), al número entero p tal que

p ≤ x < p + 1, x ∈ R, p ∈ Z.

Es evidente de la definición que E (3/2) = 1, E (2)=2,

E (−3/2) = −2 y E (−2) = −2.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

Conjuntos numéricos

Ejercicio: Probar que ı́nf{1/n|n ∈ N} = 0.

Definición: Se denomina parte entera de un número real x

cualquiera y la denotaremos por E (x), al número entero p tal que

p ≤ x < p + 1, x ∈ R, p ∈ Z.

Es evidente de la definición que E (3/2) = 1, E (2)=2,

E (−3/2) = −2 y E (−2) = −2.

Una propiedad esencial: Densidad de Q en R

Cualesquiera sean a, b ∈ R(a < b), existe un q ∈ Q tal que
a < q < b.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

El método de inducción.

El método de inducción matemática se utiliza para probar que

cierta afirmación es válida para todo n ∈ N comenzando por cierto
n0 . Para ello hay que demostrar que:
1 La afirmación es válida para cierto n0 ∈ N,
2 Suponiendo que es cierta para cualquier k ∈ N con k ≥ n0
probar que es cierta para k + 1.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

El método de inducción.

El método de inducción matemática se utiliza para probar que

cierta afirmación es válida para todo n ∈ N comenzando por cierto
n0 . Para ello hay que demostrar que:
1 La afirmación es válida para cierto n0 ∈ N,
2 Suponiendo que es cierta para cualquier k ∈ N con k ≥ n0
probar que es cierta para k + 1.

Ejemplos: Demostrar por inducción que para q ∈ R, q 6= 1:

n
X 1 − q n+1
q m = 1 + q + q 2 + · · · + q n−1 + q n = .
1−q
m=0

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

El método de inducción.

El método de inducción matemática se utiliza para probar que

cierta afirmación es válida para todo n ∈ N comenzando por cierto
n0 . Para ello hay que demostrar que:
1 La afirmación es válida para cierto n0 ∈ N,
2 Suponiendo que es cierta para cualquier k ∈ N con k ≥ n0
probar que es cierta para k + 1.

Ejemplos: Demostrar por inducción que para q ∈ R, q 6= 1:

n
X 1 − q n+1
q m = 1 + q + q 2 + · · · + q n−1 + q n = .
1−q
m=0

Probar la desigualdad de Bernoulli (1 + x)n ≥ 1 + nx, ∀x > −1.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

El método de inducción.

El método de inducción matemática se utiliza para probar que

cierta afirmación es válida para todo n ∈ N comenzando por cierto
n0 . Para ello hay que demostrar que:
1 La afirmación es válida para cierto n0 ∈ N,
2 Suponiendo que es cierta para cualquier k ∈ N con k ≥ n0
probar que es cierta para k + 1.

Ejemplos: Demostrar por inducción que para q ∈ R, q 6= 1:

n
X 1 − q n+1
q m = 1 + q + q 2 + · · · + q n−1 + q n = .
1−q
m=0

Probar la desigualdad de Bernoulli (1 + x)n ≥ 1 + nx, ∀x > −1.

Demostrar si es correcta la desigualdad 2n ≥ n2 , ∀n ≥ 1.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

El valor absoluto de un número.
Sea x un número real. Definiremos al valor absoluto de x y lo
denotaremos por |x| al número
(
x, x ≥ 0
|x| = .
−x, x < 0

Por ejemplo, x = 2, como x > 0 entonces |2| = 2. Si x = −3 como

x < 0 entonces | − 3| = −(−3) = 3.

Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos

El valor absoluto de un número.
Sea x un número real. Definiremos al valor absoluto de x y lo
denotaremos por |x| al número
(
x, x ≥ 0
|x| = .
−x, x < 0

Por ejemplo, x = 2, como x > 0 entonces |2| = 2. Si x = −3 como

x < 0 entonces | − 3| = −(−3) = 3.

El valor absoluto cumple con las siguientes propiedades:

1 Para todo x ∈ R, |x| ≥ 0 y |x| = 0 si y sólo si x = 0.
2 −|x| ≤ x ≤ |x|.
3 Si |x| ≤ y entonces −y ≤ x ≤ y .
4 Para todos x, y ∈ R, |x + y | ≤ |x| + |y |.
5 Para todos x, y ∈ R, ||x| − |y || ≤ |x − y |.
6 Para todos x, y ∈ R, |x · y | = |x| · |y |
Renato Álvarez-Nodarse Universidad de Sevilla Conjuntos numéricos