Resumen de Conjuntos, Relaciones y Funciones

Silvia Takahashi 6 de marzo de 2012

1.

Introducci on

Este documento resume los conceptos de cojuntos, relaciones y funciones que se encuentran en [2] y [1]. Se agregan algunas reglas u tiles para facilitar algunas demostraciones. Tambi en se cambia el orden de presentaci on para facilitar la exposici on.

2.

Conjuntos

Los conjuntos se usan para agrupar elementos. Podemos denirlos tanto por extensi on como por comprensi on. Hay operaciones entre conjuntos para combinarlos. Estas operaciones se denen formalmente y luego estas deniciones se pueden usar para demostrar propiedades de los conjuntos.

2.1.

Denici on de conjuntos

Los conjuntos pueden denirse por extensi on o por comprensi on. Al denir un conjunto por extensi on, se dice expl citamente cu ales son sus elementos. A = {2, 4, 6, 8, 10} En este caso A es el conjunto de los n umeros pares entre 1 y 10. Habr amos podido denir el conjunto por comprensi on diciendo qu e condici on debe cumplir un elemento para pertenecer al conjuto as : A = {n N|1 n 10 AN D ((n M OD 2) = 0)} En las referencias se encuentran m as ejemplos. Noten que si ustedes tienen un conjunto denido por extensi on as : {a1 , ...an }. Esta es en realidad una abreviaci on para el siguiente conjunto denido por comprensi on: {x : x = a1 . . . x = an } 1

Usaremos esta equivalencia en algunas demostraciones. {a1 , ...an } = {x : x = a1 . . . x = an } (1)

Es muy importante notar que no hay elementos repetidos en un conjunto. Lo u nico que nos interesa es si un elemento est a o no est a en el conjunto. Por lo tanto si tenemos un conjunto S que contiene un elemento t, al agreg arselo de nuevo no cambia el hecho que t est e en el conjunto. Demostraremos esto formalmente m as adelante. Lo que m as interesa en un conjunto es determinar qu e elementos pertenecen al conjunto. Formalemente: x A. Para decir que un elemento x no pertenece a A se escribe as x /A La denici on formal de este s mbolo se muestra a continuaci on. x / A (x A) (2)

En general denimos conjuntos de elementos que pertenecen a un conjunto mayor. Por ejemplo: conjuntos de enteros, conjunto de reales, conjunto de complejos, etc. A este super conjunto [1] se le llama dominio. En estas notas usaremos U para denotar este dominio. El conjunto U tiene las siguientes propiedades: x U T RU E x / U F ALSE (3) (4)

Hay otro conjunto particular. El conjunto vac o que no contiene elementos: . Este conjunto tiene las siguientes propiedades: x / T RU E x F ALSE (5) (6)

Podemos tambi en, como se ve m as adelante tener conjuntos de elementos no tan simples: conjuntos de parejas, de conjuntos, etc.

2.2.

Operaciones entre conjuntos

Una operaci on que se usa para comparar conjuntos es la igualdad. Dos conjuntos: A y B denidos sobre un un dominio U (el Universo) son iguales si se cumple que para cualquier elemento x de U, x pertenece a A si y solamente si x pertenece a B. Formalmente: A = B (x A x B ) (7)

Otra operaci on u til para comparar conjuntos es la contenencia (que no se debe confundir con la pertenencia). Nos interesa saber si un conjunto A est a contenido en otro conjunto B. Dicho de otra forma nos interesa saber si A es subconjunto de B. A es subconjunto de B si todo elemento que est a en A est a en B. Formalmente: A B (x A x B ) (8)

Otra operaci on de comparaci on es la usada para determinar si un conjunto es subconjunto propio de otro. Es decir si un conjunto es subconjunto de otro pero no es igual. A B ((A B ) A = B ) (9)

Cuando se tienen conjuntos interesa construir conjuntos a partir de otros. Para esto tenemos la uni on, la intersecci on, la diferencia y el complemento. Para algunas de estas deniciones usaremos U para denotar el Universo (el dominio sobre el cual est an denidos los conjuntos). La uni on de dos conjuntos A y B contiene todos los elementos que est an en A y todos los elementos que est an en B. La intersecci on de A y B contiene los elementos que est an en A y en B. El complemento de un conjunto, contiene los elementos que no est an en el conjunto. Por ejemplo si los conjuntos son: A = {1, 2, 3, 4} y B = {4, 3, 8, 9}, la uni on ser a: {1, 2, 3, 4, 8, 9}. La intersecci on ser a: {3, 4}. La diferencia entre A y B ser a {1, 2}; la diferencia entre B y A ser a {8, 9}. Si suponemos que el universo es los n umeros enteros en el intervalo [1, 8] entonces el complemento de A ser a {5, 6, 7, 8}. Si suponemos que el Universo es los n umeros naturales, el complemento de A ser a este conjunto: {n N|(1 n 4)} Ahora mostramos la denici on formal de cada uno de estos conceptos: Union x A B ((x A) (x B )) Intersecci on x A B ((x A) (x B )) Diferencia x A \ B ((x A) (x / B )) Complemento x A (x / A) Con estas deniciones que tenemos podemos demostrar algunas equivalencias entre conjuntos. Estas se muestran en la Tabla 1.

Regla A U =A A A A=A A B=B A (A B ) C = A (B C ) A (B C ) = ( A B ) (A C ) (A B ) = A B A (A B ) = A A A

Nombre identidad de dominaci on idempotencia conmutatividad asociatividad distributividad sobre de Morgan de absorci on de sobre negaci on de

Tabla 1: Equivalencias de

Regla A =A A U =U A A=A A B=B A (A B ) C = A (B C ) A (B C ) = ( A B ) (A C ) (A B ) = A B A (A B ) = A A A=U

Nombre identidad dominaci on idempotencia conmutatividad asociatividad distributividad sobre de Morgan absorci on sobre negaci on

Tabla 2: Equivalencias de La Tabla 3 muestra reglas de equivalencia para la igualdad y la contencia de conjuntos. Regla A = B (A B ) (B A) A B B A Nombre Denici on de igualdad subconjuntos complementos

Tabla 3: Equivalencias de y = Vimos que los conjuntos pueden denirse por comprensi on. Es decir, se dene qu e condici on deben cumplir los elementos para pertenecer al conjunto. Suponga que tenemos dos conjuntos A y B denidos por comprensi on as : A {x : U |PA } B {x : U |PB } Podemos, entonces denir las operaciones entre conjuntos as : A = B : PA PB 4

A B : PA PB A B : {x : U |PA PB } A B : {x : U |PA PB } A \ B : {x : U |PA PB }

2.3.

Demostraciones

En esta secci on se presentan ejemplos sencillos de demostraci on. En realidad todas las equivalencias de las tablas pueden demostrarse con las deniciones de las operaciones sobre conjuntos. En esta secci on mostramos algunos ejemplos. Una demostraci on para mostrar que A = B se puede obtener a partir de una secuencia de f ormulas que comienza por A y termina en B donde cada expresi on se obtiene de la anterior, aplicando alguna de las reglas de equivalencia, tal como lo hac amos para c alculo proposicional. Sin embargo, si consideramos que solo las ecuaciones y las deniciones de uni on, intersecci on, diferencia y complemento son axiomas, tenemos que usar otra t ecnica de demostraci on. Lo que haremos es usar 7. Comenzamos con una demostraci on sencilla: Teorema 1. Doble complemento : A = A. Lo que debemos demostrar, por 7 es: x A x A Demostraci on. : expresi on x A (x A) ((x A)) xA equivalencia aplicada Denici on de Denici on de Doble negaci on

Ahora demostramos lo siguiente: {a, a} = {a} Teorema 2. {a, a} = {a} Demostraci on. :

expresi on {a, a} {x : x = a x = a} {x : x = a} {a}

equivalencia aplicada Abreviaci on Idempotencia de Abreviaci on

Ahora demostramos algo m as complejo: De morgan de Teorema 3. De Morgan : (A B ) = ( A B ) Lo que debemos demostrar, por 7 es: x (A B ) x ( A B ) Demostraci on. : expresi on x (A B ) (x (A B )) ((x A) (x B )) (x A) (x B ) (x A) (x B ) x ( A B ) equivalencia aplicada Denici on de Denici on de De Morgan de Denici on de Denici on de

Tambi en se pueden hacer las demostraciones directamente, sin usar la denici on de pertenencia. Si suponemos que ya se han probado las equivalencias de la intersecci on podemos usarlas para demostrar las de la uni on. Teorema 4. De Morgan de : (A B ) = ( A B ) Demostraci on. :

Expresi on ( A B ) = = = ( A B ) ( A B )) (A B )

Equivalencia aplicada Doble De Morgan Doble

Ahora demostramos el siguiente teorema. A B A B = A. Para demostrar esto debemos mostrar: ((x A) (x B )) ((x A B ) (x A)). (11) (10)

Note que tenemos una expresi on de la forma: P (Q R). Para demostrar esto debemos demostrar P (Q R) y P (R Q). Lo cual equivale a demostrar: ((P Q) R) y ((P R) Q). Por lo tanto, aplic andolo a nuestro caso, debemos demostrar: (((x A) (x B )) (x A B )) (x A)). (((x A) (x B )) (x A)) (x A B )). Comenzamos demostrando la primera parte: Teorema 5. (((x A) (x B )) (x A B )) (x A)). Demostraci on. . expresi on 1 2 3 (x A B ) (x A) (x B ) ( x A) (12) (13)

justicaci on hip otesis denici on (1) Simplicaci on 2

Ahora demostramos la segunda parte. Teorema 6. (((x A) (x B )) (x A)) (x A B )).

Demostraci on. . expresi on 1 2 3 4 5 (x A) (x B ) ( x A) (x B ) (x A) (x A) (x A B ) justicaci on hip otesis hip otesis (1) Modus ponens 1,2 composici on (,31) denci on (4)

Terminamos demostrando lo siguiente: A B=A BA=B Para demostrar esto debemos demostrar (x A B ) (x A B ) (x A) (x B ) Usando una de las deniciones de (((x A B ) (x A B ))((x A B ) (x A B ))) (x A) (x B ) (16) Vemos que la equaci on 17 siempre es cierta que ya que si un elemento est a en la intesecci on de dos conjuntos debe estar en su uni on. (x A B ) (x A B ) (17) (15) (14)

Entonces podemos reescribir la equaci on 16 bas andonos en el hecho que true p p. (x A B ) (x A B ) (x A) (x B ) Teorema 7. (x A B ) (x A B ) (x A) (x B ) Demostraci on. . (18)

expresi on (x A B ) (x A B ) = = = = ((x A) (x B )) ((x A) (x B )) ((x A) (x B )) ((x A) (x B )) ((x A) (x B )) ((x A) (x B )) (x A) (x B )

equivalencia aplicada Denici on de y de Denici on de De Morgan Denici on de

Demostraremos el teorema de Subconjuntos complementos: Teorema 8. A B B A Esto equivale, por denici on de subconjuntos a demostrar: x A x B x B x A Demostraci on. . Expresi on xAxB = = = (x B ) (x A) (x / B ) (x / A) (x B ) (x A) Equivalencia aplicada Contra positiva Denici on de Denici on de

Hay que tener mucho cuidado en estas demostraciones cuando negamos una sentencia que habla de los conjuntos. En todas las demostraciones nos hemos saltado el paso de instanciaci on universal. Por lo tanto tenemos un x cualquiera. Si queremos demostrar, por ejemplo, conclusiones a partir de que un elemento es subconjunto de otro, no es igual. Es porque existe un valor particular que hace que esto ocurra. Cuando estamos haciendo estas demostraciones tenemos que dejar los cuanticadores universales. Tenemos entonces las siguientes deniciones para la negaci on de la igualdad y del complemento. (A = B ) (x| : (x A x B )) (A B ) (x|x A x / B) 9 (19) (20)

Por ejemplo: Teorema 9. (A B ) (A = ) Demostraci on. . Lo vamos a demostrar por contradicci on. Usamos (A B ) como hip otesis. Suponemos (A = ) y llegamos a false. expresi on Justicaci on 1 2 3 4 5 6 (A B ) (x| : x A x B ) (x| : x x B ) (x| : f alse x B ) (x| : f alse) f alse Hip otesis Denci on de supuesto dominiacion Como x no aparece se puede quitar el cuanticador

Por lo tanto el supuesto es incorrecto En el caso anterior, no es muy clara la necesidad de mantener los cuanticadores. Sin embargo, en el siguiente s . Teorema 10. (A B B A) (x, y |x A y B y = x) Demostraci on. . Queremos demostrar (x, y |x A y B y = x) usando (A B ) y (B A) como hip otesis.

10

Expresi on 1 2 3 4 5 6 7 8 9 10 11 (A B ) (x|x A x B ) ( xAx B) (B A) (x|x B x A) ( y By A) ( x=y ) ( x A) ( y B) ( x=y ) ( x A) ( y B) (x, y : |x A y B y = x)

Justicaci on Hip otesis Denci on de en (1) Instanciaci on existencial de (2) Hip otesis Denici on de en (4) Instanciaci on existencial de (5) Lema x =y Simplicaci on de (3) Simplicaci on de (6) Composici on de (7, 8, 9) Generalizaci on de en (11)

Ahora vamos a demostrar el lema a partir de las hip otesis. Lo vamos a demostrar por contradicci on. Expresi on Justicaci on 1 2 3 4 5 6 7 9 ( y By A) ( xAx B) ( x=y ) ( y A) ( x A) ( x A) ( xAx A) f alse Hip otesis Hip otesis Supuesto Simplicaci on de (1) Simplicaci on de (2) Leibniz de (3, 4) Composici on de (5, 6) Negaci on de en (7)

Por tanto x no puede ser igual a x y se demostr o el lema.

11

Ahora mostramos como refutar una equivalencia. Ejercicio 1. Demuestre o refute: (A B ) ( A B ) Considere: U = {1, 2} A = {1} B= Entonces: A = {2} Cambiando por los t erminos la equivalencia de arriba quedar a: ({1} ) ({2} ) Ning un conjunto no vac o puede ser subconjuinto del conjunto vac o: (f alse) (f alse) Y esto es falso. Dado que encontramos valores que hacen que la equivalencia sea falsa, esta no puede ser verdadera. Entonces lo que demostramos fue: ((A B ) ( A B )) f alse Ejercicio 2. Demustre o refute: (A B ) ( B A) Esto es falso! expresi on equivalencia aplicada (A B ) ( B A) = = (A B ) ( A B ) (A B ) ( A B ) subconjuntos complementos doble complemento Ejercicio Anterior (21)

f alse

Ejercicio 3. Demustre o refute: (A B ) (A B ) Considere: U = {1, 2} A = {1, 2}

12

B = {1} Entonces: B = {2} Cambiando por los t erminos la equivalencia de arriba quedar a: ({1, 2} {1}) ({1, 2} {2}) (f alse) (f alse) Y esto es falso. Dado que encontramos valores que hacen que la equivalencia es falsa entonces esta no puede ser verdadera. Entonces lo que demostramos fue: ((A B ) (A B )) f alse Ejercicio 4. Demustre o refute: (A B ) (B A) Esto es falso! expresi on equivalencia aplicada (A B ) (B A) = = = (A B ) ( A B ) (A B ) (A B ) f alse Subconjuntos complementos Doble complemento Ejercicio anterior (22)

2.4.

Cuanticadores y Conjuntos

