¨ Teoría de

Conjuntos ¨
2do. C.M. – Apunte 1:

Queridos alumnos:

Es un gusto para mí participar junto a Uds. de este

espacio de formación, espero puedan resultarles de utilidad los
contenidos y/o actividades que desarrollaremos juntos pensando en
vuestra futura realización profesional !!.

¿Comenzamos?... a trabajar …..

Prof. Damián L. Madrea

NOCION INTUITIVA DE CONJUNTO

Un conjunto es la reunión en un todo de objetos bien definidos y diferenciables

entre si, que se llaman elementos del mismo.

Si a es un elemento del conjunto A se denota con la relación de pertenencia a  A.

En caso contrario, si a no es un elemento de A se denota a A.
 

Ejemplos de conjuntos:
 

o  : el conjunto vacío, que carece de elementos.

o N: el conjunto de los números naturales.
o Z: el conjunto de los números enteros.
o Q : el conjunto de los números racionales.
o R: el conjunto de los números reales.
o C: el conjunto de los números complejos.

Se puede definir un conjunto:

o por extensión, enumerando todos y cada uno de sus elementos.
o por comprensión, diciendo cuál es la propiedad que los caracteriza.

1
Probabilidad y Estadística Prof. Damián L. Madrea
Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define por
extensión, o su propiedad característica, si se define por comprensión.
Por ejemplo:
o A := {1,2,3, ... ,n}
o B := {p Z | p es par}

Se dice que A está contenido en B (también que A es un subconjunto de B o

que A es una parte de B), y se denota A  B, si todo elemento de A lo es también de B,
es decir, a  A  a  B.

Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultáneamente A

 B y B  A; esto equivale a decir que tienen los mismos elementos (o también la
misma propiedad característica).

Para cualquier conjunto A se verifica que  A y A  A; B  A es un

subconjunto propio de A si A   y B  A.

El conjunto formado por todos los subconjuntos de uno dado A se llama partes
de A, y se denota  (A). Entonces, la relación B  A es equivalente a decir B  
(A). Ejemplos:
 

Si A = {a,b} entonces  (A) = { ,{a},{b},A}.

Si a  A entonces {a}  (A).

Cuando en determinado contexto se consideran siempre conjuntos que son partes de uno
dado U, se suele considerar a dicho U como conjunto universal o de referencia.

OPERACIONES ENTRE CONJUNTOS

Dados dos conjuntos A y B, se llama diferencia al conjunto

A  B := {a  A | a  B}.

Asimismo, se llama diferencia simétrica entre A y B al conjunto

A  B := (A  B)   A

Si A   (U), a la diferencia U  A se le llama complementario de A respecto de U,

y se denota abreviadamente por A' (U se supone fijado de antemano).

Es fácil ver que si A y B son subconjuntos cualesquiera de U se verifica:

o '=U.
o U ' = .

2
Probabilidad y Estadística Prof. Damián L. Madrea
 o (A')' = A .
o A  B  B'  A' .
o Si A = { x  U | p(x) es una proposición verdadera} entonces A' = { x 
U | p(x) es una proposición falsa}.

Se llama unión de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A o de B, es decir: A  B := { x | x  A  x  B}.

Se llama intersección de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A y de B, es decir: A  B := {x | x  A  x  B}.

Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil ver que

A B = A  B'.

En este caso, la llamadas operaciones booleanas (unión e intersección) verifican las

siguientes propiedades :

PROPIEDADES UNION INTERSECCION

1.- Idempotencia AA=A AA=A
2.- Conmutativa AB=BA AB=BA
3.- Asociativa A(BC)=(AB)C A(BC)=(AB)C
4.- Absorción A(AB)=A A(AB)=A
5.- Distributiva A(BC)=(AB)(AC) A(BC)=(AB)(AC)
6.- Complementariedad A  A' = U A  A' = 

 
Estas propiedades hacen que partes de U con las operaciones unión e intersección tenga
una estructura de álgebra de Boole.
Además de éstas, se verifican también las siguientes propiedades:
o A   = A , A   =  ( elemento nulo ).
o A  U = U , A  U = A ( elemento universal ).
o ( A  B )' = A'  B' , ( A  B )' = A'  B' ( leyes de Morgan ).

Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el

