Notas 2
Notas 2
Notas 2
CORTADURAS DE DEDEKIND
1. (A 6= ∅) ∧ (A 6= Q)
Definición 2. Definimos al conjunto de los números reales como el conjunto formado por todas
las cortaduras de Dedekind en Q y lo denotamos por R.
Ar := {s ∈ Q | s < r}
Relación de orden
1. Reflexividad
2. Anti-simetría
3. Transitividad
Definición 5. (Orden estricto <) Sean A, B ∈ R. Definimos la relación de orden estricto < en R
de la siguiente manera:
A < B :↔ (A ⊂ B) ∧ (A 6= B)
• Reales no positivos: {A ∈ R | A 6 A0 }
• Reales no negativos: {A ∈ R | A0 6 A}
1
2
A + B := {a + b | a ∈ A, b ∈ B}
Proposición 2. Si A, B ∈ R, entonces A + B ∈ R.
/ A + B y concluimos que A + B 6= Q.
Luego, n + m ∈
Proposición 3. Si A ∈ R, entonces −A ∈ R.
1. Consideremos s ∈ Q \ A. Luego,
/ −A y concluimos que −A 6= Q y −A 6= ∅.
Además, notemos que si a ∈ A, entonces −a ∈
3. Sea d ∈ −A. Luego, existe s ∈ Q \ A tal que s < −d y aplicando la densidad de los
racionales podemos encontrar un d 0 racional que satisfaga s < −d 0 < −d y a partir de lo
cual conlcuimos que d 0 ∈ −A y d < d 0 .
1. Asociatividad
(∀A, B, C ∈ R) A + (B + C) = (A + B) + C
2. Conmutatividad
(∀A, B ∈ R) A+B = B+C
3. Identidad aditiva
(∀A ∈ R) A + A0 = A
4. Inversos aditivos
(∀A ∈ R) A + (−A) = A0
A + A0 = A
b < 0 =⇒ a + b < a
A + (−A) = A0
Consideremos a + d ∈ A + (−A) con d ∈ −A. Luego, existe s ∈ Q \ A tal que s < −d; dado
que s no pertenece a A se cumple que a < s y conluimos que a + d < s + (−s) = 0, es
decir, a + d ∈ A0 . Ahora sea b ∈ A0 y veamos que b ∈ A + (−A); para ello, empleando la
densidad de los racionales, existen a ∈ A y d ∈ −A tales que b < a + d < 0 y dado que
A + (−A) es cortadura podemos deducir que b ∈ A + (−A). Por lo tanto, obtenemos que
A + (−A) = A0 .
La unicidad de la identidad aditiva y los inversos aditivos se sigue de las otras propiedades.
Nota 1. Los reales junto con la operación de suma son un ejemplo de lo que se llama grupo
abeliano.
• (Caso 4) Si A = A0 o B = A0 , entonces AB := A0 .
Demostración. Notemos que solo es necesario verificar el caso en el que tanto A como B son
reales positivos.
1. Es claro que AB es distinto del vacío. Dado que A y B son cortaduras positivas, existen
racionales positivos n y m que satisfacen la condición
/ AB y, por lo tanto, AB 6= Q.
Luego, se concluye que nm ∈
3. Sea d ∈ AB. Si d 6 0, entonces, puesto que A y B son positivos, existen 0 < a 0 y 0 < b 0
tales que a 0 b 0 ∈ AB y d < a 0 b 0 . Por tanto, consideremos el caso en que 0 < d y escribamos
d = ab; dado que A y B son cortaduras, existen a 0 ∈ A y b 0 ∈ B tales que a < a 0 y b < b 0 ,
y con lo cual obtenemos que ab < a 0 b 0 . Por condiguiente, d 0 = a 0 b 0 ∈ AB satisface que
d < d 0.
Por tanto, AB es cortadura de Dedekind.
2. Conmutatividad
(∀A, B ∈ R) AB = BC
3. Identidad multiplicativa
(∀A ∈ R) AA1 = A
4. Inversos multiplicativos
(∀A ∈ R \ {A0 }) A(A−1 ) = A1
5. Distributividad
(∀A, B, C ∈ R) A(B + C) = AB + AC
AA−1 = A1
1. (∀r, s ∈ Q) Ar + As = Ar+s
2. (∀r, s ∈ Q) Ar As = Ars
3. (∀r ∈ Q) − Ar = A−r
Demostración. Ejercicio.
Teorema 3 (Densidad). El conjunto de los números racionales Q es denso en R, es decir, para cua-
lesquiera dos números reales x y y con x < y, existe r ∈ Q tal que x < r < y.
Demostración. Ejercicio.
Teorema 4 (Propiedad Arquimediana). Sean x, y ∈ R con 0 < x. Entonces, existe n ∈ N tal que
y < nx.
Demostración. Ejercicio.
Axiomas de campo
1. Asociatividad
(∀a, b, c ∈ K) a + (b + c) = (a + b) + c
2. Conmutatividad
(∀a, b ∈ K) a + b = b + a
3. Identidad aditiva
(∃0 ∈ K)(∀a ∈ K) a + 0 = a
4. Inversos aditivos
(∀a ∈ K)(∃b ∈ K) a + b = 0
5. Asociatividad
(∀a, b, c ∈ K) a • (b • c) = (a • b) • c
6. Conmutatividad
(∀a, b ∈ K) a • b = b • a
7. Identidad multiplicativa
(∃1 ∈ K \ {0})(∀a ∈ K) a • 1 = a
6
8. Inversos multiplicativos
(∀a ∈ K \ {0})(∃b ∈ K) a • b = 1
9. Distributividad
(∀a, b, c ∈ K) a • (b + c) = a • b + a • c
Nota 2. El conjunto de los números racionales Q y de los números reales R satisfacen los axiomas
de campo.
Completez
Definición 11. Sea S ⊂ R no vacío. Decimos que S está acotado superiormente (inferiormente)
si existe M ∈ R (m ∈ R) tal que s 6 M (m 6 s) para todo s ∈ S. A M se le llama una cota
superior de S (m es una cota inferior de S).
S+ := {M ∈ R | M es cota superior de S}
3. Sea l ∈ L arbitrario. Dado que l no es cota superior para S, existe s ∈ S tal que l < s.
Aplicando la densidad de los racionales, deducimos que existe l 0 ∈ Q tal que l < l 0 < s.
Luego, l 0 no es cota superior de S y concluimos que l 0 ∈ L.
Por tanto, L representa un número real. Afirmamos que L es una cota superior para S: en
efecto, si existiese s ∈ S para el cual L < s, entonces podemos tomar un racional r que satisfaga
L < r < s, lo cual implica que r ∈ / L, es decir, r es cota superior de S, lo cual es contradictorio.
Por tanto, L es cota superior de S y resta verificar que es la mínima cota superior; para ello,
supongamos que existe M cota superior de S para la cual M < L. Aplicando nuevamente la
densidad de los racionales, llegariamos a la conclusión de que existe r ∈ Q cota superior de S
tal que M < r < L, lo cual tampoco es posible ya que se tiene además que r ∈ L.
S− := {m | m es cota inferior de S}
Demostración. Ejercicio.
Valor absoluto
Intuitivamente, el valor absoluto de un número x “mide” qué tan alejado está x del 0. Dados
dos números reales x y y, definimos la distancia entre x y y como el real positivo |x − y|.
2. |x| = 0 ⇐⇒ x = 0
3. |xy| = |x||y|
Demostración. Ejercicio.