La teoría de conjuntos es una rama de la lógica matemática que estudia los conjuntos, sus

operaciones y propiedades.

Georg Cantor inició por primera vez la teoría en la década de 1870 a través de un artículo titulado
" Sobre una propiedad de la colección de todos los números algebraicos reales ". A través de sus
operaciones con conjuntos de potencia, demostró que algunos infinitos son más grandes que
otros infinitos. Esto condujo al uso generalizado de los conceptos cantorianos.

La teoría de conjuntos es uno de los fundamentos de las matemáticas. Ahora se considera una
rama matemática independiente con aplicaciones en topología, álgebra abstracta y matemáticas
discretas.
Conceptos básicos de la teoría de conjuntos
La unidad más fundamental de la teoría de conjuntos es un conjunto. Un conjunto es una
colección única de objetos llamados elementos. Estos elementos pueden ser árboles, empresas de
telefonía móvil, números, números enteros, vocales o consonantes. Los conjuntos pueden ser
finitos o infinitos. Un ejemplo de un conjunto finito sería un conjunto de alfabetos ingleses o
números reales o números enteros.

Los conjuntos se escriben de tres maneras: tabular, notación de creación de conjuntos o

descriptiva. Se clasifican además en conjuntos finitos, infinitos, singleton, equivalentes y vacíos.

Podemos realizar múltiples operaciones sobre ellos. Cada operación tiene sus propiedades únicas,
como diremos más adelante en esta lección. También veremos notaciones de conjuntos y algunas
fórmulas básicas.

Pruebas de teoría de conjuntos

Uno de los aspectos más importantes de la teoría de conjuntos son los teoremas y las
demostraciones que involucran conjuntos. Ayudan en la comprensión básica de la teoría de
conjuntos y sientan las bases para las matemáticas avanzadas. Se requiere mucho para probar
diferentes teoremas, la mayoría de los cuales siempre se refieren a conjuntos.

Esta sección analizará tres pruebas que sirven como trampolín para probar propuestas más
complejas. Sin embargo, solo compartiremos el enfoque en lugar de un tutorial paso a paso para
una mejor comprensión.

El objeto es un elemento de un conjunto:

Como sabemos, cualquier conjunto en notación constructora de conjuntos se define como:

X = {x : P(x)}

Aquí P(x) es una oración abierta sobre x, que debe ser verdadera si cualquier valor de x debe ser el
elemento del conjunto X. Como sabemos esto, debemos deducir que para probar que un objeto es
un elemento del conjunto; necesitamos demostrar que P(x) para ese objeto específico es
verdadera.

Un conjunto es un subconjunto de otro:

Esta prueba es una de las pruebas más redundantes en la teoría de conjuntos, por lo que debe
entenderse bien y requiere atención especial. En esta sección, veremos cómo probar esta
proposición. Si tenemos dos conjuntos, A y B, A es un subconjunto de B si contiene todos los
elementos presentes en B, esto también significa que:

si a ∈ A, entonces a ∈ B.

Esta es también la afirmación que necesitamos probar. Una forma es asumir que un elemento de A
es un elemento de A y luego deducir que a también es un elemento de B. Sin embargo, otra opción
se llama enfoque contrapositivo, donde suponemos que a no es un elemento de B, entonces a
tampoco es un elemento de A.

Pero en aras de la simplicidad, siempre se debe usar el primer enfoque en pruebas relacionadas.

Ejemplo 1

Demostrar que {x ∈ Z : 8 I x} ⊆ {x ∈ Z : 4 I x}

Solución:

Supongamos a ∈ {x ∈ Z : 8 I x} lo que significa que a pertenece a los números enteros y se puede

dividir por 8. Debe haber un número entero c para el cual a=8c; si miramos de cerca, podemos
escribirlo como a=4(2c). De a=4(2c), podemos deducir que 4 I a.

Por lo tanto, a es un número entero que se puede dividir por 4. Por lo tanto, a {x ∈ Z : 4 I x}. Como
hemos probado a ∈ {x ∈ Z : 8 I x} implica a {x ∈ Z : 4 I x}, significa que {x ∈ Z : 8 I x} ⊆ {x ∈ Z : 4 I x}.
Por lo tanto probado.

Dos conjuntos son iguales:

Hay una prueba elemental para demostrar que dos conjuntos son iguales. Supongamos que
probamos que A ⊆ B; esto implicará que todos los elementos de A están presentes en B. Pero en
el segundo paso, si mostramos que B ⊆ A, esto significará que se ha eliminado toda posibilidad de
que algunos elementos de B no estuvieran en A durante el primer paso. . No hay posibilidad de
que ningún elemento en B ahora no esté presente en A o viceversa.

Ahora que tanto A como B son un subconjunto uno del otro, podemos probar que A es igual a B.

Fórmulas de la teoría de conjuntos

Esta sección analizará algunas fórmulas de la teoría de conjuntos que nos ayudarán a realizar las
operaciones en conjuntos. No solo operaciones en conjuntos, también podremos aplicar estas
fórmulas a problemas del mundo real y comprenderlos.

Las fórmulas que discutiremos son fundamentales y se realizarán en dos conjuntos solamente.
Antes de profundizar en estas fórmulas, es necesario aclarar algunas notaciones.

n(A) representa el número de elementos en A

n(A ∪ B) representa el número de elementos en A o B

n(A ∩ B) representa el número de elementos comunes a los conjuntos A y B.

n(A ∪ B) = n(A) + n(B) – n(A ∩ B)
Podemos usar esta fórmula para calcular el número de elementos presentes en la unión de A y B.
Esta fórmula solo se puede usar cuando A y B se superponen y tienen elementos comunes entre
ellos.

n(A ∪ B) = n(A) + n(B)

Esta fórmula se puede usar cuando A y B son conjuntos disjuntos de modo que no tienen
elementos comunes entre ellos.

n(A) = n(A ∪ B) + n(A ∩ B) – n(B)

Esta fórmula se usa cuando queremos calcular el número de elementos en el conjunto A, siempre
que se nos dé el número de elementos en A unión B, A intersección B y B.

n(B) = n(A ∪ B) + n(A ∩ B) – n(A)

Esta fórmula se usa cuando queremos calcular el número de elementos en el conjunto B siempre
que se nos dé el número de elementos en A unión B, A intersección B y en A.

n(A ∩ B) = n(A) + n(B) – n(A ∪ B)

Si queremos encontrar los elementos comunes a A y B, necesitamos saber el tamaño de A, B y A
unión B.

n(A ∪ B) = n(A – B) + n(B – A) + n(A ∩ B)

En esta fórmula, nuevamente estamos calculando el número de elementos en A union B, pero esta
vez la información provista es diferente. Se nos da el tamaño de la diferencia con respecto a B y la
diferencia con respecto a A. Junto con estos, se nos da el número de elementos comunes a A y B

Ejemplo 2

En una escuela hay 20 profesores. 10 enseñan ciencias mientras que 3 enseñan artes y 2 enseñan
ambas.

Determine cuántos maestros enseñan cualquiera de las materias.

Solución:

Número de profesores que imparten alguna de las materias son:

n(A ∪ B) = n(A) + n(B) – n(A ∩ B)

n(A ∪ B) = 10 + 3 – 2 = 11

Entonces, 11 maestros enseñan a cualquiera de ellos.

Notación de teoría de conjuntos

En esta sección, hablaremos de todas las notaciones utilizadas en la teoría de conjuntos. Incluye la
notación matemática desde un conjunto hasta el símbolo para números reales y complejos. Estos
símbolos son únicos y se basan en la operación que se está realizando.
Hablamos de subconjuntos y conjuntos de potencia anteriormente. También veremos su notación
matemática. El uso de esta notación nos permite representar la operación de la forma más
compacta y simplificada posible.

Hace que sea más fácil para el observador matemático casual saber exactamente qué operación se
está realizando. Así que entremos en esto uno por uno.

Colocar:
Sabemos que un conjunto es una colección de elementos, como hemos discutido antes
repetidamente. Estos elementos pueden ser los nombres de algunos libros, autos, frutas,
vegetales, números, alfabetos. Pero todos estos deben ser únicos y no repetitivos en un conjunto.

También pueden estar relacionados con las matemáticas, como diferentes líneas, curvas,
constantes, variables u otros conjuntos. En las matemáticas modernas, no encontraría un objeto
matemático tan común. Para definir conjuntos, generalmente usamos el alfabeto en mayúsculas,
pero la notación matemática para esto es:

{} Se utiliza un conjunto de corchetes como notación matemática de conjuntos.

Ejemplo 3

Escriba 1, 2, 3, 6 como un conjunto A en notación matemática.

Solución:

A = {1, 2, 3, 6}

Unión:
Supongamos que tenemos dos conjuntos: A y B. La unión de estos dos conjuntos se define como
un nuevo conjunto que contiene todos los elementos de A, de B y elementos presentes en ambos.
La única diferencia es que los elementos se repiten en A y B. El nuevo conjunto tendrá esos
elementos solo una vez. En la inducción matemática, se representa usando la lógica 'o' en un
sentido intrínseco. Si decimos A o B, significa la unión de A y B.

Se representa mediante el símbolo: ∪

Ejemplo 4

¿Cómo representarías la unión del conjunto A y B?

Solución:

La unión de dos conjuntos A y B, también definidos como elementos pertenecientes a A, B o

ambos, puede representarse por:

A∪B
Intersección:
Supongamos nuevamente que tenemos dos conjuntos: A y B. La intersección de estos conjuntos se
define como un nuevo conjunto que contiene todos los elementos comunes a A y B o todos los
elementos de A, que también están presentes en B. En otras palabras , también podemos decir
que todos los elementos presentes en A y B.

En la inducción matemática, la lógica 'Y' se usa para representar la intersección entre elementos.
Entonces, si decimos A y B, nos referimos a la intersección o los elementos comunes. Solo se
incluyen los elementos presentes en ambos conjuntos.

Se representa mediante el símbolo: ∩

Ejemplo 5

¿Cómo representarías la intersección de A y B?

Solución:

La intersección de dos conjuntos está representada por:

A∩B _ _

Subconjunto:
Cualquier conjunto A se considera el subconjunto del conjunto B si todos los elementos del
conjunto A son también elementos del conjunto B. Es un conjunto que contiene todos los
elementos también presentes en otro conjunto.

Esta relación también puede denominarse la de 'inclusión'. Los dos conjuntos A y B pueden ser
iguales, también pueden ser desiguales, pero entonces B tiene que ser mayor que A ya que A es el
subconjunto de B. Más adelante, discutiremos varias otras variaciones de un subconjunto. Pero
por ahora, estamos hablando solo de subconjuntos.

Se representa mediante el símbolo: ⊆

Ejemplo 6

Representa que A es un subconjunto de B.

Solución:

Esta relación de A siendo un subconjunto de B se representa como:

A⊆B

Subconjunto propio:
Anteriormente hablábamos de un subconjunto, ahora deberíamos mirar la notación para el
subconjunto propio de cualquier conjunto, pero primero, necesitamos saber qué es un
subconjunto propio. Consideremos que tenemos dos conjuntos: A y B. A es un subconjunto propio
de B si todos los elementos de A están presentes en B, pero B tiene más elementos, a diferencia
de algunos casos en los que ambos conjuntos son iguales en varios elementos. A es un
subconjunto propio de B con más elementos que A. Esencialmente, A es un subconjunto de B pero
no igual a B. Este es un subconjunto propio.

Se representa usando el símbolo en la teoría de conjuntos: ⊂

Este símbolo significa 'un subconjunto propio de'.

Ejemplo 7

¿Cómo representará la relación de A siendo un subconjunto propio de B?

Solución:

Dado que A es un subconjunto propio de B:

A⊂B

No es un subconjunto:
Discutimos que siempre que todos los elementos de A estén presentes en otro conjunto en
nuestro caso, ese conjunto es B, entonces podemos decir que A es un subconjunto de B. Pero,
¿qué pasa si todos los elementos de A no están presentes en B? ¿Cómo lo llamamos y cómo lo
representamos?

En este caso, lo llamamos A no es un subconjunto de B porque todos los elementos de A no están

presentes en B, y el símbolo matemático que usamos para representar esto es: ⊄

Significa 'no un subconjunto de'.

Ejemplo 8

¿Cómo representará la relación de que A no es un subconjunto de B?

Solución:

Dado que A no es un subconjunto propio de B:

A⊄B

Superconjunto:
El superconjunto también se puede explicar usando un subconjunto. Si decimos que A es un
subconjunto de B, entonces B es un superconjunto de A. Una cosa a notar aquí es que usamos la
palabra 'subconjunto' y no un subconjunto propiamente dicho donde B siempre tiene más
elementos que A. Aquí B puede tienen más elementos o el mismo número de elementos que A. En
otras palabras, podemos decir que B tiene los mismos elementos que A o probablemente más.
Matemáticamente, podemos representarlo usando el símbolo: ⊇
Significa 'un superconjunto de'.

Ejemplo 9

¿Cómo representará la relación de A siendo un superconjunto de B?

Solución:

Dado que A es un superconjunto de B:

A⊇B

Superconjunto adecuado:
Al igual que el concepto de subconjunto propio donde el conjunto que es el subconjunto propio
siempre tiene menos elementos que el otro conjunto, cuando decimos que un conjunto es un
superconjunto propio de algún otro conjunto, también debe tener más elementos que el otro
conjunto. Ahora para definirlo: cualquier conjunto A es un superconjunto propio de cualquier
conjunto B si contiene todo B y más elementos. Esto significa que A siempre debe ser mayor que
B. Esta operación se representa con el símbolo: ⊃

Significa un 'un subconjunto de' propio.

Ejemplo 10

¿Cómo representará la relación de A siendo un superconjunto propio de B?

Solución:

Dado que A es un superconjunto propio de B:

A⊃B

No es un superconjunto:
Si un conjunto no puede ser un subconjunto de otro conjunto, ningún conjunto tampoco puede
ser un superconjunto de algún otro conjunto. Para definir esto en términos de teoría de conjuntos,
decimos que cualquier conjunto A no es un superconjunto de B si no contiene todos los elementos
presentes en B o tiene menos elementos que B. Esto significa que el tamaño de A puede ser
menor que B o tener todos los elementos presentes en B. En notación de conjuntos,
representamos esto como: ⊅

Significa 'no un superconjunto de'.

Ejemplo 11

¿Cómo representará la relación de A que no es un superconjunto de B?

Solución:
Dado que A no es un superconjunto de B:

A⊅B

Complemento:
Para comprender el complemento de cualquier conjunto, primero debe saber qué es un conjunto
universal. Un conjunto universal es un conjunto que contiene todo lo que se observa. Incluye
todos los objetos y todos los elementos en cualquiera de los conjuntos relacionados o cualquier
conjunto que sea un subconjunto de este conjunto universal.

Ahora bien, cuando sabemos qué es un conjunto universal, el complemento de un conjunto,

digamos que el conjunto A se define como todos los elementos presentes en el conjunto universal
pero no en A, dado que A es un subconjunto de U. Esto significa un conjunto de elementos que no
están presentes en A. Se representa mediante un guión de c minúscula:

una c

Se lee como 'complemento de A'.

Ejemplo 12

Tenemos un conjunto de U pero no de A; como los representas?

Solución:

Dado que estos elementos no están en A, tenemos:

una c

Diferencia:
El complemento de un conjunto utiliza la función de la diferencia entre un conjunto universal y
cualquier conjunto A. Ahora bien, ¿cuál es la diferencia entre conjuntos?

En la teoría de conjuntos, la diferencia entre conjuntos es un nuevo conjunto que contiene todos
los elementos presentes en un conjunto pero no en el otro. Entonces, supongamos que queremos
encontrar la diferencia del conjunto A con respecto a B, tendremos que construir un nuevo
conjunto que contenga todos los elementos presentes en A pero no en B. La diferencia es una
función binaria. Necesita dos operandos: el símbolo del operador que usamos es el de resta.
Entonces, supongamos que tenemos dos conjuntos, A y B. Necesitamos encontrar la diferencia
entre ellos con respecto a B. Será un nuevo conjunto que contendrá todos los elementos en B pero
no en A. Esto se puede representar usando el clasificación:

A–B

Elemento:
Sabemos que un conjunto consta de objetos únicos. Estos objetos únicos se llaman elementos. Un
objeto individual de un conjunto se llama elemento del conjunto. Estos son los objetos que se
utilizan para formar un conjunto.

También se les puede llamar miembros de un conjunto. Cualquier elemento de un conjunto es un

objeto único que pertenece a ese conjunto. Como estudiamos antes, se escriben dentro de un
conjunto de corchetes con comas separándolos. El nombre del conjunto siempre se representa
como un alfabeto en mayúsculas de inglés.

Si cualquier objeto, digamos '6' es un elemento de un conjunto, lo escribimos como:

6A _

Donde significa 'un elemento de'.

Ejemplo 13

A se define como {2, 5, 8, 0}. Indica si la siguiente afirmación es verdadera o falsa.

0A _

Solución:

Como podemos ver que 0 es un elemento de A, entonces la afirmación es verdadera.

No es un elemento de:
¿Qué significa que un elemento no sea parte de un conjunto y cómo lo representamos?

Cualquier objeto no es elemento de un conjunto si no está presente en el conjunto, o podemos

decir que no está en el conjunto. El símbolo utilizado para representar esto es: ∉

Significa 'no es un elemento de'.

Ejemplo 14

A se define como {2, 5, 8, 0}. Indica si la siguiente afirmación es verdadera o falsa.

0A _

Solución:

Como podemos ver que 0 es un elemento de A, mientras que la condición dada establece que 0 no
es un elemento de A, por lo que la afirmación es FALSA.

