Conjuntos y funciones

Álgebra y matemática discreta

CONTENIDO
1. Objetivos

2. Conjuntos

3. Operaciones con conjuntos

4. Funciones

5. Cardinalidad

6. Resumen

7. Bibliografía

Objetivos
• Conocer qué son los conjuntos y qué tipos de
conjuntos existen.
• Comprender qué son los subconjuntos.
• Saber qué tipos de conjuntos especiales de
números existen.
• Aprender las distintas operaciones que se pueden
realizar con los conjuntos.
• Conocer qué son las funciones y aprender algunos
conceptos clave relacionados con las mismas.
• Saber qué es la cardinalidad de los conjuntos y
conocer los distintos tipos de conjuntos que existen
en función de su cardinalidad.
Conjuntos
El término conjunto y sus características están presentes
en la vida cotidiana. Sin embargo, los conjuntos también
son esenciales en disciplinas como la informática o
las matemáticas, hasta el punto de que, si no existiera
la teoría matemática de conjuntos, tampoco existiría la
informática tal y como se conoce hoy en día. Lo anterior
se debe a que, por ejemplo, sin conjuntos no es posible
definir un lenguaje que permita escribir programas
informáticos.
De acuerdo con Kenneth1:
Los conjuntos se utilizan para agrupar objetos.
Generalmente, los objetos de un conjunto tienen
propiedades similares. Por ejemplo, todos los estudiantes
que están matriculados en tu facultad forman un
conjunto. De la misma forma. todos los estudiantes
matriculados en la asignatura de matemática discreta
en cualquier facultad forman un conjunto. Además,
aquellos alumnos de matemática discreta matriculados
en tu facultad forman otro conjunto que puede formarse
tomando los elementos comunes de las dos primeras
colecciones. El lenguaje de los conjuntos es un medio
para estudiar tales colecciones de forma organizada.
De un modo más formal, Kenneth1 define un conjunto
como una colección desordenada de objetos.
Del Valle Sotelo2 describe los conjuntos del siguiente
modo:
Intuitivamente, una colección de objetos formada de
acuerdo con cierta regla que permite siempre decidir
si un objeto dado, cualquiera, pertenece o no a dicha
colección, es un conjunto. Si A es un conjunto y a es un
objeto que forma parte de él, se dice que a es un elemento
de A o que a pertenece al conjunto A y se escribe a A, y
Э
si el objeto a no es elemento del conjunto A, se escribe
a A.
Э
Conjuntos y funciones | 3
Como norma general, se utilizan letras mayúsculas
para identificar conjuntos y letras minúsculas para los
elementos de estos.
Los conjuntos se pueden definir de dos maneras, con
base a los postulados de del Valle Sotelo2:
• Por extensión: en este caso se identifican todos
los elementos que componen el conjunto. Para
ello, estos elementos se escriben entre llaves y
separados por comas.
• Por condición: se establece una o varias
condiciones que deben cumplir todos los
elementos pertenecientes a ese conjunto. En este
caso, el formato de definición del conjunto sería el
siguiente: {xlp(x)}, o {x:p(x)}, siendo p(x) la condición
o condiciones que debe cumplir cada elemento x
que pertenece al conjunto. En esta notación, los
dos puntos, o la barra vertical, significan “tal o tales
que”, dependiendo de si se ha establecido una o
varias condiciones.
A continuación, se muestran algunos ejemplos que
ilustran estos conceptos:
• Conjunto definido por extensión:
- A={0,1}
- B={Verdadero,Falso}
- C={♠,♣,♥,♦}
- D={a,b,c,d,e,f,g,h,i,j,k,l,m,n,ñ,o,p,q,r,s,t,u,v,w,x,y,z}
• Conjunto definido por condición:
- E={x:P(x)}
- F={x:x es número primo}
- G={x|x es número primo}
- H={x|x>0}
- I={x:x R}
Э
Los conjuntos F y G son el mismo conjunto definido de
distinta manera. Otra forma de definir el mismo conjunto,
en este caso, por extensión, sería la siguiente:
F={2,3,7,11,13,17,19,(…)}
Esta forma de definición también se puede utilizar con
conjuntos cuyo número de elementos es finito. En este
caso, después de los puntos suspensivos (…) se puede
incluir el último elemento del conjunto. Esta forma de
definir los conjuntos solo se debería emplear cuando el
patrón de los elementos es claramente evidente.
Por ejemplo, el conjunto de los números enteros positivos
pares menores que 13 se podría expresar de la siguiente
manera: P={2,4,…,12}.
 Conjuntos y funciones | 4

A partir de estas definiciones de conjuntos se podría

determinar qué objetos pertenecen, o no pertenecen, a un
determinado conjunto. Por ejemplo, 3 F, Verdadero B ,
Э Э
7 C, 5 D.
Э Э

Los objetos que pertenecen a un determinado conjunto

se denominan elementos de ese conjunto, es decir, 11,
13 y 79 son elementos del conjunto F, mientras que 8 y 5
no son elementos de dicho conjunto.

• Igualdad entre conjuntos

Figura 1. B es un subconjunto de A.
Se dice que dos conjuntos son iguales cuando tienen
exactamente los mismos elementos, es decir, si y solo
si, los elementos que pertenecen a ambos conjuntos son
los mismos. Hay que tener en cuenta que el orden de
los elementos que forman un conjunto no influye en la
igualdad, al igual que tampoco lo hace el hecho de que
puedan existir elementos repetidos en el conjunto, por lo
que se puede inferir que los tres conjuntos descritos, a
continuación, son iguales:

A={1,2,3}
B={3,1,2}
C={1,2,1,3,2,1}
• Subconjuntos
De acuerdo con del Valle Sotelo2:
Sean A y B dos conjuntos, se dice que B es un subconjunto
de A si todo elemento de B pertenece también al
conjunto A. En tal caso se emplea la notación BcA o BcA
para simbolizar este concepto. También se acostumbra
a decir que B está contenido en A o que A contiene al
conjunto B.
2
Figura 2. Diagrama de Venn para representar BcA .
• Subconjuntos propios
Dado que la definición de subconjunto incluye la
posibilidad de que AcA, esto implica que AcA es
verdadero, por lo que, A es un subconjunto de A. De esta
manera, se utiliza el concepto de subconjuntos propios
para definir los conjuntos B que, siendo subconjuntos de
A, son distintos de A, es decir, BcA y B≠A. Este tipo de
subconjuntos se denotan del siguiente modo: BcA.
En la figura 1, B es un subconjunto propio de A, ya que B
es un conjunto que está contenido en A, pero es distinto
de A.

• Conjunto universo o conjunto universal

Para entender el concepto de subconjunto y, en general,
todos los aspectos relacionados con los conjuntos, de
Del Valle Sotelo2 define un conjunto universo del
una forma más visual y sencilla, se utilizan los diagramas
siguiente modo:
de Venn: esquemas que representan los conjuntos
mediante círculos. En la (Figura 1) se representa mediante
un diagrama de este tipo donde B es un subconjunto de Cuando en un grupo de conjuntos A, B, C, etc., todos los
A, ya que B está totalmente incluido dentro de A. elementos de cada uno de ellos pertenecen a un mismo
conjunto U; es decir, AcU,BcU,CcU , etc., se dice que el
conjunto U es un conjunto universo para esta colección
Sin embargo, en la (Figura 2), retomada de del Valle
de conjuntos.
Sotelo [2], se muestra un ejemplo de dos conjuntos, tal
que BcA (B no está contenido en A, es decir, B no es un
subconjunto de A).
 Conjuntos y funciones | 5

Por ejemplo, en el caso de que se esté trabajando con
números enteros y todos los elementos de los conjuntos
sean números enteros, el conjunto universo sería el
conjunto de los números enteros Z. De igual modo, si
se estuviera trabajando con números reales, el conjunto
universo sería el conjunto R y así sucesivamente. Aunque
no siempre es posible definir el conjunto universal de
una forma tan sencilla, ya que la definición del conjunto
universo requiere incluir todos los posibles elementos de
los conjuntos.
Existen casos en los que la definición del conjunto
universo es evidente y, por ello, se obvia, ya que este
conjunto se encuentra implícito. Por ejemplo, dado el
conjunto A={deportistas,nodeportistas}, el conjunto
universo al que pertenecen los elementos de A se definiría
como el conjunto de los seres humanos o U={personas}.
• Conjunto vacío
Algunos de estos conjuntos pueden ser subconjuntos
de otros o tener algún elemento en común con otro de
los conjuntos. También pueden existir casos en que dos
conjuntos sean subconjuntos de otro. En la (Figura 3) se
muestra la relación que existe entre estos subconjuntos
de números especiales:
• Cuantificadores y conjuntos
Es posible hacer uso de cuantificadores junto con
conjuntos. En este caso, los cuantificadores se utilizan
como una herramienta que facilita la descripción de los
elementos del conjunto a los que se hace referencia.
Por ejemplo, se podría escribir x A:P(x), para denotar
Э A
todos los elementos x de A tal que P(x). De igual modo,
se podría emplear el cuantificador x A:P(x), para
E Э
denotar que existe un elemento x de A tal que P(x).

Existe otro tipo de conjunto esencial, el conjunto vacío

que por definición no tiene algún elemento. Este conjunto
se representa por el símbolo Ø.

En palabras de del Valle Sotelo2:

ØcA para todo conjunto A; es decir, el conjunto vacío es

subconjunto de todo conjunto; pues en caso contrario
existiría un elemento x Ø que no pertenece a cierto
Э
conjunto A, lo cual es una contradicción de la definición
del conjunto vacío.

• Conjuntos especiales de números

Existen algunos conjuntos especiales de números que, a

su vez, son subconjuntos de otros conjuntos de números.
Algunos de ellos son los siguientes3:
3
Figura 3. Conjuntos especiales de números .
- Números naturales (N): se utilizan para contar y
comienzan en el número 1, aunque en ocasiones
se incluye el 0. Operaciones con conjuntos
- Números enteros (Z): son el resultado de añadir
a los números naturales el 0 y los números • Unión de conjuntos
negativos.
Se define la unión de dos conjuntos A y B de la siguiente
- Números racionales (Q): son los números que se
manera: AUB={x:x Avx B}, donde se establece que la
Э Э
forman al dividir un número entero entre otro que
unión está formada por los elementos x que pertenecen
no sea 0.
al conjunto A o que pertenecen al conjunto B. También
- Números reales (R): cualquier número se puede dar el caso de que el elemento x pertenezca a
comprendido entre los extremos (+ y -) infinitos. los dos conjuntos A y B a la vez.
Pueden ser números positivos, negativos o cero.
- Números imaginarios (I): son números que, al En la (Figura 4) se muestra, en color azul, una
elevarlos al cuadrado, el resultado es negativo. representación gráfica, o diagrama de Venn, del concepto
- Números complejos (C): un número complejo es de unión de conjuntos:
una combinación de número real e imaginario.
 Conjuntos y funciones | 6

Figura 4. Unión de los conjuntos A y B. Figura 5. Intersección de los conjuntos A y B.

• Intersección de conjuntos

Se define la intersección de dos conjuntos A y B de la

siguiente forma: AnB={x:x AΛx B},donde se establece
Э Э
que la intersección está formada por los elementos x
que pertenecen tanto al conjunto A, como al conjunto B.

En la (Figura 5) se muestra gráficamente, de color azul, el

concepto de intersección de conjuntos:

• Complemento de conjuntos
Figura 6. Complemento del conjunto A.
Se define el complemento de un conjunto A de la
siguiente manera: A^c={x U:x A}, donde se establece
Э Э
que el complemento está formado por los elementos
x pertenecientes al conjunto universal, pero que no
pertenecen al conjunto A.

En la (Figura 6) se puede observar un diagrama de Venn

en el que se muestra gráficamente, en color azul, el
concepto de complemento de un conjunto o conjunto
complementario.

• Diferencia de conjuntos
Figura 7. Diferencia de los conjuntos A y B (A–B).
Se define la diferencia de los conjuntos A y B del
siguiente modo: A-B={x:x AΛx B}, donde se establece
Э Э
que la diferencia está formada por los elementos x que
pertenecen al conjunto A y no pertenecen al conjunto B.

