En teoría de conjuntos , el álgebra aleatoria o álgebra real aleatoria es el álgebra booleana de conjuntos de Borel del intervalo unitario módulo el ideal de conjuntos de medida cero. Se utiliza en el forzamiento aleatorio para añadir números reales aleatorios a un modelo de teoría de conjuntos. El álgebra aleatoria fue estudiada por John von Neumann en 1935 (en un trabajo publicado posteriormente como Neumann (1998 , p. 253) ), quien demostró que no es isomorfa al álgebra de Cantor de conjuntos de Borel módulo conjuntos de medida cero . El forzamiento aleatorio fue introducido por Solovay (1970) .
Véase también
Referencias
- Bartoszyński, Tomek (2010), "Invariantes de medida y categoría", Manual de teoría de conjuntos , vol. 2, Springer, pp. 491–555 , MR 2768686
- Bukowský, Lev (1977), "Random forcing", Teoría de conjuntos y teoría de jerarquías, V (Actas de la Tercera Conferencia, Bierutowice, 1976) , Lecture Notes in Math., vol. 619, Berlín: Springer, pp. 101–117 , MR 0485358
- Solovay, Robert M. (1970), "Un modelo de teoría de conjuntos en el que todo conjunto de números reales es medible según Lebesgue", Annals of Mathematics , Segunda Serie, 92 (1): 1– 56, doi : 10.2307/1970696 , ISSN 0003-486X , JSTOR 1970696 , MR 0265151
- Neumann, John von (1998) [1960], Geometría continua , Princeton Landmarks in Mathematics, Princeton University Press , ISBN 978-0-691-05893-1, MR 0120174
- Álgebra booleana
- Forzamiento (matemáticas)
- esbozos de teoría de conjuntos