1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Simple Analysis Question: Showing a Set is Closed

  1. Mar 8, 2012 #1
    1. The problem statement, all variables and given/known data

    Suppose [itex]S[/itex] is a nonempty closed subset of [itex]\mathbb{R}^n[/itex], and let [itex]x \in \mathbb{R}^n[/itex] be fixed. Show that [itex]A = \{d(x, y) : y \in S\}[/itex] is closed.

    2. Relevant equations

    A set is closed if its complement is open, or if it contains all of its limit points.

    3. The attempt at a solution

    I first defined a function [itex]f : S \to \mathbb{R}[/itex] by [itex]f(y) = d(x, y)[/itex]. Notice that [itex]f[/itex] is continuous. Then [itex]A[/itex] is not open because [itex]S[/itex] is closed (if [itex]A[/itex] is open then [itex]f^{-1}(A)[/itex] is open). However, this doesn't show that [itex]A[/itex] is closed.

    I feel like I have the intuition, but actually showing this is frustrating. Help would be greatly appreciated!
     
    Last edited: Mar 8, 2012
  2. jcsd
  3. Mar 8, 2012 #2
    So, what definition/characterization of closed would you like to use?? I like the sequence definition, do you know that one?
     
  4. Mar 8, 2012 #3
    I think so. That definition states that the limit of a convergent sequence is contained in [itex]A[/itex] if and only if [itex]A[/itex] is closed. So to show that [itex]A[/itex] is closed, I would start with an arbitrary convergent sequence of points of [itex]A[/itex], say [itex](p_n) \to p \in \mathbb{R}[/itex], where [itex](p_n) \subset A[/itex]. I then need to show that [itex]p \in A[/itex]. I am probably going to use the closedness of [itex]S[/itex] in this right?
     
  5. Mar 8, 2012 #4
    Yes. So take a convergent sequence [itex](x_n)_n[/itex] in A. We know that we can write [itex]x_n=d(x,y_n)[/itex] for some [itex]y_n\in S[/itex]. Can you show that the [itex](y_n)_n[/itex] is Cauchy?
     
  6. Mar 8, 2012 #5
    How about this: Since [itex](d(x, y_n))[/itex] is convergent, for all [itex]\varepsilon > 0[/itex], there exists an [itex]N > 0[/itex] such that
    [itex]d(x, y_n) < \frac{\varepsilon}{2}[/itex]
    when [itex]n > N[/itex]. Therefore, when [itex]m, n > N[/itex], we have
    [itex]d(y_n, y_m) \leq d(y_n, x) + d(x, y_m) < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon[/itex],
    which shows that [itex](y_n)[/itex] is Cauchy. Since [itex]S[/itex] is complete, we have that [itex](y_n)[/itex] converges to a point of [itex]S[/itex]. Then since [itex]f[/itex] is continuous, [itex](x_n)[/itex] converges to a point of [itex]A[/itex]?
     
  7. Mar 8, 2012 #6
    Right. That's ok, I think.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook