OPERACIONES FUNDAMENTALES CON CONJUNTOS

OPERACIONES CON CONJUNTOS En aritmtica se suma, resta y multiplica, es decir, a cada par de nmeros x e y se le asigna un nmero x + y llamado suma de x e y, un nmero x - y llamado diferencia de x e y y un nmero xy llamado producto de x e y. Estas asignaciones se llaman operaciones de adicin, sustraccin y multiplicacin de nmeros. En este capitulo se van a definir las operaciones de unin, interseccin y diferencia de conjuntos, es decir, se van a asignar o a hacer corresponder nuevos conjuntos a pares de conjuntos A y B. UNION La unin de los conjuntos A y B es el conjunto de todos los elementos pertenecen a A o a B o a am!os. "e denota la unin de A y B por AB ue se lee #A unin B$. Ejemplo 1-1: En el diagrama de %enn de la &igura '-(, A B aparece rayado, o sea el )rea de A y el )rea de B.

ue

Ejemplo 1-2: "ean S * +a, b, c, d, y T * +f, b, d, g,. Entonces

S T * +a, b, c, d, f, g, Ejemplo 1-3: "ean P el conjunto de los nmeros reales positivos y Q el conjunto de los

nmeros reales negativos. P Q, unin de P y Q, consiste en todos los nmeros reales exceptuado el cero. La unin A B se puede definir tam!in concisamente as-.

A B * +x x A o x B , Obser !"#$% 2-1: "e sigue inmediatamente de la definicin de la unin de dos conjuntos

ue A B y B A son el mismo conjunto, esto es.

AB*BA

Obser !"#$% 2-2: A y B son am!os su!conjuntos de A B, es decir, ue.

A (A B/ y B (A B/
En algunos li!ros la unin de A y B se denota por A + B y se la llama suma conjuntista de A y B o simplemente A m)s B. INTERSECCION La interseccin de los conjuntos A y B es el conjunto de los elementos ue son comunes a A y B, esto es, de a uellos elementos ue pertenecen a A y ue tam!in pertenecen a B. "e denota la interseccin de A y B por AB ue se lee #A interseccin B$. Ejemplo 2-1: En el diagrama de %enn de la &igura '-', se ha rayado A B, el )rea comn a am!os conjuntos 0 y 1.

Ejemplo 2-2: "ean S * +a, b, c, d, y T * +f, b, d, g,. Entonces S T * +b, d,

Ejemplo 2-3: "ea V * +', 2, 3,4,, es decir los mltiplos de '5 y "ea W * +6, 3, 7,4,, o sea los mltiplos de 6. Entonces V W * +3, (', (8,4, La interseccin de A y B se puede definir concisamente as-. A B * +x x A , x B ,

0 u- la coma tiene el significado de y. Obser !"#$% 2-3: "e sigue inmediatamente de la definicin de interseccin de dos conjuntos ue AB*BA

Obser !"#$% 2-&: 9ada uno de los conjuntos A y B contiene al A B como su!conjunto, es decir, (A B/ A y (A B/ B Obser !"#$% 2-': "i dos conjuntos A y B no tienen elementos comunes, es decir, si A y B

son disjuntos, entonces la interseccin de A y B es el conjunto vac-o, o sea A B * .

En algunos li!ros, so!re todo de pro!a!ilidades, la interseccin de A y B se denota por AB y se llama producto conjuntista de A y B o simplemente A por B. DIFERENCIA La diferencia de los conjuntos A y B es el conjunto de elementos ue pertenecen a A, pero no a B. "e denota la diferencia de A y B por A:B ue se lee #A diferencia B o simplemente #A menos B. Ejemplo 3-1: En el diagrama de %enn de la &igura '-6, se ha rayado A : B, el )rea de A ue no es parte de B.

Ejemplo 3-2: "ean S * +a, b, c, d, y T * +f, b, d, g,. Entonces S : T * +a, c, Ejemplo 3-3: "ea R el conjunto de los nmeros reales y Q el conjunto de los nmeros racionales. Entonces R - Q es el conjunto de los nmeros irracionales. La diferencia de A y B se puede tam!in definir concisamente como. A : B * +x x A , x B , Obser !"#$% 2-(: El conjunto 0 contiene al 0 - 1 como su!conjunto, esto es. (A : B / A

Obser !"#$% 2-): Los conjuntos ;A : B/, A B y ;B : A/ son mutuamente disjuntos, es decir, la interseccin de dos cuales uiera es vac-a. La diferencia de A y B se denota a veces por A<B o !ien por A B. COMPLEMENTO El complemento de un conjunto A es el conjunto de elementos ue no pertenecen a A, es decir, la diferencia del conjunto universal U y del A. "e denota el complemento de A por A Ejemplo &-1: En el diagrama de %enn de la &igura '-6, se ha rayado el complemento de A. o sea el )rea exterior a A. "e supone ue el conjunto universal U es el )rea del rect)ngulo.

Ejemplo &-2: "uponiendo ue el conjunto universal U sea el alfa!eto, dado T * +a, b, c,, entonces T * +d, e, f,4, y, z,

Ejemplo &-3: "ean E * +', 2, 3,...,, o sea los nmeros pares = Entonces F * +(, 6, >,...,, ue son los impares, 0 u- se supone ue el conjunto universal es el de los nmeros naturales (, ', 6,... ?am!in se puede definir el complemento de A concisamente as-5 A * + x x U, x A , o simplemente. A * +x x A, Lo ue se esta!lece en seguida resulta de la definicin del complemento de un conjunto. Obser !"#$% 2-*: La unin de cual uier conjunto A y su complemento 0 es el conjunto universal, o sea ue A A = U

@or otra parte, el conjunto A y su complemento 0 son disjuntos, es decir,

A A =

Obser !"#$% 2-+: El complemento del conjunto universal U es el conjunto vac-o y viceversa, o sea ue.

U = y = U Obser !"#$% 2-1,: El complemento del complemento de un conjunto A es el conjunto A mismo. A)s !reve. ;A)= A La siguiente o!servacin muestra como la diferencia de dos conjuntos podr-a ser definida por el complemento de un conjunto y la interseccin de dos conjuntos. En efecto, se tiene la siguiente relacin fundamental. Obser !"#$% 2-11: La diferencia de A y B es igual a la interseccin de A y el complemento de B, o sea. A:B=AB La demostracin de la B!servacin '-(( se sigue inmediatamente de las definiciones. A : B * +x x A, x B, * +x x A, x B,* A B