PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] subspace topology in a metric space (Theorem)
Theorem 1   Suppose $X$ is a topological space whose topology is induced by a metric $d$ , and suppose $Y\subseteq X$ is a subset. Then the subspace topology in $Y$ is the same as the metric topology when by $d$ restricted to $Y$ .

Let $d'\colon Y\colon Y\to \sR$ be the restriction of $d$ to $Y$ , and let \begin{eqnarray*} B_r(x) &=& \{ z\in X: d'(z,x)<r \}, \\ B'_r(x) &=& \{ z\in Y: d'(z,x)<r\}. \end{eqnarray*}The proof rests on the identity $$ B'_r(x)=Y\cap B_r(x), \quad x\in Y, r>0. $$ Suppose $A\subseteq Y$ is open in the subspace topology of $Y$ , then $A=Y\cap V$ for some open $V\subseteq X$ . Since $V$ is open in $X$ , $$ V=\cup \{ B_{r_i}(x_i) : i=1,2, \ldots \} $$ for some $r_i>0$ , $x_i\in X$ , and \begin{eqnarray*} A&=&\cup \{ Y\cap B_{r_i}(x_i) : i=1,2, \ldots \} \\ &=&\cup \{ B'_{r_i}(x_i) : i=1,2, \ldots \}. \end{eqnarray*}Thus $A$ is open also in the metric topology of $d'$ . The converse direction is proven similarly.




"subspace topology in a metric space" is owned by matte.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: converse, open, identity, proof, restriction, metric topology, subspace topology, subset, metric, induced, topological space
There is 1 reference to this entry.

This is version 2 of subspace topology in a metric space, born on 2005-05-21, modified 2006-10-15.
Object id is 7093, canonical name is SubspaceTopologyInAMetricSpace.
Accessed 1678 times total.

Classification:
AMS MSC54B05 (General topology :: Basic constructions :: Subspaces)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)