lgebra de Conjuntos

Conjuntos
Un conjunto es una coleccin bien definida de objetos
llamados elementos o miembros del conjunto.
Denotaremos los conjuntos con letras maysculas y sus
elementos con minsculas.
Se utilizan llaves para encerrar los elementos de un conjunto,
por ejemplo:
A = {2, 3, 5, 7}
Para indicar la pertenencia a un conjunto usamos el smbolo e
y para indicar la no pertenencia el smbolo e, ejemplos:
3 e A 6 e A
Especificacin de conjuntos
Un conjunto puede especificarse de varias maneras:
Enumerando sus elementos
Especificando mediante un enunciado los elementos del
conjunto
Mediante una proposicin abierta
El conjunto A se puede especificar como:
Enumeracin. A = {2, 3, 5, 7}
Especificacin: A = {nmeros primos menores que 10}
Proposicin: A = { x | x es primo . x<10}
Igualdad de conjuntos
Dos conjuntos A y B son iguales si tienen los mismos
elementos. Denotamos la igualdad de dos conjuntos A y B por
A = B.
Ejemplos
{nmeros pares positivos menores que 100} = {mltiplos de 2
menores que 100}
{x | x
2
4 = 0} = {-2, 2}
{1, 2, 2, 3, 4, 4, 5}= {1, 2, 3, 4, 5}
Subconjuntos
A es un subconjunto de B si todo elemento de A es tambin
elemento de B, lo representamos por A _ B o sea que:
A B x A x B _ e e
Ejemplo:
A = {1 .. 100} y B = {2, 4, 6, , 50}, entonces B c A pero
A . B
Si A es diferente de B y A es subconjunto de B, lo denotamos
por A c B
Actividad
Defina los siguientes conjuntos enumerando sus elementos:
{nmeros primos entre 30 y 60}
{x | x
2
5x +6 = 0}
Diga si son verdaderas las siguientes sentencias para los
conjuntos A = {1, 3, 5, 7, 9, 11}y B = {1, 5, 7}:
A . B B _ A B c A A e B
8 e B
Defina el siguiente conjunto utilizando un proposicin abierta:
{4, 6, 8, 9, 10, 12, 14, 15, 16, }
Diagramas de Venn
El conjunto universo es el conjunto que contiene todos los
elementos relevante a un problema. Se denota por U.
El conjunto universo se representa como un rectngulo.
Los dems conjuntos se representas por curvas cerradas dentro del
universo.
U = {1, , 10} A = {3, 4, 6, 8} B = {5, 6, 7, 8, 9}
A B
U
3
4
6
8
5
7
9
10 1
2
Diagrama de Venn de A_B
A
B
U
A _ B
Teorema 1.3. Si A _ B y B _ C , entonces A _ C
Demostracin con diagramas de Venn
A
B
U
C
Conjunto Vaco
Un conjunto importante es el conjunto vaco o nulo, el cual no
contiene ningn elemento, ste es subconjunto de todo conjunto.
El conjunto vaco se denota por C.

El conjunto de todos los subconjuntos de A se le llama el
conjunto potencia de A, se denota por 2
A
= {B | B _ A}.
Ejemplo:
A = {1, 2, 3}
2
A
= {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}, C}
Unin de conjuntos
Definimos la unin de dos conjuntos A y B como el
conjunto formado por los elementos que pertenecen a A o a
B y se indica por A B.
A B = {x | x e A o x e B }
Ejemplo:
A = {1, 3, 4, 5}
B = {3, 4, 6, 7, 8}
A B = {1, 3, 4, 5, 6, 7, 8}
A B
U
3
4
6
8
5
7
9 10
1
2
Interseccin de conjuntos
Definimos la interseccin de dos conjuntos A y B como el
conjunto formado por los elementos que pertenecen a A y a
B y se indica por A B.
A B = {x | x e A y x e B }
Dos conjuntos son disjuntos si su interseccin es el
conjunto vaco.
Ejemplo:
A = {1, 3, 4, 5}
B = {3, 4, 6, 7, 8}
A B = {1, 3, 4, 5, 6, 7, 8}
A B
U
3
4
6
8
5
7
9 10
1
2
Propiedades
Teorema 1.4. Dados conjuntos A, B y C se tiene que:
1. C A = A
2. C A = C
3. Si A _ B, A B = A
4. Si A _ B, A B = B
5. A B = B A
6. A B = B A
7. A (C B) = (A C) B
8. A (C B) = (A C) B
9. A (C B) = (A C) (A B)
10. A (C B) = (A C) (A B)
Complemento
El complemento de un conjunto es el conjunto de elementos
que pertenecen a un universo en el que esta definido el conjunto
y que no pertenecen al conjunto. Se representa por.
A'= {x | x e A }
Ejemplo:
A = {1, 3, 4, 5}
A = {2, 6, 7, 8, 9, 10}
A
U
3
4
6
8
5
7
9 10
1
2
A
La diferencia
Definimos la diferencia de A y B como el conjunto de los
elementos que pertenecen a A pero que no pertenecen a B. La
designamos por A B.
A B = {x | x e A y x e B }
Ejemplo:
A = {1, 3, 4, 5}
B = {3, 4, 6, 7, 8}
A B = {1, 5}
A B
U
3
4
6
8
5
7
9 10
1
2
Actividad
1. Dados A = {1, 3, 4, 6, 8, 9} y B = {2, 3, 4, 5, 8, 11, 12}
sobre el universo U = {1, 2, 3, ...20}, calcular lo siguiente y
hacer los diagramas de Venn correspondientes.

a) A B
b) A B
c) complemento de A
d) A - B
e) B - A
Diferencia simtrica
La diferencia simtrica de A y B es el conjunto formados por los
elementos que pertenecen a A o B pero no a ambos. Se representa
por.
A B = {x | (x e A y x e B ) o (x e B y x e A )}
Es fcil ver que.
A B = (A B ) (B A )
Ejemplo
U = {1, 2, , 10}
A = {1, 3, 5, 6, 7}
B = {3, 4, 7, 8, 9}
1
2
3
4 7
5
6
10
8
9
A
B
U
A B = {1, 4, 5, 6, 8, 9}
Conjuntos finitos e infinitos
Un conjunto es finito si tiene un nmero finito de elementos y
es infinito si tiene un nmero ilimitado de elementos.
Ejemplo
N = {1, 2, 3, } = conjunto de los nmeros naturales, es un
conjunto infinito
A = { x e N | x >0 y x< 1000} es un conjunto finito
B = { x e N | x es primo} es un conjuto infinito
C = {tomos en el universo} es finito

Subconjunto estndar de N
Si ponemos en correspondencia los elementos de un conjunto
con algn subconjunto propio de N, comenzando con 1 y
siguiendo en orden sin saltar ningn elemento, definimos un
subconjunto estndar de N.
A = {a, b, c, d, e}
1 2 3 4 5

a b c d e
El subconjunto {1, 2, 3, 4, 5} es equivalente {a, b, c, d, e}.
Decimos que A tiene 5 elementos.
Cardinalidad
Cuando un conjunto S se equipara con un subconjunto estndar
de N, el ltimo elemento usado se le llama la cardinalidad del
conjunto S y se denota por | S |, n(S), card(S) o #S.
La cardinalidad del conjunto vaco es 0.
Si es posible encontrar un subconjunto estndar de N que se
pueda hacer corresponder con un conjunto S, decimos que S es
finito, sino S es infinito.
Producto cartesiano
Un par ordenado es una tupla de dos elementos, tal que uno
puede ser distinguido como el primero y el otro como el
segundo.

Un par ordenado con primer elemento a y con segundo elemento
b es escrito usualmente como (a, b).

Dos pares ordenados cumplen:
(a, b) = (c, d) si y slo si a = c y b = d

El producto cartesiano de dos conjuntos A y B es el conjunto de
todos los pares ordenados (a, b) tales que a es elemento del
conjunto a y b es elemento del conjunto B.

