Punto di accumulazione
Un punto di accumulazione di un insieme reale E è un punto x0 per il quale, comunque si scelga un intorno completo del punto stesso, esiste almeno un punto y dell'insieme E diverso da x0 e tale da appartenere all'intorno considerato.
In questa lezione vogliamo presentare la nozione di punto di accumulazione di un insieme in modo da iniziare a studiare le possibili relazioni tra punti e insiemi, con lo scopo successivo di studiare le proprietà dei sottoinsiemi reali a partire dall'analisi dei punti che li costituiscono, e non solo.
Definizione di punto di accumulazione
Consideriamo un generico insieme , e sia un punto qualsiasi non necessariamente appartenente all'insieme. Iniziamo col dare una definizione di punto di accumulazione che poi commentiamo con un po' di esempi.
Diciamo che è punto di accumulazione per l'insieme se, comunque scelto un intorno completo , risulta che contiene almeno un punto di diverso .
Una prima spiegazione sulla definizione di punto di accumulazione
Prestiamo attenzione alla definizione appena data, e soprattutto alle parole "comunque scelto un intorno completo". Per dire che un punto è un punto di accumulazione per un insieme non basta trovare almeno un intorno di tale da contenere almeno un punto di che sia diverso da . La proprietà deve essere soddisfatta per qualsiasi intorno del punto .
Trovare un intorno completo che soddisfi la proprietà non basta, infatti potrebbe esserci un intorno completo più piccolo, dunque con raggio , tale da non contenere alcun punto di che sia diverso da .
Ad esempio il punto in figura non è di accumulazione per l'intervallo in nero [...)
Un esempio di punto che non è di accumulazione per un insieme (intervallo in nero).
Da una parte è vero che c'è un intorno (arancione) che contiene almeno un punto dell'intervallo nero che sia diverso da ; dall'altra però la proprietà richiesta deve valere per ogni intorno, e ad esempio nel caso dell'intorno rosso non è verificata.
Al contrario, se nello stesso esempio proviamo a considerare come un qualsiasi punto dell'intervallo, o eventualmente anche il suo estremo destro, intuiamo facilmente che la proprietà richiesta dalla definizione è verificata: comunque scegliamo un intorno completo del punto troviamo sempre almeno un altro elemento dell'insieme che sia diverso da tale da appartenere all'intorno considerato .
Esempi di punti di accumulazione
Esempio A
Il primo - nonché l'esempio di maggiore utilizzo in questi casi - consiste nel considerare la successione di valori reali definita nel modo seguente
vale a dire l'insieme
Diciamo che è un punto di accumulazione per . Non vi fidate? Molto bene, allora vediamo di stabilire se la definizione di punto di accumulazione è soddisfatta. ;)
Vogliamo mostrare che, comunque scegliamo un intorno completo di , esso conterrà almeno un punto di diverso da stesso.
Per riuscirci dobbiamo ragionare in astratto ed indipendentemente dalla lunghezza degli intorni. Per dimostrare che vale la proprietà "contenere un altro punto di che non sia ", non possiamo effettuare una verifica manuale per ogni possibile intorno, ossia per ogni possibile raggio . Possiamo però fare una verifica in generale, quindi considerare il raggio dell'intorno come un parametro generico.
In questo modo, se riusciamo a dimostrare la proprietà con un generico intorno , dove l'aggettivo generico è inteso come "con generico raggio", allora la proprietà vale automaticamente per ogni intorno.
In questo caso consideriamo . È vero che, comunque si scelga , riusciamo a trovare un punto di diverso da e appartenente ad esso?
Gli elementi di sono della forma ed è facile mostrare che, comunque scegliamo un raggio , la proprietà è verificata: basta considerare in modo tale che risulti
ossia comunque scegliamo è sufficiente considerare
per avere la proprietà di appartenenza. Ad esempio, se consideriamo allora risulterà che ogni elemento con appartiene nell'intorno prefissato.
Dalla generalità del ragionamento consegue che la proprietà richiesta dalla definizione è verificata per ogni possibile intorno di , per cui è un punto di accumulazione per . Di più: è un punto di accumulazione dell'insieme pur non appartenendo all'insieme stesso.
Per il resto osserviamo che i punti dell'insieme non sono punti di accumulazione per l'insieme stesso. Per capirlo consideriamo ad esempio il primo elemento dell'insieme, cioè 1 (ottenuto per ). Il ragionamento si estenderà facilmente a tutti gli altri elementi dell'insieme.
Il punto 1 non è di accumulazione per e per vederlo basta trovare un solo intorno di tale da non contenere altri punti di oltre a 1. Se infatti la proprietà non vale anche per un solo intorno, allora la proprietà non vale per qualsiasi intorno: in questo caso basta considerare l'intorno e voilà, tale intorno non contiene alcun altro elemento dell'insieme.
Aspetti e conseguenze della definizione di punto di accumulazione che spesso sfuggono
1) Innanzitutto notiamo che, dato un punto di accumulazione per un insieme , in un suo intorno qualsiasi cade almeno un punto dell'insieme diverso da . Poiché la proprietà deve valere per ogni intorno del punto, se ci concentriamo su uno specifico intorno possiamo restringerlo indefinitamente e continuare a trovare un punto che appartenga ad esso.
In sintesi, dato un punto di accumulazione, in ogni intorno cade almeno un punto e quindi in ogni intorno cadono infiniti punti dell'insieme diversi da .
Nell'esempio, se è tale che , allora ogni elemento del tipo con apparterrà a .
2) Un punto di accumulazione per un insieme può non appartenere all'insieme stesso.
Non fatevi tradire dalla definizione: leggendola distrattamente si potrebbe implicitamente fraintendere la scrittura
e pensare che per essere di accumulazione debba necessariamente appartenere ad . Non è così: la definizione richiede che e non che .
Nell'esempio proposto non appartiene all'insieme , poiché non esiste alcun numero naturale per cui risulti . Ciononostante esso è di accumulazione per .
3) Lo abbiamo già scritto ma per sicurezza lo ribadiamo. Per negazione della definizione, se troviamo anche un solo intorno per cui non vale la proprietà della definizione (cioè se troviamo un intorno che non contiene alcun elemento dell'insieme e che non sia ) allora la proprietà non vale per qualsiasi intorno.
In parole povere per dimostrare che un punto non è di accumulazione per un insieme ci basta individuare un solo intorno all'interno del quale non ricade alcun elemento dell'insieme e che sia diverso dal punto stesso.
4) Signore e signori: il nome! Un punto si dice di accumulazione per un insieme perché i punti dell'insieme si accumulano ad esso, non trovate? :)
Esempio B (punti di accumulazione di un intervallo)
Vediamo di espandere quanto scritto nel primissimo esempio post definizione. Consideriamo un qualsiasi intervallo . Ogni punto contenuto nell'intervallo è un punto di accumulazione per l'intervallo stesso, ed è facilissimo vederlo.
Comunque consideriamo un intorno di un fissato punto contenuto nell'intervallo, troviamo sempre almeno un punto dell'intervallo tale da appartenere all'intorno e che sia diverso da stesso. Facile, no?
Qui notiamo che un punto di accumulazione per un insieme può appartenere all'insieme stesso.
Cosa succede con gli estremi di un intervallo? Che siano inclusi (parentesi quadra) o esclusi (parentesi tonda), poco importa: in tutti i casi sono sempre punti di accumulazione per l'intervallo stesso.
Consideriamo ad esempio l'intervallo . Il punto è di accumulazione per l'intervallo considerato: comunque scegliamo un intorno completo di , la parte destra dell'intorno conterrà sempre almeno un punto dell'intervallo che non sia . Lo stesso dicasi per , in tal caso però dovremo fare riferimento alla parte sinistra dell'intorno completo.
Generalizzazione (i punti e gli estremi di un intervallo sono di accumulazione per l'intervallo stesso)
Tutti i punti di un intervallo non degenere, compresi gli estremi (a prescindere che siano inclusi od esclusi), sono sempre di accumulazione per l'intervallo. Più precisamente tutti e soli i punti di accumulazione di un intervallo sono dati dai punti appartenenti all'intervallo e dagli eventuali estremi esclusi dall'intervallo.
Esempio C
Ragioniamo infine sull'insieme
(intervallo unito a un singleton). Qui è evidente che non è di accumulazione per , infatti possiamo trovare almeno un intorno di che non contiene alcun punto di oltre al medesimo .
Uno a caso? L'intorno , infatti
Come ormai sappiamo, se la proprietà non vale per uno specifico intorno non può valere per ogni intorno, quindi non è di accumulazione per .
Un suggerimento spassionato
Ricordatevi sempre: non fatevi spaventare quando in una definizione compare per ogni; per verificarla è sufficiente effettuare una verifica in generale, trattando i parametri che compaiono (nel nostro caso specifico le lunghezze degli intorni) come variabili. Viceversa, per confutarla basta trovare un controesempio, cioè un esempio in cui la definizione non è soddisfatta.
Insieme derivato
Una pura formalità. I nomi ci permettono di alleggerire il linguaggio, poco importa che sia scritto o parlato. Vale dunque la pena di aggiungere un ulteriore tassello alla teoria e introdurre la nozione di insieme derivato di un insieme , solitamente indicato con uno dei seguenti simboli
e definito come l'insieme dei punti di accumulazione dell'insieme . Qui ci fermiamo ma vogliamo anche lasciarvi qualche spunto di riflessione: aiutandovi con qualche esempio creato ad hoc cercate di stabilire se:
- l'insieme derivato di un insieme può essere contenuto nell'insieme ;
- l'insieme derivato di un insieme può contenere l'insieme ;
e, in termini generali, di stabilire se è vero o non è vero che
- l'insieme derivato è sempre contenuto nell'insieme;
- l'insieme derivato contiene sempre l'insieme.
Ragionateci: tutte le risposte sono scritte tra le righe dei precedenti esempi. ;) E a tal proposito, se volete leggerne altri: insieme derivato.
I punti di accumulazione ci serviranno per definire la nozione di insieme chiuso o aperto, ma prima introdurremo altri tipi di punti che si definiscono con logiche analoghe ai punti di accumulazione. La materia può sembrare spigolosa all'inizio, ma è sufficiente procedere con ordine e capire ogni singola parola delle definizioni, dove con ogni si intende tutte. :P
Nel frattempo, in caso di dubbi o domande, vi raccomandiamo una ricerca veloce qui su YM mediante la barra di ricerca interna.
Kveðja, see you soon guys!
Fulvio Sbranchella (Agente Ω)
Tags: definizione di punto di accumulazione e metodo per trovare i punti di accumulazione di un insieme di numeri reali.
Ultima modifica: