Captulo 1

Conjuntos

1.1 Introduccin a los conjuntos y su notacin.

La nocin de conjunto es una idea bsica en la Matemtica. Hacer la teora de conjuntos rigurosamente es una tarea ms compleja de lo que se intenta en este curso. Aceptaremos que todos tenemos una idea ms o menos clara de lo que es un conjunto de objetos o de elementos. Hablaremos por ejemplo de:

  

el conjunto de los nmeros enteros, el conjunto de los nmeros pares, el conjunto de los puntos de una recta,

 

el conjunto de las rectas de un plano el conjunto de . . . (provea usted otros ejemplos).

Desde la escuela bsica y la escuela secundaria se ha desarrollado este lenguaje y lo utilizaremos sin ms deniciones. Los conjuntos usualmente se denotan con letras maysculas y sus elementos con letras minsculas. Para decir que x es un elemento del conjunto X , escribiremos x X . Para decir que x no est en X , escribiremos x X .

62

Denicin: Si Y y X son dos conjuntos, diremos que X est includo en Y si todo elemento de X es tambin elemento de Y . Esto es, en smbolos: si x X entonces x Y . Esta relacin se escribe X Y y se lee X est contenido o incluido en Y , o X es parte de Y , o bien, X es un subconjunto de Y .

Denicin: Diremos que dos conjuntos Y y X son iguales si X Y X . En este caso escribiremos X = Y .

Y

Aceptaremos que existe un conjunto llamado vaco, que no tiene elemento alguno y lo vamos a denotar con el smbolo y en ocasiones tambin se le denota por .

fg

Ejemplos
1. El conjunto de las rectas del plano que pasan por un punto jo O, esta contenido en el conjunto de

todas las rectas del plano. 2. El conjunto de todos los nmeros enteros mltiplos de 4, es un subconjunto del conjunto de los

nmeros pares. 3. La coleccin de todos los captulos de este libro, es un ejemplo de un conjunto.

Conjuntos

1.1.1 Algebra de los Conjuntos

Si A y B son dos conjuntos, se pueden crear nuevos conjuntos a partir de ellos mediante operaciones elementales. 1. Interseccin: La interseccin de A y B es el conjunto de todos los elementos que pertenecen a A y a B , se denota A B , (gura 1.1 ). En smbolos: A B = x x A y x B } Si la interseccin de dos conjuntos es vaca, A B = , se dice que los conjuntos son disjuntos.

f j 2

Interseccin de dos conjuntos

Figura 1.1
2. La Unin: La unin de dos conjuntos A y B es el conjunto formado por todos los elementos que estn en A o en B . Se denota A B , (gura 1.2 ). En smbolos A B = x x A o x B }.

f j 2

Unin de dos conjuntos

Figura 1.2
3. La Diferencia: la diferencia del conjunto A menos el conjunto B es el conjunto formado por todos los elementos de A que no estn en B . Se denota A B . En smbolos A B = x x A y x B , (gura 1.3 ).

62 g

f j 2

Resta de conjuntos

Figura 1.3
4. Conjunto universal o universo de discurso: Como conjunto universal queremos denotar algn conjunto E que contenga todos los elementos que deseen considerarse en un problema, discurso o tema, sin pretender contener todo lo que no interesa al problema. Este conjunto universal se supone conocido en cada problema y del cual se pueden seleccionar elementos para construir subconjuntos. 5. Complemento: Digamos que tenemos un conjunto universal E . Cualquier conjunto A que se E ). La diferencia E A se llamar el complemento considere ser un subconjunto de E (A de A y se denotar con el smbolo Ac , (E A = Ac ).

1.2 Ejercicios

1.1.2 Propiedades de las Operaciones con Conjuntos

Estas operaciones con conjuntos gozan de algunas propiedades de fcil comprobacin que vamos a enunciar:

La unin y la interseccin son conmutativas

  

A[B =B[A y A\B =B\A

Tambin son asociativas

(A [ B ) [ C = A [ (B [ C ) y (A \ B ) \ C = A \ (B \ C )
La unin es distributiva con respecto a la interseccin

A [ (B \ C ) = (A [ B ) \ (A [ C )
La interseccin es distributiva con respecto a la unin

A \ (B [ C ) = (A \ B ) [ (A \ C )

[ (unin) y \ (interseccin) en los conjuntos, tienen propiedades anlogas a las de la suma

(pensada como la unin) y el producto de nmeros naturales (pensado como la interseccin). Veamos que, si tenemos nmeros naturales a; b; c; 2 N(=conjunto de los nmeros naturales), entonces tenemos igualdades como siguen
 b = b + a Conmutatividad  a+ a:b = b:a  b + c) = (a + b) + c Asociatividad  a + (a: (b:c) = (a:b):c

Observacin: Como un buen ejercicio de abstraccin observamos que las operaciones

Distributividad del producto respecto a la suma Pero en los conjuntos, la propiedad de la distributividad de la unin con respecto a la interseccin no se traduce bien para los naturales pues, la distributividad de la suma respecto al producto es, en general falsa, es decir:

 a:(b + c) = a:b + a:c

en general

a + b:c 6= (a + b)(a + c)

Ilustre usted con un ejemplo sencillo la posibilidad de la desigualdad anterior para nmeros naturales y diga en cules condiciones se podra tener una igualdad.

1.2 Ejercicios
1. En la gura 1.4 se presenta un universo E (rectngulo), subconjuntos A y B y algunos nmeros que representan la cantidad de elementos en cada porcin del diagrama. Cuntos elementos estn en los siguientes conjuntos? (a) (b) (c) (d)

E B Ac Bc

(e) (f) (g) (h)

A[B A\B Ac \ B A \ Bc

(i) (j) (k) (l)

(A \ B )c (A [ B )c Ac \ B c Ac [ B: = fa; b; c; d; e; f; g; hg.

2. Sean A = Hallar:

fa; b; c; dg; B = fa; b; e; f; gg; C = fb; c; e; hg

y el universo E

10

Conjuntos

Nmero de elementos en diversas regiones o conjuntos

Figura 1.4
(a) (b) (c) (d)

A\C A[C A B Ac

(e) (f) (g) (h)

Ac [ B c Bc \ C (A \ B ) B (B \ C c )c

(i) (j) (k)

B c Ac
(C B ) A

C (B A):

3. Suponga que existe un conjunto universal E . Cules de las siguientes proposiciones son verdaderas y cules son falsas? (a) (b) (c) (d) (e)

A[;=A A\E =E A [ Ac = E A [ Ac = A A[A=A

(f) (g) (h) (i) (j)

A\A= ; A[E = E A\; = ; (Ac)c = E (A B )c = B A

(k) (l) (m)

(A [ B ) B = A B

A \ (A B ) = A [ B
(A B )c = Ac B c :

4. Si A; B; (a) Si A (b) Si A

 C y B  D, entonces A [ B  C [ D.  C y B  D, entonces A \ B  C \ D.
A \ B = fa; cg A B = fbg

C D son conjuntos, demostrar que:

5. Sean A y B conjuntos tales que: (a)

A [ B = fa; b; c; dg

(b)

(c)

Hallar A y B . 6. Escriba las demostraciones de las propiedades asociativas y distributivas de las operaciones .

7. Sea X un conjunto, A y B subconjuntos de X entonces pruebe que: (a) (b) (c) (d)

\y

X X A X

(A \ B ) = (X A) [ (X B ) (A [ B ) = (X A) \ (X B ) B = A (A \ B ) (X A) = A