Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 3 Conjuntos Relaciones y Funciones PDF
Tema 3 Conjuntos Relaciones y Funciones PDF
Conjuntos
Los conjuntos se representan con letras maysculas, A, B,C ,
Los elementos se representas con minsculas, a, b, c, x, y, z.
Relacin de pertenencia:
El elemento a pertenece al conjunto X, a X
El elemento a no pertenece al conjunto Z, a Z
Formas de definir un conjunto:
Extensin: enumeramos todos y cada uno de los elementos.
Comprensin: definimos alguna caracterstica comn a todos los elementos.
Conjunto definidos por extensin:
S = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}
V = {a, e, i, o, u}
Conjunto definidos por compresin:
S = {das de la semana}
V = {vocales del espaol}
Por comprensin podemos definir de la siguiente manera los conjuntos:
V x A x es vocal
V es el conjunto de los elementos x que pertenecen al conjunto de las letras del alfabeto espaol A,
tales que x es una vocal.
Relacin de inclusin:
Dados dos conjuntos A y B, se dice que A est incluido en B y se escribe A B o A B cuando todos los
elementos de A pertenecen a B.
Si A est contenido en B se dice que A es un subconjunto de B o que A es una parte de B.
Conjunto universal, es el conjunto que contiene a todos los conjuntos que se analizan en un determinado
contexto y se representa por U.
Conjunto vaco es un conjunto que no tiene elementos, se representa por .
Cualquiera que sea el conjunto A se cumple A .
Diagramas de Venn
Los conjuntos suelen representarse por medio de unos dibujos denominados diagramas de Venn. El
conjunto universal lo representamos por un rectngulo y los conjuntos por crculos dentro del conjunto
universal.
Nombre
Asociativa
A B C A B C
A B B A
A B B A
A B C A B A C
A B C A B A C
A A A
A A A
A A B A
Conmutativa
Distributiva
Idempotencia
Absorcin
A A B A
A B A B
De De Morgan
A B A B
A A
Doble negacin
A U A
A A
A A U
A A
A U U
A
U
U
Identidad
Complemento
Exclusin
Leyes de dominacin
Complementacin
Complementacin
Producto cartesiano
Una relacin es un conjunto de parejas ordenadas.
Si A y B son dos conjuntos cualesquiera, R es una relacin de A en B s y slo s R es un subconjunto de
AxB.
El producto cartesiano de dos conjuntos es una operacin que resulta en otro conjunto cuyos elementos
son todos los pares ordenados que pueden formarse tomando el primer elemento del par del primer
conjunto, y el segundo elemento del segundo conjunto.
Por ejemplo, dados los conjuntos A = {1, 2, 3, 4} y B = {a, b}, su producto cartesiano es:
A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b)}
Conjuntos potencia
Sea A un cierto conjunto, el conjunto potencia de A, escrito como P( A) , es el conjunto cuyos elementos
son todos los subconjuntos de A.
Si el conjunto A tiene n elementos, el conjunto de las partes de A tiene 2n elementos.
Relaciones
Una relacin de A en B es cualquier conjunto de pares x, y , x A e y B . Si x, y R , diremos que x es
R-relacionado con y. Para expresar que R es una relacin de A en B, escribiremos R : A B .
Forma de expresar las relaciones, notacin lista: enumera todos los elementos de la relacin, en forma de
tabla, en forma de matriz, grficamente formada por nodos y arcos.
Si x, y es un par, uno puede definir un predicado PR para cada relacin R que es verdadera si x, y R y
falsa en caso contrario, se expresa como Rxy . Rxy x, y R
Relacin reflexiva
Una relacin binaria R sobre X es reflexiva si, para cada x X , el par x, x est en la relacin, por
consiguiente R es reflexiva x Rxx
El ejemplo ms sencillo de una relacin reflexiva es la relacin identidad I X , cuyos nicos elementos son
x, x ,
x X .
En algunos casos R no contiene ningn elemento del tipo x, x , en este caso R se denomina no reflexiva
(irreflexible).
La relacin hermano es no reflexiva.
Si todos los nodos tienen un bucle entonces la relacin es reflexiva.
La reflexividad es visible cuando una relacin est dada en forma matricial.
Sea M R mij la matriz de la relacin R, entonces la diagonal principal de la matriz es el conjunto de
todos los mii . Si todos los mii 1 entonces la relacin es reflexiva.
Si todos los mii 0 entonces la relacin es NO reflexiva.
1 0 1
0 1 0
1 0 1
Es reflexiva
0 0 1
0 0 0
1 1 0
Es irreflexiva
1 0 1
0 0 0
0 1 1
Ninguna
Relacin irreflexiva
Una relacin binaria: R, entre los elementos de un conjunto: A, es una relacin irreflexiva, tambin
llamada: antirreflexiva o antirrefleja, si ningn elemento del conjunto est relacionado consigo mismo:
x A: (x,x) R
Relaciones simtricas
Una relacin R sobre un conjunto X es simtrica si para todos x e y perteneciente a X, Rxy implica Ryx, por
consiguiente:
R es simtrica xy Rxy Ryx
La relacin hermano es simtrica.
Una relacin R sobre X es antisimtrica si para todo y x , Rxy excluye a Ryx, o sea si se alcanzan Rxy e
Ryx, entonces x = y, por consiguiente:
R es antisimtrica xy Rxy Ryx x y
La relacin madre de es antisimtrica.
En el dgrafo de una relacin simtrica todos los arcos son bidireccionales.
Si la relacin es antisimtrica ningn arco tiene un compaero que vaya en la direccin opuesta.
Sea M R mij la matriz de la relacin R, entonces la matriz es simtrica si y solo si mij m ji .
Una matriz es antisimtrica si y solo si mij 1 obliga a que m ji 0 . En las relaciones antisimtricas tanto
1 0 0
Simtrica
0 0 1
1 0 0
0 1 0
Antisimtrica
1 0 1
0 0 0
1 1 1
Ninguna
Transitividad
Una relacin R sobre un conjunto X es transitiva si para todo x, y, z en X siempre que Rxy e Ryz, entonces
xRz, por consiguiente:
R es transitiva xyz Rxy Ryz Rxz
Una relacin es transitiva si y slo si todos los pares de objetos que pueden ser alcanzados a travs de un
intermediario pueden tambin ser alcanzados directamente.
La transitividad se divide en dos grupos:
Relaciones simtricas.
Relaciones antisimtricas.
La relacin de igualdad es la ms importante de las relaciones simtricas transitivas.
Cierres
Consiste en hacer que una relacin que no cumple una propiedad s la cumpla.
Por ejemplo, el cierre reflexivo de {(a,b),(c,d),(a,a)}, definida en {a,b,c,d}, sera:
{(a,b),(c,d),(a,a),(b,b),(c,c),(d,d)}, pues la segunda relacin s es reflexiva.
Para la misma relacin, el cierre simtrico es {(a,b),(c,d),(a,a),(b,a),(d,c)}.
Cierre Reflexivo
Cierre Simtrico
1
0
1
1
0
0
0
0
1
0
1
1
0
0
1
1
0
0
0
0
0
0
1
0
0
1
Sean
A = {1, 2, 3, 4}
R = {(1,2), (2,3), (3,4)}
Cierre transitivo: seale todos los pares que faltan para que esta relacin sea transitiva
(1,3),(2,4),(1,4)
Relaciones de equivalencia
Una relacin es una relacin de equivalencia si y solo si es:
Reflexiva.
Simtrica.
Transitiva.
La relacin de equivalencia ms importante es la de igualdad. Es Reflexiva, Simtrica y Transitiva.
rdenes parciales
Las relaciones transitivas antisimtricas conducen a los rdenes parciales.
Existen dos tipos de rdenes parciales.
Una relacin R : S S se denomina un orden parcial dbil si es reflexiva, antisimtrica y transitiva.
R se denomina orden parcial estricto si es irreflexiva, es antisimtrica y es transitiva.
Todos los rdenes parciales son no cclicos.
Un conjunto A junto con un orden parcial R se denomina conjunto parcialmente ordenado o un cpo. El cpo
A, R es el conjunto A junto con el orden parcial R.
Un orden parcial R es un orden total o un orden lineal si y solo si para todos los x e y, Rxy Ryx es
siempre verdadera. En este caso se llama al cpo A, R un conjunto totalmente ordenado o una cadena.
Un orden total implica que sea reflexiva, antisimtrica y transitiva.
Los rdenes parciales describen algn orden an cuando no todos los elementos sean comparables.
Los rdenes parciales estrictos no pueden tener bucles.
Funciones
Las funciones son relaciones.
Toda funcin de A en B es una relacin de A en B.
Una funcin entre dos conjuntos A y B es una transformacin que convierte cada elemento del conjunto A
en un nico elemento del conjunto B.
El conjunto A se llama conjunto inicial o dominio de la aplicacin.
El conjunto B se llama conjunto final o rango de la aplicacin.
La notacin ms comn para indicar que el par x, y pertenece a alguna funcin f es y f x .
Por lo tanto x, y f , y f x e f : x y es lo mismo.
Ejemplo 6.1 Cules de las siguiente relaciones de A a, b, c con B 1, 2,3, 4 son funciones?
1.
2.
3.
4.
f1 a,3 , b,1 , c, 2
f 2 a,3 , b,3 , c, 2
f3 a,3 , a, 4 , b,1 , c, 2
f 4 a,3 , b,1
Tipos de Funciones
Una funcin f : A B es inyectiva si a cada valor del conjunto inicial "A" le corresponde un valor distinto
en el conjunto final B de f. Es decir, a cada elemento del conjunto inicial A le corresponde un solo valor del
conjunto final B tal que, en el conjunto A no puede haber dos o ms elementos que tengan la misma imagen.
Una funcin f : A B es, sobreyectiva cuando cada elemento de "B" es la imagen de como mnimo un
elemento de "A".
Una funcin f : A B es, biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los
elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del
conjunto de llegada le corresponde un elemento del conjunto de salida.
A
1
2
3
a
b
c
d
1
2
3
4
a
b
c
1
2
3
4
a
b
c
d
Inyectiva
Sobreyectiva
Biyectiva
Una relacin f es una funcin parcial de X a Y si para todo x X existe como mximo una y Y .
Algunos elementos del espacio del dominio X pueden no tener su correspondiente y f x .
En este caso el dominio puede ser un subconjunto propio del espacio del dominio.
Toda funcin es una funcin parcial.
NO toda funcin parcial es una funcin.
Ejemplo:
f x x es una funcin parcial, porque cuando x es impar no
2
podemos asociar ninguna imagen, por lo tanto no es funcin sino una funcin parcial.
1
2
3
4
1
2
3
4
1/2
1
3/2
2
1
2
En el grfico se ve que 1 y 3 no tienen imagen en el dominio de los enteros, ya que y 3/2 no pertenecen a
los enteros.
La funcin identidad transforma cada valor en s mismo, esto es f x x .
La funcin constante tiene una sola imagen, por ejemplo c y todos los argumentos se refieren a la misma
imagen, si f denota a la funcin constante se tiene: f x y . La imagen de cada x es y.
10
Composicin
Si tenemos dos funciones: f(x) y g(x), de modo que el dominio de la 2 est incluido en el recorrido de la 1,
se puede definir una nueva funcin que asocie a cada elemento del dominio de f(x) el valor de g[f(x)].
a
b
c
d
1
2
3
4
1
2
3
4
u
v
x
z
f
f
f
f
2
4
1
3
g
g
g
g
z
x
v
u
h g f
hg f
Ejemplo: Encontrar g f si f x x 4 y g x x 2
g f x g x 4 x 4
Ejemplo: Encontrar g f y f g si f x x 3 y g x 2 x
g f x g x 3 2 x 3
g f x 2 x 3
f g x f 2x 2x 3
f g x 2x 3
11
Cardinalidad
El cardinal de un conjunto X es su nmero de elementos y se representa por |X|.
A B A B A B
Si dos conjuntos A y B son disjuntos, el cardinal de la unin es igual a la suma de los cardinales.
Si A B , entonces A B A B A B
Si A y B son dos conjuntos, siempre se cumple que el cardinal de su unin A B es igual al cardinal de A
ms el cardinal de B menos el cardinal de la interseccin A B .
A B A B A B
A A B A B
B B A A B
12
A pesar de su diferente aspecto, los dos grafos que se muestran a continuacin son isomorfos:
f(a) = 1;
f(b) = 6;
f(c) = 8;
f(d) = 3;
f(g) = 5;
f(h) = 2;
f(i) = 4;
f(j) = 7;
13
14