SlideShare una empresa de Scribd logo

Axiomas y teoremas de los números reales

O
oscartl

Axiomas y Teoremas de los números reales

1 de 46
Descargar para leer sin conexión
Facultad de ciencias Físico Matemáticas

           “Números reales”

          Oscar Tepoz López

               Año: 2011
En Matemáticas, los números reales son los que abarcan a los
  números racionales (que pueden representarse como el
  cociente de dos enteros con denominados diferente de
  cero) y los números irracionales, que no se pueden expresar
  de manera fraccionaria y tienen infinitas cifras decimales
  no periódicas, tales como√2, π.
Pueden ser descritos de varias formas, algunas simples
  aunque carentes del rigor necesario para los propósitos
  formales de matemáticas y otras más complejas pero con el
  rigor necesario para el trabajo matemático formal. El
  concepto de números reales surgió a partir de la utilización
  de fracciones comunes por parte de los egipcios, cerca del
  año 1,000 a. C. El conjunto de los números reales es
  representado con la letra:
 Los primeros números en aparecer en la historia
 fueron los números que van del 1,2,3,... etc. y por esta
 razón son conocidos como los números naturales. El
 primer registro que se obtiene sobre la utilización del
 cero fue en el año 36 a.C. por la civilización Maya.
 Los egipcios utilizaron por primera vez las fracciones
 comunes alrededor del año 1000 a. C.; alrededor del
 500 a. C. el grupo de matemáticos griegos liderados
 por Pitágoras se dio cuenta de la necesidad de los
 números irracionales. Los números negativos fueron
 ideados por matemáticos indios cerca del
 600, posiblemente reinventados en China poco
 después.
 La noción de numero y contar ha acompañado a la
 humanidad desde la prehistoria. Como todo
 conocimiento desarrollado por el hombre primitivo, la
 causa para que el ser humano emprendiera sus pasos
 en el contar y plasmar cantidades surgió
 fundamentalmente de la necesidad de adaptarse al
 medio ambiente, proteger sus bienes y distinguir los
 ciclos de la naturaleza pues ya perciban y observaban
 con cuidado los ritmos que esta posee y su fina
 relación con las oportunidades de alimentación y, en
 general, con la conservación de la vida, entre otros.
 La razón para que actualmente se utilice un sistema
  decimal, se deriva principalmente de que ser humano
  necesito hacer una representación simbólica del conteo con
  su propio cuerpo, y para ello se valió básicamente de los 10
  dedos de las manos y aunque este no fue el único sistema
  utilizado por la humanidad s fue el mas difundido.
 A medida que el saber humano fue evolucionando, La
  civilización egipcia fue una de las primeras en desarrollar el
  trabajo con las matemáticas le fue urgente el comenzar a
  representar las cantidades en forma de dibujos, para seguir
  en forma precisa los ciclos de la naturaleza, dejar mensajes
  a sus semejantes o para seguir con la contabilización de sus
  posesiones que rebasaban la cantidad de 10.

Recomendados

Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaJ. Amauris Gelabert S.
 
Ecuacion de la recta pendiente
Ecuacion de la recta pendienteEcuacion de la recta pendiente
Ecuacion de la recta pendienteJulian Andres
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresAntoKizz Caztro
 
Aplicaciones de los limites de funciones en problemas de la vida cotidiana cc...
Aplicaciones de los limites de funciones en problemas de la vida cotidiana cc...Aplicaciones de los limites de funciones en problemas de la vida cotidiana cc...
Aplicaciones de los limites de funciones en problemas de la vida cotidiana cc...Demetrio Ccesa Rayme
 

Más contenido relacionado

La actualidad más candente

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
FUNCIÓN LINEAL
FUNCIÓN LINEALFUNCIÓN LINEAL
FUNCIÓN LINEALJUANCA650
 
Experimentos aleatorios, espacio muestral y eventos
Experimentos aleatorios, espacio muestral y eventosExperimentos aleatorios, espacio muestral y eventos
Experimentos aleatorios, espacio muestral y eventosJoan Fernando Chipia Lobo
 
Aplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diariaAplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diariaJhunior Romero
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicosAra Narvaez
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntosCarlos Alberto Mongui
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones linealesa12lma
 
Ejercicios resueltos de funciones - CALCULO I
Ejercicios resueltos de funciones - CALCULO IEjercicios resueltos de funciones - CALCULO I
Ejercicios resueltos de funciones - CALCULO IKátherin Romero F
 
Solucionario analisis matematico I
Solucionario analisis matematico ISolucionario analisis matematico I
Solucionario analisis matematico IAmparocecilia
 
Problemas resueltos de geometria analitica plana
Problemas resueltos de geometria analitica planaProblemas resueltos de geometria analitica plana
Problemas resueltos de geometria analitica planaCarlos Chaparro
 
Problemas de aplicación de ecuaciones lineales - ejercicios
Problemas de aplicación de ecuaciones lineales - ejerciciosProblemas de aplicación de ecuaciones lineales - ejercicios
Problemas de aplicación de ecuaciones lineales - ejerciciosYandri Alcívar
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaCarlos Chavarria
 

La actualidad más candente (20)

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
FUNCIÓN LINEAL
FUNCIÓN LINEALFUNCIÓN LINEAL
FUNCIÓN LINEAL
 
Induccion matematica
Induccion matematicaInduccion matematica
Induccion matematica
 
Experimentos aleatorios, espacio muestral y eventos
Experimentos aleatorios, espacio muestral y eventosExperimentos aleatorios, espacio muestral y eventos
Experimentos aleatorios, espacio muestral y eventos
 
Aplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diariaAplicacion de las funciones atematicas a la vida diaria
Aplicacion de las funciones atematicas a la vida diaria
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Problemas resueltos de derivadas
Problemas resueltos de derivadasProblemas resueltos de derivadas
Problemas resueltos de derivadas
 
Funciones ejercicios resueltos
Funciones ejercicios resueltosFunciones ejercicios resueltos
Funciones ejercicios resueltos
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones lineales
 
Ejercicios resueltos de funciones - CALCULO I
Ejercicios resueltos de funciones - CALCULO IEjercicios resueltos de funciones - CALCULO I
Ejercicios resueltos de funciones - CALCULO I
 
Solucionario analisis matematico I
Solucionario analisis matematico ISolucionario analisis matematico I
Solucionario analisis matematico I
 
Problemas resueltos de geometria analitica plana
Problemas resueltos de geometria analitica planaProblemas resueltos de geometria analitica plana
Problemas resueltos de geometria analitica plana
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Problemas resueltos de limites
Problemas resueltos de limitesProblemas resueltos de limites
Problemas resueltos de limites
 
Problemas de aplicación de ecuaciones lineales - ejercicios
Problemas de aplicación de ecuaciones lineales - ejerciciosProblemas de aplicación de ecuaciones lineales - ejercicios
Problemas de aplicación de ecuaciones lineales - ejercicios
 
Tema 4 Relaciones
Tema 4   RelacionesTema 4   Relaciones
Tema 4 Relaciones
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 

Destacado (9)

axiomas de algebra
axiomas de algebraaxiomas de algebra
axiomas de algebra
 
Numeros reales
Numeros realesNumeros reales
Numeros reales
 
Axiomas de números reales
Axiomas de números realesAxiomas de números reales
Axiomas de números reales
 
Propiedades De Los NúMeros Reales
Propiedades De Los NúMeros RealesPropiedades De Los NúMeros Reales
Propiedades De Los NúMeros Reales
 
Formulas geometria analitica plana
Formulas  geometria analitica planaFormulas  geometria analitica plana
Formulas geometria analitica plana
 
Axiomas y postulados
Axiomas y postuladosAxiomas y postulados
Axiomas y postulados
 
Teorema de bayes, probabilidad total & probabilidad condicional
Teorema de bayes, probabilidad total & probabilidad condicional Teorema de bayes, probabilidad total & probabilidad condicional
Teorema de bayes, probabilidad total & probabilidad condicional
 
Espacio tridimensional
Espacio tridimensionalEspacio tridimensional
Espacio tridimensional
 
hiperbola
hiperbolahiperbola
hiperbola
 

Similar a Axiomas y teoremas de los números reales

Similar a Axiomas y teoremas de los números reales (20)

Articulo 111114154000-phpapp02 (2)
Articulo 111114154000-phpapp02 (2)Articulo 111114154000-phpapp02 (2)
Articulo 111114154000-phpapp02 (2)
 
Numeros reales
Numeros reales Numeros reales
Numeros reales
 
Alg boole
Alg booleAlg boole
Alg boole
 
Demostracione mate
Demostracione mateDemostracione mate
Demostracione mate
 
Presentacion de grafos juan velasquez 23770791
Presentacion de grafos juan velasquez 23770791Presentacion de grafos juan velasquez 23770791
Presentacion de grafos juan velasquez 23770791
 
Algebra Abstracta Alg Abs F06
Algebra Abstracta Alg Abs F06Algebra Abstracta Alg Abs F06
Algebra Abstracta Alg Abs F06
 
Adbequipo1
Adbequipo1Adbequipo1
Adbequipo1
 
El abc de la conjetura
El abc de la conjeturaEl abc de la conjetura
El abc de la conjetura
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 
Lagebra de boole y circuitos digitales
Lagebra de boole y circuitos digitalesLagebra de boole y circuitos digitales
Lagebra de boole y circuitos digitales
 
Trigo
TrigoTrigo
Trigo
 
Anillos polinomio
Anillos polinomioAnillos polinomio
Anillos polinomio
 
Apuntesdefisica
ApuntesdefisicaApuntesdefisica
Apuntesdefisica
 
Tema_2.pdf
Tema_2.pdfTema_2.pdf
Tema_2.pdf
 
5º numeros naturales
5º numeros naturales5º numeros naturales
5º numeros naturales
 
algi_ca_u1_1.1.pdf
algi_ca_u1_1.1.pdfalgi_ca_u1_1.1.pdf
algi_ca_u1_1.1.pdf
 
Analisis libro gerardo____5toao
Analisis libro gerardo____5toaoAnalisis libro gerardo____5toao
Analisis libro gerardo____5toao
 
Unidad 4 t5 lenguaje algebraico
Unidad 4  t5 lenguaje algebraicoUnidad 4  t5 lenguaje algebraico
Unidad 4 t5 lenguaje algebraico
 
Algebra I
Algebra IAlgebra I
Algebra I
 

Último

240.Exam1.Rev. Spring24.pptxadsfadfadfdd
240.Exam1.Rev. Spring24.pptxadsfadfadfdd240.Exam1.Rev. Spring24.pptxadsfadfadfdd
240.Exam1.Rev. Spring24.pptxadsfadfadfddbrianjars
 
Granada 2024 primera parte, charla de JM.pdf
Granada 2024 primera parte, charla de JM.pdfGranada 2024 primera parte, charla de JM.pdf
Granada 2024 primera parte, charla de JM.pdfFRANCISCO PAVON RABASCO
 
Los lambayecanos no son mochicas (ni mocheros)
Los lambayecanos no son mochicas (ni mocheros)Los lambayecanos no son mochicas (ni mocheros)
Los lambayecanos no son mochicas (ni mocheros)yevivo4827
 
Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)
Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)
Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)Germán Tortosa
 
Tema 3 Clasificación de los seres vivos 2024.pdf
Tema 3 Clasificación de los seres vivos 2024.pdfTema 3 Clasificación de los seres vivos 2024.pdf
Tema 3 Clasificación de los seres vivos 2024.pdfIES Vicent Andres Estelles
 
Granada2024 segunda parte, charla de JM.pdf
Granada2024 segunda parte, charla de JM.pdfGranada2024 segunda parte, charla de JM.pdf
Granada2024 segunda parte, charla de JM.pdfFRANCISCO PAVON RABASCO
 
