Tema 1 - Conjuntos

Conceptos generales de conjuntos

Noción de conjunto
La palabra conjunto designa a un número cualquiera de objetos que se reúnen para formar una
colección.
Ejemplo: Decimos conjunto de personas, conjunto de papeles
Los libros de la biblioteca
Las vocales del alfabeto
A cada objeto de un conjunto lo llamaremos elemento. Las letras mayúsculas representan
conjuntos y las minúsculas representan elementos de un conjunto.
Relación de pertenencia
Si C es un conjunto y m uno de sus elementos, escribiremos m∈ C y se leerá “El elemento m
pertenece a C”. El símbolo ∈ indica pertenencia y el símbolo ∉ indica no pertenencia
Si A={ a , b , c ,d } entonces:
El elemento a pertenece al conjunto A, esto es, a ∈ A
El elemento h no pertenece al conjunto A, esto es, h ∉ A
Conjunto bien definido
Un conjunto está bien definido cuando dado un elemento cualquiera se puede determinar si
pertenece (∈) o no pertenece (∉) a ese conjunto
Ejemplo: El conjunto de los niños que estudian Primaria este curso: Bien definido
El conjunto de los niños que estudiarán Primaria el próximo curso: No bien definido
Conjunto de alumnos que aprobarán Matemáticas I en junio: No bien definido.
Formas de definir un conjunto: Extensión y Comprensión
Podemos definir un conjunto de dos formas:
Por Extensión: Enumerando cada uno de los elementos que forman el conjunto.
Ejemplo: El conjunto de los días de la semana
S={Lunes, martes, miércoles, jueves, viernes, sábado, domingo}
Por Comprensión: Enunciando una propiedad que sea cumplida por todos los elementos del
conjunto y sólo por ellos. Se escribe de forma genérica:
A={ x∨x cumple la propiedad P } y se lee ”Conjunto formado por los objetos x, tal que x
cumple la propiedad P”
Ejemplo:
Conjunto de puntos de una circunferencia C:
Siendo C(O,r) (O=centro de la circunferencia y r el radio) C={ P ∈ π /OP=r } (siendo π los
puntos del plano)
Números Naturales Pares
P= { x ∈ N ∨x=2 n , ∀ n ∈ N }
Conjuntos finitos e infinitos
Conjunto finito es aquel que posee un número finito de elementos. Conjunto infinito es aquel
que posee un número infinito de elementos.
Representación gráfica. Diagramas de Venn y representación lineal
Existen dos tipos de representación gráfica de conjuntos:
Diagrama de Venn: Se dibuja una elipse (o circunferencia) y dentro de ella se colocan los
elementos que pertenecen al conjunto

Diagrama de Venn
Donde a , d , e ∈ A y b , c ∉ A
Representación lineal: Consiste en dibujar una línea recta que representa el conjunto y sobre
ella dibujar los elementos que lo forman.
Representación lineal
Donde A={ Albacete , Alicante , Almeria , Á vila }
Conjunto unitario
Son aquellos conjuntos que constan de un solo elemento.
Ejemplo: Conjunto de días de las semana que empieza por “d”
Conjunto de elementos que dan solución la ecuación:
x +2=5 Es un conjunto unitario
2
x + 2=5 No es un conjunto unitario
Conjunto vacío
Son aquellos conjuntos que no contienen ningún elemento. Se representan por el símbolo Ø.
Ejemplo: Conjunto de elementos que dan solución la ecuación:
x 2+ 1=0 Es un conjunto vacío
Cuantificadores
Son símbolos utilizados para sustituir palabras y crear expresiones matemáticas. Vamos a
revisar dos de ellos: ∃ y ∀
Cuantificador Existencial( ∃ y ∄ ): Viene representado por el símbolo ∃ y se lee “Existe al
menos”. La expresión negada del cuantificador es ∄ que indica que “No existe”.
Ejemplo: ∃n ∈ N∨n2 =4 (*)
Cuantificador Universal( ∀ ) : Viene representado por el símbolo ∀ y se lee “Para todo” o
“Cualquiera que sea”.
Ejemplo: ∀ x ∈ R∨( x+ 1 ) 2 ≥ 0(*)
(*)El símbolo | se lee “tal que”
Subconjunto
Definición: Dados dos conjuntos A y B decimos que “A está contenido en B” o que “A es un
subconjunto o parte de B” cuando todo elemento de A también pertenece a B.
Esta relación dada por el símbolo ⊂ se llama de inclusión. Matemáticamente podemos escribir
que A ⊂ B ⇔ ∀ x ∈ A ⇒ x ∈ B.
Su representación gráfica se expresa de la siguiente manera

