Correctness of Statements about Set A in Metric Space X

  • Context: MHB 
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Set
Click For Summary
SUMMARY

The discussion centers on the properties of the set \( A = \{ x \in \mathbb{R} \setminus \mathbb{Q} : 0 \leq x \leq 1 \} \) within the metric space \( X = \mathbb{R} \setminus \mathbb{Q} \). It is established that the boundary \( \partial A \) is empty, confirming that \( A \) is both open and closed (clopen), thus making statement (b) correct. Statements (a), (c), and (d) are proven incorrect, while the completeness of \( A \) as a metric space remains unresolved, with the potential for further exploration regarding Cauchy sequences.

PREREQUISITES
  • Understanding of metric spaces, particularly \( \mathbb{R} \setminus \mathbb{Q} \)
  • Familiarity with the concepts of open and closed sets in topology
  • Knowledge of boundaries and complements in set theory
  • Basic understanding of Cauchy sequences and completeness in metric spaces
NEXT STEPS
  • Study the definitions and properties of clopen sets in topology
  • Learn about the implications of a set being bounded and closed in metric spaces
  • Investigate Cauchy sequences and their role in determining completeness of metric spaces
  • Explore the concept of boundaries in topology through additional resources or articles
USEFUL FOR

Mathematicians, students of topology, and anyone interested in the properties of metric spaces and set theory will benefit from this discussion.

  • #31
Furthermore, since $A$ has empty interior, $A$ cannot be open, making (c) the correct answer.
 
Physics news on Phys.org
  • #32
Euge said:
I do not see how $A$ has empty boundary. The closure of $A$ is $[0,1]$ since the irrationals are dense in the reals, and $A$ has empty interior since the rationals are dense in the reals. So wouldn't $\partial A$, being $\bar{A} - \operatorname{Int}(A)$, equal $[0,1]$?
The topology is $X=\mathbb R\setminus\mathbb Q$ with the usual metric.
So none of the rationals can be part of either the interior or the boundary.
So the closure of $A$ is $[0,1]\setminus \mathbb Q$, which is the same as the interior of $A$, making the boundary $\partial A$ empty, doesn't it?
 
  • #33
Looking back at the original question, it appears that I overlooked that $A$ inherits the subspace topology relative to $X$, not to $\Bbb R$. My apologies. Certainly $A = (0,1) \cap X$, which is relatively open in $X$, and $X - A = (\Bbb R - \Bbb [0,1]) \cap X$, which is relatively open in $X$; thus, $A$ is both open and closed in $X$, so that $A$ has empty boundary.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K