La Gamificacion como Estrategia de Aprendizaje Ccesa007.pdf
La Gamificacion como Estrategia de Aprendizaje Ccesa007.pdfLa Gamificacion como Estrategia de Aprendizaje Ccesa007.pdf
La Gamificacion como Estrategia de Aprendizaje Ccesa007.pdfDemetrio Ccesa Rayme
 
Funciones-vitales-de-los-seres-vivos diapositiva.pptx
Funciones-vitales-de-los-seres-vivos diapositiva.pptxFunciones-vitales-de-los-seres-vivos diapositiva.pptx
Funciones-vitales-de-los-seres-vivos diapositiva.pptxkarolbustamante2911
 
Diapositivas acerca de la Biología celular
Diapositivas acerca de la  Biología celularDiapositivas acerca de la  Biología celular
Diapositivas acerca de la Biología celularchacaguasaydayana284
 
ACTA OFICIAL DE POSESIÓN DE CARGO 2024.docx
ACTA OFICIAL DE POSESIÓN DE CARGO 2024.docxACTA OFICIAL DE POSESIÓN DE CARGO 2024.docx
ACTA OFICIAL DE POSESIÓN DE CARGO 2024.docxCarlos Muñoz
 
Comunidad virtual sus características principales
Comunidad virtual sus características principalesComunidad virtual sus características principales
Comunidad virtual sus características principalesJoselinMaldonadoRami
 
Biología Marina, Elaborado por Sujey Lara
Biología Marina, Elaborado por Sujey LaraBiología Marina, Elaborado por Sujey Lara
Biología Marina, Elaborado por Sujey Larassuserb2b6fc1
 
Comunidad de aprendizaje virtuales Presentacion Slide Share.
Comunidad de aprendizaje virtuales Presentacion Slide Share.Comunidad de aprendizaje virtuales Presentacion Slide Share.
Comunidad de aprendizaje virtuales Presentacion Slide Share.NoelyLopez1
 
Hitos históricos de la transformación del PODER GLOBAL II.pptx
Hitos históricos de la transformación del PODER GLOBAL II.pptxHitos históricos de la transformación del PODER GLOBAL II.pptx
Hitos históricos de la transformación del PODER GLOBAL II.pptxsubfabian
 
Presentación Animales de PBA para docentes
Presentación Animales de PBA para docentesPresentación Animales de PBA para docentes
Presentación Animales de PBA para docentesSoVentura2
 
VIDEOS DE APOYO TECNOLOGIA PRIMER PERIODO
VIDEOS DE APOYO TECNOLOGIA PRIMER PERIODOVIDEOS DE APOYO TECNOLOGIA PRIMER PERIODO
VIDEOS DE APOYO TECNOLOGIA PRIMER PERIODOSofiaDiaz692624
 
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁClaude LaCombe
 
Francisco Espoz y Mina. Liberal vinculado A Coruña
Francisco Espoz y Mina. Liberal vinculado A CoruñaFrancisco Espoz y Mina. Liberal vinculado A Coruña
Francisco Espoz y Mina. Liberal vinculado A CoruñaAgrela Elvixeo
 

Último (20)

240.Exam1.Rev. Spring24.pptxadsfadfadfdd
240.Exam1.Rev. Spring24.pptxadsfadfadfdd240.Exam1.Rev. Spring24.pptxadsfadfadfdd
240.Exam1.Rev. Spring24.pptxadsfadfadfdd
 
Granada 2024 primera parte, charla de JM.pdf
Granada 2024 primera parte, charla de JM.pdfGranada 2024 primera parte, charla de JM.pdf
Granada 2024 primera parte, charla de JM.pdf
 
Los lambayecanos no son mochicas (ni mocheros)
Los lambayecanos no son mochicas (ni mocheros)Los lambayecanos no son mochicas (ni mocheros)
Los lambayecanos no son mochicas (ni mocheros)
 
Dificultad de la escritura alfabética- Estrategia Pukllaspa yachasun - Curo F...
Dificultad de la escritura alfabética- Estrategia Pukllaspa yachasun - Curo F...Dificultad de la escritura alfabética- Estrategia Pukllaspa yachasun - Curo F...
Dificultad de la escritura alfabética- Estrategia Pukllaspa yachasun - Curo F...
 
Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)
Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)
Clase sobre Compostaje Residuos Agroindustriales (05 de marzo de 2024)
 
Tema 3 Clasificación de los seres vivos 2024.pdf
Tema 3 Clasificación de los seres vivos 2024.pdfTema 3 Clasificación de los seres vivos 2024.pdf
Tema 3 Clasificación de los seres vivos 2024.pdf
 
Granada2024 segunda parte, charla de JM.pdf
Granada2024 segunda parte, charla de JM.pdfGranada2024 segunda parte, charla de JM.pdf
Granada2024 segunda parte, charla de JM.pdf
 
La Gamificacion como Estrategia de Aprendizaje Ccesa007.pdf
La Gamificacion como Estrategia de Aprendizaje Ccesa007.pdfLa Gamificacion como Estrategia de Aprendizaje Ccesa007.pdf
La Gamificacion como Estrategia de Aprendizaje Ccesa007.pdf
 
Funciones-vitales-de-los-seres-vivos diapositiva.pptx
Funciones-vitales-de-los-seres-vivos diapositiva.pptxFunciones-vitales-de-los-seres-vivos diapositiva.pptx
Funciones-vitales-de-los-seres-vivos diapositiva.pptx
 
Bendito el que viene en el nombre del Señor
Bendito el que viene en el nombre del SeñorBendito el que viene en el nombre del Señor
Bendito el que viene en el nombre del Señor
 
Diapositivas acerca de la Biología celular
Diapositivas acerca de la  Biología celularDiapositivas acerca de la  Biología celular
Diapositivas acerca de la Biología celular
 
ACTA OFICIAL DE POSESIÓN DE CARGO 2024.docx
ACTA OFICIAL DE POSESIÓN DE CARGO 2024.docxACTA OFICIAL DE POSESIÓN DE CARGO 2024.docx
ACTA OFICIAL DE POSESIÓN DE CARGO 2024.docx
 
Comunidad virtual sus características principales
Comunidad virtual sus características principalesComunidad virtual sus características principales
Comunidad virtual sus características principales
 
Biología Marina, Elaborado por Sujey Lara
Biología Marina, Elaborado por Sujey LaraBiología Marina, Elaborado por Sujey Lara
Biología Marina, Elaborado por Sujey Lara
 
Comunidad de aprendizaje virtuales Presentacion Slide Share.
Comunidad de aprendizaje virtuales Presentacion Slide Share.Comunidad de aprendizaje virtuales Presentacion Slide Share.
Comunidad de aprendizaje virtuales Presentacion Slide Share.
 
Hitos históricos de la transformación del PODER GLOBAL II.pptx
Hitos históricos de la transformación del PODER GLOBAL II.pptxHitos históricos de la transformación del PODER GLOBAL II.pptx
Hitos históricos de la transformación del PODER GLOBAL II.pptx
 
Presentación Animales de PBA para docentes
Presentación Animales de PBA para docentesPresentación Animales de PBA para docentes
Presentación Animales de PBA para docentes
 
VIDEOS DE APOYO TECNOLOGIA PRIMER PERIODO
VIDEOS DE APOYO TECNOLOGIA PRIMER PERIODOVIDEOS DE APOYO TECNOLOGIA PRIMER PERIODO
VIDEOS DE APOYO TECNOLOGIA PRIMER PERIODO
 
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
 
Francisco Espoz y Mina. Liberal vinculado A Coruña
Francisco Espoz y Mina. Liberal vinculado A CoruñaFrancisco Espoz y Mina. Liberal vinculado A Coruña
Francisco Espoz y Mina. Liberal vinculado A Coruña
 