A continuación, se muestra la (Figura 7) en la que se

puede observar una representación gráfica del concepto
de diferencia de conjuntos:

• Diferencia simétrica de conjuntos

Se define la diferencia simétrica de los conjuntos A y B de

Figura 8. Diferencia simétrica de los conjuntos A y B.
la siguiente manera: AΔB={x:x (A-B)Ux (B-A)}, donde
Э Э
se establece que la diferencia simétrica está formada
por los elementos x que pertenecen o al conjunto A y o al
conjunto B, pero no a los dos en simultaneidad.

En la (Figura 8) se muestra una representación gráfica,

en color azul, del concepto de diferencia simétrica de
conjuntos:

• Conjunto de las partes de un conjunto
De acuerdo con Kenneth1:
En muchos problemas debemos probar todas las
combinaciones posibles de elementos de un conjunto
para ver si satisfacen una propiedad determinada. Para
considerar todas estas combinaciones de elementos de
un conjunto S, construimos un nuevo conjunto cuyos
elementos son todos los posibles subconjuntos de S.
El conjunto de las partes de S se denota P(S), siendo S el
conjunto del que se obtienen las partes.
Por ejemplo, el conjunto de las partes del conjunto {0,1,2}
sería el siguiente, con base a los postulados de Kenneth1:
El conjunto de las partes P ({0,1,2}) es el conjunto de los
subconjuntos de {0,1,2}. Por tanto,
P{0,1,2}={Ø,{0},{1},{2},{0,1},{0,2},{1,2},{0,1,2}}
En el anterior ejemplo conjunto vacío y el propio conjunto
son miembros del conjunto de las partes.
• Producto cartesiano de conjuntos
Continuando con los aportes de Kenneth1, se resalta lo
siguiente:
Sean A y B conjuntos. El producto cartesiano de A y B,
denotado por A×B, es el conjunto de todos los pares
ordenados (a,b) donde a A y b B.
Э Э
Por tanto A×B={(a,b):a AΛb B}
Э Э
El término par o pareja ordenada se define de la siguiente
manera, retomando a del Valle Sotelo2:
1. Sean a, b un par de objetos, se denota la pareja
ordenada formada por ellos como (a,b).
2. Dos parejas ordenadas (a,b) y (c,d) son iguales,
(a,b)=(c,d) si y solo si a=c y b=d.
De esta manera (2,3)≠(3,2)
A continuación, se muestra un ejemplo para ilustrar el
concepto de producto cartesiano:
Conjuntos y funciones | 7
Ejemplo:
Sea A={a,b} y B={1,2,3}
Se tiene que A×B es:
A×B={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}
• Leyes de Morgan
Las llamadas leyes de Morgan son muy empleadas en la
teoría de conjuntos y se definen de la siguiente manera:
1. (AuB)c=AcnBc
2. (AnB)c=AcuBc
• Identidades de conjuntos
En la (Tabla 1) se pueden observar las identidades más
importantes entre conjuntos:
Funciones
Tal como se expone en CK-12 Foundation4:
Una función es una regla que relaciona dos o más
variables. Por ejemplo, el precio que una persona
tiene que pagar por el servicio de telefónico de su
casa depende del número de minutos que el/ella usa
el teléfono. Podemos decir que el costo del servicio
telefónico es una función del número de minutos que el/
ella habla.
En el mundo de la informática, el uso de funciones para
obtener un resultado, con base a la entrada de un valor o
valores, es común. Las funciones son una parte esencial
de la programación informática.
Existen distintas formas de expresar una función, pero
una forma común de hacerlo es mediante una fórmula
f(x)=x2.
En Kenneth1 se explica la relación de las funciones con
los conjuntos del siguiente modo:
Sean A y B conjuntos. Una función f de A en B es una
asignación de exactamente un elemento de B a cada
elemento de A. Escribimos f(a)=b si b es el único
elemento de B asignado por la función f al elemento a
de A. Sí f es una función de A en B, escribimos f:A B.
En la (Figura 9) se puede observar gráficamente cómo
la función f transforma A en B, como se aborda en
Kenneth1:
 Conjuntos y funciones | 8

Identidad Nombre

AuØ=A
Leyes de identidad
AnU=A

AuU=U
Leyes de dominación
AnØ=Ø

AuA=A
Leyes idempotentes
AnA=A

(Ac)c=A Ley de complementación

AuB=BuA
Leyes conmutativas
AuB=BuA

Au(BuC)=(AuB)uC
Leyes asociativas
An(BnC)=(AnB)nC

An(BuC)=(AnB)u(AnC)
Leyes distributivas
Au(BuC)=(AuB)n(AuC)

(AuB)c=AcnBc
Leyes de Morgan
(AnB)c=AcuBc

Au(AnB)=A
Leyes de absorción
AN(AUB)=A

AuAc=U
Leyes de complemento
ANAc=Ø

Tabla 1. Identidades entre conjuntos.

1
Figura 9. Función f:A B

• Dominio y otros conceptos claves
A continuación, se definen una serie de conceptos clave
relacionados con las funciones, como se menciona en
Kenneth1:
Si f es una función de A en B, decimos que A es el dominio
de f y B es el codominio de f. Si f(a)=b, decimos que b
es la imagen de a y a es una preimagen de b. El rango
o imagen de f es el conjunto de todas las imágenes de
elementos de A. También decimos, si f es una función de
A en B, que f transforma A en B.
Por ejemplo, como se esclarece en Kenneth1:
Sea f la función que a una cadena de bits de longitud
mayor o igual que 2, le asigna sus dos últimos bits.
Entonces, el dominio de f es el conjunto de todas las
cadenas de bits de longitud mayor o igual que 2, y
tanto el codominio, como la imagen, son el conjunto
{00,01,10,11}.
Estos conceptos son muy útiles a la hora de trabajar
con funciones, las cuales no se emplean únicamente en
álgebra, sino también en muchas otras disciplinas, tales
como, la física, la estadística y la informática.
• Suma y multiplicación de funciones
Sean f1 y f2 dos funciones de números reales R es
posible sumar o multiplicar estas funciones entre sí, de
la siguiente manera:
- (f_1+f_2)x=f_1 (x)+f_2 (x)
- (f_1 f_2)x=f_1 (x)f_2 (x)
• Funciones inyectivas y sobreyectivas
Se dice que una función f es inyectiva, si para cada
elemento distinto del dominio se asigna una imagen
distinta, es decir, f es inyectiva si y solo si f(x)=f(y)
implica que x=y en el dominio de la función f. Por lo
tanto, si se tiene x≠y, entonces se cumple que f(x)≠f(y),
como esclarece Kenneth1.
Inyectiva Sobreyectiva
Figura 10. Distintos tipos de funciones.
Conjuntos y funciones | 9
Por otro lado, de acuerdo con Kenneth1, una función
de A a B es sobreyectiva o sobre si y solo si para todo
elemento b B hay un elemento acA tal que f(a)=b.
Э
Además, una función es biyectiva si es, a la vez, inyectiva
y sobreyectiva.
En la (Figura 10) se ilustran estos conceptos:
• Tablas de funciones
Una forma muy útil de organizar los datos representados
por una función es emplear una tabla en la que se
incluyan los valores de entrada y su correspondiente
valor de salida.
En4 se plantea el siguiente ejemplo: Jason va a un parque
de atracciones, donde paga 8 dólares por derecho de
admisión y 2 dólares por cada viaje en una atracción.
Suponiendo que x es el número de veces que Jason se
sube a una atracción se tendría la siguiente función:
f(x)=2x+8.
Esta función devuelve el dinero que Jason tendría que
pagar después de haberse subido a x atracciones en el
parque.
A partir de esta función se podría construir la siguiente
(Tabla 2), la cual se ha completado para los valores de
x={0,1,2,3,4,5}, que serían las veces que Jason se subiría
a una atracción:
• Función inversa y composición de funciones
Se define una función inversa de la siguiente manera,
retomando los postulados de Kenneth1:
Sea f una función biyectiva del conjunto A en el conjunto
B. La función inversa de f es la función que asigna a un
elemento b que pertenece a B el único elemento a de A
tal que f(a)=b. La función inversa de f se denota por f^(-
1). Así, f^(-1) (b)=a cuando f(a)=b.
Biyectiva

