CONJUNTOS

1. CONJUNTOS Definicin: Se entiende por CONJUNTO pueden ser determinado ya sea: a) POR EXTENSIN: cuando sus elementos estn indicados explcitamente. b) POR COMPRENSIN: Cuando existe una propiedad o condicin que es comn a todos sus elementos, de tal manera que al considerar objeto existente dentro de un contexto 1.1 de estudio, Para letras a sus se pueda a establecer los se conjuntos y usan sin se para letras ambigedad si es o no un elemento de tal coleccin. Notacin: utilizan representar representar maysculas elementos A,B,... a una coleccin, agrupacin o reunin de objetos llamados ELEMENTOS y que

minsculas a,b,x,... entre un parte de llaves. 1.2 Ejemplo: Sea A el conjunto formado por los nmeros positivos impares menores que 11, entonces se puede representar al conjunto A: a) POR EXTENSION: A = {1,3,5,7,9} b) POR COMPRENSIN: A = {x/x es un nmero entero impar positivo menor que 11} o sino tambin: A = {x/x es un nmero impar positivo menor que 11} Y se lee A es el conjunto de los X TALES QUE X es un nmero entero impar positivo menor que 11. 1.3 Notacin Si un objeto x es el elemento de un conjunto A se dice que x pertenece al conjunto A, o tambin que x est en el conjunto A y se denota por:

X A En caso de no pertenecer x al conjunto A, se denota x ser A. un elemento de algn otro conjunto: por

Es importante saber que un conjunto tambin puede ejemplo: Si A = {0}, Entonces 0 B = {{0} , {1} , {5}} A , A B, 0 B

2. CONJUNTOS NUMRICOS, INTERVALOS En Matemticas los siguientes conjuntos de nmeros son caractersticos: N = {los nmeros naturales} = {1,2,3,...} Z = {los nmeros enteros} = {..., -2, -1, 0, 1, 2, ...} Q = {los racionales} = { I = R = m y n enteros, n 0}

{los irracionales} = {x/x tiene representacin decimal} {los nmeros reales} = {x/x es racional o x es irracional}

C =

{los nmeros complejos} = {x/x = a+b1 , a y b R} (donde i = )

Z+ = Z- = Z+ =

{los enteros positivos} = {1,2,3,} {los enteros negativos} = {..., -3, -2, -1} {x/x = 0 x Z+} = {0,1,2,3,}

Anlogamente se tiene los conjuntos: Q+, R+, q-, 2.1 Intervalos Son conjuntos de de nmeros en el definidos campo de mediante los la relacin orden nmeros R-, Q+0, Q-0 etc.

reales, y son de varios tipos.

A. Intervalos cerrados [a,b] = {x x = b: B. Intervalos Abiertos < a,b > = {x b. C. Intervalos semiabiertos [a,b> = {x <a,b] = {x R / a x < b} b} R / a < x < b} R / a x b} y

En el cual estn incluidos los extremos x = a

En el cual se incluyen los extremos x = a ni x =

R / a < x

[a,b] b R

<a,b> b R

[a,b> b R

<a,b] b R

D. Rayos < a, [ a,

> = {x > = {x

R/ x > a} R/ x a}

Que se representan por a a Y los RAYOS: <- ,b] = {x <- ,b] = {x <- ,b> b <- ,b> b R R [a, > R <a, > R

R / x < b} R / x b}

2.2 2.3

Observacin:

R = <- , > = {los nmeros reales}

Nota: [a,a] = {a}

3. CUANTIFICADOR EXISTENCIAL Y CUANTIFICADOR UNIVERSAL Aqu definimos dos nuevas proposiciones relacionadas con ciertas expresiones que la se p(x) llamadas en toma FUNCIONES proposiciones algn valor

PROPOSICIONALES lgicas cuando

convierten x

variable

particular. 3.1 Ejemplos de funciones proposicionales La expresin p(x) : x + 1 = 2 no es una proposicin lgica en el sentido que no le puede asignar un valor de VERDADERO o de FALSO a menos que se le de un valor particular a la variable x: - Si x = 1; p(1) = 1 + 1 = 2 es VERDADERO

