Do Finite Sets Really Lack Limit Points?

Click For Summary

Discussion Overview

The discussion revolves around whether finite sets lack limit points, exploring this question within the context of different topological spaces and metrics.

Discussion Character

  • Debate/contested

Main Points Raised

  • Some participants assert that finite sets do not have limit points in any metric space, citing the definition of limit points and the existence of a shortest distance between points in a finite set.
  • Others argue that the conclusion may depend on the topology applied to the universal set, suggesting that different topological structures could yield different results.
  • A participant mentions that in the case of the Euclidean metric on the real numbers, the standard topology is a Hausdorff space, implying that limit points are defined in a specific way.
  • Another participant introduces the concept of the indiscrete topology, stating that in this topology, every point can be a limit point of any set with at least two elements, challenging the generalization that finite sets lack limit points.
  • It is noted that the assertion holds true for T1 topological spaces, where distinct points can be separated by open sets.

Areas of Agreement / Disagreement

Participants do not reach a consensus; multiple competing views remain regarding the existence of limit points in finite sets depending on the topology used.

Contextual Notes

The discussion highlights the dependence on specific topological definitions and the implications of different metrics, indicating that assumptions about limit points may vary significantly across contexts.

dalcde
Messages
164
Reaction score
0
Is it true that finite sets don't have limit points?
 
Physics news on Phys.org
it depends on what topology u use on the unversal set
 
The real numbers and the Euclidean metric.
 
Yes, in any metric space, a finite set has no limit points. A point p is a limit point of set A if and only if, for any [itex]\delta> 0[/itex], there exist a point, q, of A other than p such that [itex]d(p,q)< \delta[/itex]. If A is a finite set, then there exist a "shortest" distance between points: M= min(d(p,q)) where the minimum is take over all pairs of points in A. Taking [itex]\delta[/itex] to be smaller than M shows that A cannot have any limit points.
 
with the eucliden metric on R we can deduct the standard topology on R which is a Hausdorff space so the set of limit points is close in R
 
Not true in general for topological spaces. For example, for any set X with the indiscrete topology [itex]\{\emptyset,X\}[/itex], every point is a limit point of every set with at least two elements.

But it's true for every T1 topological space. This means that for any two distinct points x and y, there is an open set containing x but not y.
 
Thanks!
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
462
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 53 ·
2
Replies
53
Views
7K
  • · Replies 8 ·
Replies
8
Views
2K