RELACIONES Y FUNCIONES 41

CAPTULO III

RELACIONES Y FUNCIONES

3.1 RELACIONES 1
Una relacin R de un conjunto A a un conjunto B asigna a cada par (a,b)
en A x B exactamente uno de los enunciados siguientes:

a est en relacin con b, escrito a R b

a no est en relacin con b, escrito a R b

Una relacin en A es una relacin de un conjunto A al mismo conjunto A

Ejemplo 1
La relacin > definida en un conjunto de nmeros es un ejemplo tpico,
puesto que para cualquier par ordenado (a,b) se tiene que:

a>b o bien, a>b

Ejemplo 2
En el conjunto de todas las rectas del plano podemos establecer las
siguientes relaciones:

es perpendicular a
es paralela a

Quedando establecido que dos rectas cualesquiera pueden o no ser

perpendiculares o paralelas.

3.2 RELACIONES COMO CONJUNTOS DE PARES

ORDENADOS 1
Una relacin R de un conjunto A a un conjunto B define unvocamente un
subconjunto R* de A x B como sigue:

R* = {(a,b): a est en relacin con b } = { (a,b) : a R b }

1 Seymour Lipschutz, MATEMTICAS FINITAS, Pag. 58 Edit. SCHAUM 1972

42 LGEBRA I

Por tanto podemos indicar que: una relacin R de A a B es un subconjunto

del conjunto producto A x B

Ejemplo 3
Definamos una relacin del conjunto A = { a, b, c, d } al conjunto
B = { x, y, z } definida como:

R = { (a,x), (a,y), (a,z), (b,y), (b,z), (c,y), (d,z) }

Se observa que:
a R x, a R y, a R z, b R y, b R z, c R y, d R z mientras que : b R x,
c R x, c R z, d R x, d R y

3.3 RELACIN IDNTICA

Una relacin de un conjunto A sobre si mismo se denomina relacin
idntica y se define como:

A = { (a,a) : a A }

La relacin idntica es tambin llamada diagonal en virtud de su posicin

en un diagrama de coordenadas de A x A

3.4 RELACIN INVERSA R-1

Si se tiene una relacin R de un conjunto A a un conjunto B, la relacin
inversa R-1 se aplica del conjunto B al A
1
R (b, a) : (a, b) R
Ejemplo 4
Sea el conjunto A = {a,b,c} en el cual se define la relacin:
R (a, b),(a, c),(b, c)
La relacin inversa sera:
1
R (b, a),(c, a),(c, b)

3.5 RELACIN REFLEXIVA

Una relacin es reflexiva si a R a es decir; (a,a) R, para todo a A
 RELACIONES Y FUNCIONES 43

Ejemplo 5
En el conjunto de todas las rectas del plano sean las relaciones: es
perpendicular a y es paralela a. La primera no es una relacin
reflexiva, pues una recta no es perpendicular a si misma, en cambio la
segunda si lo es, ya que toda recta se puede considerar paralela a si
misma.
En el conjunto de los nmeros reales las relaciones es mayor que y es
menor que no son reflexivas puesto que un numero no se considera
mayor ni menor a si mismo, en cambio las relaciones es mayor o igual
que y es menor o igual que, si son reflexivas.
En el conjunto de todos los tringulos del plano la relacin es semejante
a, es reflexiva pues, todo tringulo es semejante a si mismo.

3.6 RELACIN SIMTRICA

Una relacin se dice simtrica si cuando a R b entonces b R a, es decir
si (a,b) R entonces (b,a) R

Ejemplo 6
En el conjunto de todas las rectas del plano sean las relaciones: es
perpendicular a y es paralela a. La primera es una relacin simtrica,
pues si una recta a es perpendicular a una recta b, entonces recta b es
perpendicular a una recta a, la segunda tambin lo es.
En el conjunto de los nmeros reales las relaciones es mayor que y es
menor que no son simtricas, las relaciones es mayor o igual que y es
menor o igual que, tampoco son simtricas aunque la relacin se cumpla
cuando los nmeros son iguales.
En el conjunto de todos los tringulos del plano la relacin es semejante
a, es simtrica.

3.7 RELACIN TRANSITIVA

Una relacin es transitiva si a R b y b R c entonces a R c

Ejemplo 7
En el conjunto de todas las rectas del plano sean las relaciones: es
perpendicular a y es paralela a. La primera no es una relacin
transitiva, pues si una recta es perpendicular a una segunda y esta es
44 LGEBRA I

perpendicular a una tercera, la primera y tercera son paralelas, en cambio

la relacin de paralelismo es claramente transitiva
En el conjunto de los nmeros reales las relaciones es mayor que y es
menor que son transitivas y las relaciones es mayor o igual que y es
menor o igual que, tambin lo son.
En el conjunto de todos los tringulos del plano la relacin es semejante
a, es transitiva.

3.8 RELACIN DE EQUIVALENCIA

Una relacin es de equivalencia si es a la vez, reflexiva, simtrica y
transitiva.

Ejemplo 8
En el conjunto de todas las rectas del plano sean las relaciones: es
perpendicular a y es paralela a. La primera no es una relacin de
equivalencia por que no es reflexiva ni transitiva, en cambio la relacin
de paralelismo si es una relacin de equivalencia.
En el conjunto de los nmeros reales las relaciones es mayor que, es
menor que, es mayor o igual que y es menor o igual que, no son
relaciones de equivalencia
En el conjunto de todos los tringulos del plano la relacin es semejante
a, es una relacin de equivalencia.

3.9 PARTICIN
Una particin de un conjunto A es una subdivisin del mismo en varios
conjuntos disjuntos tales que su unin es el mismo conjunto y su
interseccin es el conjunto vaco.

Si A es el conjunto y A1, A2, A3, A4,.. An, son los subconjuntos

disjuntos de la particin, entonces
A1 A2 A3 A4 ......... An A
A1 A2 A3 A4 ......... An
Ejemplo 9
Determinar cuales de los siguientes conjuntos constituyen una particin
del conjunto de los nmeros naturales N

A = {x / x es un dgito}
 RELACIONES Y FUNCIONES 45

B = {x / x > 0 y x es par}
C = {x / x=2a+1; a N}
D = {1}
E = {x / x es impar}

El conjunto B representa a todos los pares positivos, mientras que el

conjunto C representa a todos los impares positivos, excepto el uno,
como el conjunto D contiene al uno estos tres conjuntos constituyen una
particin del conjunto de los nmeros naturales, es decir:

N = {B, C, D}
B C D
B C D N

3.10 FUNCIONES

Supongamos que a cada elemento de un conjunto A se le asigna un

nico elemento de un conjunto B; la coleccin f de tales asignaciones
se llama funcin de A en B y se escribe:

f
f :A B o A B

E elemento nico de B asignado a a A por f, se representa por f(a),

y se llama la imagen de a bajo f o el valor de f en a. El dominio de f
es A, el codominio B. El recorrido de f, representado por f[A], es el
conjunto de imgenes.

f es una funcin o aplicacin de A en B si y slo si f es una relacin

entre A y B tal que todo elemento de A tiene un nico correspondiente
en B.

f es una funcin o aplicacin de A en B si y slo si f es un

subconjunto de A x B que satisface las siguientes condiciones de
existencia y unicidad.
46 LGEBRA I

i) a A, b B /(a, b) f2
ii) (a, b) f (a, c) f b c

Ejemplo 10

Sea la funcin f que asigna elementos del conjunto A sobre el conjunto

B de modo que:
A B
f
a
1
b
2 c
d
3
e
4 f

La figura muestra una funcin f que asigna elementos del conjunto A

sobre el conjunto B, de modo que:

f(1) = c ; f(2) = e ; f(3) = a ; f(4) = f

El dominio de la funcin est constituido por todos los elementos del

conjunto A, El codominio por todos los elementos del conjunto B,
mientras que el recorrido esta formado por todos los elementos de B
que son imagen de algn elemento de A, esto es, { a,c,e,f }, los
elementos b, d no forman parte del recorrido.

Ejemplo 11
Sea la funcin f : R R definida en el conjunto de los nmeros reales
sobre el mismo conjunto y sea la funcin que asigna a cada elemento del
primer conjunto su cuadrado mas uno, es decir, f(x) = x2 + 1

El dominio y el codominio de la funcin es R mientras que el recorrido

est formado por los nmeros reales positivos y el cero.

2 ROJO ARMANDO, lgebra I, Edit El Ateneo, 1975 Pag. 103

 RELACIONES Y FUNCIONES 47

3.11 GRFICA DE UNA FUNCIN3

A cada funcin f : A B corresponde la relacin en A x B dada por

{ ( a, f(a) ) : a A }

A este conjunto lo llamamos la grfica de f

Ejemplo 12
Sea una funcin definida en el conjunto de los nmeros reales sobre el
mismo conjunto ( en el futuro en R2 ) de tal manera que:

f(x) = - x +2

Algunos de los pares ordenados que corresponden a la grfica son (0,2) y

(2,0), como la ecuacin representa una recta, son suficientes estos dos
pares ordenados para obtener la grfica correspondiente:

(0,2)

(2,0)

Ejemplo 13
En R2 sea la funcin f(x) = x2 - x 6 Dibujar la grfica de la funcin

3 Seymour Lipschutz, MATEMTICAS FINITAS. Edit. Schaum 1966 Pag. 67

48 LGEBRA I

La funcin corresponde a una parbola que abre hacia arriba y que corta a
los ejes cartesianos en (0, -6) y (x - 3)(x + 2) = 0 (3, 0) y (-2,0)

Ejemplo 14
Sea A ={-3, -2, -1, 0, 1, 2} y sea una funcin definida en el conjunto A
sobre el conjunto de los nmeros naturales f: A N tal que:

f ( x) x 2

Entonces la funcin estar compuesta por el siguiente conjunto de pares

