Difference between revisions of "Limit point"
From Maths
m |
m (→Common form) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
===Common form=== | ===Common form=== | ||
| − | For a [[Topological space]] <math>(X,\mathcal{J})</math>, <math>x\in X</math> is a limit point of <math>A</math> if every [[ | + | For a [[Topological space]] <math>(X,\mathcal{J})</math>, <math>x\in X</math> is a limit point of <math>A</math> if every [[Open set#Neighbourhood|neighbourhood]] of <math>x</math> has a non-empty [[Intersection|intersection]] with <math>A</math> that contains some point other than <math>x</math> itself. |
| + | |||
===Equivalent form=== | ===Equivalent form=== | ||
| − | <math>x</math> is a limit point of <math>A</math> if <math>x\in\text{Closure}(A-\{x\})</math> (you can read about [[Closure, | + | <math>x</math> is a limit point of <math>A</math> if <math>x\in\text{Closure}(A-\{x\})</math> (you can read about [[Closure, interior and boundary#Closure|closure here]]) |
{{Todo|Prove these are the same}} | {{Todo|Prove these are the same}} | ||
==Other names== | ==Other names== | ||
Latest revision as of 14:09, 16 June 2015
Contents
Definition
Common form
For a Topological space [math](X,\mathcal{J})[/math], [math]x\in X[/math] is a limit point of [math]A[/math] if every neighbourhood of [math]x[/math] has a non-empty intersection with [math]A[/math] that contains some point other than [math]x[/math] itself.
Equivalent form
[math]x[/math] is a limit point of [math]A[/math] if [math]x\in\text{Closure}(A-\{x\})[/math] (you can read about closure here)
TODO: Prove these are the same
Other names
- Accumilation point
Examples
[math]0[/math] is a limit point of [math](0,1)[/math]
Proof using first definition
Is is clear we are talking about the Euclidian metric
