Está en la página 1de 18

Relaciones y funciones

El concepto de relacin surge de manera natural en el anlisis de un sistema en general. Por ejemplo, en los nmeros naturales, podemos hablar de la relacin ser menor o igual que. Bajo esta relacin, por ejemplo, el 2 se relaciona con el 3 pero no al contrario, y el 0 se relaciona con todos los elementos. En este captulo nos interesa estudiar las relaciones en general, la funciones (que son relaciones) y las relaciones de equivalencia. Nuestro estudio no ser disyunto: la igualdad es una relacin que es tanto funcin como relacin de equivalencia. RELACIONES Sean A y B conjuntos. Una relacin de A a B es cualquier subconjunto R del producto cartesiano AB. A se conoce como dominio y B como rango de R. Formalmente: aRb = { <a,b>R | aA bB RAB }

Relaciones
En la mayora de los casos, por simplicidad, hablaremos de relaciones binarias, en donde la relacin se da entre dos objetos. Un ejemplo de tal relacin (dmosle un nombre, libro ) es la que ocurre entre personas y libros, en donde una persona -relacionados" si y slo si estn y un

estn ''

ha ledo el libro . Podemos abreviar la . Visualmente esto es una

afirmacin '' y

-relacionados" de modo natural, as: y estn ligados por la relacin y

sugiere que los objetos

. Diremos que

relacin entre los conjuntos libros, respectivamente).