Inclusión de A en B ( A ⊂B ¿ . Diagrama de Venn

Inclusión de A en B (A⊂B). Representación lineal

Si A no está incluido en B se escribe A ⊄B y se representa:

No inclusión de A en B (A⊄B). :Diagrama de Venn

No inclusión de A en B (A⊄B). Representación Lineal
Ejemplos:
Siendo A={ 1,2 } , B= {3,4 } ,C= {1,2,3,4 } y D= {1,2 , 3,5,6 }
se cumple que A ⊂ C , A ⊂ D , B⊂ C , B ⊄ D y C ⊄ D
Operaciones entre conjuntos
Vamos a revisar las operaciones básicas entre conjuntos. Entre ellas veremos la diferencia (-),
complementario ( A ), unión (U) e intersección ( ⋂ ). Existen otras operaciones que quedan fuera
del alcance de los objetivos de este curso.
Diferencia entre conjuntos
Dados dos conjuntos A y B, se define la diferencia A-B, como el conjunto de elementos de A
que no están en B. A−B={ x∨x ∈ A , x ∉ B } .

Diferencia entre conjuntos (A-B).

Ejemplo: Siendo A={ 1,2,5 ,6 ,7 } y B={ 1,2 ,5,8,9 } entonces A−B={ 6,7 }

Ejemplo de la diferencia entre conjuntos

Conjuntos complementario
Al conjunto A-B cuando B⊂ A se llama complementario de B respecto de A y se representa
C
A−B=B A con B⊂ A .

Complementario de B respecto de A
Si U es el conjunto universal, para representar el complementario de A respecto de U, lo
podemos hacer de la siguiente manera: A , A c o A ' con A= Ac = A ' =U-A.
AL complementario de un conjunto se le conoce también como Negado.
Ejemplo: Siendo U ={ 1,2,3,4,5, 6 , 7,8 } y A={ 1,2 ,5,8 } entonces A= Ac = A ' ={ 3,4,6,7 }
Ejemplo del complementario o negado de A
Unión de conjuntos
Dados dos conjuntos A y B, la unión de estos conjuntos es el conjunto formado por todos los
elementos que pertenecen a A, a B o a ambos. Se representa por A ⋃ B={ x∨x ∈ A ó x ∈ B }

Unión de conjuntos (AUB)

Ejemplo: Siendo A={ 1,2,5 ,7,8 } y B={ 1,2,3,4,6,9 } entonces A ∪ B={ 1,2,3,4,5,6,7,8,9 }

Ejemplo de la unión de conjuntos

Intersección de conjuntos
Dados dos conjuntos A y B, la intersección de conjuntos es el conjunto formado por los
elementos comunes a ambos, es decir, que pertenecen a A y a B al mismo tiempo. Se
representa por A ∩ B= { x∨x ∈ A y x ∈ B }

Intersección de conjuntos( A ⋂ B )
Ejemplo: Siendo A={ 1,2,5 ,7,8 } y B={ 1,2,3,4,6,9 } entonces A ∩ B={ 1,2 }
Ejemplo de la intersección de conjuntos
Partición
Conjuntos disjuntos
Dos conjuntos A y B son disjuntos si no tienen ningún elemento en común, o lo que es lo
mismo, su intersección es el conjunto vacío
A y B son disjuntos⇔ A ∩ B=∅
Ejemplo: Siendo A={ 1,3,5 ,7,9 } y B={ 2,4,6 , 8 } entonces A ∩B=∅

Ejemplo de conjuntos disjuntos

Definición de partición
Dado un conjunto A, si encontramos dos subconjuntos de B y C de A tales que cumplan estás
dos condiciones:
Su unión sea A: A=B ∪C
Sean disjuntos: B∩ C=∅
diremos que se ha efectuado una partición de A.

Ejemplo de partición de un conjunto A

Ejemplo:
Siendo A={ N pares } y B={ N impares } . A y B consituyen una partició n de N , ya que
A ∩ B=∅ y
A ∪B=N
Ejemplo 2: A y A forman una partici ó n de U , ya que
U =A ∪ A y
A ∩ A=∅
Fórmulas de Morgan
Estas dos fórmulas que relacionan la unión y la intersección mediante el complementario de un
conjunto. Siendo A y B son dos conjuntos contenidos en el conjunto universal U ( A y B ⊂ U ) ,
se verifica que:
( A ∪B )= A ∩ B
 ( A ∩ B )= A ∪ B
Ejemplo: Siendo A={ 1,2,3,4 } , B={ 1,3,5,7 } y U ={ 1,2,3,4,5,6,7,8,9 }
Se verifica las fórmulas anteriores, ya que
( A ∪ B )= {1,2,3,4 } ∪ { 1,3,5,7 } ={ 1,2,3,4,5,7 }= {6 , 8 , 9 }, y por otro lado tenemos que
A ∩ B= {1,2,3,4 } ∩ {1,3,5,7 }= {5,6,7,8,9 } ∩ { 2,4,6,8,9 }= {6 ,8 , 9 }
Por otro lado, ( A ∩ B )= {1,2,3,4 } ∩ {1,3,5,7 }={ 1,3 }= { 2, 4 , 5 ,6 ,7 , 8 , 9 } y
A ∪B= {1,2,3,4 } ∪ {1,3,5,7 }={ 5,6,7,8,9 } ∪ {2,4,6,8,9 }={ 2 , 4 , 5 ,6 ,7 , 8 , 9 }

Número de elementos de la unión de conjuntos (cardinal)

El número de elementos que contiene un conjunto se conoce como cardinal y se representa por
n(A), siendo A un conjunto. Vamos a ver cómo podemos calcular el cardinal de la unión de dos
conjuntos.
Número de elementos de la unión de dos conjuntos
Dados dos conjuntos cualesquiera A y B puede ocurrir dos cosas:
Que A y B sean disjuntos, es decir A ∩ B=∅ .
En este caso, el cardinal de la unión de A y B se calcula mediante la suma de los cardinales de
cada conjunto
n ( A ∪ B )=n ( A ) +n ( B )
Que A y B tengan elementos comunes A ∩ B≠ ∅
En este caso, el cardinal de la unión de A y B se calcula mediante la suma de los cardinales de
cada conjunto, menos el cardinal de la intersección de A y B.
n ( A ∪ B )=n ( A ) +n ( B )−n(A ∩B)
Ejemplo: Siendo A={ 1,2,5 ,7,8 } y B={ 1,2,3,4,6,9 } entonces A ∩ B={ 1,2 }. Como A ∩ B≠ ∅
usaremos la formula n ( A ∪ B )=n ( A ) ∪n ( B )−n( A ∩ B), ya que A y B son NO disjuntos.
n ( A ∪ B )=n ( A ) +n ( B )−n ( A ∩ B )=5+ 6−2=9

Ejemplo con gráfico de Venn para el cálculo del cardinal de la unión

El lector podrá observar claramente que bastaría con conocer solamente la formula cuando A y
B son no disjuntos: n ( A ∪ B )=n ( A ) +n ( B )−n ( A ∩ B ) ya que en el caso particular de que lo
sean, el último término de la ecuación n ( A ∩ B ) se hace 0 quedando la misma expresión que
n ( A ∪ B )=n ( A ) +n ( B ) para el caso particular de conjuntos disjuntos.
Número de elementos de la unión de tres conjuntos
Para la obtención del cardinal de la unión de tres conjuntos, podemos utilizar la expresión:
n ( A ∪ B ∪ C )=n ( A ) +n ( B ) +n ( C )−n ( A ∩B )−n ( A ∩C )−n ( B∩C ) +n( A ∩ B ∩C)
Producto cartesiano
Definición
Dados dos conjuntos A y B, se llama producto cartesiano o productos de ambos conjuntos y se
representa AxB, al conjunto formado por todos los pares ordenados cuya primera componente
pertenece a A y la segunda a B.
AxB= {( x , y )∨x ∈ A , y ∈ B }
Ejemplo:
Siendo A={ 1,2,3 } y B= {m , p } . Tenemos que AxB={ ( 1 ,m ) , (1 , p ) , ( 2 , m ) , ( 2 , p ) , ( 3 , m ) , ( 3 , p ) }
.Si calculamos BxA= { ( m, 1 ) , ( m, 2 ) , ( m ,3 ) , ( p , 1 ) , ( p ,2 ) ,( p , 3) }, podemos observar que el
producto cartesiano no es conmutativo. ( AxB≠ BxA )
La representación gráfica se realiza colocando sobre el primer cuadrante de unos ejes
cartesianos los elementos de cada conjunto. El primer conjunto sobre la parte positiva del eje
de abscisas y el segundo conjunto sobre la parte positiva del eje de ordenadas. Se crean líneas
verticales que pasen por cada elemento del eje X y se repite el proceso para el eje Y pero en
horizontal. Por último, se marcan las intersecciones de los elementos que pertenecen al
producto cartesiano con un punto. Este tipo de gráficos los usaremos más adelante cuando
estudiemos las relaciones binarias y se conocen con el nombre de Diagrama cartesiano. Junto
a éste aprenderemos otro más, llamado Diagrama sagital. .

Representación gráfica del Producto Cartesiano

Vamos a echar un ligero vistazo a las propiedades del producto cartesiano:
No es conmutativo: AxB≠ BxA
El cardinal de n( AxB )=n (BxA)
No es asociativo: ( AxB ) xC ≠ Ax ( BxC )
Es distributivo respecto de la unión de conjuntos (U): Ax ( B ∪C )=( AxB ) ∪ ( AxC )
Es distributivo respecto de la intersección de conjuntos ( ∩ ): Ax ( B ∩C )=( AxB ) ∩ ( AxC )
Es distributivo respecto de la diferencia de conjuntos (-): Ax ( B−C )=( AxB )−( AxC )
Relaciones
Definición de relación binaria
Ya hemos utilizado a lo largo del presente tema el término “relación”; lo hemos usado al hablar
de relaciones de pertenencia, de inclusión, etc. También aparece en otros campos de las
matemáticas, como la geometría, indicando relaciones de paralelismo, de perpendicularidad, e
incluso en el lenguaje cotidiano, cuando hablamos de relaciones de parentesco, de amistad,
etc.
Una relación la podemos establecer entre elementos de dos conjuntos distintos o entre
elementos de un conjunto entre sí.
Consideremos el conjunto R={ p , q ,r , s } de rectas del plano y la relación de perpendicularidad
( ⊥)

Donde p es perpendicular a q, a r y a s y lo expresamos como p ⊥q , p ⊥ s y p ⊥r .

Como r y s no son perpendiculares no están relacionados por la relación de perpendicularidad
( ⊥ ) y lo expresaremos así: r s. De manera análoga, r q, ni s q.
Podemos generalizar este caso llamando R a una relación establecida entre dos elementos de
un conjunto M. Si dos elementos a , b ∈ M están relacionados mediante la relación R , lo
expresaremos de la siguiente manera: a R b ó R ( a ,b )
La relación R establecida entre los elementos de un mismo conjunto (M) se llama relación
binaria.
Grafo de la relación binaria
Al conjunto de pares de elementos que están relacionados (cumplen la relación) lo llamaremos
Grafo de la relación binaria y lo representaremos por R ( M )
Consideremos el ejemplo anterior de relación de perpendicularidad. Siendo R dicha relación,
entonces los pares de rectas ( p , r ) , ( p , s ) y ( p , q ) son perpendiculares entre sí, por lo que
p R r , p R s y p R q.
Todos los posibles pares de rectas que pudiéramos relacionar vendrían determinadas por el
producto cartesiano del conjunto M consigo mismo, es decir, de MxM, pero solo pertenecerán
al grafo de la relación aquellas rectas que cumplan la relación R de perpendicularidad. Por lo
tanto el grafo de la relación R es un subconjunto del producto cartesiano de MxM.

De hecho, MxM=
{
( p , p ) , ( p , q ) , ( p , r ) , ( p , s) , ( q , p) ,( q , q) , ( q , r ) , ( q , s ) ,
( r , q ) , ( r , q ) , ( r , r ) , ( r , s) , ( s , p ) , ( s , q ) , ( s , r ) ,( s , s) }
y el grafo de la

relación R ( M )={ ( p , q ) , ( p ,r ) , ( p , s ) , ( q , p ) , ( r , p ) , ( s , p ) } .
Como podrá observar el lector se cumple que R ( M ) ⊂ MxM
Representación gráfica de una relación binaria
Podemos representar gráficamente una relación binaria de dos formas:
Diagrama Cartesiano
Este tipo de diagramas es el que vimos en el producto cartesiano.
Diagrama Sagital
Para la realización de este tipo de diagrama, dibujaremos el conjunto (M) y dentro de él todos
los elementos que lo componen. Por cada par de elementos de la relación binaria R
dibujaremos una línea que los una, comenzado en el primer elemento y terminando en el
segundo.
Vamos a ver un ejemplo de los dos tipos de diagramas para aclarar el diseño de cada uno de
ellos.
Supongamos un conjunto M= { a ,b , c , d , e , f } y una relación binaria R definida por su grafo:
R ( M )={ ( a ,a ) , ( a , c ) , ( b , b ) , ( d , e ) , ( e , b ) , ( e , d ) , ( f , f ) }
El diagrama cartesiano quedaría de la siguiente manera:

Diagrama Cartesiano para la representación de la relación

El diagrama sagital quedaría de la siguiente manera:
Diagrama Sagital para la representación de la relación
Propiedades de la relación binaria
Sea un M un conjunto y R una relación binaria entre sus elementos. Las propiedades que
puede cumplir la relación R son:
Reflexiva
Una relación binaria R entre elementos del conjunto M cumple la propiedad reflexiva cuando
todo elemento de M está relacionado consigo mismo:
∀ x ∈ M se verifica que x R x ó R( x , x)
Supongamos el conjunto M= { a ,b , c , d , e }y la relación R definida por su grafo
R ( M )={ ( a ,a ) , ( b , b ) , ( c , c ) , ( d , d ) , ( e , e ) } . Vamos a ver su representación cartesiana y sagital:

Prop. Reflexiva (D. Cartesiano) Prop. Reflexiva (D. Sagital)

Una relación binaria cumplirá la propiedad reflexiva si están presentes todos los puntos de la
diagonal principal en el diagrama cartesiano. En el diagrama sagital todos los elementos deben
tener un bucle sobre sí mismos.
Notad que la propiedad reflexiva exige que todos los elementos de M estén relacionados
consigo mismo, no sólo algunos.
Ejemplo: Considerando N el conjunto de los números naturales y la relación
R={ Ser múltiplo de } podemos comprobar que es reflexiva, ya que todo número natural es
múltiplo de si mismo.
∀ a ∈ N ⇒ a=ȧ pues ∃1 ∈ N ∨a=a ∙1
Simétrica
Una relación binaria R entre elementos del conjunto M, cumple la propiedad simétrica cuando
para dos elementos x e y del conjunto M, si x está relacionado con y, y también está
relacionado con x:
x , y ∈ M si x R y ⇒ y R x o bien R ( x , y ) ⇒ R ( y , x )
Supongamos el conjunto M= { a ,b , c , d , e }y la relación R definida por su grafo
R ( M )={ ( a ,a ) , ( a , b ) , ( b , c ) , ( b , a ) , ( c , b ) , ( e , e ) } . Vamos a ver su representación cartesiana y
sagital:
 Prop. Simétrica (D. Cartesiano) Prop. Simétrica (D. Sagital)

Una relación binaria cumplirá la propiedad simétrica si todos los puntos fuera de la diagonal
tienen su simétrico respecto de ésta en el diagrama cartesiano. En el diagrama sagital para
todo par de elementos que estén relacionados con una flecha, debe existir otra flecha en
sentido contrario relacionando estos elementos.
Notad que como vimos con anterioridad, para que una relación sea reflexiva, todo elemento del
conjunto debe estar relacionado consigo mismo. El caso de la propiedad simétrica, no exige
que todos los elementos estén relacionados, pero si dos elementos lo están, deben estarlo en
ambos sentidos.
Ejemplo: Considerando P el conjunto de las rectas del plano y la relación
R={ Ser perpendiculares } podemos comprobar que es simétrica, ya que si una recta r es
perpendicular a otra recta s, también es perpendicular s a r.
Antisimétrica
Una relación binaria R entre elementos del conjunto M, cumple la propiedad antisimétrica
cuando para dos elementos x e y del conjunto M, si x está relacionado con y, entonces y no
puede estar relacionado con x:
x , y ∈ M si x R y ⇒ y x siendo x ≠ y
También se cumple la propiedad antisimétrica cuando dados dos elementos x e y del conjunto,
si el primero está relacionado con el segundo y el segundo está relacionado con el primero es
porque x e y son el mismo elemento (reflexiva).
x , y ∈ M si x R y e y N x ⇒ x= y
Supongamos el conjunto M= { a ,b , c , d , e } y la relación R definida por su grafo
R ( M )={ ( a ,a ) , ( a , b ) , ( b , c ) , ( c , a ) , ( c ,e ) , ( e , e ) } . Vamos a ver su representación cartesiana y
sagital:

Prop. Antisimétrica (D. Cartesiano) Prop. Antisimétrica (D. Sagital)

Si no hay ningún par de elementos en el diagrama cartesiano simétricos con respecto de la
diagonal principal la relación será antisimétrica.
Si no existe ningún bucle entre dos elementos en el diagrama sagital la relación será
antisimétrica.
Notad que con que exista un bucle o una simetría, la relación dejará de cumplir la relación
antisimétrica.
Si una relación es simétrica no puede ser antisimétrica. Si es antisimétrica no puede ser
simétrica. Pero se puede dar el caso de que la relación no sea ni simétrica ni antisimétrica.
Veamos el siguiente caso:
Supongamos el conjunto M= { a ,b , c , d , e } y la relación R definida por su grafo
R ( M )={ ( a ,a ) , ( a , b ) , ( b , c ) , ( c , a ) , ( c ,b ) , ( e , e ) } .
Esta relación no es simétrica porque existe el par (a,b), (b,c) y (c,a) y sólo el par (c,b); para que
fuera simétrica debería existir también el par (b,a) y (a,c). Y tampoco es antisimétrica ya que
ambos pares (b,c) y (c,b) pertenecen a la relación.
Ejemplo: Considerando U el conjunto universal de todos los conjuntos y la relación
R={ inclusión de conjuntos ⊂ } podemos comprobar que esta relación es antisimétrica, ya que
si un conjunto A está incluido en otro B, este otro conjunto B no puede estar incluido en A, y si
lo está, es que A y B son el mismo conjunto (A=B).
Transitiva
Una relación binaria R entre elementos del conjunto M, cumple la propiedad transitiva cuando
datos tres elementos a, b, c si a está relacionado con b y b está relacionado con c, entonces a
está relacionado con c:
a , b , c ∈M si a R b y b R c ⇒a R c

Prop. Transitiva (D. Cartesiano) Prop. Transitiva (D. Sagital)

Ejemplo: Considerando P el conjunto de las rectas del plano y la relación R={ Ser paralelas }
podemos comprobar que es transitiva, ya que si una recta r es paralela a otra s, y esta recta s
es paralela a otra recta q, entonces la recta r también es paralela a la recta q
Del mismo modo, si consideramos la relación R={ Ser perpendiculares } podemos comprobar
que NO es transitiva, ya que si una recta r es perpendicular a otra s, y esta recta s es
perpendicular a otra recta q, entonces la recta r no es perpendicular a la recta q sino paralela.
Conexa
Una relación binaria R entre elementos del conjunto M, cumple la propiedad conexa cuando
para todo par de elementos x e y del conjunto M, o bien x está relacionado con y o y está
relacionado con x.
∀ x , y ∈M x R y o y R x
Supongamos el conjunto M= { a ,b , c , d , e }y la relación R definida por su grafo
R ( M )={ ( a ,b ) , ( a , e ) , ( b ,c ) , ( c , a ) , ( c , e ) , ( d , a ) , ( d , b ) , ( d , c ) , ( e , b ) , ( e , d ) } . Vamos a estudiar
su representación cartesiana y sagital:

Prop. Conexa (D. Cartesiano) Prop. Conexa (D. Sagital)

Podemos comprobar en el diagrama cartesiano si la relación es conexa superponiendo la mitad
del plano a la izquierda de la diagonal principal con la otra mitad del plano a la derecha de la
diagonal. Si uniendo estos dos planos todos los puntos de uno de los semiplanos quedan
cubiertos, entonces la relación es conexa.
En el diagrama sagital basta con comprobar que todos los elementos están relacionados dos a
dos, en un sentido o en otro, no necesariamente en los dos.
Ejemplo: Considerando el conjunto N de los número naturales conjuntos y la relación
R={ ser ≤ } podemos comprobar que esta relación cumple la propiedad conexa, ya que dados
dos números cualesquiera x , y ∈ N , o bien x ≤ y o y≤ x
Vamos a ver un ejemplo completo para dar por terminadas las propiedades de las relaciones
binarias, dónde examinaremos que propiedades cumple la relación de ejemplo.
Supongamos el conjunto M= { a ,b , c , d } y la relación R definida por su grafo
R ( M )={ ( a ,a ) , ( b , b ) , ( c , c ) , ( d , d ) , ( a , b ) , ( b , a ) , ( b , c ) , ( c , d ) , ( b , d ) , ( a , c ) } .
Vamos a ver su representación cartesiana y sagital y las propiedades que cumple:
El diagrama cartesiano queda:

El diagrama sagital queda:

Visto el grafo y sus representaciones gráficas, podemos afirmar que:

Cumple la propiedad reflexiva, porque todo elemento de M está relacionado consigo mismo. El
grafo contiene los pares (a,a), (b,b), (c,c) y (d,d).
No es simétrica ya que existen algunos elementos de M relacionados sólo en una dirección.
Por ejemplo el par (a,c) pertenece al grafo pero el par (c,a) no. En el diagrama cartesiano
podemos observar que no todos los elementos tienen su simétrico respecto de la diagonal. En
el diagrama sagital hay elementos que les une una flecha en una única dirección, cuando
debería estar la flecha en ambos sentidos para que la relación fuera simétrica.
No es antisimétrica ya que existen elementos con su simétrico en el grafo de la relación
(aunque no todos, por lo que tampoco era simétrica). En el diagrama cartesiano el elemento
(a,b) tiene sus simétrico. En el diagrama sagital el elemento a y b están unidos por doble
flecha. (existe un bucle).
No es Transitiva ya que el elemento a está relacionado con el elemento b, el elemento b con el
elemento d y el elemento a NO LO ESTÁ con el d. (Aunque si están los pares (a,b), (b,c) y (a,c)
por un lado y los pares (b,c), (c,d) y (b,d) por otro).
No es conexa porque existen pares de elementos que no están presentes relacionados en
ningún sentido. En el grafo de la relación no contiene ni el par (a,d) ni (d,a).
Relaciones de equivalencia.
Definición
Una relación binaria R establecida entre los elementos de un conjunto M es de equivalencia si
cumple las propiedades:
Reflexiva
Simétrica
Transitiva
Ejemplo: Considerando P el conjunto de las rectas del plano y la relación R={ Ser paralelas }
podemos comprobar que la relación es de equivalencia, ya que:
Cumple la propiedad Reflexiva: Toda recta es paralela a sí misma.
Cumple la propiedad Simétrica: Si la recta r es paralela a la recta p, entonces la recta p también
es paralela a la recta r.
Cumple la propiedad Transitiva: Si una recta r es paralela a otra recta s, y esta recta s es
paralela a otra recta q, entonces la recta r también es paralela a la recta q
Por lo que podemos afirmar que la relación R definida en el conjunto P es de equivalencia.

Relaciones de orden
Parcialmente ordenado (Relación de Orden)
Una relación binaria R establecida entre los elementos de un conjunto M es de orden si cumple
las propiedades:
Reflexiva
Antisimétrica
Transitiva
Se dice entonces que el conjunto M está parcialmente ordenado.
Ejemplo 1: Considerando N el conjunto de los números naturales y la relación
R ( M )={ ser múltiplo de } es de orden ya que cumple las propiedades:
Reflexiva: ∀ a ∈ N a=ȧ ∃1 ∈ N ∨a=1∙ a
Antisimétrica: si a=ḃ y b=ȧ ⇒a=b
Veamos la demostración de esta última afirmación que no parece tan obvia:

(1)
Si a=ḃ ⇒ ∃ p ∈ N ∨a=bp
Si b= ȧ⇒ ∃q ∈ N ∨b=aq
(1)
}
(2 )
⇒ a=aqp ⇒ 1=qp ⇒ q= p=1
(3)

Por sustitución del valor de b de la segunda ecuación

(2)
Al dividir los dos términos de la ecuación entre a
(3)
Si el producto de dos números naturales da como resultado 1 el único valor posible de esos
dos números es 1.
De todo esto se deduce que a=b
Transitiva: si a=ḃ y b=ċ ⇒ a= ċ
Veamos la demostración de esta última afirmación que no parece tan obvia y que es muy
similar a la anterior:

(1)
Sib=ċ ⇒ ∃q ∈ N∨b=cq }
Si a=ḃ ⇒∃ p ∈ N ∨a=bp ⇒ a=cqp(1 ) ⇒ cpq= ċ(2) ⇒a=ċ

Por sustitución del valor de b de la segunda ecuación

(2)
Si p y q son naturales, su producto es natural, por lo que podemos afirmar que c·p·q=c·k
siendo k=p·q. Por lo tanto ċ=ck=cpq, es decir c es múltiplo de c·p·q
De todo esto se deduce que a=ċ
Considerando N el conjunto de los números naturales y la relación R ( M )={ ser multiplo de }
es de orden ya que cumple las propiedades:
Ejemplo 2: Supongamos el conjunto M = { a ,b ,c , d , e } y la relación R definida por su grafo
R ( M )={ ( a ,a ) , ( a , b ) , ( a , c ) , ( b ,b ) , ( b ,c ) , ( c , c ) , ( d , d ) , ( d ,e ) , ( e , e ) }.¿Es una relación de
orden?.
Para responder a la pregunta simplemente deberemos comprobar si cumple las propiedades
reflexiva, antisimétrica y transitiva. Veamos cómo queda el diagrama cartesiano y sagital:
Observando el grafo, el diagrama cartesiano y el diagrama sagital, observamos que la relación
R es de orden ya que cumple las propiedades Reflexiva, antisimétrica y transitiva.
Relación de Preorden
Una relación binaria R establecida entre los elementos de un conjunto M es de preorden si
cumple las propiedades:
Reflexiva
Transitiva
Ejemplo: Considerando Z el conjunto de los números enteros y la relación
R ( M )={ ser múltiplo de } es de preorden ya que cumple las propiedades reflexiva y transitiva,
no siendo de orden u orden parcial porque no cumple la propiedad antisimétrica. Veámoslo:
Reflexiva: ∀ a ∈ N a=ȧ ∃1 ∈ N ∨a=1∙ a
Transitiva: si a=ḃ y b=ċ ⇒ a= ċ La demostración es idéntica al ejemplo mostrado en las
relaciones de orden u orden parcial.
Veamos que en efecto no cumple la propiedad antisimétrica (sino, sería una relación de orden y
no de preorden):

{
q= p=1
No cumple la propiedad antisimétrica porque de la expresión 1=qp ⇒ ó de donde
q= p=−1
extraemos que o bien a=b ó a=-b.
Relación de Orden total
Una relación binaria R establecida entre los elementos de un conjunto M es de orden total si
cumple las propiedades:
Reflexiva
Antisimétrica
Transitiva
Conexa
Se dice entonces que el conjunto M está totalmente ordenado.
Ejemplo: Considerando N el conjunto de los números naturales y la relación
R={ Ser menor o igual que ( ≤ ) } podemos comprobar que la relación es de orden total, ya que
Reflexiva: Todo número natural es menor o igual que si mismo.
Antisimétrica: Si a ≤ b y b ≤ a⇒ a=b
Transitiva: Si a ≤ b y b ≤ c ⇒a ≤ c
Conexa: Dados dos números naturales a y b cualesquiera o bien a ≤ b ó b≤ a
Correspondencia
Definición
Dados dos conjuntos A y B no vacíos, se llama correspondencia entre A y B a toda operación,
ley, norma o criterio que asocia los elementos de A con los elementos de B.
Sea una correspondencia f entre los conjuntos A y B la expresaremos así:

Si en una correspondencia a un elemento a ∈ A se le asigna algún elemento de B , cada uno

de estos se llama imagen de a y se representa:
Entonces, b ∈ B es la imagen de a ∈ A que lo llamaremos origen. Lo simbolizamos poniendo
f ( a )=b y gráficamente

Representación gráfica de una correspondencia

En una correspondencia se pueden dar los siguientes casos
Que existan elementos a ∈ A sin imagen en Que existan elementos b ∈ B que no son
B imágenes de ninguno de A

Que un mismo elemento de a ∈ A tenga Que varios elementos de a ∈ A tengan una

varias imágenes en B sola imagen en B

Correspondencia unívoca y biunívoca

Podemos distinguir dos tipos de correspondencias:
Correspondencia Unívoca: Es una correspondencia en la que los elementos de A tienen a lo
sumo una imagen en B.
Correspondencia Biunívoca: Es una correspondencia univoca en la que los elementos de B
reciben a lo sumo una flecha de A.
Gráficamente:

Ejemplo de Correspondencia Unívoca Ejemplo de Correspondencia Biunívoca

Conjunto origen e imagen
Podemos concluir diciendo que dada una correspondencia :
A es el conjunto de partida o inicial.
B es el conjunto de llegada o final.
Los elementos de A de los cuales salen flechas es el conjunto Origen.
Los elementos de B a los que le llegan flechas es el conjunto Imagen.
Aplicación
Definición
Una correspondencia f de A en B se llama aplicación cuando a todo elemento A le
corresponde un elemento de B y sólo uno.
Dados los conjunto A= { a ,b , c , d } y B= {1 , 2 ,3 , 4 } la correspondencia es una
aplicación

Ejemplo de Aplicación
De todo elemento del conjunto A sale una flecha y sólo una.
Vamos a ver un par de ejemplos que de correspondencias que no son aplicaciones
Ejemplo 1
Ejemplo 2

No es aplicación porque hay un elemento de

No es aplicación porque hay un elemento de
A del cual no sale ninguna flecha (elemento
A del cual salen dos flechas (elemento c)
c)
Ejemplo3: Dados los conjuntos C={ Alicante , Valencia , Sevilla , Londres , Roma }y
P= { Espa ñ a , Francia , Reino Unido , Italia } y hacemos corresponder a cada ciudad del
conjunto C el País al que pertenece en el conjunto P.
Esta correspondencia es aplicación, ya que
todos los elementos de C tienen imagen y
sólo una.

Ejemplo 4: Dados los conjuntos A= {−2 ,−1 ,0 , 1 }y B= {−1, 0 , 1 ,2 , 4 }. Se define la

correspondencia f : x ⟶ y =x 2. ¿Es aplicación?
Creamos el gráfico de la correspondencia y observamos que ocurre
 Esta correspondencia también es aplicación,
ya que todos los elementos de A tienen
imagen y sólo una.

Tipos de aplicaciones
Inyectiva
Una aplicación f de A en B se llama inyectiva o se dice que es una inyección de A en B, si para
dos elementos x 1 , x 2 ∈ A siendo x 1 ≠ x 2 se verifica que sus imágenes f ( x 1 ) y f ( x 2 ) ∈ B
también son distintas.
En una aplicación inyectiva nunca pueden tener dos elementos distintos del primer conjunto la
misma imagen ya que si f ( x 1 ) =f ( x 2 ) entonces x 1=x 2.
Es decir la flecha que sale de dos elementos distintos de A no puede llegar al mismo elemento
en B. Dicho de otro modo, a un elemento de B no le pueden llegar más de una flecha de
elementos de A, es decir los elementos de B reciben a lo sumo una flecha
En una aplicación inyectiva pueden quedar elementos de B que no sean imágenes, es decir
que no reciban ninguna flecha de ningún elemento de A.
En las aplicaciones inyectivas, el cardinal del conjunto A siempre tiene que ser menor o igual
que el cardinal del conjunto B.
n ( A) ≤ n (B)
Ejemplo 1: Dados los conjuntos C={ Madrid , Par í s , Londres , Roma } y
P= { Espa ñ a , Francia , Reino Unido , Italia , Rusia } y hacemos corresponder a cada capital
del conjunto C su país respectivo del conjunto P.
Esta correspondencia es aplicación
inyectiva, ya que todos los elementos de A
tiene imagen y los elementos de P reciben a
lo sumo una flecha
Se cumple que n ( C ) ≤ n ( P ), ya que
n ( C )=4 ≤n ( P ) =5

Ejemplo 2: En el conjunto N de los números naturales establecemos la correspondencia:

f : x ⟶ y =2 x −1
¿Es Aplicación? ¿Es inyectiva?
La respuesta es que sí que es aplicación. Calculando los primeros valores de f tenemos:
f ( 1 )=2 ∙1−1=1
f ( 2 )=2∙ 2−1=3
f ( 3 )=2∙ 3−1=5
⋮
Continuando con la serie podemos observar que a cada número natural le asigna el siguiente
número impar. ( f (1 ) =1 , f (2 )=3 , f ( 3 )=5 , f ( 4 ) =7 , f ( 5 )=9 ), etc.
Por ello podemos afirmar que todo elemento de A tiene imagen (aplicación) y que además esa
imagen es única (inyectiva), es decir un elemento de B no recibe más de una flecha.
Sobreyectiva
Una aplicación f de A en B se llama sobreyectiva, exhaustiva o suprayectiva, si el conjunto
formado por las imágenes de los elementos de A coincide con el conjunto B, es decir f ( A )=B.
Es decir, a todos los elementos de B les llega al menos una flecha (como mínimo, pudiendo
llegar más de una).
Notad la diferencia con la aplicación inyectiva, que sólo permite que reciban una única flecha
los elementos de B pudiendo quedar alguno de ellos sin flecha alguna.
En las aplicaciones suprayectivas, el cardinal del conjunto A siempre tiene que ser mayor o
igual que el cardinal del conjunto B.
n ( A) ≥ n (B)
Ejemplo 1: Dados los conjuntos C={ Madrid , Alicante , Par í s , Burdeos , Roma , Venecia } y
P= { Espa ñ a , Francia , Italia , } y hacemos corresponder a cada ciudad del conjunto C el País
al que pertenece en el conjunto P.
Esta correspondencia es aplicación
Suprayectiva, ya que todos los elementos de
C tienen imagen y todos los elementos de P
reciben al menos una flecha.
Se cumple que n ( C ) ≥ n ( P ), ya que
n ( C )=6 ≥ n ( P )=3

Ejemplo 2: Dados los conjuntos A= {−3 ,−2 ,−1 , 0 ,1 , 2 ,3 } y B= { 0 ,1 , 2 ,3 }. Se establece la

aplicación
f : x ⟶ y =|x|, ¿Es sobreyectiva¿
Calculamos todos los valores de f (Grafo de la aplicación)
f (−3 )=3 f (−1 )=1 f ( 1 )=1 f ( 3 )=3
¿
Y creamos el grafico sagital
Esta correspondencia es aplicación
Suprayectiva, ya que todos los elementos de
A tienen imagen y todos los elementos de B
reciben al menos una flecha.
Se cumple que n ( A ) ≥ n ( B ) , ya que
n ( A ) =7 ≥n ( B )=4

Por ello podemos afirmar que todo elemento de A tiene imagen (aplicación) y que además todo
elemento de B también recibe al menos una flecha (suprayectiva)
Biyectiva
Una aplicación f de A en B se dice que es biyectiva cuando es a la vez inyectiva y
sobreyectiva.
A cada elemento de A le corresponde un único elemento en B y cada elemento de B es imagen
de un solo elemento de A.
En las aplicaciones biyectivas, el cardinal del conjunto A siempre tiene que ser igual al cardinal
del conjunto B.
Ejemplo 1: Dados los conjuntos C={ Madrid , Par í s , Londres , Roma }y
P= { Espa ñ a , Francia , Italia , Reino Unido } y hacemos corresponder a cada capital del
conjunto C el País correspondiente en el conjunto P.
Esta correspondencia es aplicación
Biyectiva, ya que a cada elemento de C le
corresponde un único elemento en P y cada
elemento de P es imagen de un solo
elemento de C
Se cumple que n ( C )=n ( P ), ya que
n ( C )=4=n ( P ) =4

Otras aplicaciones
Hay aplicaciones que no son de los tipos descritos anteriormente y que son simplemente
APLICACIONES (¡que ya es bastante!, no todas las correspondencias pueden decir que son
aplicaciones).