쓰고나니 notation이 너무 조잡스럽네요...;
: a metric on
defined by
: the standard metric on
Suppose is an extended metric of
on
and the induced topology by the metric
is equal to the standard topology
of
.
Let be the product topology of
and be the product topology of
.
Observe that is continuous.(well-known)
Consider a sequence on
with
.
Then since
converges to
over
.
However, trivially goes to
(
so there exists no such
.
다음검색