SlideShare una empresa de Scribd logo
1 de 11
UNIVERSIDAD PEDAGÓGICA EXPERIMENTAL LIBERTADOR
INSTITUTO PEDAGÓGICO “RAFAEL ALBERTO ESCOBAR LARA”
DEPARTAMENTO DE MATEMÁTICA- ÁREA DE ÁLGEBRA
MARACAY-EDO ARAGUA

SISTEMAS NUMÉRICOS

Prof. Yerikson Suárez H.
10/02/2014

Febrero, 2014

P.A 2014-1

1
CONTENIDO PROGRAMÁTICO
Unidad I: Sistema de los números naturales
1. Definición axiomáticamente del conjunto de los números naturales.
2. Demostración de los teoremas que se derivan de los axiomas de Peano.
3. Definición de la adición en N.
4. Demostración y aplicación de las propiedades de la adición en N.

5. Definición de la multiplicación en N.
6. Demostración y aplicación de las propiedades de la multiplicación en N.
7. Definición de la relación de orden en N.
8. Demostración de las propiedades que se derivan de la relación de orden en N.

9. Definición de sustracción en N.
10. Demostración y aplicación de las propiedades de la sustracción en N.
11. Principio de Inducción Completa. Demostración de proposiciones a través del método de
inducción.
10/02/2014

Sistema Numéricos

2
Unidad I: Sistema de los números naturales
1. Definición axiomáticamente del conjunto de los números naturales.
A) Términos no definidos (Términos primitivos):
A.1) Conjunto N cuyos elementos son llamados números naturales
A.2) Objeto matemático llamado “cero” y denotado por el símbolo “0”
A.3) Una relación sobre N, llamada “siguiente de” y denotada por “sig”
B) Axiomas de Peano:
Ax-1: 0  N. Cero es un número natural y en consecuencia N  
Ax-2: xN,  yN  y = sig (x). La relación siguiente es una función.
Ax-3: xN: sig (x)0. Cero no es el siguiente de ningún natural. La función
siguiente NO es sobreyectiva.
Ax-4: x,yN: sig (x) = sig (y)  x = y. La función siguiente es Inyectiva.
Ax-5: Axioma de Recurrencia o de Inducción completa: Si M  N y se verifica:
(i) 0  M
(ii) xM  sig (x)M , Entonces M = N
10/02/2014

Sistema Numéricos

3
Unidad I: Sistema de los números naturales
2. Demostración de los teoremas que se derivan de los axiomas de Peano.
Teorema 1:  x, y  N: x  y  sig (x)  sig (y)
Demostración
Demostraremos el contra-recíproco, recordando que p  q  q p
Pero el contra-recíproco en este caso es x,yN: sig (x) = sig (y)  x = y, el cual
coincide con el Ax-4, el cual es cierto.
Teorema 2:  x N: sig (x)  x
Demostración
Recurriremos al Ax-5. Sea M = { x  N  sig (x)  x }. Nótese que M N.
(i) Probemos que 0  M. Esto es, demostrar que sig (0)  0.
En efecto, por Ax-3 sabemos que sig (x)  0, x  N, por lo tanto en particular
si x=0  N, se cumple entonces que sig (0)  0.

Ahora probemos que
10/02/2014

Sistema Numéricos

4
Unidad I: Sistema de los números naturales
2. Demostración de los teoremas que se derivan de los axiomas de Peano.
(ii) x  M  sig (x)  M. Esto es, demostrar que sig(sig (x))  sig (x) sabiendo que
sig (x)  x. En efecto
xM  sig (x)  x, por hipótesis. Además x, sig (x)  N.
 sig(sig (x))  sig (x), T-1:  x, y  N: x  y  sig (x)  sig (y)
sig (x)  M.
De (i), (ii) y el Ax-5, se concluye que M = N. En consecuencia  x N: sig (x)  x
Teorema 3:  y  N- {0},  x  N  y = sig (x). Todo número natural (excepto el
cero, es siguiente de uno y sólo un natural)

Demostración:
Recurriremos al Ax-5 o Axioma de recurrencia. Consideremos el conjunto
M = { y  N – {0}   x  N  y = sig (x) }  {0}.
Claramente M  N.

(i) 0  M. Esto es cierto por la misma definición de M.
10/02/2014

Sistema Numéricos

5
Unidad I: Sistema de los números naturales
2. Demostración de los teoremas que se derivan de los axiomas de Peano.
Ahora demostremos que
(ii) y  M  sig (y)  M. Esto es,  w  N  sig (y) = sig (w). Veamos
y  M   x  N  y = sig (x)  y=0, Hipótesis
 sig (y) = sig (sig (x)), ya que y  N y por Ax-2 sig (y) existe y es único.
 sig(y) = sig (w), tomando w = sig (x). Este w es único por el Ax-4
 sig (y)  M
De (i), (ii) y el Ax-5, se concluye que M = N. En consecuencia
 y  N- {0},  x  N  y = sig (x)
Nota 1: Al número natural “x” se le denomina predecesor de y, esto es,
pre (y) = x  y= sig (x)

10/02/2014

