03 Números Reales Diapositivas

ESCUELA POLITÉCNICA NACIONAL
Fundamentos de Matemática
NÚMEROS REALES
ESCUELA POLITÉCNICA NACIONAL
28 de mayo de 2021
Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 1 / 52

Sumario
1 Axioma Fundamental Reales
2 Lenguaje y Sintaxis
3 Propiedades de la igualdad
4 Axiomas de cuerpo
Reglas de precedencia de las operaciones
Teoremas de Cuerpo
Resta y División
Más Teoremas de Cuerpo
5 Axiomas de Orden
Teoremas de Orden
6 Axioma de completitud
Raı́z cuadrada
7 Los Números Reales
Los Números Naturales
Los Números Enteros
Los Números Racionales
Los Números Irracionales
Otros Teoremas de los Reales
8 Inducción Matemática
Sumario
Teorema de Inducción
Teorema de recursión finita
Teorema de inducción matemática general

Axioma Fundamental Reales
Números Reales
Axioma: Axioma Fundamental

Existe un conjunto denominado conjunto de los números reales y re-
presentado por R. A cada elemento de este conjunto se le denomina
número real.

Lenguaje y Sintaxis
Lenguaje y Sintaxis
1. Letras minúsculas del alfabeto español:
a, b, c, . . . , x, y, z
para representar números reales.

2. El signo
+
representará el concepto operación suma. La sintaxis es:
a + b.
3. El signo
⋅
representará el concepto operación producto. La sintaxis es:
a ⋅ b.
4. Las proposiciones de la teorı́a Números Reales se definen recursivamente

ası́:

Lenguaje y Sintaxis
Lenguaje y Sintaxis
I. Todas las proposiciones de la teorı́a Conjuntos son proposiciones de la
teorı́a Números Reales.
II. a ∈ R es una proposición.
III. Si A y B representan proposiciones de la teorı́a Números Reales,
¬A , A ∧ B, A ∨ B, A ⇒B y A ⇔ B,
también representan proposiciones de esta teorı́a.

IV. Una proposición de la teorı́a Números Reales se obtiene únicamente
por la aplicación de las tres reglas anteriores.

Propiedades de la igualdad
Propiedades de la igualdad
Teorema: Propiedades de la igualdad de números reales

Dados los números reales a, b y c, se deducen:
1. Reflexiva: a = a.
2. Simétrica: si a = b, entonces b = a.
3. Transitiva: si a = b y b = c, entonces a = c.
4. Sustitución: si A representa una proposición, entonces se tiene que
a = b ⇒ (A (a) ⇔ A (b)),
donde A (b) se obtiene a partir de A (a) al sustituir algunas (no ne-

cesariamente todas) de las apariciones del número real a en A por
el número real b.

Axiomas de cuerpo
Axiomas de cuerpo
Axioma: Clausuras de la suma y el producto

Si a ∈ R y b ∈ R, entonces
a+b∈R y a ⋅ b ∈ R.
Axioma: Conmutativas de la suma y el producto

Si a ∈ R y b ∈ R, entonces
a+b=b+a y a ⋅ b = b ⋅ a.
Axioma: Asociativas de la suma y el producto

Si a ∈ R, b ∈ R y c ∈ R, entonces
a + (b + c) = (a + b) + c y a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c.

Axiomas de cuerpo
Axiomas de cuerpo
Axioma: Distributiva del producto respecto de la suma
Si a ∈ R, b ∈ R y c ∈ R, entonces
a ⋅ (b + c) = a ⋅ b + a ⋅ c.
Axioma: Existencia y unicidad del elemento neutro de la suma

Existe un único número real, denominado cero y representado por 0, tal
que para todo número real a, se tiene
a + 0 = a.
Que 0 sea único significa que si para todo número real a, se tiene que
a + b = a,
entonces b = 0.

Axiomas de cuerpo
Axiomas de cuerpo
Axioma: Existencia y unicidad del elemento neutro del producto
Existe un único número real, denominado uno y representado por 1, tal
que
1≠0
y para todo número real a, se tiene
a ⋅ 1 = a.
Que 1 sea único significa que si para todo real a, distinto de 0, se tiene
que
a ⋅ b = a,
entonces b = 1.

