124.

Sean X e Y dos conjuntos; diremos que una familia de aplicaciones F = {f : X Y } separa puntos si para todo x, y X distintos existe f F tal que f (x) = f (y). (a) Pruebe que la familia de aplicaciones {fn : R [1, 1]}nN denidas como fn (x) = sen nx para n = 1, 2, . . . no separa puntos. (b) Demuestre que se (X, ) es un espacio topolgico y la familia C(X, R) de o las funciones continuas denidas en X con valores reales separa puntos; entonces X es Hausdor. SOLUCION: (a) Si tomamos x = 0 e y = 2 entonces para toda funcin fn F se tiene o que fn (x) = fn (y) x X: fn (x) = fn (0) = sen (n 0) = sen (0) = 0 fn (y) = fn (2) = sen (2n) = 0 Luego C(X, R) no separa puntos. (b) Veamos que si C(X, R) separa puntos, entonces X es Hausdor. Sean x, y X distintos; como C(X, R) separa puntos, existe f : X R continua tal que f (x) = f (y). Por otra parte, R es Hausdor, luego existen U y V entornos abiertos disjuntos de f (x) y f (y) respectivamente. Al ser f continua f 1 (U ) y f 1 (V ) son entornos abiertos de x e y respectivamente que son disjuntos.