Diferencia entre revisiones de «Álgebra de Borel»
Error ortográfico Etiquetas: Edición desde móvil Edición vía web móvil |
Agregar 1 libro para verificar la verificación) #IABot (v2.0.7) (GreenC bot |
||
| Línea 5: | Línea 5: | ||
La ''σ-álgebra generada'' por una colección ''T'' de [[subconjunto]]s de ''X'' se define como la mínima σ-álgebra que contiene a ''T''. La existencia y unicidad de una tal σ-álgebra se demuestra fácilmente notando que la intersección de todas las σ-álgebras que contienen a ''T'' es en sí misma una σ-álgebra que contiene a ''T''. |
La ''σ-álgebra generada'' por una colección ''T'' de [[subconjunto]]s de ''X'' se define como la mínima σ-álgebra que contiene a ''T''. La existencia y unicidad de una tal σ-álgebra se demuestra fácilmente notando que la intersección de todas las σ-álgebras que contienen a ''T'' es en sí misma una σ-álgebra que contiene a ''T''. |
||
Los elementos del álgebra de Borel se llaman '''conjuntos de Borel''' o '''conjuntos borelianos''' y deben su nombre al matemático [[Émile Borel]], que publicó en 1898 una primera exposición del álgebra boreliana de los números reales.<ref>{{Ouvrage|título=Histoire de l'intégration. Vingt-cinq siècles de mathématiques|autor=Jean-Paul Pier|editorial=Masson|año=1996|isbn=222585324X}}, p. 115-116 que renvía a {{Ouvrage|título=Leçons sur la théorie des fonctions|autor=Émile Borel|editorial=Gauthier-Villars|año=1898}}.</ref> |
Los elementos del álgebra de Borel se llaman '''conjuntos de Borel''' o '''conjuntos borelianos''' y deben su nombre al matemático [[Émile Borel]], que publicó en 1898 una primera exposición del álgebra boreliana de los números reales.<ref>{{Ouvrage|título=Histoire de l'intégration. Vingt-cinq siècles de mathématiques|autor=Jean-Paul Pier|editorial=Masson|año=1996|isbn=222585324X}}, p. 115-116 que renvía a {{Ouvrage|título=Leçons sur la théorie des fonctions|url=https://archive.org/details/leonssurlathori00boregoog|autor=Émile Borel|editorial=Gauthier-Villars|año=1898}}.</ref> |
||
En espacios topológicos generales, o aun en los [[compacidad local|localmente compactos]], las dos estructuras definidas arriba pueden ser diferentes, aunque este fenómeno se considera patológico en el análisis matemático. De hecho, las dos estructuras coinciden si el espacio en consideración es un espacio localmente compacto, [[espacio separable|separable]] y [[espacio métrico|métrico]]. |
En espacios topológicos generales, o aun en los [[compacidad local|localmente compactos]], las dos estructuras definidas arriba pueden ser diferentes, aunque este fenómeno se considera patológico en el análisis matemático. De hecho, las dos estructuras coinciden si el espacio en consideración es un espacio localmente compacto, [[espacio separable|separable]] y [[espacio métrico|métrico]]. |
||
Revisión del 07:14 12 oct 2020
En matemáticas, el álgebra de Borel (más correctamente, σ-álgebra de Borel, también llamada boreliana) sobre un espacio topológico X es una σ-álgebra de subconjuntos de X asociada a la topología de X. En la literatura matemática se pueden encontrar dos definiciones no equivalentes de ésta:
- La σ-álgebra generada por los conjuntos abiertos.
- La σ-álgebra generada por los conjuntos compactos.
La σ-álgebra generada por una colección T de subconjuntos de X se define como la mínima σ-álgebra que contiene a T. La existencia y unicidad de una tal σ-álgebra se demuestra fácilmente notando que la intersección de todas las σ-álgebras que contienen a T es en sí misma una σ-álgebra que contiene a T.
Los elementos del álgebra de Borel se llaman conjuntos de Borel o conjuntos borelianos y deben su nombre al matemático Émile Borel, que publicó en 1898 una primera exposición del álgebra boreliana de los números reales.[1]
En espacios topológicos generales, o aun en los localmente compactos, las dos estructuras definidas arriba pueden ser diferentes, aunque este fenómeno se considera patológico en el análisis matemático. De hecho, las dos estructuras coinciden si el espacio en consideración es un espacio localmente compacto, separable y métrico.
Ejemplo
Un ejemplo importante, especialmente en teoría de probabilidad, es el álgebra boreliana sobre el conjunto de los números reales. Es la σ-álgebra en la cual se define la medida de Borel. Dada una variable aleatoria real en un espacio de probabilidad, su distribución de probabilidad es, por definición, también una medida en el álgebra boreliana. El álgebra de Borel también es la mínima σ-álgebra sobre R que contiene a los subconjuntos cerrados de R, a los intervalos abiertos o cerrados, a los intervalos semiabiertos de la forma (a, b], o a los intervalos de la forma (−∞,b].
Notas
- ↑ Jean-Paul Pier (1996). Histoire de l'intégration. Vingt-cinq siècles de mathématiques. Masson. ISBN 222585324X., p. 115-116 que renvía a Émile Borel (1898). Leçons sur la théorie des fonctions. Gauthier-Villars..
Referencias
- William Arveson, An Invitation to C*-algebras, Springer-Verlag, 1981. Una excelente presentación del aparataje de la topología polonesa se encuentra en el capítulo 3 de esta obra.
- Richard Dudley, Real Analysis and Probability. Wadsworth, Brooks and Cole, 1989
- Paul Halmos, Measure Theory, D.van Nostrand Co., 1950
- Halsey Royden, Real Analysis, Prentice Hall, 1988
- Donald L. Cohn, Measure theory, Birkhäuser, 1997.
| Control de autoridades |
|
|---|
Datos: Q1080067