Función parcial

Una función parcial es una relación que asocia elementos de un conjunto (a

veces denominado dominio) con, como mínimo, uno de los elementos de otro
conjunto (que puede ser el mismo), llamado codominio. En cualquier caso, no es
necesario que todos los elementos del dominio estén asociados con algún
elemento del codominio.
Si todos los elementos de un conjunto X se asocian con un elemento de Y
mediante una función parcial f:X→Y , entonces se dice que f es una función total,
o simplemente una función, como se entiende tradicionalmente este concepto en
matemáticas. No todas las funciones parciales son funciones totales

Función total
En matemáticas, una función se dice que es total si está definida para todo el conjunto de
partida. Para comprender esto, debemos saber que:

Sea f: A → B, diremos que f está definida para un elemento si existe un par . Esto
se escribe como f(a) = ↓. Por el contrario, escribiremos f(a) = ↑ cuando f no está definida
para a.
Una función que no es total, es decir, que está indefinida para algún/os elemento/s, se conoce
como parcial.
 COMPOSICIÓN DE RELACIONES
Sea una relación de A en B y una relación de B en C. La composición de y es una relación
consistente de los pares ordenados (a, c), donde a A y c C y para los cuales existe un b B tal que
(a, b) y (b, c) , es decir a b y b c.

La composicón se denota por , si y son relaciones.

Ejemplos:
a) Sea A={1, 2, 3}, B={1, 2, 3, 4} y C={0, 1, 2} y sean

={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}

={(1 ,0),(2, 0), (3, 1), (3, 2), (4, 1)}

Entonces ={(1, 0), (3, 0), (1, 1), (3, 1), (2, 1), (2, 2)}

b) Sean A={1, 2, 3}, B={2, 4, 6, 8} C={s, t, u} y sean

={(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}

={(2, u), (4, s), (4, t), (6, t), (8, u)}

Entonces ={(1, u), (1, t), (2, s), (2, t), (3, s), (3, t), (3, u)}

c) Sean A={a, b, c, d}, B={s, t, u, v} C={1, 2, 3, 4, 5} y sean

={(a, s), (a, t), (c, v), (d, u)}

={(s, 2), (t, 1), (t, 4), (u, 3)}

 Entonces ={(a, 1), (a, 2), (a, 4), (d, 3)}

y graficamente se puede representar como

NOTA:

Generalizando:

Sean una relación de A en B, una relación de B en C y una relación de C en D.

La composición de , y es una relación consistente de los pares ordenados (a, d), donde a A
y d D y para los cuales existen un b B y un c C tal que (a, b) , (b, c) y (c, d) , es
decir a b, b c y c d.

Lo anterior se puede denotar como ( ), si , y son relaciones.

Además se tiene que ( )=( )

Función compuesta

Dadas dos funciones f(x) y g(x), se llama función compuesta

de f con g, y escribimos g o f, a aquella función en la que la
imagen de un número real x es el resultado de actuar
sucesivamente sobre x primero f y después g.

Para hallar la expresión analítica de la función compuesta de dos funciones se aplica el resultado anterior:

(gof) (x) = f[g(x)].

Ejemplo: Sean las funciones f(x) = 3x - 2 y g(x) = 2x + 5; entonces la función compuesta de f con g es
(gof)(x) = g[f(x)] = g(3x - 2) = 2(3x - 2) + 5 = 6x - 4 + 5 = 6x + 1.

En el razonamiento anterior se ha tenido en cuenta que si g(x) = 2x + 5, y por lo tanto,

g(3x - 2) = 2(3x - 2) + 5.

Propiedades de la composición
ASOCIATIVA: Dadas tres funciones cualesquiera f(x), g(x) y h(x) se cumple que ho(gof) = (hog)of.

CONMUTATIVA: La composición de funciones en general no es conmutativa, es decir, gof y fog son en

general dos funciones distintas.

En el ejemplo anterior (gof)(x) =6x + 1, sin embargo, (fog)(x) = f[g(x)] = f(2x + 5) = 3(2x + 5) - 2 = 6x + 15 - 2
= 6x + 13, luego las funciones gof y fog son distintas.

FUNCIÓN IDENTIDAD: La función i(x) = a que hace corresponder a cada número real con él mismo, al componerla
con cualquier función f(x) da de resultado f(x). Además i(x) conmuta con todas las funciones, por tanto i(x) es el
elemento neutro de la composición de funciones.

Árboles
Un Árbol es simplemente una colección de dominios que dependen de una raíz común y se
encuentra organizados como una determinada jerarquía. Dicha jerarquía también quedará
representada por un espacio de nombres DNS común.
De esta forma, sabremos que los dominios somebooks.es e informatica.somebooks.esforman parte
del mismo árbol, mientras que sliceoflinux.com y somebooks.es no.
El objetivo de crear este tipo de estructura es fragmentar los datos del Directorio Activo,
replicando sólo las partes necesarias y ahorrando ancho de banda en la red.
Si un determinado usuario es creado dentro de un dominio, éste será reconocido
automáticamente en todos los dominios que dependan jerárquicamente del dominio al que
pertenece.