Definizione 1 Un punto x0 di R è punto di accumulazione (o punto limite) per X, se in ogni intorno di x0 cade almeno un punto di X distinto da x0. In simboli:
È necessario sottolineare che tale proprietà deve essere verificata in ogni intorno di x0. Inoltre, il punto x0 può appartenere o non appartenere ad X. Cioè
Proposizione Se in ogni intorno di x0 cade almeno un punto di X distinto da x0, necessariamente ne cadono infiniti.
Dim.
Procediamo per assurdo, asserendo che in un qualunque intorno di x0 cade un numero finito di punti di X\{x0}. Precisamente, se
è un intorno di x0 assegnato ad arbitrio, diciamo che ivi cadono i punti
Poniamo
per cui
Segue
essendo
Abbiamo quindi trovato un intorno di x0 in cui non cade alcun punto di X distinto da x0. Ne segue che x0 non è di accumulazione per X, ma ciò è contro l'ipotesi, da cui l'asserto.
Dalla proposizione appena dimostrata segue che un insieme dotato di almeno un punto di accumulazione, è necessariamente infinito. Per quanto precede, se x0 è di accumulazione per X, non è detto che x0 appartenga a X. Di contro se x0 appartiene a X e non è di accumulazione per X, significa che esiste almeno un intorno di x0 in cui non cade alcun elemento di X\{x0}. In tal caso diremo che x0 è punto isolato di x.
La definizione 1 riguarda la nozione di punto di accumulazione al finito. Rammentiamo la nozione di intorno di +oo e -oo:
Definizione 2 Sia X illimitato
+oo [-oo] è di accumulazione per X, se in ogni intorno di +oo [-oo] cade almeno un punto di X.