COORDINABILIDAD. INDUCCION COMPLETA.

COMBINATORIA
1) INTRODUCCION
En esta seccin se propone al lector el estudio de a relacin de coordinabilidad o equipolencia entre conjuntos, sobre
la base de un tratamiento funcional, y se introduce como derivacin natural el concepto de n m e r o
cardinal de un conjunto. Por esta va se define el nmero natural, pero el estudio de las operaciones y
propiedades se desarrollar sobre la base del sistema automtico de Peano, en el captulo siguiente. En conexin con N,
se da el principio de induccin completa con vistas a la de mostracin de propiedades en las que todo estudiante de
un curso bsico cebe ejercitarse. Asimismo, se trata un tema de vastas aplicaciones en matemtica dementa! y en
Probabilidades; tal es el caso de la combinatoria simple y con repeticin,
lo que se reduce, en ltima instancia, a la no fcil tarea de saber contar los Cementos de un conjunto.
Conjuntos coordnales o equipolentes

Definicin.- Se dice que dos conjuntos son coordinables cuando estn formados por el mismo nmero de elementos y puede establecerse una

correspondencia especial entre ambos.

Ej. supn que en una fiesta de cumpleaos existen la misma cantidad de copas de vino como de invitados.

Podemos establecer una correspondencia entre el conjunto conformado por las copas de vino y el conjunto conformado por los invitados.
En este caso estamos estableciendo una correspondencia entre los elementos del conjunto invitados y los elementos del
conjunto copas.
entonces, para saber a ciencia cierta cundo dos conjuntos son coordinables, determinar que tipo de correspondencia es
para establecer
entre ellos, pues no toda correspondencia nos asegura la coordinabilidad.
Reflexividad: todo conjunto es coordinable a si mismo .Tal que sea
A>A, es biyectiva por lo que resulta A A
Simetra: Si (x,y)2RS, entonces x,y estn en el mismo subconjunto Z2S, y por supuesto lo mismo es cierto para y,x luego
(y,x)2R.
EJEMPLO:
tengo dos conjuntos
a={1,3,5,7,9,11,13,15}, b={a,b,c,d,e,f,g,h}
Definicin :
Nmero cardinal del subconjunto A C U, es la totalidad de los subconjuntos de U que son coordinarles a A.
En smbolos
c(A)={XeP(U)/X-A}
Se tiene
c ( A ) = c ( B ) A ~ B
En particular c ( ) = 0. es decir, denotamos con 0 el n m e r o cardinal del conjunto vaco.
Si a U , entonces c{{ a}) = 1.
Si a y b U, entonces c ({a . b}) = 2.
Es decir, los nmeros cardinales de las partes finitas y no vacas de U son nmeros naturales.
Con N0 denotamos el conjunto N u(o} .
Se trata de probar que N y Z son conjuntos coordinables.
De acuerdo con la definicin, es suficiente proponer una funcin biyectiva de N en Z, o lo que es lo mismo, de Z en N, por la
simetra de la relacin. Para ello definimos
f: Z ->N mediante
2 > 0
f (x)=
2 + 1 0
i)DEFINICIN
Intervalo natural ln es el conjunto de los n primeros nmeros naturales
In ={1,2,n}
ii) DEFINICIN
Un conjunto es infinito si y solo si no es finito.
Los nmeros cardinales asociadas a los conjuntos son el finitos son el 0 o los nmeros naturales .
CONJUNTO NUMERABLE Y SUCESION
PROPIEDAD. Un conjunto es numerable si y slo si sus
elementos constituyen la imagen de su sucesin.
Si A es numerable coordinable a N, y esto significa que existe una funcin biyectiva de N en A, es decir ,
una sucesin de elemento de A cuyo conjunto imagen es exactamente A.
A={ a1, a2, ..an,.}
La unin de dos cunjuntos disjuntos, uno finito y el otro numerable.
Sean A finito y B numerable, tales que AB=

Si A es vaco, AB=B, y por lo tanto la unin es numerable.

Consideramos el caso en que A es finito y no vaco. Entonces
es coordinable a un intervalo natural ln, y puede denotarse.
A ={ a1, a2, an, .}
B={b1,b2,..bn,}
Si tiene
AB={a1, a2,,an, b1,b2, bn,}
4)INDUCCION COMPLETA
CONCEPTO :Hace posible la demostracin de estas cuando son relativas al conjunto de los nmeros naturales.
ej: si un conjunto de todos los alumnos de una escuela, se sabe adems que si un alumno habla entonces habla el siguiente;Interesa
determinar cual es la condicin para asegurar que , en un momento dado, estn hablando todos los alumnos .En este caso se trata de
investigar la propiedad que podemos enunciar as Todos los alumnos estn hablando``

i)El primer alumno habla P(1)es V

ii)Si un alumno habla ,entonces habla el siguiente Si P (h)es V, entonces P(h+1)es V
Llegaremos a la demostracin de este principio, llamado induccin completa
TEOREMA DE INDUCCION COMPLETA

Si S es un sub conjunto de N que satisface

i)1 S
ii)h Sh+1N Entonces S=N

PRINCIPIOS DE INDUCCION COMPLETA

Sea P(n) una funcin proposicional donde n N. Si ocurre que P(1)es verdadera y, adems de la verdad de P(h) se deduce la verdad de P(h+1)
entonces P(n) es verdadera para todo n
Demostracin)El subconjunto S de nmeros naturales para los cuales P (n) es verdadera , contiene al 1,y al siguiente
de h siempre que contenga a h. Luego, por el teorema 6.4.2., S=N .Es decir, P(n) es V para todo n N
Ej. Demostramos por induccin completa:
(+1)
a) La suma de los n primeros nmeros naturales es 2