Sistema Numéricos

6
Unidad I: Sistema de los números naturales
3. Definición de Adición en N
4. Demostración y aplicación de las propiedades de la adición en N.
Definición 1. Adición en N: Se denomina Adición en N a cualquier operación
binaria + : N x N  N tal que
(i)  x  N: x + 0 = 0 (El cero es neutro a la derecha)
(ii)  x, y  N: sig (x + y) = x + sig (y)
Nota 2: Al elemento x + y se le denomina suma de x e y.
Teorema 4: La operación Adición en N es ÚNICA.
Demostración:
Supongamos que existen dos operaciones binarias distintas + y  tales que
(i) x  N: x + 0 = 0
(i’)  x  N: x  0 = 0
(ii) x, y  N: sig (x + y) = x + sig (y) (ii’) x, y  N: sig (x  y) = x  sig (y)
Consideremos en conjunto M = { y  N   x  N: x + y = x  y }. Obviamente M  N.
(I) 0  M. Debemos probar que x + 0 = x  0.
En efecto, x + 0 = 0 (parte i de la Hipótesis). Además x  0 = 0 (parte i’ de la

hipótesis). Entonces se deduce claramente que : x + y = x  y =0.
10/02/2014

Sistema Numéricos

7
Unidad I: Sistema de los números naturales
3. Definición de Adición en N
3. Definición las propiedades
4. Demostración y aplicación de de Adición en N de la adición en N.
(II) y  M  sig (y)  M. Debemos probar la igualdad x + sig (y) = x  sig (y).
Veamos:
x + sig (y) = sig (x + y), Hipótesis, def +, parte ii
= sig ( x  y), Hipótesis, def. de M
= x  sig (y), Hipótesis, def , parte ii’
Por lo tanto, sig (y)  M. De (I), (II)

y el Ax-5 se concluye que M=N y en

consecuencia + = , con lo cual la operación de adición es única
Definición 2: Se denomina “UNO” y se denota por “1” al siguiente de Cero, esto
es, sig (0) = 1
Teorema 5:
5.1)  x  N: 0 + x = x (Cero es neutro por la izquierda)
5.2)  x, y  N: sig (x + y) = sig (x) + y

5.3)  x  N: sig (x) = x + 1
10/02/2014

Sistema Numéricos

8
Unidad I: Sistema de los números naturales
3. Definición de Adición en N
3. Definición las propiedades
4. Demostración y aplicación de de Adición en N de la adición en N.
Demostración:
5.1)  x  N: 0 + x = x (Cero es neutro por la izquierda)
Consideremos el conjunto M = { x  N  0 + x = x }. Obviamente M  N. Veamos
ahora que
(i) 0  M. Se debe probar que 0 + 0 = 0. En efecto, sabemos que x + 0 = 0 (*)
para todo x natural ( def. + parte i), luego si en particular tomamos x = 0  N
en (*) obtenemos que 0 + 0 = 0, tal y como queríamos probar.
(ii) x  M  sig (x)  M. Demostremos que 0 + sig (x) = sig (x).Veamos

0 + sig (x) = sig (0 + x), def + parte i
= sig (x), Hipótesis, def de M.
Por lo tanto sig (x)  M.
De (i), (ii) y el Axioma de recurrencia se concluye que M = N, y por consiguiente

 x  N: 0 + x = x.
10/02/2014

Sistema Numéricos

9
Unidad I: Sistema de los números naturales
3. Definición de Adición en N
3. Definición las propiedades
4. Demostración y aplicación de de Adición en N de la adición en N.
Demostración:
5.2)  x, y  N: sig (x + y) = sig (x) + y
Consideremos el conjunto M = { y  N   x N: sig (x + y) = sig (x) + y }. Por
definición de M, M  N. Ahora probemos que
(i) 0  M. Se debe probar que sig (x + 0) = sig (x) + 0. Analicemos cada miembro
de la igualdad por separado:
M.I sig (x + 0) = sig (x),  x  N: x + 0 = 0 Def + parte i. (1)
M.D sig (x) + 0 = sig (x) ,  x  N: x + 0 = 0 Def + parte i (2)

De (1) y (2) se concluye que sig (x + 0) = sig (x) + 0 = sig (x)
(ii) x  M  sig (x)  M. Demostremos que sig (x + sig (y)) = sig (x) + sig (y)
sig (x + sig (y)) = sig (sig (x + y)),
= sig (sig (x) + y),

= sig (x) + sig (y),
Por lo tanto sig (x)  M.
10/02/2014

sig (x + y) = x + sig (y) Def +,parte ii
Hipótesis, Def. M

sig (x + y) = x + sig (y) Def +,parte ii

Sistema Numéricos

10
Unidad I: Sistema de los números naturales
3. Definición de Adición en N
3. Definición las propiedades
4. Demostración y aplicación de de Adición en N de la adición en N.
De (i), (ii) y el Axioma 5 se obtiene que M = N, y por consiguiente
 x, y  N: sig (x + y) = sig (x) + y
Demostración
5.3)  x  N: sig (x) = x + 1
sig (x) = sig (x + 0),  x  N: x + 0 = 0 Def + parte i

