Capítulo III

Relaciones y funciones
Definición. Sean A y B conjuntos. Un subconjunto
R A B es llamado una relación binaria de A en B.
⊆ ×

Definición. Sea A un conjunto. Un subconjunto

R A A es llamado una relación binaria de A.
⊆ ×

Definición. Sean A y B conjuntos. Si R es una relación

de A en B, entonces decimos que x está relacionado
con y, escribimos xRy, si x y R. ( , ) ∈

Ejemplo. En el conjunto de los número enteros Z,

definimos la siguiente relación en Z:
aRb a b ⇔ |

a b m Z am b
| ⇔ ∃ ∈ : =

Solución. En primer lugar, notemos que:

R = { ..., (1, - 2), (1, - 1), (1, 0), (1, 1), (1, 2),...

..., (2, - 4), (2, - 2), (2, 0), (2, 2), (2, 4),...

..., (3, - 6), (3, - 3), (3, 0), (3, 3), (3, 6),...

Z } ⊆
2

Ejemplo. Sean
A Adalid Ademar Adri n Alexander
= { , , á , }

B Jhessica Guillermina Livia Nathali .

= { , , , }

Consideremos la siguiente relación:

aRb a es amigo de b ⇔

R Alexander Guillermina
= {( , )}

Ejemplo. Si A y B son conjuntos, entonces

R = ∅ ⊆ A B es una relación de A en B, llamada
×

relación vacía.
Ejemplo. Si A es un conjunto, entonces
IdA a a a A es una relación en A, llamada
:= {( , ): ∈ }

relación identidad.
Idea

A A A ×

IdA

A
Ejemplo. Sea X un conjunto. En P X definimos la ( )

siguiente relación:
ARB A B ⇔ ⊆

Ejemplo. Sea X = { 1, 2, 3 } . Entonces,

PX X
( ) = { , ∅, { 1 }, { 2 }, { 3 }, { 1, 2 }, { 1, 3 }, { 2, 3 }} , de
donde:
R X
= {(∅, ), ({ 1 }, X ), ({ 2 }, X ), ({ 3 }, X ),

({ 1, 2 }, X ), ({ 1, 3 }, X ), ({ 2, 3 }, X ),

(∅, ∅),

(∅, { 1 }), ({ 1 }, { 1 }),

(∅, { 2 }), ({ 2 }, { 2 }),

(∅, { 3 }), ({ 3 }, { 3 }),

(∅, { 1, 2 }), ({ 1 }, { 1, 2 }), ({ 2 }, { 1, 2 }), ({ 1, 2 }, { 1, 2 }),

(∅, { 1, 3 }), ({ 1 }, { 1, 3 }), ({ 3 }, { 1, 3 }), ({ 1, 3 }, { 1, 3 }),

(∅, { 2, 3 }), ({ 2 }, { 2, 3 }), ({ 3 }, { 2, 3 }), ({ 2, 3 }, { 2, 3 })}

Definición. Sean A y B conjuntos. Si R es una relación

de A en B, entonces el conjunto de todos los x A que ∈

están en relación con algún y B es llamado el dominio ∈

de R, y escribimos:
dom R x A xRy y B ( ) = { ∈ : ; ∈ }

El conjunto de todos los y B que están en relación ∈

con algún x A es llamado el rango de R, y escribimos:

∈

ran R y B xRy x A ( ) = { ∈ : ; ∈ }

Ejemplo. Sean
A Adalid Ademar Adri n Alexander
= { , , á , }

B Jhessica Guillermina Livia Nathali .

= { , , , }

Consideremos la siguiente relación:

aRb a es amigo de b ⇔

R Alexander Guillermina
= {( , )}

Entonces, dom R Alexander y

( ) = { }

ran R Guillermina .
( ) = { }

Ejemplo. Sea X . Entonces,

= { 1, 2, 3 }

PX X
( ) = { , ∅, { 1 }, { 2 }, { 3 }, { 1, 2 }, { 1, 3 }, { 2, 3 }} , de
donde:
R = {(∅, X X), ({ 1 },X X ), ({ 2 }, ), ({ 3 }, ),

X
({ 1, 2 }, X X XX
), ({ 1, 3 }, ), ({ 2, 3 }, ), ( , )

(∅, ∅),

(∅, { 1 }), ({ 1 }, { 1 }),

(∅, { 2 }), ({ 2 }, { 2 }),

(∅, { 3 }), ({ 3 }, { 3 }),

 (∅, { 1, 2 }), ({ 1 }, { 1, 2 }), ({ 2 }, { 1, 2 }), ({ 1, 2 }, { 1, 2 }),

(∅, { 1, 3 }), ({ 1 }, { 1, 3 }), ({ 3 }, { 1, 3 }), ({ 1, 3 }, { 1, 3 }),

(∅, { 2, 3 }), ({ 2 }, { 2, 3 }), ({ 3 }, { 2, 3 }), ({ 2, 3 }, { 2, 3 })}

Luego, dom R P X y ran R P X .

( ) = ( ) ( ) = ( )

Ejemplo. Sean A y B conjuntos. Si R A B, = ×

entonces dom R A y ran R B.

( ) = ( ) =

Definición. Sean A y B conjuntos y R A B. Si ⊆ ×

X A, entonces la imagen de X bajo R es el conjunto

⊆

de los elementos del rango de R que están relacionados

con algún elemento de X, y escribimos:
R X y ran R xRy x X
( ) := { ∈ ( ): ; ∈ }

y ran R x X xRy
= { ∈ ( ) : (∃ ∈ )( )}

Definición. Sean A y B conjuntos y R A B. Si ⊆ ×

Y B, entonces la imagen inversa de Y bajo R es el

⊆

conjunto de los elementos del dominio de R que están

relacionados con algún elemento de Y, y escribimos:
R Y x dom R xRy y Y
- 1
( ) := { ∈ ( ): ; ∈ }

x dom R y Y xRy
= { ∈ ( ) : (∃ ∈ )( )}

Ejemplo. Sean A yB . Si
= { 1, 2, 3 } = { 6, 7, 8 }

consideramos la siguiente relación:

xRy x y ⇔ |

entonces:
R = {(1, 6), (1, 7), (1, 8), (2, 6), (2, 8), (3, 6)}

Notemos que:
dom R ( ) = { 1, 2, 3 }

ran R ( ) = { 6, 7, 8 }

Si consideramos X = { 2, 3 } ⊆ { 1, 2, 3 } = A, entonces:
RX ran R
( ) = { 6, 8 } ⊆ ( )

Si consideramos Y B, entonces:
= { 7, 8 } ⊆ { 6, 7, 8 } =

R Y
- dom R
1
( ) = { 1, 2 } ⊆ ( )

□
Definición. Sean A y B conjuntos. Si R es una relación
de A en B, entonces la relación inversa de R es el
siguiente conjunto:
R - yx B A xy R
1
= {( , ) ∈ × :( , ) ∈ }

es una relación de B en A.
Ejemplo. Sean A yB . Si
= { 1, 2, 3 } = { 6, 7, 8 }

consideramos la siguiente relación:

xRy x y ⇔ |

