Tópicos de Ultrafiltros
Palabras clave:
ultrafiltros, aplicaciones de ultrafiltros, ultrafiltros no princi- pales sobre N
Resumen
Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artı́culo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topologı́a, teorı́a de la medida, álgebra, combinaria infinita, teorı́a de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teorı́a de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay.
Citas
Betz, C., Introducción a la teorı́a de la medida e integración. Univesidad Central de Venezuela. 1992.
Bourbaki, N., Topologie générale, Actualités Sci. Ind. 858 (1940), 916 (1942), 1029 (1947), 1045 (1948), 1084 (1949), Paris.
Cartan, H., Théorie des filtres, C.R. Acad. Sci. Paris (1937), 595–598.
Cartan, H., Filtres et ultrafiltres, C. R. Acad. Sci. Paris (1937), 777–779.
Chang, C. and Keisler, H., Model Theory. Dover Publications. 2012.
Confort, W. and Negropontis, S., The Theory of Ultrafilters. Springer-Verlag. 1974.
Corbillón, M., Análisis real no estándar. Tesis de licenciatura en Matemáticas. Tutor: Dr. Josep Maria Font Llovet. Facultat de Matemátiques. Universitat de Barcelona. 2015.
Di Prisco, C. and Henle, H., Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters. Journal of Symbolic Logic 65(2000), 462–473.
Di Prisco, C. and Henle, H., Partitions of the reals and choice. En “Models, algebras and proofs”. X. Caicedo y C. M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999.
Di Prisco, C., Teorı́a de conjuntos. Universidad Central de Venezuela. 2009.
Di Prisco, C. y Uzcátegui, C., Una introducción a la teorı́a descriptiva de conjuntos. 2019. (En prensa).
Dudley, R., Real Analysis and Probabiblity. Cambridge University Press. 2002.
Enderton, H., Elements of Set Theory. Academic Press. New York. 1977.
Galindo, F., Álgebras booleanas, órdenes parciales y el axioma de elección. Divulgaciones Matemáticas, 18(1) (2017), 34–54.
Halmos, P., Measure Theory. Springer-Verlag. 1970.
Halpern, J. and Lévy, A., The Boolean prime ideal theorem does not imply the axiom of choice. En “ Axiomatic Set Theory” (D. S. Scoott, ed), Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, 1967.
Herrlich, H., Axiom of Choice. Springer. 2006.
Howard, P. and Rubin, J., Consecuences of the Axiom of Choice. American Mathematical Society. 1998.
Jech, T., Set Theory. 1978
Jech, T., Set Theory. Springer. 2000.
Jech, T., The Axiom Choice. North-Holland Publishing Company. 1973.
Kelley, J., General Topology. Springer. 1991.
Kunen, K., Set Theory. Elsevier. 2006.
Manzano, M., Teorı́a de Modelos. Alianza. Madrid. 1989.
D. Mathias, A. R., The Order Extension Principle. Procedings of Symposia in Pura Mathematics, Vol. 13, Part II, 1974.
Mendelson, E., Introduction to Mathematical Logic. Chapman and Hall/CRL. U.S.A. 2009.
Royden, H., Real Analysis. Pearson. 2010.
Sikorski, R., Boolean Algebras. Springer-Verlag. 1960.
Stone, M., The theory of representations for Booleam algebras. Trans. Amer. Math. Soc. 40 (1936), 37–111. Zbl.014.34002
https://math.stackexchange.com/questions/1130615/non-measurability-of-ultrafilter-on-omega.
Mathematics: Why is compactness in log called compactness? https://math. stackexchange.com/questions/842/why-is-compactness-in-logic-called-
compactness.
Bourbaki, N., Topologie générale, Actualités Sci. Ind. 858 (1940), 916 (1942), 1029 (1947), 1045 (1948), 1084 (1949), Paris.
Cartan, H., Théorie des filtres, C.R. Acad. Sci. Paris (1937), 595–598.
Cartan, H., Filtres et ultrafiltres, C. R. Acad. Sci. Paris (1937), 777–779.
Chang, C. and Keisler, H., Model Theory. Dover Publications. 2012.
Confort, W. and Negropontis, S., The Theory of Ultrafilters. Springer-Verlag. 1974.
Corbillón, M., Análisis real no estándar. Tesis de licenciatura en Matemáticas. Tutor: Dr. Josep Maria Font Llovet. Facultat de Matemátiques. Universitat de Barcelona. 2015.
Di Prisco, C. and Henle, H., Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters. Journal of Symbolic Logic 65(2000), 462–473.
Di Prisco, C. and Henle, H., Partitions of the reals and choice. En “Models, algebras and proofs”. X. Caicedo y C. M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999.
Di Prisco, C., Teorı́a de conjuntos. Universidad Central de Venezuela. 2009.
Di Prisco, C. y Uzcátegui, C., Una introducción a la teorı́a descriptiva de conjuntos. 2019. (En prensa).
Dudley, R., Real Analysis and Probabiblity. Cambridge University Press. 2002.
Enderton, H., Elements of Set Theory. Academic Press. New York. 1977.
Galindo, F., Álgebras booleanas, órdenes parciales y el axioma de elección. Divulgaciones Matemáticas, 18(1) (2017), 34–54.
Halmos, P., Measure Theory. Springer-Verlag. 1970.
Halpern, J. and Lévy, A., The Boolean prime ideal theorem does not imply the axiom of choice. En “ Axiomatic Set Theory” (D. S. Scoott, ed), Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, 1967.
Herrlich, H., Axiom of Choice. Springer. 2006.
Howard, P. and Rubin, J., Consecuences of the Axiom of Choice. American Mathematical Society. 1998.
Jech, T., Set Theory. 1978
Jech, T., Set Theory. Springer. 2000.
Jech, T., The Axiom Choice. North-Holland Publishing Company. 1973.
Kelley, J., General Topology. Springer. 1991.
Kunen, K., Set Theory. Elsevier. 2006.
Manzano, M., Teorı́a de Modelos. Alianza. Madrid. 1989.
D. Mathias, A. R., The Order Extension Principle. Procedings of Symposia in Pura Mathematics, Vol. 13, Part II, 1974.
Mendelson, E., Introduction to Mathematical Logic. Chapman and Hall/CRL. U.S.A. 2009.
Royden, H., Real Analysis. Pearson. 2010.
Sikorski, R., Boolean Algebras. Springer-Verlag. 1960.
Stone, M., The theory of representations for Booleam algebras. Trans. Amer. Math. Soc. 40 (1936), 37–111. Zbl.014.34002
https://math.stackexchange.com/questions/1130615/non-measurability-of-ultrafilter-on-omega.
Mathematics: Why is compactness in log called compactness? https://math. stackexchange.com/questions/842/why-is-compactness-in-logic-called-
compactness.
Publicado
2020-12-27
Cómo citar
Galindo, F. (2020). Tópicos de Ultrafiltros. Divulgaciones Matemáticas, 21(1-2), 54-77. Recuperado a partir de https://mail.produccioncientificaluz.org/index.php/divulgaciones/article/view/36605
Sección
Artículos de Divulgación e Históricos