= x + sig (0),  x, y  N: sig (x + y) = x + sig (y) , Def +,parte ii
= x + 1, sig(0) = 1 por def. 2
Nota 3:
3.1) Del T-5.1 se concluye que  x  N: x + 0 = 0 + x = x

3.2) Del T-5.2 se deduce que  x, y  N: sig (x + y) = x + sig (y) = sig (x) + y
3.3) Del T-5.3 tenemos sig (0) = 1, sig (1) = sig (1+ 0) = 1 + sig (0) = 1 + 1 = 2
sig (2) = sig (1 + 1) = 1 + sig (1) = 1 + (1 + 1) = 3 …
Sig (n) = ( 1 + 1 + 1 + 1 + … + 1 ) + 1
(n- veces )

10/02/2014

Sistema Numéricos

11

Más contenido relacionado

La actualidad más candente

La actualidad más candente (17)

10 clase derivada regla de la cadena
10 clase derivada   regla de la cadena10 clase derivada   regla de la cadena
10 clase derivada regla de la cadena
 
La Derivada
La DerivadaLa Derivada
La Derivada
 
Me02202 c
Me02202 cMe02202 c
Me02202 c
 
Aplicaciones e.diferenciales
Aplicaciones e.diferencialesAplicaciones e.diferenciales
Aplicaciones e.diferenciales
 
Ejercicios resueltos
Ejercicios resueltosEjercicios resueltos
Ejercicios resueltos
 
Bloque4a funciones variasvariables
Bloque4a funciones variasvariablesBloque4a funciones variasvariables
Bloque4a funciones variasvariables
 
Tercer solemne pauta-de_correcci_n
Tercer solemne pauta-de_correcci_nTercer solemne pauta-de_correcci_n
Tercer solemne pauta-de_correcci_n
 
Respuestas.ejercicios
Respuestas.ejerciciosRespuestas.ejercicios
Respuestas.ejercicios
 
Ejercicios resueltos 2011
Ejercicios resueltos 2011Ejercicios resueltos 2011
Ejercicios resueltos 2011
 
Ayudantia7 (derivadas)
Ayudantia7 (derivadas)Ayudantia7 (derivadas)
Ayudantia7 (derivadas)
 
Apunte usm resolución ed os
Apunte usm    resolución ed osApunte usm    resolución ed os
Apunte usm resolución ed os
 
020 limites (teoria indeterminaciones)
020 limites (teoria indeterminaciones)020 limites (teoria indeterminaciones)
020 limites (teoria indeterminaciones)
 
Álgebra Leyes de Exponentes
Álgebra Leyes de ExponentesÁlgebra Leyes de Exponentes
Álgebra Leyes de Exponentes
 
Regla de la cadena
Regla de la cadenaRegla de la cadena
Regla de la cadena
 
Derivadas resueltas-paso-a-paso1c2ba-css
Derivadas resueltas-paso-a-paso1c2ba-cssDerivadas resueltas-paso-a-paso1c2ba-css
Derivadas resueltas-paso-a-paso1c2ba-css
 
Espacios vectoriales euclideos
Espacios vectoriales euclideosEspacios vectoriales euclideos
Espacios vectoriales euclideos
 
M2 prevt integracion
M2 prevt integracionM2 prevt integracion
M2 prevt integracion
 

Destacado

Sistemas numéricos y microprocesadores
Sistemas numéricos y microprocesadoresSistemas numéricos y microprocesadores
Sistemas numéricos y microprocesadoresConfesorAD
 
Sistemas Numericos
Sistemas NumericosSistemas Numericos
Sistemas NumericosUVM
 
Sistemas numéricos
Sistemas numéricosSistemas numéricos
Sistemas numéricosbeeerrnaard
 
Sistemas Numericos
Sistemas NumericosSistemas Numericos
Sistemas Numericosbramas
 
Conversiones entre sistemas de numeración
Conversiones entre sistemas de numeraciónConversiones entre sistemas de numeración
Conversiones entre sistemas de numeraciónJohnny Montenegro Molina
 
Repaso de Sistemas Numéricos y Códigos
Repaso de Sistemas Numéricos y CódigosRepaso de Sistemas Numéricos y Códigos
Repaso de Sistemas Numéricos y CódigosMario Bressano
 
CONVERSION SISTEMAS NUMERICOS
CONVERSION SISTEMAS NUMERICOSCONVERSION SISTEMAS NUMERICOS
CONVERSION SISTEMAS NUMERICOSPEDROASTURES21
 
Madrid Antes Y En Guerra
Madrid Antes Y En GuerraMadrid Antes Y En Guerra
Madrid Antes Y En GuerraTere
 
Resumen
ResumenResumen
Resumenjggc
 
Leccion 13 Confianza en el don profetico A C V
Leccion 13  Confianza en el don profetico  A C VLeccion 13  Confianza en el don profetico  A C V
Leccion 13 Confianza en el don profetico A C VSamy
 
PráCticas De Windows
PráCticas De WindowsPráCticas De Windows
PráCticas De Windowsandreaaaa
 
