Bloque 1: Dominio, Contradominio e Imagen.

* Se llama dominio de definición de una función al conjunto de valores de la variable independiente x para los que existe la función, es decir, para los que hay un valor de la variable dependiente y. 

* Se llama contra-dominio de una función: Son el conjunto de valores que puede tomar la variable dependiente “y”. También es conocido como co-dominio, recorrido o rango.


Ejemplo

Dada la función f =  (4, 12),(6, -7),(-1, 4),(2, 3),(-3, 6):
• Dominio: Df =  4, 6,-1, 2,- 3 (son los primeros elementos de los pares ordenados).
• Contra-dominio Cf  = 12, -7, 4, 3, 6 (son los segundos elementos de los pares ordenados).


* Se llama imagen o recorrido de una función a todos los valores de la variable dependiente que tienen algún valor de la variable independiente que se transforma en él por la función.




Llamaremos dominio de una relación R al conjunto formado por todos los primeros elementos de los
pares ordenados que pertenecen a R, e imagen o rango al conjunto formado por los segundos elementos.
Es decir, si R es una relación de A a B, entonces

Dom -(R) = {a ∈ A,∃b : b ∈ B ∧ (a, b) ∈ R}
Img (R) = {b ∈ B,∃a : a ∈ A ∧ (a, b) ∈ R}

Así en el ejemplo anterior, el dominio de R es Dom (R) = {1,3} y la imagen Img (R) = {2,3}


Ejemplo 

Para los conjuntos U = {1,2,3,4,5}, A = {1,2,3}, B = {2,4,5}, determinar:

(a) |A × B|.
(b) El numero de relaciones de A a B.
(c) El numero de relaciones binarias en A.
(d) El numero de relaciones de A a B que contengan al (1,2) y al (1,5).
(e) El numero de relaciones de A a B que contengan exactamente cinco pares ordenados.
(f) El numero de relaciones binarias en A que contengan siete elementos como mınimo.


Solución:

(a) |A × B| = |A| · |B| = 3 · 3 = 9

(b) Sea N el numero de relaciones de A a B.
Como una relacion es cualquier subconjunto del producto cartesiano de A por B, el numero de
relaciones de A a B ser´a igual al numero de subconjuntos que tenga A × B, es decir, el numero de
elementos del conjunto de las partes de este conjunto, por tanto,
N = |P(A × B)| = 2|A×B| = 29

(c) Igual que en el apartado anterior, si N es el n´umero pedido, entonces
N = |P(A × A)| = 2|A×A| = 29

(d) Si eliminamos del producto cartesiano de A y B los pares (1,2) y (1,5), quedaran 7 pares, luego
el numero de posibles relaciones que pueden establecerse sin ellos sera 27
igual al numero N de
relaciones que contienen a los dos pares dados ya que bastar´ıa con añadirlos a cada una de las
relaciones que no los tienen, por tanto,
N = 2 7

(e) Dos subconjuntos con cinco pares del producto cartesiano de A y B, ser´an distintos s´olo si se
diferencian en alg´un par sin que el orden en que los mismos figuren en el subconjunto influya para
nada, por tanto, el n´umero de subconjuntos de A×B con cinco pares ser´a igual al de combinaciones
de nueve elementos tomados cinco a cinco, es decir, si N es el n´umero pedido, entonces

N = C9,5 =  _9_   = 126
                      5  

(f) Sea Ni el numero de relaciones que contienen i elementos y sea N el numero pedido. Entonces,
                                                            N = N7 + N8 + N9

y razonando igual que en el apartado anterior,

          Ni = C9,i =  _9_
                                i
luego,

N = C9,7 + C9,8 + C9,9 = _9_   +  _9_   +  _9_   =  46
                                              7           8           9


Ejemplo 


Para U = Z
+, A = {2,3,4,5,6,7}, B = {10,11,12,13,14}, escribir los elementos de la relación R ⊂ A × B, donde
aRb si y solo si a divide (exactamente) a b.


Solución

R = {(2,10),(2,12),(2,14),(3,12),(4,12),(5,10),(6,12),(7,14)}