- Si x = 5; p(5) = 5 + 1 = 2 Dada la funcin

es FALSO q(x): amigo x es

proposicional si tu

estudiante reemplazas

universitario, x por tu

lector q(x) se

nombre

entonces

convierte en una proposicin lgica. 3.2 CUANTIFICADOR EXISTENCIAL Y CUANTIFICADOR UNIVERSAL Dado el conjunto A = {1,2,3, ...} = N y las

funciones proposicionales: p(x): x es un nmero natural par q(x): x es un nmero negativo r(x): x es un mltiplo de 3. Se tiene que la siguiente proposicin: Existe (por lo menos) un elemento x p(x) es cierto y simboliza por: A puede ser x = 4. anterior se A tal que

O sino tambin por: Resulta VERDADERA, pues tal x Explcitamente, la

proposicin

interpreta como EXISTE ( por lo menos) un elemento del conjunto a, TAL QUE dicho elemento es un nmero par y simboliza por , resulta FALSA,

pues ningn elemento x de A cumple con la condicin q(x) la de ser un nmero negativo. Ahora, para otro conjunto B = {3,6,9,...}, la

proposicin definida por:

PARA TODO

se cumple la condicin r(x). x B, r(x); resulta VERDADERA, que todo elemento del

Y simboliza por pues se puede

verificar

conjunto B es mltiplo de 3. Sin embargo, para la condicin p(x) la proposicin. PARA TODO x B, se cumple la condicin p(x) x B, p(x); resulta FALSA, pues

Y simboliza por:

no es cierto que todo elemento de B sea par, ya que existen elementos en B, como el nmero 3 que no es par (adems de 9, 15, 21, etc., por supuesto). A estos smbolos UNIVERSAL y y se les llama CUANTIFICADOR EXISTENCIAL,

CUANTIFICADOR

respectivamente. 3.3 NEGACIONES DE PROPOSICIONES CON CUANTIFICADORES Negar el hecho que exista algn elemento x de A tal que p(x) se cumpla, equivale a afirmar que ningn elemento x de A satisface la condicin p(x) es

decir que: PARA TODO x en A, la condicin p(x) no se cumple.

Anlogamente se tiene que:

3.4

EJEMPLO:

Indicar para

el el

valor

de

las

siguientes y

proposiciones negarlas:

conjunto

Z+={1,2,3}

4. INCLUSIN DE CONJUNTOS SUBCONJUNTOS Se dice que A es un subconjunto de B si todo elemento de A es tambin elemento del conjunto B, denotndose en este caso: A O equivalentemente A Tambin se dice que A est incluido en B, o que A est contenido en B. La definicin formal indica el camino a seguir para

demostrar que cierto conjunto A es subconjunto de algn conjunto B. De la misma definicin se siguen que es suficiente que exista al menos un elemento del conjunto A que no sea elemento de B para que a no sea subconjunto de B; en este caso se denota A A B
B A

B. A B
A B A B

4.1 Ejemplo: Si A = {2,4} y

B = {1,2,3,4} entonces

A B. En efecto, por simple inspeccin se observa que todo elemento de A es tambin elemento de B.

4.2 Definicin: En el caso en que A B, si B tuviese uno o ms elementos que no pertenecen al conjunto A, se dice que A es un subconjunto propio de B. 4.3 Definicin: Se dice que dos conjuntos A y B son comparables, si alguno de ellos est contenido en el otro. Es decir, si A B o si B A.

4.4 Ejemplo: Para cualquier conjunto A se tiene siempre que A A. , la implicacin es siempre

En efecto

VERDADERA, pues la implicacin p p es una tautologa. 4.5 Conjunto unitario: Se llama as a todo conjunto que consiste de un solo elemento. 4.6 Conjunto vaco (nulo): Es aquel conjunto que no

tiene elementos y se le denota con el smbolo . Nota: El conjunto vaco est incluido en todo conjunto; es decir: 4.7 conjunto A, Universal: todos en un los A. Denotado elementos o por que U es el que

Conjunto a

contiene

estn

siendo

considerados

estudio

contexto

particular.

Tambin se le llama el UNIVERSO. Cuando se especifica el conjunto universal U, cualquier otro conjunto que se considere estar contenido en dicho universo U, y cualquier cosa que no est en U deja de existir.

4.11 Conjuntos iguales: Dos conjuntos A y B son iguales si A simultneamente. Es decir: A = B Por A B ^ B dados A los conjuntos A = {1,2} y B = B ^ B A

ejemplo,

{1,2,1,2}, mediante la definicin previa se demuestra fcilmente que A = B, pues todo elemento de A est en B, y todo elemento de B se encuentra en A; de aqu se sigue que B tiene en realidad solamente dos elementos. 4.12 Nota: Un conjunto no vara si sus elementos que se repiten son considerados una sola vez. 4.13 Problema: Si los conjuntos {3a + b 9, 4a} y {5a + 2b, 4} son unitarios, probar que {6a + b, 2b + 8a 3} tambin es unitario. Solucin: Siendo unitario el conjunto {3a + b 9, 4a} entonces 3a + b 9 = 4a. Anlogamente, para el otro conjunto se tiene que: 5a + 2b = 4. Resolviendo el sistema se obtiene a = -2 y b = 7 y con estos valores vemos que {6a + b, 2b + 8a 3} = {-5, -5} = {-5}, resultando as un conjunto unitario tambin. 5. OPERACIONES ENTRE CONJUNTOS Con respecto a un conjunto universal U y a dos conjuntos A y B se tienen las siguientes operaciones.

5.1

UNIN DE DOS CONJUNTOS A

Es el conjunto formado por todos los elementos de A y por todos los elementos de B. Simblicamente: A B = {x = {x / x / x y/o x B} } Ver fig. 1

5.1.1 Ejemplo: Dados: A = {1,3,5 ...}, B = {2,4,6, ...}

A
A

B
B

Entonces: A

B = {1,2,3,...} = N, puesto que se

puede expresar: A = {x N / x es impar} , A = {x N / x es par}

A B = {x N / x es impar v 5.2

x es par} = N A B

Interseccin de dos conjuntos:

Es el conjunto de todo aquellos elementos comunes a ambos conjuntos A y B. A B = {x

A

/ x A ^ x B}
B

A B
U

5.2.1 Ejemplo: Dados A={x N / x mltiplo de 3} y B={x N / x mltiplo de 5} Entonces: A B = {x N/x es mltiplo de 3 y de 5 a la vez} = {x N/x es mltiplo de 15} En efecto, A={3,6,9,12,15,...}, B = {5,10,15,...} A B = {15,30,45,...} 5.2.2 Definicin: Si la interseccin de dos conjuntos A y b es vaca se dice que A y B son disjuntos: A B = A A AC

5.3 Complemento de un conjunto:

Es aquel conjunto formado por todos aquellos elementos del universo U que no pertenecen al conjunto a y se le denota indistintamente por A, A As: A= {x U / x A} = {x U / (x A)}
U A A

Por ejemplo, si el conjunto universal Es: U = {2,3,5,7,9,10,11,15,20} Y si A ={x U / x es impar} Entonces el complemento de A es / x no es impar = {2,10,20}

5.3.1 Ejercicios: Sea el Universo U = {1,2,3,4,5,9}. Si A = {x2 / x U}, hallar A y A por extensin. Solucin: elementos El conjunto A est U) formado que son por aquellos de

(del

universo

cuadrados

elementos de A. Si bien es cierto que para x U = {1,2,3,4,5,9} se tiene que el cuadrado X2, podra

aparentemente tomar los valores 1,4,9,16,25 y 81, sin embargo, como A es un subconjunto del Universo U, entonces solamente debemos considerar X2 = 1,4 y 9 por ser stos elementos de U. Luego, A={1,4,9} y su

complemento A={2,3,5}. 5.4 Diferencia de conjuntos A-B Est constituido por aquellos elementos de A que no pertenecen al conjunto B. A-B = {x U/ x U / x A ^ x B}

Tambin se le denota por:

Y tambin se le llama complemento de B con respecto al conjunto A.

B A
A-B

5.5

DIFERENCIA SIMTRICA A

Es el conjunto formado por la reunin de aquellos elementos que pertenecen exclusivamente a uno solo de los conjuntos A B / = (A-B) (B-A) B A)}

