Documentos de Académico
Documentos de Profesional
Documentos de Cultura
APLICACIONES 227
Tema 2. Aplicaciones
Definición A.2.1. Una correspondencia entre dos conjuntos A y B es un
subconjunto del producto cartesiano A×B. Una aplicación f entre dos conjuntos
A y B es una correspondencia que cumple que ∀a ∈ A, ∃!b ∈ B tal que (a, b) ∈ f ;
es decir, a cada a ∈ A se le asocia el único elemento b := f (a) ∈ B que cumple
(a, b) ∈ f .
Definición A.2.2. Sea f una aplicación entre los conjuntos A y B (en ade-
lante a esta situación la denotaremos por f : A → B). El conjunto A se denomina
conjunto de partida (o dominio) y el conjunto B se denomina conjunto de
llegada (o conjunto final). En el caso en que el espacio de llegada de una apli-
cación sea un conjunto de números se habla de función.
Demostración.
1. (⊆) Sea b ∈ f (A1 ∪A2 ), entonces existe a ∈ A1 ∪A2 de modo que f (a) = b.
Ası́ pues, si a ∈ A1 , entonces b = f (a) ∈ f (A1 ) (y si a ∈ A2 , entonces
b = f (a) ∈ f (A2 )). Por tanto b ∈ f (A1 ) ∪ f (A2 ).
(⊇) Dado que A1 ⊂ A1 ∪ A2 , entonces f (A1 ) ⊂ f (A1 ∪ A2 ) por el Ejer-
cicio A.3(1). Análogamente f (A2 ) ⊂ f (A1 ∪ A2 ). Ası́ pues f (A1 ) ∪
f (A2 ) ⊂ f (A1 ∪ A2 ) por el Ejercicio A.1(4)).
2. Como A1 ∩ A2 ⊂ A1 , se tiene que f (A1 ∩ A2 ) ⊂ f (A1 ) (Ejercicio A.3(1)).
Análogamente f (A1 ∩A2 ) ⊂ f (A2 ), y ası́ pues f (A1 ∩A2 ) ⊂ f (A1 )∩f (A2 )
(Ejercicio A.1(3)).
3. (⊆) Sea a ∈ f −1 (B1 ∪ B2 ), entonces por definición f (a) ∈ B1 ∪ B2 . Si
f (a) ∈ B1 , entonces a ∈ f −1 (B1 ), mientras que si f (a) ∈ B2 , entonces
a ∈ f −1 (B2 ). Por lo tanto a ∈ f −1 (B1 ) ∪ f −1 (B2 ).
(⊇) Como B1 ⊂ B1 ∪ B2 , entonces f −1 (B1 ) ⊂ f −1 (B1 ∪ B2 ) (Ejerci-
cio A.3(2)). Análogamente f −1 (B2 ) ⊂ f −1 (B1 ∪ B2 ). Por lo tanto
f −1 (B1 ) ∪ f −1 (B2 ) ⊂ f −1 (B1 ∪ B2 ) (Ejercicio A.1(4)).
4. (⊆) Dado que B1 ∩B2 ⊂ B1 y B1 ∩B2 ⊂ B2 , entonces, como anteriormente
se tiene que f −1 (B1 ∩ B2 ) ⊂ f −1 (B1 ), que f −1 (B1 ∩ B2 ) ⊂ f −1 (B2 )
y, por tanto, que f −1 (B1 ∩ B2 ) ⊂ f −1 (B1 ) ∩ f −1 (B2 ).
(⊇) Sea a ∈ f −1 (B1 ) ∩ f −1 (B2 ), entonces f (a) ∈ B1 y f (a) ∈ B2 , es decir,
f (a) ∈ B1 ∩ B2 . Por lo tanto a ∈ f −1 (B1 ∩ B2 ).
5. Sea b ∈ f (f −1 (B1 )), entonces por definición, existe a ∈ f −1 (B1 ) de modo
que f (a) = b. Como a ∈ f −1 (B1 ), entonces, por definición f (a) ∈ B1 . Por
lo tanto, b = f (a) ∈ B1 .
6. Sea a ∈ A1 , entonces f (a) ∈ f (A1 ) y por tanto a ∈ f −1 (f (A1 )).
7. Obsérvese que x ∈ f −1 (B1c ) si y solo si f (x) ∈ B1c , es decir, f (x) 6∈ B1 .
Esto es equivalente a que x 6∈ f −1 (B1 ), es decir, x ∈ (f −1 (B1 ))c .
TEMA 2. APLICACIONES 229
8. Por definición f −1 (B1 \ B2 ) = f −1 (B1 ∩ B2c ), ahora bien, por las pro-
piedades 4 y 7 se tiene que f −1 (B1 ∩ B2c ) = f −1 (B1 ) ∩ (f −1 (B2 ))c =
f −1 (B1 ) \ f −1 (B2 ).
Demostración.
1. Sea c ∈ C; por ser g sobreyectiva, existe b ∈ B tal que g(b) = c. Análo-
gamente, por ser f sobreyectiva, existe a ∈ A de modo que f (a) = b. Por
lo tanto (g ◦ f )(a) = g(f (a)) = g(b) = c.
2. Sean a, a0 ∈ A de modo que (g ◦ f )(a) = (g ◦ f )(a0 ). Por lo tanto g(b) =
g(b0 ), donde f (a) = b y f (a0 ) = b0 . Como g es inyectiva, entonces b = b0 ,
es decir, f (a) = f (a0 ). Ahora, como f es inyectiva, se tiene que a = a0 .
3. Es consecuencia de 1 y 2.
4. Veamos que 1A es inyectiva. Para ello, si a, a0 ∈ A y 1A (a) = 1A (a0 ),
entonces, por definición a = 1A (a) = 1A (a0 ) = a0 . La aplicación 1A es
trivialmente sobreyectiva, ya que 1A (a) = a ∀a ∈ A.
5. Si g no fuera sobreyectiva, entonces g(B) $ A, por lo tanto g(f (A)) ⊂
g(B) $ A, por lo tanto g ◦ f no serı́a sobreyectiva.
6. Si f no fuera inyectiva, entonces existirı́an a, a0 ∈ A con a 6= a0 y f (a) =
f (a0 ), por lo tanto (g ◦ f )(a) = g(f (a)) = g(f (a0 ))(g ◦ f )(a0 ), es decir, g ◦ f
no serı́a inyectiva.
3. 1−1
A = 1A ,
4. (g ◦ f )−1 = f −1 ◦ g −1 ,
5. (a) (f −1 ◦ f ) = 1A ,
(b) (f ◦ f −1 ) = 1B .
6. Si C = A, f es biyectiva y f ◦ g = 1B , entonces g = f −1 .
7. Si C = A, f ◦ g = 1B y g ◦ f = 1A , entonces f es una biyección y g = f −1
{x ∈ A | f (x) ∈ B1 } = {f −1 (y) | y ∈ B1 }.
Demostración.
232 A. GENERALIDADES DE TEORÍA DE CONJUNTOS