Using int A = X\clA to Deduce clA = X\intA

  • Thread starter Thread starter mona88
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the relationship between the interior and closure of a set A within a metric space X. It establishes that the interior of the complement of A, denoted as int(X\A), is equal to the complement of the closure of A, represented as X\clA. Furthermore, it demonstrates that the closure of A can be expressed as clA = X\int(X\A) by utilizing De Morgan's Laws. This conclusion is reached through the definitions of interior and closure in the context of metric spaces.

PREREQUISITES
  • Understanding of metric spaces and their properties.
  • Familiarity with the concepts of interior and closure of sets.
  • Knowledge of De Morgan's Laws in set theory.
  • Basic proficiency in mathematical proofs and logical reasoning.
NEXT STEPS
  • Study the definitions and properties of interior and closure in metric spaces.
  • Explore De Morgan's Laws and their applications in set theory.
  • Investigate examples of metric spaces to solidify understanding of these concepts.
  • Learn about open and closed sets in the context of topology.
USEFUL FOR

Mathematicians, students studying topology or analysis, and anyone interested in the properties of metric spaces and set theory.

mona88
Messages
1
Reaction score
0
X is a metric space and A \subseteq X
Use int A = \cup{0\subseteqX : O open and O \subseteqA} to deduce that clA= \cap{C\subseteqX : C closed and A \subseteq C}.


i have proved that int(X\A) = X\(clA) and cl(X\A) = X\(intA)


I tried to prove it starting with x\in the intersection of C, where C is closed
if and only if x \notin X\C, where X\C is open
Then B(x, r) \notin X\C, where B(x,r) is the open ball, centre x, radius r,
so, x \notin int(X\C), and hence x \notin X\clC
therefore x \incl C. And hence,must also be in the closure of A.
 
Physics news on Phys.org
mona88 said:
X is a metric space and A \subseteq X
Use int A = \cup{0\subseteqX : O open and O \subseteqA} to deduce that clA= \cap{C\subseteqX : C closed and A \subseteq C}.


i have proved that int(X\A) = X\(clA)

So you can say clA = X\int(X\A) . Use that and De Morgan's Laws to prove the result.
 

Similar threads

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