Axiomas y teoremas de los números reales

  • 1. Facultad de ciencias Físico Matemáticas “Números reales” Oscar Tepoz López Año: 2011
  • 2. En Matemáticas, los números reales son los que abarcan a los números racionales (que pueden representarse como el cociente de dos enteros con denominados diferente de cero) y los números irracionales, que no se pueden expresar de manera fraccionaria y tienen infinitas cifras decimales no periódicas, tales como√2, π. Pueden ser descritos de varias formas, algunas simples aunque carentes del rigor necesario para los propósitos formales de matemáticas y otras más complejas pero con el rigor necesario para el trabajo matemático formal. El concepto de números reales surgió a partir de la utilización de fracciones comunes por parte de los egipcios, cerca del año 1,000 a. C. El conjunto de los números reales es representado con la letra:
  • 3.  Los primeros números en aparecer en la historia fueron los números que van del 1,2,3,... etc. y por esta razón son conocidos como los números naturales. El primer registro que se obtiene sobre la utilización del cero fue en el año 36 a.C. por la civilización Maya.
  • 4.  Los egipcios utilizaron por primera vez las fracciones comunes alrededor del año 1000 a. C.; alrededor del 500 a. C. el grupo de matemáticos griegos liderados por Pitágoras se dio cuenta de la necesidad de los números irracionales. Los números negativos fueron ideados por matemáticos indios cerca del 600, posiblemente reinventados en China poco después.
  • 5.  La noción de numero y contar ha acompañado a la humanidad desde la prehistoria. Como todo conocimiento desarrollado por el hombre primitivo, la causa para que el ser humano emprendiera sus pasos en el contar y plasmar cantidades surgió fundamentalmente de la necesidad de adaptarse al medio ambiente, proteger sus bienes y distinguir los ciclos de la naturaleza pues ya perciban y observaban con cuidado los ritmos que esta posee y su fina relación con las oportunidades de alimentación y, en general, con la conservación de la vida, entre otros.
  • 6.  La razón para que actualmente se utilice un sistema decimal, se deriva principalmente de que ser humano necesito hacer una representación simbólica del conteo con su propio cuerpo, y para ello se valió básicamente de los 10 dedos de las manos y aunque este no fue el único sistema utilizado por la humanidad s fue el mas difundido.  A medida que el saber humano fue evolucionando, La civilización egipcia fue una de las primeras en desarrollar el trabajo con las matemáticas le fue urgente el comenzar a representar las cantidades en forma de dibujos, para seguir en forma precisa los ciclos de la naturaleza, dejar mensajes a sus semejantes o para seguir con la contabilización de sus posesiones que rebasaban la cantidad de 10.
  • 7. En álgebra abstracta, un campo es una estructura algebraica en la cual las operaciones de adición y multiplicación se pueden realizar y cumplen con ciertas propiedades conocidas como axiomas. Los cuerpos son objetos importantes de estudio en álgebra puesto que proporcionan la generalización apropiada de dominios de números tales como los conjuntos de números racionales, de los números reales, o de los números complejos. También se distingue el campo del orden, ya que en este presenta un concepto muy importante, que es la ley de tricotomía, la cual nos dice que ∀a, b ϵ solo cumplen una de las siguientes afirmaciones: a > b, a < b, a = b.
  • 8. Existe una relación que presenta los números reales que son conocidas como relaciones de igualdad y estas son de utilidad para la demostración de algunos teoremas, estas relaciones dicen: Sean a, b, c ϵ a) Si a = b, entonces b = a b) Si a = b, y b = c, entonces a = c c) si a + c denota al numero real que resulta de sumar a y c, y ac denota al numero real que resulta de multiplicar a y c, entonces a = b implicará que a + c = b + c y que ac = bc
  • 9. En matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las consideradas “verdades evidentes” porque permiten deducir las demás formulas. En lógica matemática, un postulado es un proposición, no necesariamente evidente: una fórmula bien formada de un lenguaje formal utilizada en una deducción para llegar a una conclusión. En el campo de los números reales son seis los principales axiomas que se toman, y a través de su uso y postulación, permiten el desarrollo de los teoremas que estructuran una parte de las matemáticas.
  • 10. Los seis axiomas son: Axioma 1. Si a, b ϵ , entonces a + b, ab ϵ (Ley de cerradura para la suma y el producto) Axioma 2. Si a, b ϵ entonces a+b = b+a y ab = ba (Ley de conmutatividad) Axioma 3. Si a, b, c ϵR entonces a(b+c) = (a+b)+c y a(bc) = (ab)c (Ley de asociatividad) Axioma 4. Si a, b, c ϵ entonces a(b + c) = ab + ac (Ley de distributividad) Axioma 5. Existen 0, 1 ϵ , con 0 ̸= 1, tales que: si a ϵR, entonces a+0 = a y a·1 = a (0 se llamará Neutro aditivo y 1 se llamará Neutro multiplicativo) Axioma 6. Si a ϵ , existe a1 ϵ tal que a + a1 = 0 y si a ϵ con a ̸= 0, entonces existe a2 ϵ tal que a · a2 = 1 (Existencia de los inversos)
  • 11. Un teorema es una afirmación que puede ser demostrada dentro de un sistema formal. Un teorema generalmente posee un numero de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones dadas. Se llamará corolario a una afirmación lógica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.
  • 12. i) Si a, b, c ϵ y a + c = b + c, entonces a=b ii) Si a, b, c ϵ , c ≠ 0 y ac = bc, entonces a=b Demostración: i) Sea c1 ϵ tal que c + c1 = 0 (Esto por el axioma 6) Entonces a+c=b+c ⇒ (a + c) + c1 = (b + c) + c1 (Propiedad de la igualdad) ⇒ a + (c + c1) = b + (c + c1) (Por axioma 3) ⇒ a+0=b+0 (Por axioma 6) ⇒ a=b (Por axioma 5)
  • 13. ii) Si a, b, c ϵ , c≠0 ac = bc, entonces a=b si c≠0, el axioma seis garantiza la existencia de un número real c2 tal que cc2 = 1. Por lo tanto: ac = bc ⇒ (ac)c2 = (bc)c2 (Propiedad de la igualdad) ⇒ a(cc2) = (bc)c2) (Por axioma 3) ⇒ a·1=b·1 (Por axioma 6) ⇒ a=b (Por axioma 5)
  • 14. Si a ϵ , entonces a · 0 = 0 Demostración. ⇒ a · 0 = a(0 + 0) (Por axioma 5) ⇒ a · 0 = a · 0 + a · 0 ^ a · 0+0 = a·0 (Por axioma 4 y 5) ⇒a·0+0=a·0+a·0 (Por transitividad) ⇒a·0+0=0 (Ley de cancelación: teorema I)
  • 15. i) ∀a, b ϵ , ∃x ϵ único tal que a + x = b ii) ∀a, b ϵ , a ̸= 0, ∃x ϵ único tal que a · x = b Demostración: i) Por el axioma seis ∃a1 ϵ : a+a1 = 0 entonces si x0 = b+a1 tenemos que: ⇒ a + x0 = a + b + a1 (Sustituyendo x = b + a1) ⇒ a + x0 = a + a1 + b (Por axioma 2) ⇒ a + x0 = 0 + b (Por axioma 6) ⇒ a + x0 = b (Por axioma 5) Para este momento ya se demostró que existe, pero falta demostrar que es único: Supongamos que existe x1 ϵ tal que a + x0 = a + x1 por el Teorema I tenemos que x0 = x1
  • 16. ii) Por el axioma seis ∃a1 ϵ : a · a1 = 1 entonces si x0 = b · a1 tenemos que: ⇒ a · x0 = a(b · a1) (Sustituyendo x0 = b · a1) ⇒ a · x0 = (a · a1)b (Por axioma 2) ⇒ a · x0 = 1b (Por axioma 6) ⇒ a + x0 = b (Por axioma 5) En este momento ya se demostró que existe, pero falta demostrar que es único: Supongamos que existe x1 ϵR tal que a · x1 = b entonces a · xo = a · x1 por el Teorema I tenemos que x0 = x1
  • 17. i) Para cada a ϵ , existe un único a1 ϵ tal que a + a1 = 0 ii) Para cada a ϵ , existe un único a1 ϵ tal que a · a1 = 1 Demostración: i) Como a1 ϵ cumple con la ecuación a + x = 0 y por el Teorema I a1 es único. ii) Como a ϵ y a≠0, entonces existe un a1 ϵ que cumple con a · x = 1 entonces por el Teorema 2.3.1 a1 es único. Como el inverso aditivo de a ϵ es único, lo denotamos como −a y el inverso multiplicativo de a ϵ −{0} le llamamos a⁻¹ o 1/a . Así a−b = a+(−b) y a/b = a·b⁻¹ para cada b≠0
  • 18. i) Para todo a ϵ , −(−a) = a ii) Para todo a ϵ − {0}, (a⁻¹)⁻¹ = a Demostración: i) Como a + (−a) = 0 y (−a) − (−a) = (−a) + (−(−a)) = 0, entonces al igualarlas se obtiene que a + (−a) = (−a) + (−(−a)) por el Teorema I a = −(−a) ii) Si a≠0, el número real (a⁻¹)⁻¹ satisface la relación a⁻¹x = 1 y también el número real a satisface la misma relación. Por lo tanto, por el Teorema IV, a = (a⁻¹)⁻¹.
  • 19. Sean a, b, c ϵ entonces i) −(a + b) = (−a) + (−b) ii) −(ab) = (−a)b = a(−b) iii) Si a≠0, b≠0 entonces ab≠0 y (ab)⁻¹ = a⁻¹b⁻¹ Demostración: i)(a + b) + [(−a) + (−b)] = a + b + [(−a) + (−b)] (Por axioma 2) ⇒(a + b) + [(−a) + (−b)] = a +b + [(−b) + (−a)] (Por axioma 3) ⇒(a + b) + [(−a) + (−b)] = a + ([b + (−b)] + (−a)) (Por axioma 2) Por lo tanto (a + b) + [(−a) + (−b)] = a + (0 + (−a)) (Por axioma 5) ⇒(a + b) + [(−a) + (−b)] = a + (−a) ⇒(a + b) + [(−a) + (−b)] = 0 Entonces [(−a) + (−b)] es inverso aditivo de (a + b) y por unicidad resulta que −(a + b) = (−a) + (−b).
  • 20. ii) (ab) + (−a)b = [a + (−a)]b (Por axioma 4) ⇒(ab) + (−a)b = (0)b (Por axioma 5) ⇒(ab) + (−a)b = 0 (Por axioma 5) Entonces (−a)b satisface ab + x = 0 y por unicidad, (−a)b = −(ab) (ab) + a(−b) = [b + (−b)]a (Por axioma 4) ⇒(ab) + (−b)a = (0)a (Por axioma 5) ⇒(ab) + (−b)a = 0 (Por axioma 5) Entonces (−b)a satisface ab + x = 0 y por unicidad, (−b)a = −(ab) iii) Como (ab)(a⁻¹b⁻¹) = (a)(b)(a⁻¹)(b⁻¹) por el axioma seis tenemos que(ab)(a⁻¹b⁻¹ )= (a)(a⁻¹)(b)(b⁻¹) y por el Teorema IV tenemos (1)(1) = 1 y como (ab)(a⁻¹b⁻¹) = 1 entonces (a⁻¹b⁻¹) = (ab)⁻¹
  • 21. Si a, b, c, d ϵ con b≠0 y d≠0, entonces i) a/b + c/d = (ad+bc)/bd ii) a/b· c/d = ac/bd iii)( a/b)⁻¹= a⁻¹/b⁻¹= b/a , si también a≠0 Demostración: i) a/b + cd= ab⁻¹ + cd⁻¹ (Por definición) ⇒ a/b + c/d = (ab⁻¹)1 + (cd⁻¹)1 (Por axioma 5) ⇒ a/b + c/d = (ab⁻¹)(dd⁻¹) + (cd⁻¹)(bb ⁻¹) (Por inv. multiplicativo) ⇒ a/b + c/d = a(b ⁻¹ dd ⁻¹) + c(d ⁻¹ bb ⁻¹) (Por axioma 2) ⇒ a/b + c/d = a(db ⁻¹ d ⁻¹) + c(bd ⁻¹ b ⁻¹) (Por axioma 3) ⇒ a/b + c/d = a(db ⁻¹ d ⁻¹) + c(bd ⁻¹ b ⁻¹) (Por axioma 3)
  • 22. Por lo tanto ⇒ a/b + c/d = (ad)(b ⁻¹ d ⁻¹) + (cb)(d ⁻¹ b ⁻¹) (Por axioma 2) ⇒ a/b + c/d = (ad + bc)(b ⁻¹ d ⁻¹) (Por axioma 4) ⇒ a/b + c/d = (ad + bc)(bd) ⁻¹ (Por Teorema VI) ⇒ a/b + c/d = (ad + bc)/bd (Por definición)
  • 23. ii) (a/b) · (c/d) = (ab ⁻¹) + (cd ⁻¹) (Por definición) ⇒ (a/b) · (c/d) = (ab ⁻¹) · (cd ⁻¹) (Por definición) ⇒ (a/b) · (c/d) = a[b ⁻¹(cd ⁻¹)] (Por axioma 2) ⇒ (a/b) · (c/d) = a[(b ⁻¹ c)d ⁻¹] (Por axioma 4) ⇒ (a/b) · (c/d) = a[(cb ⁻¹)d ⁻¹] (Por axioma 3) ⇒ (a/b) · (c/d) = a[c(b ⁻¹ d ⁻¹)] (Por axioma 2) ⇒ (a/b) · (c/d) = (ac)(b ⁻¹ d ⁻¹) (Por Teorema VI) ⇒ (a/b) · (c/d) = ac/bd (Por definición)
  • 24. iii) (a/b) ⁻¹ = (ab ⁻¹) ⁻¹ (Por definición) ⇒ (a/b) ⁻¹ = a ⁻¹(b ⁻¹) ⁻¹ (Por Teorema VI) ⇒ (a/b) ⁻¹ = a ⁻¹ b (Por Teorema V) ⇒ (a/b) ⁻¹ = ba ⁻¹ (Por axioma 3) ⇒ (a/b) ⁻¹ = b/a (Por definición)
  • 25. Sean a, b ϵ tales que a > 0 y b > 0. Entonces: a² = b² si y sólo si a = b Demostración. ⇒) Si a > 0, b > 0 y a² = b², entonces a = b Así que sea a > 0, b > 0 y a2 = b2. Entonces a > 0, b > 0 y a² − b² =0 ⇒ a > 0, b > 0 y (a − b)(a + b) = 0 (Por diferencia de cuadrados) ⇒ a > 0, b > 0 y ((a − b) = 0 o (a + b) = 0 (a · b = 0 ⇔ a = 0 o b = 0) ⇒ a + b > b y b > 0 y ((a − b) = 0 o (a + b) = 0 (Por axioma 5) ⇒ (a + b > 0 y a + b > 0 y ) o ((a − b) > 0 y a − b = 0) ⇒ a + b > 0 y a − b = 0) (Contradice la tricotomía la primera parte de la disyución) ⇒a−b=0 ⇒a=b ⇐) Si a > 0, b > 0 y a = b, entonces a2 = b2. Sean a > 0, b > 0 y a = b. Entonces a = b ⇒ aa = ab y ab = bb (Propiedad de la igualdad) ⇒ aa = bb (Propiedad de la igualdad) ⇒ a² = b² (Por definición)
  • 26. Si a > b, b > 0 y a2 = b, entonces a es el único real con esta propiedad Demostración: Supongamos que existe c > 0 tal que c² = b entonces c² = a². Luego por el Teorema VIII a = c Con la solución de este Teorema se pueden dar las siguiente definición: Definición: Si a ≥ 0, b ≥ 0 y a² = b entonces a es la raíz cuadrada de b y lo denotamos por a =√b. Si a² = b (a ≥ 0) sabemos que −a también cumple con (−a) ² = b, le llamamos la raíz cuadrada negativa de b. Observemos que no existe la raíz de b si b < 0.
  • 27. Si a, b ≥ 0 entonces √ab = √a · √b Demostración: Como √ab cumple que (√ab) ² = ab (por la raíz cuadrada de ab) entonces (√a √b) ² = (√a √b)(√a √b) (Por definición) ⇒ (√a √b) ² = √a √a √b √b (Por axioma 2 y 3) ⇒ (√a √b) ² = (√a) ²(√b) ² (Por definición)
  • 28. Los números reales no son sólo un campo, son un campo ordenado, esto quiere decir, que todos los elementos de este conjunto poseen una relación entre los demás de mayor o menor que, y esto es lo que se conoce como orden. Axiomas A diferencia de los axiomas de campo, los axiomas de orden simplemente son cuatro, pero con ellos se pueden demostrar todos los teoremas que corresponden al orden que poseen los números reales
  • 29. Axioma 1. Ley de Tricotomía Si a, b ϵR, entonces una y sólo una de las siguientes proposiciones es verdadera: i) a = b ii) a < b iii) a > b Axioma 2. Si a, b, c ϵR y a < b, b < c, entonces a < c (Ley transitiva) Axioma 3. Si a, b, c ϵR y c > 0 y a < b, entonces ac < bc (consistencia del producto respecto a la relación de orden) Axioma 4. Si a, b, c ϵR y a < b, entonces a + c < b + c (Consistencia de la suma respecto a la relación de orden)
  • 30. Definición: + = {xϵ |x > 0} _= {xϵ | x < 0} + se llamará el Conjunto de los reales positivos. _ se llamará el Conjunto de los reales negativos lo anterior demuestra que + ≠∅ y _ ≠ ∅ y la tricotomía demuestra que: = + ∪ {0} ∪ _ Si x < y o x = y, escribiremos x ≤ y o y ≥ x De acuerdo a esta notación: Si x < y, entonces x ≤ y Si x = y, entonces x ≤ y o x ≥ y Pero si x ≤ y no necesariamente x < y y también si x ≤ y no necesariamente
  • 31. Si aϵ se cumple i) a > 0 ⇔ −a < 0 ii) a > 0 ⇔ a ⁻¹ > 0 Demostración. i} a > 0 ⇒ a + (−a) > 0 + (−a) (Por axioma 4) ⇒ 0 > −a (Por teorema IV) ⇒ −a < 0 ii) Supongamos que: a > 0 ∧ a⁻¹≤ 0 Si a > 0 ∧ a ⁻¹ < 0 ⇒ a · a ⁻¹ < 0 · a (Por axioma 3) ⇒ 1 < 0! Si a > 0 ∧ a ⁻¹ = 0 ⇒ a · a ⁻¹ = 0 · a (Por axioma 3) ⇒ 1 = 0! Entonces por 1 solo queda que a > 0 ∧ a ⁻¹ > 0
  • 32. Sean x, y ϵ −{0}. Entonces x y y tienen signos iguales si i) x, y ϵ + o ii) x, y ϵ _ Pero en caso que: i) x ϵ + y y ϵ _ o ii) x ϵ _ y ϵ + Se dirá que x y y tienen signos contrarios o distintos
  • 33. Si a,b ϵ , se cumple: i) a < b ⇔ −b < −a ii) Si a y b tienen el mismo signo, entonces: a < b ⇔ b⁻¹ < a⁻¹ Demostración.: i)⇒) a < b ⇒ (−a) + a < (−a) + b (Por axioma 5) ⇒ 0 < (−a) + b ⇒ −b + 0 < ((−a) + b) + (−b) (Por axioma 5) ⇒ −b < −a ⇐) − b < −a ⇒ −b + b < −a + b (Por axioma 5) ⇒ 0 < −a + b ⇒ a + 0 < a + ((−a) + b) (Por axioma 5) ⇒ a<b
  • 34.  ii) ⇒) Si a, b tienen el mismo signo y a<b, entonces abϵ + y a<b  ⇒ (ab) ⁻¹ ϵ + y a < b (Por teorema 1)  ⇒ a ⁻¹ b ⁻¹ ϵR+ y a < b (Por teorema VI)  ⇒ (a ⁻¹ b ⁻¹)a < (a ⁻¹ b ⁻¹)b (Por consistencia del producto)  ⇒ b ⁻¹ < a ⁻¹  ⇐) Ahora si a, b tienen igual signo y b ⁻¹ < a ⁻¹, entonces a ⁻¹, b ⁻¹ tienen el mismo signo y b ⁻¹ < a ⁻¹ (Por teorema 1)  ⇒ (a ⁻¹) ⁻¹ < (b ⁻¹) ⁻¹  ⇒ a<b
  • 35. Si a, b, c, d ϵ , se cumple: i) Si a < b y c < d, entonces a + c < b + d ii) Si 0 < a < b y 0 < c < d, entonces ac < bd Demostración: i) Si a < b y c < d ⇒a+c<b+cyb+c<d+b (Por axioma 4) ⇒a+c<b+d ii) 0 < a < b y 0 < c < d ⇒ ac < bc y bc < bd (Por axioma 3) ⇒ ac < bd (Por transitividad)
  • 36. Si a,b ϵ +, entonces a<b⇔a²<b² Demostración: ⇒) a < b ⇒ a · a < b · b (Por teorema 3) ⇒ a² < b² ⇐) Supongamos que a² < b² ∧ a ≥ b ⇒ a² < b² ^ (a > b ѵ a = b) ⇒ (a² < b² ^ a > b) ѵ (a² < b² ^ a = b) ⇒ (a² < b² ^ a² > b²) ѵ (a2 < b² ^ a² = b²) Pero por el axioma 1 ninguna de las condiciones que se puede cumplir, as que solo queda: a² < b² ⇒ a < b
  • 37. Si b ϵ +, entonces i) a² < b ⇔ −√b < a <√b ii) b < a ² ⇔ √b < a o √b < −a Demostración: i) Caso 1: Sea a = 0 entonces claramente la proposición se cumple ya que 0 < b y −√b < 0 < √b Caso 2: a ² < b, a < 0 y bϵR+ ⇒ a ² < b = √b √b = (√b) ² ⇒ a < √b (Por teorema 4) Como a > 0 > −√b ⇒ a > −√b Entonces a ² < b ⇔ −√b < a < √b Caso 3: Si a < 0 ∧ a ² < b entonces como √b > 0 y 0 > a se tiene que a < 0 ⇒ −a > 0 ∧ (−a) ² < b ⇔ (−a) ² < (√b) ² ⇔ −a < √b ⇔ a > −√b
  • 38. ii) Caso 1: Si a = 0 la bicondicional es verdadera porque a² > b es falsa y a >√b ∨ a < −√b también es falsa Caso 2: Si a > 0 a ² > b ⇔ a ² > (√b) ² ⇔ a > √b (Por el teorema 4) Caso 3: Si a < 0 entonces a ² > b ⇔ (−a) ² > (√b) ² ⇔ −a > √b (Por el teorema 4) ⇔ a < −√b (Por el teorema 3)
  • 39.  Dado x ϵ , el valor absoluto de x, el cual denotaremos como |x|, se define de la forma siguiente:  |x| = 1.- x, x ≥ 0 (1)  2.- −x, x < 0 (2)  De la definición de |x| obtenemos inmediatamente las siguiente propiedades  i) ∀xϵ , |x|ϵ  ii) ∀xϵ , |x| ≥ 0
  • 40.  Si x ϵ , entonces  i) x ≤ |x|  ii) −x ≤ |x|  Demostración:  i) Sea x ϵ , entonces x ≥ 0 ó x < 0  Si x ≥ 0, entonces |x| = x, entonces x ≤ |x|  Si x < 0, entonces −x > 0 y |x| ≥ 0 ⇒ |x|−x ≥ 0 ⇒ |x| ≥ x, por lo tanto  ∀xϵ , x ≤ |x|  ii) Sea x ϵ , entonces x ≥ 0 o x < 0  Si x ≥ 0, entonces −x ≤ 0 ∧ |x| > 0 ⇒ −x < |x|  Si x < 0, entonces −x > 0 ∧ |x| = −x ⇒ −x ≤ |x|
  • 41. Si x ϵ , entonces −|x| ≤ x ≤ |x| Demostración: Ahora, si |x| = 0, entonces − |x| ≤x ≤ |x| entonces -0 ≤ x ≤ 0, entonces x = 0 y como por definición si x = 0, entonces |x| = 0
  • 42. Sean a, c ϵ , entonces: |a| ≤ c ⇔ −c ≤ a ≤ c Demostración: Caso 1: c < 0. Entonces como ∀aϵ |a| ≥ 0, se tiene que |a| ≤ c < 0 no se cumple, y 0 ≤ −c ≤ a ≤ c < 0, luego 0 < a < 0 lo cual es falso. Por lo tanto si c < 0 la bicondicional es verdadera. Caso 2: c ≥ 0 ⇒) |a| ≤ 0 ∧ a ≥ 0 ∧ −c ≤ 0 ≤ a ⇒ −c ≤ a. Además |a| = a ≤ c ⇒ −c ≤ a ≤ c Si |a| ≤ c ∧ a < 0 ⇒ −a = |a| ≤ c ⇒ −c ≤ a Ademas a < 0 ∧ 0 ≤ c entonces a < c Luego −c ≤ a ≤ c ⇐) −c ≤ a ≤ c ∧ a ≥ 0 ⇒ |a| = a ≤ c ⇒ |a| ≤ c −c ≤ a ≤ c ∧ a < 0 ⇒ |a| = −a ≤ c (Por teorema 2)
  • 43. Sean a, c ϵ , entonces: |a| ≥ c ⇔ a ≥ c o − a ≥ c Demostración: Una proposición equivalente a la que queremos demostrar es : ¬(|a| ≥ c) ⇔ ¬(a ≥ c o − a ≥ c) es decir, |a| < c ⇔ (a < c y − a < c) o sea |a| < c ⇔ −c < a < c pero esto ya se ha demostrado en el teorema anterior que si se cumple as que con esto queda demostrado el teorema.
  • 44. ∀x, yϵ |x + y| ≤ |x| + |y| Demostración: − |x| ≤ x ≤ |x| y − |y| ≤ y ≤ |y| (Por el teorema 7) −(|x| + |y|) ≤ x + y ≤ |x| + |y| (Por el teorema 3) ⇔ |x + y| ≤ |x| + |y| (Por teorema 8)
  • 45.  Como se ha visto las propiedades que poseen los números reales son muy diversas, y es posible que algunas sean complicadas, o demostrar que cumplen esa propiedades es un poco más difícil, pero esas reglas han sido de gran utilidad para que el hombre haya podido trabajar cómodamente con ellos. También por cumplir con las reglas de campo y las de orden, los números reales se les denomina un campo ordenado. Otro punto que también se pudo reconocer es que en las matemáticas existen reglas que simplemente se cumplen sin la necesidad de demostrarla, y que gracias a esas reglas pudo ser posible que los grandes matemáticos desarrollaran las propiedades que poseen y que nos sirven para entenderlos mejor.
  • 46.  Amador, J. J. A., Carreto, A. C., Gracia, M. I. C. R. L., and García, A. M. (2008). Matemáticas elementales. Textos científicos, México.  Mesa, K. G., Zaldívar, Y., and Galvéz, C. (2011). Los números reales. Recuperado de: http://www.monograas.com/trabajospdf/numeros-reales/numeros- reales.pdf.  Rodríguez, J. (2011). Los números reales. Recuperado de: http://www.cidse.itcr.ac.cr/cursos-linea/MATEGENERAL/t1- realesexpresionesalgebraicas/T1-1-numeros-reales-julioetall/node12.html.  Seward, K. (2011). Los números reales. Recuperado de: http://www.wtamu.edu/academic/anns/mps/math/mathlab/beg  Wikipedia (2011a). Axioma. Recuperado de: http://es.wikipedia.org/wiki/Axioma.  Wikipedia (2011b). Numero real. Recuperado de: http://es.wikipedia.org/wiki/N  Wikipedia (2011c). Teorema. Recuperado de: http://es.wikipedia.org/wiki/Teorema.