Plan De Compensacion Different Seed 1231029112617854 2
Plan De Compensacion Different Seed 1231029112617854 2Plan De Compensacion Different Seed 1231029112617854 2
Plan De Compensacion Different Seed 1231029112617854 2DIFFERENTSEEDPERU
 
LABORATORIO
LABORATORIOLABORATORIO
LABORATORIOpvgp
 

Destacado (20)

Sistemas numéricos y microprocesadores
Sistemas numéricos y microprocesadoresSistemas numéricos y microprocesadores
Sistemas numéricos y microprocesadores
 
Sistemas Numericos
Sistemas NumericosSistemas Numericos
Sistemas Numericos
 
Sistemas numéricos
Sistemas numéricosSistemas numéricos
Sistemas numéricos
 
Sistemas Numericos
Sistemas NumericosSistemas Numericos
Sistemas Numericos
 
Conversiones entre sistemas de numeración
Conversiones entre sistemas de numeraciónConversiones entre sistemas de numeración
Conversiones entre sistemas de numeración
 
Repaso de Sistemas Numéricos y Códigos
Repaso de Sistemas Numéricos y CódigosRepaso de Sistemas Numéricos y Códigos
Repaso de Sistemas Numéricos y Códigos
 
CONVERSION SISTEMAS NUMERICOS
CONVERSION SISTEMAS NUMERICOSCONVERSION SISTEMAS NUMERICOS
CONVERSION SISTEMAS NUMERICOS
 
Clase Sistemas Numéricos
Clase Sistemas NuméricosClase Sistemas Numéricos
Clase Sistemas Numéricos
 
Sistemas numéricos
Sistemas numéricosSistemas numéricos
Sistemas numéricos
 
PresentacióN1
PresentacióN1PresentacióN1
PresentacióN1
 
American Pie
American PieAmerican Pie
American Pie
 
Filezilla Tutorial
Filezilla TutorialFilezilla Tutorial
Filezilla Tutorial
 
Madrid Antes Y En Guerra
Madrid Antes Y En GuerraMadrid Antes Y En Guerra
Madrid Antes Y En Guerra
 
Resumen
ResumenResumen
Resumen
 
Leccion 13 Confianza en el don profetico A C V
Leccion 13  Confianza en el don profetico  A C VLeccion 13  Confianza en el don profetico  A C V
Leccion 13 Confianza en el don profetico A C V
 
PráCticas De Windows
PráCticas De WindowsPráCticas De Windows
PráCticas De Windows
 
Plan De Compensacion Different Seed 1231029112617854 2
Plan De Compensacion Different Seed 1231029112617854 2Plan De Compensacion Different Seed 1231029112617854 2
Plan De Compensacion Different Seed 1231029112617854 2
 
Perfiles De Usuario
Perfiles De UsuarioPerfiles De Usuario
Perfiles De Usuario
 
LABORATORIO
LABORATORIOLABORATORIO
LABORATORIO
 
Infarto Coronario
Infarto Coronario Infarto Coronario
Infarto Coronario
 

Similar a Sistemas numéricos 2014 i

Problemario de Álgebra Lineal
Problemario de Álgebra LinealProblemario de Álgebra Lineal
Problemario de Álgebra LinealJuliho Castillo
 
Alg lineal unidad 3
Alg lineal unidad 3Alg lineal unidad 3
Alg lineal unidad 3migwer
 
Unidad II. aleatoriedad
Unidad II. aleatoriedadUnidad II. aleatoriedad
Unidad II. aleatoriedadcabobravo
 
Bitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología IBitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología IMiriJaneth
 
T2 teoria de-la_probabilidad
T2 teoria de-la_probabilidadT2 teoria de-la_probabilidad
T2 teoria de-la_probabilidadalexray100
 
Vectoriales espacios
Vectoriales espaciosVectoriales espacios
Vectoriales espaciosNetali
 
170 limite continuidad.
170 limite continuidad.170 limite continuidad.
170 limite continuidad.Pablo Perez
 
limite continuidad
limite continuidadlimite continuidad
limite continuidadPablo Perez
 
Procesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factorProcesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factorTania Dee Perez
 
Procesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factorProcesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factorTania Dee Perez
 
Revista Dominicana de Matemáticas ccesa007
Revista Dominicana de Matemáticas  ccesa007Revista Dominicana de Matemáticas  ccesa007
Revista Dominicana de Matemáticas ccesa007Demetrio Ccesa Rayme
 
Tema 01 naturales 2014cc
Tema 01 naturales 2014ccTema 01 naturales 2014cc
Tema 01 naturales 2014ccPaco Ramos
 
Ecuaciones diferenciales exactas y por factor integrante
Ecuaciones diferenciales exactas y por factor integranteEcuaciones diferenciales exactas y por factor integrante
Ecuaciones diferenciales exactas y por factor integranteFlightshox
 

Similar a Sistemas numéricos 2014 i (20)

Problemario de Álgebra Lineal
Problemario de Álgebra LinealProblemario de Álgebra Lineal
Problemario de Álgebra Lineal
 