Si tenemos un conjunto S denido por comprensi on as : S = {x|P (x)}, podemos ver que tenemos la siguiente equivalencia: x S P (x) De esto podemos deducir las siguientes equivalencias que involucran conjuntos y cuanticadores: Existe: (x| : x S ) (x| : P (x)) Para todo: (x| : x S ) (x| : P (x)) y tambi en: Existe: (x|x S : Q(x)) (x|P (x) : Q(x)) Para todo: (x|x S : Q(x)) (x|P (x) : Q(x)) 13

Usando esto podemos demostrar dos lemas que nos ser an u tiles m as adelante. Lemma 11. (S = {x|x = t} (x|x S : R(x))) R(t) Demostraci on. . Expresi on 1 S = {x|x = t} (x|x S : R(x)) 2 3 4 (x|x {x|x = t} : R(x)) (x|x = t : R(x)) R(t) Justicaci on Hip otesis Leibniz (1) Conjuntos y Cuanticadores (2) Un punto (3)

Lemma 12. (S = {x|x = t} (x|x S : R(x))) P (t) Demostraci on. . Expresi on 1 S = {x|x = t} (x|x S : R(x)) 2 3 4 (x|x {x|x = t} : R(x)) (x|x = t : R(x)) R(t) Justicaci on Hip otesis Leibniz (1) Conjuntos y Cuanticadores (2) Un punto (3)

2.5.

Paradoja de Russell

Considere el conjunto denido as : W ::= {S : S / S} Note entonces que para cualquier conjunto s se debe cumplir que: s W ::= s /s En particular deber a cumplirse para el conjunto W W W ::= W /W (25) (24) (23)

Lo cual es una contradicci on! C omo se arregla esto? Existen unos axiomas (llamados Zermelo - Fraenkel por los apellidos de las personas que los propusieron) para formalizar la teor a de conjuntos. Esta axiomatizaci on caracteriza los conjuntos. Es decir, indican

14

qu e propiedades deben cumplir una colecci on de objetos para llamarse un conjunto. Estos axiomas sirven para ver demostrar que W no es un conjunto. En estas notas s olo se hablar a de dos de ellos que son los que nos van a servir para demostrar que W no es un conjunto. Axiom 13. Axioma de Pares: Si S y T son conjuntos, entonces el conjunto que contiene S y T : {S, T }. Tambi en es un conjunto. Axiom 14. Axioma de regularidad: (s|s = : (m| : member minimal(m, s))) Donde: member minimal(m, S ) : m es un elemento miembro-minimal de un conjunto S . member minimal(m, S ) ::= (m S ) (x|x S : x / m) Usando estos dos axiomas demostramos el siguiente teorema: Teorema 15. S : S S . Dem. Sea C cualquier conjunto. Sean T = C y S = C. Entonces C = {S, T } es un conjunto por el axioma de pares de ZermeloFraenken. Como T = C y S = C, tenemos: C = {C, C } Como C es un conjunto y no hay elementos repetidos, se obtiene: C = {C } Como C es un conjunto y es no vac o entonces, por el axioma de regularidad de Zermelo - Fraenkel: (m|m C (x|x C : x m)) Como C tiene un solo elemento, C , el m que existe debe ser C : C C (x|x C : x C ) Por instanciaci on universal x = C : C C (C C C C )

15

Finalmente, por Modus Ponens obtenemos: C C . Formalmente, lo anterior es equivalente a: Expresi on Justicaci on 1 2 3 4 5 6 7 8 9 10 Sea C un conjunto Denimos: S = C Denimos: T = C C = {S, T } es un conjunto C = {z : z = S z = T } C = {z : z = C z = C } C = {z : z = C } (m|m C : (x|x C : x m)) (x|x C : x / C) CC Hip otesis Denici on Denci on Axioma de pares de Zermelo - Fraenkel (2,3) Abreviaci on (4) Reemplazo de (2,3) en (5) Idempotencia de (6) Axioma de regularidad de Zermelo - Fraenkel para C (7) Lema: 11 (7,8) Lema: 12 (7,9)

