Sigma-algebra

Consideriamo un insieme X ed un insieme X di suoi possibili sottoinsiemi:

X e' detto sigma-algebra se valgono le proprieta'
  1. Ø e X appartengono a X
    cioe' vi appartengono sia l'insieme vuoto che tutto l'insieme di partenza
  2. Se A appartiene ad X allora anche l'insieme complementare A_ di A appartiene a X
    Il complementare e' quell'insieme tale che A U A_= X ed A A_= Ø
  3. se (An) e' una successione di insiemi appartenenti ad X allora anche
     n=1 n=oo (An)      appartiene ad X
    cioe' se l'insieme X contiene infiniti insiemi in successione allora contiene anche l'unione di tuitti gli insiemi della successione

Una coppia ordinata ( X, X) e' detta spazio misurabile