Está en la página 1de 10

Relaciones y Funciones [ …Primera parte ]

Nociones preliminares

Producto cartesiano
Sean A y B conjuntos no vacíos de ciertos universos 𝒰 y 𝒰’ respectivamente. Se define el
producto cartesiano entre A y B como:

A×B = {(a,b) ∣ a∈A ∧ b∈B}

donde cada (a,b) es un par ordenado y A×B se lee ‘A cruz B’ o ‘producto cartesiano de A por B’

Ejemplos
Sean A = {2,5,9} y B = {a,d,p,t}. Calcular A×B, B×A, A×A y B×B.

A×B = {(2,a), (2,d), (2,p), (2,t), (5,a), (5,d), (5,p), (5,t), (9,a), (9,d), (9,p), (9,t)}

n(A×B) = 12

B×A = {(a,2), (a,5), (a,9), (d,2), (d,5), (d,9), (p,2), (p,5), (p,9), (t,2), (t,5), (t,9)}

n(B×A) = 12

A×B ≠ B×A

A×A = {(2,2), (2,5), (2,9), (5,2), (5,5), (5,9), (9,2), (9,5), (9,9)}

B×B = {(a,a), (a,d), (a,p), (a,t), (d,a), (d,d), (d,p), (d,t), (p,a), (p,d), (p,p), (p,t), (t,a), (t,d), (t,p), (t,t)}

Remarcas
• El producto cartesiano no es conmutativo.

• n(A×B) = n(B×A) = n(A)n(B)

Sean A = {x∈ℝ ∣ -2 < x < 6} y B = {x∈ℝ ∣ 1 < x ≤ 2}. Calcular A×B, B×A, A×A y B×B.

A×B = {(a,b) ∣ -2 < a < 6 ∧ 1 < b ≤ 2}

B×A = {(x,y) ∣ 1 < x ≤ 2 ∧ -2 < y < 6}

A×A = {(x,y) ∣ -2 < x < 6 ∧ -2 < y < 6}

B×B = {(x,y) ∣ 1 < x ≤ 2 ∧ 1 < y ≤ 2}

Noción formal de relación

Ilustración
Supongamos que existe una relación comercial R entre un conjunto de proveedores de insumos
P = {p1, p2, p3, p4} y otro conjunto de fotocopiadoras F = {f1, f2, f3}, de manera que p1 tiene una
relación comercial con f1 y f3, así mismo p2 con f2 y f3, la p3 mantiene relación comercial solo
con f2 y p4 solo con f1.

Luego, se puede representar esta relación mediante el siguiente conjunto de pares ordenados:

R = {(p1,f1), (p1,f3), (p2,f2), (p2,f3), (p3,f2), (p4,f1)}

Notar que P×F = {(p1,f1), (p1,f2), (p1,f3), (p2,f1), (p2,f2), (p2,f3), (p3,f1), (p3,f2), (p3,f3), (p4,f1),
(p4,f2), (p4,f3)}.

Por lo tanto, R⊆P×F.

Ergo, si se construyese cualquier otra relación comercial R’ entre los elementos de P y F, enton-
ces ocurrirá que R’⊆P×F.

Definición

Sean A y B conjuntos no vacíos de ciertos universos 𝒰 y 𝒰’ respectivamente. Una relación entre


los elementos de A y B es cualquier subconjunto no vacío de A×B. Al conjunto A se denomina
conjunto de partida y al B se denomina conjunto de llegada de la relación R. Nota: (x,y)∈R xRy.

Ejemplos

• Sea la relación de orden R = {(a,b)∈A×B ∣ ‘a es menor que b’} donde A = {-3, 2, 17, 21, 55} y B =
{2, 15, 43}. Luego, R = {(-3,2), (17,43), (2,15), (2,43), (-3,15), (-3,43), (21,43)} ⊆ A×B. Notar que a
pesar de que (17,2)∈A×B ocurre que (17,2)∉R porque ’17 no es menor que 2’.

1 Darlong Taylor Terrazas


• Sea F una familia de personas, luego se define la relación filial R = {(x,y)∈F×F ∣ ‘x es hijo o hija
de y’}. Notar que mi padre y su padre, es decir mi abuelo, tienen esta relación. De hecho, ‘mi
padre es hijo de mi abuelo’ es decir (mi padre, mi abuelo)∈R. Otros ejemplos (mi hermana, mi
madre)∈R, (mi prima, su madre)∈R, (yo, mi abuelo)∉R, (yo, mi padre)∈R.

