Proposici

on 1.
Si f : A B y si E, F A, entonces
f (E) f (F ) f (E F )

Demostraci
on
Sea y f (E) f (F ) entonces por definicion y f (E) e y
/ f (F ), de donde
existe x E t.q. y = f (x) y para todo x0 F y 6= f (x0 ), de esto se deduce que
x no es elemento de F , i.e. x E F , por lo tanto y f (E F ), as que
f (E) f (F ) f (E F )
.
Proposici
on 2.
Si f : A B y si G, H B, entonces
1. f 1 (G H) = f 1 (G) f 1 (H)
2. f 1 (G H) = f 1 (G) f 1 (H)

Demostraci
on
1. Sea x f 1 (G H), entonces f (x) G H, es decir f (x) G o f (x) H,
de aqu que x f 1 (G) f 1 (H). Por lo tanto
f 1 (G H) f 1 (G) f 1 (H)
1

(1)
1

Por otro lado, sea x f (G) f (H), entonces x f (G) o x f (H),

por definici
on f (x) G o f (x) H, i.e. f (x) G H, por definicion de
preimagen; x f 1 (G H). As deducimos que
f 1 (G) f 1 (H) f 1 (G H),

(2)

de (1) y (2) se sigue el resultado.

2. Sea x f 1 (G H), entonces f (x) G H, esto es f (x) G y f (x)
/ H,
as que x f 1 (G) y x
/ f 1 (H), en smbolos x f 1 (G) f 1 (H). Esto
demuestra que
f 1 (G H) f 1 (G) f 1 (H).
(3)
Por otro lado sea x f 1 (G) f 1 (H), es decir x f 1 (G) y x
/ f 1 (H),
por la definici
on de preimagen deducimos que f (x) G y f (x)
/ H, es decir
f (x) G H; de aqu que x f 1 (G H). Con esto deducimos que
f 1 (G) f 1 (H) f 1 (G H),
de (3) y (4) se sigue el resultado.
1

(4)