Lo que se demostr o arriba es que ning un conjunto pude ser miembro de si mismo. Ya que supuniendo que C es un conjunto arbitrario, llegamos a que C / C. A continuaci on plantearemos la soluci on a la paradoja de Russel, a partir del teorema anterior. Suponga que tenemos un conjunto W denido de la siguiente forma: W = {S |P (S )} Donde P(S) es una funci on denida de la siguiente forma: P (S ) = S S Si W fuese un conjunto, debe satisfacer W / W . Pero como W / W , entonces W W , llegando as a una contradicci on. Como lo u nico que se supuso es que W es un conjunto, estonces esta suposici onn, es falsa. Formalmente se puede plantear as :

16

Expresi on 1 2 3 4 5 W es un conjunto W W W W (W W ) (W W ) f alse

Justicaci on Hip otesis Teorema anterior Denici on de W Composici on de (2, 3) Negaci on de

2.6.

Ejercicios

Ejercicio 5. Demuestre la siguiente equivalencia para elementos y b arbitrarios {a, b} = {b, a} Ejercicio 6. Demuestre usando 7, Asociatividad de A (B C ) : (A B ) C =

Ejercicio 7. Demuestre usando las equivalencias de uni on e intersecci on (sin usar la que se est a demostrando, por supuesto) absorci on sobre : A (A B ) = A Ejercicio 8. Demuestre A B A B

3.
3.1.

Relaciones
Denci on

Una operaci on entre conjuntos es el producto cruz entre dos conjuntos (digamos A y B ). El resultado del producto cruz entre A y B (denotado A B ) es el conjunto de parejas cuyo primer componente es un elemento de A y cuyo segundo componente es un elemento de B . Por ejemplo si A = {1, 2, 3, 4} y B = {a, b, c} entonces AB = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c), (3, a), (3, b), (3, c), (4, a), (4, b), (4, c)} (26) Note que si A y B son ambos nitos, entonces el n umero de elementos de A B es el tama no de A por el tama no de B . Es decir: |A B | = |A| |B | Una relaci on binaria de A a B es un subconjunto de A B . Se pueden usar varias notaciones para indicar que una pareja (a, b) pertenece (o no pertenece) a una relaci on R. (a, b) R se puede escribir como a R b (a, b) / R se puede escribir como a Rb 17

Tambi en podemos decir que a est a relacionada con b por R. El conjunto de todas las posibles relaciones entre A y B es el conjunto de todos los subconjuntos de A B . Por lo tanto, hay 2|A||B | relaciones entre A y B.

3.2.

Operaciones entre relaciones

Como las relaciones son conjuntos, tenemos las mismas operaciones que tenemos para conjuntos: union, intersecci on, diferencia y complemento. Tenemos adem as otra: la composici on de relaciones. Las primeras son simplemente operaciones de conjuntos, pero la composici on es algo m as complicada. Digamos que tenemos dos relaciones: R (A B ) y S (B C ), podemos formar una nueva relaci on y la llamamos la compuesta de R y S y contiene las parejas de (a, c) tales que hay un b tal que a est a relacionado con b por R y b est a relacionado con c por S . En este caso escribimos S R. Formalmente: S R = {(a, c) : A C |(b : B |(a, b) R (b, c) S )} Considere los siguientes conjuntos: Personas Es un conjunto de identicadores de personas (Cedula) Carros Es un conjunto de identicadres de carros (Placa) Colores Es un conjunto de colores Ahora las siguientes Relaciones: PropDe Es un subconjunto de P ersonas Carros. (p, c) P ropDe si la persona p es propietaria del carro con placa c. ColorC Es un subconjunto de Carros Colores. (c, r) ColorC si el carro con placa c es de color r. Digamos que se quiere denir una relaci on P ropDeC tal que (p, r) P ropDeC si la persona p es propietaria de un carro de color r. Esta es en realidad la composici on de las relaciones ColorC y P ropDe: P ropDeC = ColorC P ropDe Hasta ahora hemos hablado de relaciones binarias puedo tambi en tener relaciones de m as de dos conjuntos. Digamos podr amos haber denido la relaci on entre Personas, Carros y Colores. En este caso, se tienen otras operaciones u tiles para relaciones: las proyecciones. Digamos que queremos tener un conjunto de las pesonas que tienen carro. En este caso dir amos: P ropDe{P ersona} , donde: P ropDe{P ersona} = {p : P ersonas|(a : Carros, c : Colores|(p, a, c) P ropDe)} 18 (27)

Si queremos tener la relaci on entre personas y carros rojos. Es decir una relacion entre personas y carros que sea cierta si la persona tiene un carro que es rojo: P ropDe(color=Rojo) , donde: P ropDe(color=Rojo) = {(p, a) : P ersonas Carros|(p, a, Rojo) P ropDe} Si queremos saber las personas que tienen un carro rojo dir amos: (P ropDe(color=Rojo) )P ersonas Tenemos tambi en el concepto de relaci on inversa. Si R A B entonces R1 B A y b R1 a a R b

3.3.

Propiedades de las relaciones de A A

En esta secci on denimos propiedades de las relaciones de A A. Estas propiedades y sus deniciones formales son las siguientes: Reexividad: a A.(a, a) R Irreexividad: a A.(a, a) /R Simetr a: a, b A.(a, b) R (b, a) R Anti-simetr a: a, b A.(a, b) R (b, a) /R Transitividad: a, b, c A.(a, b) R (b, c) R (a, c) R Note que la antisimetr a no es la negaci on de la simetr a. Veamos algunos ejemplos. Teorema 16. La relaci on x y no es sim etrica. Esto se debe a que, por ejemplo, 5 7, pero 7 5. Para demostrar que x y no es sim etrica, debemos demostrar: xyy xx=y Expresi on 1 2 3 4 5 xyy x (x < y x = y ) (y < x x = y ) (x < y y < x) (x < y x = y ) (x = y y < x) (x = y ) f alse f alse f alse x = y x=y Justicaci on Hip otesis Denici on de Ley distributiva Denici on de = y < Idempotencia de

Teorema 17. La relaci on x < y es sim etrica 19

Demostrar que x < y es sim etrica, es equivalente a demostrar: x<yy <xx=y Expresi on 1 2 x<yy <x F alse Justicaci on Hip otesis Denici on de < (Un elemento no puede ser menor y mayor que otro a la vez)

Como F alse x = y es siempre T rue, se obtiene que la relaci on es sim etrica. Considere la siguiente relaci on sobre A = {1, 2, 3, 4} : R = {(1, 2), (2, 1), (3, 2), (1, 1), (2, 2), (3, 3), (2, 4)}. R no es reexiva ya que (4, 4) / R. R no es irreexiva ya que (2, 2) R. R no es sim etrica pues (3, 2) R pero (2, 3) / R. R no es antisim etrica pues (1, 2) R pero (2, 1) R. R no es transitiva.

3.4.

Ejercicios

Ejercicio 9. Considere la relaci on vac a sobre S S . Donde S no es vac o. Es esta relaci on: Reexiva: Irreexiva: Sim etr ca: Anti-sim etrica: Reexiva: Demuestre su respuesta para cada caso.

4.

Funciones

Las funciones son una clase especial de relaciones. Una funci on f : A B es un subconjunto de A B donde si (a, b) f y (a, c) f entonces b = c. Es decir, para cada elemento x A hay a lo m as un elemento y B tal que (x, y ) f . Cuando (x, y ) f , escribimos f (x) = y . Una funci on es parcial si no est a denida en todos los elementos de A. Es decir, si (x A.(y B.f (x) = y ) Denimos los siguientes conceptos para una funci on: f : A B . 20

Dominio: Dom(f ) = {x A : (y B.(f (x) = y ))} Rango (o codominio): Ran(f ) = {y B : (x A.(f (x) = y ))} Con estas deniciones vemos que una funci on f : A B es parcial si dom(f ) = A. Seg un el libro [2], si dom(f ) = A, se considera que f no es una funci on de A en B . Por ejemplo, las siguientes relaciones no son funciones de R R. f1 = 1/x : Pues no est a denida para x = 0; f2 (x) = ln(x) : Pues no est a denida para x 0; En realidad: f1 : R+ R R (Reales positivos y negativos, sin incluir el cero) f 2 : R+ R Al igual que con las relaciones, podemos tener operaciones con funciones. Si tenemos dos funciones cuyos dominios son disyuntos podemos unirlas dos funciones. Digmos que: f :AB g:CD A C= Entonces: (f g )(x) = f (x) si x A g (x) si x C (28)

Por qu e hay que restringir la uni on de funciones a funciones con dominios disyuntos? Si los rangos de las funciones son n umeros que pueden sumarse y multiplicarse, podemos denir sumas y multipliaciones de funciones. Podemos caracterizar una funci on f : A B como sobreyectiva, inyectiva y biyectiva: Sobreyectiva La funci on f es sobreyectiva si para todo elemento de y en B hay un elemento x de A tal que f (x) = y . (Es decir si Ran(f ) = B ) Inyectiva La funci on es inyectiva si f (x) = y y f (t) = y entonces x = t Es decir que no hay dos elementos distintos en A tales que el valor de f sea el mismo en B . biyectiva La funcion f es biyectiva si es sobreyectiva e inyectiva. 21

Las funciones tambi en nos van a servir para comparar tama nos de conjuntos. Decimos que dos conjuntos A y B (nitos o innitos!) tienen el mismo tama no si y solamente si existe una funci on biyectiva f : A B adem as se requiere que f no sea una funci on parcial. Es decir: (x|x A : (y |y B : f (x) = y )). As , por ejemplos podemos demostrar que el siguiente teorema: Teorema 18. El conjunto de los n umeros naturales tiene el mismo tama no que el conjunto de los enteros. |N| = |Z| Para demostrar este teorema debemos encontrar una funci on de los naturales a los enteros que sea biyectiva. Considere funci on f de los naturales en los enteros denida as . f :NZ f ( x) = x 2 si x es par (x + 1) 2 si x es impar (29)

Es f acil probar que esta funci on es biyectiva. Primero se demuestra que es sobreyectiva. Es decir que para cualquier entero z existe un natural n tal que f (n) = z . Lo demostramos por casos. z = 0 sea n = 0. Vemos que f (0) = 0. z < 0 Sea n = z 2. z 2 es par entonces f (z 2) = z 2 2 = z z>0 Sea n = (2z 1). (2z 1) es par entonces f (2z 1) = (2z 1 + 1) 2, y (2z 1 + 1) = z Luego demostramos que es inyectiva. Es decir si tenemos que f (s) = f (t) entonces es porque s = t. Para esto tenemos dos casos. s y t son ambos pares: f (s) = f (t) = f (2s ) = f (2t ) = = = = 2s 2 = 2t 2 s =t 2s = 2t s=t hip otesis s y t son pares s = 2s y t = 2t Aritm etica Multiplicamos por 2 Hip otesis

s y t son ambos pares: f (s) = f (t) = f (2s + 1) = f (2t + 1) = = = = (2s + 1 1) 2 = (2t + 1 1) 2 s =t 2s + 1 = 2t + 1 s=t 22

hip otesis s y t son impares s = 2s + 1 y t = 2t + 1 Aritm etica Multiplicamos por 2 y sumamos 1 Hip otesis

Note que no es posible que s sea par y t impar. Si s es par f (s) 0. Si t es par f (t) > 0. Por lo tanto es imposible que f (s) = f (t) en este caso.

Referencias
[1] Albert R. Meyer. Mathematics for computer science. MIT, 2010. [2] Kenneth H. Rosen. Discrete Mathematics and Its Applications 6th Edition. McGraw Hill Higher Education, 2007.

23