Alg lineal unidad 3
Alg lineal unidad 3Alg lineal unidad 3
Alg lineal unidad 3
 
2. reg.lin.multiple
2. reg.lin.multiple2. reg.lin.multiple
2. reg.lin.multiple
 
Teoría de la Medida
Teoría de la MedidaTeoría de la Medida
Teoría de la Medida
 
Apunte de Calculo I usach
Apunte de Calculo I usach Apunte de Calculo I usach
Apunte de Calculo I usach
 
Tema 8 integrales
Tema 8 integralesTema 8 integrales
Tema 8 integrales
 
Unidad II. aleatoriedad
Unidad II. aleatoriedadUnidad II. aleatoriedad
Unidad II. aleatoriedad
 
Bitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología IBitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología I
 
T2 teoria de-la_probabilidad
T2 teoria de-la_probabilidadT2 teoria de-la_probabilidad
T2 teoria de-la_probabilidad
 
Vectoriales espacios
Vectoriales espaciosVectoriales espacios
Vectoriales espacios
 
170 limite continuidad.
170 limite continuidad.170 limite continuidad.
170 limite continuidad.
 
limite continuidad
limite continuidadlimite continuidad
limite continuidad
 
2021-T1 Axiomas de Peano
2021-T1 Axiomas de Peano2021-T1 Axiomas de Peano
2021-T1 Axiomas de Peano
 
Procesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factorProcesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factor
 
Procesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factorProcesos de integracion inmediata y mediante factor
Procesos de integracion inmediata y mediante factor
 
Liapunov
LiapunovLiapunov
Liapunov
 
Revista Dominicana de Matemáticas ccesa007
Revista Dominicana de Matemáticas  ccesa007Revista Dominicana de Matemáticas  ccesa007
Revista Dominicana de Matemáticas ccesa007
 
Tema 01 naturales 2014cc
Tema 01 naturales 2014ccTema 01 naturales 2014cc
Tema 01 naturales 2014cc
 
Ecuaciones diferenciales exactas y por factor integrante
Ecuaciones diferenciales exactas y por factor integranteEcuaciones diferenciales exactas y por factor integrante
Ecuaciones diferenciales exactas y por factor integrante
 
1 6 Ecuaciones Exactas
1 6 Ecuaciones Exactas1 6 Ecuaciones Exactas
1 6 Ecuaciones Exactas
 

Más de Yerikson Huz

Presentación de normas APA. Dr. Juan Machin Mastromatteo
Presentación de normas APA. Dr. Juan Machin MastromatteoPresentación de normas APA. Dr. Juan Machin Mastromatteo
Presentación de normas APA. Dr. Juan Machin MastromatteoYerikson Huz
 
Nociones de las Ec. dif. Ord
Nociones de las Ec. dif. OrdNociones de las Ec. dif. Ord
Nociones de las Ec. dif. OrdYerikson Huz
 
Paginas desde apuntes de edo (introd)
Paginas desde apuntes de edo (introd)Paginas desde apuntes de edo (introd)
Paginas desde apuntes de edo (introd)Yerikson Huz
 
Apuntes de edo modulo i y ii
Apuntes de edo modulo i y iiApuntes de edo modulo i y ii
Apuntes de edo modulo i y iiYerikson Huz
 
Material de introducción a las edo
Material de introducción a las edo Material de introducción a las edo
Material de introducción a las edo Yerikson Huz
 
Aplicaciones digitales como apoyo para personas con discapacidad
Aplicaciones digitales como apoyo para personas con discapacidadAplicaciones digitales como apoyo para personas con discapacidad
Aplicaciones digitales como apoyo para personas con discapacidadYerikson Huz
 
Recoleccion de informacion en investigación cualitativa
Recoleccion de informacion en investigación cualitativaRecoleccion de informacion en investigación cualitativa
Recoleccion de informacion en investigación cualitativaYerikson Huz
 
Sesión 1 Sierra, M. (2011) investigación en EM
Sesión 1 Sierra, M. (2011) investigación en EMSesión 1 Sierra, M. (2011) investigación en EM
Sesión 1 Sierra, M. (2011) investigación en EMYerikson Huz
 
Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)
Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)
Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)Yerikson Huz
 
Ponencia ed qa2017
Ponencia ed qa2017Ponencia ed qa2017
Ponencia ed qa2017Yerikson Huz
 
Sesión 1 presentación del artículo de gonzález y villegas
Sesión 1 presentación del artículo de gonzález y villegasSesión 1 presentación del artículo de gonzález y villegas
Sesión 1 presentación del artículo de gonzález y villegasYerikson Huz
 
Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...
Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...
Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...Yerikson Huz
 
