Continuous Function: Showing f is Continuous

  • Context: Graduate 
  • Thread starter Thread starter CarmineCortez
  • Start date Start date
  • Tags Tags
    Continuous Function
Click For Summary
SUMMARY

The discussion focuses on proving the continuity of the function f defined as f(x) = d(a, x) in a metric space (X, d). Participants clarify that the function is not limited to a specific metric and emphasize the importance of the four properties of metrics. The key to demonstrating continuity lies in showing that if |f(x) - f(y)| < ε, then there exists a δ such that d(x, y) < δ, utilizing the Triangle Inequality property of metrics.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with the concept of continuity in mathematical functions
  • Knowledge of the Triangle Inequality in metric spaces
  • Basic proficiency in LaTeX for mathematical notation
NEXT STEPS
  • Study the properties of metric spaces in detail
  • Learn how to apply the Triangle Inequality in proofs
  • Explore examples of continuous functions in various metric spaces
  • Practice writing proofs for continuity using ε-δ definitions
USEFUL FOR

Mathematics students, educators, and anyone studying real analysis or topology who seeks to understand the concept of continuity in metric spaces.

CarmineCortez
Messages
30
Reaction score
0
I have an assignment question

" let (X,d) be a metric space. a is element of X. Define a function f maps X -> R by f(x) = d(a,x). show f is continuous."

I'm not sure what this function looks like. Is f(x) = sqrt(a^2+x^2) and if it is I need abs(x-a) < delta?? I'm confused.
 
Physics news on Phys.org
CarmineCortez said:
I'm not sure what this function looks like. Is f(x) = sqrt(a^2+x^2)

That would be one possibility, but the problem, as written, is not specific to a particular metric. You need to show the result for an arbitrary metric. Note that all metrics have the following 4 properties:

1) [itex]d(x,y) \geq 0[/itex]
2) [itex]d(x,y) = 0[/itex] if and only if [itex]x = y[/itex]
3) [itex]d(x,y) = d(y,x)[/itex]
4) [itex]d(x,z) \leq d(x,y) + d(y,z)[/itex]

CarmineCortez said:
and if it is I need abs(x-a) < delta?? I'm confused.

What you want to show is that if [itex]|f(x) - f(y)| < \epsilon[/itex], then there exists some [itex]\delta[/itex] such that [itex]d(x,y) < \delta[/itex]. Given the construction of [itex]f(x)[/itex] used here, I would expect property 4 (aka the Triangle Inequality) to be useful here.

Sorry - LaTeX rendering seems to be broken. Please refer to the underlying text in the meantime (hit quote and you will see it).
 
I think I have it now, is delta = epsilon? from the triangle inequality? if d(a,x),d(a,x_o) < epsilon/2
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K