A B = {(a, b) | a eA y b e B}
A = {2, 4, 5}
B = {1, 3, 5, 6}
A B = {(2, 1), (2, 3), (2, 5), (2, 6), (4, 1), (4, 3), (4, 5), (4, 6),
(5, 1), (5, 3), (5, 5), (5, 6)}
Note |A B| = |A||B|, en este caso |A B| = 3 4 = 12
B A = {(1, 2), (1, 4), (1, 5), (3, 2), (3, 4), (3, 5), (5, 2), (5, 4),
(5, 5), (6, 2), (6, 4), (6, 5), }
Note que A B = B A
A A = A
2
= {(2, 2), (2, 4), (2, 5), (4, 2), (4, 4), (4, 5), (5, 2), (5,
4), (5, 5), }

Actividad
Cul es la cardinalidad de los siguientes conjuntos?
{seres humanos}
{x e N | x > 34 y x < 16}
{x e N | x es mltiplo de 1,000,000}
{mesa-bancos en el saln}

Sea A = {4, 6, 9} y B = {s, t} encuentre A
2
, B
2
, A B, B A.
Relaciones
Se define una relacin del conjunto A con el conjunto B como
un subconjunto de A B. Si R _ A B y (a, b) e R se dice que
a est relacionado con b bajo la relacin R y se denota por aRb.
Para expresar una relacin de A en B, escribimos: R: A B
Si A y B son el mismo conjunto, entonces se dice que la
relacin es sobre A.
Grfico de una relacin
S = {s
1
, s
2
}
P = {p
1
, p
2
, p
3
}
R = {(s
1
, p
1
), (s
1
, p
3
), (s
2
, p
2
), (s
2
, p
3
)}
s
2
s
1
p
1
p
2
p
3
Dominio e imagen
Se definen los subconjuntos Dominio e Imagen de la relacin
R como sigue:
Dom(R)={a | a e A y (a, x) e R para algn x e B}
Im(R)={b | b e B y (y, b) e R para algn y e A}
a
1
a
2
a
3
a
n
b
1
b
2
b
3
b
m
a
k
b
j
A = {1, 3, 5, 7}
B = {4, 5, 6}
R = {(a, b) e A B | a > b} = {(5, 4), (7, 4), (7, 5), (7, 6)}
S = {(a, b) e A B | a = b} = {(5, 5)}
T = {(a, b) e A B | a = b} = {(1, 4), (1, 5), (1, 6), (3, 4), (3, 5),
(3, 6), (5, 4), (5, 6), (7,4), (7, 5), (7, 6)}
W = {(a, b) e A B | b = a + 3} = {(1, 4), (3, 6)}
Dom(R) = {5, 7} Img(R) = {4, 5, 6}
Dom(S) = {5,} Img(S) = {5}
Dom(T) = {1, 3, 5, 7} Img(T) = {4, 5, 6}
Dom(W) = {1, 3} Img(w) = {4, 6}
Inversa de una relacin
Si R _ A B es una relacin de A en B, entonces la relacin
R
1
= {(b, a)| (a, b) e R } es la inversa de la relacin R. Por
tanto si aRb bR
1
a.
S = {s
1
, s
2
} P = {p
1
, p
2
, p
3
}
R = {(s
1
, p
1
), (s
1
, p
3
), (s
2
, p
2
), (s
2
, p
3
)}
R
1
= {(p
1
, s
1
), (p
3
, s
1
), (p
2
, s
2
), (p
3
, s
2
)}
s
2
s
1
p
1
p
2
p
3
s
2
s
1
p
1
p
2
p
3
R
R
1
Operaciones con relaciones
Dado que las relaciones son conjuntos, todas las operaciones de
conjuntos se pueden aplicar a las relaciones.
Si R y S son relaciones, R S es una relacin tal que
x(R S)y = xRy . xSy
Similarmente
x(R S)y = xRy v xSy
Y
x(R S)y = xRy . xSy
Donde S indica que x no est relacionado con y a travs de S
X = {a, b, c}
V = {a, b}
Y = {A, B, C}
W = {B, C}
R: X Y S: V W
R = {(a, A), (a, B), (b, C)}
S = {(a, B), (b, C)}
S =
R S =
R S =
R S =
Actividad
L representa la relacin menor o igual que y D representa la
relacin divide, donde xDy significa x divide a y. Tanto L
como D estn definidas en el conjunto {1, 2, 3, 6}. Escribir L y D
como conjuntos, y calcular L D, L D, L D.
Composicin de relaciones
Sean R: X Y y S: Y Z dos relaciones. La composicin de R
y S, que se representa por R S, contiene los pares (x, z) si y
solo si existe un objeto intermedio y tal que (x, y) est en R y (y,
z) est en S. Por consiguiente
x(R S)z = -y (xRy . ySz)
Ejemplo:
La relacin ta de se compone de dos relaciones, la relacin
hermana de y la relacin padre de.
x
2
x
1
y
1
y
2
y
3
x
3
x
4
y
4
z
1
z
2
z
3
z
4
z
5
x
2
x
1
x
3
x
4
z
1
z
2
z
3
z
4
z
5
R: X Y S: Y Z R S: X Z
R = {(1, a), (2, b), (1,c)}
S = {(a, A), (a,B), (c,D)}
Calcular R S y hacer el grafo dirigido.
Actividad
1. Representar con un grafo dirigido
A = {1, 2, 4, 6}, B = {a, b, c}
R = {(1, a), (2, b), (2, c), (4, b), (6, a), (6, c)}
2. Dado el siguiente grafo encuentre los pares ordenados de la
relacin S
b

