Discussion Overview
The discussion revolves around whether a non-empty dense set can have isolation points, exploring various topological contexts and examples. Participants examine the properties of dense sets in different topologies, particularly focusing on subsets of real numbers and integers.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
Main Points Raised
- One participant suggests that a non-empty dense set cannot have isolation points because any ball around a point will contain another point, implying density precludes isolation.
- Another participant points out that in the subspace topology on integers, every point is isolated, despite the set being dense in itself.
- A participant questions the scenario when the dense subset is the irrationals, \(\mathbb{R} \setminus \mathbb{Q}\), and notes that in the subspace topology, this set has no isolated points.
- It is mentioned that in the discrete topology, every point in \(\mathbb{R} \setminus \mathbb{Q}\) becomes an isolated point, although this topology loses the property of density in the reals.
- A further example is provided where a modified topology on \(\mathbb{R}\) allows \(\mathbb{R} \setminus \mathbb{Q}\) to remain dense while also having an isolated point, specifically \(\sqrt{2}\).
Areas of Agreement / Disagreement
Participants express differing views on the existence of isolation points in dense sets depending on the topology considered. There is no consensus on a definitive answer, as multiple perspectives and examples are presented.
Contextual Notes
The discussion highlights the dependence on the choice of topology when determining the properties of dense sets, indicating that assumptions about density and isolation points can vary significantly based on the context.