Tarea N° 3

− x 2 + 3x − 2 si x ≤ 3

I) Dada f : R → R / f ( x ) =  x + 1
 si x > 3
 2
i) Justificar que f es función.
ii) Clasificarla.
iii) Investigar si existe f
f ; en caso afirmativo, hallarla.

i) Para justificar que f es función recurro a la definición y veo si cumple con las tres
condiciones exigidas para que una relación sea función.
∀x, x ∈ ℝ, ∃y, y ∈ ℝ, ( x, y ) ∈ f
Esta condición se cumple porque la suma, la resta, la multiplicación y la división de
números reales me darán otro número real. Por lo tanto, para cada número real que tome
perteneciente al conjunto de partida y le aplique la relación f obtendré otro número
perteneciente al conjunto ℝ de llegada.
∀x, x ∈ ℝ, ∀y, y ∈ ℝ, ( ( x, y ) ∈ f ∧ ( x, z ) ∈ f ⇒ ( y = z ) )
Como las operaciones anteriores dan un único resultado, entonces el número real
correspondiente de x será único.
f ⊂ ℝ×ℝ
f está incluida en el producto cartesiano ℝ × ℝ porque f es una relación.
Por lo expuesto anteriormente se concluye que f es una función.

El gráfico de la función f es el siguiente:

ii) Método Gráfico:
f es inyectiva ⇔ ∀x , x ∈ ℝ , ∀w , w∈ ℝ , x ≠ w ⇒ f ( x ) ≠ f ( w )

Contraejemplo:
1 ≠ 2 ∧ f (1) = f ( 2 ) = 0 ⇒ f NO es INYECTIVA.

f es sobreyectiva ⇔ ∀y , y ∈ ℝ , ∃x , x ∈ ℝ , f ( x) = y

Contraejemplo:
El 1 no tiene pre-imagen ⇒ f NO es SOBREYECTIVA.

 1
iii) Por la parte anterior R ( f ) =  −∞,  ∪ [ 2, +∞ ) ⇒ R ( f ) ⊂ ℝ
 4
∃ ( f
f ) ⇔ R ( f ) ⊂ ℝ . Por lo dicho anteriormente se concluye que ∃ ( f
f )

…Dado x …

♣ Si x ≤ 3 ⇒ f ( x ) = − x 2 + 3x − 2

…Dado − x 2 + 3 x − 2 …
(1) (El estudio de − x 2 + 3 x − 2 se encuentra al final de este esquema)

Si − x 2 + 3 x − 2 ≤ 3 ( es decir que la inecuación se cumple para todo x ∈ ℝ )
f ( − x 2 + 3 x − 2 ) = − ( − x 2 + 3x − 2 ) + 3 ( − x 2 + 3 x − 2 ) − 2
2
⇒
def . f

⇔
f ( − x 2 + 3x − 2 ) = − ( x 4 − 3x3 + 2 x 2 − 3 x3 + 9 x 2 − 6 x + 2 x 2 − 6 x + 4 ) − 3 x 2 + 9 x − 6 − 2
⇔ f ( − x 2 + 3 x − 2 ) = − ( x 4 − 6 x 3 + 13 x 2 − 12 x + 4 ) − 3 x 2 + 9 x − 6 − 2
⇔ f ( − x 2 + 3 x − 2 ) = − x 4 + 6 x 3 − 13 x 2 + 12 x − 4 − 3 x 2 + 9 x − 6 − 2
⇔ f ( − x 2 + 3 x − 2 ) = − x 4 + 6 x 3 − 16 x 2 + 21x − 12
⇔ f ( f ( x ) ) = − x 4 + 6 x3 − 16 x 2 + 21x − 12
⇔ ( f
f )( x ) = − x 4 + 6 x3 − 16 x 2 + 21x − 12

Si − x 2 + 3 x − 2 > 3 Dicha situación no se puede dar ya que
− x 2 + 3 x − 2 ≤ 3 ∀x , x ∈ ℝ

x +1
♣ Si x > 3 ⇒ f ( x ) =
2

x +1
…Dado …
2
x +1
(2) (El estudio de se encuentra al final de este esquema)
2
x +1

Si ≤ 3 ( es decir que la inecuación se cumple para todo x ≤ 5 )
2
 x +1   x +1   x +1 
2

⇒ f  = −  + 3 −2
 2   2   2 
( x + 1) + 3 x + 1 − 2
2
 x +1
⇔ f =− ( )
 2  22 2
 x +1 x2 + 2 x + 1 3 3
⇔ f  = − + x+ −2
 2  4 2 2
 x +1 x2 2 x 1 3 3
⇔ f  = − − − + x+ −2
 2  4 4 4 2 2
 x +1
2
x x 1 3 3
⇔ f  = − − − + x+ −2
 2  4 2 4 2 2
 x +1 1 2 3
⇔ f =− x +x−
 2  4 4
f ( f ( x )) = − x + x −
1 2 3
⇔
4 4
1 2 3
⇔ ( f
f )( x ) = − x + x −
4 4