X f(x)
0 8
1 10
2 12
3 14
4 16
5 18
Tabla 2. f(x) = 2x+8.
Por otro lado, se define la composición de funciones de
la siguiente manera, como esclarece Kenneth1:
Sea g una función del conjunto A al conjunto B y sea f una
función del conjunto B al conjunto C. La composición de
las funciones f y g denotada por f0g, se define por (f0g)
(a)=f(g(a)).
En otras palabras, f0g es la función que asigna al elemento
a de A el elemento asignado por f a g(a). Observa que
la composición f0g no se puede definir, a no ser que la
imagen de g sea un subconjunto del dominio de f.
Cardinalidad
El cardinal del conjunto A es el número de elementos
de A y se denota por |A|. Si el conjunto A está formado
por n elementos distintos, siendo n un número entero no
negativo, n es el cardinal de A y A es un conjunto finito.
Otras formas alternativas de expresar el cardinal de un
conjunto, o su cardinalidad, son las siguientes: n(A),
card(A), o #A.
Por ejemplo, si A es el conjunto de números enteros
positivos pares menores que 11, el cardinal de A es |A| =
5. Además, A es un conjunto finito con 5 elementos y se
dice que tiene cardinalidad 5.
Un conjunto infinito es un conjunto que no es finito.
En el caso de los conjuntos finitos, resulta sencillo
entender y utilizar el término cardinalidad, porque es
posible contar los elementos que tiene el conjunto con el
fin de calcular cuál es su cardinal. Sin embargo, cuando
se trabaja con conjuntos infinitos, no es viable contar el
número de elementos del conjunto, por lo que se utiliza
otro método para poder identificar las cardinalidades.
Conjuntos y funciones | 10
De este modo, los conjuntos infinitos se clasifican en
dos tipos:
• Los que tienen el mismo cardinal que los números
naturales
• Los que no tienen el mismo cardinal que los
números naturales.
Para saber si dos conjuntos tienen, o no, el mismo
cardinal, se aplica la siguiente regla: los conjuntos A y B
tienen el mismo cardinal si y solo si existe una biyección
entre A y B, como destaca Kenneth1.
Retomando los postulados de Kenneth1:
Un conjunto se dice que es numerable o contable si
es finito, o si tiene el mismo cardinal que el conjunto
de los números enteros positivos. Un conjunto que no
es numerable se llama no numerable. (…) Un conjunto
infinito es numerable si y solo si es posible enumerar los
elementos del conjunto en una sucesión (con índices
enteros positivos). Esto es debido a que la biyección f
entre el conjunto de los enteros positivos y un conjunto
S, se puede expresar en términos de una sucesión a1, a2,
…, an, …, donde a1 = f(1), a2 = f(2), … an = f(n).
En el siguiente ejemplo se muestra que el conjunto de los
números impares positivos es un conjunto numerable,
como continúa esclareciendo Kenneth1:
Para mostrar que este conjunto es numerable,
buscaremos una función biyectiva entre este conjunto
y el conjunto de los enteros positivos. Consideremos la
función: f(n)=2n-1 de Z+ (conjunto de números enteros
positivos) al conjunto de los enteros positivos impares.
Demostraremos que f es una biyección viendo que
es inyectiva y sobreyectiva. Para ver que es inyectiva,
supongamos que f(n)=f(m). Entonces, 2n-1 = 2m – 1, por
lo que n = m. Para ver que es sobreyectiva, supongamos
que t es un entero positivo impar. Entonces, t es una
unidad menor que un entero par 2k, donde k es un
número natural. Por tanto, t = 2k – 1 = f(k).
Esta biyección se muestra en la (Figura 11).
Figura 11. Biyección entre Z+ y el conjunto de los enteros impares po-
1
sitivos .
 Conjuntos y funciones | 11

A continuación, se presenta otro ejemplo en el que se

