Insieme derivato

In matematica, e in particolare in topologia generale, l'insieme derivato di un sottoinsieme $S$ di uno spazio topologico è l'insieme di tutti i punti di accumulazione di $S$. Di solito è indicato con $S'$, ${\mathcal {D}}S$ o $D(S)$.

Il concetto di insieme derivato fu introdotto da Georg Cantor nel 1872. Egli sviluppò la teoria degli insiemi principalmente per studiare gli insiemi derivati nella retta reale.

Proprietà

Un sottoinsieme $S$ di uno spazio topologico è chiuso quando $S'\subseteq S$, cioè quando $S$ contiene tutti i suoi punti di accumulazione.

Due sottoinsiemi $S$ e $T$ sono separati quando sono disgiunti e ognuno è disgiunto dall'insieme derivato dell'altro (sebbene gli insiemi derivati potrebbero non essere disgiunti tra loro).

L'insieme $S$ è detto perfetto se $S'=S$, o equivalentemente un insieme perfetto è un insieme chiuso senza punti isolati. Gli insiemi perfetti sono particolarmente importanti nelle applicazioni del teorema della categoria di Baire.

Due spazi topologici sono omeomorfi se e solo se esiste una biiezione da uno all'altro tale che l'insieme derivato dell'immagine di ogni sottoinsieme è l'immagine dell'insieme derivato di quell'insieme, cioè

$D(f(S))=f(D(S))$.

Topologia in termini di insiemi derivati

Poiché gli omeomorfismi possono essere descritti interamente in termini di insiemi derivati, gli insiemi derivati sono stati usati come nozione primitiva in topologia. Un insieme di punti $X$ può essere dotato con un operatore $^{*}$ che manda sottoinsiemi di $X$ in sottoinsiemi di $X$ e tale che per ogni sottoinsieme $S$ e ogni punto $x$ si abbia

1. $\varnothing ^{*}=\varnothing ;$
2. $S^{**}\subseteq S^{*};$
3. $x\in S^{*}\implies x\in (S\setminus \{x\})^{*};$
4. $(S\cup T)^{*}\subseteq S^{*}\cup T^{*};$
5. $S\subseteq T\implies S^{*}\subseteq T^{*}.$

Poiché data la 5, la 3 è equivalente alla 3' sotto, e poiché la 4 e la 5 sono equivalenti alla 4' sotto, si hanno i seguenti assiomi equivalenti:

• 1. $\varnothing ^{*}=\varnothing ;$
• 2. $S^{**}\subseteq S^{*};$
• 3'. $S^{*}=(S\setminus \{x\})^{*};$
• 4'. $(S\cup T)^{*}=S^{*}\cup T^{*}.$

Diciamo che un sottoinsieme $S$ è chiuso se $S^{*}\subseteq S$ e in questo modo definiamo una topologia su $X$ tale che $S^{*}=S'$, cioè $^{*}$ è l'operatore insieme derivato. Se imponiamo anche che l'insieme derivato di un singoletto sia l'insieme vuoto, allora lo spazio risultante sarà uno spazio di Hausdorff. Infatti 2 e 3' potrebbero non essere veri in uno spazio che non è di Hausdorff.

Voci correlate

• Punto di accumulazione
• Punto isolato
• Frontiera (topologia)
• Insieme perfetto
• Insieme limite

Collegamenti esterni

• (EN) Eric W. Weisstein, Insieme derivato, su MathWorld, Wolfram Research.