A set is closed iff it equals an intersection of closed sets

Click For Summary
SUMMARY

The discussion centers on proving that a subset A of a metric space M is closed if and only if A equals the intersection of the closed sets N(A, ε) for ε > 0. The user successfully demonstrated the implication A ⊆ ∩N(A, ε) but seeks guidance on proving the reverse implication A ⊇ ∩N(A, ε). Key strategies discussed include utilizing the properties of open and closed sets and applying De Morgan's laws to establish the necessary relationships.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with open and closed sets in topology
  • Knowledge of De Morgan's laws in set theory
  • Ability to work with infimum and supremum in metric spaces
NEXT STEPS
  • Study the definitions and properties of closed sets in metric spaces
  • Learn about the relationship between open and closed sets, particularly in the context of metric spaces
  • Explore the concept of intersections of sets and their implications in topology
  • Review examples of proving set equalities in metric spaces
USEFUL FOR

Mathematics students, particularly those studying topology and analysis, as well as educators seeking to clarify concepts related to closed sets in metric spaces.

missavvy
Messages
73
Reaction score
0

Homework Statement



Let M be a metric space, A a subset of M, x a point in M.

Define the metric of x to A by

d(x,A) = inf d(x,y), y in A

For \epsilon>0, define the sets

D(A,\epsilon) = {x in M : d(x,A)<\epsilon}

N(A,\epsilon) = {x in M: d(x,A)\leq\epsilon}

Show that A is closed iff A = \bigcapN(A,\epsilon) for \epsilon>0

Homework Equations





The Attempt at a Solution



I was able to do the <= implication.
I'm having trouble doing the => one...

If I assume A is closed, all I know is that its compliment is open, which is a union of open sets... then should I just use that fact and DeMorgans laws to show A is in fact an intersection of those closed N(A,\epsilon)?

OR should I take an arbitrary point in A, and show it belongs to the intersection..??

Just need some help on what method I should try to use.

Thanks!
 
Physics news on Phys.org
So, for \Rightarrow, you must prove that

A=\bigcap{N(A,\varepsilon)}

There are 2 things to prove now: \subseteq and \supseteq. Only \supseteq is nontrivial. For this: take a point in the intersection, and prove that it is in A.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
12
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K