 mathdynamics

# Continuous function

Let and be two topological spaces and a function.The function f is said continuous in if and only if for all V a neighborhood of f(x) we have is a neighborhood of x. f is continuous on X if and only if f is continuous in any .
Theorem
Let and be two topological spaces and a function. The following statement are equivalent
(i) f is continuous on X;
(ii) we have ;
(iii) closed in we have is closed in ;
(iv) we have ;
(v) we have Proof. Let . means that is open in . But a set is open if and only if the set is a neighborhood for any of its points.
So, let then but is open in so and as f is continuous in x we have and so is a neighborhood for any of its points, so it is open. Let F be closed in Y. Then is open in Y and by (ii) is open in X, so is closed in X. Let be . As we have . But from (iii) as is closed in , is closed in and if a set is included in a closed set, its closure is equally included in the same closed set, so ; Let , then = or  Let and let , then or and so so f is continuous in an arbitrary so f is continuous on .