Académique Documents
Professionnel Documents
Culture Documents
com
Carlos M. Abrisqueta Valcrcel, 2001
TEMAS DE MATEMTICAS
(Oposiciones de Secundaria)
TEMA 1
EL NMERO NATURAL. SISTEMAS DE NUMERACIN.
1. Introduccin.
2. Construccin de .
2.1. Definicin Axiomtica.
2.2. Forma Constructiva.
3. Adicin de Nmeros Naturales.
3.1. Definicin.
3.2. Propiedades.
3.2.1. Asociativa.
3.2.2. Existencia de Elemento Neutro.
3.2.3. Conmutativa.
4. Producto de Nmeros Naturales.
4.1. Definicin.
4.2. Propiedades.
4.2.1. Distributiva del Producto respecto de la Adicin.
4.2.2. Existencia de Elemento Absorbente.
4.2.3. Existencia de Elemento Neutro.
4.2.4. Conmutativa.
4.2.5. Asociativa.
4.3. Conclusiones.
5. Orden en .
6. Otras propiedades de .
7. Conjuntos Finitos.
8. Divisin Eucldea.
9. Sistemas de Numeracin.
9.1. Cambio de sistemas de numeracin.
Bibliografa.
1/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
TEMA 1
EL NMERO NATURAL. SISTEMAS DE NUMERACIN.
1. INTRODUCCIN.
Los nmeros naturales aparecen debido a la necesidad que tiene el hombre de
contar. Un nmero cualquiera como el 5 es una abstraccin, es una determinada
propiedad de algunos conjuntos.
Podemos construir los nmeros naturales de dos maneras:
a) Desde el punto de vista axiomtico.
b) De manera constructiva, con ayuda de la Teora de Conjuntos.
2. CONSTRUCCIN DE .
2.1. Definicin Axiomtica.
Construimos con un nmero infinito de elementos, todos ellos distintos, llamados
nmeros naturales.
={0, 1, 2, 3, 4,}
Cada uno de los smbolos anteriores, excepto el que figura en primer lugar, es el
siguiente de aquel que le precede.
Se verifican los siguientes axiomas, llamados postulados de Peano:
Axioma 1: 0
Axioma 2: A cada nmero a se le asigna un siguiente s(a)=a* que tambin es
natural y se verifica:
a; a S(a) / a; a b; b, si a=b S(a)=S(b)
Axioma 3: No existe ningn natural cuyo siguiente sea el 0.
a; a S(a)0
Axioma 4: a, b S(a)=S(b) a=b
Axioma 5 (de induccin matemtica o induccin completa):
K, K / 0K y a, aK S(a)K K=
Tambin es posible establecer el uno 1 como primer nmero natural, siendo la
construccin la misma.
2/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
PROPIEDADES
1) a, b, si ab a*b*
(axioma 4)
2) a aa*
(axioma 5)
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
mn mnn* mn*
m=n m=nn* mn*
n*C C=
c.q.d.
4/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
0Mx ?, f(x,0)=g(x,0)=x
Si yMx , y*Mx ?
f(x,y*)=[f(x,y)]*=[g( x,y)]*=g( x,y*) y*Mx
Luego Mx =, y como esto es x f=g
Por tanto, (x,y) podemos obtener f(x,y). A esta aplicacin se le conoce con el
nombre de adiccin de nmeros naturales. Se simboliza por +.
Definicin axiomtica:
La aplicacin de nmeros naturales es una aplicacin +:x tal que
(x,y) x existe un nico nmero, llamado x+y=+(x,y) tal que:
1) +(x,0)=x+0=x
x,y
2) +(x,y*)=x+y*=(x+y)*
Se Verifica:
1) x, x+1=x*
5/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
2) x+y=0 x=0y=0
3.2. Propiedades.
3.2.1. Asociativa.
a,b,c, se tiene :(a+b)+c=a+(b+c)
Para la demostracin definiremos un conjunto M formado por todos los numeros
naturales que verifican la propiedad. Comprobaremos que M=
Sea M={x / (a+b)+x=a+(b+x) a,b}
0M, ya que (a+b)+0=a+b=a+(b+0)
Supongamos que xM (a+b)+x*=((a+b)+x)*=(a+(b+x))*=a+(b+x*)
Luego x*M M=
3.2.2. Existencia de Elemento Neutro.
0 / x x+0=0+x=x
Sea el conjunto M={x / x+0=0+x}
0M, trivialmente.
si xM Comprobemos que x*M
x*+0=x*=(x+0)*=(0+x)*=0+x* x*M y por tanto M=
3.2.3. Conmutativa.
a,b se verifica: a+b=b+a
Sea el conjunto A={x / x, x+1=1+x}
0A, trivialmente.
si zA z*+1=(z+1)+1=(1+z)+1=1+(z+1)=1+z* A=
Sea el conjunto B=={x / x, x+a=a+x}
0B, ya que 0 es el elemento neutro.
Comprobemos que z* B
a+z*=a+(z+1)=(a+z)+1=(a+z)*=(z+a)*=(z+a)+1=z+(a+1)=z+(1+a)=
=(z+1)+a=z*+a
B=
Con estas tres propiedades tenemos que (,+) es semigrupo aditivo de los nmeros
naturales.
Para ser un grupo le falta tener la propiedad de Elemento Opuesto.
6/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
7/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
(a+b)c=ac+bc
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
9/18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
a) Si a+b=a+c b=c a
b) Si ab=ac b=c a-{0}
3) Ley de Monotona
a) Si a=b a+c=b+c c
b) Si a=b ac=bc c
5. ORDEN EN .
DEF Dados los nmeros naturales a y b, se dice que a es menor que b y se escribe
a<b, si y slo si existe un nmero natural c (con c0), tal que a+c=b
a<b c-{0} / a+c=b
La relacin as definida es una relacin de orden estricto (verifica las propiedades
antirreflexiva, antisimtrica y transitiva).
Es Antirreflexiva porque dado a, c-{0} / a+c=a
Es Antisimtrica: a<b y b<a son mutuamente excluyentes.
Es transitiva: Si a<b y b<c d,e / a+d=b y b+e=c (a+d)+e=c a+(d+e)=c
y como (d+e) a<c
PROPIEDADES
1) n, n0 0<n
2) m,n, se cumple slo una de las siguientes relaciones: m=n, m<n, n<m
es un conjunto estrictamente ordenado por la relacin <
DEF Dados a,b, se dice que a es menor o igual que b, ab, sii a<b a=b
ab a<b o a=b
Teniendo en cuenta esta definicin y la anterior, podramos decir que:
ab c / a+c=b
Ntese que ahora c puede tomar el valor 0.
es una relacin de orden total en (verifica las propiedades reflexiva,
antisimtrica y transitiva) y todos los nmeros en el conjunto son comparables.
PROP es una relacin de orden total en . Todos los nmeros en el conjunto son
comparables.
dem.
10/ 18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
c+d=0
lo que signifi-
3) Transitiva:
Como ab d / a+d=b
Como bc e / b+e=c
De ambas expresiones obtenemos
Y como d+e ac
a+(d+e)=c
6. OTRAS PROPIEDADES DE .
PROP El conjunto con la relacion est bien ordenado. Es decir, todo subconjunto C
de tiene elemento mnimo (Se entiende por elemento mnimo mC / mc cC).
dem.
Tenemos C con C.
Podemos encontrarnos dos situaciones:
1) 0C. En este caso 0=minC
2) 0C
Sea el conjunto A={x / x<c cC}
Veamos que AC=
xA y cC d>0 / x+d=c xc cC xC AC=
Luego A
0A, por tanto A es no recurrente
Debe existir a0 A / ao * A
Como a0 <c cC (por definicin de A) sera a0 *c cC
Y como no puede suceder que a0 *<c cC (si sucede tendramos que
a0 *A) c0 C / c0 =a0 *=minC
11/ 18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
12/ 18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
8. DIVISIN EUCLDEA.
PROP Dados D,d con d0, existen c,r nicos verificando D=dc+r con r<d.
dem.
Si D=0 la demostracin es inmediata.
Supongamos que D0
Existencia
El conjunto A={x / dxD} es no vaco y est, trivialmente, acotado
superiormente. Por tanto c=max A.
Para ese valor c se verifica:
DcD y D<d(c+1), luego r / D=dc+r siendo r<d
Unicidad
Supongamos que D=dc+r=dc+r y rr
Entonces h / r+h=r
Sustituyendo dc+r=dc+r+h dc dc m / c+m=c
Sustituyendo dm=h m=h=0 ya que si no se tendra r+dm=r>d, en
contradiccin con la hiptesis.
9. SISTEMAS DE NUMERACIN.
Tenemos la necesidad de buscar un conjunto de palabras, smbolos y reglas que nos
permitan la utilizacin de los nmeros naturales con precisin y comodidad, ya que este
conjunto es infinito.
Llamamos Sistemas de Numeracin al conjunto de reglas y convenios que
utilizamos para nombrar y escribir los nmeros, empleando la menor cantidad posible
de palabras y smbolos.
Los smbolos se llaman cifras o dgitos del sistema, y el cardinal del conjunto de
smbolos utilizados recibe el nombre de base del sistema.
El sistema de numeracin ms usado es el decimal, que se caracteriza por:
a) Utilizar diez cifras: 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9
b) Tener de base el n 10, es decir, 10 unidades de un orden determinado
determinan una unidad de orden inmediato superior.
c) Se basa en el principio del valor relativo. El valor relativo de una cifra viene
dado por el lugar que ocupa la cifra (unidades, decenas, centenas,)
13/ 18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
0n0 <b
Veamos ahora que la expresin obtenida para n es nica. Vamos a suponer que
existe otra: n=n0 +n1 b+n2 b2 +n3 b3 ++nrbr donde no tiene por qu r=p
Escribiendo
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
escribiendolo
de
forma
polinmica
tenemos
n0 +n1 b<b2
igualmente contrario a la
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
en base b.
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
Tambin podemos calcular el valor del polinomio con slo obtener el resto de la
divisin del polinomio por la base, utilizando para ello la regla de Ruffini.
b) Dado un nmero en base 10, hallar su expresin en una base cualquiera b.
Dado el nmero n en base 10, consiste en calcular los coeficientes del polinomio
n=n0 +n1 b+n2 b2 +n3 b3 ++np bp
Basta dividir el nmero sucesivamente hasta conseguir un cociente que sea menor
que b. El nmero en base b estar formado por el ltimo cociente y la sucesin de restos
obtenida en orden inverso.
c) Dado un nmero n en base b, hallar su expresin en otra base b.
Este cambio se realiza pasando el nmero n en base b a base decimal y luego de
base decimal a base b.
9.2. Operaciones bsicas entre nmeros en una base cualquiera.
a) Suma.
En un sistema de base b, para sumar dos nmeros se procede de forma anloga a
como se hace en el sistema decimal.
En cualquier base se usan las mismas reglas ya establecidas para el sistema
decimal.
b) Producto.
Las reglas de la multiplicacin en una base cualquiera son anlogas a las del
sistema decimal. Es necesario saber las tablas de multiplicar para los nmeros menores
que la base.
9.3. Sistemas de Numeracin ms utilizados.
El sistema binario (base 2) es el ms utilizado como lenguaje interno de los
ordenadores (cdigo mquina). Los smbolos que utiliza son 0 y 1.
Debido a la cantidad de dgitos que se requieren para representar en binario la
informacin en un ordenador, se recurre a usar los sistemas octal y hexadecimal.
El sistema octal es el sistema de numeracin en base 8 y utiliza por tanto ocho
smbolos para representar las cantidades. Los smbolos utilizados son 0, 1, 2, 3, 4, 5, 6 y
7. Cada cifra octal corresponde a tres dgitos binarios.
El sistema hexadecimal es el sistema de numeracin en base 16 y utiliza dieciseis
smbolos para representar las cantidades. Los smbolos utilizados son 0, 1, 2, 3, 4, 5, 6,
7, 8, 9, A, B, C, D, E y F. Cada cifra hexadecimal corresponde a 4 dgitos binarios.
17/ 18
www.eltemario.com
Carlos M. Abrisqueta Valcrcel, 2001
Bibliografa.
Matemticas Bsicas, curso de acceso. UNED
Estructura y tecnologa de Computadores I. UNED.
Anlisis Matemtico I. Aut: J. A. Fernndez Via
Anlisis Matemtico. Aut. Julio Rey Pastor, Pedro Pi, Cesar Trejo. Ed. Kapelusz
Anlisis Matemtico I. Aut. Jess Fernndez Novoa. Ed. UNED
18/ 18