Unidad 5 de Matemticas Discretas

Carrrera: Ing. En Sistemas Computacionales

Alumna: Marilin Hernndez Islas

Acapulco, Gro a 15 de Mayo de 2013l

INDICE Tema: 5 Relaciones 5.1 Conceptos Bsicos 5.1.1 Producto Cartesiano 5.1.2 Relacin Binaria 5.1.3 Representacin de relaciones (matrices y conjuntos, grafos, diagramas de flechas). No. De Pagina 3 3 5 6

5.2 Propiedades de las Relaciones (Reflexiva, irreflexiva, simtrica , asimtrica, anti simtrica, transitiva)

10

5.3 Relaciones de Equivalencia( cerradura, clases de equivalencia, participaciones) 5.4 Funciones( inyectiva, suprayectiva y biyectiva)

14 17

Relaciones
Dados dos conjuntos A y B, el producto cartesianos de estos dos conjuntos es el conjunto formado por todos los pares ordenados (a,b) donde a es un elemento de A y b es un elemento de B. Relacin Dados dos conjuntos A y B una relacin es un subconjunto del producto cartesiano A x B. Un elemento a, que pertenece al conjunto A, est relacionado con un elemento b, que pertenece al conjunto B, si el par (a, b) pertenece a un subconjunto G (llamado grafo) del producto cartesiano A x B. Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto cartesiano A x B = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}. Una relacin sera R = {(a,1),(c,2)}. A las relaciones tambin se les llama correspondencias.

Conceptos bsicos

PAREJA ORDENADA Se dice que una pareja ordenada es un esquema en el que un elemento x de un conjunto est relacionado con un elemento y de otro conjunto. Una pareja ordenada as definida se escribir de la siguiente manera: (x, y), donde x pertenece al primer conjunto e y pertenece al segundo conjunto.

Producto cartesiano
Considere dos conjuntos arbitrarios A y B. El conjunto de todas las parejas ordenadas (a, b) en donde a A y b B se llama producto o producto cartesiano de A y B. La definicin de producto cartesiano puede extenderse fcilmente al caso de ms de dos conjuntos. Se llama producto cartesiano de dos conjuntos A y B y se representa A x B, al conjunto de pares ordenados (a, b), tales que el primer elemento pertenece al primer conjunto y el segundo elemento al segundo conjunto. Es decir: A x B = {(a, b) / a A, b B} El producto cartesiano, en general, no es conmutativo. Es decir: A x B B x A. Puede ocurrir que los conjuntos A y B sean coincidentes.

EJEMPLO: Si A = {a, b, c} y B = {1, 2, 3, 4}, el producto cartesiano es: A x B = {(a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b, 3), (b, 4), (c, 1), (c, 2), (c, 3), (c, 4)} Se puede representar grficamente por medio de puntos en un plano, como se muestra a continuacin. Aqu, cada punto P representa una pareja ordenada (a, b) de nmeros reales y viceversa; la lnea vertical a travs de P encuentra al eje x en a, y la lnea horizontal a travs de P encuentra el eje y en b. A esta representacin se le conoce como diagrama cartesiano.

Hay otra manera de visualizar una relacin y es a travs de una representacin grfica, donde se destaquen los puntos en el plano que pertenecen a A y los puntos que pertenecen a B. Se trazan flechas que indican la relacin que existe entre cada elemento del conjunto A y su correspondiente en el conjunto B. A esta representacin grfica se le conoce como un diagrama de flechas.

RELACIN BINARIA
La relacin binaria definida en un conjunto A es un subconjunto del producto cartesiano A x A EJEMPLO: Sea el conjunto A = {x, y, z}. El grafo de la siguiente figura representa una relacin binaria definida en A, puesto que los pares (x, z), (y, x) (y, y) constituyen un subconjunto de A x A.
5

Se dice que dos elementos a y b estn relacionados, y se escribe a R b, a est relacionado con b mediante la relacin binaria R, cuando el par ordenado (a, b) pertenece al subconjunto del producto cartesiano que define la relacin. Si dos elementos a y b no estn relacionados mediante R en algn sentido, escribiremos a R b o b R a o ambas cosas.

Propiedades de una relacin binaria Las principales propiedades que puede presentar una relacin binaria R definida en un conjunto A se indican en la siguiente tabla, junto con sus respectivas condiciones.

Representacin De Relaciones (Matrices, Conjunto, Grafos, Diagrama de flechas)

Los ejemplos de relaciones que ms se presentan en el rea de la computacin son aquellas que estn definidas sobre conjuntos finitos. En esta seccin se trataran dos formas de representar dichas relaciones y su uso para poder identificar las propiedades vistas en la seccin anterior. Representacin De Relaciones Usando Matrices Un mtodo para el estudio de las relaciones de manera algortmica es utilizando matrices compuestas de ceros y unos. Sean A y B conjuntos finitos de la forma: Si R es una relacin de A en B. La relacin R puede ser representada por la matriz donde:

La matriz

se denomina matriz de R. En otras palabras la matriz, de ceros cuando est relacionado con .

y unos, de R tiene un 1 en la posicin

y un 1 en est posicin si no est relacionado con EJEMPLO: Sean Consideremos la siguiente relacin de :

Entonces la matriz de R es
7

Recprocamente, dando los conjuntos A y B con m y n elementos respectivamente, una matriz de m x n formada de ceros y unos determina una relacin de A en B. Representacin De Relaciones Usando Conjuntos Un conjunto es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto. Por ejemplo, el conjunto de los colores del arcoris es: AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} Un conjunto suele definirse mediante una propiedad que todos sus elementos comparten. Por ejemplo, para los nmeros naturales, si consideramos la propiedad de ser un nmero primo, el conjunto de los nmeros primos es: P = {2, 3, 5, 7, 11, 13, } Un conjunto queda definido nicamente por sus miembros y por nada ms. En particular el orden en el que se representen estos es irrelevante. Adems, cada elemento puede aparecer de manera idntica una sola vez, esto es, no puede haber elementos totalmente idnticos repetidos. Por ejemplo: S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles} AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta, Naranja}

Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmero naturales es infinito, pero el conjunto de los planetas en el sistema solar es finito (tiene ocho elementos). Adems, con los conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con nmeros. Los conjuntos son un concepto bsico, en el sentido de que no es posible definir los en trminos de nociones ms elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuicin y a la lgica. Por otro lado, son el concepto fundamental de la matemtica: mediante ellos puede formularse el resto de objetos matemticos, como los nmeros y las funciones, entre otros. Su estudio detallado requiere pues la introduccin de axiomas y conduce a la teora de conjunto. Representacin De Relaciones Usando Grafos

Informalmente, un grafo es un conjunto de objetos llamados vrtices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binaria entre elementos de un conjunto. Tpicamente, un grafo se representa grficamente como un conjunto de puntos (vrtices o nodos) unidos por lneas (aristas).

Un grafo G es un par ordenado G = (V,E), donde: V es un conjunto de vrtices o nodos, y E es un conjunto de aristas o arcos, que relacionan estos nodos. Normalmente V suele ser finito. Muchos resultados importantes sobre grafos no son aplicables para grafos infinitos. Se llama orden del grafo G a su nmero de vrtices, | V | . El grado de un vrtice o nodo V es igual al nmero de arcos E que se encuentran en l.
9

Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden. EJEMPLO: V:={1,2,3,4,5,6} E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}} El hecho que el vrtice 1 sea adyacente con el vrtice 2 puede ser denotado como 1 ~ 2. En las teoras de las categoras una categora puede ser considerada como un multgrafo dirigido, con los objetos como vrtices y los morfismos como aristas dirigidas. Representacin De Relaciones Usando Diagramas De Flechas Una forma de representar el producto cartesiano es el diagrama de flechas. Escriba los elementos de a y los elementos de b en dos discos disyuntos, y luego dibuje una flecha de a e a en b e b cada vez que a este relacionado con b.

10

Propiedades De Las Relaciones (Reflexiva, Simtrica, Asimtricas y Transitivas, etc...)

Relaciones Reflexivas e Irreflexivas Una relacin R en un conjunto A es reflexiva si (a, a) R para todas las a A, esto es, si a R e para todas las a e A. Una relacin R en un conjunto A es irreflexiva si a R a para toda a A. Por consiguiente, R es reflexiva si cada elemento a e A est relacionado consigo mismo y es irreflexiva si ningn elemento est relacionado consigo mismo. Ejemplo 1: (a) Sea = [(a, a)\ a A], de modo que A es la relacin de igualdad en el conjunto A. Entonces A es reflexiva, ya que (a, a) para todas las a e A. (b) Sea R = {(a, b) e A x A | a + b}, R es la relacin de desigualdad en el conjunto A. Entonces R es irreflexible, ya que (a, a) R para todas las x A. (c) Sean A = {1, 2, 3}. y J = {(1, 1), (1, 2)}. Entonces A es reflexiva ya (2,2) R y (.3,3) R. Por otra parte, R no es irreflexiva, ya que (1, l) R.

(d) Sea A un conjunto no vacio. Sea R = A x A, la relacin vaca. Enlaces R no es reflexiva, ya que (a, a) R para todas las a A (el conjunto vaco tiene elementos). Sin embargo, R es irreflexiva. Relaciones Simtricas y Asimtrica

Una relacin R en un conjunto A es simtrica si cuando a R b, entonces b R a.

11

De esto se sigue que R no es simtrica se tiene a y b A con a R b, pero b R a. Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces b Ra. De esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a. Una relacin R en un conjunto A es asimtrica si cuando a R b y b R a, entonces a = b. Otra forma de expresar esta definicin es diciendo que R es anti simtrica si cuando a b, se tiene a R b o b R a. De esto se sigue que R no es anti simtrica si se tiene a y b en A. a b, y ambas a R b y b R a. Ejemplo Sea A = [a, b, c, d, e} y sea R la relacin simtrica dada por R = {(a, b), (b, a), (a, c), (c, a), (b, c), (c, b), (b, e), (e, b), (e, a), (a, e), (c,a), (a,c)} El grafo dirigido de R se muestra en la figura 2(a), mientras que en la figura

Grafo dirigido de R Grafo dirigido de R Aparece el grado de R. Obsrvese que cada arista no dirigida corresponde a dos pares ordenados en la relacin R.
12

A una relacin simtrica R en un conjunto A se le llamar conexa si existe una trayectoria de cualquier elemento de A a cualquier otro elemento de A. Esto significa sencillamente que el grafo de R est todo en una pieza. En la figura 3 se muestran los grafos de dos relaciones simtricas. El grafo de la figura 3(a) est conectado mientras que el de la figura 3(b) no lo est.

Relaciones Transitivas Se dice que una relacin R en un conjunto A es transitiva si cuando a R b y b R e, entonces a R c. Se sigue que R no es transitiva si y slo si se puede encontrar elemento a, b y c en A tal que a R b y b R c, pero a R c. Ejemplo: Sea A = Z el conjunto de los enteros y sea R la relacin considerada en el ejemplo 2 Para ver si R es transitiva, se supone que a R b y b R c. Por
13

consiguiente, a < b; b < c. Entonces se sigue que a < c, por lo cual a R c. De aqu que R sea transitiva. Una relacin R en un conjunto A es transitiva si y slo si satisface las siguientes propiedades: Si existe una trayectoria de longitud mayor que 1 del vrtice a al vrtice b, hay una trayectoria de extensin 1 de a a b (esto es, a est relacionada con b). Establecido algebraicamente, R es transitiva si y slo si Rn R para todas las n 1. Es posible caracterizar la relacin transitiva por su matriz MR = [mij] as: si mij =1 y mjk = 1, entonces mik = 1 Para ver qu significa transitividad en trminos del grafo dirigido de una relacin, se traducir esta definicin a trminos geomtricos. Si se examinan los vrtices particulares a y c, las condiciones a R b y b R c ocurrirn si y slo si existe una trayectoria de longitud 2 de a a c, esto es, si y slo si a R2 c. Es posible replantear la definicin de transitividad como sigue: Si a R2 c, entonces a R c, esto es, R2 R (como un subconjunto de A x A).

Relaciones De Equivalencia (Cerraduras, Clases De Equivalencia y Particiones)

Cerradura de una relacin Definicin. Sea R una relacin en un conjunto A. Una cerradura reflexiva ref( R ) de R en A es la menor relacin que la incluye y que es reflexiva, con smbolos: ( R reflexiva) (A R ref( R )) R = ref( R )) Una cerradura simtrica sim( R ) de R en A es la menor relacin que la incluye y que es simtrica, con smbolos: (R reflexiva) (A R ref( R )) R = ref( R )) Una cerradura transitiva trans( R ) de R en A es la menor relacin que la incluye y que es transitiva, con smbolos: ( R reflexiva) (A R ref( R )) R = ref( R )

14

La cerradura reflexiva y la cerradura simtrica de una relacin es muy simple de encontrar, solamente se le agregan los pares necesarios de una forma directa. Cuando conocemos la matriz asociada a la relacin, la forma de encontrar las cerraduras anteriores es muy simple. Teorema: Sea R una relacin en A y MR su matriz asociada. La cerradura reflexiva y la cerradura simtrica de R son nicas y se pueden obtener mediante las matrices siguientes Mref(R) = MR In, donde In es la matriz identidad de orden |A|. Msim(R) = [a ij], donde a ji = 1 si a ij = 1 en MR. La Matriz identidad In de orden n es: {$ {(1,,0), (vdots, ddots, vdots), (0,,1)] $} O sea que para lograr la cerradura reflexiva debemos agregar 1s en la diagonal, para la cerradura simtrica debemos agregar 1s en luagres simtricos a la diagonal principal donde existan 1s. Cierre de equivalencia Para calcular el cierre de equivalencia de una relacin binaria R sobre un conjunto A: Calcularemos primero su cierre reexivo, (R) Sobre el resultado calcularemos el cierre simtrico, ((R)) nalmente el cierre transitivo del resultado anterior, (((R)))

Clases de Equivalencia Al conjunto de los elementos del conjunto A que estn relacionados con l se llama clase de equivalencia. Ejemplo:
15

La relacin a - b = 2.k (mltiplo de 2), siendo a y b nmeros enteros es una relacin de equivalencia porque cumple las propiedades: Reflexiva: a - a = 0 = 2.k (k = 0). Simtrica: a - b = b - a porque b - a = -(a - b). Si a - b es mltiplo de 2, -(a - b) tambin lo ser. Transitiva: a - b = 2.k1 b - c = 2.k2 Sumando queda a - c = 2.k3 Entonces a - c es mltiplo de 2. En el ejemplo anterior, la clase de equivalencia del nmero cero (uno de los elementos del conjunto de los nmeros enteros) C(0) = {... -4, -2, 0, 2, 4, ...}, pues 0 - (-4) es mltiplo de 2, 0 - (-2) es mltiplo de 2 ya s sucesivamente. La clase de equivalencia del nmero 1 ser C(1) = {... -5, -3, -1, 1, 3, 5, ...} pues la diferencia entre 1 y los nmeros indicados es mltiplo de 2. Del mismo modo podramos calcular las clases de equivalencia de ms nmeros. El conjunto formado por las clases de equivalencia se llama conjunto cociente. En el ejemplo anterior el conjunto cociente Z / 2 es el conjunto formado por las clases de todos los elementos Z / 2 = {C(0), C(1), C(2), ... }.

Particiones Sea X un conjunto. P es una particin de X si y slo si:

Los conjuntos de P son disyuntos 2 a 2, es decir, si entonces

Observe que si P es una particin de X, entonces todo elemento de X est en uno y slo un elemento uno y slo un elemento de modo que parte a en conjuntos disyuntos. Por ejemplo, el conjunto de barriles
16

propuesto al comienzo de la seccin es una particin del conjunto de mangos. Otro ejemplo de una particin es de la divisin poltica de un pas: El pas (visto como un conjunto de personas) se parte en estados o departamentos no vacos disyuntos entre s. Ejemplo Sea ={1, 2, 3, 4, 5, 6, 7, 8, 9} Entonces = {{1, 9}, {2, 8}, {3, 4, 5, 6, 7}} Es una particin de X en tres conjuntos: elementos externos (1,9), elementos semi-externos (2, 8) y elementos internos (3, 4, 5, 6, 7). Note que Q = {{1, 2, 9}, {2, 8}, {3, 4, 5, 6, 7}} no es particin de X (por qu?). Como lo habamos insinuado, resulta que toda relacin de equivalencia determina de manera natural una particin.

Funciones
Intuitivamente una funcin es una regla que asocia elementos de un conjunto A con elementos de un conjunto B de modo que el elemento del conjunto A se asocia con uno y slo un elemento del segundo conjunto. En otras palabras, una funcin es una mquina que transforma elementos en otros elementos y cada elemento puede transformarse en un nico elemento, no en dos o tres. Definicin: Sean A y B dos conjuntos. Una funcin de A en B es un conjunto de pare ordenadas de A x B (a, b) con la propiedad de que cada elemento de A es el primer componente de una pareja ordenada y para todo a A, si (a, b) y (a, c) pertenece a f entonces b = c (porque a no se repite en otra pareja) A: Dominio de la funcin B: Codominio

17

Imagen son los elementos de B que forman el segundo componente de la pareja ordenada. Ejemplo: A= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = {conjunto de calificaciones en base a 10} B= {NA, S, B, MB} = {conjunto de smbolos que representan un rendimiento escolar MB MB MB BBB SSS NA NA NA AB 0, 1, 10, 0, 1, 10, 0, 1, 10, 0, 1, ... 10, AB = 44 parejas R: Si NA = no acreditada calificacin 0 - 5 Si S = suficiente calificacin 6 - 7 Si B = bien calificacin 8 - 9 Si MB = muy bien calificacin 10 es una funcin porque a cada elemento de A corresponde solo uno de B a
18

la relacin se le llama regla de correspondencia f , entonces, b = f(a) un elemento del conjunto B est en funcin de un elemento del conjunto A. Nomenclatura y = f(x) Dominio de una funcin es el conjunto de los valores que puede tomar x o que toma x para que exista la funcin. Codominio o rango de una funcin es el conjunto de los valores que se obtienen al sustituir los valores del dominio en la funcin. Tipos de funciones Funcin Inyectiva: A una funcin en la que a cualquiera par de elementos diferentes del dominio les corresponde imgenes diferentes se le llama funcin inyectiva (significa uno a uno). Un ejemplo es la funcin cuadrtica y = ax +bx +c2 cuyo dominio y cuyo codominio son los reales. As, para 3 2 1 2 y = x + x + cuya grfica es la funcin no toma los valores menores a -2. Funcin Suprayectiva: Si todo elemento del codominio de una funcin f es imagen de al menos un elemento de su dominio, entonces f es una funcin suprayectiva Las funciones trigonomtrica (seno, coseno, tangente, cotangente, secante y cosecante) son del tipo suprayectiva (o sobreyectiva). El dominio son los reales y el codominio es [-1, 1] por lo que para ms de un valor de x le corresponde el mismo valor de y. Funcin Biyectiva:

19

Una funcin que es suprayectiva e inyectiva se llama Biyectiva. Ejemplo de esta funcin es la funcin lineal: y = mx+b cuyo dominio y cuyo codominio son los reales. Para cada valor de x le corresponde solo uno de y.

20