Zona sombreada: A

Algunas propiedades de la DIFERENCIA SIMTRICA son:

A A

B B

a) b) [A c) ( B]= (A-B) (B-A) =

b)

c)

PROPIEDAD ASOCIATIVA.

6. OPERACIONES DE CONJUNTOS APLICADAS A LOS INTERVALOS En toda esta seccin el conjunto R de nmeros ser

considerado como el UNIVERSO U, a menos que se especifique otra cosa. 6.1 Ejemplo: Si A = <- ,4] , Hallar Solucin: A = <- ,4] = {x = {x R / = {x = {x R / (x (x R / x <,4]} A.

<- ,4])} 4)} >

R / x > 4} = < 4,

El complemento de A est constituido por todo lo que est en A, dentro del Universo R. 7. LEYES DEL ALGEBRA DE CONJUNTOS Presentamos a continuacin la lista de las llamadas LEYES DEL ALGEBRA DE CONJUNTOS con en la leyes conjunto que podemos notar de una las

perfecta

analoga

las El

del U

Algebra es el

proposiciones Universal. 1a. 2a. 3a. 4a. = A = B

lgicas.

conjunto

A = = (A

.. Ley Conmutativa .. Ley Asociativa C) ... Ley Distributiva

5a. 6a. 7a. 8a. 9a. 9b.

A A A

= A U = U A = U

(A)= A (A (A B) = A B) = A B B Leyes de Morgan

1b. 2b. 3b. 4b. 5b. 6b. 7b. 8b.

A A A A A A A

A = A B = B (B (B = U = A = U = ; = U A C) = (A C) = (A B) B) C (A ... Ley Conmutativa

... Ley Asociativa C) ... Ley Distributiva

8. CONJUNTO POTENCIA P(A), 2A Es el conjunto formado por todos los subconjuntos de A, incluyendo al conjunto vaco : P(A) = {X / X A}

Un elemento de P(A) es un subconjunto de A: es decir: X P(A) X A A

8.1 Ejemplo: Si A = {1,2}, entonces {1} {2} A, A A, Y

A ; es decir,

P(A) = { , {1} , {2}, {1,2}}.

8.2 Nota: 1) Al conjunto P(A) tambin se le llama EL CONJUNTO DE PARTES DE A. 2) Se prueba que si un conjunto A es finito, y tiene n elementos, entonces P(A) tiene 2n, elementos, razn por la cual tambin se le denota por 2A. 3) El conjunto vaco siempre es un elemento del

conjunto potencia P(A).

9. NMERO DE ELEMENTOS: N(A) Dados dos conjuntos finitos y disjuntos A y B se define el NMERO DE ELEMENTOS DE LA UNIN A B como:

n(A

B) = n (A) + n (B) , donde

B =

La relacin siguiente que se cumple para cualquier par de conjuntos A y B no necesariamente disjuntos: A = (A-B) U (A B) , donde (A-B) (A B) B) =

Implica que: n(A) = n (A-B) + n (A

A B A-B A B U B-A

En

el

caso

en

que

son

conjuntos

finitos

arbitrarios (no necesariamente disjuntos), y puesto que: A n(A B = B (A-B), ya que B (A-B) = , entonces:

B) = n(B) + n(A-B) = n(B) + n(A) n(A B), de: n (A B) = n (A) + n (B) n (A B)

Adems, siendo A

B = (A-B)

(A B)

(B-A) una unin

de tres conjuntos disjuntos entre si (dos a dos) se tiene que: n (A B) = n (A-B) + n(A B) + n (B-A) En la prctica viene a ser la relacin ms utilizada pues equivale a representar la unin A B en un

diagrama en zonas conjuntas como en la figura adyacente:

A B x Y z