Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Funciones y relaciones
Lección 3. Funciones
Debido a que ya es práctica común definir una función como una cierta
relación, lo haremos de esta manera, sin previas justificaciones.
Por ejemplo, f = {(1, 2), (2, 2), (3, 1), (4, 3)} es una función.
Su dominio es D(f ) = {1, 2, 3, 4} y su recorrido es R(f ) = {1, 2, 3}.
La relación R = {(2, 1), (2, 2), (a, b)} no es una función ya que las parejas
ordenadas (2,1) y (2,2) poseen la misma primera componente.
2.15 Definición
i) D(f ) = A y
ii) R(f ) ⊆ B.
i) D(f ) = A y
ii) R(f ) ⊆ B.
1
cual A = D(f ) y B ⊇ R(f ). Por este motivo es costumbre notarla o
algo semejante. Al conjunto B se le llama comnmente la meta de f , el conjunto
de llegada de f o el codominio de f .
Ejemplos de funciones.
f = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}
3. Si A es subconjunto de B, a la función
2
j:A→B
x→x
Nótese que aun cuando todos los elementos de A tienen la misma ima-
gen, no se está violando la definición de función ya que cada elemento
de A sigue estando relacionado con un único elemento de B. Lo que la
definición prohı́be es que algún elemento de A esté relacionado con dos o
más de B.
Por ejemplo si
3
b) La función g : [0, +∞) → [0, +∞) definida por g(x) = x2 .
Nótese que f = g puesto que poseen dominios y codominios difer-
entes. Además si pensamos en nuestra definición inicial de función,
g ⊂ f.
c) Las primeras funciones trigonométricas
Pr1 : A × B → A Pr2 : A × B → B
(x, y) → x (x, y) → y
4
Demostración
Una demostración más rutinaria serı́a:
(x, y) ∈ f ∪ g ∧ (x, z) ∈ f ∪ g
↔ (x, y) ∈ f ∨ (x, y) ∈ g ∧ (x, z) ∈ f ∨ (x, z) ∈ g
↔ (x, y) ∈ f ∧ (x, z) ∈ f ∨ (x, y) ∈ f ∧ (x, z) ∈ g
∨ (x, y) ∈ g ∧ (x, z) ∈ f ∨ (x, y) ∈ g ∧ (x, z) ∈ g
Siendo disyuntos los dominios de f y g, las posibilidades 2a. y 3a. son falsas,
ası́ que se deduce
(x, y) ∈ f ∧ (x, z) ∈ f ∨ (x, y) ∈ g ∧ (x, z) ∈ g
5
f (u) = f (v) → u = v.
Las funciones de los ejemplos 1) y 2) son inyectivas, como puede verse por
simple inspección; también lo es la del ejemplo 3) puesto que si u = v, j(u) =
u = v = j(v); la función correspondiente al diagrama sagital del ejemplo 4) no
es uno a uno debido a que todos los elementos poseen como imagen el número
3; la aplicación f : R → R dada por f (x) = x2 no es una inyección ya que en
particular f (−2) = (−2)2 = 4 = 22 = f (2) y −2 = 2; en cambio g : [0, +∞) →
[0, +∞) definida por g(x) = x2 , sı́ es inyectiva puesto que si g(u) = u2 = v 2 =
g(v), entonces |u| = |v| y como u, v ≥ 0, se tiene que |u| = u y |v| = v, luego
u = v (hemos empleado la forma contrarrecı́proca de la definición).
f ×g :A×C →B×D
(x, y) → (f (x), g(y)).
(f (u), g(v)) de donde f (x) = f (u) ∧ g(y) = g(v) y como f y g son inyectivas,
x = u ∧ y = v, luego (x, y) = (u, v).
Con respecto a f ∪ g tenemos el resultado siguiente:
6
2.20 Definición Se dice que una función f : A → B es sobreyectiva
si todos los elementos de su codominio son imágenes por f de elementos del
dominio, es decir si R(f ) = B.
En otra forma:
f :A→B es sobreyectiva ↔ (∀y ∈ B)(∃x ∈ A)(f (x) = y).
También se dice en este caso que f es una función de A sobre B.
Por ejemplo la función idéntica de cualquier conjunto es sobreyectiva; también
lo es g : [0, +∞) → [0, +∞) definida por g(x) = x2 , ya que 0 = g(0) y dado
√
cualquier real y > 0, su raı́z cuadrada positiva existe y g( y) = y. En cambio
2
la aplicación f (x) = x de R en R no es sobreyectiva, debido a que ningún real
negativo es el cuadrado (es la imagen) de un número real.
Las funciones trigonométricas sen, cos : R → R no son sobreyectivas ya que
R(sen) = R(cos) = [−1, 1], ası́ que cualquier real menor que −1 o mayor
que 1 no es imagen por la función sen ni por cos de otro real, mientras que
tan : (−π/2, π/2) → R, sı́ es sobreyectiva (e inyectiva!).
Obsérvese que f : A → B es sobreyectiva si y sólo si R(f ) = B. Con respecto
a las funciones f × g y f ∪ g definidas anteriormente se cumple que:
7
2.23 Definición Se dice que una función f : A → B es biyectiva (o que
es una biyección de A en B o que es una correspondencia biunı́voca) si f
es simultáneamente inyectiva y sobreyectiva.
Teniendo en cuenta los ejemplos analizados, g(x) = x2 de [0, +∞) en [0, +∞)
y tg : (−π/2, π/2) → R son biyectivas, lo mismo que la función idéntica
IA : A → A. Además:
8
efecto, si y ∈ f ( M ∈C M ), entonces y es imagen por f de algún elemento
En
x ∈ M ∈C M , es decir (∃x)(∀M ∈ C)(x ∈ M ∧ y = f (x)) de donde,
En consecuencia {x1 } ∩ {x2 } no podrá ser vacı́o (puesto que y debe ser im-
agen de un elemento de dicha intersección); siendo unitarios los dos conjuntos,
necesariamente deberán ser iguales, es decir, x1 = x2 probándose que f es in-
yectiva.
http://www.virtual.unal.edu.co