EJERCICIOS RESUELTOS DE FUNCIONES

f :C → D g :D → C
1. Sean las funciones y , dos funciones biyectivas. Si (g o f ) tiene
x a y = f (x ) t a s = g (t )
sentido, entonces demuestra que es biyectiva, justifica cada paso.

Primero debemos revisar si (g o f ) tiene sentido, de acuerdo a los teoremas vistos en clase,
la composición sólo tiene sentido si Dom g = Rec f , es decir que el conjunto de llegada de f
es igual al conjunto de partida de g , situación que es evidente.

Dado que se indica como hipótesis que tanto f como g son funciones biyectivas, entonces,
se establece por hipótesis que ambas son inyectivas y epiyectivas, es decir:

i. f inyectiva quiere decir: f ( x 1 ) = f ( x 2 ) ⇒ x 1 = x 2

ii. g inyectiva quiere decir: g (t 1 ) = g (t 2 ) ⇒ t 1 = t 2
iii. f epiyectiva quiere decir: y ∈ D ⇒ (∃! x ∈ C )( y = f ( x ))
iv. g epiyectiva quiere decir: s ∈ C ⇒ (∃! t ∈ D )(s = g (t ))

Pd. (g o f ) es biyectiva

a) Pd. (g o f ) es inyectiva

Pd . : (g o f )( x 1 ) = (g o f )( x 2 ) ⇒ x 1 = x 2 / Definición de inyectividad
EE . : (g o f )( x 1 ) = (g o f )( x 2 ) ⇔ g (f ( x 1 )) = g (f ( x 2 )) / Definición de composición
⇒ f ( x 1 = f ( x 2 ) / g es inyectiva Hip. ii.
⇒ x 1 = x 2 / f es inyectiva Hip. i.
∴ (g o f ) es inyectiva

b) Pd. (g o f ) es epiyectiva

Pd . : x ∈ Re c (g o f ) ⇒ (∃! s ∈ Dom (g o f ))(s = (g o f )(t )

EE . : x ∈ C ⇒ (∃! y ∈ D )( y = f ( x ) / f es función biyectiva
⇒ (∃! y ∈ D )(g ( y ) = g (f ( x )) / g es función biyectiva, g(y) = g(t), y = t
⇒ (∃! y ∈ D )(s = (g o f )( x )) / g es función biyectiva y (g o f ) bien definida
Basta tomar y = t ∧ x = s
∴ (g o f ) es epiyectiva

De a) y b) (g o f ) es biyectiva

1
2. Sean las funciones f : ℵ → ℵ ∪ {0} epiyectiva, tal que y = f (m ) , y g : ℵ → ℵ epiyectiva, tal
que z = g (n ) . Demostrar que h : ℵxℵ → ℵ , tal que h (m , n ) = f (m ) + g (n ) = t es epiyectiva.

Hipótesis:

i. f epiyectiva quiere decir: y ∈ ℵ ∪ { 0 } ⇒ ( ∃ m ∈ ℵ )( y = f ( m ))

ii. g epiyectiva quiere decir: z ∈ ℵ ⇒ ( ∃n ∈ ℵ)( z = g (n ))

Pd . : t ∈ ℵ ⇒ (∃(m , n) ∈ ℵxℵ)(h(m , n) = t )
EE . : t ∈ ℵ ⇒ t = f (m ) + g (n) ∈ ℵ / Clausura en ℵ
⇒ (∃m ∈ ℵ)( y = f (m )) ∧ (∃n ∈ ℵ)( z = g (n)) / f y g epiyectivas
⇒ (∃m ∈ ℵ ∧ n ∈ ℵ)( y + z = f (m ) + g (n))
⇒ (∃(m , n) ∈ ℵxℵ)( y + z = f (m ) + g (n)) / Definición de producto cruz
⇒ (∃(m , n) ∈ ℵxℵ)(t = f (m ) + g (n)) / Basta tomar (y + z = t)
∴ h es epiyectiva