x +1

Si > 3 ( es decir que la inecuación se cumple para todo x > 5 )
2
 x +1 x +1+ 2
  +1
 x +1   2   x +1  2
⇒ f = ⇔ f =
def . f
 2  2  2  2
 x +1 x + 3 x+3
⇔ f = ⇔ f ( f ( x )) =
 2  4 4
 x+3
⇔ ( f
f )( x ) =
4
(1) Estudio: − x 2 + 3 x − 2 ≤ 3
− x 2 + 3x − 2 ≤ 3 ⇔ − x 2 + 3x − 2 − 3 ≤ 0 ⇔ − x 2 + 3x − 5 ≤ 0
Estudio sg ( − x 2 + 3 x − 5 )
− x 2 + 3x − 5 = 0
−3 ± ( 3) − 4 ( −1)( −5 )
2
−3 ± 9 − 20 −3 ± −11
x= = = ⇒ x∉ℝ
2 ( −1) −2 −2

A partir de lo anterior se concluye que − x 2 + 3 x − 2 ≤ 3 ∀x , x ∈ ℝ

x +1
(2) Estudio: ≤3
2
x +1
≤ 3 ⇔ x + 1 ≤ 3 ( 2) ⇔ x + 1 ≤ 6 ⇔ x ≤ 6 −1 ⇔ x ≤ 5
2
x +1
Esto último implica que >3 ⇔ x>5
2

Por lo tanto, a partir de lo anterior se concluye que la función f compuesta consigo

misma está definida así:

− x 4 + 6 x3 − 16 x 2 + 21x − 12 x≤3

( f
f ) : ℝ → ℝ, ( f
f )( x ) = − x 2 + x −
1 3
3< x ≤5
 4 4
x+3
 4 x>5
 1 1 
II) Sean f : R 2 → R 2 , f ( x, y ) =  x, y  , g : R 2 → R 2 , g ( x, y ) = (0, y )
2 2 
i) Justificar que f y g son funciones.
ii) Representar, para cada una, un par de puntos correspondientes, y dar
una interpretación geométrica.
iii) Decir si son inyectivas y/o sobreyectivas. Justificar.
iv) Decir si existe f
g y/o g
f . En caso afirmativo, hallarlas.

i) Para justificar que f es función recurro a la definición de función y veo si cumple con las
tres condiciones exigidas para que una relación sea función.

∀( x, y ), ( x, y ) ∈ ℝ 2 , ∃( z , w), ( z , w) ∈ ℝ 2 ,[( x, y ), ( z , w)] ∈ f

Esta condición se cumple porque la multiplicación de números reales me dará otro número
real. Por lo tanto, para cada par de números reales que tome perteneciente al conjunto de
partida ℝ × ℝ y le aplique la relación f obtendré otro par de números perteneciente al
conjunto ℝ × ℝ de llegada.

∀( x, y ), ( x, y ) ∈ ℝ 2 , ∀( z , w), ( z , w) ∈ ℝ 2 , ∀(u , v), (u , v) ∈ ℝ 2 ,

([( x, y), ( z, w)] ∈ f ∧ [( x, y ), (u, v)] ∈ f ⇒ ( z, w) = (u, v) )
Como la operación anterior da un único resultado, entonces el par de números reales
correspondientes del par ( x, y ) será único.

f ⊂ ℝ2 × ℝ2
f está incluida en el producto cartesiano ℝ 2 × ℝ 2 porque f es una relación.

Conclusión: f es función.

De forma similar puedo concluir que g es función porque 0 e y son números reales.
ii)

1 1 
f : R 2 → R 2 , f ( x, y ) =  x, y 
2 2 

g : R 2 → R 2 , g ( x, y ) = (0, y )

Interpretación geométrica de f :
1 1 
La expresión analítica de f es f ( x, y ) =  x, y  por lo que dado un punto
2 2 
x y
A = ( x, y ) si le aplicamos f resulta el punto A′ =  ,  .
2 2

Sea O = ( 0, 0 ) , al aplicarle la función obtenemos que el correspondiente es el mismo

punto.
 La distancia del origen al punto A y la distancia del origen al punto A′ cumplen
d ( O, A ) 1
d ( O, A′ ) = ⇒ d ( O, A′ ) = d ( O, A)
2 2

d ( O, A′ )
Al tener un punto fijo ( O ) y una razón ( k = ) se concluye que dicha función
d ( O, A )
1 1 1 
representa a una homotecia de centro ( O ) y razón , es decir f ( x, y ) =  x, y  = H 1 .
2 2 2  O,
2

Interpretación geométrica de g :
La expresión analítica de g es g ( x, y ) = ( 0, y ) por lo que dado un punto A = ( x, y )
si le aplicamos f resulta el punto A′ = ( 0, y ) .
Como el transformado del punto tiene la misma ordenada que el punto inicial, se
concluye que ambos puntos pertenecen a una recta paralela al eje x , es decir que
dicha recta es perpendicular al eje y , por lo tanto se concluye que dicha función
representa a una proyección ortogonal sobre OY.