demuestra que dos conjuntos tienen el mismo cardinal:
Resumen
Tal como se ha estudiado, el concepto de conjunto se
Se parte del conjunto N de los números naturales
emplea para agrupar objetos que tienen alguna propiedad
N={0,1,2,3,4,5,...} y el conjunto P de los números pares
o propiedades similares.
P={0,2,4,6,8,10,...} y se desea comprobar si ambos
conjuntos tienen la misma cardinalidad.
Como norma general, se emplean letras mayúsculas para
identificar conjuntos y letras minúsculas para nombrar
Para ello, es necesario establecer una función biyectiva
los elementos que los componen.
entre ambos conjuntos, lo que significa que hay una
función inyectiva y otra sobreyectiva de N en P.
Normalmente, los conjuntos se pueden definir de dos
maneras distintas: por extensión o por condición.
Una forma sencilla de realizar esta demostración sería
Por extensión, se identifican todos y cada uno de los
mediante la siguiente tabla (Tabla 3), en la que se puede
elementos que componen el conjunto, mientras que, por
observar que a cada elemento de N se le asigna un
condición, lo que se necesita es establecer una condición
elemento de P y viceversa.
que permita representar el contenido de este.

La función representada en la tabla sería la función f(n) =

Los conjuntos también se pueden dividir en subconjuntos,
2n, mediante la cual se demuestra que el conjunto de los
que son una parte de un conjunto, de modo que todos los
números naturales y el conjunto de los números pares
elementos de un subconjunto tienen que pertenecer al
tienen la misma cardinalidad.
conjunto del cual deriva.

Por otro lado, si se tienen dos conjuntos A y B, se obtiene

lo siguiente:
• La cardinalidad de A es menor que la cardinalidad
de B si existe una función inyectiva de A en B y se
representa |A|≤|B|.
• La cardinalidad de A es estrictamente menor que la
cardinalidad de B si existe una función inyectiva de
A en B, pero no existe una función sobreyectiva, lo
que significa que no hay una función biyectiva de A
en B. La cardinalidad de A es estrictamente menor
que la cardinalidad de B se representa |A|<|B|.
• Unión e intersección de la cardinalidad de conjuntos
A continuación, se muestran algunas propiedades de la
unión e intersección de cardinalidades de dos conjuntos,
A y B, en el caso de que ambos fueran conjuntos
disjuntos:
- |AuB|=|A|+|B|
- |CuD|+|CnD|=|C|+|D|
N P
0 0
1 2
Existen algunos conjuntos especiales como son el
conjunto universal, el conjunto vacío, entre otros.
También se ha estudiado que es posible realizar distintas
operaciones con los conjuntos, como pueden ser la
unión, la intersección, el complemento, la diferencia, el
producto cartesiano, entre otros.
Por otro lado, se ha expuesto que las funciones son
reglas que permiten relacionar dos o más variables.
En el mundo de la informática es común el empleo
de funciones para obtener un resultado con base a la
entrada de un valor o valores. Además, las funciones son
una parte esencial de la programación informática.
En relación con las funciones, se han estudiado algunos
tipos, como son las funciones inyectivas, sobreyectivas
o biyectivas.
Finalmente, se ha explicado cómo, mediante el concepto
de cardinalidad, es posible representar el número
de elementos de un conjunto y se han estudiado las
diferencias entre los conjuntos finitos y los conjuntos
infinitos.

2 4
3 6
4 8
5 10
... ...
n 2n
Tabla 3. Función biyectiva entre el conjunto N y el conjunto P.
 Conjuntos y funciones | 12

Bibliografía
1. Kenneth, “Matemática discreta y aplicaciones”, 2004,
ed. 5. Madrid, España: McGraw-Hill Interamericana
de España S.L.
2. del Valle Sotelo, “Álgebra lineal para estudiantes de
ingeniería y ciencias”, 2012. Mc Graw Hill.
3. “Conjuntos comunes de números”. Disfruta las
matemáticas. Avanzado. [En línea]. Disponible
en: https://www.disfrutalasmatematicas.com/
conjuntos/conjuntos-numeros-comunes.html
(Consultado: 16 de Noviembre de 2021).
4. CK-12 Foundation. “CK-12 Álgebra I - en Español”.
2016. [En línea]. Disponible en: https://www.ck12.
org/book/ck-12-Álgebra-i-en-español/ (17 de
Noviembre de 2021).