σ-àlgebra

De Viquipèdia

En matemàtiques, una σ-àlgebra (també dita sigma-àlgebra) sobre un conjunt Ω és una col·lecció no buida de subconjunts de Ω que és tancada sota operacions numerables d'unió, intersecció i complementació de conjunts. Una σ-àlgebra és de fet una àlgebra booleana, completada a fi d'incloure un infinit numerable d'operacions. El concepte de σ-àlgebra és essencial per a poder definir mesures en , amb les quals es pot assignar un número real als diferents subconjunts d'un determinat conjunt. El concepte de mesura, a la vegada, és fonamental en anàlisi i en la teoria moderna de probabilitats.

[edita] Definició

Sigui Ω un conjunt no buit, i sigui una col·lecció de subconjunts de Ω. Diem que és una σ-àlgebra si es compleix:

1. El conjunt buit ∅ és a .
2. Si un conjunt A pertany a , llavors el seu complementari també pertany a .
3. Donada una successió de conjunts que pertanyen a , la seva unió també pertany a .

En altres paraules, una col·lecció de subconjunts de Ω és una σ-àlgebra si:

1. és no buida.
2. és tancada sota complementació
3. és tancada sota unions numerables.

Per exemple:

Donat el conjunt Ω ={a, b, c, d} , una possible σ-àlgebra seria : els elements de són diferents subconjunts de Ω, entre els quals hi ha el conjunt buit (condició 1); a més, els complementaris de cadascun dels elements són dins (condició 2): , , etc. És immediat veure que es compleix la tercera condició ja que .

[edita] Propietats

1. El conjunt complet pertany a l'àlgebra, (a partir dels punts 1 i 2 de la definició).
2. La σ-àlgebra és també tancada sota la intersecció numerable d'elements (a partir de 2 i 3, i fent servir les Lleis de De Morgan): si , llavors . És a dir que la intersecció d'un nombre finit de conjunts de és un conjunt que també és a .

[edita] Exemples

Sigui Ω un conjunt qualsevol. Les següents són σ-àlgebres en Ω:

1. La col·lecció formada només pel conjunt buit i Ω: .
2. La col·lecció formada pel conjunt de les parts de Ω: .
3. Si és una família de σ-àlgebres en Ω, la intersecció de tots els , és a dir, , és també una σ-àlgebra en Ω.

[edita] Discussió

Les σ-àlgebres són necessàries per definir mesures sobre un conjunt. Una mesura en Ω és una funció que assigna un número real als subconjunts de Ω. Es pot pensar en la mesura com la noció precisa de grandària o volum aplicada a conjunts. D'entrada semblaria possible assignar un volum a cadascun dels subconjunts de Ω; ara bé, l'axioma d'elecció implica que, quan la mesura que considerem és la longitud estàndard per als subconjunts de la recta real (la mesura de Lebesgue), existeixen uns conjunts anomenats conjunts de Vitali pels quals no existeix una mesura. És per aquesta raó que es considera una col·lecció més petita de subconjunts privilegiats de Ω, pels quals la mesura sí que està ben definida; aquests subconjunts constitueixen la σ-algebra.

Els elements de la σ-àlgebra s'anomenen conjunts Σ-mesurables (o simplement conjunts mesurables quan no hi ha ambigüitat sobre la col·lecció de què es parla). Un parell ordenat , on Ω és un conjunt i és una σ-àlgebra sobre Ω, s'anomena espai mesurable.

Una funció entre dos espais mesurables s'anomena mesurable si l'antiimatge de cada conjunt mesurable és també un conjunt mesurable; és a dir, si i són dos espais mesurables, una funció f: és mesurable si i només si per a tot , .

[edita] σ-àlgebres generades

Si U és una col·lecció qualsevol de subconjunts de Ω, podem obtenir una σ-àlgebra a partir de U, denotada per σ(U) i anomenada la σ-àlgebra generada per U. Es construeix com segueix. D'entrada cal remarcar que existeix una σ-àlgebra en Ω que conté la col·lecció U, l'àlgebra del conjunt de les parts de Ω. Sigui Φ la família de σ-àlgebres en Ω que contenen U (és a dir, una σ-àlgebra en Ω pertany a Φ si i només si U és un subconjunt de ). Llavors definim σ(U) com la intersecció de totes les σ-àlgebres de Φ. La σ-àlgebra generada per U, σ(U), és doncs la σ-àlgebra en Ω més petita possible que conté U; els seus elements són tots els conjunts que es poden obtenir a partir d'elements de U fent servir les operacions d'interesecció numerable, reunió numerables, i pas al complementari.

Exemples

1. .
2. Sigui el conjunt Ω = {1,2,3}, la σ-àlgebra generada pel subconjunt {1} és . En general, si , llavors .

Un exemple important d'àlgebra generada és l'àlgebra de Borel sobre qualsevol espai topològic: es tracta de la σ-àlgebra generada pels conjunts oberts (o, de manera equivalent, pels conjunts tancats). Cal remarcar que aquesta àlgebra no és, en general, el conjunt de les parts. Vegeu el conjunt de Vitali per a un exemple no-trivial.

[edita] Vegeu també

• Espai mostral