a

A

B

c

C

Actividad
W = {(1, 3), (1, 5), (2, 2), (2, 4), (4, 1), (4, 5)}
S = {(1, 4), (2, 3), (2, 4), (3, 3), (4, 5), (5, 1)}
Encuentre W S y S W y haga sus grafos dirigidos
Propiedad de las relaciones
R (S T) =(R S) T
Demostracin:
x(R (S T))w = -y (xRy . y (S T)w)
= -y (xRy . -z(ySz . zTw)
= -y -z (xRy . (ySz . zTw)
Intercambiando cuantificadores y agrupando
= -z -y ((xRy . ySz) . zTw)
= -z (-y (xRy . ySz) . zTw)
= x((R S) T)w
Propiedades de las relaciones
Una relacin R sobre un conjunto X es reflexiva si a: (a, a) e R
O equivalentemente - a: (a, a) e R
R = {(a, a), (b, a), (b, b), (b, c), (c, c)} reflexiva
S = {(a, b), (b, a), (b, b), (b, c), (c, a)} no reflexiva
Una relacin R sobre un conjunto X es irreflexiva tambin llamada
antirreflexiva o antirrefleja, si a: (a, a) e R
O equivalentemente - a: (a, a) e R
W = {(a, b), (b, a), (b, c), (c, a)} irreflexiva
S = {(a, b), (b, a), (b, b), (b, c), (c, a)} no irreflexiva
Propiedades de las relaciones
Una relacin R es simtrica si a,b: (a, b) e R (b, a) e R.
Tambin - a,b: (a, b) e R . (b, a) e R
R = {(a, b), (b, a), (b, b), (b, c), (c, b)} simtrica
S = {(a, b), (b, a), (b, b), (b, c), (c, a)} no simtrica
Una relacin R es antisimtrica si a,b: ((a, b)eR.(b, a)eR)
a = b. Tambin - a,b: (a, b) e R . (b, a) e R . a = b
R = {(a, b), (b, b), (b, c), (c, a), (c, c) } antisimtrica
S = {(a, b), (b, a), (b, b), (b, c), (c, a)} no antisimtrica

La simetra no es lo opuesto de la antisimetra.
Ejemplos:
Existen relaciones que son simtricas y antisimtricas al
mismo tiempo (como la igualdad)
Otras que no son simtricas ni antisimtricas (como la
divisibilidad)
Otras que son simtricas pero no antisimtricas (como la
relacin de congruencia mdulo n)
Otras que son antisimtricas pero no simtricas (como la
relacin "menor que").
Propiedades de las relaciones
Propiedades de las relaciones
Una relacin R es transitiva si a,b: (a, b) e R y (b, c) e R (a,
c) e R

R = {(a, a), (a, b), (b, a), (b, b), (c, c)} transitiva
S = {(a, b), (b, a), (b, b), (b, c), (c, a)} no transitiva
Una relacin es total si a,b: (a, b) e R v (b, a) e R.

W = {(a, b), (a, c), (b, a), (b, b), (c, b)} total
S = {(a, b), (b, a), (b, b), (b, c), (c, b)} no total
R = {(1, 2), (3, 4), (2, 2)}
S = {(4, 2), (2, 5), (3, 1), (1, 3)}
Calcular
RS, S R, R (S R), (R S) R, R R, S S, R R R
Relacn Refle. Irrefle. Sim. Antisim. Trans. Total
{(1,2). (2, 2), (3,4), (4,1)}
{(a, b), (b, a), (a, c), (c, a), (b,
c), (c, b)}
{(a, b)eN
2
| a divide a b}
{(a, a), (b, b), (a, c), (b, c), (c,
a), (d, d)}
{(a, a), (a, d), (c, b), (d, a), (c,
e), (e, e)}
{(a, a), (b, b), (c, c), (d, d), (e,
e), (b, c), (b, a)}
{(a, a),(a, b),(b, a), (b, b), (b,
c), (b, e), (c, e), (b, d), (d, a),
(e, e)}
{(a, c), (a, e), (e, c), (b, c)}
{(a, a), (b, b), (c, c), (d, d), (e,
e), (a, e), (b, c), (c, b), (e, a)}
{(a, b), (b, d), (c, a), (d, e), (e,
c), (b, c), (b, a)}
Relaciones de equivalencia
Una relacin que es reflexiva, simtrica y transitiva se
denomina relacin de equivalencia.
Una relacin de equivalencia define clases de equivalencia.
Cada clase de equivalencia es un subconjunto del conjunto A.
Los subconjuntos definidos en las clases de equivalencia son
disjuntos y la unin de ellos es igual al conjunto A, se dice que
forman una particin del conjunto A.
Para cada elemento x de A se define un conjunto [x]={y e A |
(x, y) e R} como la clase de equivalencia de x.
Clases de equivalencia
Teorema 1.5. Las clases de equivalencia de una relacin de
equivalencia R sobre un conjunto X forman una particin de
X.
Demostracin: Sea z e [x][y], entonces (x, z) e R y (z, y) e
R. Como R es transitiva, entonces (x, y) e R. Por lo tanto x e
[y] y y e [x], y en consecuencia (y, x) e R.
Si t e [x], entonces (t, x) e R y por transitividad (t, y) e R.
Por tanto t e [y]. O sea [x] _ [y].
Si t e [y], entonces (t, y) e R y por transitividad (t, x) e R.
Por tanto t e [x]. O sea [y] _ [x].
Dado que [x] _ [y] y [y] _ [x], se tiene [x] = [y].
Clases de equivalencia
Por otro lado, todo x debe pertenecer R, ya que (x, x)e R. Esto
implica que todos los elementos pertenecen a alguna particin.

Teorema 1.6. Cualquier particin A de un conjunto no vaco
X define una relacin de equivalencia sobre X.
Ejemplos
La relacin de igualdad de enteros define una relacin de
equivalencia, dado que
a = a (reflexiva)
si a = b b = a (simtrica)
si a = b . b = c a= c (transitiva)
Por lo tanto es una relacin de equivalencia.
Ejemplos
Dos nmeros son congruentes en mdulo n si al dividir dos nmeros
se obtiene el mismo residuo. La congruencia de a y b se denota por a
b (mod n).
Por ejemplo: 2 12 (mod 5), 3 24 (mod 7), 8 17 (mod 3).
Si a a (mod n) (reflexiva)
Si a b (mod n) b a (mod n) (simtrica)
Si a b (mod n) . b c (mod n) a c (mod n) (transitiva)
0 3 (mod 3) 1 4 (mod 3) 2 5 (mod 3)
0 6 (mod 3) 1 7 (mod 3) 2 8 (mod 3)
0 9 (mod 3) 1 10 (mod 3) 2 11 (mod 3)
[0] = {0, 3, 6, 9, } [1] = {1, 4, 7, 10, } [2] = {2, 5, 8, 11, }
Actividad
Encuentre la particin que crea la relacin R = {(1, 1), (1, 2), (2,
1), (2, 2), (3, 3), (4, 4), (4, 5), (5, 4), (5, 5)} sobre el conjunto A =
{1, 2, 3, 4, 5}


Encuentre la relacin de equivalencia que crea la siguiente
particin del conjunto B = {a, b, c, d, e, f}
P = {{a, c, d}, {b, e}, {f}}
Funciones
Una relacin de A en B es una funcin si Dom(f) = A y para
todos los pares (x, y) y (x , z) pertenecientes a f implica que y
= z, y se escribe f: A B.

Una funcin es un subconjunto del producto cartesiano de A y
B tal que no existe dos pares ordenados con la misma primer
componente.

f :AB (f c A B) . x e A, y
1
, y
2
e B, ((x, y
1
)e f . (x,
y
2
) e f y
1
= y
2
)
Ejemplos
A = {1, 2, 3}
B = {1, 2, 3, 4}
F = {(1, 3), (2, 1), (3, 2)}
G = {(1, 3), (2, 1), (2, 4), (3, 4)}
H = {(1, 4), (3, 1)} funcin parcial
Grfico de una funcin
1
2
3
a
e
i
o
u
F = {(1, a), (2, o), (3, e)}
Definiciones de funciones
Una funcin se puede definir mediante una frmula.
La funcin f = {(1, 1), (2, 4), (3, 9), (4, 16), } se puede
definir como
f = {(x, y) e NN | y = x
2
}

La funcin f = {(1, 5), (2, 7), (3, 9), (4, 11), } se puede
definir como
f = {(x, y) e NN | y = 2x + 3}
Sea D = {1, 2, 3, 4}
f = {(x, y) | y = 3x
2
+ 4}
Encontrar la imagen de f. Hacer el grfico de los conjuntos.
Sea g = {(-2, 4), (-1, 3), (0, 2), (1, 1), (2, 0), (3,-1) }
Encontrar dominio, imagen y la regla de correspondencia
Sea D = {-3, -1, 0, 1, 3} y f(x) = x
2
/2 1
Escribir f como pares ordenados y encontrar la imagen.
Actividad
Sea D = {1, 2, 3, 4, 5}
f = {(x, y) | y = 7x
2
6}
Encontrar la imagen de cada elemento del dominio. Hacer el
grfico de los conjuntos.

Sea g = {(1, 0), (2, 2), (3, 4), (4, 6), (5,8) }
Encontrar dominio, imagen y la regla de correspondencia
Imagen y preimagen
Dada una funcin f: A B, la imagen bajo f de un elemento a del
dominio es el nico elemento b del contradominio con el que a
est relacionado. Se denota por b = f(a)
Simblicamente
f(a) = b (a, b) e f
Dada una funcin f: A B, la imagen bajo f de un subconjunto X
del dominio es el subconjunto Y del contradominio formado por
las imgenes de los elementos de X. Se denota por Y = f(X). As
mismo, X se llama preimagen de Y y se denota por X = f
1
(Y).
Simblicamente
f(X) = Y X = f
1
(Y) (X c dom(f ).Y c img(f ).
xeX, f(x)eY . y eY, - xeX, (x, y) ef )
Funciones
Teorema 1.7. Sean las funciones f: A B y g: A B,
entonces f = g si y solo si f(x) = g(x) para toda x e A.
Demostracin:
Si f = g.
Sea x e A. Si y = f(x), se tiene que (x, y) e f y por tanto (x, y)
e g. En consecuencia y = g(x).
Si f(x) = g(x).
Entonces, si (x, y) e f . Entonces y = f(x) = g(x) con lo que (x,
y) e g, y por tanto f _ g.
Por otro lado, si (x, y) e g . Entonces y = g(x) = f(x) con lo que
(x, y) e f, y por tanto g _ f.
Funcin parcial
Definimos una funcin parcial como una funcin en la que
Dom(f) _ A.
Sea una funcin f: A B . Si X _ A, diremos que la imagen
de X bajo f es
f(X) = {y e B | y = f(x) para algn x e X}
Si Y _ B, la imagen inversa de Y bajo f es el conjunto
f
-1
(Y) = {x e A | f(x) = y para algn y e Y}
Funciones
Teorema 1.8. Sea una funcin f: A B . Entonces
1. f(C) = C.
2. f({x}) = {f(x)} para todo x e A.
3. Si X _ Y _ A, entonces f(X) _ f(Y).
4. Si X _ Y _ B, entonces f
-1
(X) _ f
-1
(Y).
5. Si X y Y son subconjuntos de B, entonces f
-1
(X - Y) = f
-
1
(X) - f
-1
(Y).
Funciones inyectivas
Una funcin es inyectiva si, para cualquier (x, y) e f y (z, y)
e f , entonces x = z.
inyectiva
NO inyectiva
Ejemplos
F = {(1, 2), (2, 4), (3, 5), (4, 2)}
G = {(1, 2), (2, 4), (3, 5), (4, 1)}
H = {(1, 2), (2, 4), (3, 3), (4, 5)}
R = {(x, y) e N
2
| y = x
2
}
S = {(x, y) e NR | y = +x}
W = {(x, y) | x
2
+ y
2
= 25}
Funciones sobreyectivas
Una funcin es sobreyectiva si, para cualquier y e B existe
una x e A, para la que f(x) = y.
sobreyectiva
NO sobreyectiva
Ejemplos
F = {(1, 2), (2, 4), (3, 5), (4, 2)} A=B = {1, 2, 3, 4, 5}
G = {(1, 2), (2, 4), (3, 5), (4, 1), (5, 3)} A = B = {1, 2, 3, 4, 5}
H = {(1, 2), (2, 4), (3, 3), (4, 5), (5, 2)}
R = {(x, y) e N
2
| y = x
2
}
S = {(x, y) e NR | y = +x}
W = {(x, y) | x
2
+ y
2
= 25}
Biyeccin
Una que es inyectiva y sobreyectiva es una biyeccin o
correspondencia uno a uno.
biyectiva
NO biyectiva
Ejemplos
F = {(1, 2), (2, 4), (3, 5), (4, 2)} A=B = {1, 2, 3, 4, 5}
G = {(1, 2), (2, 4), (3, 5), (4, 1), (5, 3)} A = B = {1, 2, 3, 4, 5}
H = {(1, 2), (2, 4), (3, 3), (4, 5), (5, 2)}
R = {(x, y) e N
2
| y = x
2
}
S = {(x, y) e NR | y = +x}
W = {(x, y) | x
2
+ y
2
= 25}
Composicin de funciones
Definimos la composicin de dos funciones f y g como:
g f = {(a, c) | - y, f(a) = y . b = g(y)}
El contradominio de f debe estar incluido en el dominio de g

Dadas las funciones f: A B y g: B C
g f : A C Dom(g f ) = Dom(f ) . Img(f)cDom(g)
. xeDom(g f ), (g f )(x) = g(f(x))
A = {1, 2, 3}
B = {a, b, c, d}
C = {o, |}
f: A B dada por: f(1) = a, f(2) = b
g: B C dada por: g(a) = o, g(b) = |, g(c) = |
Encontrar la composicin y hacer el grafo.