Sesión 4 castro, j. (2007). la investig en em, una hipotesis de trabajo (e...
Sesión 4   castro, j.  (2007). la investig en em, una hipotesis de trabajo (e...Sesión 4   castro, j.  (2007). la investig en em, una hipotesis de trabajo (e...
Sesión 4 castro, j. (2007). la investig en em, una hipotesis de trabajo (e...Yerikson Huz
 
Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...
Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...
Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...Yerikson Huz
 
Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...
Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...
Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...Yerikson Huz
 
Cronograma de actividades miem_i
Cronograma de actividades miem_iCronograma de actividades miem_i
Cronograma de actividades miem_iYerikson Huz
 
Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015
Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015
Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015Yerikson Huz
 
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)Yerikson Huz
 
Capítulo Introductorio de Ecuaciones Diferenciales
Capítulo Introductorio de Ecuaciones DiferencialesCapítulo Introductorio de Ecuaciones Diferenciales
Capítulo Introductorio de Ecuaciones DiferencialesYerikson Huz
 

Más de Yerikson Huz (20)

Presentación de normas APA. Dr. Juan Machin Mastromatteo
Presentación de normas APA. Dr. Juan Machin MastromatteoPresentación de normas APA. Dr. Juan Machin Mastromatteo
Presentación de normas APA. Dr. Juan Machin Mastromatteo
 
Nociones de las Ec. dif. Ord
Nociones de las Ec. dif. OrdNociones de las Ec. dif. Ord
Nociones de las Ec. dif. Ord
 
Paginas desde apuntes de edo (introd)
Paginas desde apuntes de edo (introd)Paginas desde apuntes de edo (introd)
Paginas desde apuntes de edo (introd)
 
Apuntes de edo modulo i y ii
Apuntes de edo modulo i y iiApuntes de edo modulo i y ii
Apuntes de edo modulo i y ii
 
Material de introducción a las edo
Material de introducción a las edo Material de introducción a las edo
Material de introducción a las edo
 
Aplicaciones digitales como apoyo para personas con discapacidad
Aplicaciones digitales como apoyo para personas con discapacidadAplicaciones digitales como apoyo para personas con discapacidad
Aplicaciones digitales como apoyo para personas con discapacidad
 
Recoleccion de informacion en investigación cualitativa
Recoleccion de informacion en investigación cualitativaRecoleccion de informacion en investigación cualitativa
Recoleccion de informacion en investigación cualitativa
 
Sesión 1 MIEM-I
Sesión 1 MIEM-ISesión 1 MIEM-I
Sesión 1 MIEM-I
 
Sesión 1 Sierra, M. (2011) investigación en EM
Sesión 1 Sierra, M. (2011) investigación en EMSesión 1 Sierra, M. (2011) investigación en EM
Sesión 1 Sierra, M. (2011) investigación en EM
 
Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)
Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)
Taller día 1 Mapa de Enseñanza-Aprendizaje (MEA)
 
Ponencia ed qa2017
Ponencia ed qa2017Ponencia ed qa2017
Ponencia ed qa2017
 
Sesión 1 presentación del artículo de gonzález y villegas
Sesión 1 presentación del artículo de gonzález y villegasSesión 1 presentación del artículo de gonzález y villegas
Sesión 1 presentación del artículo de gonzález y villegas
 
Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...
Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...
Sesión 1 gonzález, f. y villegas, m. (2008). cómo elaborar proyectos de inves...
 
Sesión 4 castro, j. (2007). la investig en em, una hipotesis de trabajo (e...
Sesión 4   castro, j.  (2007). la investig en em, una hipotesis de trabajo (e...Sesión 4   castro, j.  (2007). la investig en em, una hipotesis de trabajo (e...
Sesión 4 castro, j. (2007). la investig en em, una hipotesis de trabajo (e...
 
Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...
Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...
Sesión 3 serres, y. (2004). una vision de la comunidad venezolana en edc mat ...
 
Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...
Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...
Sesión 2 mora, a. (2005). guía para elaborar una propuesta de investigación (...
 
Cronograma de actividades miem_i
Cronograma de actividades miem_iCronograma de actividades miem_i
Cronograma de actividades miem_i
 
Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015
Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015
Programa Introducción a las Ecuaciones diferenciales Ordinarias 2015
 
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
 
Capítulo Introductorio de Ecuaciones Diferenciales
Capítulo Introductorio de Ecuaciones DiferencialesCapítulo Introductorio de Ecuaciones Diferenciales
Capítulo Introductorio de Ecuaciones Diferenciales
 

Último

GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docxAleParedes11
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSjlorentemartos
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.DaluiMonasterio
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...JAVIER SOLIS NOYOLA
 
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdfResolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxPRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxinformacionasapespu
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptELENA GALLARDO PAÚLS
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 

Último (20)

GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdfResolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxPRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 

Sistemas numéricos 2014 i

  • 1. UNIVERSIDAD PEDAGÓGICA EXPERIMENTAL LIBERTADOR INSTITUTO PEDAGÓGICO “RAFAEL ALBERTO ESCOBAR LARA” DEPARTAMENTO DE MATEMÁTICA- ÁREA DE ÁLGEBRA MARACAY-EDO ARAGUA SISTEMAS NUMÉRICOS Prof. Yerikson Suárez H. 10/02/2014 Febrero, 2014 P.A 2014-1 1
  • 2. CONTENIDO PROGRAMÁTICO Unidad I: Sistema de los números naturales 1. Definición axiomáticamente del conjunto de los números naturales. 2. Demostración de los teoremas que se derivan de los axiomas de Peano. 3. Definición de la adición en N. 4. Demostración y aplicación de las propiedades de la adición en N. 5. Definición de la multiplicación en N. 6. Demostración y aplicación de las propiedades de la multiplicación en N. 7. Definición de la relación de orden en N. 8. Demostración de las propiedades que se derivan de la relación de orden en N. 9. Definición de sustracción en N. 10. Demostración y aplicación de las propiedades de la sustracción en N. 11. Principio de Inducción Completa. Demostración de proposiciones a través del método de inducción. 10/02/2014 Sistema Numéricos 2
  • 3. Unidad I: Sistema de los números naturales 1. Definición axiomáticamente del conjunto de los números naturales. A) Términos no definidos (Términos primitivos): A.1) Conjunto N cuyos elementos son llamados números naturales A.2) Objeto matemático llamado “cero” y denotado por el símbolo “0” A.3) Una relación sobre N, llamada “siguiente de” y denotada por “sig” B) Axiomas de Peano: Ax-1: 0  N. Cero es un número natural y en consecuencia N   Ax-2: xN,  yN  y = sig (x). La relación siguiente es una función. Ax-3: xN: sig (x)0. Cero no es el siguiente de ningún natural. La función siguiente NO es sobreyectiva. Ax-4: x,yN: sig (x) = sig (y)  x = y. La función siguiente es Inyectiva. Ax-5: Axioma de Recurrencia o de Inducción completa: Si M  N y se verifica: (i) 0  M (ii) xM  sig (x)M , Entonces M = N 10/02/2014 Sistema Numéricos 3
  • 4. Unidad I: Sistema de los números naturales 2. Demostración de los teoremas que se derivan de los axiomas de Peano. Teorema 1:  x, y  N: x  y  sig (x)  sig (y) Demostración Demostraremos el contra-recíproco, recordando que p  q  q p Pero el contra-recíproco en este caso es x,yN: sig (x) = sig (y)  x = y, el cual coincide con el Ax-4, el cual es cierto. Teorema 2:  x N: sig (x)  x Demostración Recurriremos al Ax-5. Sea M = { x  N  sig (x)  x }. Nótese que M N. (i) Probemos que 0  M. Esto es, demostrar que sig (0)  0. En efecto, por Ax-3 sabemos que sig (x)  0, x  N, por lo tanto en particular si x=0  N, se cumple entonces que sig (0)  0. Ahora probemos que 10/02/2014 Sistema Numéricos 4
  • 5. Unidad I: Sistema de los números naturales 2. Demostración de los teoremas que se derivan de los axiomas de Peano. (ii) x  M  sig (x)  M. Esto es, demostrar que sig(sig (x))  sig (x) sabiendo que sig (x)  x. En efecto xM  sig (x)  x, por hipótesis. Además x, sig (x)  N.  sig(sig (x))  sig (x), T-1:  x, y  N: x  y  sig (x)  sig (y) sig (x)  M. De (i), (ii) y el Ax-5, se concluye que M = N. En consecuencia  x N: sig (x)  x Teorema 3:  y  N- {0},  x  N  y = sig (x). Todo número natural (excepto el cero, es siguiente de uno y sólo un natural) Demostración: Recurriremos al Ax-5 o Axioma de recurrencia. Consideremos el conjunto M = { y  N – {0}   x  N  y = sig (x) }  {0}. Claramente M  N. (i) 0  M. Esto es cierto por la misma definición de M. 10/02/2014 Sistema Numéricos 5
  • 6. Unidad I: Sistema de los números naturales 2. Demostración de los teoremas que se derivan de los axiomas de Peano. Ahora demostremos que (ii) y  M  sig (y)  M. Esto es,  w  N  sig (y) = sig (w). Veamos y  M   x  N  y = sig (x)  y=0, Hipótesis  sig (y) = sig (sig (x)), ya que y  N y por Ax-2 sig (y) existe y es único.  sig(y) = sig (w), tomando w = sig (x). Este w es único por el Ax-4  sig (y)  M De (i), (ii) y el Ax-5, se concluye que M = N. En consecuencia  y  N- {0},  x  N  y = sig (x) Nota 1: Al número natural “x” se le denomina predecesor de y, esto es, pre (y) = x  y= sig (x) 10/02/2014 Sistema Numéricos 6
  • 7. Unidad I: Sistema de los números naturales 3. Definición de Adición en N 4. Demostración y aplicación de las propiedades de la adición en N. Definición 1. Adición en N: Se denomina Adición en N a cualquier operación binaria + : N x N  N tal que (i)  x  N: x + 0 = 0 (El cero es neutro a la derecha) (ii)  x, y  N: sig (x + y) = x + sig (y) Nota 2: Al elemento x + y se le denomina suma de x e y. Teorema 4: La operación Adición en N es ÚNICA. Demostración: Supongamos que existen dos operaciones binarias distintas + y  tales que (i) x  N: x + 0 = 0 (i’)  x  N: x  0 = 0 (ii) x, y  N: sig (x + y) = x + sig (y) (ii’) x, y  N: sig (x  y) = x  sig (y) Consideremos en conjunto M = { y  N   x  N: x + y = x  y }. Obviamente M  N. (I) 0  M. Debemos probar que x + 0 = x  0. En efecto, x + 0 = 0 (parte i de la Hipótesis). Además x  0 = 0 (parte i’ de la hipótesis). Entonces se deduce claramente que : x + y = x  y =0. 10/02/2014 Sistema Numéricos 7
  • 8. Unidad I: Sistema de los números naturales 3. Definición de Adición en N 3. Definición las propiedades 4. Demostración y aplicación de de Adición en N de la adición en N. (II) y  M  sig (y)  M. Debemos probar la igualdad x + sig (y) = x  sig (y). Veamos: x + sig (y) = sig (x + y), Hipótesis, def +, parte ii = sig ( x  y), Hipótesis, def. de M = x  sig (y), Hipótesis, def , parte ii’ Por lo tanto, sig (y)  M. De (I), (II) y el Ax-5 se concluye que M=N y en consecuencia + = , con lo cual la operación de adición es única Definición 2: Se denomina “UNO” y se denota por “1” al siguiente de Cero, esto es, sig (0) = 1 Teorema 5: 5.1)  x  N: 0 + x = x (Cero es neutro por la izquierda) 5.2)  x, y  N: sig (x + y) = sig (x) + y 5.3)  x  N: sig (x) = x + 1 10/02/2014 Sistema Numéricos 8
  • 9. Unidad I: Sistema de los números naturales 3. Definición de Adición en N 3. Definición las propiedades 4. Demostración y aplicación de de Adición en N de la adición en N. Demostración: 5.1)  x  N: 0 + x = x (Cero es neutro por la izquierda) Consideremos el conjunto M = { x  N  0 + x = x }. Obviamente M  N. Veamos ahora que (i) 0  M. Se debe probar que 0 + 0 = 0. En efecto, sabemos que x + 0 = 0 (*) para todo x natural ( def. + parte i), luego si en particular tomamos x = 0  N en (*) obtenemos que 0 + 0 = 0, tal y como queríamos probar. (ii) x  M  sig (x)  M. Demostremos que 0 + sig (x) = sig (x).Veamos 0 + sig (x) = sig (0 + x), def + parte i = sig (x), Hipótesis, def de M. Por lo tanto sig (x)  M. De (i), (ii) y el Axioma de recurrencia se concluye que M = N, y por consiguiente  x  N: 0 + x = x. 10/02/2014 Sistema Numéricos 9
  • 10. Unidad I: Sistema de los números naturales 3. Definición de Adición en N 3. Definición las propiedades 4. Demostración y aplicación de de Adición en N de la adición en N. Demostración: 5.2)  x, y  N: sig (x + y) = sig (x) + y Consideremos el conjunto M = { y  N   x N: sig (x + y) = sig (x) + y }. Por definición de M, M  N. Ahora probemos que (i) 0  M. Se debe probar que sig (x + 0) = sig (x) + 0. Analicemos cada miembro de la igualdad por separado: M.I sig (x + 0) = sig (x),  x  N: x + 0 = 0 Def + parte i. (1) M.D sig (x) + 0 = sig (x) ,  x  N: x + 0 = 0 Def + parte i (2) De (1) y (2) se concluye que sig (x + 0) = sig (x) + 0 = sig (x) (ii) x  M  sig (x)  M. Demostremos que sig (x + sig (y)) = sig (x) + sig (y) sig (x + sig (y)) = sig (sig (x + y)), = sig (sig (x) + y), = sig (x) + sig (y), Por lo tanto sig (x)  M. 10/02/2014 sig (x + y) = x + sig (y) Def +,parte ii Hipótesis, Def. M sig (x + y) = x + sig (y) Def +,parte ii Sistema Numéricos 10
  • 11. Unidad I: Sistema de los números naturales 3. Definición de Adición en N 3. Definición las propiedades 4. Demostración y aplicación de de Adición en N de la adición en N. De (i), (ii) y el Axioma 5 se obtiene que M = N, y por consiguiente  x, y  N: sig (x + y) = sig (x) + y Demostración 5.3)  x  N: sig (x) = x + 1 sig (x) = sig (x + 0),  x  N: x + 0 = 0 Def + parte i = x + sig (0),  x, y  N: sig (x + y) = x + sig (y) , Def +,parte ii = x + 1, sig(0) = 1 por def. 2 Nota 3: 3.1) Del T-5.1 se concluye que  x  N: x + 0 = 0 + x = x 3.2) Del T-5.2 se deduce que  x, y  N: sig (x + y) = x + sig (y) = sig (x) + y 3.3) Del T-5.3 tenemos sig (0) = 1, sig (1) = sig (1+ 0) = 1 + sig (0) = 1 + 1 = 2 sig (2) = sig (1 + 1) = 1 + sig (1) = 1 + (1 + 1) = 3 … Sig (n) = ( 1 + 1 + 1 + 1 + … + 1 ) + 1 (n- veces ) 10/02/2014 Sistema Numéricos 11