Teórica IV - Funciones

Una función de Aen B es una asignación que a cada elemento de Ale asigna un (y exactamente
un) elemento de B .

Función
DEF:
Una relación Rde A en B es una función si para cada xen A existe un y en B y exactamente uno,
tal que (x, y) ∈ R.
Res una función si:
Mar Apr 6, 2021
1
∀x ∈ A, ∃! y ∈ B / x R y ∃!= "existe uno y sólo uno"

Dominio: Dom(f ) = {x ∈ A : ∃ y ∈ B con f (x) = y}

(se hace cuando existe x ∈ Aque no tiene asignación en B )

Imagen
DEF:
Sea f : A → B función
Im(f ) = {y ∈ B : ∃ x ∈ A con f (x) = y}

Igualdad entre funciones

Sean f , g : A → B funciones. Entonces

f = g ⟺ f (x) = g(x), ∀x ∈ A

Definiciones:
Sea f : A → B una función
1. f es inyectiva si dos elementos distintos de Asiempre van a parar a dos elementos distintos
de B .

x1 
​= x2 ⟹ f (x1 ) 
​ = f (x2 )
​ ​

O equivalentemente:

f (x1 ) = f (x2 ) ⟹ x1 = x2
​ ​ ​

f : A → B es inyectiva ⟺ ∃ g

 : B → A / g ∘ f = idA  ​
2. f es sobreyectiva si Im(f ) = B , es decir

∀ y ∈ B,  ∃ x ∈ A / f (x) = y

f : A → B es sobreyectiva ⟺ ∃ g

 : B → A / f ∘ g = idB  ​

siempre se puede restringir el conjunto de llegada a la imagen de la función para

volverla sobreyectiva

3. f es biyectiva si f es a la vez inyectiva y sobreyectiva.

O sea, f es biyectiva si f es función tal que:

∀ y ∈ B,  ∃! x ∈ A / f (x) = y

Composición de funciones
DEF:
Sean f : A → B y g : B → C funciones, entonces la función composición g ∘ f : A → C está
dada por:

g ∘ f (x) = g(f (x))

Función inversa
Si f : A → B es una función, quiere decir que:

∀ x ∈ A,  ∃! y ∈ B / f (x) = y

y si además f es biyectiva, quiere decir que:

∀ y ∈ B,  ∃! x ∈ A / f (x) = y

Entonces, si defino f −1 : B → Acomo f −1 (y) = x, donde xes el único elemento de Atal que
y = f (x), f −1 es la función inversa de f .

Relación con la composición

Si f −1 es la inversa de f , entonces:

f −1 ∘ f (x) = x,  ∀ x ∈ Dom(f ) = idDom(f ) ​

f ∘ f −1 (x) = x,  ∀ x ∈ Im(f ) = idIm(f ) ​

Proposición:
1. Sea f : A → B una función biyectiva
Entonces:

• f −1 ∘ f : A → Asatisface f −1 ∘ f = idA  ​

• f ∘ f −1 : B → B satisface f ∘ f −1 = idB  ​

2. Sea F : A → B una función y supongamos que existe g : B → Aque satisface que g ∘

f = idA y f ∘ g = idB , entonces f es biyectiva y g = f −1 .
​ ​