conjunto de pares ordenados:
 
A  B := { (a,b) : a  A  b  B}

Dos pares (a,b) y (c,d) de A  B son iguales si a = c y b = d; análogamente, dados

cuatro conjuntos A,B,C,D se verifica
 

AB=CD(A=CB=D)

3
Probabilidad y Estadística Prof. Damián L. Madrea
DIAGRAMAS DE VENN
Los conjuntos de suelen representar gráficamente mediante "diagramas de
Venn", con una línea que encierra a sus elementos. Así, todas las operaciones entre
conjuntos se pueden representar gráficamente con el fin de obtener una idea más
intuitiva.

AB

AB

AB

4
Probabilidad y Estadística Prof. Damián L. Madrea
 AB

AB

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA

LOGICA PROPOSICIONAL
Existe una relación muy estrecha entre la Teoría de Conjuntos y la
Lógica Proposicional. Para mostrar dicha relación, denotemos por letras
mayúsculas A,B ... los conjuntos y por las correspondientes minúsculas
a,b ... sus propiedades características
(es decir, la proposición lógica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:
  

conjuntos A  B A = B A  B A  B A' A  B A  B
proposiciones a  b a b ab ab a' a  b' ab

5
Probabilidad y Estadística Prof. Damián L. Madrea
Además, el conjunto vacío se corresponde con una contradicción y el conjunto
universal con una tautología.

Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden

reescribir en términos de lógica proposicional y viceversa; a modo de ejemplo:
  

A(AB)=A a(bc)a
A(BC)=(AB)(A a(bc)(ab)(a
C) c)
( A  B )' = A'  B' ( a  b )'  a'  b'

PROPOSICIONES CON CUANTIFICADORES

Los símbolos  (cuantificador universal) y  (cuantificador existencial) se utilizan en
Matemáticas para
enunciar proposiciones logicas relativas a objetos matemáticos.

Sea A un conjunto y p(x) una proposición o propiedad que hace referencia a un

elemento x.

(1) Cuantificador universal : La expresión

         x  A  p(x)

se lee "para todo x que pertenece a A se verifica p(x)", representa la proposición

        { x  A : p(x) } = A

(2) Cuantificador existencial : La expresión

         x  A | p(x)

se lee "existe x que pertenece a A tal que p(x)", representa la proposición

        { x  A : p(x) }  
 

La negación de cualquiera de las dos proposiciones anteriores se realiza negando la

proposición p(x) y cambiando el cuantificador universal por el cuantificador existencial,
o viceversa.

Así, la negación de la proposición " x  A  p(x)" es " x  A | p(x)' ", mientras que
la negación de " x  A | p(x)" es " x  A  p(x)' "

6
Probabilidad y Estadística Prof. Damián L. Madrea
 

CONJUNTOS FINITOS : COMBINATORIA

La Combinatoria es la parte de las Matemáticas que se dedica al
estudio de los conjuntos finitos.

Puesto que la propiedad principal de estos conjuntos es que se puede

representar su número de elementos mediante un número natural
(llamado cardinal de dicho conjunto), la tarea básica de la
Combinatoria es precisamente el cálculo del cardinal de dichos
conjuntos.

Para dicho cálculo se necesita definir los llamados números

combinatorios.

Pero esto lo dejaremos para el próximo apunte ………..

…para saber más...

Me despido dejándoles un afectuoso saludo

y recordándoles que estoy a disposición de Uds.
para cualquier consulta que necesiten realizarme,
ya sea por e-mail o a través de la plataforma
Teams los días Viernes de 19 a 21 hs.

Seguimos en contacto.

Prof. Damián L. Madrea.

7
Probabilidad y Estadística Prof. Damián L. Madrea