(conjuntos de todos los seres humanos y todos los

Pero lo anterior sugiere que la relacin embargo hay una manera de ``convertir'' a

no es un objeto (como

lo son). Sin

en un objeto, ms precisamente en un

conjunto!. Lo cual no debe sorprender al lector, pues un conjunto es en muchos casos un objeto que representa ciera informacin al tener o no ciertos elementos. En nuestro caso, conocer la relacin
1.

consiste en conocer dos cosas, a saber: y (seres

Los dos conjuntos entre los cuales es la relacin: en este caso, humanos y libros).

2.

La lista de todas las parejas relacionadas por la relacin : (Jhon Benavides, El extranjero), (Vernica Mario, Cien aos de soledad), (Julin Castillo, El Quijote), ...

Naturalmente la lista (o conjunto) de todas las parejas relacionadas por la relacin por si sla nos da la informacin esencial de la relacin . As que convertimos a en objeto, esto es, en conjunto, en el conjunto de parejas relacionadas por la relacin que tenamos en mente: es un ser humano, O lo que es igual: ha ledo a es un ser humano, y ha ledo a

Funciones
Intuitivamente una funcin es una regla que asocia elementos de un conjunto con elementos de otro conjunto, de modo que elemento del primer conjunto se asocia con uno y slo un elemento del segundo conjunto. Visto de otro modo, una funcin es una mquina que transforma elementos en otros elementos, y cada elemento puede transformarse en un nico elemento. Definicin 93 (Funcin) Una funcin cumple la siguiente propiedad: si es una relacin que , entonces . En

otras palabras, para cada que .

existe un nico

tal

Ejemplo 94 (La funcin identidad) Dado una funcin, pues si luego

un conjunto, y ,

es

, entonces

. As, la relacin identidad es tambin una funcin.

La relacin divide

no es una funcin pues un entero puede dividir ms de un . La relacin ``madre'' es

nmero. Por ejemplo, y , pero funcin, pues todo ser humano tiene una nica madre. Dada tal que una funcin y

un elemento de su dominio, llamaremos , y

a el nico son

. Por lo tanto, las proposiciones

equivalentes. Note que al utilizar la expresin que si La expresin e dominio

se asume implcitamente

. El lector debe ser cuidadoso con esta sutileza. Concluimos que es una funcin, entonces significar lo siguiente: . es una funcin, es especificar su

. Una manera comn de definir una funcin y dar una definicin para , dado

. Por ejemplo:

Ejemplo 95 Sea dado ,

la siguiente funcin: su dominio es . Por ejemplo , ,

,y , etc.

Note que para todo siguiente:

, luego podemos afirmar lo

Una manera equivalente de decir asocia a . Por ejemplo la funcin

es

y se lee f manda, enva o

es aquella dada por conjuntista de es:

, con dominio los enteros no nulos. Una descripcin

Si nos preguntamos quin es

, tenemos problemas. Por un lado,

no es ningn

nmero: si pensamos en como una mquina, no podemos introducir al cero o descompondremos la mquina (sta se enloquecer al intentar dividir por cero). Por

otro lado,

no es un elemento del dominio de , luego la expresin

no tiene

referencia alguna, no representa ningn objeto. Lo mismo sucede con la funcin el rey de, que no tiene a Colombia en su dominio, pues Colombia no se refiere a ninguna persona. Recordando la definicin de imagen de una relacin, tendremos para funcin: el rey de

una

Por ejemplo, para la funcin del ejemplo 95, sabemos que embargo la igualdad no se da: note que . Ejemplo 96 (Funciones dadas como tuplas) Dado funcin tupla y un conjunto cualquiera, una -

. Sin

puede representarse mediante la . Por ejemplo la tupla , es decir, , para

representa la funcin constante .

Sabemos que la interseccin de dos relaciones es una relacin, pues si y , entonces funciones se cumplir lo mismo: Lema 97 Si una funcin, e y . Para el caso de las

, entonces .

es

Demostracin. [Prueba]

Ya hemos notado que que

es una relacin. Si

, entonces existe

tal .

, lo que implica que .

Similarmente se puede probar que Finalmente probemos que en particular es una funcin: si . Como

, entonces .

es una funcin, concluimos que

Composicin de funciones

Definicin 98 (Composicin de relaciones) Si relaciones, definimos la relacin que y .

y existe

son tal

Dos funciones pueden componerse, dado que son relaciones: consideremos el caso particular en que composicin: algn Note que entonces Por lo anterior, es una funcin, pues si . es el conjunto de parejas de la forma y son mquinas, entonces . Volviendo a es la , para algn , ,y son funciones. Por definicin de , para .

la analoga con las mquinas, si mquina que funciona as:


1.

recibe un elemento obtener .

y lo introduce en la mquina

para

2.

introduce a En resumen,

en la mquina

para obtener en .

3.

ha transformado a le aplica a

En el anterior proceso la mquina requiere que

. Para que esto tenga sentido se , entonces

. Ahora, si , luego

puede aplicarse a

tiene

sentido (est definido). Adems, permite concluir que , y que

. Lo anterior nos , es decir,

Lo anterior lo resumimos en el siguiente lema (que es prcticamente una definicin): Lema 99 (composicin de funciones) Sean funciones. Entonces es la siguiente funcin: Y

[Es decir,

.]

Si de

son como arriba y

, entonces decimos que

es una factorizacin

y . Esto lo podemos expresar mediante cualquiera de los siguientes diagramas:

Ejemplo 100 Sea funcin . Entonces

la funcin

y es la funcin . Por otro

la

lado, Note que ejemplo y

es la funcin son funciones distintas (por , luego ).

Observacin 101 La composicin de funciones no es necesariamente conmutativa.

Para antes de seguir leyendo: Si


1.

, entonces:

. Finalmente observamos que la composicin de funciones es asociativa. Esto es,


2.

si

, entonces:

Lo anterior vale pues ambas funciones tienen el mismo dominio ( ), y para todo , .

Funciones inyectivas, sobreyectivas y biyectivas Definicin 102 (Funciones inyectivas, sobreyectivas o biyecciones)

Sea

. Diremos que:

1.

es inyectiva o 1:1 (o todos ,

es una inyeccin) si y slo si para implica . . es inyectiva y

2.

es sobreyectiva si y slo si

es biyectiva (o es una biyeccin) si sobreyectiva. Para antes de seguir leyendo:


3. 1.

Demuestre que para cualquier conjunto, la funcin identidad es una biyeccin.

2.

Diremos que una funcin es constante si es un singleton. Encuentre una condicin necesaria y suficiente para que una funcin constante sea una biyeccin.

la funcin es una biyeccin. [ Qu ocurrira si no fuera 1:1? Qu ocurrira si no fuera sobreyectiva?]. Note que las propiedades de sobreyectividad y biyectividad no dependen
3.

exclusivamente de la funcin ejemplo, es ms correcto decir:

, sino tambin del conjunto es una sobreyeccin de

, de modo que, por en .

Ejemplo 103 Sea que es una biyeccin:

la funcin

. Veamos

1.

Inyectividad: si ende y .

, entonces

. Por

2.

Sobreyectividad: Hay que mostrar que que si (dado que . Para la otra inclusin, sea , entonces es imagen bajo

. Es claro . Es fcil ver que

, y esto prueba que de algn real la funcin ). . Es fcil ver no es inyectiva:

Ejemplo 104 Sea que , pero es , luego

es sobreyectiva. Pero

. En otras palabras, si sabemos quin .

, no sabemos con seguridad quin es

Definicin 105 (Funcin invertible) Diremos que una funcin invertible, si y slo si la relacin es tambin una funcin.

es

Recuerde que entonces Ejemplo 106 Sea . ,e

, luego si . la funcin , de modo que y , entonces

es invertible,

. Si . Esto prueba .

que

es una funcin, luego

es invertible. Sea , y adems

Es claro que que .

Lema 107 Para equivalentes:

, las siguientes afirmaciones son

1.

es inyectiva. Para todos es invertible. , implica .

2.

3.

La prueba se deja como ejercicio.

Note que si es invertible, entonces , luego es invertible (e inyectiva, por el teorema anterior). Muchas funciones pueden expresarse como composicin de varias funciones bsicas. Para determinar la inyectividad de una funcin, en varios casos bastar con estudiar la inyectividad de las funciones bsicas que la componen. Lo mismo ocurre con la sobreyectividad. Teorema 108 Para , , tenemos:

1.

Si Si Si

y y y

son inyectivas, entonces son sobreyectivas, entonces son biyectivas, entonces

es inyectiva. es sobreyectiva. es biyectiva.

2.

3.

Demostracin. [Prueba] (a)

Si

. Entonces por inyectividad de ,

Por inyectividad de de (b) .

. Esto prueba la inyectividad

Dado que

, por sobreyectividad de . Por sobreyectividad de

existe , existe

tal tal

que

. Por ende, .

, y esto prueba la

sobreyectividad de (c) Se deduce de (a) y (b).

Valen los conversos de las propiedades anteriores? La respuesta es negativa en general. Pero al menos podemos concluir lo siguiente: Teorema 109 Para , , tenemos:

1.

Si Si

es inyectiva, entonces

es inyectiva. es sobreyectiva.

2.

es sobreyectiva, entonces

Demostracin. [Prueba]

(1): Suponga e.d., (2): Sea que . Como

. Entonces . Por inyectividad de es sobre, existe . Esto prueba que

, , concluimos tal . .

Definicin 110 (Inversa a derecha e inversa a izquierda de funciones) Sea una funcin.

1.

Una inversa a izquierda de que .

es una funcin

tal

2.

Una inversa a derecha de

es una funcin

tal

que . La existencia de inversas a derecha e izquierda de una funcin es una caracterizacin de inyectividad y sobreyectividad: Teorema 111 Para :

1.

es 1-1 si y slo si

tiene una inversa a izquierda. tiene una inversa a derecha.

2.

es sobreyectiva si y slo si

La prueba se deja como ejercicio.

Corolario 112 Si sobreyectiva.

, entonces

es inyectiva y

es

Suponga el caso en que

tiene inversas

y garantiza que es la

izquierda y derecha, respectivamente. La existencia de imagen de . Adems, la existencia de . garantiza que

es invertible, luego

es

funcin con dominio

Bajo las anteriores condiciones podemos concluir que ms an, son iguales a . Veamos la demostracin:

son la misma funcin, y

Sabemos que luego

. As, luego . Ahora, , ,y

as, . A continuacin enunciamos un criterio muy til para verificar si cierta funcin es biyectiva: Teorema 113 Sean y esto es, , entonces y y . , funciones. Si

son biyectivas y mutuamente inversas,

Demostracin. [Prueba]Como derecha, por el corolario 112 podemos concluir que

tiene a

como inversa a izquierda y

es biyectiva. De manera anloga

es una biyeccin. Por la demostracin ,

anterior al enunciado del teorema concluimos que Entonces .

Lema 114 Sean disyuntos, y

y ,

conjuntos disyuntos,

conjuntos

funciones. Sea

la funcin definida por:

Entonces:
1.

Si

son inyectivas, entonces

tambin lo es. y son

2.

(en particular, si sobreyectivas, entonces tambin lo es).

Demostracin. Probamos la primera propiedad, dejando la segunda al lector. Sean y tales que . Como (el caso ,y .

son disyuntos, supongamos que

es similar). Entonces consecuentemente Entonces concluimos que .

(de lo contrario se tendra . Similarmente . Como

es inyectiva,