Topology Q: Show f is Continuous in X with d and A

  • Context: Graduate 
  • Thread starter Thread starter mbarby
  • Start date Start date
  • Tags Tags
    Topology
Click For Summary

Discussion Overview

The discussion revolves around proving the continuity of a function defined on a metric space. The function, denoted as f, maps points in a metric space X to the real numbers by measuring the distance from a point to a non-empty subset A of X. Participants are exploring the necessary steps and mathematical reasoning required to establish the continuity of this function.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant expresses uncertainty about how to begin the proof of continuity for the function f defined as f(x) = d(x, A).
  • Another participant suggests that the proof should show that if d(x, y) < δ, then |d(x, A) - d(y, A)| < ε, and proposes a preliminary step to prove a related inequality.
  • A third participant uses the triangle inequality to derive bounds on the difference |d(x, A) - d(y, A)|, indicating that it is bounded by d(x, y).
  • A later reply asserts that the derived inequality |d(x, A) - d(y, A)| ≤ d(x, y) implies continuity, although the connection to a formal proof is not fully articulated.

Areas of Agreement / Disagreement

Participants are engaged in a collaborative exploration of the proof, with some agreement on the use of the triangle inequality. However, there is no consensus on the complete proof or the best approach to take, as participants express varying levels of confidence and clarity in their reasoning.

Contextual Notes

Some assumptions about the properties of the metric space and the subset A may be implicit, and the discussion does not resolve all mathematical steps necessary for a complete proof of continuity.

Who May Find This Useful

This discussion may be useful for students studying topology, particularly those interested in the continuity of functions in metric spaces, as well as individuals seeking collaborative problem-solving approaches in mathematical contexts.

mbarby
Messages
12
Reaction score
0
hi all,
i am studying from croom's introduction to topology book. i came across such a question. and i don't have a clue as to how to start .
Let X be a metric space with metric d and A a non-empty subset of X. define f:X->IR by :

f(x): d(x,A), x E X (x is an element of X)
show that f is continuous.

also if you can point out a solution book for this book that would be rather nice, considering i am computer scientist studying the topic at home..
thx.
 
Physics news on Phys.org
Hi mbarby! :smile:

You'll need to prove that

[tex]d(x,y)<\delta~\Rightarrow~|d(x,A)-d(y,A)|<\varepsilon[/tex]

Can you first prove that

[tex]-d(x,y)<d(x,A)-d(y,A)<d(x,y)[/tex]
 
to prove that i use the triangular inequality
d(x,A) <= d(x,y)+d(y,A)
d(x,A) - d(y,A) <= d(x,y)

--->
-d(x,y) <= d(x,A) - d(y,A) <= d(x,y)

but honestly i couldn't connect it to any kind of a proof :/ ...
 
Last edited:
Doesnt that immediately imply

[tex]|d(x,A)-d(y,A)|\leq d(x,y)[/tex]

and this would imply continuity...
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 12 ·
Replies
12
Views
6K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K