• Sea 𝒜 una familia de conjuntos numéricos, se define la relación de inclusión entre estos
conjuntos como R = {(A,B)∈𝒜×𝒜 ∣ A⊆B}. Notar que (ℕ,ℤ)∈R pues ℕ⊆ℤ y que (ℝ,ℤ)∉R pues
ℝ⊈ℤ. También se observa que (ℕ,ℤ)∈R, (ℕ,ℕ)∈R, (ℕ,ℚ)∈R, (ℕ,ℝ)∈R, (ℤ,ℤ)∈R, (ℤ,ℚ)∈R, (ℤ,ℝ)∈R,
(ℚ,ℝ)∈R, (ℚ,ℚ)∈R, etc. ¿Será cierto que (∅,ℤ)∈R? Es falso, porque a pesar de que ∅⊆ℤ, no es
cierto que ∅∈𝒜.

Relación inversa
Sean A y B conjuntos no vacíos de ciertos universos 𝒰 y 𝒰’ respectivamente. Si se tiene una
relación R⊆A×B. Se define la relación inversa de R como el conjunto R-1⊆B×A definido por:

R-1 = {(y,x)∈B×A ∣ (x,y)∈R}

Ejemplos
Sea R = {(2,-6), (3,7), (2,4), (-3,-6), (3,3)} una relación arbitraria, luego R-1= {(-6,2), (7,3), (4,2),
(-6,-3), (3,3)}. Notar que (-6,-3)∈ R-1porque (-3,-6)∈R.

Sea la relación R = {(x,y)∈ℕ×ℕ ∣ ‘2x + 3y = 19’}. Hallemos la relación inversa de R.

Notar que (5,3)∈R porque 2(5) + 3(3) = 19 y (1,2)∉R porque 2(1) + 3(2) = 8 ≠ 19.

R = {(5,3), (2,5), (8,1)}. Por tanto R-1 = {(3,5), (5,2), (1,8)}.

Sea la relación R = {(x,y)∈ℝ×ℝ ∣ ‘x2 + y2 = 4’}. Notar que (2,0)∈R y (0,-2)∈R, (√3,1)∈R y (1,√3)∈R,
(√2,-√2)∈R y (-√2,√2)∈R.

De hecho R-1 = {(y,x)∈ℝ×ℝ ∣ ‘x2 + y2 = 4’} = {(y,x)∈ℝ×ℝ ∣ ‘y2 + x2 = 4’} = {(x,y)∈ℝ×ℝ ∣ ‘x2 + y2 = 4’} =
R. Acabamos de mostrar que R-1 = R.

Tipos de relación en un mismo conjunto


Sea A un conjunto arbitrario no vacío y sea la relación R⊆A×A= A2. Convenio: A2 = A×A.

Relaciones simétricas
La relación R⊆A2 es simétrica si y solo si [(x,y)∈R (y,x)∈R].

Ejemplos
Sea A = {1,2,3,4} y se define la relación R = {(2,3), (3,3), (1,1), (2,4), (3,2), (4,1), (1,4)}⊆A2. Luego R
no es una relación simétrica porque ‘(2,4)∈R (4,2)∈R’ es falsa.

Sea la relación R = {(x,y)∈ℝ2 ∣ ‘x2 + y2 = 4’}. Luego, R es simétrica.

Remarca: Notar que en toda relación simétrica se cumple R = R-1.

Sea F una familia de personas. Se define la relación filial R = {(x,y)∈F2 ∣ ‘x es hijo o hija de y’}. Por
tanto, R no es simétrica, en efecto ‘(yo,mi padre)∈R (mi padre, yo)∈R’ es falso.

Sea F una familia de personas. Se define la relación de hermandad R = {(x,y)∈F2 ∣ ‘x es hermano o


hermana de y’}. Luego, R es simétrica, pues si ‘x es hermano o hermana de y’ entonces ‘y es
hermano o hermana de x’.

Sea la relación R = {(x,y)∈ℕ2 ∣ ‘x es divisible por y’}. Luego, R no es simétrica porque ‘(21,7)∈R
(7,21)∈R’ es falsa.

2 Darlong Taylor Terrazas


Sea 𝒜 una familia de conjuntos y sea la relación de inclusión entre conjuntos R = {(A,B)∈𝒜2 ∣
A⊆B}. Por consiguiente, R no es simétrica porque ‘(ℕ,ℤ)∈R (ℤ,ℕ)∈R’ es falsa.

Relaciones reflexivas
La relación R⊆A2 es reflexiva si y solo si [x∈A (x,x)∈R].

Ejemplos
Sea A = {1,2,3,4} y se define la relación R = {(2,3), (3,3), (1,1), (2,4), (3,2), (4,1), (1,4), (2,2), (4,4)}.

‘1∈A (1,1)∈R’ es verdadera, ‘2∈A (2,2)∈R’ es verdad, ‘3∈A (3,3)∈R’ es verdad, ‘4∈A
(4,4)∈R’ es verdad. Por lo tanto, R es reflexiva.

Sea F una familia de personas. Se define la relación de hermandad R = {(x,y)∈F2 ∣ ‘x es hermano o


hermana de y’}. ‘x∈F (x,x)∈R ‘x∈F x es hermano o hermana de x’ es falsa. Luego R no es
reflexiva.

Sea la relación R = {(x,y)∈ℕ2 ∣ ‘x es divisible por y’}. ‘x∈ℕ x es divisible por x’ es verdadera
porque todo número natural es divisible por sí mismo. En consecuencia, la relación de
divisibilidad en ℕ es reflexiva.

Sea 𝒜 una familia de conjuntos y sea la relación de inclusión entre conjuntos R = {(A,B)∈𝒜2 ∣
A⊆B}. ‘A∈𝒜 (A,A)∈R’ ‘A∈𝒜 A⊆A’ es verdadera. Por lo tanto, R es reflexiva.

Relaciones antisimétricas
La relación R⊆A2 es antisimétrica si y solo si {[(x,y)∈R ∧ (y,x)∈R] x=y}.

Ejemplos
Sea A = {1,2,3,4} y se define la relación R = {(2,3), (3,3), (1,1), (2,4), (3,2), (4,1), (1,4)}. Se observa
que ‘[(2,3)∈R ∧ (3,2)∈R] 2=3’ es falsa, luego R es no es antisimétrica.

Sea la relación R = {(x,y)∈ℕ2 ∣ ‘x es divisible por y’}. Se observa que '[(21,7)∈R ∧ (7,21)∈R] 21=7’
es verdadera, de hecho ‘[(x,y)∈R ∧ (y,x)∈R] x=y’ es verdadera incluso cuando x≠y. Ergo, R es
antisimétrica.

Sea F una familia de personas. Se define la relación conyugal R = {(x,y)∈F2 ∣ ‘x es cónyuge de y’}.
‘[(x,y)∈R ∧ (y,x)∈R] x=y’ es falsa. Por tanto R no es antisimétrica.

Sea 𝒜 una familia de conjuntos y sea la relación de inclusión entre conjuntos R = {(A,B)∈𝒜2 ∣
A⊆B}. Se observa que ‘[(A,B)∈R ∧ (B,A)∈R] A=B’ es verdadera porque ‘(A⊆B ∧ B⊆A) A=B’.
Por tanto, R es antisimétrica.

Relaciones transitivas
La relación R⊆A2 es transitiva si y solo si {[(x,y)∈R ∧ (y,z)∈R] (x,z)∈R}.

Ejemplos
Sea A = {1,2,3,4} y se define la relación R = {(2,3), (3,3), (1,1), (2,4), (3,2), (4,1), (1,4)}. R no es
transitiva porque ‘[(4,1)∈R ∧ (1,4)∈R] (4,4)∈R’ es falsa.

Sea F una familia de personas. Se define la relación de hermandad R = {(x,y)∈F2 ∣ ‘x es hermano o


hermana de y’}. Veamos la siguiente interpretación: ’[(x,y)∈R ∧ (y,x)∈R] (x,x)∈R’ es falsa porque
‘(x es herman@ de y ∧ y es herman@ de x) x es herman@ de x’. Luego, la relación R no es
transitiva.

3 Darlong Taylor Terrazas


Sea 𝒜 una familia de conjuntos y sea la relación de inclusión entre conjuntos R = {(A,B)∈𝒜2 ∣
A⊆B}. R es transitiva porque ‘[(A,B)∈R ∧ (B,C)∈R] (A,C)∈R’ es verdadera porque ‘[A⊆B ∧ B⊆C]
A⊆C’.

Relaciones de equivalencia
La relación R⊆A2 es de equivalencia si y solo si R es reflexiva, simétrica y transitiva.

Ejemplos
Sea la relación de identidad R = {(x,y)∈A2 ∣ x=y}. Luego R es una relación de equivalencia porque
‘x∈A (x,x)∈R’ es decir que R es reflexiva. Luego R es transitiva porque ‘[x=y ∧ y=z] x=z’.
Finalmente R es simétrica porque ‘x=y y=x’.

Sea la relación R = {(x,y)∈ℕ2 ∣ ‘x es divisible por y’}. A pesar de que R es reflexiva y transitiva
(¡verificar la última aseveración!), R no es simétrica. Por lo tanto, R no es una relación de
equivalencia.

Sea R = {(x,y)∈ℤ2 ∣ ‘x-y es divisible por 7’}. ‘Si x∈ℤ, entonces x-x=0 es divisible por 7’ es siempre
verdadera, por tanto R es reflexiva. ‘Si (x,y)∈R, es decir si x-y = 7k para algún k∈ℤ, entonces y-x =
7(-k) para algún -k∈ℤ, es decir (y,x)∈R’ es verdadera, por lo tanto R es simétrica. Finalmente ‘si
(x,y)∈R ∧ (y,z)∈R, es decir si x-y = 7m y y-z = 7n para algunos m y n enteros, entonces x-z=7(m+n)
para algún m+n entero, es decir (x,z)∈R’ es verdadera, en consecuencia R es transitiva. Ya que
mostramos que R es reflexiva, simétrica y transitiva, se establece que R es una relación de
equivalencia.


4 Darlong Taylor Terrazas


Relaciones y Funciones [ …Segunda parte ]

Noción formal de función


Sean A y B conjuntos no vacíos de ciertos universos 𝒰 y 𝒰’ respectivamente. Una relación
𝑓⊆A×B es una función 𝑓: A⟶B si cada elemento del conjunto de partida x∈A, que está vinculado
con algún elemento de del conjunto de llegada B, se corresponde con un único elemento y∈B,
denominado imagen de x y simbolizado por y=𝑓(x).

Nota: La expresión ‘𝑓(x) se lee 𝑓 de x’. El conjunto A se denomina conjunto de partida de la


función y análogamente B se denomina conjunto de llegada de la función.

Dominio y codominio

Sea 𝑓: A⟶B una función arbitraria, luego se definen lo siguientes subconjuntos:

Dominio de 𝑓: dom(𝑓) = {x∈A ∣ ‘x posee imagen en 𝑓’} ⊆ A

Codominio de 𝑓: cod(𝑓) = {y∈B ∣ ‘existe al menos un x0∈A de modo que 𝑓(x0) = y} ⊆ B

Notas: El codominio también se denomina conjunto imagen o recorrido. El codominio es un


subconjunto de B que almacena a todos los elementos y∈B que tienen al menos una preimagen
x0∈A, es decir (x0,y)∈𝑓.

Ejemplos

Establecer si las siguientes relaciones constituyen funciones. En caso afirmativo, describir su


dominio y recorrido.

Sean A = {i, o, u, e, a} y B = {3, 1/3, -3, ln3, √3, -1/3}, se define la relación 𝑓: A⟶B como

𝑓 = {(o,1/3), (u,ln3), (a,3), (i,-1/3)}. Luego, 𝑓 es una función. De hecho, 𝑓(a) = 3, 𝑓(o) = 1/3, 𝑓(i) =
-1/3 y 𝑓(u) = ln3. Notar que dom(𝑓) = {o, a, i, u} = A - {e} y cod(𝑓) = {3, 1/3, ln3, -1/3} = B - {-3, √3}.

Sean A = {a, o, u, e, i} y B = {🚜 ,🚑 ,🏍 ,🚁 ,⛴ } se define la relación 𝑓: A⟶B como

𝑓 = {(i,🏍 ), (e,🚜 ), (o,🚑 ), (i,🚁 ), (u,🚑 ), (a,⛴ )}. Esta relación 𝑓 no es una función porque existe
i∈A que está en correspondencia con más de un elemento del conjunto de llegada B. Se observa
que en efecto (i,🏍 )∈𝑓 y (i,🚁 )∈𝑓.

Remarca: Una relación 𝑓: A⟶B es una función si y solo si no existe la posibilidad de que un x∈A
se vincule con más de un elemento del conjunto B, es decir que si (x,m)∈𝑓 y (x,n)∈𝑓, entonces
m=n. En consecuencia, 𝑓: A⟶B es una función si y solo si existen (x,m)∈𝑓 y (x,n)∈𝑓 tales que
m≠n.

Sean A = {🍎 ,🍊 ,🍒 ,🥥 ,🍌 ,🍇 } y B = {⚽ ,🎱 ,🏀 ,🎾 ,⚾ }, se define la relación 𝑓: A⟶B tal que


𝑓 = {(🥥 ,🏀 ), (🍒 ,⚽ ), (🍌 ,🏀 ), (🍎 ,🏀 ), (🍇 ,🎾 )}. Luego 𝑓 es una función pues cada elemento
del conjunto A que está vinculado, se corresponde con un único elemento del conjunto B. Es
más, 𝑓(🥥 ) = 🏀 , 𝑓(🍒 ) = ⚽ , 𝑓(🍌 ) = 🏀 , 𝑓(🍎 ) = 🏀 y 𝑓(🍇 ) = 🎾 . Notar que dom(𝑓) = A - {🍊 }
y cod(𝑓) = B - {🎱 ,⚾ }.

Sea 𝑓: ℕ⟶ℚ una relación definida a través de la regla de correspondencia 𝑓(p) = (2p-3)/(p-2).

Notar que el 6∈ℕ se está correspondiendo con el racional 9/4, porque 𝑓(6) = [(2)(6)-3]/(6-2) = 9/4,
es decir (6,9/4)∈𝑓. Notar también que 𝑓(2) no existe. Ahora, la relación 𝑓 es una función debido a

5 Darlong Taylor Terrazas


la unicidad que existe en el resultado de las operaciones binarias. Luego, dom(𝑓) = ℕ - {2}. Para
describir el codominio de 𝑓 sea q∈cod(𝑓)⊆ℚ, es decir existe un p∈ℕ tal que 𝑓(p)=q. En efecto:

𝑓(p)=q (2p-3)/(p-2) = q (2p-3) = q(p-2) 2p-qp = -2q+3 (2-q)p = 3-2q.

Por tanto, p = (3-2q)/(2-q). Es decir, p existe si y solo si q≠2 y 3-2q es número natural múltiplo
entero de 2-q. En definitiva, cod(𝑓) = {q∈ℚ ∣ ‘q≠2 ∧ (3-2q)/(2-q)∈ℕ’}.

Tipos de funciones

Funciones inyectivas
Una función 𝑓: A⟶B es inyectiva si y solo si ‘𝑓(m)=𝑓(n) m=n’.

Nota: Se desprende de la definición que la función 𝑓: A⟶B es inyectiva si no ocurre que más
de un elemento del dominio se correspondan con la misma imagen, por esto las funciones
inyectivas se denominan también funciones uno a uno. Por tanto, una función 𝑓: A⟶B no es
inyectiva si ‘𝑓(m)=𝑓(n) ∧ m≠n’ o si se prefiere si ocurre que existen pares ordenados (m,p)∈𝑓 y
(n,p)∈𝑓 tal que m≠n.

Ejemplos
La función 𝑓: A⟶B definida por 𝑓 = {(i,🏍 ), (e,🚜 ), (o,🚑 ), (a,🚁 ), (u,🚑 )}, donde A = {a, o, u, e, i}
y B = {🚜 , 🚑 , 🏍 , 🚁 , ⛴ }, no es inyectiva porque ‘𝑓(o)=𝑓(u)=🚑 o=u’ es una proposición

falsa o también porque existen dos pares ordenados de 𝑓 con el mismo segundo componente y
diferente primer componente: (o,🚑 )∈𝑓 y (u,🚑 )∈𝑓.

Sean A = {i, o, u, e, a} y B = {3, 1/3, -3, ln3, √(3), -1/3}, luego la función 𝑓: A⟶B definida como

𝑓 = {(o,1/3), (u,ln3), (a,3), (i,-1/3)} es inyectiva porque la correspondencia es uno a uno, es decir no
existen dos pares ordenados de 𝑓 con el mismo segundo componente y diferente primer
componente.

Sea 𝑓: ℝ⟶ℝ la función polinomial cuadrática definida por 𝑓(x) = x2 - 6x + 13. Veamos si 𝑓 es
inyectiva.

𝑓(m)=𝑓(n) m2-6m+13 = n2-6n+13

m2-n2-6(m-n) = 0
(m-n)(m+n)-6(m-n) = 0

(m-n)(m+n-6) = 0

‘m-n = 0’ ∨ ‘m+n-6 = 0’
‘m = n’ ∨ ‘m = 6-n’

Luego, 𝑓 no es inyectiva porque no ocurre necesariamente que m=n. En efecto, la implicación


‘𝑓(1)=𝑓(5)=8 1=5’ es falsa.

Sea b un real estrictamente positivo tal que b≠1. Se define la función exponencial 𝑓: ℝ⟶ℝ+
mediante la regla de correspondencia 𝑓(x) = bx. ¿Es la función 𝑓 inyectiva?

6 Darlong Taylor Terrazas


𝑓(m)=𝑓(n) bm = bn

bm ・b-n = bn・b-n pues b≠0

bm-n = 1= b0
m-n = logb1 = 0

m=n

Por lo tanto, 𝑓 es una función inyectiva.

Funciones sobreyectivas
Una función 𝑓: A⟶B es sobreyectiva o suryectiva si y solo si cod(𝑓) = B.

Nota: En toda función sobreyectiva cada uno de los elementos del conjunto de llegada tiene al
menos una preimagen.

Ejemplos
La función 𝑓: A⟶B definida por 𝑓 = {(i,🏍 ), (e,🚜 ), (o,🚑 ), (a,🚁 ), (u,🚑 )}, donde A = {a, o, u, e, i}
y B = {🚜 , 🚑 , 🏍 , 🚁 , ⛴ }. cod(𝑓) = B - {⛴ } ≠ B. Por lo tanto, 𝑓 no es sobreyectiva.

Sean A = {i, o, u, e, a} y B = {3, 1/3, ln3, -1/3}, luego la función 𝑓: A⟶B definida como

𝑓 = {(o,1/3), (u,ln3), (a,3), (i,-1/3)}. cod(𝑓) = B, luego 𝑓 es sobreyectiva.

Sea 𝑓: ℤ⟶ℤ la función polinomial cuadrática definida por 𝑓(x) = x2 - 6x + 13. Observar que

𝑓(x) = x2 - 6x + 9 + 13 - 9 = (x-3)2 + 4

Luego, 𝑓(x) ≥ 4. Por lo tanto, el cod(𝑓) = {y∈ℤ ∣ ‘y ≥ 4’} ≠ ℤ, es decir que 𝑓 no es sobreyectiva.

Sea b un real estrictamente positivo tal que b≠1. Se define la función exponencial 𝑓: ℝ⟶ℝ+
mediante la regla de correspondencia 𝑓(x) = bx. Sea q∈cod(𝑓)⊆ℝ+, es decir existe un p∈ℝ tal que:
𝑓(p)=q bp=q p= logbq ∈ℝ. Por lo tanto, cod(𝑓) = ℝ+, es decir 𝑓 es sobreyectiva.

Funciones biyectivas
Una función 𝑓: A⟶B es biyectiva si y solo si es inyectiva y sobreyectiva.

La función 𝑓: A⟶B definida por 𝑓 = {(i,🏍 ), (e,🚜 ), (o,🚑 ), (a,🚁 ), (u,🚑 )}, donde A = {a, o, u, e, i}
y B = {🚜 , 🚑 , 🏍 , 🚁 , ⛴ } no es biyectiva porque 𝑓 no es sobreyectiva.

Sean A = {i, o, u, e, a} y B = {3, 1/3, ln3, -1/3}, luego la función 𝑓: A⟶B definida como

𝑓 = {(o,1/3), (u,ln3), (a,3), (i,-1/3)} es biyectiva porque es tanto sobreyectiva como inyectiva.

Sea 𝑓: ℤ⟶ℤ la función polinomial cuadrática definida por 𝑓(x) = x2 - 6x + 1. Luego, como 𝑓 no
es ni inyectiva ni sobreyectiva, se establece que 𝑓 no es biyectiva.

7 Darlong Taylor Terrazas


