Skip to main content

Section Introduction

Let (X,d) be a metric space, and let A be a subset of X. We can make A into a metric space itself in a very straightforward manner. When we do so, we say that A is a subspace of X.

Preview Activity 11.1.

Let (X,d) be a metric space, and let A be a subset of X. To make the subset A into a metric space, we need to define a metric on A. For us to consider A as a subspace of X, we want the metric on A to agree with the metric on X. So we define d′:A×A→R by
dβ€²(a1,a2)=d(a1,a2)
for all a1,a2∈A. Note that d and dβ€² are different functions because they have different domains.

(a)

Show that dβ€² is a metric on A. Since dβ€² is a metric on A it follows that (A,dβ€²) is a metric space. The metric dβ€² is the restriction of d to AΓ—A and can also be denoted by dA.
Definition 11.1.
Let (X,d) be a metric space. A subspace of (X,d) is a subset A of X together with the metric dA from AΓ—A to R defined by
dA(a1,a2)=d(a1,a2)
for all a1,a2∈A.
We might wonder what, if any, properties of the space X are inherited by a subspace.

(b)

Let (X,d)=(R,dE) and let A=[0,1]. Let 0<a<1. Is the set [0,a) open in X? Is the set [0,a) open in A? Explain.

(c)

Let (X,d)=(R,dE) and let A=Z. What are the open subsets of A? Explain.

(d)

Let (X,d)=(R2,dE), let A={(x,0)∣x∈R} (the x-axis in R2), and let Z={(x,0)∣0<x<1}. Note that ZβŠ‚AβŠ‚X and we can consider Z as a subspace of A and X, and A as a subspace of X.