Repblica Bolivariana de Venezuela

Universidad Nacional Experimental Politcnica De la Fuerza Armada

Ctedra: Razonamiento Lgico
Seccin: CBM 1J2
Operaciones de Conjuntos
Realizado por:
Alfredo Snchez
Lus Santaella
Francisco Torres
Maracaibo, Julio de 2007
Conceptos bsicos
Diagrama de Venn que muestra un conjunto A contenido en otro conjunto U y
su diferencia
El concepto de conjunto es intuitivo y podramos defnirlo simplemente como
una coleccin de objetos, as podemos hablar de un conjunto de personas,
ciudades, lapiceros o del conjunto de objetos que hay en un momento dado
encima de una mesa. Un conjunto esta bien defnido si se sabe si un
determinado elemento pertenece o no al conjunto, as el conjunto de los
bolgrafos azules, esta bien defnido, porque a la vista de un bolgrafo podemos
saber si es azul o no. El conjunto de las personas altas no esta bien defnido,
porque a la vista de una persona, no siempre podr decir si es alta o no, o puede
haber distintas personas, que opinen si esa persona es alta o no lo es.
En el siglo XIX se pensaba en conjuntos de una manera informal e intuitiva.
Adems los elementos de un conjunto se defnan slo por tal o cual propiedad.
Actualmente la teora de conjuntos est bien defnida por el sistema ZFC, sin
embargo sigue siendo clebre la defnicin que public Cantor
Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de
nuestra intuicin o nuestra mente.
Georg Cantor
Notacin
Usualmente los conjuntos se representan con una letra mayscula: A, B, K,...
Llamaremos elemento, a cada uno de los objetos que forman parte de un
conjunto, estos elementos tienen carcter individual, tienen cualidades que nos
permiten diferenciarlos, y cada uno de ellos es nico, no habiendo elementos
duplicados o repetidos. Los representaremos con una letra minscula: a, b, k,...
De esta manera, si es un conjunto, y todos sus elementos, es
comn escribir:
para defnir a tal conjunto . Esta notacin empleada para defnir al conjunto
se llama notacin por extensin
Para representar que un elemento pertenece a un conjunto A, escribimos
(lase "x en A", "x pertenece a A" o bien "x es un elemento de A"). La
negacin de se escribe (lase no pertenece a ).
El conjunto universal, que siempre representaremos con la letra U (u
mayscula), que es el conjunto de todas las cosas sobre las que estemos
tratando. As, si hablamos de nmeros enteros entonces U es el conjunto de los
nmeros enteros, si hablamos de ciudades, U es el conjunto de todas las
ciudades, este conjunto universal puede mencionarse explcitamente, o en las
mayora de los casos se da por supuesto dado el contexto que estemos tratando,
pero siempre es necesario demostrar la existencia de dicho conjunto
previamente.
Existe adems, un nico conjunto que no tiene elementos al que se le llama
conjunto vaco y que se denota por . Es decir
La caracterstica importante de este conjunto es que satisface todos los
elementos posibles no estn contenidos en l, es decir
.
Por otro lado, si todos los elementos de un conjunto A satisfacen alguna
propiedad, misma que pueda ser expresada como una proposicin , con la
indeterminada , usamos la notacin por comprensin, y se puede defnir:
Lo anterior se lee "A es el conjunto de elementos x, que cumplen la propiedad
p(x)". El smbolo ":" se lee "que cumplen la propiedad" o "tales que"; este
smbolo puede ser remplazado por una barra .
Por ejemplo, el conjunto puede defnirse por:
donde el smbolo representa al conjunto de los nmeros naturales.
El uso de algn conjunto U es muy importante, ya que de no hacerlo se podra
caer en contradicciones como ejemplo
Es decir, M es el conjunto donde cada elemento x satisface la propiedad .
Al principio uno podra creer que ningn conjunto puede estar contenido en s
mismo y que por lo tanto M no contiene elemento alguno; sin embargo, en vista
de que M es un conjunto, cabe hacer la pregunta " ?" Si la respuesta es
negativa ( ) entonces M cumple la propiedad y por lo tanto
. Si por el contrario la respuesta es afrmativa ( ), entonces M
no cumple con la propiedad y por esta razn . Esta paradoja es
muy famosa y se conoce como la paradoja del barbero esta es una de las tantas
incongruencias que tena la teora de Cantor.
Igualdad entre conjuntos. Subconjuntos y
Superconjuntos
Igualdad de conjuntos
Dos conjuntos y se dicen iguales, lo que se escribe si constan de los
mismos elementos. Es decir, siempre que para cualquiera que sea el elemento
, se verifque
Subconjuntos y Superconjuntos
Diagrama de Venn que muestra
Un conjunto se dice que es subconjunto de otro , si cada elemento de es
tambin elemento de , es decir, cuando se verifque:
,
sea cual sea el elemento . En tal caso, se escribe .
Cabe sealar que, por defnicin, no se excluye la posibilidad de que si ,
se cumpla . Si tiene por lo menos un elemento que no pertenezca al
conjunto , pero si todo elemento de es elemento de , entonces decimos
que es un subconjunto propio de , lo que se representa por .
Si es un subconjunto de , decimos tambin que es un superconjunto de ,
lo que se escribe . As pues
,
y tambin que:
,
signifcando que es superconjunto propio de .
Por el principio de identidad, es siempre cierto , para todo
elemento , por lo que todo conjunto es subconjunto (y tambin
superconjunto) de s mismo.
Vemos que es una relacin de orden sobre un conjunto de conjuntos, pues
( es refexiva)
( es antisimtrica)
( es transitiva)
Operaciones de conjuntos
Sean y dos conjuntos.
Unin
Diagrama de Venn que ilustra
Para cada par de conjuntos A y B existe un conjunto que se denota como
el cual contiene todos los elementos de A y de B. De manera ms
general, para cada conjunto S existe otro conjunto denotado como de
manera que sus elementos son todos los tales que . De esta
manera es el caso especial donde .
Es claro que el hecho de que un elemento x pertenezca a es condicin
necesaria y sufciente para afrmar que x es un elemento de A o al menos de B.
Es decir
Ejemplos: si tenemos los conjuntos
Entonces
Interseccin
Diagrama de Venn que ilustra
Los elementos comunes a y forman un conjunto denominado interseccin de
y , representado por . Es decir, es el conjunto que contiene a
todos los elementos de A que al mismo tiempo estn en B:
.
Si dos conjuntos y son tales que , entonces y se dice que son
conjuntos disjuntos.
Es claro que el hecho de que es condicin necesaria y sufciente
para afrmar que y . Es decir
Ejemplos: si tenemos los conjuntos
Entonces:
Diferencia
Diagrama de Venn que muestra
Los elementos de un conjunto que no se encuentran en otro conjunto ,
forman otro conjunto llamado diferencia de y , representado por . Es
decir:
.
o dicho de otra manera:
Algunas personas preferen denotar la diferencia de y como .
Una propiedad interesante de la diferencia es que
eso es porque
Ejemplos: Sin importar cual conjunto A elija usted, siempre se cumple
Complemento
El complemento de un conjunto A, es el conjunto de los elementos que
pertenecen a algn conjunto U pero no pertenecen a A, que lo representaremos
por . Es decir
El conjunto complemento siempre lo es respecto al conjunto universal que
estamos tratando, esto es, si hablamos de nmeros enteros, y defnimos el
conjunto de los nmeros pares, el conjunto complemento de los nmeros pares,
es el formado por los nmeros no pares. Si estamos hablando de personas, y
defnimos el conjunto de las personas rubias, el conjunto complementario es el
de las personas no rubias.
En vista de que y , entonces
,
de manera que
Pero tambin
de modo que
Diferencia simtrica
Los elementos de dos conjuntos, A y B a excepcin de aquellos que se
encuentran en el rea de interseccin de dichos conjuntos se defne la diferencia
simtrica.
lgebra de conjuntos
Sean A, B, y C conjuntos cualesquiera y U un conjunto tal que , y
entonces:

Producto cartesiano de conjuntos

Un par ordenado de nmeros es tal si los pares y son uno
mismo si y slo si .
Dados dos conjuntos y , defnimos al conjunto producto ( o producto cartesiano)
de y (en ese orden), representado por , como el conjunto
Ejemplo
Sean y . As,
Ya que el producto cartesiano est formado de pares ordenados (donde el orden
de los componentes importa), resulta
Cuantifcadores
Los cuantifcadores sirven para indicar cuantos elementos de un conjunto dado
cumplen con cierta propiedad. Tales cuantifcadores son
El cuantifcador universal, representado por . Este cuantifcador
se emplea para afrmar que todos los elementos de un conjunto
cumplen con determinada propiedad. Se escribe
El cuantifcador existencial se usa para indicar que al menos un
elemento de un conjunto cumple con una propiedad. Se escribe
.
Se defnen
Funciones
Sean y dos conjuntos. Un subconjunto , se dice aplicacin o
funcin de en , lo que se representa por
siempre que se verifque

Si , el elemento se dice imagen de por , y el elemento se

llama antecedente de por .
Sea una funcin . Se emplea la notacin para representar a la
imagen de por , y por tanto .
Sean las funciones y . Se defne
,
y se dice que es el producto de composicin de las funciones y .
Vemos que
y
por lo que