Es decir nN se verifica
( + 1)
= 1 + 2 + + =
2
ii) Demostramos la verdad de la implicacin de la hiptesis del principio de induccin completa, es decir, el siguiente teorema
(+1)
Hiptesis) = 1 + 2 + + = 2
(+1)(+2)
Tesis) = 1 + 2 + + ( +1)= 2

Demostracin) Teniendo en cuenta la hiptesis inductiva, el primer miembro de las tesis se transforma en:
+1
+1 = 1 + 2 + + + + 1 = + + 1 = + ( + 1)
2
Reduciendo a comn denominador, y por distributividad

+ 1 + 2( + 1) ( + 1)( + 2)
+1 = =
2 2
Resulta entonces la frmula anterior, vlida para todo nmero natural n.

De acuerdo con ella, la suma de los 10 primeros nmeros naturales es

10 11
10 = = 55
2
Probaremos ahora si

1 1 1 1
= + + + + =
12 23 34 ( + 1) + 1
1 1 1
n=1 S1 = = =
12 2 1+1
P(h) es V P(h+1)es V
Concepto. El sumatorio o la operacin de la suma , es un operador matemtico que permite representar sumas de
muchos sumandos , n o incluso infinitos sumandos.
En este sentido es til la introduccin del smbolo de sumatoria:
Si a es un nmero real que depende del ndice i, para indicar la suma
aI + a2 + a3 + a4 +a escribimos 5=1 .

Si el ndice es variable desde 1 a n, la notacin =1 significa la suma abreviada de

los n trminos a1 + a2 + an , y se lee: "sumatoria de a con i variando desde 1 a n".
El desarrollo de una sumatoria se obtiene asignando a i, cada uno de los sucesivos valores de su rango de variacin, y
sumando los trminos as obtenidos. Por ejemplo
=1 12 = l 2 + 2 2 + 3 2 + 4 2
Ejemplos.
4 (1) (1)1 (1)2 (1)3 (1)4 1 1 1
a) =1 = + + + =1+ +
1 2 3 4 2 3 4
2
b) =1 =
+1
3
c) =1 1 =
Aqu se tiene ai = a i

= = + + + =
 =1 = =1 + =1

i)=1 = ( + ) + + ++ +
= ( + + + )+( + + + )
= =1 + =1

ii)=( ) = =( ) donde a es constante

por definicin de sumatoria y distributividad resulta

=( )= 1 + 2 ++ =
= (1 +2 ++ )= =
Promedio.-
Dados n nmeros reales x1,x2,.,xn se define el promedio X (x raya) mediante

x1,x2,.,xn =
x= =

Ej.
Demostrar por induccin completa
2 (+1)2
=1 3 =
4
1 3 3 14 12 (1+1)2
i)
n=1 => =1 =1 =1= =
4 4
y la formula es valida para n=1
ii) Hipotecis
2 (+1)2
1=1 3 =
4
2 2
+1 3 (+1) (+1)
Tesis =1 =
4
Ej.
Demostrar que la suma de los n primeros nmeros naturales impares, es n .
2

La expresin de un nmero natural impar es del tipo (2 i 1) con e N.

Entonces
Sn = =1 2! 1 = l +3 +5 + . . . + ( 2 n - 1 )
siendo (2 n 1) el n-simo nmero impar.
i) n=1 => s ==1 2! 1 =1=12
Ej.
Demostrar

s =1=1 2! =2+1 -2
 LA FUNCION FACTORIAL
Definicin.-
El smbolo caracterstico de la funcin factorial es !, en lugar de /, y se escribe 6 !
para indicar/i6) De este modo. Lo anterior se traduce en
0! = 1
1! = 1
+ 1 ! = + 1 . !
La expresin h! se lee "factorial de h o h factorial".
La funcin factorial, es no inyectiva, pues 0 = h y 0! = 1!
Propiedad
El factorial del nmero natural n> 2 es igual al producto de los n primeros nmeros naturales
n!=1.2.3..n = n .(n-1). (n-2) . 3.2.1
Le damos por introduccin completa
i)Si n = 2, entonces por definicin se tiene
2! = 2.1! =2.1
ii)hiptesis) h! = 1.2.3 (h-1).h
tesis) (h+1)!= 1.2.3h.(h+1)
Demostracin
Aplicando al primer miembro de la tesis la definicin de factorial, y la hiptesis inductiva, se tiene
(h+1)! = (h+1).h! = (h+1).h.(h-1)..3.2.1
Con lo que el teorema queda demostrado.
Nota:
Es claro que la funcin factorial no es sobreyectiva, pues existen naturales que no se identifican con el factorial
de ninguno; tal es el caso de 7, que carees de preimagen en
N 0.
Por otra parte, para el clculo, es muy til tener en cuenta, de acuerdo con la definicin, que el factorial de un
nmero es igual al producto de dicho nmero por el factorial del anterior.
As, 7! = 7 .6! = 7 .6 . 5!
Ejemplo
Verificar la igualdad
1 1
=
+ 1 ! ! +1 !
En efecto
1 +1 1
= - =
! +1 ! +1 ! +1 !

+1 1 +11
= - = =
+1 ! +1 ! +1 ! +1 !