Unidad n 1: Relaciones y funciones

1. CONJUNTO PRODUCTO:
Dados dos conjuntos A y B se llama conjunto producto o producto cartesiano de A x B al conjunto que
consta de todos los pares ordenados cuyas primeras componentes son de A y las segundas
componentes de B, simblicamente:
A x B = { (x, y) / x A y B }
Es posible que A = B en cuyo caso ambas componentes de los pares son de A:
A x A = { (x, y) / x A y A }
En general A x B B x A

2. RELACIN:
Relacin binaria de A en B es cualquier subconjunto del conjunto producto A x B. Por lo tanto tambin es
un conjunto de pares ordenados, simblicamente:
R = { (x, y) / ( x A y B ) x R y} o bien

R = { (x, y) / x A y B ( x, y) R}

El conjunto de los elementos de A que participan de la relacin se denomina Dominio, al conjunto de los
elementos de B que participan en la relacin se lo denomina imagen, en smbolos:
Dom(R) = { x / x A ( x, y) R}

Im (R) = { y / y B ( x, y) R}

Dom(R) A

Im (R) B

Tenga en cuenta que puede ser A = B, en ese caso la relacin se denomina relacin binaria interna:
R = { (x, y) / ( x A y A ) x R y}
Las relaciones binarias internas pueden verificar ciertas propiedades:
Propiedad reflexiva:

( a A) : a R a
o bien que (a, a) R

Propiedad simtrica:

( a A) ( b A): a R b b R a
o bien si (a, b) R (b, a) R

Propiedad antisimtrica: ( a A) ( b A): a R b b R a a = b

o bien si (a, b) R (b, a) R a = b
Propiedad transitiva:

( a A) ( b A) ( c A): a R b b R c a R c
o bien si (a, b) R (b, c) R (a, c) R

Si una relacin binaria interna verifica las propiedades reflexiva, simtrica y transitiva es una relacin de
equivalencia.
Si una relacin binaria interna verifica las propiedades reflexiva, antisimtrica y transitiva es una relacin
de orden.
Existen dos tipos de relaciones de orden, el orden total: en esta relacin todos los pares son
comparables, por ejemplo la relacin menor o igual definida en el conjunto IR de los nmeros reales; y
el orden parcial: en este tipo de relacin de orden pueden existir pares no comparables por ella, un
ejemplo lo constituye la inclusin definida en un conjunto de partes.

3. FUNCIN
Una funcin de A en B es una relacin que cumple con las condiciones de existencia y unicidad, las
que pueden sintetizarse diciendo que para todo elemento de A existe un nico elemento de B con el cual
se relaciona.
lgebra y Geometra Analtica

Prof. Ana Mara Nuez

Unidad n 1: Relaciones y funciones

En consecuencia el dominio de una funcin coincide con el conjunto A.
Recuerde que eventualmente puede ser A = B
En general el esquema que se suele utilizar para representar funciones numricas es el siguiente:
f:A B
tal que
x f (x) = y
Las funciones numricas pueden representarse en un par de ejes cartesianos ortogonales, quede bien
claro que esa grfica es slo una representacin, ya que una funcin es un conjunto de pares
ordenados que cumple ciertas condiciones ya enunciadas.
Clasificacin de funciones:
Sea una funcin f de A en B analizaremos en que condiciones es inyectiva, suryectiva o biyectiva.
Tenga presente que dominio (Dom (f) ) es el conjunto que contiene a las primeras componentes de los
pares ordenados de la relacin, y que coincide en una funcin con A. El conjunto imagen ( Im (f) ) es el
que contiene a las segundas componentes de los pares ordenados en cuestin, y est incluido en B.
Una funcin es inyectiva si a elementos distintos en el dominio corresponden elementos distintos en la
imagen, en smbolos:
x x y y
Una funcin es suryectiva si el conjunto imagen coincide con el conjunto de llegada, es decir: Im (f) = B
Una funcin es biyectiva si es inyectiva y suryectiva a la vez.

Funcin compuesta:
Considere dos funciones: f de A en B tal que x f(x) y g de B en C tal que x g(x), la funcin f o g de
A en C es aquella que asigna a x el elemento fog (x) tal que: f o g (x) = g ( f (x) )
El siguiente diagrama representa la situacin.

f (x)

g (f(x))
C

fog

Si se dispone de funciones tales que f est definida de A en B y g de B en C, se puede hallar la funcin

compuesta f o g (f seguida de g) que estar definida de A en C.
Si se dispone de funciones tales que f est definida de A en B y g de C en D, para poder determinar la
funcin compuesta f o g (f seguida de g) es imprescindible que el conjunto Im (f) est incluido en el
Dom(g):
Im (f) Dom (g)
Por lo tanto para determinar la funcin compuesta g o f ( g seguida de f) en el primer caso presentado
resulta que g est dada de B en C y f de A en B, para poder definir la funcin compuesta g o f de B en B
se tendra que verificar que Im (g) A
Obsrvese que la notacin usada en este caso f o g es convencional y puede ser que algunos autores la
utilicen diferente.

lgebra y Geometra Analtica

Prof. Ana Mara Nuez

Unidad n 1: Relaciones y funciones

Funcin inversa:
Considere la funcin f definida de A en B, siempre existe para f la relacin inversa, que contiene a los
pares opuestos, definida de B en A, en smbolos:
R -1 = { (y, x) /( x A y B ) ( x, y) R }
En algunos casos esa relacin inversa es tambin una funcin y se anota f -1
Se puede demostrar que solamente si la funcin f de A en B es biyectiva, la relacin inversa es
una funcin.

Operacin:
Se denomina operacin binaria interna a toda funcin cuyo conjunto dominio es el producto cartesiano
de A x A y cuyo codominio es el mismo conjunto A.
Es decir una operacin binaria interna asigna a cada par ordenado de elementos de A un nico elemento
tambin de A, su esquema funcional sera el siguiente:
*:AxA A
(a, b) a * b
Los ejemplos ms conocidos de operaciones binarias internas son las operaciones en los conjuntos
numricos, suma y multiplicacin en los naturales, suma, resta y multiplicacin en los enteros, etc.

lgebra y Geometra Analtica

Prof. Ana Mara Nuez