Metric Space, Show that it's open

Click For Summary
SUMMARY

In the metric space (X,d), the set \{y ∈ X | d(y,x) > r\} is proven to be open for all r in the reals. The proof utilizes the definition of openness, which states that for every point x_0 in the set U, there exists a radius r > 0 such that the ball B_r is contained in U. By selecting a point a in the set where d(x,a) > r and constructing a neighborhood around a, the triangle inequality is applied to demonstrate that any point b within this neighborhood also satisfies d(x,b) > r.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with the definition of open sets in topology
  • Knowledge of the triangle inequality in metric spaces
  • Basic concepts of neighborhoods in metric spaces
NEXT STEPS
  • Study the definition of open sets in topology
  • Learn about the properties of metric spaces, specifically focusing on neighborhoods
  • Explore the triangle inequality and its applications in proofs
  • Investigate examples of open and closed sets in various metric spaces
USEFUL FOR

Mathematics students, particularly those studying topology and analysis, as well as educators looking to enhance their understanding of metric spaces and openness in mathematical contexts.

szklany
Messages
2
Reaction score
0
Let (X,d) be a metric space, and x is an element in X. Show that [tex]\{y \in X|d(y,x)>r\}[/tex] is open for all r in Reals.

I really need some help with this one, I have almost no idea on how I am meant to solve this.

The only thing i know is that I have to use the Openness definition, that states something like [tex]\forall x_0 \in U \exists r>0| B_r \in U[/tex], where in U is a subelement of the metric space (X,d).

But i don't know how to get started.
 
Physics news on Phys.org
szklany said:
Let (X,d) be a metric space, and x is an element in X. Show that [tex]\{y \in X|d(y,x)>r\}[/tex] is open for all r in Reals.

I really need some help with this one, I have almost no idea on how I am meant to solve this.

The only thing i know is that I have to use the Openness definition, that states something like [tex]\forall x_0 \in U \exists r>0| B_r \in U[/tex], where in U is a subelement of the metric space (X,d).

But i don't know how to get started.
Let a be a point in {y| d(x,y)> r}. Then d(x,a)> r. Construct the neighborhood about a with radius (d(x,a)- r)/2. If b is any point in that neighborhood, use the triangle inequality to show that d(x, b)> r also.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
20
Views
5K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
1
Views
2K
Replies
2
Views
2K