ordenados
f = { (-3, 5),(-2, 0),(-1, 3),(0, 2),(1, 3),(2, 2)}
cuya representacin grafica es la siguiente:
 RELACIONES Y FUNCIONES 49

3.12 FUNCIONES INYECTIVAS, SOBREYECTIVAS Y

BIYECTIVAS

Una funcin es inyectiva (uno a uno), si elementos diferentes del dominio

tienen imgenes distintas.

Una funcin es sobreyectiva (o simplemente sobre), si todos los

elementos del segundo conjunto son imagen de algn elemento del
dominio, en este caso el recorrido resulta igual que el codominio.

Una funcin es biyectiva si es a la vez inyectiva y sobreyectiva.

Ejemplo 15

Dadas las funciones f, g, h determine cuales son: inyectivas,

sobreyectivas y biyectivas.
50 LGEBRA I

A B C D
f g h
a
1 x p
b
2 c y q
d
3 z r
e
4 i u s

La funcin f es una funcin inyectiva puesto que los elementos del

conjunto A se corresponden con los elementos del conjunto B en una
relacin uno a uno, no es sobreyectiva por que los elementos a, i no son
imagen de ningn elemento del conjunto A, por lo tanto, tampoco es una
funcin biyectiva.

La funcin g no es inyectiva, pero si es sobreyectiva ya que el

codominio es igual al recorrido de la funcin, por lo tanto, no es biyectiva

La funcin h es claramente, una funcin inyectiva, sobreyectiva y

biyectiva

La funcin del ejemplo 12 es tambin una funcin, inyectiva,

sobreyectiva y biyectiva.

Ejemplo 16
Sea la funcin f ( x ) e x definida en el conjunto de los nmeros reales
sobre si mismo. Determinar si la funcin es: a) Inyectiva b) Sobreyectiva
c) Biyectiva

a) Sean dos elementos x1 y x2 R, tales que f(x1) = f(x2) entonces:

x1 x2
e e x1 x2
x
Por tanto, f ( x ) e en inyectiva.
 RELACIONES Y FUNCIONES 51

b) Si y e x si y slo si x ln y , puesto que los nmeros negativos

y el cero no tienen definido el logaritmo, la funcin no es sobreyectiva

c) Al no ser sobreyectiva no puede ser biyectiva.

3.13 COMPOSICIN DE FUNCIONES

Considere las siguientes funciones:
A B C
f g
1
a x
2
b 3 y
4
c z
5
d 6 u

Si a A; entonces su imagen f(a) est en B, el dominio de g. Por

tanto, podemos encontrar la imagen de f(a) bajo la funcin g , es decir,
g(f(a)). La funcin de A en C que asigna a todo elemento del conjunto
A un elemento g(f(a)) C se llama la composicin de f y g y se
representa por g f

(g f)(a) = g(f(a))

As tenemos que

(g f)(a) = g(f(a)) = g(4) = y

(g f)(b) = g(f(b)) = g(5) = z
(g f)(c) = g(f(c)) = g(2) = y
(g f)(d) = g(f(d)) = g(3) = z

Ejemplo 17
En el conjunto de los nmeros reales R sean las funciones:
52 LGEBRA I

f(x) = x2 - 2x + 1 ; g(x) = cos(x) x ; h(x)= x3 1

Hallar a) f g b) g h c) h f d) h (g f) e) f (h g)

a) f g
f g = f (g(x)) = f (cos(x) x)= (cos(x) x)2-2(cos(x) x)+1

b) g h
g h = g (h(x)) = g (x3 -1) = cos(x3-1)- x3 + 1

c) h f
h f = h (f(x)) = h (x2 -2x +1) = (x2 -2x +1)3 + 1

d) h (g f)
(g f) = g (f(x)) = g (x2 - 2x + 1) = cos(x2 - 2x + 1) - x2 + 2x - 1
Sea: (g f) = u(x)= cos(x2 - 2x + 1) - x2 + 2x - 1
h u = h (u(x))= h(cos(x2 - 2x + 1) - x2 + 2x 1)
h (g f)= (cos(x2 - 2x + 1) - x2 + 2x 1)3 - 1

e) f (h g)
(h g) = h (g(x)) = h (cos(x) x)=(cos(x) x)3 1= u(x)
f u = f (u(x)) = f [(cos(x) x)3 1]
f (h g) = [(cos(x) x)3 1]2 - 2[(cos(x) x)3 1] + 1

3.14 FUNCIONES INVERSAS

La funcin f : AB es una relacin compuesta de pares ordenados de la
forma (a,b) la relacin inversa f -1:BA con pares ordenados (b,a)
puede no ser una funcin, para que la funcin inversa exista, es necesario
que la funcin directa sea biyectiva.

Ejemplo 18
Sea la funcin
 RELACIONES Y FUNCIONES 53

A B
f
x
a
y
b
z
c
w

La relacin inversa f -1 no es una funcin por que el elemento x no tiene

imagen

B A
-1
f
x
a
y
b
z
c
w
54 LGEBRA I