You are on page 1of 53

Apuntes de Matemtica Discreta

PROGRAMA DE MATEMATICA DISCRETA


Curso 1996-97
1.- Conjuntos y aplicaciones.
Nocin intuitiva de conjunto, subconjunto y complementario, unin e interseccin de conjuntos, producto cartesiano. Definicin de aplicacin, tipos de aplicaciones, composicin de aplicaciones, inversa de una aplicacin.

2.- Relaciones y grafos.


Relaciones binarias, relaciones de equivalencia, conjunto cociente. Relaciones de orden, conjuntos ordenados, elementos especiales de un conjunto ordenado. Diagrama de Hasse. Conceptos bsicos y terminologa de grafos. Conexin de grafos. Grafos eulerianos y hamiltonianos. Grafos planos. rboles. Grafos dirigidos. Coloreado de grafos.

3.- Teora elemental de nmeros.


Divisibilidad en Z. Algoritmo de Euclides, bsico y extendido. Nmeros primos. Teorema fundamental de la aritmtica. Principio de induccin. Ecuaciones Diofnticas. Congruencias : teorema chino de los restos, criterios de divisibilidad, sistemas de numeracin.


42- 3,947 ,

70.:7703. ,

Principio de inclusin exclusin. Permutaciones con y sin repeticin. Combinaciones con y sin repeticin. Frmulas combinatorias, teorema binomial. Sucesiones definidas por recurrencia. Resolucin de relaciones recurrenter por iteracin. Relaciones de recurrencia de orden superior con coeficientes constantes. Funciones definidas recurrentemente.


E .: 4 /0 574548 . 4308
Sintaxis. Deduccin natural. Tablas semnticas. Resolucin.

 - 4 7,1J,
Epp, S. S. Discrete Mathematics with Aplications. Ed. Wadsworth Publishing Company (1990). Biggs, N. L. Matemtica Discreta. Ed. Vicens Vives (1994). Bujalance, E. Elementos de Matemticas Discretas. Ed. Sanz y Torres (1993). (UNED) Bujalance, E. Problemas de Matemticas Discretas. Ed. Sanz y Torres (1993). (UNED) Liu, C. L. Elementos de Matemticas Discretas. Ed. McGraw-Hill (1995).

Grimaldi, R. P. Matemtica Discreta y Combinatoria. Ed. Addisson-Wesley Iberoamericana (1989).

Pg.-2 de 53

  &% $ !  $


43 :394

%02,

Definicin : Es una coleccin de objetos bien definidos y diferenciables entre si que se llaman elementos.

Representacin
Suelen emplearse letras mayusculas para los conjuntos y minusculas para los elementos.

Pertenencia de un elemento x a un conjunto A se denota : x A


El contenido de un conjunto se representa :

por extensin : encerrando todos sus elementos entre llaves. Ej : A={1,2,3,4...} por comprensin : mostrando entre llaves sus propiedades caractersticas. Ej : A={ xN | 1 x 4 } mediante Diagramas de Venn : Los diagramas de Venn son regiones del plano que simbolizan conjuntos. No tienen valor demostrativo salvo para refutar con un contraejemplo.

Tamao o Cardinalidad
El tamao de un conjunto A es su n de elementos y se denota entre barras : |A|
Si un conjunto tiene elementos se dice que es :

infinito numerable si aplicacin biyectiva entre el conjunto y N. infinito no numerable en caso contrario. Ej : R ( porque decimales)

$:-.43 :394
Definicin
Un conjunto A es subconjunto de otro conjunto B, si todo elemento de A es tambin un elemento de B. Si adems existe algun elemento de B no pertenencientes a A, se dice que A es subconjunto propio de B.
Ojo ! : AB no excluye la posibilidad de que AB, esta, es una informacin que ignoramos.

Pg.-3 de 53

Representacin
A subconjunto de B : AB, o BA A subconj. propio de B : AB, o BA (notese como desaparece la lnea de igual al excluirse tal posibilidad)

Propiedades de la relacin
reflexiva (cumple la relacion consigo mismo) : AA antisimetrica (no simetrica) : si AB y BA A=B transitiva (B hace de intermediario) : si AB y BC AC

Se considera que todo conjunto no vaco tiene como subconjunto al nulo y a si mismo. Las expresiones xA y {x}A son equivalentes, ambas expresiones significan que el conjunto que tiene a x como nico elemento es subconjunto de A.

 :348 .43 :3948


Nulo o {} : Es aquel que carece de elementos. Ojo ! : ||=0 pero {} porque este conjunto ( {} ), tiene un elemento: el nulo.

Universal U : Es la coleccin de todos los elementos implicados en el problema a considerar. Iguales A=B : Aquellos conjuntos que contienen los mismos elementos sin importar orden o repeticin. Diferencia AB : Es el conjunto de los elementos de A que no pertenecen a B : AB={x| xA, xB} )
Diferencia simtrica AB : (AB)(AB)= (A B )( A B), es decir, = { xA o xB | xA B } Potencia P(A) Es el conjunto cuyos elementos son todos los subconjuntos posibles de A.

Para todo elemento hay 2 opciones: excluirlo o incluirlo, por lo tanto hay 2*2*2..(n veces) selecciones
posibles. Por tanto, :
n dado A de n elementos, |P(A)| = 2 n = K=0

(n K ) = Cn,k (Incluyendo A y ) Ej: Si A={a,b,c} P(A)={ , {a}, {b}, {c}, {a,b}, {b,c}, {c,a}, A }
&3 O3 390780.. O3 .425 02039,. O3

Conj. Unin AB : Es el formado por los elementos que pertenecen al menos a alguno de los dos. A B ={x U xA xB} Conj. Interseccin AB : Es el formado por los elementos que pertenecen a la vez a ambos conjuntos.
A B ={ x U xA y xB}, Si su interseccion es nula, se dice que A y B son disjuntos.

Pg.-4 de 53

Complementario A o A : (De un conjunto A), es aquel cuyos elementos no son A : A ={ x | xU, xA}

Propiedades de la interseccin, complementacin y unin


1 A = A

A =
2 AA = AA = A 3 AB = BA , AB = BA 4 (AB)C = A(BC) (AB)C = A(BC) 5 A(BC) = (AB)(AC) A(BC) = (AB)(AC) 6 AU = U 7 A A = U , A A = 8 Idempotencia Conmutatividad Asociatividad Distributividad

( A B) = A B, ( A B) = A B

Leyes de Morgan

9 A(AB) = A(AB) = A

y otra de regalo : AB = A B , Demostracin : x(AB) xA y xB xA y x B xA B


Demostracin 8 : ( A B) A B (Ley de Morgan) : x ( A B) x AB xA y xB x A y x B x A B : x A B x A y x B xA y xBx ABx ( A B)

La interseccin, complementacin y unin de conjuntos, se conocen como Operaciones Boleanas en honor


a George Boole, que se marco este rollo aun sin tener idea de su utilidad.

Producto cartesiano (AB) Definicin Dados A,B U , Se define Producto Cartesiano de A por B (AB) como el conjunto los elementos
formados por todos los posibles pares del tipo (a,b) aA, bB.

Ojo ! : (a,b) es un par ordenado, por lo tanto (a,b)(b,a) salvo que a=b, y no es lo mismo (a,b) que {a,b} Propiedades
|AB|=|A||B| (Regla del producto) ? ? Si tenemos A,B,C,D , entonces AB=CD A=C,B=D (A A )B(AB)(A B)
es decir: (a a , b ) ( (a,b) , ( a ,b) )

Pg.-5 de 53

(AB)(A B)=(AB)(A B)

Las coordenadas de los pares de AB definen un paralelogramo de lados paralelos a los ejes. Dados A,B U, cualquier subconjunto de AB se denomina relacin de A a B. Si B=A, la relacin se denomina relacin binaria en A (AA).
Ej : Para A={1,2,3}, B={2,5}. Son relaciones de A a B : , {(3,2)}, {(2,2),(1,2)}, A B,...

El conjunto de todas las posibles relaciones posibles, es P(A B), y siendo |A|=m, |B|=n, como ya vimos antes, tenemos que |P(A B)|=2mn

Aplicaciones (o Funciones -significa lo mismo- )


Definicin Se define Aplicacin de A a B (f: AB), como la relacin que asigna a todo elemento de A un nico
elemento de B.

Es decir, para xA, sin excepcin, un y solo un yB y=f(x). Por ello, |A||B| Observese que cuando A y B son conj. finitos, el nmero de posibles funciones es B producto) .
En una f : AB, A y B se llaman dominio y codominio de f.
A

(Regla del

Conceptos
Dados f:AB, g:CD, se dice que f(a) y g(c) son Iguales (f=g), si y solo si : A=C y B=D.

Ojo ! : Aun cuando 2 funciones tengan un dominio comn A, y se cumpla f(a)=g(a), es posible que fg.
Ej : Sea f : Z Z, g : Z Q , donde f(x)=x=g(x) para x Z .

Pero debido al codominio : f g!, porque f es inyectiva y suprayectiva, y g solo inyectiva.


Conj. Imagen (Im f), se define como : Im f = {bB aA, b=f(a)} ; b se denomina imagen de a. F. Identidad (de un conj. en si mismo) : Se define como f:AA f(x)=x para xA. F. Inclusin : Se define como in: A1 A in(x)=x para x A ? F. Restriccin

Sea f:AB y A1A, se denomina Restriccin de la funcin f al conjunto A1 a la funcin g: A1 B


Ademas, f se denomina Ampliacin de la aplicacin g.

Tipos de aplicaciones
Inyectiva Aquella en la que no existen dos elementos de A con la misma imagen. Por lo tanto siendo A,B finitos deben cumplir |A||B|. Ejemplo: la inclusin Sobreyectiva (o suprayectiva)

Pg.-6 de 53

Aquella en la que todo elemento de B es imagen de un elemento de A ( B siempre esta cubierto, es decir : bB al menos un aA f(a)=b) Por lo tanto siendo A,B finitos deben cumplir |A||B| Biyectiva Aquella que es a la vez inyectiva y Sobreyectiva. Por lo tanto siendo A,B finitos deben cumplir |A|=|B| Propiedad:

Sea f:AB A,B finitos, si |A|=|B| y f es inyectiva tambin ser sobreyectiva y tambin biyectiva.
Proyeccin sobre la 1 y 2 coordenada Sean los conjuntos A,B, y DAB : Se denomina proyeccin sobre la 1 coordenada a la aplicacin A :DA definida por A (a,b)=a. a Se denomina proyeccin sobre la 2 coordenada a la aplicacin B :DB definida por B (a,b)=b. De forma general : :DAi1 Ai2 ... Aim definida por (a1, a2, ..., an)=( ai1, ai2, ..., aim) es una proyeccin de D sobre las i1-sima, i2-sima, ..., in-sima coordenadas.
a
a a

(ver ejemplo en Grimaldi 82 3.12)


42548 . O3 /0 ,5 .,. 4308

F. compuesta (fg) : Siendo f:AC, g:BC, f compuesta con g es (g f)(a)= g(f(a)) para a A
La composicin : -es asociativa [h(gf)](a) = [(hg)f](a) no es conmutativa gf f g

Propiedades
Dems : Grimaldi 85 3.4. a) 1) f,g inyectivas gf inyectiva Dems : Grimaldi 85 3.4. b) 2) f,g Sobreyectivas gf Sobreyectiva Se desprende de las anteriores. f,g biyectiva gf biyectiva gf inyectivaf inyectiva gf Sobreyectivag Sobreyectiva La composicin de funciones es asociativa : ((hg)f)(x)=(h(gf))(x)

3) 4) 5) 6)

Demostraciones :

1)

Sea a1, a2 A (gf)(a1)= (gf)(a2),

Entonces, (gf)(a1)= (gf)(a2) g(f(a1))=g(f(a2)), pues g es inyectiva. Adems f(a1)=f(a2) a1=a2 porque f es inyectiva. Por tanto, gf es inyectiva.

2)

Para gf :A C, sea zC.


Para g suprayectiva yB, con g(y)=z. Para f suprayectiva xA, con f(x)=y. Por tanto, z=g(y)=g(f(x))=(gf)(x). Al ser vlido para cualquier zC, queda demostrado

Pg.-7 de 53

que gf es suprayectiva. 6) Para ((hg)f)(x) = (hg)(f(x)) = h(g(f(x))) ((hg)f)(x) = h((gf)(x)) = h(g(f(x)))


5 .,. O3 3;078,

F. Inversa (f -1) : f -1(y)={xA f (x)=y}

Otra definicin de inversa de f:AB es g:BA gf=IdA y adems f g=IdB


Ej: f=x , f -1= 2 x ;
2

f -1(4)={2,-2} ; f -1(2,6,8,4,16,25)={ 2, 4, 5} ; f -1(11,12,13,14)=

Propiedades
Si f tiene inversa esta es nica. Demostracin : Sean g1 , g 2 inversas de f :AB, observando que g1f =IdA , f g1= IdB, g2f =IdA , f g2= IdB,

resulta fcil demostrar que g1=g2 : g1 = IdAg1 = (g2f )g1 = g2(f g1) = g2IdB = g2
f es inversible f es biyectiva (Suponemos que dado f :AB, existe f -1 , lo cual probara que f es biyectiva, es decir sobreyectiva e
inyectiva)

Por definicin de inyectiva : a1,a2A1 f(a1)=f(a2) a1=a2 Comprobamos que es inyectiva aplicando inversas : f -1 (f(a1))= f -1 (f(a2)) ( f -1 f)(a1)=( f -1 f)(a2)a1=a2 Por definicin de sobreyectiva : bB f(a)=b Hemos supuesto que dado un bB, f -1 (b)A f(a)=f( f -1 (b))=b Y puesto que f f -1 =Id(b), es lcito afirmar b=Id(b)=( f f -1 )(b)=f( f -1 (b))=f(a) Por ser sobreyectiva, para cada bB, algn aA b=f(a). Con lo queda definida una funcin g :BA g(b)=a. El nico problema sera que g(b)=a1a2=g(b) debido a que f(a1)=b=f(a2), pero esto no ocurre porque f es inyectiva. Por lo tanto, g= f -1 .

Propiedades
Si A1 , A 2 A, B1 ,B2 B, entonces : 1 A1 A 2 f(A1 ) f(A 2 ) 2 f (A1 A 2 ) = f(A1 )f(A 2 ) 3 f (A1 A 2 ) f(A1 ) f(A 2 ) 4 A1 f -1 ( f(A1 ) ) 5 B1 B2 f -1 (B1 ) f -1 (B2 ) 6 f -1 (B1 B2 ) = f -1 (B1 ) f -1 (B2 ) 7 f -1 (B1 B2 ) = f -1 (B1 ) f -1 (B2 ) 8 f ( f -1 (B1 )) B1

Pg.-8 de 53

Pg.-9 de 53

Relaciones binarias y de equivalencia. Conjunto cociente. Relaciones de orden, conjuntos ordenados, elementos especiales de un conjunto ordenado. Diagrama de Hasse. Conceptos bsicos y terminologia de grafos. Conexin de grafos. Grafos eulerianos y hamiltonianos. Grafos planos. Arboles. Grafos dirigidos. Coloreado de grafos Relacin R: (x,y)R Es cualquier subconjunto de AB que cumpla la propiedad en concreto. Es decir, siendo xA,yA y grafo(grfica) R R AA, decimos que xRy si El n de relaciones subconjuntos de AB ser 2
A B

#0 ,. 4308 7 7, ,148

%02,

Relacin n-aria: Cualquier subconjunto del producto cartesiano de A1 A2...An (Una relacin binaria sera una relacin de A1A2) Propiedades que puede cumplir una relacin: 1) 2) 3) 4) Reflexiva, si aA aRa Simtrica si a,b / aRb bRa Transitiva, si a,b,c / (aRb y bRc) aRc Antisimetrica, si a,b / (aRb y bRa) a=b

Todo elemento cumple las tres primeras consigo mismo. Cuidado con la 4: no simetricaantisimetrica Matriz de una relacin AB: - filas = elementos de A, columnas = elementos de B 1 si (ai,bj) R , 0 si (ai,bj) R Relacin equivalente ~: Es la relacin binaria que verifica las propiedades reflexiva, simtrica y transitiva.
Clase de equivalencia [x]: Dada una relacin de equivalencia en un conjunto A, se define clase de equivalencia de un aA, como el conjunto de elementos de A equivalentes al elemento dado. Se denota como [a]={aA / a~a} El representante de la clase de equivalencia puede ser cualquier elemento del conjunto. Asi, se cumple: a~a [a]=[a] (prop. transitiva) - y por tanto, x noa [x][a] =

Por transitividad de es imposible que [x][a] [x][a] porque las clases de equivalencia son identicas o disjuntas La clase de equivalencia de cualquier elemento x cumple [x] porque x[x] Las clases de equivalencia forman una familia de subconjuntos y disjuntos entre si, (porque por transitiva si
tuvieran un elemento en comn seran iguales), cuya unin es A. Congruencia modulo n (es un ejemplo de relacin de equivalencia en Z) Dado un natural p>1 se dice que a es congruente con b mdulo p y se escribe ab (mod p)

Pg.-10 de 53

si a=b+p, Z ; es decir: a~b ab es mltiplo de p Esta relacin es una equivalencia, ya que: es reflexiva, todo elemento es congruente con si mismo mdulo p porque a-a=0 que es multiplo de p para =0 es simtrica, ya que si ab es mltiplo de p, entonces ba= tambin es mltiplo de p. (porque b-a=-(a-b) y puede ser + o - porque pertenece a Z) es transitiva, porque si ab, bc, son mltiplos de p, entonces ac=(ab)+(bc) tambin es mltiplo de p.

!745 0/,/
Seran congruentes mdulo p dan el mismo resto al dividirlos por p. Para comprobar tomamos los valores m,n y hacemos:

m = q1 p + r m-n=(q1-q2)p p divide a (m-n)? (sicongruente, nono n = q2 p + r


congruente)

m = q 1 p + r1 ; 0 r1 p m-n=(q1-q2)p+(r1-r2), para que se cumpla debe ser r1r2=0, que n = q 2 p + r2 ; 0 r2 p implica r1=r2

43 :394 .4. 0390


Es el conjunto de clases de equivalencia de todos los elementos de A. Se denota A/.

A/ = { [x] xA } donde [x]={ yA yx}. Nunca es vaco porque x, [x] porque siempre xx Una particin es una coleccin de conjuntos distintos del vaco y disjuntos entre si. La unin de particiones de un
conjunto es el propio conjunto. Propiedades del conjunto cociente: 1) para a,b A/ , ab [a]=[b] Demos : (suponemos a~b) x[a] xa, y por transitiva xa, ab xb Asi vemos que para cualquier x, si x [a] y x [b], [a]=[b]

x[b]

Demos : (Suponemos [a]=[b]), por reflexiva a[a], y puesto que [a]=[b], entonces a[b] , y por
tanto, a~b 2) a,b A, a nob [a][b]=

Demos : (Demostramos que [a][b] es contradictorio), x[a][b] xa, xb ab


Corolario: Siendo una relacin de equivalencia en A vemos que: Las clases de equivalencia de A forman una particin de A Cada particin de A define una ~ en A. Si existe equivalencia entre los elementos de una particin, esa particin es clase de equivalencia (Si a,b estn en la misma particinab y [a]=[b])

Pg.-11 de 53

Si Ai , Ai A entonces cada Ai es una particin de A si A=Ai y Ai Aj=0 para ij (2 a 2) Si dos fracciones son equivalentes, la irreducible sera la representante de clase.

Factorizacin cannica de una aplicacin




1) a, a A a a f(a)=f(b) P A/ Es la aplicacin que relaciona cada elemento con su clase de 2) A equivalencia. p de proyeccin.Es Sobreyectiva. Si A y A/ p(a), a A a p(a)=[a] 3) Im f = { f(a) aA }B i B Im b b i de inclusin.Es inyectiva

4) f2 :A/ Im f [a] f2 ([a])=f(a)

biyectiva.

Relacin de orden en un conjunto dado: Es una relacin binaria que cumple propiedades reflexiva, antisimetrica y transitiva.

Se dice que (A,) es un conjunto parcialmente ordenado poset si verifica una relacin de orden.
Un poset es adems un orden total si x, y A se cumple xRy yRx. En caso contrario sera un orden parcial.

Diagramas de Hasse
Es la representacin de una relacin de orden, mediante aristas no dirigidas entre 2 elementos x, y si y solo si y cubre a x. Se dice que y cubre a x cuando se cumplen los dos siguientes enunciados:
xy xzy y=z o x=z (no hay ningn elemento entre los dos)

Las aristas se leen de abajo arriba por convencin (al una direccin de lectura no hacen falta aristas dirigidas).
Si R es una relacin de orden en A, se elabora un diagrama de Hasse para R en A trazando segmentos de recta no dirigida de x a y, si x,yA, con xRy, pero solo si no hay otro elemento zA tal que xRz, zRy. Ver ejemplos Grimaldi 5.34, 5.36. En el grafo de una relacin de orden son superfluos los lazos y aristas multiples (se sobreentiende su existencia por las propiedades reflexiva y transitiva)

Isomorfos
Sean (P,) y (Q,) (Q c. imagen de P) conjuntos parcialmente ordenados. Se dice que son Ismorfos si
f:P Q biyectiva que mantiene el orden para a,bP: ab f(a) f(b) Sea (A,) un conjunto ordenado y CA C:

Pg.-12 de 53

kA es Cota superior de C si xk, xC,Supremo ser la menor de las cotas superiores. - kA es Cota inferior de C si kx xC, nfimo ser la mayor de las cotas inferiores. - Un elemento k de A x C, xk k es mximo x C, kx k es mnimo - xC es maximal/minimal de C si ningn elemento de C es >/< que x. Todo conjunto poset finito tiene al menos 1 maximal y 1 minimal. Ejemplo: Sea U={1,2,3}, A=P(U) (A,) tiene mnimo = minimal = , mximo = maximal = U

Sea (A,R) poset.


- mximal = x A / a A, a x x no relacionado con a - minimal = x A / a A, a x a no relacionado con x - mximo = x A / a A a R x mnimo = x A / a A x R a Todo poset finito tiene maximal y minimal. Los mximos y los mnimos, si existen, son nicos.

Sea (A,R) poset con BA


cota inferior = xA / bB x Rb cota superior = xA / bB b Rx supremo o mnima cota superior = xA / x es cota superior y x R x con x=cq. otra cota superior nfimo o mxima cota superior = xA / x es cota inferior y x R x con x=cq. otra cota inferior

En todo BA con A=poset finito, el supremo e infimo, si existen, son nicos.

7,148
Def. grafo: Un grafo G es el par (V,A) que representa una relacin entre un conjunto de Vertices y otro de Aristas.
Representaremos cada elemento arista como un par de elementos de V. Grficamente representaremos los vrtices por puntos y las aristas por lneas que los unen. Un vrtice puede tener 0 o ms aristas, pero toda arista debe unir exactamente 2 vrtices.

Orden de un grafo: es su n de vrtices = |V|. Si |V| es finito se dice que el grafo es finito. En este curso estudiaremos los grafos finitos.

7 89,8
Si la arista carece de direccin se denota indistintamente {a,b} o {b,a}, siendo a y b los vrtices que une.

Lazo: arista que une un vrtice con si mismo


Arista incidente: Se dice que e es incidente en v si v esta en uno de los vertces de la arista Arista mltiple: Aquella que une los mismos vrtices que alguna otra.

Pg.-13 de 53

'F79 .08
Vrtices adyacentes: Se dice que v,w son adyacentes si e={v,w}E (o sea, existe una arista entre los 2 ) Un vertice es adyacente a si mismo si tiene lazo. Grado de un vrtice : Es el n de aristas que inciden en l. Por ejemplo, un lazo aumenta el grado en 2. Depende solo de la estructura matemtica, (los isomorfos tienen el mismo). Vrtice de aristas mltiples: Es aquel que tiene ms de un arista. Se dice que un vrtice es par o impar segn lo sea su grado. Camino (o trayectoria)

Para x,yV, se dice que hay un camino en G de x a y si existe una sucesin finita no vaca de aristas distintas que contengan a vx y vy en su primer y ltimo termino. As: {vx,v1},{v2,v3},...,{vn,vy}
El n de aristas de un camino se llama longitud del camino. Si los vrtices no se repiten es un camino propio o simple. Si hay un camino no simple entre 2 vertices, tambien habra un camino simple entre ellos. Cuando vertice de llegada=vertice de salida, el camino se llama circuito, ciclo, o camino cerrado. Un circuito es propio o simple si solo se repiten el primer y ltimo vrtice. En estos apuntes los circuitos seran simples si no se indica lo contrario Vrtices accesibles: son aquellos entre los que existe un camino. Todo vrtice es accesible respecto a si mismo. La accesibilidad entre vrtices es una relacin de equivalencia cuyas clases son las componentes conexas de G.

Si el grado de cualquier vrtice de un grafo 2 el grafo tiene un circuito.

7,148
Grafo simple: Aquel que no tiene lazos ni aristas mltiples
Propiedades de un grafo G(V,E):
Como cada arista incide en 2 vertices o 2 veces en el mismo vertice si es un lazo, tenemos que: Suma de los grados de todos los vertices es = doble de las aristas: v=2|E|
vV

Demostracin: Al realizar la suma de los grados de todos los vertices, ya que cada arista tiene 2 extremos se cuenta exactamente 2 veces. En un grafo finito existe un n par (o cero) de vrtices de grado impar. En general V dividido en: V1={vV v=impar}, V2 ={vV v=par }, V1 V2 =V; V1 V2 = Demostracin: Sabemos que

v
i =1

= 2 E para V={v 1, ..., v p}. Sean v 1, ..., v t los

vertices de grado impar y v t+1, ..., v p los de grado par

v i +
i =1

i = t +1

= 2E

par+impar=impar, asi que debe ser n de vertices impares=0 Sabemos que v i es impar para i=t+1, ..., p, por lo que podemos expresarlo como

Pg.-14 de 53

2ni+1 para algun ni ...? mirar en Grimaldi

Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado es k se, llamara kregular. Grafo bipartito: Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de modo que no haya
adyacencias entre vrtices pertenecientes al mismo conjunto Grafo completo o conexo: Aquel con una arista entre cada par de vrtices, (todos estan conectados con todos).

Dos grafos completos con mismo |v| son isomorfos. Un grafo completo con n vrtices se denota Kn. Todo grafo completo es regular pq. cada vrtice tiene grado |v|-1 al estar conectado con todos los otros vrtices.
Un grafo regular no tiene porque ser completo. Un grafo bipartito regular se denota Km,n donde m, n es el grado de cada conjunto disjunto de vrtices.

Complementario de un grafo G: Es el grafo Gque tiene conectados los vertices no conectados de G y desconectados los conectados. Si dos grafos son complementarios, sus isomorfos tambin. Un grafo+su complementario = grafo completo. Grafo plano: Aquel que admite una representacin bidimensional sin que se crucen sus aristas.
En este ejemplo, vemos un grafo plano con su representacin plana:

Grafo pesado o grafo etiquetado - Aquel grafo cuyas aristas tienen todas un n real positivo que sera su peso o longitud. El peso del grafo sera el sumatorio de los pesos de las aristas. Si todas las etiquetas valen 1, la definicin de longitud del camino de un grafo pesado coincide con la definicin de longitud del camino a un grafo.

7,14 .430 4
Grafo conexo: Aquel en el un cmino entre cualquier par de vertices. Componente conexa de G: Def.: Un subgrafo conexo de G que no es subgrafo propio? de ninguna componente conexa de G. Otra def.: Subgrafo de G de forma que ningn otro vrticeG esta conectado con vrtice alguno de G
Otra def.: Son las clases de equivalencia de estar conectado.

Subgrafo de G=(V,E) es G(V,E) VV y EE (el grafo que se obtiene borrando alguna arista o vrtice de G) Multigrafo: Grafo que tiene alguna arista mltiple. Un multigrafo se transforma en grafo aadiendo un vertice en mitad de cada arista multiple.
Pseudografo: Grafo con algn lazo.

Pg.-15 de 53

Digrafo: Grafo con todas sus aristas dirigidas. Por tanto, los pares de vrtices que definen las aristas, son pares ordenados.

Cuidadn !: Multigrafo, pseudografo, subgrafo, digrafo y cualquiera de sus combinaciones (pseudomultidigrafo, etc), NO se consideran grafos. Isomorfismo de grafos:
Dados G=(V,E) y G=(V,E), se denomina isomorfismo de G a G a la aplicacin biyectiva f tal que para a,bV, {a,b}E se cumple {f(a),f(b)}E. Es decir, la aplicacin que relaciona biyectivamente pares de vertices de E con pares de vertices de E, de modo que los vrtices conectados siguen estandolo. Se cumple que a=f(a) : Isomorfismo es la biyeccin que mantiene la adyacencia de vertices G y G se denominan isomorfos, y son matemticamente iguales, solo varia la apariencia, o sea, que se mantienen las adyacencias, estructura, caminos, ciclos, n de vrtices, n de aristas, etc. Si dos grafos son isomorfos, sus complementarios tambin. Se llama automorfismo al isomorfismo de un grafo en si mismo. Un conjunto de automorfismos, sera por tanto, un conjunto de grafos isomorfos. -

Dos grafos son isomorfos tienen mismo nmero de vertices y el nmero de vertices con un grado dado es el mismo en los dos grafos. A continuacin estudiaremos la representacin de grafos mediante matrices, lo que nos permitira emplear tcnicas de algebra lineal en el estudio de grafos. Cul es la diferencia entre automorfismo e isomorfismo? No son automorfismos todos los isomorfismos?

,97 /0,/ ,.03.,


Muestra adyacencias de vertices. Se define como A=(aij)nn (n=|V|) donde aij=1 si {vi,vj}E ; en caso contrario aij=0.

La matriz de adyacencia siempre es simtrica (y por tanto, no se modifica haciendo la traspuesta), porque aij = aji . Para cualquier kn se cumple que aki = vk (grado de un vrtice=sumatorio de la columna o
i=1..n

fila de ese vrtice).


Para un grafo G de n vrtices con n>1, con A=matriz de adyacencia se cumple: (Uned 151) El valor del coeficiente aijk de la matriz Ak , es el n de caminos de longitud k con extremos v i y v j k (A =AA...k veces...A) - el grafo sera conexo, si y solo si, todos los elementos de M son distintos - la diagonal de la matriz nos indica el grado de los vrtices M=Suma de matrices de adyacencia. Dado M=
i =1..n

A i , se cumple que:

Teorema: Sea G=(V,E), A=matriz adyacencia de G.

Pg.-16 de 53

Si un camino de longitud m (mn) entre 2 vrtices cualquiera, entonces un camino de longitud n-1 entre esos dos vrtices. Ejemplo:

v1 v2 v3 v4 v5

v1 0 1 1 0 0

v2 1 0 1 1 0

v3 1 1 0 1 1

v4 0 1 1 0 0

v5 0 0 1 0 0

v1

v2

v3 v5

v4

Para comprobar si dos grafos son isomorfos, comprobamos si sus matrices quedan iguales al permutar su orden. Ejemplo: ? Sea un grafo con matriz de adyacencia A = 3 2 1
0 3 0 0 1 0 3 3

, habra que llegar a A =A

n-1

0 3 0 9 6 3 9 9 3 A + A2 = 3 2 1 + 6 14 2 = 9 16 3 , como bij el grafo es conexo 0 1 0 3 2 1 3 3 1

,97

/0 3. /03. ,

Muestra adyacencias de aristas en vertices. Es la matriz M de |V| filas y |E| columnas, donde mij=1 si vi es vrtice de la arista ej, en caso contrario es 0. Solo puede definirse para grados simples.

Para comprobar si un grafo es conexo:


Se halla la matriz adyacencia de orden nn y se eleva a la n-1 potencia Si todos sus elementos son 0, el grafo es conexo.

Arista de separacin o puente: Aquella que al ser suprimida deja desconectados sus dos vrtices. Si e=(u,v), eG es un puente y G tiene k componentes conexas, G-{e} tendra k+1 componentes conexas Punto de corte: es un vrtice de un grafo conexo G que una vez suprimido convierte a G en disconexo.

7,14

0: 07 ,34

Camino euleriano es el camino que contiene a todas las aristas, apareciendo cada una exactamente una vez. Circuito euleriano es un camino euleriano que comienza y acaba en el mismo vertice. El grafo que admite algun circuito euleriano se llama grafo euleriano.

Pg.-17 de 53

Grafos eulerianos
Grafo eulerianos: grafo con un circuito que contiene todas las aristas sin que se repitan. El grafo ser semieuleriano si la trayectoria no es cerrada. Las trayectorias correspondientes se llaman eulerianas y semiulerianas. 1 2 Ejemplo: El primero no es euleriano ni semieuleriano, 8 5 3 El segundo es euleriano 6 4
Lema: Si el grado de cualquier vrtice de un grafo 2 el grafo tiene un circuito. Demostracin: Pueden darse 2 casos: a) G conexo. Si G no tuviera circuitos G sera un rbol |V|=|E|+1 Pero (v V)2|V| |V||E|+1 no es un rbol tiene algun circuito. b) G no conexo. Aplicamos a) a sus componentes conexas. Teorema: Un grafo conexo G=(U,E) es euleriano todo vrtice tiene grado par. Demostracin: (por induccin en |E|=m) a) Base de induccin |E|=1. Al ser |E|=1 el grafo es euleriano b) Suponemos que el teorema es cierto para grados en las mismas condiciones y con menos de m aristas. Tenemos grafo G con todos los vrtices de grado par0, es decir 2. Dado que G es conexo v V, v>1 (porque existe un circuito euleriano). En cualquier caso v 2 x circuitos en G. Suponiendo b1) En x estn todas las aristas de G una vez circuito euleriano G euleriano b2) En x no estn todas las aristas ??

Los grafos bipartitos completos son eulerianos si son pares los bipartitos m,n.

Corolario
Un grafo conexo es semieuleriano tiene exactamente dos vrtices de grado impar. La trayectoria empezara en uno y terminara en otro. La demostracin es similar a la del teorema de Euler.

Lema
Si un grafo es euleriano, todos los vrtices tienen grado par o solo 2 tienen grado impar. Demostracin: Si seguimos el circuito euleriano, vemos que contribuye en 2 al grado de cada vertice. Si un vrtice cualquiera es el primero contribuye en 1 al principio y 1 al final. Si no lo es contribuye en 2.

%04702, /0 : 07
Si un grafo admite un camino euleriano, o todos sus vrtices son pares (camino cerrado) o 2 de ellos son impares (camino abierto)
Demos: Si el camino es cerrado estamos en el caso anterior. Si es abierto, ejemplo: sea G = , podemos hacer w G=G+{w} u v para xu, xv, gradoG(x) = gradoG(x) = par (pq. camino cerrado grado par) y para u,v gradoG(u)= gradoG(u)-1, hacemos idem para v y
v u

vemos que la suma es par.

Ver Uned 92, problema 8


En un grafo conexo |V||E|+1

Pg.-18 de 53

Ver Uned 89 acerca de como recorrer sin levantar el boli.

 47 924 /0  0:7
Si G es un grafo euleriano siempre es posible seguir la siguiente construccin de un circuito euleriano.Se empieza por un vrtice arbitrario y se recorren las aristas arbitrariamente sometida a 2 condiciones:
1) Se borran las aristas a medida que son atravesadas 2) Solo se recorre una arista puente si no queda otra alternativa

Si el grafo es semieuleriano hay que empezar en un vrtice de grado impar. Si quedas atrapado es que no es euleriano.

,2 943
Camino Hamiltoniano: Es aquel que recorre todos los vrtices sin pasar 2 veces por la misma arista. Solo puede existir en grafos simples donde no existan vrtices impares. Grafo Hamiltoniano - Aquel que admite un camino hamiltoniano.

Es Semihamiltoniano si tiene una trayectoria abierta y pasa una sola vez por cada uno de los vrtices
Todos los hamiltonianos son eulerianos y todos los semihamiltonianos son semieulerianos.

Teorema:
Si un grafo es conexo con |V|3, 2 vertices no adyacentes, y v>n el grafo es hamiltoniano. No es imprescindible que se cumpla para ser hamiltoniano.

En un grafo, la relacin en el conjunto de vertices dada por estar conectado con es una relacin de equivalencia (Uned 145). Las clases de equivalencia se llaman componentes conexas de G. Cada vrtice tiene un grado superior a la mitad+1 del nmero de vrtices. ??

7-4 08
rbol: Es un grafo conexo y sin circuitos ni lazos.
Ejemplos: n1: o n2: oo = n3: ooo = n4: oooo = n5: ooooo = n6: 6 arboles n7: 11 n8: 23 n9: 47 n10: 106 etc,...

Pg.-19 de 53

Un grafo es un rbol entre cada par de vertices existe un y solo un camino simple. Bosque: Grafo cuyas componentes conexas no tienen circuitos. Teorema:

Sea G(V,E) a) G es un rbol


b) Cada par de vrtices distintos de V esta conectado por un nico camino. c) G es conexo y toda arista de G es de separacin

*Arista de separacin es aquella tal que si el grafo es conexo, al suprimirla se divide en 2 conexos
d) G no tiene circuitos y |V|=|E|+1 e) G es conexo y |V|=|E|+1 f) G no tiene circuitos pero al aadirle una arista a G se crea un nico circuito Estas son condiciones equivalentes: abcdef a Demostracin ab Porque por definicin es conexo y sin circuitos propios bc Es conexo por b. Si hubiese ms de un camino entre 2 vrtices existira un circuito. Por definicin de rbol esto no puede ocurrir. cd porque en circuito no existe separacin |V|=|E|+1 Induccin en |V|: Base de induccin |V|=1 como mnimo 1 vrtice v |E|=0 |V|=|E|+1 Paso inductivo: Suponemos que el teorema es cierto para grados con menos de n vrtices (n=|V|), G-{e}=G G1=(V1, E1) |V1|<n G2=(V2, E2) |V2|<n Por la hipotesis de induccin |V1|=|E1|+1, |V2|=|E2|+1 |V| = |V1|+|V2| = (|E1|+|E2|+1)+1 = |E|+1 de G es conexo ? Sean G1,G2,...,Gm componente conexa de G, m=1? G1 conexo sin aristas G1 rbol * |V1|=|E1|+1 *lo demostramos antes ???????????????????? Gm......................................... |Vm|=|Em|+1 + --------------------|V|=|E|+m } m=1 la hiptesis |V|=|E|+1 }

ef Suponemos que un circuito (con k aristas y k vertices) vamos allegar a una contradiccin
Pueden suceder 2 casos 1)k=n , |E|k=n, n=|V| pero por la hiptesis |V|=|E|+1 (|V|>|E|) ???? 2)los n-k vrtices restantes necesitan al menos otras n-k aristas que les unan con los dems y quede G conexo |E| k+(n-k)=n=|V| pero por hiptesis |V|=|E|+1 ????? f g G es conexo? Si tenemos 2 componentes conexas distintas y aadimos arista no se forma circuito y se produce una contradiccin Vemos que si no es conexo podra tener 2 supuestas componentes conexas

Pero si le aadimos una arista no se crea un circuito, por lo tanto G tendr que ser conexo rbol Generado - Subgrafo conexo de G que tiene los mismos vrtices que G y no tiene circuitos

Pg.-20 de 53

Otra def: Un rbol generado de G es un rbol T=(V,E) subgrafo de G y tal que V=V Un rbol generado se puede crear de 2 modos: 1) Suprimir aristas que no sean de separacin 2) Partiendo de los vrtices coger aquellas aristas de forma que no creamos ningn circuito

Para calcular el rbol de peso mnimo existen 2 algoritmos: Kruskal: Se van cogiendo las aristas de menor peso hasta conseguir un rbol de peso mnimo Prim: Consiste en ir borrando las aristas de mayor peso posible y que no sean aristas de separacin.

Puede haber ms de un rbol generado de peso mnimo, pero todos deben tener el mismo peso.
Arbol arraigado o enraizado: Es un rbol con un vrtice distinguido llamado raz. Si le quitan la raz quedan rboles arraigados con raz T1,T2,... En este tipo de rbol los vrtices se llaman nodos. Se llama hijo de un nodo, al vrtice adyacente que esta ms alejado de la raz que el nodo del que es hijo. Los nodos sin hijos se llaman hojas.