Sea b un real estrictamente positivo tal que b≠1. Se define la función exponencial 𝑓: ℝ⟶ℝ+
mediante la regla de correspondencia 𝑓(x) = bx. Luego, como ya mostramos, 𝑓 es tanto inyectiva
como sobreyectiva. Ergo, 𝑓 es biyectiva.

Operaciones binarias
Sean A, B y C conjuntos numéricos arbitrarios. Dadas las funciones 𝑓,𝑔: A⟶B, se definen las
operaciones binarias:

Operación binaria Definición

Adición (𝑓 ± 𝑔)(x) = 𝑓(x) ± 𝑔(x)

Multiplicación por una constante (k𝑓)(x) = k𝑓(x) siendo k una constante arbitraria apropiada

Multiplicación (𝑓𝑔)(x) = 𝑓(x)𝑔(x)

División (𝑓/𝑔)(x) = 𝑓(x)/𝑔(x) siendo 𝑔(x) ≠ 0 para todo x∈A

Sean ahora las funciones 𝑓: B⟶C y 𝑔: A⟶B, luego se define operación binaria:

Operación binaria Definición

Composición (𝑓◦𝑔)(x) = 𝑓[𝑔(x)]

Nota: La expresión 𝑓◦𝑔 se lee ‘𝑓 compuesta de 𝑔’.

Ejemplos
Sean 𝑓,𝑔: ℤ⟶ℚ funciones definidas por 𝑓(x) = x2 - x - 6 y 𝑔(x) = x + 2 respectivamente. Hallar
𝑓+𝑔, 𝑔+𝑓, 𝑓-𝑔, 𝑔-𝑓, -3𝑓, 𝑓𝑔, 𝑔𝑓, 𝑓/𝑔. 𝑔𝑓, 𝑓◦𝑔, 𝑔◦𝑓, 𝑓◦𝑓 y 𝑔◦𝑔.

(𝑓+𝑔)(x) = 𝑓(x) + 𝑔(x) = (x2 - x - 6) + (x + 2) = x2 - 4 = (x + 2) + (x2 - x - 6) = 𝑔(x) + 𝑓(x) = (𝑔+𝑓)(x).

(𝑓-𝑔)(x) = 𝑓(x) - 𝑔(x) = (x2 - x - 6) - (x + 2) = x2 - 2x - 8.

(𝑔-𝑓)(x) = 𝑔(x) - 𝑓(x) = (x + 2) - (x2 - x - 6) = -x2 + 2x + 8.

(-3𝑓)(x) = -3𝑓(x) = -3(x2 - x - 6) = -3x2 + 3x + 18.

(𝑓𝑔)(x) = 𝑓(x)𝑔(x) = (x2 - x - 6) (x + 2) = x(x2 - x - 6) + 2(x2 - x - 6) = x3 - x2 - 6x + 2x2 - 2x - 12

= x3 - 3x2 - 8x - 12 = (x + 2) (x2 - x - 6) = 𝑔(x)𝑓(x) = (𝑔𝑓)(x).

(𝑓/𝑔)(x) = 𝑓(x)/𝑔(x) = (x2 - x - 6)/ (x + 2) = (x - 3)(x +2)/(x+2) = x - 3 siempre que ‘x ≠ -2’.

(𝑔/𝑓)(x) = 𝑔(x)/𝑓(x) = (x + 2) / (x2 - x - 6) = (x+2) /[(x - 3)(x +2)] = 1/(x - 3) siempre que ‘x ≠ -2 ∧ x ≠
3’.

(𝑓◦𝑔)(x) = 𝑓[𝑔(x)] = [𝑔(x)]2 - 𝑔(x) - 6 = (x + 2)2 - (x + 2) - 6 = x2 + 4x + 4 - x - 2 - 6 = x2 + 3x + 2.

(𝑔◦𝑓)(x) = 𝑔[𝑓(x)] = 𝑓(x) + 2 = (x2 - x - 6) + 2 = x2 - x - 4.

¡Cuidado! Notar que 𝑓◦𝑔 ≠ 𝑔◦𝑓, es decir que la composición funcional no es conmutativa.

(𝑓◦𝑓)(x) = 𝑓[𝑓(x)] = [𝑓(x)]2 - 𝑓(x) - 6 = (x2 - x - 6)2 - (x2 - x - 6) - 6

= x4 + x2 + 36 - 2x3 - 12x2 + 12x - x2 + x + 6 - 6 = x4 - 2x3 - 12x2 + 13x + 36.

(𝑔◦𝑔)(x) = 𝑔[𝑔(x)] = 𝑔(x) + 2 = (x+2) + 2 = x + 4.

8 Darlong Taylor Terrazas


Función inversa
Sean A y B conjuntos no vacíos de ciertos universos 𝒰 y 𝒰’ respectivamente. Ya mostramos que
toda relación R⊆A×B admite una relación inversa R-1⊆B×A. Sin embargo, a pesar de que una
función 𝑓: A⟶B es una relación 𝑓⊆A×B no necesariamente su relación inversa sigue siendo una
función. A las funciones 𝑓: A⟶B, cuya relación inversa es también una función, se denominan
invertibles y se denotan por 𝑓 -1: B⟶A.

Ejemplos
La función 𝑓: A⟶B definida por 𝑓 = {(i,🏍 ), (e,🚜 ), (o,🚑 ), (a,🚁 ), (u,🚑 )}⊆A×B, donde A = {a, o,
u, e, i} y B = {🚜 , 🚑 , 🏍 , 🚁 , ⛴ }. Notar que 𝑓-1 = {(🏍 ,i), (🚜 ,e), (🚑 ,o), (🚁 ,a), (🚑 ,u)}⊆B×A,
pero 𝑓 -1 no es una función pues el elemento 🚑 ∈B está en correspondencia con más de un
elemento de A. Por lo tanto, la función 𝑓 no es invertible, es decir que la función 𝑓 -1: B⟶A no
existe.

Remarcas
• Una función 𝑓: A⟶B es invertible, es decir la función 𝑓 : B⟶A existe, siendo A y B son
-1

conjuntos no vacíos de ciertos universos 𝒰 y 𝒰’ respectivamente, cuando 𝑓 es tanto inyectiva


como sobreyectiva, es decir cuando 𝑓 es una función biyectiva.

• Notar que en toda función 𝑓: A⟶B invertible ocurre que 𝑓(x) = y si y solo si 𝑓 (y) = x. Luego,
-1

se tiene: 𝑓[𝑓 -1(y)] = y ∧ 𝑓 -1[𝑓(x)] = x (𝑓◦𝑓 -1)(y) = y ∧ (𝑓 -1◦𝑓 )(x) = x. Por lo tanto,

(𝑓◦𝑓 -1)(x) = x ∧ (𝑓 -1◦𝑓 )(x) = x.

Sean A = {i, o, u, e, a} y B = {3, 1/3, ln3, -1/3}. La función 𝑓: A⟶B definida como

𝑓 = {(o,1/3), (u,ln3), (a,3), (i,-1/3)} se mostró que es biyectiva. Por tanto, su función inversa 𝑓 -1:
B⟶A existe, de hecho es 𝑓 -1 = {(1/3,o), (ln3,u), (3,a), (-1/3,i)}.

Sea b un real estrictamente positivo tal que b≠1. Se define la función exponencial 𝑓: ℝ⟶ℝ+
mediante la regla de correspondencia 𝑓(x) = bx. Ya se mostró que esta función es biyectiva, por
tanto 𝑓 es invertible y 𝑓 -1: ℝ+⟶ℝ existe. Hallemos 𝑓 -1.

(𝑓◦𝑓 -1)(x) = x 𝑓[𝑓 -1(x)] = x


-1(x)
b𝑓 =x

𝑓 -1(x) = logbx

Sea 𝑓: A⟶B la función polinomial cuadrática definida por 𝑓(x) = -3 + √(x - 1), siendo A = {x∈ℝ ∣ ‘x
≥ 1’} y B = {x∈ℝ ∣ ‘x ≥ -3’}. Dejamos al lector constatar que esta función es biyectiva, por tanto 𝑓
es invertible. Concentrémonos ahora en construir 𝑓 -1. En efecto:

(𝑓◦𝑓 -1)(x) = x 𝑓[𝑓 -1(x)] = x

-3 + √[𝑓 -1(x) - 1] = x

√[𝑓 -1(x) - 1] = x + 3

9 Darlong Taylor Terrazas


𝑓 -1(x) - 1 = (x + 3)2

𝑓 -1(x) = [(x + 3)2 + 1

𝑓 -1(x) = x2 + 6x + 10.

10 Darlong Taylor Terrazas

También podría gustarte