Axiomas de cuerpo
Axiomas de cuerpo
Axioma: Existencia y unicidad del inverso aditivo
Para todo número real a, existe un único número real, denominado in-
verso aditivo de a y representado por −a, tal que
a + (−a) = 0.
La unicidad del inverso aditivo de a significa que si b ∈ R tal que
a + b = 0,
entonces b = −a necesariamente.

Axiomas de cuerpo
Axiomas de cuerpo
Axioma: Existencia del inverso multiplicativo
Para todo número real a distinto de 0, existe un único número real, deno-
minado inverso multiplicativo de a y representado por a−1 , tal que
a ⋅ a−1 = 1.
Es decir, la proposición
a ≠ 0 ⇒ a ⋅ a−1 = 1
es verdadera. La unicidad de a−1 significa que si a ≠ 0 y
a ⋅ b = 1,
entonces b = a−1 necesariamente.

Axiomas de cuerpo Reglas de precedencia de las operaciones
Reglas de precedencia
1. Los productos se realizarán antes que las sumas; es decir, el producto tiene
mayor precedencia que la suma.
2. La aplicación de paréntesis se realizará desde la izquierda; es decir, las
operaciones que están “más a la izquierda” tienen mayor precedencia.

Axiomas de cuerpo Teoremas de Cuerpo
Teoremas de Cuerpo
Teorema: Inverso aditivo de 0

La proposición
−0 = 0
es verdadera.
Teorema: Inverso multiplicativo de 1

La proposición
1−1 = 1
es verdadera.

Teoremas de Cuerpo
Teorema: Propiedades aditiva y multiplicativa de la igualdad
Las proposiciones
a=b ⇒ c+a=c+b y a=b ⇒ c⋅a=c⋅b
son verdaderas para todo número real a, todo número real b y todo
número real c.
Teorema: Caracterizaciones del cero y uno

Sea b ∈ R.
1. Si existe a ∈ R tal que a + b = a, entonces b = 0.
2. Si existe a tal que a ≠ 0 y a ⋅ b = a, entonces b = 1.

Teoremas de Cuerpo
Teorema: Multiplicación por 0
La proposición
a⋅0=0
es verdadera para todo número real a.
Teorema: Inverso multiplicativo distinto de 0

La proposición
a ≠ 0 ⇒ a−1 ≠ 0
es verdadera para todo número real a.

Teoremas de Cuerpo
Teorema: Propiedades cancelativas de la igualdad respecto de la suma y el
producto
Las proposiciones
1. a + c = b + c ⇒ a = b
2. (c ≠ 0 ∧ a ⋅ c = b ⋅ c) ⇒ a = b
son verdaderas.

Axiomas de cuerpo Resta y División
Resta y División
Definición: Operación resta

Si a ∈ R y b ∈ R, la resta de a y b, representada por a − b, es el número real
a + (−b)
(la suma de a y el inverso aditivo de b). Por tanto,
a − b = a + (−b).

Axiomas de cuerpo Resta y División
Resta y División
Definición: Operación división
a
Sean a ∈ R y b ∈ R. Si b ≠ 0, la división de a por b, representada por , es el
b
número real
a ⋅ b−1
(el producto de a y el inverso multiplicativo de b). Por tanto,
a
= a ⋅ b−1 .
b

Axiomas de cuerpo Más Teoremas de Cuerpo
Más Teoremas
Teorema:
Para todo número real a, es verdadera la proposición
−(−a) = a.
Teorema: Ley de signos

La proposiciones
1. (−a) ⋅ b = −(a ⋅ b)
2. a ⋅ (−b) = −(a ⋅ b)
3. (−a) ⋅ (−b) = a ⋅ b
son verdaderas para todo número real a y todo número real b.

Axiomas de cuerpo Más Teoremas de Cuerpo
Más Teoremas
Teorema: Multiplicación por (−1)
La proposición
(−1) ⋅ a = −a
es verdadera.
Teorema: Suma y producto de igualdades