entonces:
R = {(1, 6), (1, 7), (1, 8), (2, 6), (2, 8), (3, 6)}

Luego, obtenemos que:

R - 1
= {(6, 1), (7, 1), (8, 1), (6, 2), (8, 2), (6, 3)}

es una relación de B en A.
□
Ejemplo. Sean A y B conjuntos. Si R = A B, ×

entonces R - B A. 1
= ×

Ejemplo. Sean A y B conjuntos. Si R = ∅ ⊆ A B, ×

entonces R - . 1
= ∅

Ejemplo. Sea A un conjunto. Si R = IdA A , ⊆

2

entonces R - IdA. 1
=

Proposición. Sean A y B conjuntos y R A B una ⊆ ×

relación de A en B. Si Y B, entonces la imagen ⊆

inversa de Y bajo R es igual a la imagen de Y bajo R .

- 1

Dem. En primer, lugar notemos que:

R--Y x dom R xRy y Y
1
( ) = { ∈ ( ): ; ∈ }

R Y x ran R- yR- x y Y
1
( )
= ∈
1
:
1
; ∈

Así, como dom R ran R , entonces tenemos que

-( ) =
1

la imagen inversa de Y bajo R es igual a la imagen de

Y bajo R .- 1

□
Definición. Sean A, B, y C conjuntos. Si R A B y ⊆ ×

S B C, entonces definimos la siguiente relación:

⊆ ×

S R x z A C xRy ySz y B
∘ = {( , ) ∈ × : , ; ∈ }

x z A C y B xRy ySz
= {( , ) ∈ × : (∃ ∈ )( ∧ )}

llamada la composición de R con S.

Ejemplo. Si R yS = {(1, 2)} , entonces = {(2, 0)}

S R
∘ = {(1, 0)}yR S . ∘ = ∅

Ejemplo. Si R es una relación en A, entonces

R IdA R IdA R.
∘ = = ∘

Definición. Sea A un conjunto. Una relación R en A es

reflexiva si,
xRx
para todo x A. ∈

Definición. Sea A un conjunto. Una relación R en A es

simétrica si,
xRy yRx ⟹

para todo x y A. , ∈
Definición. Sea A un conjunto. Una relación R en A es
antisimétrica si,
xRy yRx x y ∧ ⟹ =

para todo x y A. , ∈

Definición. Sea A un conjunto. Una relación R en A es

transitiva si,
xRy yRz xRz ∧ ⟹

para todo x y z A. , , ∈

Ejemplo. Sea X un conjunto. En P X consideremos la ( )

siguiente relación:
ARB A B ⟺ ⊆

Demostrar que R es reflexiva, antisimétria y transitiva.

Dem. Entonces, tenemos que:
i Si A P X , implica, como A
) ∈ ( ) ⊆ A, que ARA.
Así, R es reflexiva.
ii Sean A B P X . Si ARB y BRA, implica
) , ∈ ( )

A B y B A, de donde A B.
⊆ ⊆ =

Así, R es antisimétrica.
iii Sean A B C P X . Si ARB y BRC, implica
) , , ∈ ( )

A B y B C, de donde A C.
⊆ ⊆ ⊆

Así, R es transitiva.
□

Definición. Una relación en A es una relación de ≤

orden parcial si, es reflexiva, antisimétrica y

≤

transitiva.
Decimos A ( es un conjunto pariclamente ordenado.
, ≤ )

Ejemplo. En R consideremos la siguiente relación:

xRy ⟺ x y ≤

es una relación de orden parcial en R.

Solución. En primer lugar, notemos que:
i Si x R, implica que x x. Así, R es reflexiva.
) ∈ ≤

ii Sean x y R. Si xRy y yRx, implica que x y y

) , ∈ ≤

y x, de donde x y. Así, R es antisimétrica.

≤ =

iii Sean x y z R. Si xRy y yRz, implica que

) , , ∈

x y y y z, de donde x z. Así, R es transitiva.

≤ ≤ ≤

Ejemplo. la relación definida por:

mRn ⟺ mn |

es un orden parcial en conjunto de los enteros positivos.

Solución.
i Si n N con n , entonces existe k
) ∈ > 0 N con = 1 ∈

k tal que:
> 0

nk n =

De donde, tenemos que n n. |

Así, R es reflexiva.
ii Sean m n N con n m . Si mRn y nRm,
) , ∈ , > 0

entonces tenemos que m n y n m de donde | |

obtenemos que existen k l N con k l tales que: , ∈ , > 0

mk n =

nl m =

mn kl mn ( ) =

kl = 1

kl , = 1

Luego, obtenemos que m n. =

Así, R es antisimétrica.
iii Si mRn y nRs, entonces tenemos que m n y n s,
) | |

de donde se sigue que existen k l N con k l , ∈ , > 0

tales que:
mk n =

nl s =

mk l nl ( ) =

m kl s ( ) =

Luego, existe r kl N con r tal que: = ∈ > 0

mr s =

De odne, obtenemos que m s, es decir mRs. |

Así, tenemos que R es transitiva.

Así N ⧵
( es un conjunto parcialmente ordenado.
{ 0 }, |)

□
Ejemplo. Si X es un conjunto, entonces P X es ( ( ), ⊆ )

un conjunto parcialmente ordenado.

Definición. Sea A un conjunto parcialmente
( , ≤ )

ordenado. Dos elementos a b A son comparables si, , ∈

a b o b a.
≤ ≤

Definición. Sea A un conjunto. Un orden A es ( , ≤ )

totalmente ordenado si, a y b son comparables para

todo a b A.
, ∈

Definición. Sea ( A un conjunto pariclamente

, ≤ )

ordenado. Si B ⊆ A, entonces definimos:

 i b B es el elemento mínimo de B en el orden
) ∈

≤ si,
b x ≤

para todo x B. ∈

ii b B es un elemento minimal de B en el orden

) ∈

≤ si, no existe x B tal que: ∈

x b ≤

con x b. ≠

iii b B es el elemento máximo de B en orden si,

) ∈ ≤

x b ≤

para todo x B. ∈

iii b B es un elemento máximal de B en orden

) ∈

≤ si, no existe x B tal que: ∈

b x ≤

con x b. ≠

Ejemplo. Sea A = ( Z. Si
+, |) = ({ 1, 2, 3, 4, 5, … }, |)

B Z ⧵= , hallar los elementos

{ 1 } = { 2, 3, 4, 5, … }

mínimo, minimal, máximo y maximal de A y B, si

+

estos existen.
Solución. En primer lugar, notemos que Z es un 1 ∈

elemento mínimo y minimal de Z .

+

Por otro lado, notemos que Z no tiene elemento

+

máximo y tampoco elementos maximales.

Ahora, notemos que B no tiene elemento mínimo, pero
tiene infinitos elementos minimales
{ 2, 3, 5, 7, 11, 13, … }

Así, tambien notemos que B no tiene elemento máximo

y tampoco elementos maximales.
□
Definición. Sea A un conjunto parcialmente
( , ≤ )

ordenado. Si B A, entonces definimos lo siguiente:

⊆

i a A es una cota inferior de B en el conjunto

) ∈

parcialmente ordenado A si, ( , ≤ )

a x ≤

para todo x ∈ B.
ii a A es llamado ínfimo de B en A si, a es
) ∈ ( , ≤ )

el elemento máximo de todas las cotas inferiores de

B en A . El cual denotamos por: a B .
( , ≤ ) = inf( )

iii a A es una cota superior de B en el conjunto

) ∈

parcialmente ordenado A si, ( , ≤ )

x a ≤

para todo x B. ∈

iv a A es llamado supremo de B en A si, a

) ∈ ( , ≤ )

es el elemento mínimo de todas las cotas superiores

de B en A . El cual denotamos por: a
( , ≤ ) B. = sup( )

Ejemplo. En R consideremos los siguisntes

( , ≤ )

conjuntos:
Conjunto Contas Cotas Ínfimo Supremo
B inferiores superiores
N - No B No existe
( ∞, 0]
existen inf( ) = 0

(1, 5) ( - ∞, 1] [5, +∞) inf( B ) = 1 sup( B ) = 5

[2, 3) ( - ∞, 2] [3, +∞) inf( B ) = 2 sup( B ) = 3

- 5 - 2 0 1 2 R

2 3
R

Ejemplo. Sea:
A Adalid Ademar Adri n Alexander
= { , , á , ,

Jhessica Guillermina Livia Nathali , , , }

Consideremos la siguiente relación:

aRb a es amigo de b ⟺

R Alexander Guillermina
= {( , ),

Guillermina Alexander Adri n Livia

( , ), ( á , ),

Livia Adri n
( , á )}

Entonces, notemos que:

i R no es reflexiva. Puesto que
)

(Adri n Adri n R.
á , á ) ∉

ii R es simétrica.
)
 iii R no es antisimétrica. Puesto que, como
)

(Alexander Guillermina R y , ) ∈

(Guillermina Alexander R pero , ) ∈

Alexander Guillermina. ≠

iv R no es transitiva. Puesto que

)

(Alexander Guillermina R y , ) ∈

(Guillermina Alexander R pero , ) ∈

(Alexander Alexander R. , ) ∉

□
Definición. Una relación en A es de equivalencia si, ∼

∼ es reflexiva, simétrica y transitiva. Si a A, ∈

entonces:
x Ax a a
[ ] := { ∈ : ∼ }

llamada la clase de equivalencia a . [ ]

Así, también:
A a a A / ∼ := {[ ] : ∈ }

llamado conjunto cociente de A con la relación ∼ .

Ejemplo. Sea n Z, n ∈ > 0 . En Z, consideremos la

siguiente relación:
n x-y x y ≡ (mod n) ⇔ |( )

se lee x congruente con y módulo n.

Ejemplo. Sea n Z, n . En Z consideremos la
∈ > 0

siguiente relación:
x y x y n ∼ ⇔ ≡ (mod )

es de equivalencia.
Solución. Notemos que:
i Si x Z, entonces n
) ∈ x - x , de donde x x. |( ) ∼

ii Si x y, entonces n x - y , de donde existe

) ∼ |( )

k Z tal que:
∈

nk x - y =

n -k y - x ( ) =

de donde, n y - x , es decir y x.
|( ) ∼

iii Si x y y y z, entonces existen enteros

) ∼ ∼

k l Z tal que:
, ∈

nk x - y =

nl y - z =

n l k x-z ( + ) =

es decir n x - z , x z. |( ) ∼

En este caso, escribimos:

Z / ∼ =: Zn
Notemos que:
Zn = {[0], [1], [2], … , [ n- 1]}

[0] = { m ∈ Z : m - kn k Z 0 = ; ∈ }

[1] = { m ∈ Z : m - nk k Z 1 = ; ∈ }

[2] = { m ∈ Z : m - nk k Z 2 = ; ∈ }

[ n- 1] = { m ∈ Z : m - n- nk k Z( 1) = ; ∈ }

n [ ] = [0]

[ n+ 1] = [1]

[ n+ 2] = [2]

Idea:
n 1
n Z
-n n
0 ... ... +1

n 2
2 +1

n
2 ...

3 ...
+2
2 n +2 ...
n-
n +3 -n +3
2 n- 1
...
1

□
Ejemplo. En el siguiente conjunto
A Marcelo Benjamin Cinthia Sharon
= { , , , ,

Abigail Sonia Nicol s Tatiana

, , á , }

En A consideremos la siguiente relación:

xRy
x naci en el mismo a o que y
⟺ ó ñ

Demostrar que R es una relación de equivalencia.

Dem. En primer lugar, notemos que:
i Si x A, entonces xRx. Así, R es reflexiva.
) ∈

ii Si xRy, entonces yRx. Así, R es simétrica.

)

iii Si xRy y yRz, entonces xRz. Así, R es transitiva.

)

Así, R es una relación de equivalencia en A.

Idea:
Marcelo Cinthia A
Tatiana
Sonia Benjamin
Nicol s Sharon Abigail
á

Notemos que:
[ Marcelo Tatiana ] = [ ]
 = [ Sonia ]

[ Benjamin Sharon ] = [ ]

[Tatiana Benjamin Nicol s Cinthia

]∪[ ]∪[ á ]∪[ ]∪

Abigail A [ ] =

Ejemplo. Sea A . Consideremos la siguiente = { 1, 2, 3 }

relación en A:
∼ = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)}

Demostrar que A es de equivalencia. ∼⊆

2

Dem. Notemos que:

i Si x A, entonces x x. Por lo que, es
) ∈ ∼ ∼

reflexiva.
ii Notemos que:
)

Como , entonces
1 ∼ 1 1 ∼ 1 .
Como 2 ∼ 2 , entonces 2 ∼ 2 .
Como 3 ∼ 3 , entonces 3 ∼ 3 .
Notemos que 1 ∼ 2 , así también 2 ∼ 1

Notemos que , así también 2 ∼ 1 1 ∼ 2

Por lo que, tenemos que A es simétrica. ∼⊆

2

Notemos que 1 ∼ 1 y 1 ∼ 2 además 1 ∼ 2 .

Notemos que 2 ∼ 2 y 2 ∼ 1 además 2 ∼ 1 .
Notemos que y 1 ∼ 2 2 ∼ 1 además . 1 ∼ 1

Por lo que, tenemos que ∼⊆ A es transitiva

2

Así, ∼⊆ A 2
es de equivalencia.
Idea:
1
A
2
3

Notemos que:
[1] = { 1, 2 }

= [2]

[3] = { 3 }

[1] ∪ [3] = A
A / ∼ = {[1], [3]}

□
Ejemplo. En R, consideremos la siguiente relación:
x y ∼ ⟺ x-y Z ∈

Demostrar que esta relación es de equivalencia en R.

Dem. Notemos que:
i Si x R, entonces, como x - x
) ∈ Z, tenemos = 0 ∈

que x x. Por lo que,

∼ R es reflexiva. ∼⊆
2

ii Sean x y R. Si x y, entonces x - y Z, de
) , ∈ ∼ ∈

donde - x - y y - x Z, es decir y x. Por lo

( ) = ∈ ∼

que, R es simétrica.
∼⊆
2

iii Sean x y z R. Si x y y y z, entonces

) , , ∈ ∼ ∼