Conjunto vacio:
Un conjunto vacío es un concepto fascinante en la teoría de conjuntos. Es básicamente un
conjunto que no contiene ningún elemento. La razón por la que lo necesitamos es que queremos
tener alguna noción de la vacuidad. Un conjunto vacío no está vacío. Cuando lo pones entre
paréntesis, es un conjunto que contiene ese vacío. El tamaño de un conjunto vacío también es
cero. ¿Existe realmente? Eso se puede deducir de algunos teoremas. También tiene propiedades
únicas, como que es un subconjunto de todos los conjuntos. Sin embargo, el único subconjunto
que tiene un conjunto vacío en sí mismo: un conjunto vacío.

Hay múltiples formas de representarlo; algunos usan corchetes vacíos; algunos usan el símbolo Ⲫ.

Conjunto universal:
Como discutimos en la sección del complemento, un conjunto universal contiene todos los
elementos presentes en sus conjuntos concernientes. Estos objetos son distintos, únicos y no
deben repetirse. Entonces, si establecemos A = {2, 5, 7, 4, 9} y establecemos B = {6, 9}. Un
conjunto universal denotado con el símbolo 'U' será igual al conjunto U = {2, 5, 4, 6, 7, 9, 10, 13}.

Si te dan un conjunto universal, debes deducir que debe contener algunos elementos de conjuntos
diferentes pero relacionados junto con sus propios elementos únicos que no están presentes en
los conjuntos relacionados.

Como mencionamos antes, un conjunto universal se denota con el símbolo 'U'. No existe una
fórmula para calcular un solo conjunto a partir de múltiples conjuntos. En este punto, debe ser
capaz de razonar que los conjuntos constituyentes de los conjuntos universales también son
subconjuntos de U.

Set de poder:
En la teoría de conjuntos, un conjunto potencia de cierto conjunto A es un conjunto que incluye
todos los subconjuntos de A. Estos subconjuntos incluyen el conjunto vacío y el propio conjunto. El
número de elementos en un conjunto de potencia se puede calcular usando una fórmula
predefinida 2 s donde es el número de elementos en el conjunto original.

Un conjunto potencia es el ejemplo perfecto de conjuntos dentro de conjuntos, donde los

elementos de un conjunto son otro conjunto. Cualquier subconjunto del conjunto potencia se
denomina familia de conjuntos sobre ese conjunto. Así que digamos que tenemos un conjunto A.
El conjunto potencia de A se representa usando:

PENSILVANIA)

igualdad:
Se considera que dos conjuntos cualesquiera son iguales si tienen los mismos elementos. Ahora
bien, no es necesario que el orden de estos elementos sea el mismo; sin embargo, lo importante
es el elemento en sí.

Para que dos conjuntos sean iguales, su unión e intersección deben dar el mismo resultado, que
también es igual para los dos conjuntos involucrados. Como en otras propiedades de igualdad,
también usamos el símbolo de igualdad en la teoría de conjuntos. Si dos conjuntos A y B son
iguales, lo escribimos como:

A=B

Producto cartesiano:
Como su nombre lo indica, es el producto de dos conjuntos cualesquiera, pero este producto es
ordenado. En otras palabras, el producto cartesiano de dos conjuntos cualesquiera es un conjunto
que contiene todos los pares posibles y ordenados, de modo que el primer elemento del par
proviene del primer conjunto y el segundo elemento se toma del segundo conjunto. Ahora bien,
esto se ordena de manera que se produzcan todas las variaciones posibles entre los elementos.

La implementación más común de un producto cartesiano está en la teoría de conjuntos. Al igual

que otras operaciones de productos, usamos el signo de multiplicación para representar esto, por
lo que, si hemos establecido a y B, el producto cartesiano entre ellos se representa como:

AxB

Cardinalidad:
En la teoría de conjuntos, la cardinalidad de un conjunto es el tamaño de ese conjunto. Por
tamaño del conjunto, nos referimos al número de elementos presentes en él. Tiene la misma
notación que el valor absoluto, que son dos barras verticales a cada lado. Digamos que queremos
representar la cardinalidad del conjunto A, la escribiremos como:

IAI

Esto denota el número de elementos presentes en A.

Para todos:
Este es el símbolo en notación de conjunto para representar 'para todos'.

Digamos que tenemos, x > 4, x = 2. Esto significa que para todos los valores de x mayores que
cuatro, x será igual a 2.

Por lo tanto:
Por lo tanto, el símbolo más utilizado en la notación matemática de la teoría de conjuntos es off.
Se usa en su significado en inglés y se representa con el símbolo: ∴