1. Si a = b y c = d, entonces a + c = b + d.
2. Si a = b y c = d, entonces a ⋅ c = b ⋅ d.

Axiomas de Orden
Axiomas de Orden
Axioma: Clausuras de los números positivos

Existe un subconjunto de R, denominado conjunto de los números reales
positivos y representado por R+ , tal que para todo a ∈ R+ y todo b ∈ R+ ,
se tiene
a + b ∈ R+ y a ⋅ b ∈ R+ .

Axiomas de Orden
Axiomas de Orden
Definición: Relaciones mayor que y menor que
Dados los números reales a y b, diremos que a es mayor que b y escribire-
mos a > b si es verdadera la proposición
a − b ∈ R+ ;
es decir, a > b si a − b ∈ R+ .
Utilizaremos a ≯ b para representar la negación de a > b.
Diremos que a es menor que b y escribiremos a a; es decir,
a a.
El signo a ≮ b representará la negación de a < b.

Axiomas de Orden
Números reales positivos y negativos
Definición: Números negativos

Dada la proposición
−x ∈ R+
existe un único conjunto denominado el conjunto de los números reales
negativos, representado por R− , al conjunto de todos números reales x
tales que −x ∈ R+ , es decir,
R− = {x ∶ −x ∈ R+ }
Ası́, es válida la siguiente equivalencia
z ∈ R− ≡ −z ∈ R+
Teorema: Caracterización de números positivos y negativos

1. a ∈ R+ si y solo si a > 0.
2. a ∈ R− si y solo si a < 0.

Axiomas de Orden
Tricotomı́a
Axioma: Tricotomı́a
Dados dos números reales a y b, una y solo una de las tres proposiciones
es verdadera:
1. a = b.
2. a > b.
3. a < b.

Axiomas de Orden Teoremas de Orden
Teoremas de Orden
Teorema: Transitiva del mayor que y menor que

Las siguientes proposiciones son verdaderas
1. Si a > b y b > c, entonces a > c.
2. Si a 0 si y solo si a−1 > 0.
2. a < 0 si y solo si a−1 < 0.
3. a > b y b > 0 si y solo si a−1 > 0 y a−1 < b−1 .
4. a b−1 .

Teoremas de Orden
Teorema:
1. Si a ⋅ b > 0 y a > 0, entonces b > 0.
2. Si a ⋅ b > 0 y a < 0, entonces b < 0.
3. Si a ⋅ b > 0, entonces a > 0 y b > 0 o bien a < 0 y b < 0.
4. Si a ⋅ b < 0, entonces a > 0 y b < 0 o bien a < 0 y b > 0.

Mayor o igual y menor o igual
Definición: Mayor o igual, menor o igual

Dado los números reales a y b, se dice que a es mayor o igual que b, lo
que se representa por a ⩾ b, si la proposición
a>b∨a=b
es verdadera. Utilizaremos a ≱ b para representar la negación de a ⩾ b.

Se dice que a es menor o igual que b, lo que se representa por a ⩽ b, si la
proposición
a<b∨a=b
es verdadera. El signo a ≰ b representa la negación de a ⩽ b.

Teorema: Mayor, menor, mayor o igual, menor o igual

Las proposiciones
1. si a > b, entonces a ⩾ b,
2. si a < b, entonces a ⩽ b,
3. si a = b, entonces a ⩾ b,
4. si a = b, entonces a ⩽ b,
5. a ⩾ b si y solo si b ⩽ a
son verdaderas.
Teorema: Antisimetrı́a de mayor o igual y menor o igual

Dados los números reales a y b, las proposiciones
1. a ⩽ b y b ⩽ a si y solo si a = b,
2. a ⩾ b y b ⩾ a si y solo si a = b
son verdaderas.

Teorema: Tricotomı́a
Dados los números reales a y b, la proposición
a⩽b o a⩾b
es verdadera.

Axioma de completitud
Definición: Raı́z cuadrada

Dado el número real a, si a ⩾ 0, el número b ⩾ 0 tal que
a = b2
se denomina raı́z cuadrada de a.

