Notas de clase1: Teoría de Conjuntos

No podemos definir a un conjunto, sí podemos usar sinónimos para nombrarlos: colección,

agrupamiento, familia, etc. La idea que asociamos al término conjunto es que “contiene
elementos” y debemos poder expresar si un elemento pertenece o no a un conjunto.

Formas de definir un conjunto

Extensión: enumerando todos y cada uno de los elementos.

Comprensión: si y sólo si se da la propiedad que caracteriza a sus elementos. Para definir un

conjunto por comprensión consideramos una función proposicional P(x)

a  A  P(a) es V

b  A  P(b) es F

A = {x/ P(x)}

Dado un conjunto A y una función proposicional P(x). Existe el conjunto de los elementos de A
que hacen verdadero al enunciado. Es decir que existe el conjunto B que cumple:

B = {xA/P(x)} En este caso los elementos de B se escogen de algún conjunto A ya conocido.

Por ejemplo:

C = {xZ/|x|<2} conjunto de enteros cuyo valor absoluto es menor que 2. Definición por
comprensión

C= {-1, 0, 1} Definición por extensión.

Cardinal de un conjunto se llama así al número de elementos que tiene un conjunto. C=3

Conjuntos Especiales
El conjunto vacío es aquel que carece de elementos. Para definir a este conjunto utilizamos
una propiedad o función proposicional que es falsa para todos los elementos del universal.

M= {x/p(x)}

M es vacío x:P(x) es F.

Es vacío si y solo si para todo x se verifica que p de x es falso.

M = {xN/xx}

X pertenece a los naturales tal que x es distinto de x.

M =  = {}

1
Estas notas, como su nombre lo indica, hacen referencia a consideraciones generales o apuntes de
clase. Las mismas deberán ser profundizadas por el alumno con la consulta bibliográfica
correspondiente.
El conjunto unitario tiene un único elemento. B = {xN/3< x <5}

B= {4} y B=1

Si un elemento es repetido bajo distintas representaciones se lo considera una sola vez.

D = {a2, a.a, a3:a} D=1

El conjunto universal

Comprende a todos los elementos que intervienen en el tema de interés. En general se denota
con U.

Actividad

Represente por comprensión y extensión

a. El conjunto de números enteros cuyo cuadrado sea igual a 1.

b. El conjunto de números enteros pares.
c. Conjunto de números naturales que sean múltiplos de 3.
d. Conjunto de números enteros cuyo cuadrado es par.

RELACIONES ENTRE CONJUNTOS

INCLUSIÓN

Sean A y B dos conjuntos. Si todo elemento de A pertenece a B, decimos que AB, o que A es
parte de B, o que A es un subconjunto de B

Simbólicamente: AB (se lee:“A está incluido en B”)

Puede ocurrir:

a) Inclusión amplia
Un conjunto A es un subconjunto de un conjunto B, o A está incluido en B, si
y solo si todo elemento de A pertenece a B.

(inclusión amplia)

A está incluido en B si y solo si para todo x se verifica que x pertenece A entonces x

pertenece a B.

b) Inclusión estricta
Un conjunto A está estrictamente incluído en B, si y solo si todo elemento de
A pertenece a B, pero existe por lo menos un elemento de B que no
pertenece a A.

𝐴 ⊂ 𝐵 ⇔ ∀𝑥: 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ 𝐵 ∧ ∃𝑦/𝑦 ∈ 𝐵 ∧ 𝑦 ∉ 𝐵 (Inclusión estricta)

 A está incluido estrictamente en B si y solo si para todo X se verifica que x pertenece a
A entonces x pertenece a B y existe y tal que y pertenece a B y y no pertenece a A.
Ejemplo:
A = {x/ x es múltiplo de 6}
B = {x/ x es múltiplo de 2}
Todo múltiplo de 6 es también un múltiplo de 2 ya que: múltiplo de 6 = 6 .n
Múltiplo de 6 = (2.3). n = 2 .( 3.n) = 2.m = múltiplo de2 (donde n es un natural y por lo
tanto m también). Pero no todo múltiplo de 2 es un múltiplo de 6.
Como todo elemento de A está en B y hay elementos de B que no están en A podemos
decir que A está estrictamente incluido en B. A  B

Notas:

1) Inclusión en sentido amplio contempla la posibilidad de que los conjuntos sean iguales.
Con lo que podemos concluir cosas como:
Todo conjunto está incluido en sí mismo. A A
Todo conjunto es subconjunto de sí mismo
2) A :   A
Para todo x se verifica que el conjunto vacío está incluido en A.
El vacío está incluido en cualquier conjunto.
El vacío es subconjunto de cualquier conjunto.

Propiedades de la Inclusión
i) Reflexividad
Todo conjunto está incluido en sí mismo
AA
x:x ∈ A ⇒x ∈ A es V

ii) Antisimetría

Si un conjunto está incluido en otro y éste está incluido en el primero, son iguales.

AB ∧ BA ⇒ A=B

iii) Transitividad
(AB ∧ BC)⇒ AC
x∈ A⇒x ∈ B
x∈ B⇒x ∈ C
x∈ A ⇒x ∈ C (por silogismo hipotético)

IGUALDAD

Dos conjuntos son iguales si y solo si cada uno de ellos está incluido en el otro
También podemos decir: Dos conjuntos son iguales si tienen los mismos elementos.
A=B ⇔AB ∧ BA
También: A=B ⇔x: x∈ A⇔x ∈ B
Ejemplo:
 A = {x / x ∈ R / x2=x }
B = {x / x ∈ R / x(x-1)=0}

x∈ A⇔x2=x⇔ x2 –x=0⇔x(x-1)=0⇔x ∈ B
A=B

Propiedades de la Igualdad
i) Reflexividad
Todo conjunto es igual a sí mismo
A=A porque AA
ii) Simetría
Si un conjunto es igual a otro, éste es igual al primero
A=B ⇒B=A
AB ∧ BA⇔ BA ∧ AB⇔B=A

iii) Transitividad
(A=B∧B=C) ⇒A=C

COMPLEMENTACIÓN

a) De un conjunto con respecto a su superconjunto

Si A  B, se llama complemento de A con respecto a B, y se indica C A,B, al conjunto

formado por todos los elementos de B que no pertenecen a A.

C A,B = {x ∈ U / x ∈ B∧ x∉A}

Ej:

A= {x ∈ N / x ≤3}

B= {x ∈ N / x ≤6}

AB

Definir por extensión, por comprensión y dibujar el diagrama de Venn del C A,B

b) De un conjunto respecto del Referencial (Universal)

Dado el conjunto A, se llama complemento de A, y se indica: A’ Ac CA, al conjunto
formado por todos los elementos del Universal que no pertenecen a A.
Ac= {x / x ∈ U∧ x∉A}
x∈ Ac ⇔ x∉A

Propiedades

i) ∅’= U
x∈∅’⇔x ∈ U∧ x∉∅⇔x ∈U
ii) U’=∅
x∈U’⇔ x∉U ⇔x ∈∅

Involución
iii) (A’)’= A
x ∈ (A’)’⇔ x∉A’ ⇔x ∈A

iv) Si un conjunto está incluido en otro, el complemento del segundo está incluido en
el complemento del primero.
A  B⇒B’A’