In: Advanced Math
A function f : X ------> Y between two topological spaces ( X , TX ) and ( Y , TY ) is called a homeomorphism it has the following properties:
a) f is a bijection (one - to- one and onto )
b) f is continuous
c) the inverse fucntion f -1 is continuous ( f is open mapping)
A function with these three properties is sometimes called bicontinuous . if such a function exists, we say X and Y are homeomorphic.
show that a complete metric space R is homeomorphic to the metric space ( 0 , 1 ), which is not complete . Metric defined as an ab solute value of the difference
Define a map
as
(a). f is one-one and onto:
one-one: for
and hence is one-one.
is
onto: for take an arbitrary
.
Then, we find an
such that
. For,
Note that for ,
and hence
is a number in
Thus,
there exists
such that
and hence
is
onto.
(b). is
continuous: We know that
is a continuous function and qutotient of two continuous function
(with nonzero denominator ) is continuous .
(c). is
also continuous: Note that for
,
which is continuous (since the log function is continuous and composition of continuous maps are continuous).
Hence and
are
homeomorphic .
But is not a
complete metric space since
is a Cauchy sequence in
which
does not converge in
.