Axioma: Axioma de completitud
Dado el número real a, si a > 0, existe una única raı́z cuadrada de a. Es
decir, existe un único número real b > 0 tal que
a = b2 .
El número b (la raı́z cuadrada de a) se representa por

√
a.
Ası́, si a > 0, las siguientes proposiciones son verdaderas:

√
1. a > 0.
√ 2
2. a = ( a) .

Teorema: Raı́z cuadrada
Dados los números reales a y b, si a ⩾ 0 y b ⩾ 0, entonces
√
a = b2 si y solo si b = a.

Los Números Reales Los Números Naturales
Definición: Sucesor de un número

Sea a un número real el sucesor de a, es el número real
a + 1.
Definición: Conjunto Sucesor

A subconjunto de R es un conjunto sucesor, si
1. 0 ∈ A
2. a ∈ A ⇒ a + 1 ∈ A, para número real a.
El conjunto de los números naturales es el conjunto de todos los números reales

que pertenecen a todos los conjuntos sucesores que existen.


Teorema: N es un conjunto sucesor
El conjunto N es un conjunto sucesor; es decir:
1. 0 ∈ N.
2. Si x ∈ N, entonces x + 1 ∈ N para todo número natural x.
Teorema: Inducción matemática

Supóngase que A (x) es una proposición en la que aparece el número
natural x. Si
1. A (0) es verdadera; y
2. si A (x) es verdadera, entonces A (x + 1) es verdadera para todo
número natural x;
entonces A (x) es una proposición verdadera para todo número natural
x.


Teorema: Acotamientos de N
Las siguientes proposiciones son verdaderas:
1. Para todo número natural x, se tiene x ⩾ 0.
2. Para todo x ∈ N tal que x ≠ 0, entonces
−x ∈/ N.
3. No existe un número natural que sea mayor o igual que todos los
números naturales.


Teorema: N no es denso
Las proposiciones siguientes son verdaderas:
1. Para todo número natural x, no existe y ∈ N tal que
x<y y y < x + 1.
2. Si x ∈ N y z ∈ N tal que
x < z,
entonces
x + 1 ⩽ z.

Los Números Reales Los Números Enteros

El signo
{−x ∶ x ∈ N}
indica que si
t ∈ {−x ∶ x ∈ N},
entonces existe x ∈ N talque
t = −x.
Recı́procamente, si t ∈ N, entonces
−t ∈ {−x ∶ x ∈ N}.
El conjunto de los números enteros: es la unión del conjunto de los números

naturales y el conjunto de los inversos aditivos de los números naturales. A este
conjunto se le representa por Z; es decir,
Z = N ∪ {−x ∶ x ∈ N}.

Los Números Reales Los Números Enteros

Teorema: Z es cerrado para el inverso aditivo
La proposición
x ∈ Z si y solo si −x ∈ Z
es verdadera para todo entero x.

Los Números Reales Los Números Racionales

El conjunto de los números racionales es el conjunto de todas las divisiones
entre números enteros. A este conjunto le representamos por Q. Ası́, tenemos
x
Q={ ∶ (x, z) ∈ Z × (Z − {0})} .
z
Si
r ∈ Q,
significan que existen x ∈ Z y z ∈ Z − {0} (es decir z ≠ 0) tales que
x
r= .
z
a
Recı́procamente, si a ∈ Z y b ∈ Z tal que b ≠ 0, entonces el número es un
b
número racional; es decir,
a
∈ Q.
b

Los Números Reales Los Números Racionales

Teorema: Q es cerrado para el inverso aditivo
La proposición
x ∈ Q si y solo si −x ∈ Q
es verdadera para todo número racional x.
Teorema: Q es cerrado para el inverso multiplicativo

La proposición
si x ∈ Q y x ≠ 0, entonces x−1 ∈ Q.

Los Números Reales Los Números Irracionales
Los Números Irracionales

Si representamos con 2 al número 1 + 1, dado que 1 > 0, por la clausura de los
números positivos tenemos que
1 + 1 > 0;
decir, 2 > 0. Luego, por el axioma de completitud, existe la raı́z cuadrada de
es√
2: 2; es decir, existe el número real cuyo cuadrado es igual a 2.
Teorema:
√
2 no es un número racional.
A todos los números reales que no son racionales se les denomina irracionales
y se lo representa por I, es decir,
I = Q′ .

Los Números Reales Otros Teoremas de los Reales
Teorema: Arquimediana
Para todo número real x, existe un número natural n tal que
x<n
es una proposición verdadera.
Teorema: Densidad de los reales

Dados los números reales a y b, si a < b, existe un número real c tal que
a<c y c x y x ⩾ 0 para todo z > 0, entonces x = 0

Inducción Matemática Teorema de Inducción
Teorema de Inducción
Teorema: Inducción matemática

Supóngase que A (n) es una proposición en la que aparece el número
natural n. Si
1. Base de la inducción: A (0) es verdadera; y
2. Paso inductivo: si A (n) es verdadera, entonces A (n + 1) es verdade-
ra para todo número natural n;
entonces A (n) es una proposición verdadera para todo número natural
n.

Inducción Matemática Teorema de recursión finita
Teorema de recursión finita
Teorema: Recursión finita

Para definir un concepto C (n) para todo número natural n, se procede
de la siguiente manera:
1. Base de la recursión: se define el concepto para 0; es decir, se define
C (0).
2. Paso recursivo: se supone que n es un número natural cualesquiera

y, bajo la suposición de que ya se ha definido el concepto para n,
se define el concepto para n + 1 en términos del concepto para n.
De manera más precisa, si n ∈ N, se supone definido
C (n)
y se define
C (n + 1)
en términos de C (n).

Potencia de exponente natural
Definición: Potencia de exponente natural

Dado un número real a, definimos:
1. Base de la recursión: a0 = 1.
2. Paso recursivo: Si n ∈ N, suponemos definido el número an y definimos an+1
como el producto de an y a; es decir,
an+1 = an ⋅ a.
Por el teorema de Recursión finita, se ha definido el número
an
para todo número natural n. Este número se denomina la potencia de n de a. Los
números n y a se denominan, respectivamente, exponente y base de la potencia.

Números pares e impares
Definición: Números par, impar

Un número natural m es par si existe un número natural k tal que
m = 2k.
Un número natural n es impar si existe un número natural l tal que
n = 2l + 1.

Inducción Matemática Teorema de inducción matemática general
Inducción General
Teorema: Inducción matemática general

Supóngase que A (n) es una proposición en la que aparece el número
natural n y que n0 ∈ N. Si
1. Base de la inducción: A (n0 ) es verdadera; y
2. Paso inductivo: si A (n) es verdadera, entonces A (n + 1) es verdade-
ra para todo número natural n ⩾ n0 ;
entonces A (n) es una proposición verdadera para todo número natural
n ⩾ n0 .

Definición: Potencia de exponente entero

Sea a ∈ R tal que a ≠ 0.
1. Si n ∈ N, se define la potencia de base a y con exponente −n como el
inverso multiplicativo de an . A este número se lo representa por a−n ;
luego,
a−n = (an )
−1
o, lo que lo mismo,
1
. a−n =
an
2. Si m ∈ Z tal que m ∈/ N, se define la potencia de base a y exponente
m como a−k , donde m = −k y k ∈ N. A este número representaremos
por am .

Teorema: Potencias de exponente entero

Para todo m ∈ Z, todo n ∈ Z, todo a ≠ 0 y todo b ≠ 0, las siguientes proposi-
ciones son verdaderas:
1. 0n = 0 si n ≠ 0. 5. an ⋅ bn = (a ⋅ b)n .
2. 1n = 1. an a n
=( ) .
3. am+n = am ⋅ an si a ≠ 0.
6. n
b b
am
4. am−n = n . 7. (an )
−1
= a−n .
a

Factorial
Definición: Factorial de un número natural

Dado un número natural n, definimos:
1. Base de la recursión: 0! = 1.
2. Paso recursivo: Suponemos definido el número n! y definimos (n + 1)! como
el producto de n + 1 y n!; es decir,
(n + 1)! = (n + 1) ⋅ n!.
Por el teorema de Recursión finita, se ha definido el número
n!
para todo número natural n. Este número se denomina factorial de n.