Un rbol es n-ario cuando todos los nodos excepto los terminales tienen a lo sumo n hijos.Ej(n=2 binario) rbol arraigado ordenado: rbol arraigado cuyos subrboles tambin son rboles arrigados ordenados.
Nivel de un vrtice: El nmero de aristas que le separan de la raz. La raz tienen nivel 0. Altura de un rbol: Mximo nivel de sus vrtices.
En el grafo anterior c) v=3 hamiltoniano.Puede serlo sin -------6 n=20 cumplirse la condicin w=3 Aqu se demuestra que no es necesaria esta condicin para ser

Problema del vendedor ambulante Hay que pasar por cada ciudad a vender sin pasar 2 veces por la misma y con el menor coste posible(no tiene solucin)

Problema Dado un grafo pesado es posible encontrar algn grafo Hamiltoniano de menor peso? Conseguir la cota inferior del peso de cualquier grafo hamiltoniano
a) G-{B} rbol exp. mnimo peso: 4+5+8=17 inferior del b) Dos aristas de menor peso incidentes en B, peso 2+3=5: } } 17+5=22 cota peso de cualquier G. H.

A partir del dato conseguido anteriormente B22 Si quitamos el vrtice A21 debe encontrar C25 D23 E24 W(CH) 1 W(CH) 21 W(CH) 25 W(CH) 23 W(CH) 24 Con estos datos podemos decir que se el grafo con peso 25

En este grafo la solucin es que el peso es 26 ??

Pg.-21 de 53

La demostracin en este caso en concreto c) AEDC rbol exp de G-{B} d) AB,B,C W( a) ) W( c) ) W( b) ) W( d) ) 22 W (circuito H)

A 2 B 7 C 9 D 6 E 5

? ? ? ? ?

DEMOSTRACIN

Si se considera cualquier circuito del grafo hamiltoniano pesado y eliminamos un vrtice v (cual sea), obtenemos una trayectoria semihamiltoniana.Esta trayectoria es un rbol expandido de G{V}.Por tanto cq. solucin al problema del vendedor ambulante.Debe consistir en un rbol expandido de ese tipo junto con 2 aristas incidentes en el vrtice v. As, si tomamos el peso de un rbol expandido de peso mnimo de G-{V} y sumamos los 2 pesos mnimos de aristas incidentes en V encontraremos una cota inferior de peso de cq. circuito hamiltoniano.
END-RAW *

Circuito hamiltoniano mnimo


Sea G grafo completo, para conseguir un circuito hamiltoniano mnimo (los grafos completos son hamiltoniano) usamos el siguiente algoritmo:
Partiendo de un vrtice cualquiera elegimos la arista a aquel vrtice no visitado que tenga menor peso. Repetimos hasta hacer cirucito al tiempo que vamos anotando los pesos.

abdeca un camino minimo, ( no unico ni el mejor )

%04702,
Sea M un mapa conexo con |V|>2, entonces |E|3|V|6
Demostracin: Sea M un mapa conexo con |V|>2, |R|3. Sabemos que 2|E|=r, y como el grado de cada regin es al menos tres, 2|E|=r3|R| |R||E|2/3

Pg.-22 de 53

Sabemos que R + V E = 2
R + V E = 2 1 *, ** 2 V E 2 3V E 6 3V 6 E R E 3 3 2 1 E V E =2. 3 3 1 2 1 **En caso de que R < E V ms de E = 2 V E > 2 3 3 3 *En caso de que R =

Teorema Sea G=(V,E) un grafo conexo plano en el que no existe un subgrafo isomorfo a K3, entonces E 2V 4 Demostracin Si G es V > 2 y no tiene subgrafo isomorfo a K3, es que las regiones del mapa M de G tienen grado al menos 4. Sabemos que 2 E = r , y como el grado de cada regin es al menos 4, 2 E = r 4 R 2 E 4 R R + V E = 2 1 * 2 V E 2E 4R 2 1 1 Si E > 2 R V ms de E = 2 V E > 2 1 2 2 * V E 2 1 2 Si E = 2 R V E = 2 2
Consecuencia:

Def: Grafo bipartito completo Kn,m |V1|=n, |V2|=m vrtice de

cq. vertice de V es adyacente a cq.

v2 y no conexin entre los vrtices de una misma parte y viceversa

DIBUJO
K3,3 conexo,simple, no tiene subgrafo isomorfo a K3 Si plano |E| 2|V|-4 |E|=nm |E|=33 |V|=3 9 no 26-4 el grafo no es plano

Un grafo se dice que es plano si admite una representacin grfica en el plano de modo que cada arista corta unicamente a otra arista en un vertice que sea extremo de ambas. Una representacin grfica de este tipo se llama mapa. Decimos que un mapa es conexo si representa a un grafo conexo.

Pg.-23 de 53

Ejemplo:

Un mapa divide al plano en varias partes llamadas regiones. Cada regin de un mapa M est Grafo plano Mapao del delimitada por un circuito (si el mapa es conexo) por varios circuitos (que no son grafo plano necesariamente propios?). Tambin se cuenta como regin la exterior a la figura. Cada regin en un mapa esta 4 bordeada por un camino que no siempre es un circuito. Ejemplo:
1 2 3

Grado de una regin: longitud del camino que la bordea Dos regiones de un mapa se consideran adyacentes si el circuito que las bordea tiene alguna arista en comn.

Teorema
La suma de los grados de las regiones de un mapa es igual al doble del nmero de aristas del grafo al que representa. Es decir: r = 2|E|
Demostracin Toda arista es frontera simple de 2 regiones o doble de la misma regin, con lo que cada una se cuenta doble. Ejemplo de frontera doble: (en negrilla)

%04702,
La representacin plana de un poliedro regular cumple la formula n caras + n vertices naristas=2 donde cada cara corresponde a una regin, con lo que tenemos R + V E = 2 (frmula de Euler) *nota: la frmula de Euler solo es vlida para mapas conexos.

Demostracin: Sea G un grafo conexo. Por induccin en |E|:


a) base |E|=0.

E =0 |V|=1, |R|=1. Esto verifica la frmula de Euler. Mapa conexo

b) paso |E|= m 1 Se dan dos casos 1) el grafo tiene algun circuito Consideremos el subgrafo G resultante de suprimir una arista perteneciente a un circuito. Tenemos que el mapa M de G seguira siendo conexo (pq. la arista perteneca a un circuito). El n de regiones disminuye en una unidad porque las aristas pertenecientes a un circuito siempre son fronteras de dos regiones. Para M tenemos que R 1 + V E 1 = 2 R + V E = 2

2) el grafo no tiene algun circuito (es un rbol) Sea v el vertice extremo de una sola arista vw (si no existiera tal vertice podramos construir un circuito). Sea G el grafo resultante de suprimir v y vw en G. Puesto que |R| no disminuye tenemos que: V 1 + R E 1 = 2 R + V E = 2

Pg.-24 de 53

Una subdivisin elemental de un grafo G, es el grafo G obtenido colocando un vrtice en medio de una arista G. Una subdivisin de un grafo G es el grafo obtenido efectuando un nmero finito de subdivisiones elementales sucesivas.

%04702, :7, 4 8
Un grafo G es plano no contiene algun subgrafo isomorfo a una subdivisin de K5 o K3,3. Demostracin: Demasiado complicada para este nivel.

Coloracin de un subgrafo
G=(V,E) , C={1,2..k} (conjunto de colores)

Una coloracin es una aplicacin f:v en c si v,w V son adyacentes f(v) f cw El pseudomultigrafo dual de un mapa M, es aquel que se construye asociando un vrtice a cada regin de M y una arista a cada par de vrtices que correspondan a regiones adyacentes. Aunque al construirlo quede con forma plana, un pseudomultigrafo dual puede representarse de forma no plana. Ejemplo de construccin:

Coloreado de un grafo
Sea G=(V,E) un grafo plano y C={1,2,..k} un conjunto de k colores. Una coloracin con k colores del grafo G es una aplicacin de V a C de modo que si los vrtices u, v, son adyacentes entonces f(u)f(v).

Teorema de los 4 colores


Cualquier mapa plano puede colorearse con 4 colores o menos sin que haya dos regiones adyacentes del mismo color. La demostracin se basa en calculos con ordenador y es demasiado complicada para este nivel.

Corolario
Todo grafo plano admite una coloracin con 4 colores. Demostracin: Sea G un grafo y M su mapa. Segn el teorema de los 4 colores, la coloracin del pseudomultigrafo dual G de G dar una coloracin del grafo G, pues G=G.

Definicin Un grafo G se dice que es bipartito si se puede colorear con 2 colores

%04702,
Un grafo es bipartito no tiene circuitos de longitud impar.

Pg.-25 de 53

Demostracin
Si G es bipartito, los vertices de cada circuito deben ir alternando de un color a otro. Para que el color del primer y ltimo vertice no coinciden, el n de aristas debe ser par. ( circuito tiene longitud par). Hacemos induccin sobre |E| ...
Camino ms corto entre 2 vrtices: Algoritmo de Dijkstra Uned 163 Aunque la explicacin del libro es un coazo es intuiitivo: Se recorren todos los caminos desde el vrtice de partida, anotando la longitud de cada uno.

Pg.-26 de 53

%047J, 0 02039, /0 3 20 207 748


Divisibilidad en Z. Algoritmo de Euclides, bsico y extendido. Ns primos. Teorema fundamental de la aritmtica. Principio de induccin. Ec. Diofnticas. Congruencias: teorema chino de los restos, criterios de divisibilidad, sistemas de numeracin.

%02,

 ; 8 - /,/ 03
Principio del buen orden: Todo subconjunto no vaco de Z+ tiene un primer elemento Lo usaremos cuando veamos la induccin finita. Notese que el principio del buen orden + + esta definido para Z, y no se cumple por ejemplo en Q o R .

Propiedades de la suma y el producto en Z


S S S S S S

Son operaciones internas en Z Son asociativas y conmutativas Ambas tienen neutro, el de la suma es 0 y el de la multiplicacin es 1. El producto es distributivo respecto a la suma: a(b+c)=(ab)+(ac) Si ab=0 a=0 o b=0 Todo elemento tiene opuesto. (un n operado con su opuesto es 0)

De estas propiedades se sigue que (Z,+) es un dominio con 1, y que (Z,+) es un grupo conmutativo o abeliano. Siendo a,b Z, diremos que b es mayor que a, si existe un natural n tal que b=a+n. Lo denotaremos b>a. Siendo a,b Z, diremos que b divide a a, si existe un entero q tal que a=qb. Lo denotaremos b|a. Propiedades de Z respecto a la divisin y el producto
1. 2. 3. 4. 5. 6. 7. 8. 9.
(chorradas)

a0=0 a(b)=ab Si a0 , ab=ac b=c Si a0 y a|b a|bk, kZ Si a0, b0 a|b y b|c a|c Sea a0 si a|b, a|c a|(xb+yc) para cq. par de enteros x e y a,b>0, a|b ab a0,b0, a|b, b|a a=b a=b Si ab, m>0 ambm Si ab, m>0 ambm

Demostracin usando las propiedades de la suma y el producto:


1. a0=a(0+0) a0+a0= 0a Sumando su opuesto a0 y queda 0+a0=0 Como 0=neutro de la suma nos queda a0=0

Pg.-27 de 53

2. Por definicin de opuesto observamos que ab es opuesto de ab. Si a(b)=ab, como el opuesto es nico, se cumplira ab+a(b)=0. Esto es asi porque ab+a(b)=a(bb)=a0=0 3. Hay que demostrar a0 , ab=ac b=c. ab+(ac)=ac+(ac) abac=0 a(bc)=0 Se presentan dos casos: a=0 (imposible por enunciado), y bc=0 b=c. 4. a|b b=aq bk=aqk. Sea q=qk, entonces bk=aq y por tanto a|bk. 5. Se cumple porque c=bk, y a|b a|bk 6. a|b, a|c b=aq1, c=aq2. bx+cy=aq1x+aq2y=a(q1x+q2y)=aq a|bx+cy 7. a|b b=aq. Como a,b son positivos, q es positivo. Por tanto, podemos escribir

b = a + ... + a = a + (a +
8.

q veces

q 1 veces

... + a ) = a + s

Como q es positivo y entero, q10, por tanto s0. De b=a+s se deduce que ab.

a | b b = aq1 a=(aq1)q2 q1q2=1 q1=q2=1 q1=q2=1, por lo que a=b a=b b | a a = bq 2

g) b=qa =a+...+a=a+(a+...+a) (q>0) q10 k) ab ba0

Ejemplo: a=b+c, m|a, m|b m|c? S, porque c es una combinacin lineal de a y b.

Valor absoluto
Es una aplicacin f:ZZ que a cada m Z, le asocia |m| Propiedades del valor absoluto en Z (chorradas)
1. |a| 0 2. |a|=0 a=0 3. |ab| = |a||b| 4. |a+b| |a|+|b| 5. k>0 y |a| k k a k Demostracin |a+b| |a|+|b|:

Se presentan tres casos:


a, b 0 a+b 0 |a+b|=a+b=|a|+|b| a, b < 0 a+b <0 |a+b| = (a+b) = (a)+(b) = |a|+|b|

a0, b<0. Se presentan 2 casos: 3.1. ab a+b 0 |a+b| = a+b = |a||b| |a|+|b| 3.2. a<b a+b <0 |a+b| = a+b = |a||b| |a|+|b|

Ejercicio: Probar que si a,bZ y b0, entonces |a|b ab y ab


hay 2 casos: 1. a0 |a| = a |a| b 2. a<0 a |a|b ab y ab |a|b

Teorema de la divisin
Viene a decir que si divides 2 nmeros, no te va a salir de cada vez un cociente y resto diferentes Para aZ, bN. Existen unos nicos q,rZ a=qb+r, 0r<b

Pg.-28 de 53

A los nmeros a, b, q y r se les llama dividendo, divisor, cociente y resto. Demostracin


Demostramos que existen unos q,rZ a=qb+r, 0r<b:

Siendo bq el mayor mltiplo de b que es menor o igual que a, se cumple que bq a < b(q+1) Restando bq en la desigualdad anterior tenemos que
0 abq < b(q+1)bq 0 r < b (con r=abq) Demostramos la unicidad de q y r.

Si existiesen r1, q1, y r2, q2 a= bq1+r1 = bq2+r2 , r1r2, entonces b(q2q1)=r1r2, y por tanto b|(r1 r2).
Pero: - Se cumple que si b|x |x||b|. Por tanto: |r1r2| |b|. - Como 0r1<b y 0r2<b, es obvio que |r1r2|<b. Esto nos lleva a una contradiccin entre |r1r2|<|b| y |r1r2||b|. Esta contradiccin no existira si r1r2=0, por lo que es un error suponer r1r2. Viendo que r1=r2 q1=q2, se hace evidente que r y q son nicos.

Ejemplo: 3 dividido por 7: 3=07+3, 03<7, 7 dividido por 3: 7=23+1, 01<3 Ejercicio: 1) Usando el algoritmo de la divisin probar que todo entero impar al cuadrado es igual a uno
ms un multiplo de 8. 2 O sea, probar n=2k+1 n =8m+1 Todo nmero entero n puede expresarse como (por ejemplo) n=q4+r, 0r<4, r=0,1,2,3 2 2 2 Si n impar r=1,3 (4q+1) = 16q +8q+1 = 8(2q +q)+1 2 2 2 (4q+3) = 16q +24q+1 = 8(2q +3q+1)+1 Que todo entero impar al cuadrado pueda expresarse de uno de esos modos garantiza la condicin pedida. 2) Probar que todo entero que sea a la vez un cuadrado y un cubo es de la forma 7k o 7k+1 Cualquier nmero se puede escribir como n=q7+r, 0r<7, r=0,1,2,3,4,5,6 2 2 2 2 2 Y cualquier cuadrado se puede escribir (7q+r) = 49q +14qr+r = 7(7q +2qr)+r donde 0r<7 Todo nmero al cuadrado puede expresarse as: 7k 7k+1 7k+2

0 = (70+0) 2 2 1 = (70+1) 2 2 2 = (70+2) 2 2 3 = (70+3) 9 = 71 +1 2 2 4 = (70+4) 16 = 72 +2 2 2 5 = (70+5) 25 = 73 +4 2 2 6 = (70+6) 36 = 75 +1

r=0 r=1 r=2 r=1 r=2 r=4 r=1

7k+4

Con lo que todo cuadrado es de la forma: 7k, 7k+1, 7k+2 7k+4


Para el cubo sera: (7q+r) = 7 q +37 q r + 37qr + r = 7(7 q + 21q r + 3qr ) + r
3 3 3 2 2 2 3 2 3 2 2 3

Los resultados son: 0,1,8 = 17+1, 27=37+6, 64=97+1, 125=177+6, 216=307+6 Con lo que todo cubo es de la forma: 7k, 7k+1, 7k+6 Las formas comunes al cuadrado y al cubo son 7k y 7k+1.

Pg.-29 de 53

Operador MOD Sean a,b, b0, a|b. Si a=qb+r con 0 r<|b|, definimos MOD como el operador que cumple que a MOD b = r A r se le llama resto. Si b fuese igual 0 el resultado podra ser irracional. Ejemplo: 3 mod 7=3, 7 mod 3=1, 15 mod 8=1, 23 mod 17=11 Propiedades: 1. Todo a,bZ cumple que a MOD b = (a MOD b) MOD b. Es evidente, porque el resto a MOD b es menor que el divisor b. 2. Para a,b,c,d,m Z, m0, a mod m=b mod m, c mod m=d mod m, se cumple que (a+c) mod m = (b+d) mod m, y (ac) mod m=bd mod m. Demostracin:

a = q1 m + r , b = q 3 m + r a + c = m(q1 + q 2 ) + ( r + r ) c = q 2 m + r , d = q 4 m + r b + d = m(q 3 + q 4 ) + ( r + r )

Se dan dos casos: 1. (r+r)<|m|. Entonces, a+c MOD m = r+r = b+d MOD m 2. (r+r)|m|. Entonces, r+r=mq5+r 0r<m y se cumplira

a + c = m(q 1 + q 2 ) + mq 5 + r ' ' a + c = m(q1 + q 2 + q 5 ) + r ' ' b + d = m(q 3 + q 4 ) + mq 5 + r ' ' b + d = m(q 3 + q 4 + q 5 ) + r ' '

con lo que (a+c) MOD m = r = (b+d) MOD m. Para el producto el razonamiento es analogo. Maximo Comn Divisor Sean a,bZ, dZ , se dice que d es divisor comn de a,b si d|a y d|b. Ademas, el divisor comn d ser un mximo comn divisor de a, b si es divisible por cualquier otro divisor de a, b. Se denota mcd(a,b).
+

En caso de que a=b=0 entonces mcd(0,0,...0)=0. Todo lo anterior tambin es vlido sustituyendo a, b por una sucesin finita a1,a2,...an. + Se exige que dZ porque si d=0, y a=0 o b=0, existira una indeterminacin dentro del enunciado, y no sera una definicin ni sera nada. Ejemplo: Los divisores comunes de 42 y 70 son 1,2,7,14. El mcd(42,70) es 14.

Teorema de Bedut Para a,b, enteros distintos de 0 y d=mcd(a,b), d es el entero positivo ms pequeo que puede expresarse de la forma ax+by, con x,yZ. (d es, por tanto, nico) Demostracin: Sea M={m=ax+by / ax+by>0 con x,yZ}.
dos enteros a,b distintos de cero.

: Es decir, M es el conjunto de combinaciones lineales de

M no es vaco, porque por ejemplo: |a|=a(1)+0b, y |a|M porque |a|>0. Por el principio de la buena ordenacin M tiene un primer elemento que llamaremos d. Como dM, existen x1,y1Z tal que d=ax1+by1. Llegados a este punto tenemos que: S d es divisor comn de a y b: Si d no dividiese al nmero a , se cumplira a=dq+r con 0<r<d (algoritmo de la divisin) y por tanto r = adq = a(ax1+by1)q = a(1x1q)+b(y1q), con lo que vemos que rM. Sin embargo no es posible que rM, r<d porque definimos d como el primer elemento de M.

Pg.-30 de 53

La contradiccin se resolvera si r=0. Por tanto d|a , y analogamente podemos probar que d|b. d es adems el mximo de los divisores comunes: Sea d tal que d|a, d|b. Esto implica d|(ax+by), y como d=(ax+by) entonces d|d, y por tanto dd. De aqui tambin se saca que el mcd es el entero ms pequeo de esa forma, o habra otro que lo dividira. d es nico: Si existieran d1, d2 = mcd(a,b), por definicin de mcd cumpliran d1|d2 y d2|d1. Para todo v,w Z, se tiene que v|w |v||w|, por lo que |d1||d2| y |d2||d1|, es decir |d2| = |d1|. Por definicin de mcd, d2>0 y d1>0, as pues d2=d1.

 47 924 /0 :. /08 -E8 .4


Algoritmo de Euclides
Sirve para calcular el mcd de dos nmeros a y b.

0 903/ /4

Para enunciar este algoritmo nos serviremos de una proposicin y un teorema previos. Proposicin Considerando a/b con b0, por el algoritmo de la divisin tenemos que a=bq+r, y adems se cumple que:
1) Los divisores comunes de a y b tambin son divisores de r 2) Los divisores comunes de b y r tambin son divisores de a Demostracin:

(1) Para todo a,bZ, existen q y r a=bq+r. Sea c tal que c|a, c|b, entonces a=cq1, b=cq2. Por tanto cq2q+r =cq1 r=c(q1q2q) c|r. (2) Supongamos ahora c c|b, c|r con b=cq1, r=cq2. Por tanto a=cq1q+cq2 a=c(q1q+q2) c|a. Teorema
En una divisin el mcd(dividendo,divisor) = mcd(divisor,resto). Es decir, a=bq+r, con a,b,q,rZ, b0, cumple mcd(a,b)=mcd(b,r). Demostracin: Como vimos antes, dividendo y divisor tienen los mismos divisores que divisor y resto. Por tanto, ambos tendrn el mismo mximo comn divisor.

Algoritmo de Euclides
Como mcd(a,b)=mcd(|a|,|b|), podemos suponer sin perdida de generalidad que a b>0. Dividimos a por b: a=bq1+r1 , (r1 ser 0r1<b) Si r1=0, ya que ab, es obvio que b=mcd(a,b) y hemos terminado. Si r10, dividimos b por r1: b=r1q2+r2 , (r2 ser 0r2<b) Si r2=0, entonces mcd(b,r1)=r1 y por el teorema anterior mcd(b,r1)=r1=mcd(a,b). Si r20 continuamos dividiendo r1 por r2, y asi indefinidamente.

De este modo obtenemos un conjunto de nmeros r1>r2>... , de modo que llegaremos a un rn=0. Entonces:
rn1 = mcd(rn2, rn1) = ... = mcd(b,r1) = mcd(a,b)

El nmero de pasos necesarios es como mximo 5 veces el nmero de dgitos del nmero ms pequeo de entre los a,b por los que comenzamos a calcular el mcd

Pg.-31 de 53

Algoritmo extendido de Euclides


Sirve para hallar los terminos de la combinacin lineal que dan origen al mcd. Para ello se realiza el proceso inverso al seguido en el algoritmo de Euclides. (Ver el ejemplo que sigue)

Ejemplo: Calcular mcd(3120,270) y los terminos x,y tales que mcd(3120,270)=3120x+270y. Algoritmo de Euclides:
3120 = 11270 + 150 270 = 1150 + 120 150 = 1120 + 30 120 = 430 + 0 30 = mcd(120,30) = mcd(150,120) = mcd(270,150) = mcd(3120,270) 30 = mcd(3120,270)

Algoritmo extendido de Euclides: Realizamos el camino inverso al algoritmo de Euclides empezando por la expresin donde el mcd es resto.
Iremos sustituyendo valores con el objeto de llegar a los nmeros de los que se hallo el mcd.

1501120 = 30 1501(2701150) = 30 150270+150 = 30 2150270 = 30 2(312011270)270 = 30 2312022270270 = 30 2312023270270 = 30


As pues, mcd(3120, 270) = 30 = 23120+(23)270. Luego, x=2, y=23.

Teorema
+

(consecuencia del algoritmo de Euclides)

Todo kZ cumple mcd(ka,kb) = |k|mcd(a,b) Demostracin Para ka, kb, podemos suponer sin perdida de generalidad que kakb. kakb ka=(kb)q1+r con 0r<kb r=kakbq1=k(abq1) k|r, y siendo r1=abq1, se cumple que r=kakbq1 ka=kbq1+r. Sea r1=r/k, ka=kbq1+r ka=(kb)q1+kr1 con 0r1<b Repitiendo para kb, kr1, obtenemos lo mismo que para a,b pero cada igualdad viene multiplicada por k. El ltimo paso es krn1=(krn)qn+1+0. Por tanto, mcd(ka,kb)kmcd(a,b). Esta demostracin es valida para k>0. Si k<0, entonces k>0 y tenemos que

mcd(ka,kb) = mcd(ka,kb) = kmcd(a,b) = |k|mcd(a,b)

Ejemplo:
Calcular mcd(36,90) mcd(36,90) = mcd(182,185) = 18mcd(2,5) = 181 = 18

Pg.-32 de 53

 20748 57 248

Ns primos
Decimos que pZ p>1, es primo si sus nicos divisores son 1 y p. En caso contrario decimos que es compuesto y puede expresarse como p=ab con 1<a<p y 1<b<p Decimos que 2 ns son primos entre s, cuando mcd(a,b)=1, (lo que implica 1=a+b) Ejemplo: Para todo mZ, 3m+11 y 2m+7 son primos entre si. Todo entero puede expresarse como xk, xk+1, xk+2, ... xk+(x2), xk+(x1) Lema de Euclides uned31 Si a,c son primos entre s, y a|bc, entonces a tambin divide a c. Para a,b,cZ, mcd(a,b)=1, a|bc, se cumple que a|c. Demostracin d=mcd(a,b)=1 d=ax+by para algun x,yZ cax+cby=c1 Por hipotesis a|bc, y por tanto a|cby. Es obvio que a|cax. Y as,

a | cby a|(cax+cby) a|(c1) a|c a | cax

Corolario: Sea p,a,b,cZ, p>1, p primo si p|ab entonces p|a y p|b. Demostracin Sea p primo, p|ab. Podemos suponer que p no es primo con a (si lo fuese, su nico divisor comn sera el 1, pero es imposible porque hemos supuesto p>1). Entonces mcd(p,a)=d1, y por tanto d|p, d|a. Como p es primo, d|p d=p y por tanto p|a. En el caso de p no primo, existiran a,bZ tal que p=ab con 1<a<p, 1<b<p. Con lo que p|ab pero no a alguno de los dos nmeros. Por tanto, si p|ab y p|a o p|b, p tiene que ser primo.

Corolario: Sea p primo. Si p|(a1a2...ar), entonces p|ai para algun i. Demostracin


Por asociativa a1a2...ar=( a1a2...ar1)ar. De este modo podemos llegar a una expresin producto de dos nmeros, y como vimos en el anterior corolario, p dividira a alguno de estos nmeros.

Teorema fundamental de la aritmtica uned33 Todo nmero entero>1 puede expresarse como producto de nmeros primos. Adems este producto es nico. Sea n>1,nZ, entonces: ns primos p1,...,pk n=p1p2...pk con p1p2...pk Esta factorizacin es nica en el siguiente sentido:

si podemos expresar n como producto de 2 series de factores es que esas 2 series son en realidad la misma)
si n=q1q2...qm con q1q2...qm entonces k=m y qi=pi para cada i=1,2,..,k

Demostracin

Pg.-33 de 53

Demostramos que todo nmero es factorizable mediante reduccin al absurdo: Sea el conjunto S, no vaco, tal que S={aZ a>1, y a no es factorizable} Por el principio del buen orden existe un primer elemento b.

Vemos que b no es primo (si no, la secuencia de primos cuyo resultado es b, sera la formada por l mismo).
Por tanto b es compuesto, y puede expresarse como b=uv con 1<u<b y 1<v<b. As, nos encontramos con elementos u,v menores que b.

Dado que supusimos b primer elemento de S, tenemos una contradiccin que se resuelve con S=.
Solo queda por demostrar la unicidad del producto de nmeros primos (ver uned 34).

Corolario uned 35
Sea nZ con |n|>1. Entonces n tiene una factorizacin nica de la forma n=(p )1 ... (p )t formada de 1 o ms primos distintos, cuyos exponentes son 1. Esta factorizacin se llama factorizacin cannica de n.
1 t

: Lo mismo que el Ta fundamental de la aritmetica solo que usando un formato para el producto en el que los factores repetidos se expresan en forma de potencia.

Ejemplos 4 48 = (242) = (1222) = (32222) = (32 ) 2 363 = 1213 = 11 3

Teorema
El n de primos es infinito uned36 Demostracin: Supongamos que P={p1,...,pt}, es el conjunto finito de nmeros primos. y hallemos la contradiccin buscando un nmero primo que no se halle en ese conjunto Sea m=(p1p2...pt)+1. Al ser m entero mayor que 1, podemos factorizarlo como producto de primos: m=q1...qs siendo los qi nmeros primos Notese que m MOD pi=1 para un pi cualquiera de P, por lo que ningn pi forma parte de la secuencia de primos cuyo resultado es m. Asi, cada qi es primos P, lo cual es una contradiccin que se resuelve si P es infinito.

Corolario
pn+1 (p1p2...pn)+1 (explicacin en uned37)

Teorema
Si no existe algun primo a tal que p|a, entonces ese a es primo. Sea aZ, a>1. Si para todo primo p Demostracin: Sea un nmero a compuesto: a=bc con 1<b<a, 1<c<a, tal que no es divisible por algun primo a .
Podemos suponer sin perdida de generalidad que bc, y vemos que bc b bc b a Hemos llegado a una contradiccin:
2

no se cumple p|a, entonces a es primo

Pg.-34 de 53

Si b es primo llegamos a una contradiccin por suponer que a no es divisible por algun primo p a - Si b es compuesto llegamos a una contradiccin, pues b compuesto podra expresarse como producto de primos, y siendo p uno de ellos: b|a, p|b p|a, siendo p<b a . Contradiccin en ambos casos, que se deshace si a el nmero a es primo.

Ejercicio: Demostrar que

2 y 3 5 son irracionales. Resuelto en Uned 40,41.

MCD a partir de la factorizacin de A y B


(uned 41)

Siendo a,b enteros, existen nmeros primos con exponentes 0 tal que 1 t a=(p )1 ... (p )t 1 t b=(p )1 ... (p )t Estas factorizaciones se consiguen mediante la factorizacin cannica de a y b. La factorizacin cannica de a y b consiste en descomponer cada nmero en factores y aadirle con exponente 0, los factores primos que le falten respecto al otro. 2 2 Por ejemplo, las factorizaciones cannicas de 350 (=25 7) y 198 (=23 11) seran 0 2 0 2 0 0 23 5 711 y 23 5 7 11.

Teorema
Sean a=(p )1 ... (p )t 1 t b=(p )1 ... (p )t
1 t min(1,1)

donde algunos exponentes pueden ser 0. Entonces


d = mcd(a,b) = p1 ... p t
min(t,t)

Demostracin Sea d= p1min(1,1) ... p t min(t,t). Es claro que d|a y d|b. Supongamos que existe c tal que c|a, c|b.
1 t ... p Entonces c = p1 t donde i i, i i. Por tanto, imin(i, i), y por tanto c|d. Entonces d=mcd(a,b).

Ver ejemplo en Uned 43.

Definicin
Sean a,bZ. Llamamos mnimo comn multiplo de a y b al menor entero positivo que sea mltiplo de ambos. Lo designaremos mcm(a,b).

Teorema
Uned 45

Sean

a=(p )1 ... (p )t 1 t b=(p )1 ... (p )t


t max(1,1)

donde algunos exponentes pueden ser 0. Entonces


d = mcm(a,b) = p1 ... p t
max(t,t)

Demostracin

Pg.-35 de 53

Sea d= p1max(1,1) ... p t max(t,t). Es claro que a|d y b|d. Supongamos que existe c tal que a|c, b|c.
1 t Entonces c = p1 ... p t donde i i, i i. Por tanto, imx(i, i), y por tanto d|c. Entonces d=mcm(a,b).

Ver ejemplo en Uned 46.

!7 3. 5 4 /0 3/:.. O3
Principio De Induccin Finita
Sea S N. Si cumple:
1) 1S, igual al de N, o sea, 1. 2) para cada k1, si kS k+1S igual al de N, o sea, . entonces S=N. comprueba que el lmite inferior de S es comprueba que el lmite superior de S es

Este principio se usa para demostrar que ciertas propiedades se satisfacen para todo n natural n. Demostracin: (por reduccin al absurdo)
Supongamos que S satisface 1 y 2, pero SN. Sea A=NS A=conj. de enteros positivos aqui es legtimo aplicar PBO porque

por el PBO existe un aA menor elemento de A, que sera 1 (porque 1S), y por lo tanto a2 y 1 a1<a (a1) A ( aS

pq para a=2 dara 1) , entonces es que a1S y por la 2 condicin:(a1)+1S

Existe contradiccin entre aS y aA, basada en suponer SN, por lo tanto S=N. porque o son =

Los pasos a seguir en su aplicacin prctica son:


1) Definir el conjunto S={ nN tales que P(n) es verdadera } 2) Probar que 1S (este lmite inferior se llama base de induccin). 3) Suponer que kS para un k arbitrario k1 (este es el paso inductivo). 4) Demostrar que k+1S o Z?? Corolario uned53 Es igual que el principio de induccin pero en vez de para N, para un subconjunto propio suyo: [n0...) Sea n0Z, y M={nZ nn0}. Sea SM tal que 1) n0 S 2) Para todo kn0, si kS (k+1)S entonces S=M Demostracin en uned 53 Corolario uned54 Parecido al anterior, esta vez en un subconj. propio de Z: [n0...)

Pg.-36 de 53

Sea n0Z. Supongamos la propiedad P tal que 1) P(n0) es cierta 2) Para todo kn0 se cumple que P(k) P(k+1) Entonces P(n) cierta para entero nn0 Demostracin propuesta en uned 54

Principio Fuerte De Induccin uned55 Es lo mismo que el de induccin finita pero restringido a k<n Sea S un conjunto de naturales tales que 1) 1S 2) Sea un entero arbitrario n>1. Si kS 1kn, se cumple que nS Entonces S=N Demostracin: (por reduccin al absurdo) (Es casi la misma que la de induccin finita) Supongamos que S satisface 1 y 2, pero SN. Entonces existe A A=NS Por PBO n0A n0>1 y n0=menor elemento de A. Se cuimple 1,2,...,n01S Por 2) n0S (contradiccin). As pues, NS= y S=N.

Corolario uned58 lo mismo de antes Sea P(n) una propiedad para los naturales. Si cumple : 1) P(1) cierta 2) Sea un entero arbitrario n0>1. Si P(k) cierta para todo k 1kn0 P(n0) cierta

entonces P(n) se satisface para todo N

Corolario uned58 lo mismo para n0 en vez de 1 Sea n0 un nmero fijo n0 Z, sea M={ nZ, nn0 } . Si para SM, S cumple: 1) n0S 2) Para cada n>n0 y cada k n0k<n0, si kS nS

entonces S=M
Corolario uned58 lo mismo con n0...n1 Sea P(m) una propiedad con mZ y n0Z y fijo, que cumple: 1) P(n0) es cierta 2) para cada n1>n0 y cada k n0k<n1, si P(k) es cierta P(n1) es cierta entonces P(n) cierta para nn0 Ejemplo 1.318 y 1.320

& $  % $


Con este nombre se designan una amplia clase de ecuaciones algebraicas con ms de una indeterminada en un particular sistema de nmeros como son Z y Q. Teorema Para a,b,nZ, tenemos que ax+by=n tiene solucin entera x0, y0 d=mcd(a,b) d|n

Pg.-37 de 53

Demostracin: d | a d | ax 0 d | ax 0 + by 0 = n d | b d | by 0 d=mcd(a,b) y por Bedut d=a+b con ,Z Sean x0=n/d, y0=n/d. Es suficiente probar que x0, y0 resuelven la ecuacin. Para ello los sustituimos: an bn a b + = n + ax 0 + by 0 = ?? =n d d d d

Teorema Uned 65 Sea ax+by=n con d|n, y a,b,n enteros no nulos. Entonces la solucin particular de la ecuacin ax+by=n tiene la forma b a , y 0 donde Z. x 0 + d d Demostracin en uned 65 (2 pginas).

Teorema Uned 70 2 2 La ecuacin diofntica x y =n con n>0, tiene solucin si y solo si n se puede factorizar como producto de dos nmeros de la misma paridad (ambos pares o ambos impares). Si existen, las soluciones de la ecuacin tienen la forma x =

a+b ab , y= , donde a y b 2 2

recorren todos los nmeros de la misma paridad y tales que n=ab.

Algoritmo de factorizacin de Fermat Uned 72 Permite conocer si un nmero natural impar es compuesto, y si lo es, hallar sus factores. Sea n un nmero natural impar. Si n es compuesto se tiene que n=ab donde a y b tambin han de ser impares, y podemos suponer que ab>1. Por el teorema anterior se puede escribir

a + b a b =n. 2 2
2 2

Luego estudiar si un nmero impar es compuesto es un problema equivalente a resolver la 2 2 2 2 ecuacin x y =n , que puede escribirse x n=y . 2 El primer paso es determinar el mnimo entero positivo q que satisfaga q n y 2 2 2 posteriormente habra que estudiar si alguno de los nmeros q n, (q+1) n, (q+2) n, ... es un cuadrado.

n 2 + 2 n + 1 4 n n + 1 n + 1 = Este proceso no es indefinido ya que n= . 2 2 4


2 2

Esta solucin corresponde a la factorizacin trivial n=n1. Luego los nicos valores que hay que n+1 . estudiar son aquellos nmeros m que satisfacen qm< 2
Si existe algun m m n que sea un cuadrado, entonces n es compuesto.
2

Para hallar sus factores tenemos que


x=m, y=m n y es un cuadrado
2

Pg.-38 de 53

Resolviendo a y b en a+b a-b x= , hemos terminado: n=ab. , y= 2 2 Teorema Uned 74 2 2 2 Las soluciones de la ecuacin pitagorica x +y =z que satisfacen: mcd(x,y,z)=1, 2|x, con x,y,z>0 vienen dadas por las frmulas x=2st 2 2 v=s t , 2 2 z=s +t para naturales s,t, s>t, con distinta paridad, tales que mcd(s,t)=1.

  #& $
Definicin Sea m>0. Dados a,bZ se dice que a y b son congruentes mdulo m si ab es divisible por m.
Simblicamente esta relacin se escribe: ab mod(m) m|(ab) .

Ejemplo: El minutero del cronometro se pone a 0 cada 60 minutos. Si llevo cronometrados 95 minutos, el cronometro marcar 35, que es un nmero congruente con 95 mdulo 60. Se denota 3595 mod 60 o tb. 9535 mod 60.
Teorema Uned 90 Para a,b enteros, se cumple que ab mod(m) a y b tienen el mismo resto al dividirlos por m Demostracin Sean a=q1m+r, b=q2m+r. Entonces ab=(q1m+r)(q2m+r)=(q1q2)m m|(ab), y por tanto ab mod(m). ........ Propiedades Teorema Uned 91 m es una relacin de equivalencia en Z Si h|a, h|b, mcd (h,m)=1 y ab mod(m), entonces Si ab mod(m) entonces hahb mod(m) .............................

a b mod( m). h h

Teorema Uned 95 La ecuacin axb mod(m) tiene solucin d|b d=mcd(a,m). Ademas el nmero de soluciones no congruentes mdulo m es exactamente d. Teorema Chino del Resto Uned 96 El sistema de congruencias xaibi mod(mi), i=1,2, ..., k donde mcd(mi , mj)=1 si ij y mcd(ai , mj)=1 para 1ik , tiene una nica solucin x0 mdulo m1m2...mk y las demas soluciones son de la forma x=x0+m1m2...mk, Z.

Pg.-39 de 53

Teorema de Euler Uned 102 (m) Sean a y m dos nmeros enteros con m1, entonces si mcd(a,m)=1 se tiene que a 1 mod(m). Pequeo teorema de Fermat p1 Si p es un nmero primo que no divide al nmero a, entonces a 1 mod(m). Teorema de Wilson 104 y ver ejemplo 15.31 Si p es un nmero primo, entonces (p1)! 1mod(p). Uned

SISTEMAS DE NUMERACIN En esta seccin se estudian sistemas de numeracin diferentes al usado convencionalemente, es decir, sistemas no decimales.
Terorema Uned 110 Sea b2 un nmero natural llamado base. Todo nmero nN tiene representacin nica en base b de la forma k k1 n = akb + ak1b +...+ a1b + a0 , para algn k0, con 0ai<b, i=0,1,...,k, y con ak 0. Teorema (esto es de congruencias pero se usa en el siguiente teorema) Uned 93 Supongamos que para 1 i n se tiene que aibi mod(m), entonces

a i b i mod( m), a i b i mod( m) .


i =1 i =1 i=1 i=1

Criterio de divisibilidad por k Uned 115 t t1 Sea n un nmero natural. Como n = at10 + at110 +...+ a110 + a0 , podemos escribir

n = a i 10 i .
i=0

En congruencias vimos que si ab mod(m) entonces hahb mod(m), y por el teorema de arriba, se tiene que n = a i 10 i a i rr mod( k ),
i=0 i=0 t t

Consideremos ahora losrestos de la divisin de 10 por k para i=0,1,...,t. Supongamos que 0 son ro, r1, ..., rt, donde r0=1, ya que 10 =1 y estamos suponiendo k2. Tenemos entonces, 0 1 t 10 r0 mod(k), 10 r1 mod(k),...,10 rt mod(k).

luego n es divisible por k si y solo si

a i ri es divisible por k.
i=0

Pg.-40 de 53

42- 3 3, ,947 , 70.: 0.:7 7703. ,

%02,

Principio de inclusin exclusin. Permutaciones con y sin repeticin. Combinaciones con y sin repeticin. Frmulas combinatorias. Teorema binomial. ENTRA HASTA AQU Sucesiones definidas por recurrencia. Resolucin de ecuaciones recurrentes por iteracin. Relaciones de recurrencia de orden superior con coeficientes constantes. Funciones definidas recurrentemente.

!7 3. 5 48 1:3/,2039, 08 /0 .43904
Principio de la adiccin Si se puede realizar una primera tarea de m maneras, mientras que una segunda se puede efectuar de n maneras, y no se pueden realizar las dos a la vez, entonces tenemos un repertorio de m+n maneras de realizar una tarea. Principio de la multiplicacin Si un procedimiento se puede separar en las etapas primera y segunda, y si hay m posibles resultados para la primera etapa y n para la segunda, entonces el procedimiento total se puede realizar, en el orden designado, de mn maneras. Principio de la distribucin
Sean m,n,p nmeros naturales (0). Si se distribuyen np+m objetos en n cajas entonces alguna caja deber contener, al menos, p+1 objetos. Demostracin: Supongamos que contienen menos de p+1, por ejemplo, p objetos; entonces, el nmero total de objetos contenidos en las n cajas ser como mximo np<np+m, ya que por hipotesis m>0. Por tanto, al menos una de las cajas debe contener, como mnimo, p+1 objetos.

Corolario
Dados n nmeros enteros positivos m1, m2, ..., mn tal que

i=1 m i
n

> p,

entonces para algn 1 i n se tiene que mi>p. Demostracin: Observemos en primer lugar que el resultado es obvio para n=1, ya que si (m1/1)>p entonces m1>p. La desigualdad del enunciado puede escribirse como

i=1 m i > p . As, existe m>0 tal que


n

i=1 m i = np + m.
n

Supongamos que disponemos de n cajas y que mi es el nmero de elementos de cada caja, por el principio de la distribucin alguno de los mi debe ser estrictamente mayor que p.

Pg.-41 de 53

!072:9,. 4308 ;,7 ,. 4308 .42- 3,. 4308


Para un entero n 0, n factorial, expresado n!, se define por: 0! = 1, n! = (n)(n1)(n2)...321, para n 1 Segn la regla del producto, las maneras de escoger n elementos de entre un total de N segn un determinado orden, son igual al producto de n operandos de la forma N(N-1)(N-2)...(N-n+1)

Esta expresin se conoce como Variaciones de N tomadas de n en n, y se representa como VN , n. Para llegar a una versin simplificada se opera as1:
N(N1)(N2) ... (Nn+1)

( N n)(N n 1) ... (3)(2)(1) N! = = VN,n (N n)(N n 1) ... (3)(2)(1) (N n)!

En el caso especial en que N=n, se llama permutaciones de N, y se representa PN. N! N! PN = = = N! (N n)! 0! En general, si hay N objetos con n1 de un primer tipo, n2 de un segundo tipo, ..., y nr de un r simo tipo, donde n1 +n2 +...+nr = N, entonces hay N! permutaciones de los objetos dados. n 1! n 2 !... n r !

Si se tratase de escoger n elementos pudiendose repetir cualquiera, el repertorio donde escoger no disminuira y la expresin sera el producto de n veces N: NN...N = Nn Esta expresin se conoce como Variaciones con repeticin y se representa como VR N ,n = N . Notese que cuando calculabamos VN,n estabamos hallando el nmero de grupos de n elementos distintos, multiplicado por el nmero de posibilidades de ordenar internamente esos grupos de n elementos (PN). Si quisieramos hallar el nmero de maneras de escoger n de entre N elementos distintos sin repeticin y sin orden tendramos la expresin VN,n PN
, que se llama combinanciones de N tomadas de n en n y se representa CN,n

N . n

En general, dados N objetos distintos de los cuales se quiere tomar n objetos con repeticin, su ( N + n 1)! N + n 1 nmero sera = . n!( N 1)! n En consecuencia, el nmero de combinaciones con repeticin de N objetos, tomados de n en n, es C(N+n1,n).

Notese que aadimos una fraccin cuyo resultado es 1.

Pg.-42 de 53

Resumen
Variacin es el nmero de ordenaciones de n elementos tomados de un total de N. Permutacin es el nmero de ordenaciones de los N elementos de un conjunto. Variacin con repeticin es el nmero de ordenaciones de n elementos, tomados repetidos o no, de un total de N. Combinacin es el nmero de conjuntos de n elementos tomados de un total de N. Combinaciones con repeticin es el nmero de conjuntos de n elementos, tomados repetidos o no, de un total de N. VN,n = VN,n N! , PN = N! , VR N ,n = N , C N, n = , CR N ,n = C N + n 1,n PN (N n)!

Adems, en el caso de N objetos con n1 de un primer tipo, n2 de un segundo tipo, ..., y nr de un r simo tipo, donde n1 +n2 +...+nr = N, el nmero de permutaciones de los objetos dados es N! . n 1! n 2 !... n r !

%04702, - 342 ,
Teorema binomial Grimaldi 14 Si x e y son variables y n es un entero positivo, entonces
n n n n n n 1 1 n n 0 n k n k (x+y)n = x 0 y n + x 1 y n 1 + x 2 y n 2 + ... + x y + x y = x y . 0 1 2 n 1 n k = 0 k

Demostracin: En el producto (x+y) (x+y) (x+y) ... (x+y)

el coeficiente de xkynk , 0 k n, es el nmero de formas distintas en que se pueden seleccionar las kx (y en consecuencia las (nk)y) de las nx disponibles en los n fatores. Por ejemplo, una forma es elegir x de los primeros k factores e y de los ltimos nk factores. El n total de las selecciones de tamao k de una coleccin de tamao n es C(n,k) de donde resulta el teorema.
n n n k n k De este resultado se observa que(x+y)n = x y . Debido a este teorema, suele k k = 0 n k denominarse coeficiente binomial.

Corolario
Para cualquier entero n>0,

n n n n a) + + +...+ = 2 n 0 1 2 n n n n n b) + + ... + ( 1) n = 0 0 1 2 n

Pg.-43 de 53

Demostracin: El apartado a) resulta del teorema binomial al hacer x=y=1. Cuando x=1 e y=1, resulta el apartado b).

Teorema Uned 240 Para cada n, k N{0} y para kn se cumple la siguiente igualdad

n + 1 k k + 1 n k + 1 k k k + = + ... +

Teorema multinomial (generalizacin del teorema binomial) Uned 14 n1 n2 n3 x2 x3 ... x nt Para los enteros positivos n, t, el coeficiente de x 1 t en (x 1 + x 2 + x 3 + ... + x t n ) es

n! i donde cada n es un entero con 0 ni n, para toda 1 i t y n 1 ! n 2 ! n 3 !... n t !

n1+n1+n1+...+nt=n.

!7 3. 5 4 /0 3. :8 O3 0 . :8 O3
Sea S un conjunto finito y P1, P2, ..., Pn propiedades que cada uno de los elementos de S puede o no satisfacer. Para cada i=1, 2, ..., n, sea Si = {xS tal que x satisface Pi} entonces
n i =1

Si = {x S tal que x satisface al menos una de las propiedade s Pi , i = 1,2,..., n}

 (S S ) =  S = {x S tal que x no satisface ninguna de las propiedades P , i = 1,2,...,n}


n n i =1 i i =1 i i

donde Si es el complementario de Si en S.
Teorema (principio de Inclusin-Exclusin) Uned 252 Con la notacin anterior:


n i =1

k n S i = S Si + S i1 S i 2 S i1 S i 2 Si 3 + ... + ( 1) S i1 S i 2 ... S ik + ...(1) S 2 S1 . i =1

donde para 2kn, las sumas de orden k, {i1, i2, ..., ik}, de {1,2,..,n}.

Si1 Si2 ... Sik

se extienden a todas las combinaciones

Corolario Uned 253 El nmero de elmentos de S que satisfacen al menos una de las propiedades P1, P2, ..., Pn es

Pg.-44 de 53

S
n i =1

= S S i S i1 S i 2 + S i1 S i 2 S i 3 + ... + ( 1) k 1 S i1 S i 2 ... S ik + ... +


i =1

(1)

n 1

S1 ... S n

donde para 2kn, las sumas de orden k, {i1, i2, ..., ik}, de {1,2,..,n}.

Si1 Si2 ... Sik

se extienden a todas las combinaciones

Pg.-45 de 53

MATEMATICA DISCRETA. Ejercicios I


1. Determine si las siguientes afirmaciones son verdaderas o falsas. Explique brevemente la respuesta.

'
{a,b, {a,b} }

a) b) c) {} d) {} e) {}

& ' & ' &

f) {} g) {} {} h) {} {} i) {a,b} {a,b,c, {a,b,c} } j) {a,b} {a,b,c, {a,b,c} }

' & ' &

k) {a,b} l) {a,b} { n) {a, } m) {a, }

&
a,b, { { a,b } } }

' ' &

{a, {a, } } {a,{a, }}

Hay que tener en cuenta que todo conjunto tiene como subconjunto a si mismo y al vacio, y que un conjunto A es subconjunto de otro B, si A aparece como elemento del conjunto potencia de B.

y C son

2. Determine cuales de las siguientes afirmaciones acerca de conjuntos arbitrarios A, B verdaderas. Justifique la respuesta. a) Si A B y B C, entonces A C

', porque b B b C
b) Si A B y B C, entonces A C
A aparece como elemento en C, lo cual no garantiza que los elementos de A esten en C. &, contraejemplo : Sea A={a}, B={ {a}, b, c }. Vemos que A B. Sea C={ {a}, b, c,d }, vemos que B C, pero {a} P(C), por lo que no se cumple A C

c) Si A B y B C, entonces A C
A no aparece como elemento, aunque sus elementos formen parte de un elemento de C. &, contraejemplo : Sea A={a}, B={a,b}, C={ {a,b}}. Vemos que A C solo se cumpliria si C={...,{a},....,...}

d) Si A B y B C, entonces A C

&, contraejemplo :
C

Los elementos de A no aparecen en C, sino integrando un elemento de C. Sea A={a}, B={a,b}, C={{a,b}} pero P(C)={ , {{a,b}} } , por lo que no se cumple A

3. Sean (AC)(BC) y (A C )(B C ), demostrar que AB.

Pg.-46 de 53

Sabemos que C C =U y A=AU, asi que A=A(C C ), que desarrollado, = (AC) (A C ) Y observando el enunciado : ((AC)(A C )) ((BC)(B C )) A B

4. Que se puede decir de los conjuntos P y Q ? a) PQ = P PQ ?


Dems. : Para cualquier xP : P=(PQ) x(PQ) xQ Dems. : Para cualquier xP : P=(PQ) x(PQ) xQ

b) PQ = P QP ?

c) PQ = P Q= ?, es decir : (PQ)(PQ)=P Q= ?
Es erroneo suponer que Q=, Dems. :

x P x P Q P P Q Si x Q : x P x P Q P P Q d) PQ = PQ P=Q ?
Dems : Para xP PQ = PQ, xQ P=Q

5. a) Sean AB y CD. Siempre sucede que (AC) (BD)?


S, x A C

x A x B x B D x C x D

Siempre sucede que (AC)(BD)?


S, x A C

x A x B x B D x C x D

b) Sean AB y CD. Siempre sucede que (AC)(BD)?


No. En a) demostramos que son subconjuntos, ahora refutaremos demostrando que son iguales. Contraejemplo : A={1,2}, B=D={1,2,3}, C={2,3}, vemos que AB y CD, pero (AC)=(BD)

Siempre sucede que (A C) (B D)?


Contraejemplo : A={1,2}, B={1,2,3}, C={1,4}, D={1,4,5} vemos que AB y CD, pero (AC)=(BD).

6. a) Puesto que (A B)=(A C), es necesario que B=C?


No, contraejemplo : A={1,2,3}, B={3,4,6}, C={2,4,6}

b) Puesto que (A B)=(A C), es necesario que B=C?


No, contraejemplo : A={1,2,3}, B={2,3,4}, C={2,3,5}

c) Puesto que (A B)=(A C), es necesario que B=C?


A B=(A B)(A B), A C=(A C)(A C)

Pg.-47 de 53

Para x B

x A B x A, o x A C x C x A B x A, o x A C x A C x A, o x A B x B x A C x A, o x A B

Para x C

7. Sean A,B,C conjuntos arbitrarios. a) Demostrar (AB)C=A(B C) AB= A B (AB)C (A B )C (A B ) C A( B C ) A (B C) A(BC) b) Demostrar (AB)C=(AC)B (AB)C (A B ) C (A C ) B (AC)B c) Demostrar (AB)C=(AC)(B C) A(B C) = A(C (BC)) A(B C) A(C B) x C x (B C) C x C x (B C) C x B C x B x C x B C (B C) C Como son iguales, se verifica la demostracin.

B=estudiantes de 2, 8. Sean A=estudiantes de 1 curso, C= estudiantes de I.T. Informtica, D= estudiantes de I. Informtica, E= estudiantes de MD, F= estudiantes que fueron al concierto, G= estudiantes que se acostaron tarde Expresar : a) Todos los del 1 curso de I. Informtica cursan MD : A E=A b) Los del curso de MD o los que fueron al concierto se acostaron tarde : E F=G c) Ningn estudiante de MD fue al concierto : E F= d) El concierto fue solo para estudiantes de 1 y 2 : ( A B) F= e) Todos los de 2 que no son de I. T. Informtica ni de I. Informtica, fueron al concierto. F(BCD )=F

er

9. Sea A={}. Sea B=P(P(A)). P(A)={A,,{} }, B=P(P(A))= { A, , {}, {A}, {{}}, {A, }, {,{}} }

' ' '

a) B c) {} B e) {{}} B

' ' '

b) B d) {} B f) {{}} B

10. Verdadero o falso?

&

a) A P(A) = P(A)

Pg.-48 de 53

Contraejemplo : Sea A={1,2} ; P(A)={, {1}, {2}, A}, A P(A)= {1, 2, , {1}, {2}, {1,2} }

& ' & ' &

b) A P(A) = A
Ver Contraejemplo anterior.

c) {A} P(A) = P(A) Porque {A} P(A) d) {A} P(A) = A e) AP(A) = A


A esta como elemento en P(A), y ningun conjunto se tiene a si mismo como elemento. Porque A P(A)= {1,2} {, {1}, {2}, A} = {A}

' clase?

f) P(A){A} = P(A)
P(A){A} = { , {1}, {2} }

11. Sea A y B conjuntos arbitrarios. a) Demostrar P(A B)= P(A) P(B), o mostrar contraejemplo
Para un xP(AB) xAB xA y xB xP(A) y xP(B) xP(A)P(B), de modo que P(AB)=P(A)P(B)

b) Demostrar P(A B)= P(A) P(B), o mostrar contraejemplo


Sea U={1,2,3}, A={1}, B={2}. Entonces {1,2} per P(A B), pero {1,2} P(A) P(B)

12. Mostrar ejemplo de conjuntos con ms de 4 elementos A y B y una funcin f:A B tal que : a) f no sea inyectiva ni sobreyectiva b) f sea inyectiva y no sobreyectiva. c) f no sea inyectiva y s sobreyectiva. d) f sea inyectiva y sobreyectiva
14a) 13e) 13d) 13a)

13. Para cada una de las siguientes funciones f:Z Z, determinar si la funcin es inyectiva y/o sobreyectiva. Si no es sobreyectiva, determinar la imagen de f. a) f(x)=x+7
Inyectiva : f: Z Z. Sobreyectiva : x x+7

b) f(x)=2x3
Inyectiva, sobreyectiva.

c) f(x)=-x+5
Inyectiva, sobreyectiva.

d) f(x)=x

2
+

No inyectiva : f(3)=9=f(-3). Sera inyectiva si f: Z Z. 2 Sobreyectiva, pues para x Z, |x|Z .

e) f(x)=x +x
Inyectiva, no sobreyectiva.

f) f (x)=x

Inyectiva, no sobreyectiva.

Pg.-49 de 53

14. Para cada una de las siguientes funciones f:R R, determinar si la funcin es inyectiva y/o sobreyectiva. Si no es sobreyectiva, determinar la imagen de f. a) g(x)=x+7 d) g(x)=x 2 e) g(x)=x +x
2

b) g(x)=2x3

c) g(x)=x+5

f) g(x)=x

imagen = [0,+) imagen = [-1/4,+)

a), b), c), y f) son inyectivas y suprayectivas, d) y e), ni inyectivas, ni suprayectivas.

15. Dadas las funciones f,g:R R 1 2 f(x)= y g(x)=x +3x+4 2 x +3


g  f = (f(x)) +3x+4 ... ; f  g=
2

hallar f  g y g  f . 1 (g(x)) 2 + 3
... ;

16. Sean f:AB y g:BC aplicaciones (por tanto, g  f : AC). Demostrar que: a) Si f y g son inyectivas entonces g  f es inyectiva b) Si f y g son sobreyectivas entonces g  f es sobreyectiva c) Si f y g son biyectivas entonces g  f es biyectiva Ver demostracin en apuntes.

17. En las mismas condiciones del ejercicio anterior demostrar que : a) Si g  f es inyectiva entonces f y g tambin lo son b) Si g  f es sobreyectiva entonces f y g tambin lo son c) Si g  f es biyectiva entonces f y g tambin lo son

18. a) Sea f una aplicacin la inversa, f . Demostrar que f


--1

--1

tiene inversa y es la propia f,


=f(f ) (
n

o sea (f ) .
Segn Pg 86 3.17 : Si f :AA, se define f =f, y para n Z , f
-1 + n+1

-1 -1

demostracin ?)

b) Sean f y g aplicaciones biyectivas y componibles. Demostrar que la inversa de g  f es (f )  (g ) .


Para f, g invertible f y g son biyectivas gf es biyectiva gf es invertible. -1 -1 -1 -1 -1 -1 Como (gf) (f g )=IdC y (f g ) (gf)=IdA , f g es una inversa de gf. -1 -1 -1 Por la unicidad de los inversos, f g =(f g) .
-1 -1

19. Sean f: A B, g:B C y h: C A aplicaciones tales que h  g  f es inyectiva, g  f  h es sobreyectiva y f  h  g es sobreyectiva. Demostrar que f, g y h son aplicaciones biyectivas.
La composicin de funciones es asociativa, y ya vimos antes que si la composicin de 2 funciones es inyectiva, tambin lo son las 2 funciones, e idem con la sobreyectiva. Por tanto, son biyectivas.

Pg.-50 de 53

MATEMATICA DISCRETA. Ejercicios II


1. Estudiar las siguientes relaciones binarias definidas en el conjunto Z : a) x R y xy > 0

& reflexiva : 00 =0; (0,0) R ' simetrica (si xRy yRx) : porque el producto es conmutativo en Z ' transitiva (xRy, yRz xRz) : xy>0 y zy>0 (xy)(yz)>0 y2xz>0 xz>0
b) x R y xy 0

' reflexiva : para x=0 00=0 y para x= x2=+ >0 ' simetrica : el producto es conmutativo ' transitiva (xRy, yRz xRz) : xy0 y zy 0 (xy)(yz)0
*

y xz0 xz0
2

2. En Z Z se define la relacin (a,b)R(c,d) si, y solo si, ad=bc. Demostrar que se trata de una relacin de * equivalencia y hallar el conjunto cociente. (Z =Z{0} )

' reflexiva (x,y)R(x,y) : xy=yx, porque el producto es conmutativo en Z y Z* ' simetrica (a,b)R(c,d) (c,d)R(a,b) : ad=bc y cb=da ' transitiva (a,b)R(c,d) y (c,d)R(e,f) (a,b)R(e,f) :
fa=eb Conjunto cociente * ZZ*/~ = { [(a,b)] (a,b) Z Z* } , [(a,b)]= { (c,d) Z Z (a,b)R(c,d) } ad=bc a/b=c/d, el conjunto cociente seran todas las fracciones proporcionales a a/b, por consiguiente todas las clases unidas seran el conjunto de los nmeros racionales Q 3. En el conjunto a={0,1,2,4} se da la siguiente relacin : Dados x,y A, xRy x +x = 2 y +y. Demostrar que es una relacin de equivalencia y hallar el conjunto cociente.
2

ad=bc y cf=de af=be ? s porque fad=bcf y bcf=deb fad=deb

4.

Sea f : A B una aplicacin cuya descomposicin cannica es f=i  f 1  c. Demostrar : a) f es inyectiva c es inyectiva. b) f es sobreyectiva i es sobreyectiva. c) f es biyectiva c,i son biyectivas.

5. Demostrar que la relacin R definida en el conjunto de las partes de un conjunto U, P(U), por : A,B P(U), A R B A B es una relacin de orden. Es una relacin de orden total?. 6. Sea A un conjunto, donde Card(A)=n. Determinar si las siguientes proposiciones son verdaderas o flasa, en cuyo caso dar un contraejemplo. a) Si R es una relacin reflexiva en A, entonces Card(R) n. b) Si R es una relacin en A y Card(R) n, entonces R es reflexiva.

Pg.-51 de 53

c) Sean R1, R2 dos relaciones en A con R1R2. Si R1 es reflexiva ( respectivamente simetrica, antisimetrica, transitiva) entonces R2 es reflexiva( respectivamente simetrica, antisimetrica, transitiva). 7. Determinar si las siguientes relaciones definidas en el conjunto A son de equivalencia : a) A={a,b,c,d}. R={(a,a), (b,a), (b,b), (c,c), (d,d), (d,c) } b) A={1,2,3,4,5}. R={ (1,1), (1,2), (1,3), (2,1), (2,2), (3,1), (2,3), (3,3), (4,4), (3,2), (5,5) } En caso afirmativo calcular las clases de equivalencia

MATEMATICA DISCRETA. Ejercicios V


1. Demostrar por induccin lo siguiente :
a) 1 + 3 + 5 + ... + (2n1) = n2.
1=1 base de induccin : ' para n=1 ? s, porque para 1+3+5+...+(2n1)=n , con n=1 nos queda
2

paso inductivo : suponemos ' para k 1, ' para k+1? . O sea

2 (2i - 1) = k ,

i=1

(2i - 1) = (k+1) ?
2

k+1 i=1

vemos que se cumple, porque

2 2 2 (2i - 1) +(2(k+1)-1)=(k+1) k +2k+21=(k+1)

i=1

(k+1) =(k+1)

b) 1 + 3 + 5 + ... + (2n1) = n(2n1)(2n+1) / 3 .


base de induccin : 1=1 paso inductivo :
k 2

(2i - 1)2 =k(2k1)(2k+1) / 3 ,


i=1
2

(2i - 1)2 = (k+1)(2(k+1)1)(2(k+1)+1)/3?


i=1

k+1

4 1 2 (2i - 1) + (2(k+1)1) = 3 k 3 3 k ( k(2k1)(2k+1)/3 ) + (2(k+1)1) = (k+1)(2(k+1) i=1

1)(2(k+1)+1) / 3 4 11 4 11 k 3 + k + 4k 2 + 1 = k 3 + k + 4k 2 + 1 3 3 3 3

estos son exactamente la misma movida

c) 13 + 24 + 35 + ... + n(n+2) = n(n+1)(2n+7) / 6 . d) = n+1 i=1 i(i+ 1) e) 2i 1 = 2i = 2 n 1


i =1 n i =0 n n 1 n

f) i 3 =
i =1

n (n+ 1)2 n = i 4 i =1
2

este es igual pero para las tres partes : la 1 con la 2, y la 2 con la 3

2.

Demostrar que para cada n 0, el nmero 42n+1 + 3n+2 es mltiplo de 13.


Es decir : 13 | (42n+1 + 3n+2) , y por tanto : 42n+1 + 3n+2 = 13q
20+1

base de induccin : n=0, 4 paso inductivo : 4


2k+1

+3

0+2

=13 (que es mltiplo de 13)


2(k+1)+1

+3

k+2

=13q, 4

+3

(k+1)+2

Pg.-52 de 53

2(k+1)+1

+3

(k+1)+2

= 4
k+2 k+2

2k+3

+3

k+3

= 4

(2k+1)+2

+3

(k+2)+1 (2k+1)

= 4 4 +163

(2k+1)

+33

k+2

= 164 = 16(4

(2k+1)

+33
k+2

k+2

=
k+2

= 164

(2k+1)

+33

+( 133

k+2

133

k+2

) = 164

k+2

133

k+2

(2k+1)

+3

)133

= 16(13q)133

= 13( 16q3

k+2

) que evidentemente es mltiplo de 13

4. 5.

Para n Z, probar que : n2 < (n2n) / 12 .


n

lo mismo que los anteriores


2

Sea P(n) la proposicin para n Z+, i = (n+ (1 / 2)) 2


i =1

Demostrar que la veracidad de P(k) implica la veracidad de P(k+1) para todo k1.
lo mismo de antes !

Es verdadera P(n) para todo n Z+ ? 6. Demostrar que todo nmero natural n 24 se puede expresar como la suma de cincos y sietes . 8. Probar que la suma de los ngulos internos de un polgono convexo de n lados es (n2) radianes.

Pg.-53 de 53