Teor de la computacin a o

Maricela Quintana Lpez y Jess Snchez Velzquez o u a a Semestre Enero - Mayo 1998

Teora de la Computacin o ITESM-CEM Dept. C.C.

Maricela Quintana Jes s Snchez u a

Cap tulo 1 Conceptos Matemticos a Preliminares

Para poder denir una relacin es necesario que existan al menos dos cono juntos que relacionar. Una operacin util para denir relaciones y funciones o es el producto cartesiano, el cual se dene como: Producto cartesiano : A B = f(a; b)ja 2 A y b 2 Bg (1.1)

Esta operacin nos indica que el producto cartesiano de dos conjuntos es o el conjunto formado por todos los pares de elementos (a,b), pares ordenados, que cumplan con la condicin de que el elemento a pertenezca al conjunto A o y el b pertenezca al B. Ejemplo 1 Sean X y Y dos conjuntos denidos enumerativamente: X=fx,y,zg y Y=fm,ng. El producto cartesiano de X y Y es: X Y = f(x; m); (x; n); (y; m); (y; n); (z; m); (z; n)g (1.2)

Ejemplo 2 Sean N el conjunto de los nmeros naturales N = f0; 1; 2; :::g, u y M y K conjuntos denidos como: M = fmjm 2 N y m es parg y K = fkjk 2 N y k es imparg >El elemento (3,4) pertenece al producto cartesiano de M y N?, es decir, >(3,4) 2 MN? La respuesta es NO, ya que 3 2 M y 4 = 2N = La denicin del producto cartesiano no est limitada a dos conjuntos, es o a posible extenderla a n conjuntos de la siguiente forma: X1 X2 X3 :::Xn = f(x1 ; x2 ; x3; :::; xn )jxi 2 Xi para i = 1; :::; ng (1.3) Teor de la Computacin a o ITESM-CEM Dept. C.C. 3 Maricela Quintana Jes s Snchez u a

1.1. RELACIONES Y FUNCIONES

1.1

Relaciones y Funciones

Una vez denido el concepto de producto cartesiano, la denicin de relacin o o y de funcin resulta sencillo, ya que en ambos casos la relacin y la funcin o o o son subconjuntos del producto cartesiano. Sin embargo, las restricciones o propiedades del subconjunto son las que denen si es una relacin o es una o funcin. o

1.1.1

Describir el concepto de relacin matemtica. o a

R X1 X2 X3 ::: Xn (1.4)

Una relacin R es un subconjunto del producto cartesiano de n-conjuntos. o

La relacin se denomina n-aria dependiendo del nmero de conjuntos ino u volucrados. Las relaciones 1-aria. 2-aria, 3-aria se denominan unaria, binaria y ternaria respectivamente. Cuando R S S, entonces se dice que R es una relacin sobre S. Si R o es una relacin y (a,b) un par en R, entonces ste se denota por aRb. o e Propiedades de las relaciones. Una relacin R sobre S es: o 1. Reexiva si 8a aRa 2 S: 2. Irreexiva si 8a aRa 2 S: = 3. Transitiva si aRb y bRc implican aRc: 4. Simtrica si aRb implica bRa: e 5. Asimtrica si aRb implica que bRa es falsa. e

1.1.2

Ejemplicar algunos tipos de relaciones binarias

Ejemplo 3 Sea Z el conjunto de los nmeros enteros Z=f...-2,1,0,1,2,...g u la relacin binaria C: \el cuadrado de" sobre Z Z, est denida por: o a C = f(z1 ; z2 )j(z1 )2 = z2 y z1; z2 2 Zg (1.5) Ejemplo 4 Sea N el conjunto de los nmeros naturales, la relacin MQ: u o "mayor que" sobre N N se dene como: MQ = f(n1; n2 )jn1 > n2 y n1; n2 2 Ng Teora de la Computacin o ITESM-CEM Dept. C.C. 4 (1.6) Maricela Quintana Jes s Snchez u a

 CAP TULO 1. CONCEPTOS MATEMATICOS PRELIMINARES

1.1.3

Describir el concepto de funcin, dominio y rano go en matemticas discretas. a

Dados dos conjuntos A y B, se dice que una funcin f que va de A a B, o establece una correspondencia entre los elementos de A y los elementos de B y se denota por f: A ! B

Formalmente, una funcin f es un subconjunto de A B de forma que o cada elemento de A aparece como primer elemento de a lo ms un par ordea nado, es decir, a cada a 2 A le corresponde a lo ms un b 2 B que es asignado a por la funcin f, esto es f(a) = b (ver gura 1.1). o

Figura~1.1: Componentes de una funcin o

El conjunto A es llamado dominio de la funcin y se dice que f es una funo cin de A; mientras que el conjunto de elementos que aparece como segundo o componente de los pares ordenados de una funcin se le llama contradominio o o rango. El rango es el subconjunto de B que es asignado a los elementos de A.

Ejemplo 5 Sea Z+ el conjunto de los nmeros enteros positivos Z+ =f1,2,3,...g u 1 2 + y Q el de los nmeros racionales positivos Q+ = f 1 , 1 ,..., 1 2 ,...,g. La relau 2 2 cin que asigna a cada elemento de Z su inverso multiplicativo (el elemento o por el cual al ser multiplicado da la unidad) es la funcin f : Z+ ! Q+ o que va de los enteros positivos a los racionales positivos se dene como: f 1 o (z) = z . El dominio de la funcin es Z+ , pero el rango no es Q+ , el rango + es Q1 Q denido como Q1 = f a ja = 1 y a 2 Q+ g b b Teor de la Computacin a o ITESM-CEM Dept. C.C. 5 Maricela Quintana Jes s Snchez u a

1.1. RELACIONES Y FUNCIONES

1.1.4

Describir algunos tipos de funciones, tales como las binarias, n-arias, parciales.

El dominio de una funcin es un conjunto que frecuentemente resulta ser el o producto cartesiano de dos o ms conjuntos. Una funcin a o f : X1 X2 X3 ::: Xn ! Y (1.7)

se dice que es funcin n-variable u operacin n-variable. El valor de la o o funcin con variables, x1 ,x2 ,x3 ,...,xn que tambin son llamadas argumentos o e de la funcin se denota por f(x1 ,x2 ,x3 ,...,xn ). Al igual que en las relaciones, el o n mero de variables denominan a la funcin y las funciones con una, dos y tres u o variables son frecuentemente referidas como operaciones unarias, binarias y ternarias. Las funciones tambien pueden clasicarse como totales o parciales.

Figura~1.2: Funciones totales. Una funcin total f de X a Y (gura 1.2) es una relacin binaria de X o o Y que satisface las siguientes propiedades: a) Para cada x 2 X existe y 2 Y de forma que (x,y) 2 f b) Si (x,y1) 2 f y (x,y2 ) 2 f , entonces y1 = y2 .

Figura~1.3: Funciones parciales. Teora de la Computacin o ITESM-CEM Dept. C.C. 6 Maricela Quintana Jes s Snchez u a

 CAP TULO 1. CONCEPTOS MATEMATICOS PRELIMINARES Una funcin parcial f de X a Y (gura 1.3) es una relacin de X Y o o en la cual y1 = y2 siempre que (x,y1 ) 2 f y (x,y2 ) 2 f. Una funcin parcial o est denida para un argumento x si existe una y 2 Y tal que (x,y) 2 f , de a lo contrario, f est indenida para x. a Una funcin total puede verse como una funcin parcial que est denida o o a para todos los elementos del dominio.

Figura~1.4: Tipos de funciones. Otra forma de clasicar las funciones es de acuerdo a la relacin entre el o dominio y el rango. Una funcin se dice que es inyectiva (uno a uno) si a cada o elemento del dominio le corresponde un elemento distinto en el rango. Si el rango de la funcin es el conjunto completo, entonces la funcin se denomina o o sobreyectiva. Finalmente si la funcin es sobreyectiva e inyectiva, entonces o se dice que la funcin es biyectiva o biun o voca (gura 1.4).

1.1.5

Ejemplicar la aplicacin de diversos operadores o sobre funciones.

1. Proyeccin.: in : Nn !N, obtiene de una tupla de n elementos aqul o e que est en la posicin i. a o
4 Ejemplo 6 2 (1; 2; 3; 4) = 2

2. Combinacin. La combinacin de dos funciones f : Nk !Nm y g : o o Nk !Nn es la funcin f g : Nk !Nm+n denida por f g(x) = o (f (x); g(x)), donde x es una tupla de k elementos. Teor de la Computacin a o ITESM-CEM Dept. C.C. 7 Maricela Quintana Jes s Snchez u a

1.2. CONJUNTOS CONTABLES Y NO CONTABLES

3 3 Ejemplo 7 1 3 (4; 6; 8) = (4; 8):

3. Composicin. La combinacin de dos funciones f : Nk !Nm y g : o o m n N !N es la funcin g f : Nk !Nm+n denida por g f(x) = g(f(x)). o
3 3 2 Ejemplo 8 Sea f : 2 1 y g: 1 , la composicin g f aplicada a o 3 3 la tupla (1,5,7) da como resultado f(1; 5; 7) : 2 1 (1; 5; 7) = (5; 1);y 2 g(5; 1) : 1 = 5

1.1.6

Establecer las diferencias bsicas entre relaciones a y funciones.

Las diferencias bsicas entre relaciones y funciones es que una relacin R es a o cualquier subconjunto del producto cartesiano A B sin ninguna restriccin, o mientras que una funcin F es un subconjunto del producto cartesiano en el o cual cada elemento de A aparece como primer elemento en a lo ms un par a ordenado. Ejemplo 9 Sea K Z Z donde Z es el conjunto de los enteros. Si K(z) p = z. entonces K es una relacin, ya que (4,2) y (4,-2) 2 Z Z y el elemento o 4 aparece en ms de un par ordenado. Sin embargo, si K(z) = z 2 entonces a K es una funcin total y es inyectiva. o

1.2

Conjuntos contables y no contables

Los conjuntos pueden tener un tama~ o nito o innito, por ejemplo: el n conjunto de los numros enteros mayores que cero y menores que tres es un e conjunto nito que consta de los elementos 1 y 2. Por otro lado el conjunto de los numeros enteros mayores a cero es un conjunto innito. Para poder determinar el tama~o de un conjunto, es necesario contar con una medida n para este propsito. Tal medida es la llamada cardinalidad de un conjunto. o

1.2.1

Denir el concepto de cardinalidad de un conjunto.

La cardinalidad de un conjunto A, es el n mero de elementos del conjunto y u se denota por card (A) o por jAj. La cardinalidad puede ser nita o innita. Teora de la Computacin o ITESM-CEM Dept. C.C. 8 Maricela Quintana Jes s Snchez u a

 CAP TULO 1. CONCEPTOS MATEMATICOS PRELIMINARES Cuando el conjunto es nito, basta con contar sus elementos para determinar su cardinalidad. Sin embargo, la situacin se complica cuando hablamos de o conjuntos innitos. En general, dos conjuntos S1 y S2 tienen la misma cardinalidad, jS1 j = jS2 j, si existe una transformacin biyectiva (funcin sobreyectiva e inyectiva) o o de elementos de S1 a S2 : 1. Existe una funcin total inyectiva (uno a uno) f : S1 ! S2 . o 2. 8m 2 S2 existe n 2 S1 tal que m = f(n) (sobreyectiva)

Figura~1.5: Cardinalidad de conjuntos. OJO: Para conjuntos innitos, no necesariamente

La cardinalidad de un conjunto S1es menor a la de otro S2 , jS1 j < jS2 j, si existe una funcin total inyectiva que establece una correspondencia entre o elementos de S1 a S2 . Un conjunto es innito si tiene un subconjunto propio de la misma cardinalidad. Ejemplo 10 Sea A=fx,y,zg y B=f4,6,8g, ambos conjuntos tienen la misma cardinalidad ya que card(A)=3 y card(B)=3 Ejemplo 11 El conjunto de enteros pares y el conjunto de enteros tienen la misma cardinalidad, pues f(2i) = i es biyectiva. Ejemplo 12 El conjunto de enteros y el conjunto de reales no tienen la misma cardinalidad. card(Enteros) < card(Reales) Teor de la Computacin a o ITESM-CEM Dept. C.C. 9 Maricela Quintana Jes s Snchez u a

jS2 j (ver gura 1.5).

S1 S2 ) jS1 j 6=

 1.3. INDUCCION MATEMATICA

1.2.2

Explicar las diferencias bsicas que distinguen un a conjunto contable de uno no-contable y de uno innitamente enumerable.

Un conjunto contable es aquel que es nito o enumerable. Si el conjunto no es contable, entonces se dice que es no-contable. Si el conjunto tiene la misma cardinalidad que el conjunto de los n meu ros naturales, entonces se dice que es innitamente contable o innitamente enumerables. Ejemplo 13 El conjunto de los dgitos es contable. El conjunto de los nme u ros reales es no contable. El conjunto de los nmeros primos y el de los u nmeros enteros es innitamente contable. u

1.3

Induccin Matemtica o a

La induccin es uno de los mtodos efectivos ms comunes de prueba en las o e a matemticas. Muchos conceptos importantes de la ciencia de la computacin, a o especialmente los que involucran modelos de datos, se denen mejor por una induccin en la cual damos una regla como base deniendo el ejemplo ms o a sencillo del concepto, y una serie de reglas inductivas. Sus aplicaciones son: Probar que un programa es correcto. Deniciones inductivas Anlisis del tiempo de corrida a

1.3.1

Describir el principio de induccin matemtica o a

La induccin matemtica es una tcnica util para probar que un enunciado o a e S(n) es verdadero para todos los enteros positivos n, o, de manera general, para todos los enteros mayores a un l mite determinado. Teora de la Computacin o ITESM-CEM Dept. C.C. 10 Maricela Quintana Jes s Snchez u a

 CAP TULO 1. CONCEPTOS MATEMATICOS PRELIMINARES

Figura~1.6: Efecto domin en la induccin matemtica. o o a

1.3.2

Explicar cada uno de los componentes de la induccin matemtica. o a

Sea S(n) un enunciado acerca de un entero n. La prueba sencilla consiste de: 1. Caso base: Se debe probar S(n), es decir, probar el enunciado S con el argumento n que denota el caso base. Frecuentemente el caso base es cero, S(n = 0), pero tambin es posible tomar cualquier entero k, en el e entendimiento de que S(n = k) es verdadero slo para todos los n k. o 2. Paso inductivo. Probar el paso inductivo, se prueba que para todas las n 0 (o n k), S(n) implica S(n + 1). En esta parte de la prueba, se asume que la hiptesis inductiva S(n) es verdadera y a partir de ella o se demuestra que S(n+1) tambin lo es. e Ejemplo 14 Probar que S(n) :
n P

i=0

2i = 2n+1 1

Caso base S(n = 0) 0 P i 2 = 20+1 1 ) 20 = 21 1 ) 1 = 2 1 ) 1 = 1 S(0) : ) el caso base queda demostrado.

i=0

Teor de la Computacin a o ITESM-CEM Dept. C.C.

11

Maricela Quintana Jes s Snchez u a

1.4. DEFINICIONES RECURSIVAS Paso Inductivo S(n = n + 1) n+1 P i S(n + 1) : 2 = 2(n+1)+1 1 ) 20 + 21 + + 2n + 2n+1 = 2n+2 1 )
i=0

) 21(2n+1 ) 1 = 2n+2 1 ) 2n+2 1 = 2n+2 1

n P

i=0

2 + 2n+1 = 2n+2 1 ) 2n+1 1 + 2n+1 = 2n+2 1

) el paso inductivo queda demostrado y S(n) es verdadero.

1.4

Deniciones Recursivas

Algunos ejemplos de problemas recursivos: Torres de Hanoi, Josephus.

1.4.1

Explicar el concepto de denicin recursiva (deo nicin inductiva). o

Una denicin recursiva, es una denicin en la que el concepto se dene en o o terminos de l mismo.Muchos conceptos en computacin son mejor denidos e o por recursin.(Recorridos de un rbol) o a

1.4.2

Describir cada uno de los componentes esenciales de toda denicin recursiva. o

Para denir conceptos recursivos se utiliza la induccin, por lo que no es o raro que las reglas para denir el concepto se denominen reglas base y reglas inductivas. 1. Reglas base: sirven para denir los ejemplo ms sencillos del concepto. a 2. Reglas inductivas: sirven para construir instancias ms complejas del a concepto a partir de las sencillas. Ejemplo 15 Factorial de un nmero u Regla Base: 0!=1. Regla Inductiva: n! = n*(n 1)! Teora de la Computacin o ITESM-CEM Dept. C.C. 12 Maricela Quintana Jes s Snchez u a

 CAP TULO 1. CONCEPTOS MATEMATICOS PRELIMINARES

1.4.3

Ejemplicar el uso de deniciones recursivas.

Ejemplo 16 Una expresin aritmtica se dene recursivamente como sigue: o e Reglas base: 1. Una variable es una expresin aritmtica o e Una constante es una expresion aritmtica e Reglas inductivas: Si E, E1, y E2 son expresiones aritmticas entone ces tambien lo son: E1 + E2 E1 E2 E1 E2 E1 =E2 E Ejemplo 17 Cerradura de las relaciones. Suponga que P es un conjunto de propiedades de relaciones sobre un conjunto. La cerradura P de una relacin o 0 R es la relacin ms peque~a R que incluye a todos los pares de R y posee o a n las propiedades P Cerrradura transitiva R+ se dene recursivamente como: Regla base: Si (a; b) 2 R ) (a; b) 2 R+ . Regla inductiva: Si (a; b) 2 R+ y (b; c) 2 R ) (a; c) 2 R+ .

Teor de la Computacin a o ITESM-CEM Dept. C.C.

13

Maricela Quintana Jes s Snchez u a