x - y Z y y - z Z, de donde
∈ ∈

x - z x - y y - z Z, es decir x z. Por lo
= ( )+( ) ∈ ∼

que, R es transitiva.
∼⊆
2

Así, R es de equivalencia.
∼⊆
2

Idea.

- - - - -
5 4 3 2 1 0 1 2 3 4 5

Observemos que:
[0] = [1]

= [2]

= [3]

⋮ =⋮

1 3
=
2 2

R / ∼ = [0, 1)

= S 1
:= ( xy R x y
, ) ∈
2
:
2
+
2
= 1

□
Ejemplo. En R , consideremos la siguiente relación:
2

( xy , ) ∼ ( , ab ) ⟺ ( x-a y-b Z , ) ∈
2

Demostrar que es de equivalencia y hallar R . ∼

2
/ ∼

Dem. Notemos que:

i Si x y R , entonces, como
) ( , ) ∈
2

(x-x y-y , Z , tenemos que ) = (0, 0) ∈

2

(x y x y . Por lo que, R R es reflexiva.

, ) ∼ ( , ) ∼⊆
2
×
2

ii Sean x y a b R . Si x y a b , entonces
) ( , ), ( , ) ∈
2
( , ) ∼ ( , )

(x - a y - b Z , de donde a - x - x - a Z y
, ) ∈
2
= ( ) ∈

b - y - y - b Z, a - x b - y Z , es decir
= ( ) ∈ ( , ) ∈
2

a b x y . Por lo que, R es simétrica.

( , ) ∼ ( , ) ∼⊆
2
 iii Sean x y a b s t R. Si x y a b y
) ( , ), ( , ), ( , ) ∈ ( , ) ∼ ( , )

a b s t , entonces x - a y - b Z y
( , ) ∼ ( , ) ( , ) ∈
2

(a - s b - t Z , de donde
, ) ∈
2

x-s x-a a-s Z y = ( )+( ) ∈

y - t y - b b - t Z, es decir
= ( )+( ) ∈

(x - s y - t Z , x y s t . Por lo que,
, ) ∈
2
( , ) ∼ ( , )

∼⊆ R es transitiva.2

Así, R es de equivalencia.
∼⊆
2

R 2
/ ∼ = [0, 1) × [0, 1)

S S =
1
×
1

Recuerdo: N = { 0, 1, 2, 3, 4, … }

Ejemplo. En N N N definimos la siguiente relación: × =

2

nm ab n b m a ( , ) ∼ ( , ) ⟺ + = +

Demostrar que N N es de equivalencia. ∼⊆

2
×
2

Dem. Notemos que:

i Si n m N , entonces, como n
) ( , ) ∈
2
+ m n m, = +

tenemos que n m n m . ( , ) ∼ ( , )

Por lo que, N N es reflexiva. ∼⊆

2
×
2

ii Sean n m a b
) N . Si n m a b ,
( , ), ( , ) ∈
2
( , ) ∼ ( , )

entonces tenemos que:

n b m a + = +

b n a m + = +

a m b n + = +

de donde a b n m . ( , ) ∼ ( , )

Por lo que, N N es simétrica. ∼⊆

2
×
2

iii Sean n m a b p q N . Si n m a b
) ( , ), ( , ), ( , ) ∈
2
( , ) ∼ ( , )

y a b p q , entonces tenemos que:

( , ) ∼ ( , )

n b m a + = +

a q b p + = +

n b a q m a b p ( + )+( + ) = ( + )+( + )

n b a q m a b p +( + )+ = +( + )+

n q m p + = +

de donde n m p q . ( , ) ∼ ( , )

Por lo que, N N es transitiva. ∼⊆

2
×
2

Así, N N es de equivalencia.
∼⊆
2
×
2

Notemos que:
N Z 2
/ ∼ =:

i Si n m N con n m, entonces existe p

) ( , ) ∈
2
> > 0

tal que n m p . ( , ) ∼ ( , 0)

Dem. En primer lugar, como n m, entonces existe >

p tal que n
> 0 m p, es decir n m p . +0 = + ( , ) ∼ ( , 0)

ii Si n m a b N tales que n m y
) ( , ), ( , ) ∈
2
>

(n m a b , entonces a b.
, ) ∼ ( , ) >

Dem. En primer lugar, como n m existe p > > 0 tal

que n m p , de donde, a b p .
( , ) ∼ ( , 0) ( , ) ∼ ( , 0)

Entonces, tenemos que:

a b p +0 = +

a b p = +

Así, obtenemos que a b. >

iii Sean n m a b p q s t N . Si
) ( , ), ( , ), ( , ), ( , ) ∈
2

(n m a b y p q s t , entonces
, ) ∼ ( , ) ( , ) ∼ ( , )

(n pm q a sb t.
+ , + ) ∼ ( + , + )

Dem. En primer lugar, notemos que:

n b m a + = +

p t q s + = +

n b p t m a q s ( + )+( + ) = ( + )+( + )

n p b t m q a s ( + )+( + ) = ( + )+( + )

Así, tenemos que n p m q a s b t . ( + , + ) ∼ ( + , + )

En N 2
/ ∼ definimos la siguiente operación:

N +:
2
/ ∼ × N 2
/ ∼ ⟶ N 2
/ ∼

([( nm pq
, )], [( , )]) ⟼ [( nm , )] + [( , pq )] := [( n pm q
+ , + )]

Proposición. La operación anterior está bien definida.

Dem. Si n m a b y p q s t , entonces
( , ) ∼ ( , ) ( , ) ∼ ( , )

tenemos que n p m q a s b t . Por lo que, ( + , + ) ∼ ( + , + )

obtenemos n p m q a sb t .[( + , + )] = [( + , + )]

Así, tenemos que la operación anterior está bien

definida.
□
Proposición. La operación anterior es asociativa.
Dem. Sean n m a b s t N [( . Entonces,
, )], [( , )], [( , )] ∈
2
/ ∼

tenemos que:
([( nm ab , )] + [( , )]) + [( , st )] =

n am b
[( + , + )] + [( , st )] =

[(( n a s m + )+ ,( + b t )+ )] =

[( n a s m +( + ), +( b t + ))] =

nm a
[( , )] + [( + sb t, + )] =

[( nm ab, )] + ([( , )] + [( , st )])

Así, la operación anterior es asociativa.

□
Proposición. Existe [(0, 0)] ∈ N 2
/ ∼ tal que:
nm [( , )] + [(0, 0)] = [( nm , )]

para todo [( nm N, )] ∈
2
/ ∼ .
Dem. Si n m N , entonces tenemos que:
[( , )] ∈
2
/ ∼

nm [(n m , )] + [(0, 0)] = [( + 0, + 0)]

nm = [( , )]

Así, existe N tal que:

[(0, 0)] ∈
2
/ ∼

nm nm [( , )] + [(0, 0)] = [( , )]

para todo n m N .[( , )] ∈

2
/ ∼

□
Proposición. Si n m N , entonces existe [( , )] ∈
2
/ ∼

mn N
[( , )] ∈tal que: 2
/ ∼

nm mn n mm n
[( , )] + [( , )] = [( + , + )].

= [(0, 0)]

□
Proposición. Si nm ab N [( , )], [( , )] ∈
2
/ ∼ , entonces:
[( nm ab ab, )] + [( , )] = [( , )] + [( nm , )]

Dem. En primer lugar, notemos que:

[( nm , )] + [( , ab )] = [( n am b + , + )]

= [( a nb m + , + )]

= [( , ab nm )] + [( , )]

Así, la operación anterior es conmutativa.

□

En N 2
/ ∼ definimos la siguiente operación:

N ⋅ :
2
/ ∼ × N 2
/ ∼ ⟶ N 2
/ ∼

([( nm pq
, )], [( , )]) ⟼ [( nm pq
, )][( , )] := [( np mq nq mp
+ , + )]

Proposición. La operación anterior está bien definida.

Dem. Si n m a b y p q s t , entonces
( , ) ∼ ( , ) ( , ) ∼ ( , )

tenemos que:
n b m a + = +

p t q s + = +

de donde, obtenemos que:

pn b qm a ap
( + )+ ( + )+ ( + t)+ bq
( + s ) =

pm a qn b aq
( + )+ ( + )+ ( + s )+ bp
( + t )

pn pb qm qa ap
+ + + + + at + bq + bs =

pm pa qn qb aq + + + + + as + bp + bt
Así, se sigue que:
( np mq at bs
+ )+( + ) = ( nq mp as bt
+ )+( + )

(np mq nq mp
+ , + ) ∼ ( as bt at bs
+ , + )

[( np mq nq mp
+ , + )] = [( as bt at bs + , + )]

Así, tenemos que la operación anterior está bien

definida.
□

Proposición. Sean n m ab st [( , )], [( , )], [( , )] ∈ N . 2

/ ∼

Entonces, tenemos que:

nm ([( , ab st
)][( , )])[( , )] =

na mb nb [( + , + ma s t )][( , )] =

[(( na mb s nb ma t na mb t
+ ) +( + ) ,( + ) +( nb ma s + ) )] =

[(ans bms bnt amt ant bmt

+ + + , + + bns ams + )] =

[(ans bnt amt bms ams bmt

+ + + , + + ant bns + )] =

as bt n at bs m as bt m
[(( + ) +( + ) ,( + ) +( at bs n + ) )] =

n m as [( , )][( + bt at bs
, + )] =

nm [( , )]([( , ab st )][( , )])

Así, tenemos que la operación anterior es asociativa.

□

Proposición. Sean n m a b N . Entonces, [( , )], [( , )] ∈

2
/ ∼

tenemos que:
n m a b na mb nb ma
[( , )][( , )] = [( + , + )]

an bm am bn = [( + , + )]

ab nm = [( , )][( , )]

□
Proposición. Existe N tal que: [(1, 0)] ∈
2
/ ∼

nm n [(m , )][(1, 0)] = [( + 0, 0 + )]

nm = [( , )]

para todo n m N . [( , )] ∈
2
/ ∼

Z + := [( n , 0)] ∈ N 2
/ ∼: n N ∈

0 = [(0, 0)]

Z- := [(0, n N )] ∈
2
/ ∼: n N ∈

Funciones
La palabra función fue introducida a las matemáticas
por Leibniz, quien originalmente utilizó este término
para referirse a fórmulas.
Definición. Sean A y B conjuntos. Una relación
f A B es una función de A en B si, cumple la
⊆ ×

siguiente propiedad:
Si a b a c f, implica que b c.
( , ), ( , ) ∈ =

En otras palabras, una relación f es una función si, y

solamente si, para todo a dom f hay exactamente ∈ ( )

un único b ran f tal que a b f, en este caso

∈ ( ) ( , ) ∈

denotamos, f a b. Si A dom f y ran f B,( ) := = ( ) ( ) ⊆

entonces:
f = {( , afa a A ( )) : ∈ }
en este caso denotamos:
fA B
a fa b
: ⟶

⟼ ( ) =

Ejemplo. Si A , entonces
= { 1, 2, 3 } yB = { 1, 2 }

verificar si la siguiente relación es una función:

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

Solución. Notemos que (1, 1), (1, 2) ∈ f pero 1 ≠ 2 .

Así, f no es una función.
Ejemplo. Sean A y B conjuntos. Si b B, entonces ∈

f A b es una función, llamada función constante

= ×{ }

de A en B.
fA B
a fa b
: ⟶

⟼ ( ) :=

Ejemplo. Si A es un conjunto, entonces

f a b A a b es una función de A en A,
= ( , ) ∈
2
: =

llamada función identidad.

Solución. Si a b a c f, entonces a b y a c, de
( , ), ( , ) ∈ = =

donde obtenemos que b c. =

Así, f es una función.

fA A
a fa a
: ⟶

⟼ ( ) :=

□
Ejemplo. Si f xy R = ( , ) ∈
2
: y x 2
= , entonces
verificar si f es una función.
Solución. Notemos que (1, 1), (1, - 1) ∈ f pero 1 ≠ - 1 .
Así, f no es una función.
Ejemplo. Sea n N con n . Si ∈ > 0

f = ( x y R x y , entonces verificar si f es
,
n) ∈
2
: =

una función.
Solución. Si x y x z f, entonces x y y
( ,
n), ( , ) ∈ =

x z, de donde y z.
n = =

Así, f es una función, llamada función n-ésima,

fR Rn
x fx x
: ⟶

⟼ ( ) =

Ejemplo. Si f xy = ( , ) ∈ [0, +∞) × [0, +∞) : y x 2

= ,
entonces verificar si f es una función.
Solución. Si x y x z f, entonces y
( , ), ( , ) ∈
2
= x y z x, 2
=

tenemos que:
y z 2
=
2

y -z 2 2
= 0

( y-z y z )( + ) = 0

y-z = 0 y z
+ = 0

y z
Supongamos que y z,
= ≠

entonces, como y -z, =

y z ,y yz , , ≠ 0 ≠ 0 ≠ 0

lo cual es una
contradicción.
Por lo que, y z . = = 0

Así, tenemos que f es una función, llamada función

raíz cuadrada.
[0, +∞)

-z 0
y z R
dom f ( ) = [0, +∞)

ran f ( ) = [0, +∞)

f R : [0, +∞) ⟶

x fx x ⟼ ( ) =

Proposición. Si f A B es una función, entonces:

: ⟶

i Sea X A. X si, y solamente si, f X .

) ⊆ = ∅ ( ) = ∅

ii f)
- . 1
(∅) = ∅

iii Si X Z A, entonces:
) ⊆ ⊆

fX fZ ( ) ⊆ ( )

f Z⧵X f Z ⧵f X ( ) ⊇ ( ) ( )

iv Si U W B, entonces:
) ⊆ ⊆

f U f W
- - 1
( ) ⊆
1
( )

f W⧵U f W ⧵f U
- - - 1
( ) =
1
( )
1
( )

Dem.
i
) ( ⟹ ) Razonando por el contrarecíproco. Si
fX
( , entonces existe b B tal que b f X , de
) ≠ ∅ ∈ ∈ ( )

donde se sigue que, existe a X tal que b f a . ∈ = ( )

Así, tenemos que X . ≠ ∅

( ⟸ ) Recíprocamente, si X , entonces existe ≠ ∅

a X, de donde, como f es una función, f a f X .

∈ ( ) ∈ ( )

Así, tenemos que f X . ( ) ≠ ∅

 ii- Razonando por contradicción,-supongamos que
)

f 1
, entonces existe a f
(∅) ≠ ∅ , de donde ∈
1
(∅)

obtenemos que, f a , lo cual es una ( ) ∈ ∅

contradicción.
Así, tenemos que f - . 1
(∅) = ∅

iii Si X Z A, entonces tenemos lo siguiente:

) ⊆ ⊆

Si b f X , entonces existe a X tal que f a b,

∈ ( ) ∈ ( ) =

es decir, como X Z, existe a Z tal que f a b, ⊆ ∈ ( ) =

de donde b f Z . ∈ ( )

Así, tenemos que f X f Z . ( ) ⊆ ( )

Si b f Z ⧵ f X , entonces b f Z y b f X , de
∈ ( ) ( ) ∈ ( ) ∉ ( )

donde obtenemos que existe a Z tal que f a b. ∈ ( ) =

Notemos que, como b f X , a X, de donde existe ∉ ( ) ∉

a Z ⧵ X tal que f a b, es decir b f Z ⧵ X .

∈ ( ) = ∈ ( )

Así, tenemos que f Z ⧵ f X f Z ⧵ X . ( ) ( ) ⊆ ( )

iv Si U W B, entonces:
) ⊆ ⊆

Si a f U , entonces f a U, de donde, como

- ∈
1
( ) ( ) ∈

U W, tenemos que f a W, es decir a f W .

⊆
- ( ) ∈ ∈
1
( )

Así, tenemos que f U f W .

- - 1
( ) ⊆
1
( )

Si a f W ⧵ f U , entonces a f W y
- ∈
- 1
(
-
)
1
( ) ∈
1
( )

a f U , f a W y f a - U, de donde
- ∉
1
( ) ( ) ∈ ( ) ∉

f a W ⧵ U, es decir, a f W ⧵ U , y
( ) ∈ ∈
1
( )

recíprocamente.
Así, tenemos que f W ⧵ f U f W ⧵ U .
- - - 1
( )
1
( ) =
1
( )

□
Definición. Una función f A : ⟶ B es sobreyectiva si,
ran f B, es decir f A B.
( ) = ( ) =

Si b B, implica existe a
∈ ∈ A tal que f a b. ( ) =

Definición. Una función f A B es inyectiva si, : ⟶

cumple la siguiente propiedad:

Si f a f a , implica a a . ( ) = ′ = ′

Definición. Una función f : A ⟶ B es biyectiva si, f es

sobreyectiva e inyectiva.
Ejemplo. Caracterizar las siguientes funciones:
i )

fR R
x fx x
: ⟶
2
⟼ ( ) =

ii )

f : [0, +∞) ⟶ R
x ⟼ fx ( ) = x
iii )

f : [0, +∞) ⟶ [0, +∞)

x ⟼ fx ( ) = x
iv )

f - :( ∞, 0) ∪ (0, +∞) ⟶ R
x ⟼ fx x( ) =
1

v )

fR R : ⟶

x ⟼ fx x(
si x ) =
1
, ≠ 0

si x 0, = 0

vi )

fR R
x fx x
: ⟶

⟼ ( ) = sin( )

Solución.
i )

fR R
x fx x
: ⟶
2
⟼ ( ) =

Sobreyectividad Inyectividad Biyectividad

f no es f no es f no es
sobreyectiva, inyectiva, biyectiva
puesto que: puesto que:
Existe - R 1 ∈ Existen,
tal que para 1, - R
1 ∈

todo x R se ∈ tales que:

tiene que:
fx x( ) =
2
f- ( 1) = ( - 1)
2

≥ 0 = 1

- > 1 = 1
2

= f(1)

con 1 ≠ -.
1

z z
0
R
Si z > 0 , entonces z es positivo
Si z < 0 , entonces z es negativo
Si z ≥ 0 , entonces z es no negativo
Si z ≤ 0 , entonces z es no positivo
ii )

f : [0, +∞) ⟶ R
x ⟼ fx ( ) = x
Sobreyectividad Inyectividad Biyectividad
f no es f es inyectiva. f no es
sobreyectiva, Puesto que, si biyectiva
puesto que: xy , ∈ [0, +∞)

Existe - R tal que: 1 ∈

tal que para fx fy ( ) = ( )

todo
x se
x y =
∈ [0, +∞)

teiene que: x y 2

=
2

fx x x y =

f
( ) =

Así,
- inyectiva. es
≠ 1

iii )

f : [0, +∞) ⟶ [0, +∞)

x ⟼ fx ( ) = x
Sobreyectividad Inyectividad Biyectividad
f es sobreyectiva. f es inyectiva. f es biyectiva.
Puesto que: Si Puesto que, si
u ,
∈ [0, +∞) xy , ∈ [0, +∞)

entonces existe tal que:

x u =
2
fx fy
∈ [0, +∞) ( ) = ( )

tal que: x y
fu
=

u 2

x=
y 2 2 2

u
=

u Así, f es =
x
= |
y |
=

inyectiva.

iv ) Sea A = ( - ∞, 0) ∪ (0, +∞) . Entonces:

fA R : ⟶

x fx x ⟼ ( ) =
1

Sobreyectividad Inyectividad Biyectividad

f no es f es inyectiva. f no es
sobreyectiva, Puesto que, si biyectiva.
puesto que: x y A tal
, ∈

Existe R, 0 ∈ que:
tal que para fx fy
todo x A se
( ) = ( )

∈ 1 1

tiene que: x y =

fx ( ) 1
xy x xy y 1 1
=
x ( ) = ( )

≠ 0 y x =

x y =

Así, f es
inyectiva.
 v )

fR R : ⟶

x ⟼ fx x
(
si x
) =
1
, ≠ 0

si x 0, = 0

Sobreyectividad Inyectividad Biyectividad

f es sobre f es inyectiva. f es biyectiva.
sobreyectiva. Puesto que, si
Puesto que, x y R con
, ∈

para u R ∈ x y tales
, ≠ 0

con u ≠ 0 que:
existe fx fy( ) = ( )

x u R tal
=
1
∈
x y
1
=
1

que:
( xy x xy y
)
1
= ( )
1

fu 1 1 y x =
=
1

u
x y =

u Por otro lado,

si x y
=

Por otro lado, y tales que:

= 0

para = 0

u R,
= 0 ∈
fx fy( ) = ( )

existe 0 = 0

x R tal x y =

Así, f es
= 0 ∈

que:
f (0) = 0
inyectiva.
Así, f es
sobreyectiva.

vi )

fR R
x fx x
: ⟶

⟼ ( ) = sin( )

Sobreyectividad Inyectividad Biyectividad

f no es sobre f no es f no es
sobreyectiva. inyectiva, biyectiva.
Existe R puesto que
2 ∈

tal que para existen

todo x R se ∈ - R 𝜋, 𝜋 ∈

tiene que: tales que:

fx ( x
) = sin( )

≠ 2 sin(𝜋) = sin( - 𝜋)

0 = 0

pero 𝜋 ≠ - 𝜋

u u v R 2

cos(𝜃) =

sin(𝜃) = v v ( , )

u
𝜃

Ejemplo. Si A y B r s , entonces
= { 1, 3, 5 } = { , }

consideremos la siguiente función:

x y
1 s
3 s
5 r
Representación gráfica:

A f B
1 s
3

5
r
Notemos que f es sobreyectiva pero no es inyectiva.
dom f ( ) = { 1, 3, 5 }

ran f ( ) = { , rs }

Ejemplo. Hallar el dominio y el rango de la siguiente

función:
fx ( )
= x 2
+3 x +6

Solución. En primer lugar, notemos que:

x 2
+3 x +6
= x 2
+3 x +
9
+6 - 9

4 4

x
2
3 15
= + +
2 4

Entonces, obtenemos que:

x
2
≥ 0
3
+
2

15 > 0

x
2
> 0
3 15
+ +
2 4
 x 2
+3 x +6 > 0

para todo x ∈ ( - ∞, +∞) . Luego, se sigue que:

dom f ( ) = ( - ∞, +∞)

= R
Por otr lado, notemos que:
x
2
≥ 0
3
+
2

x
2
15
3 15 ≥
+ +
4
2 4

x 2
+3 x +6
≥
15

x 2
+3 x +6
≥
15

fx
4

( ) 15
≥

para todo x -
2

∈ ( ∞, +∞) . Por lo que, obtenemos que:

ran f ( )
15
= , +∞
2

Así, tenemos que:

fR : ⟶
15

2
, +∞

x fx ⟼ ( ) = x 2
+3 x +6

□
Composición de funciones
Definición. Si f A : B y g C D son dos
⟶ : ⟶

funciones tales que C B definimos la siguiente

⊇

función:
g fA D ∘ : ⟶

la cual es llamada la composición de f con g, se lee f

compuesta con g.
Representación gráfica:
f C g D
A B

g f ∘

Definición. Si f A B es una función inyectiva,

: ⟶

entonces definimos la siguiente función:

fA A f - 1

y x donde f x y
: ( ) ⟶

⟼ , ( ) =

es llamada la función inversa de f.

Proposición. Sean A y B conjuntos. Si f A B es : ⟶

una fucnión inyectiva, entonces:

f f IdA
- 1
∘ =

f f Idf A
- ∘
1
=

Dem. En primer lugar, notemos que: Si a A

( )

f f a f fa
- 1- ∘ ( ) =
1
( ( ))

a =

IdA a = ( )

Por otro lado, notemos que: Si b f A , entonces ∈ ( )

existe a A tal que f a b:

∈ ( ) =

fb f b
∘ f - 1
( ) = f - 1
( )

fa = ( )

b =

Idf A b = ( )( )

□
Ejemplo. Si A yB r s t u v ,
= { 1, 3, 5 } = { , , , , }

considerenmos la siguiente función f A B: : ⟶

x fx ( )

1 u
3 s
5 v
Hallar la tabla de f .
- 1

Solución. En primer lugar, notemos que:

fA( ) = { y B fx yx A
∈ : ( ) = ; ∈ }

= { usv , , }

y f - 1
y
( )

u 1

s 3

v 5

Representación gráfica:
 A f -
B
1

1 us r
v t
3

□
Definición. Si f A B es una función y Y
: ⟶ ⊆ B,
entonces definimos el siguiente conjunto:
fa A fa b b Y
- 1
( Y ) := { ∈ : ( ) = ; ∈ }

es llamado la imagen inversa de Y bajo f.

Representación gráfica:

A f B
f - 1
( Y ) Y

Ejemplo. Si A yB r s t u v ,
= { 1, 3, 5 } = { , , , , }

considerenmos la siguiente función f A B: : ⟶

x
fx ( )

1 u
3 u
5 v
Hallar f u , f u v y f r t s .
- - 1
({
- })
1
({ , })
1
({ , , })

Solución. En primer lugar, notemos que:

f- u
- 1
({ }) = { 1, 3 }

f- u v 1
({ , }) = { 1, 3, 5 }

f rts1
({ , , }) = ∅

□
Ejemplo. Sea R una relación de equivalencia definida
en A . Sabiendo que A R tiene
= { 1, 2, 3, 4 } / 3

elementos y R, entonces seleccione el enunciado

(2, 3) ∈

falso.

a ) (4, 4) ∈ R
b
) (3, 2) ∈ R
c
) (1, 1) ∈ R
d) (1, 4) ∈ R
Solución. En primer lugar, como A R tiene solamente /

3 elementos y R, tenemos que:

(2, 3) ∈

A R / = {[1], [2], [4]}

Razonando por contradicción, Supongamos que

R. Entonces,
(1, 4) ∈ , de donde tenemos que:
[1] = [4]

A R / = {[1], [2]}

lo cual es una contradicción, puesto que A / R tiene 3

elementos.
Así, el enunciado falso es que (1, 4) ∈ R.
Ejemplo. Dado el conjunto B = { 2, 4, 6, 10, 12, 30 } , se
define en él, la siguiente relación:
xRy ⟺ xy|

Diga si la relación es de orden parcial o total,

encontrar las cotas inferiores y cotas superiores de
C .
= { 4, 6 }

a Orden parcial y tiene cota superior y

) = 6

cota inferior . = 4

b Orden total y tiene cota superior y

) = 12

cota inferior . = 2

c Orden total y tiene cota superior y

) = 12 30 y
cota inferior y . = 1 2

d Orden parcial y tiene cota superior y

) = 30

cota inferior . = 2

e Ninguno de los anteriores.

)

Solución. En primer lugar, hallamos las cotas inferiores

del conjunto C . = { 4, 6 }

Si b B es una cota inferior de C, entonces:

∈

b |4

b |6

De donde, tenemos que el conjunto de la cotas

inferiores es . {2}

Si b B es una cota superior de C, entonces:

∈

4| b
6| b
De donde, tenemos que el conjunto de la cotas
superiores es . { 12 }

Además notemos que R es una relación de orden

parcial pero no es una relación de orden todal pueto
que 4 no divide al 10 y 10 tampoco divide al . 4

□
Ejemplo. Dado el conjunto B = { 2, 4, 6, 10, 12, 30 } , se
define en él, la siguiente relación:
xRy ⟺ xy|
Diga si la relación es de orden parcial o total,
encontrar el supremo e ínfimo de C . = { 4, 6 }

a Orden total C , C .
) sup( ) = 12 inf( ) = 2

b ) Orden parcial sup( C ) = 12 , inf( C ) = 2 .

c ) Orden total sup( C ) = 30 , inf( C ) = 2 .
d ) Orden total sup( C ) = 6 , inf( C ) = 4 .
e Ninguno de los anteriores.
)

Solución. En primer lugar, hallamos las cotas inferiores

del conjunto C . = { 4, 6 }

Si b B es una cota inferior de C, entonces:

∈

b |4

b |6

De donde, tenemos que el conjunto de la cotas

inferiores es . {2}

Si b B es una cota superior de C, entonces:

∈

4| b
6| b
De donde, tenemos que el conjunto de la cotas
superiores es . { 12 }

Entonces, tenemos que C y C sup( ) = 12 inf( ) = 2.

Además notemos que R es una relación de orden

parcial pero no es una relación de orden todal pueto
que 4 no divide al 10 y 10 tampoco divide al . 4

Ejemplo. Sean f g R R funciones. Si

x - y g- x x . Determinar el
, : ⟶

fx
( + 1) =
3 1
1
( ) =
2 +1

f g -
2 3

valor de - 1
∘ ( 2)

a- ) 3

b- ) 2

c- ) 1

d ) 2

e Ninguno de los anteriores

)

Solución. En primer lugar, notemos que:

g - 1
g x x
∘ ( ) =

g - gx x
1

gx
( ( )) =

2 ( x )+1 =

gx x
3

g x x-
2 ( )+1 = 3

( ) 3 1
=

para todo x R.
2

Por otro lado, notemos que:

fx ( + 1)
=
3 x- 1

Sea u x
2

= +1 . Entonces, tenemos que:

fu
( )
=
3( u- - 1) 1

u- -
2
3 3 1
=

u-
2
3 4
=
2

De donde, obtenemos que:

fx ( )
=
x-
3 4

Inyectiva Sobreyectiva Biyectiva

Si Si y R, ∈ f es
fx fy entonces existe biyectiva.
x- y- y
( ) = ( )

3 4
=
3 4
x =
2 +4
∈ R
x- y-
2 2 3

3 4 = 3 4 tal que:
x y fx y
x-
3 = 3 ( ) =

x = y 3 4 = y
Así, f es
x- y
2

inyectiva. 3 4 = 2

x y
y
3 = 2 +4

x =
2 +4

Así, f es
3

sobreyectiva.
Luego, como f es biyectiva, tenemos que:
f - 1
( x )
=
2 x +4

para todo x R.
3

Así, tenemos que:

f - 1
∘ g - ( 2) = f - g-
1
( ( 2))

= f - -
1
- 3( 2) 1

= f -
- 1
7

2
 2 - 7

2
+4

-
3

= 1

Ejemplo. Sean f g R R funciones. Si

x - y g- x x . Determinar el
, : ⟶

fx
( + 9) =
5 3
1
( ) =
8 +7

f g
2 3

valor de - 1
∘ (0)

a- ) 3

b- ) 2

c- ) 1

d ) 2

e Ninguno de los anteriores

)

Solución. En primer lugar, notemos que:

g - 1
g x x
∘ ( ) =

g - gx x
1

gx
( ( )) =

8 ( x )+7 =

gx x
3

g x x-
8 ( )+7 = 3

( ) 3 7
=

para todo x R.
8

Por otro lado, notemos que:

fx ( + 9)
=
5 x- 3

Sea u x
2

= +9 . Entonces, tenemos que:

fu
( )
=
5( u- - 9) 3

u- -
2
5 45 3
=

u-
2
5 48
=
2

De donde, obtenemos que:

fx ( )
=
5 x- 48

para todo x R.
2

Inyectiva Sobreyectiva Biyectiva

Si Si y R, ∈ f es biyectiva.
fx fy entonces existe
x- y- y
( ) = ( )

5 48
=
5 48
x =
2 + 48
∈ R
x- y-
2 2 5

5 48 = 5 48 tal que:
x y fx y
x-
5 = 5 ( ) =

x = y 5 48 = y
Así, f es
x- y
2

inyectiva. 5 48 = 2

x y
y
5 = 2 + 48

x =
2 + 48

Así, f es
5

sobreyectiva.
Luego, como f es biyectiva, tenemos que:
f - 1
( x )
=
2 x + 48

para todo x R.
5

Así, tenemos que:

f - 1
∘ g (0) = f - 1
g
( (0))

= f - 1
3(0) - 7

= f - 1
- 7

2 - 7

8
+ 48

=
5

- 7

4
+ 48
=

-
5
7+192

4
=
5
185

4
=
5
185
=
20
37
=
4

□
Proposición. Sea Y J es una familia de conjuntos
( 𝛼 ) 𝛼∈

indizada tales que Y B, para todo J. Si ⊆ 𝛼 ∈

f A B es una función, entonces:

𝛼

⋂J Y ⋂J
: ⟶

f - 1
𝛼
= f - 1
( Y 𝛼)

𝛼∈ 𝛼∈

Dem. En primer lugar, notemos que: Si

a∈ f⋂J Y , entonces f a ⋂J Y , es decir,
- 1
𝛼 ( ) ∈ 𝛼

f a Y , para todo J, a f Y para todo

𝛼∈ 𝛼∈

-
J, a ⋂ f Y , y recíprocamente.
1
( ) ∈ 𝛼 𝛼 ∈ ∈ ( 𝛼)

𝛼 ∈
- ∈
1
( 𝛼)

𝛼∈ J

Así, tenemos que f - 1

⋂J Y ⋂J f- Y
𝛼∈
𝛼 =

𝛼∈
1
( 𝛼) .
□
Ejemplo. Si f : R ⟶ R es una función tal que
fx
( ) = 2 x-
, entonces determinar a que es igual el
1

siguiente conjunto:
⋂n
∞

=0
f - 1
- - ∞, 1+2
-n

Solución. En primer lugar, por la proposición anterior,

notemos que:

⋂n
∞

=0
f - 1
- - ∞, 1+2
-n = f - 1
⋂n -
∞

=0
∞, - 1+2
-n

Por otro lado, notemos que:

⋂n -∞

∞, - 1+2
-n =

⋂n -
=0

-
∞
=
1

=0
∞, 1+
2
n
( - ∞, 0) ∩ - - ∞,
1

2
∩ - -
∞,
3

4
∩ ...
=

Representación gráfica:

R
⋮

- 1 0

Notemos que:
⋂n - - ∞

∞, 1+2
-n = ( - - ∞, 1]

En efecto, si x ⋂ -
=0

-
∞

∈ ∞, 1+2
-n , entonces
n
x - - -n para todo n N , es decir:
=0

∈ ∞, 1+2 ∈ 0

x - < 1+2
-n
para todo n N . Luego, obtenemos que:
∈ 0

n x n - -nlim ≤ lim 1+2

x -
→∞ →∞

n n ≤ 1 + lim

x -
→∞ 2

≤ 1

De donde, obtenemos que x - - . ∈ ( ∞, 1]

Si x - - , entonces tenemos que:

∈ ( ∞, 1]

x --n ≤ 1

0 < 2

x - -n < 1+2

para todo n N , es decir x - -

∈ ∈ ∞, 1+2
-n para

todo n N , de donde x ⋂ - -
0

∈ 0 ∈ ∞, 1+2
-n .
n =0

Finalmente, notemos que:

f - y
1
( ) = x
fx ( ) = y
x- y
y
2 1 =

x =
+1

De donde, obtenemos que:

f - 1
( x x
)
=
+1

Así, tenemos que:

⋂n
∞

=0
f - 1
- - ∞, 1+2
-n = f - 1
⋂n -
∞

∞, - 1+2
-n

f - -
=0

=
- 1
(( ∞, 1])

= ( - ∞, 0]