SlideShare une entreprise Scribd logo
1  sur  6
Pedagogía en Matemáticas e Informática Educativa Prof. Jorge Ávila Contreras 28  de marzo de 2011 Álgebra I AXIOMAS DE CUERPO EN R
Definiciones preliminares AXIOMAS:  afirmaciones que se asumen como verdaderas por su trivialidad. TEOREMAS:  afirmaciones o proposiciones no triviales y muchas veces poco intuitivas, que se demuestran utilizando axiomas u otros teoremas ya demostrados. COROLARIOS:  consecuencias inmediatas que se deducen de un teorema.
Axiomas de cuerpo en R ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Axiomas de cuerpo en R  (con una presentación más sintética y simbólica) Existen  dos operaciones internas suma (+) y producto (  ) que cumplen con la propiedad de clausura en R.  Y se verifican los siguientes axiomas: Respecto a la suma: Respecto a la multiplicación:
Ejemplos de consecuencias de los axiomas de cuerpo en R  Demostración, de la propiedad 1: a  0  = a  0 + 0    ; por  axioma del elemento neutro aditivo = a  0 + (a + (  a))  ; por inverso aditivo = (a  0 + a ) + (  a)  ; por asociatividad = (a  0 + a  1 ) + (  a) =  a  (0 + 1) + (  a)  ; por distributividad de     con respecto a la + =  a  1 + (  a)  ; por elemento neutro aditivo =  a + (  a)  ; por elemento neutro multiplicativo =  0   ; por inverso aditivo ; por elemento neutro multiplicativo ,[object Object],[object Object],[object Object],[object Object],[object Object],   1    1    1    1    1 a  0 = 0  q.e.d.
Demostración, de la propiedad 2:  (  a)  =   (  a) + 0    ; por  axioma del elemento neutro aditivo =   (  a) + (a + (  a))  ; por inverso aditivo =   (  a) + ( (  a) + a )  ; por conmutatividad = (  (  a) + (  a) ) + a  ; por asociatividad =  0 + a  ; por inverso aditivo =  a   ; por elemento neutro aditivo Demostración, de la propiedad 3: =  1    a     ; por inverso multiplicativo =  a     ; por elemento neutro multiplicativo    (  a) = a  q.e.d.    1    1 (a  )  =     1    1 (a  )     1  ; por elemento neutro multiplicativo  =     1    1 (a  )     ; por inverso multiplicativo     1  ( a    a )  =     1    1  ((a  )     ; por asociatividad    1 a  )   a  (a  )  = a  q.e.d.    1    1

Contenu connexe

Tendances

Integración por fracciones parciales
Integración por fracciones parcialesIntegración por fracciones parciales
Integración por fracciones parcialesMario Lopez
 
Formulas básicas de integración con expresiones trigonométricas
Formulas básicas de integración con expresiones trigonométricasFormulas básicas de integración con expresiones trigonométricas
Formulas básicas de integración con expresiones trigonométricasFR GB
 
Operaciones continuidad
Operaciones continuidadOperaciones continuidad
Operaciones continuidadYazmin
 
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Mareli Rodríguez Ovalle
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad Luis Serrano
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
Transformacion de coordenadas
Transformacion de coordenadasTransformacion de coordenadas
Transformacion de coordenadasElizabeth Alvites
 
Función Exponencial y Logarítmica
Función Exponencial y LogarítmicaFunción Exponencial y Logarítmica
Función Exponencial y LogarítmicaMugen Shinigami
 
Funciones Racionales
Funciones RacionalesFunciones Racionales
Funciones RacionalesCarmen Batiz
 
Semana 02 analisis vectorial unac 2010 a plus
Semana 02  analisis vectorial unac 2010 a plusSemana 02  analisis vectorial unac 2010 a plus
Semana 02 analisis vectorial unac 2010 a plusWalter Perez Terrel
 
Algebra lineal
Algebra linealAlgebra lineal
Algebra linealIvan Lopez
 
Derivadas y limites al infinito
Derivadas y limites al infinitoDerivadas y limites al infinito
Derivadas y limites al infinitoleonelardila29
 

Tendances (20)

Integración por fracciones parciales
Integración por fracciones parcialesIntegración por fracciones parciales
Integración por fracciones parciales
 
Formulas básicas de integración con expresiones trigonométricas
Formulas básicas de integración con expresiones trigonométricasFormulas básicas de integración con expresiones trigonométricas
Formulas básicas de integración con expresiones trigonométricas
 
Formula General Cuadrática
Formula General CuadráticaFormula General Cuadrática
Formula General Cuadrática
 
Qué es una función? y diagrama sagital
Qué es una función? y diagrama sagitalQué es una función? y diagrama sagital
Qué es una función? y diagrama sagital
 
Integral indefinida
Integral indefinidaIntegral indefinida
Integral indefinida
 
Operaciones continuidad
Operaciones continuidadOperaciones continuidad
Operaciones continuidad
 
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad
 
Integrales
IntegralesIntegrales
Integrales
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Casos de factorizacion
Casos de  factorizacionCasos de  factorizacion
Casos de factorizacion
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Transformacion de coordenadas
Transformacion de coordenadasTransformacion de coordenadas
Transformacion de coordenadas
 
Función Exponencial y Logarítmica
Función Exponencial y LogarítmicaFunción Exponencial y Logarítmica
Función Exponencial y Logarítmica
 
Funciones Racionales
Funciones RacionalesFunciones Racionales
Funciones Racionales
 
Semana 02 analisis vectorial unac 2010 a plus
Semana 02  analisis vectorial unac 2010 a plusSemana 02  analisis vectorial unac 2010 a plus
Semana 02 analisis vectorial unac 2010 a plus
 
Algebra lineal
Algebra linealAlgebra lineal
Algebra lineal
 
Derivadas y limites al infinito
Derivadas y limites al infinitoDerivadas y limites al infinito
Derivadas y limites al infinito
 

Similaire à Axiomas de cuerpo en R

Similaire à Axiomas de cuerpo en R (20)

Actividad uptaeb
Actividad uptaebActividad uptaeb
Actividad uptaeb
 
15 Repaso De áLgebra
15  Repaso De áLgebra15  Repaso De áLgebra
15 Repaso De áLgebra
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
Calculo de Predicados
Calculo de PredicadosCalculo de Predicados
Calculo de Predicados
 
Alg boole
Alg booleAlg boole
Alg boole
 
Conjunto de Números Reales - Segunda Parte
Conjunto de Números Reales - Segunda ParteConjunto de Números Reales - Segunda Parte
Conjunto de Números Reales - Segunda Parte
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Funciones Hiperbolicas
Funciones HiperbolicasFunciones Hiperbolicas
Funciones Hiperbolicas
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
áLgebra(I Bim)
áLgebra(I Bim)áLgebra(I Bim)
áLgebra(I Bim)
 
álgebra
álgebraálgebra
álgebra
 
Revision de numeros reales
Revision de numeros realesRevision de numeros reales
Revision de numeros reales
 
Estructuras conceptos
Estructuras conceptosEstructuras conceptos
Estructuras conceptos
 
itiel vilasmil
itiel vilasmilitiel vilasmil
itiel vilasmil
 
Instituto universitario tecnologico
Instituto universitario tecnologicoInstituto universitario tecnologico
Instituto universitario tecnologico
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
proceso de inferencia
proceso de inferencia proceso de inferencia
proceso de inferencia
 
Presentacion funciones
Presentacion funcionesPresentacion funciones
Presentacion funciones
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 

Axiomas de cuerpo en R

  • 1. Pedagogía en Matemáticas e Informática Educativa Prof. Jorge Ávila Contreras 28 de marzo de 2011 Álgebra I AXIOMAS DE CUERPO EN R
  • 2. Definiciones preliminares AXIOMAS: afirmaciones que se asumen como verdaderas por su trivialidad. TEOREMAS: afirmaciones o proposiciones no triviales y muchas veces poco intuitivas, que se demuestran utilizando axiomas u otros teoremas ya demostrados. COROLARIOS: consecuencias inmediatas que se deducen de un teorema.
  • 3.
  • 4. Axiomas de cuerpo en R (con una presentación más sintética y simbólica) Existen dos operaciones internas suma (+) y producto (  ) que cumplen con la propiedad de clausura en R. Y se verifican los siguientes axiomas: Respecto a la suma: Respecto a la multiplicación:
  • 5.
  • 6. Demostración, de la propiedad 2:  (  a) =  (  a) + 0 ; por axioma del elemento neutro aditivo =  (  a) + (a + (  a)) ; por inverso aditivo =  (  a) + ( (  a) + a ) ; por conmutatividad = (  (  a) + (  a) ) + a ; por asociatividad = 0 + a ; por inverso aditivo = a ; por elemento neutro aditivo Demostración, de la propiedad 3: = 1  a ; por inverso multiplicativo = a ; por elemento neutro multiplicativo  (  a) = a q.e.d.  1  1 (a ) =  1  1 (a )  1 ; por elemento neutro multiplicativo =  1  1 (a )  ; por inverso multiplicativo  1 ( a  a ) =  1  1 ((a )  ; por asociatividad  1 a )  a (a ) = a q.e.d.  1  1