iii)
f es inyectiva ⇔ ∀ ( x1 , x2 ) , ( x1 , x2 ) ∈ ℝ 2 , ∀ ( w1 , w2 ) , ( w1 , w2 ) ∈ ℝ 2 , ( x1 , x2 ) ≠ ( w1 , w2 )
def

⇒ f ( x1 , x2 ) ≠ f ( w1 , w2 ) ⇔ ∀ ( x1 , x2 ) , ( x1 , x2 ) ∈ ℝ 2 , ∀ ( w1 , w2 ) , ( w1 , w2 ) ∈ ℝ 2 ,
Contrarecíproco

f ( x1 , x2 ) = f ( w1 , w2 ) ⇒ ( x1 , x2 ) = ( w1 , w2 ) .

 x1 w1
 x1 x2   w1 w2   2 = 2  x1 = w1
f ( x1 , x2 ) = f ( w1 , w2 ) ⇒  , = ,  ⇒  ⇒  ⇒
def . f
2 2  2 2  def . Par
Ordenado  x2 = w2  x2 = w2
 2 2
( x1 , x2 ) = ( w1 , w2 )
Se concluye que f es INYECTIVA.
f es sobreyectiva ⇔ ∀ ( y1 , y2 ) , ( y1 , y2 ) ∈ ℝ 2 , ∃ ( x1 , x2 ) , ( x1 , x2 ) ∈ ℝ 2 , f ( x1 , x2 ) = ( y1 , y2 )
def

 x1
 x1 x2   2 = y1  x1 = 2 y1 ∈ ℝ
f ( x1 , x2 ) = ( y1 , y2 ) ⇒  ,  = ( y1 , y2 ) ⇒  ⇒ 
def . f
2 2  def . Par
Ordenado  x2 = y  x2 = 2 y2 ∈ ℝ
 2 2

Se concluye que f es SOBREYECTIVA.

g es inyectiva ⇔ ∀ ( x1 , x2 ) , ( x1 , x2 ) ∈ ℝ 2 , ∀ ( w1 , w2 ) , ( w1 , w2 ) ∈ ℝ 2 , ( x1 , x2 ) ≠ ( w1 , w2 )
def

⇒ g ( x1 , x2 ) ≠ g ( w1 , w2 ) ⇔ ∀ ( x1 , x2 ) , ( x1 , x2 ) ∈ ℝ 2 , ∀ ( w1 , w2 ) , ( w1 , w2 ) ∈ ℝ 2 ,
Contrarecíproco

g ( x1 , x2 ) = g ( w1 , w2 ) ⇒ ( x1 , x2 ) = ( w1 , w2 ) .

0 = 0
g ( x1 , x2 ) = g ( w1 , w2 ) ⇒ ( 0, x2 ) = ( 0, w2 ) ⇒ 
def . g def . Par
Ordenado  x2 = w2

Si x1 ≠ w1 la condición anterior se sigue cumpliendo; es decir que existe un ( x1 , x2 ) y un

( w1 , w2 ) , con ( x1 , x2 ) ≠ ( w1 , w2 ) tal que g ( x1 , x2 ) = g ( w1 , w2 ) , por lo que se concluye que
g NO es INYECTIVA.

g es sobreyectiva ⇔ ∀ ( y1 , y2 ) , ( y1 , y2 ) ∈ ℝ 2 , ∃ ( x1 , x2 ) , ( x1 , x2 ) ∈ ℝ 2 , g ( x1 , x2 ) = ( y1 , y2 )
def

0 = y1  y1 = 0
g ( x1 , x2 ) = ( y1 , y2 ) ⇒ ( 0, x2 ) = ( y1 , y2 ) ⇒  ⇒ 
def . g def . Par
Ordenado  x2 = y2  y2 = x2

Como (1,3) ∈ ℝ 2 pero no cumple que la primer componente sea nula se concluye que g
NO es SOBREYECTIVA.

iv) Como estoy trabajando con funciones que están definidas de ℝ 2 en ℝ2 (dominio y
codominio real) el recorrido de una está incluido en el dominio de la otra por lo que se
concluye que existe tanto ( f
g ) como ( g
f ) .
Expresión analítica de ( f
g ) :

( f
g )( x, y ) = f ( g ( x, y ) ) = f ( 0, y ) =  ( 0 ) ,
1 1   y
y  =  0, 
2 2   2

( f
g )( x, y ) =  0, 
y
⇒ ( f
g ) : ℝ2 → ℝ2 ,
 2

Expresión analítica de ( g
f ) :

( g
f )( x, y ) = g ( f ( x, y ) ) = g    1 
1 1
x, y  =  0, y 
2 2   2 

( g
f )( x, y ) =  0, y 
1
⇒ ( g
f ) : ℝ2 → ℝ2 ,
 2 