Professional Documents
Culture Documents
Conjuntos
2.1 Introduccin
El concepto de conjunto, de singular importancia en la ciencia matemtica y objeto de estudio de
una de sus disciplinas ms recientes, est presente, aunque en forma informal, desde los primeros
aos de formacin del hombre. Desde el momento que el ser humano tom entre sus manos un
puado de piedras u observ un grupo de animales, tom conocimiento del "conjunto". Sin embargo,
por tratarse de conceptos matemticos debemos fijar con exactitud el significado de cada trmino
para no dar lugar a contradicciones o interpretaciones errneas. 2
2 Conjuntos
Definicin
Un conjunto se determina por
extensin si y slo si se enumeran todos
los elementos que lo constituyen. Un
El conjunto cuyos elementos verifican la propiedad P se indica:
conjunto se define por comprensin, si y
slo si se da la propiedad que los
A = { x U / P(x) }
caracteriza.
o ms brevemente, si U est sobre entendido:
A = { x / P(x) }
y se lee "A es el conjunto formado por los elementos x, tales que P(x).
Ejemplo:
A
A = {2, 4, 6, 8}
a=2
d=5
b=3
e =6
c=4
f=7
g=8
Andrs J. Bilstein 3
Q(x) : x = 1
4 Conjuntos
Definicin
El Referencial o universal es
el conjunto formado por todos los
de referencia.
El elementos
Referencialdelotema
universal
es el conjunto
los elementos de referencia.
Como el conjunto Referencial o universal
importancia, se anota con un smbolo propio: R
tiene
fundamental
o U y se representa
2.3 Inclusin
2.3.1 Concepto
Sean A y B dos conjuntos, si cada elemento de A es elemento de B diremos que A est incluido
en B, o bien que A es parte de B, o que A es un subconjunto de B, y lo escribimos A B.
Definicin:
Un conjunto A est incluido en otro
conjunto B si cada elemento del
conjunto A pertenece, tambin, al
conjunto B.
A menudo ser necesario demostrar
AB x:xA xB
parte de otro entonces, de acuerdo a la
suficiente
demostrar
que
cualquier
pertenece al segundo.
Asimismo, teniendo en cuenta
implicacin y la contrarecproca,
puede expresarse as:
la
la
que un conjunto es
definicin,
ser
elemento del primero
b
A
A B (A est incluido
Andrs J. Bilstein 5
AB x:xB xA
Adems, considerando la equivalencia entre p q y ~( p ~q ), podemos traducir la misma
definicin como sigue:
A B x / x A x B es (F)
Sobreentendiendo el cuantificador universal, escribiremos
AB xA xB
En el dibujo de arriba vemos que, efectivamente, el elemento a es parte del conjunto A y lo es, a
su vez, del conjunto B. Podemos afirmar, entonces, que A B. Ahora bien, vemos que b est
incluido en B pero no en A. Decimos, entonces que un conjunto A est estrictamente incluido en B
si todo elemento de A est incluido en B, pero existe al menos un elemento de B que no existe en A.
Ejemplo.
Sean los conjuntos:
A = { libros de matemtica de mi coleccin }
B = { Libros de mi coleccin }
Est claro que los libros de matemtica estn incluidos en mi coleccin. Podemos decir, aqu,
que A est incluido en B (A B), es decir que mis libros de matemtica son un subconjunto de mi
coleccin de libros.
2.3.2 Doble Inclusin - Igualdad de conjuntos
Nos resulta sencillo darnos cuenta que dos conjuntos son iguales si tienen los mismos elementos.
Volviendo al ejemplo anterior, supongamos ahora que todos los libros de mi coleccin son de
matemtica, entonces, que A B, pero a su vez B A y llegamos a la conclusin de que ambos
conjuntos son iguales.
En smbolos:
A=B A B BA
2.3.3 Propiedades de la inclusin
1) Propiedad reflexiva:
Todo conjunto est incluido en s mismo
A A
2) Propiedad antisimtrica:
6 Conjuntos
Si un conjunto est incluido en otro y ste, a su vez, est incluido en el primero, entonces dichos
conjuntos son iguales
AB BA A=B
3) Propiedad transitiva:
Si un conjunto A est incluido en otro conjunto B y ste, a su vez, est incluido en otro conjunto
C, entonces el conjunto A est incluido en el conjunto C.
A B BC AC
y como:
No existe ningn elemento de que no pertenezca a A
Llegamos a la conclusin:
A
Y como esta demostracin es vlida cualquiera sea A, llegamos a la siguiente conclusin:
Dado que carece de elementos que lo distingan, el conjunto vaco es siempre el mismo, por ello
decimos el conjunto vaco y no un conjunto vaco.
En resumen
El conjunto vaco es nico
Cmo podemos demostrarlo? Pues bien, supongamos que existiera otro conjunto vaco al que
llamamos '. De acuerdo a la propiedad I enunciada ms arriba, podemos decir que:
' ' por lo tanto, por definicin de igualdad: = '
Andrs J. Bilstein 7
{Libros de castellano}
{Libros
de
Definicin:
Un conjunto de partes de A es el
conjunto cuyos elementos son todos
subconjuntos de A.
P(A) = { X / X A }
2.5.1 Concepto
Dado un Referencial U y un conjunto
otro conjunto formado por todos los
Referencial que no pertenecen a A. Se
y se designa A' o A (es el rea coloreada
A, queda determinado
A
Definicin:
Complemento de A es el conjunto de
todos los elementos que pertenecen a U
y no pertenecen a A.
Ejemplo.
Sea
A' = { x / x U x A }
elementos
del
llama complemento de A
del dibujo)
8 Conjuntos
2.6.1 Concepto
U
A
A = {Libros de tu biblioteca}
B = {Libros de matemtica}
y que un compaero te pidi prestado algunos libros de matemticas.
En este caso, el
Referencial en el cual vas a buscar sera el total de libros que tienes en tuA casa. Ahora bien, est
claro que, como vos tambin tienes libros prestados por otros, slo le
podrs
prestar slo aquellos
B
que son de tu biblioteca. Por lo tanto, los libros que vas a buscar deben cumplir dos condiciones:
pertenecer al conjunto A y, adems, pertenecer al conjunto B. Por lo tanto, estos elementos forman
un nuevo conjunto que se llama Interseccin entre los conjuntos A y B.
Definicin:
Interseccin de dos conjuntos A y B
se llama al conjunto formado por
aquellos elementos que pertenecen a A
y pertenecen
a B.dos conjuntos es una operacin binaria, pues a partir de dos conjuntos se
La interseccin
entre
A B = { x U / x A x B }
obtiene un tercero.
La propiedad que caracteriza a los elementos de la interseccin es la de pertenecer
simultneamente a los dos conjuntos, y se establece en trminos de la conjuncin.
La definicin de interseccin establece:
x AB
xA xB
B = { nmeros impares }
Andrs J. Bilstein 9
Definicin:
Se llama unin o reunin de dos
conjuntos A y B al conjunto formado por
los elementos que pertenecen a A, o a B
o La
a ambos.
unin de dos conjuntos, lo
A B = es
{ x una
U /operacin
x A binaria
xB}
interseccin,
conjunto de partes de U.
mismo
que
definida
en
la
el
2.8 Diferencia
2.8.1 Concepto
Definimos la diferencia de conjuntos del siguiente modo:
Definicin:
Se llama diferencia entre un
conjunto A y otro conjunto B al conjunto
formado por los elementos que
pertenecen a A y no pertenecen a B.
A - B =podemos
{ x U / xdefinir
A lax
B}
Asimismo,
diferencia
complemento
A
U
B
del
10 Conjuntos
= { x / x A x B' } = A B'
La representacin mediante diagrama de Venn es la que vemos al lado.
2.9.1 Concepto
Definimos la diferencia simtrica del siguiente modo:
Definicin:
Se llama diferencia simtrica entre
un conjunto A y otro conjunto B al
conjunto formado por los elementos que
pertenecen a A o a B pero no ambos.
Asimismo, podemos determinar la diferencia
A ABy=B{ como
x Ula
/ xunin
A de
o los
x conjuntos
B pero x A - B y B
conjuntos
AB}
A
B
A B = (A - B) (B - A)
U
Podemos, tambin, identificarlo como:
A B = (A B') (B A')
2.10 Propiedades
conjuntos
de
las
operaciones
con
Andrs J. Bilstein 11
2.11.1
Decimos que una operacin es conmutativa cuando el resultado no depende de la ubicacin de
los elementos que intervienen.
d) Unin:
La Unin goza de la propiedad conmutativa
AB =BA
e) Interseccin:
La interseccin de conjuntos es, tambin, conmutativa
AB=BA
f)
Diferencia:
La diferencia de conjuntos no es asociativa
A-BB-A