03 Números Reales Diapositivas

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

03 Números Reales Diapositivas

Cargado por

Copyright:

Formatos disponibles

ESCUELA POLITÉCNICA NACIONAL

ESCUELA POLITÉCNICA NACIONAL

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 1 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 3 / 52

 Axioma: Axioma Fundamental

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 4 / 52

para representar números reales.

4. Las proposiciones de la teorı́a Números Reales se definen recursivamente

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 5 / 52

también representan proposiciones de esta teorı́a.

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 6 / 52

 Teorema: Propiedades de la igualdad de números reales

donde A (b) se obtiene a partir de A (a) al sustituir algunas (no ne-

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 7 / 52

 Axioma: Clausuras de la suma y el producto

 Axioma: Conmutativas de la suma y el producto

 Axioma: Asociativas de la suma y el producto

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 8 / 52

 Axioma: Existencia y unicidad del elemento neutro de la suma

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 9 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 10 / 52

La unicidad del inverso aditivo de a significa que si b ∈ R tal que

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 11 / 52

entonces b = a−1 necesariamente.

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 12 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 13 / 52

 Teorema: Inverso aditivo de 0

 Teorema: Inverso multiplicativo de 1

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 14 / 52

a=b ⇒ c+a=c+b y a=b ⇒ c⋅a=c⋅b

 Teorema: Caracterizaciones del cero y uno

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 15 / 52

 Teorema: Inverso multiplicativo distinto de 0

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 16 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 17 / 52

 Definición: Operación resta

(la suma de a y el inverso aditivo de b). Por tanto,

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 18 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 19 / 52

 Teorema: Ley de signos

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 20 / 52

 Teorema: Suma y producto de igualdades

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 21 / 52

 Axioma: Clausuras de los números positivos

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 22 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 23 / 52

Números reales positivos y negativos

 Definición: Números negativos

Ası́, es válida la siguiente equivalencia

 Teorema: Caracterización de números positivos y negativos

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 24 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 25 / 52

 Teorema: Transitiva del mayor que y menor que

 Teorema: Monotonı́a del inverso multiplicativo

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 26 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 27 / 52

Mayor o igual y menor o igual

 Definición: Mayor o igual, menor o igual

es verdadera. Utilizaremos a ≱ b para representar la negación de a ⩾ b.

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 28 / 52

 Teorema: Mayor, menor, mayor o igual, menor o igual

 Teorema: Antisimetrı́a de mayor o igual y menor o igual

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 29 / 52

Curso virtual Fundamentos de Matemática (EPN) Números Reales 28 de mayo de 2021 30 / 52

Axioma: Axioma Fundamental

Teorema: Propiedades de la igualdad de números reales

Axioma: Clausuras de la suma y el producto

Axioma: Conmutativas de la suma y el producto

Axioma: Asociativas de la suma y el producto

Axioma: Existencia y unicidad del elemento neutro de la suma

Teorema: Inverso aditivo de 0

Teorema: Inverso multiplicativo de 1

Teorema: Caracterizaciones del cero y uno

Teorema: Inverso multiplicativo distinto de 0

Definición: Operación resta

Teorema: Ley de signos

Teorema: Suma y producto de igualdades

Axioma: Clausuras de los números positivos

Definición: Números negativos

Teorema: Caracterización de números positivos y negativos

Teorema: Transitiva del mayor que y menor que

Teorema: Monotonı́a del inverso multiplicativo

Definición: Mayor o igual, menor o igual

Teorema: Mayor, menor, mayor o igual, menor o igual

Teorema: Antisimetrı́a de mayor o igual y menor o igual

Definición: Raı́z cuadrada

Definición: Sucesor de un número

Definición: Conjunto Sucesor

Teorema: Inducción matemática

Teorema: Q es cerrado para el inverso multiplicativo

Teorema: Densidad de los reales

Teorema: Inducción matemática

Teorema: Recursión finita

Definición: Potencia de exponente natural

Definición: Números par, impar

Teorema: Inducción matemática general

Definición: Potencia de exponente entero

Teorema: Potencias de exponente entero

Definición: Factorial de un número natural