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 .
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
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
Let and let , then
or and so so f is continuous in an arbitrary so f is continuous on .