Separazione (teoria degli insiemi)

Il concetto di separazione è ben diverso da quello di disgiunzione. In particolare due insiemi disgiunti possono essere o non essere separati, mentre due insiemi separati sono sicuramente disgiunti. Questo ci permette di dire che la "separazione" è un concetto più forte di quello di "disgiunzione".

Due insiemi, e , sono separati se:

dove con si intende la chiusura di , ossia l'insieme ottenuto tramite l'unione dell'insieme con l'insieme dei suoi punti di accumulazione.

Si considerino gli insiemi

intervalli di insieme dei numeri reali. I due insiemi e non sono separati. Si noti tuttavia che i due insiemi e sono comunque disgiunti. Gli insiemi e invece oltre a essere disgiunti sono anche separati.

Voci correlate

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica