stringtranslate.com

Ultraproducto

El ultraproducto es una construcción matemática que aparece principalmente en álgebra abstracta y lógica matemática , en particular en teoría de modelos y teoría de conjuntos . Un ultraproducto es un cociente del producto directo de una familia de estructuras . Todos los factores necesitan tener la misma signatura . La ultrapotencia es el caso especial de esta construcción en la que todos los factores son iguales.

Por ejemplo, las ultrapotencias pueden utilizarse para construir nuevos campos a partir de los ya existentes. Los números hiperreales , una ultrapotencia de los números reales , son un caso especial de esto.

Algunas aplicaciones sorprendentes de los ultraproductos incluyen pruebas muy elegantes del teorema de compacidad y del teorema de completitud , el teorema de ultrapotencia de Keisler , que da una caracterización algebraica de la noción semántica de equivalencia elemental, y la presentación de Robinson-Zakon del uso de superestructuras y sus monomorfismos para construir modelos no estándar de análisis, lo que llevó al crecimiento del área de análisis no estándar , que fue iniciada (como una aplicación del teorema de compacidad) por Abraham Robinson .

Definición

El método general para obtener ultraproductos utiliza un conjunto de índices, una estructura (que se supone que no está vacía en este artículo) para cada elemento (todos con la misma firma ) y un ultrafiltro en

Para dos elementos cualesquiera y del producto cartesiano, declare que son -equivalentes , escrito o si y solo si el conjunto de índices en los que coinciden es un elemento de en símbolos, que compara componentes solo en relación con el ultrafiltro. Esta relación binaria es una relación de equivalencia [prueba 1] en el producto cartesiano

El ultraproducto del módulo es el conjunto cociente de con respecto a y, por lo tanto, a veces se denota por o

Explícitamente, si la clase de equivalencia de un elemento se denota por entonces el ultraproducto es el conjunto de todas las clases de equivalencia

Aunque se asumió que era un ultrafiltro, la construcción anterior se puede llevar a cabo de manera más general siempre que sea simplemente un filtro en cuyo caso el conjunto de cocientes resultante se denominaproducto reducido

Cuando es un ultrafiltro principal (lo que ocurre si y solo si contiene su núcleo ), entonces el ultraproducto es isomorfo a uno de los factores. Y por lo tanto, normalmente, no es un ultrafiltro principal , lo que ocurre si y solo si es libre (es decir , ), o equivalentemente, si cada subconjunto cofinito de es un elemento de Dado que cada ultrafiltro en un conjunto finito es principal, el conjunto índice es, en consecuencia, también por lo general infinito.

El ultraproducto actúa como un espacio de productos de filtro donde los elementos son iguales si son iguales solo en los componentes filtrados (los componentes no filtrados se ignoran en la equivalencia). Se puede definir una medida finitamente aditiva en el conjunto de índices diciendo if y else. Entonces dos miembros del producto cartesiano son equivalentes precisamente si son iguales casi en todas partes en el conjunto de índices. El ultraproducto es el conjunto de clases de equivalencia así generado.

Las operaciones finitas sobre el producto cartesiano se definen puntualmente (por ejemplo, si es una función binaria entonces ). Otras relaciones se pueden extender de la misma manera: donde denota la clase de equivalencia de con respecto a En particular, si cada es un cuerpo ordenado entonces también lo es el ultraproducto.

Ultrapoder

Una ultrapotencia es un ultraproducto para el cual todos los factores son iguales. Explícitamente, laLa ultrapotencia de un conjuntomóduloes el ultraproductode la familia indexadadefinida porpara cada índice La ultrapotencia puede denotarse poro (ya quea menudo se denota por) por

Para cada let denote el mapa constante que es idénticamente igual a Este mapa/tupla constante es un elemento del producto cartesiano y por lo tanto la asignación define un mapa .La incrustación natural deintoes el mapaque envía un elementoa laclase de equivalencia de la tupla constante

Ejemplos

Los números hiperreales son el ultraproducto de una copia de los números reales por cada número natural, respecto de un ultrafiltro sobre los números naturales que contiene todos los conjuntos cofinitos. Su orden es la extensión del orden de los números reales. Por ejemplo, la secuencia dada por define una clase de equivalencia que representa un número hiperreal que es mayor que cualquier número real.

De manera análoga, se pueden definir números enteros no estándar , números complejos no estándar , etc., tomando el ultraproducto de copias de las estructuras correspondientes.

Como ejemplo de la transferencia de relaciones al ultraproducto, considere la secuencia definida por Porque para todos se sigue que la clase de equivalencia de es mayor que la clase de equivalencia de de modo que puede interpretarse como un número infinito que es mayor que el construido originalmente. Sin embargo, sea para no igual a pero El conjunto de índices en los que y coinciden es miembro de cualquier ultrafiltro (porque y coinciden en casi todas partes), por lo que y pertenecen a la misma clase de equivalencia.

En la teoría de cardinales grandes , una construcción estándar es tomar el ultraproducto de todo el universo de teoría de conjuntos con respecto a algún ultrafiltro cuidadosamente elegido. Las propiedades de este ultrafiltro tienen una fuerte influencia en las propiedades (de orden superior) del ultraproducto; por ejemplo, si es -completo, entonces el ultraproducto volverá a estar bien fundado. (Véase cardinal medible para el ejemplo prototípico).

Teorema de Łoś

El teorema de Łoś, también llamado teorema fundamental de los ultraproductos , se debe a Jerzy Łoś (el apellido se pronuncia [ˈwɔɕ] , aproximadamente "wash"). Afirma que cualquier fórmula de primer orden es verdadera en el ultraproducto si y solo si el conjunto de índices tales que la fórmula es verdadera en es un miembro de Más precisamente:

Sea una firma, un ultrafiltro sobre un conjunto y para cada una sea una -estructura. Sea o el ultraproducto de con respecto a Entonces, para cada donde y para cada -fórmula

El teorema se prueba por inducción sobre la complejidad de la fórmula. El hecho de que sea un ultrafiltro (y no sólo un filtro) se utiliza en la cláusula de negación, y el axioma de elección es necesario en el paso del cuantificador existencial. Como aplicación, se obtiene el teorema de transferencia para campos hiperreales .

Ejemplos

Sea una relación unaria en la estructura y forma la ultrapotencia de Entonces el conjunto tiene un análogo en la ultrapotencia, y las fórmulas de primer orden que involucran también son válidas para Por ejemplo, sean los números reales, y sea válido si es un número racional. Entonces en podemos decir que para cualquier par de racionales y existe otro número tal que no es racional, y Dado que esto se puede traducir a una fórmula lógica de primer orden en el lenguaje formal relevante, el teorema de Łoś implica que tiene la misma propiedad. Es decir, podemos definir una noción de los números hiperracionales, que son un subconjunto de los hiperreales, y tienen las mismas propiedades de primer orden que los racionales.

Consideremos, sin embargo, la propiedad de Arquímedes de los números reales, que establece que no existe ningún número real tal que para cada desigualdad en la lista infinita. El teorema de Łoś no se aplica a la propiedad de Arquímedes, porque esta no puede enunciarse en lógica de primer orden. De hecho, la propiedad de Arquímedes es falsa para los hiperreales, como lo demuestra la construcción del número hiperreal anterior.

Límites directos de los ultrapoderes (ultralímites)

En la teoría de modelos y la teoría de conjuntos , se suele considerar el límite directo de una secuencia de ultrapotencias. En la teoría de modelos , esta construcción puede denominarse ultralímite o ultrapotencia limitante .

Comenzando con una estructura y un ultrafiltro, se forma una ultrapotencia . Luego se repite el proceso para formar y así sucesivamente. Para cada uno hay una incrustación diagonal canónica en etapas límite, como la que forma el límite directo de etapas anteriores. Se puede continuar hasta el transfinito.

Mónada ultraproducto

La mónada del ultrafiltro es la mónada de codensidad de la inclusión de la categoría de conjuntos finitos en la categoría de todos los conjuntos . [1]

De manera similar, laLa mónada ultraproducto es la mónada de codensidad de la inclusión de la categoríade familias de conjuntos finitamente indexadas en la categoríade todas las familias de conjuntos indexadas . Por lo tanto, en este sentido, los ultraproductos son categóricamente inevitables. [1] Explícitamente, un objeto de consiste en un conjunto índice no vacíoy una familia indexada de conjuntos. Un morfismoentre dos objetos consiste en una funciónentre los conjuntos índice y unafamilia indexadade funciones La categoríaes una subcategoría completa de esta categoría deque consiste en todos los objetoscuyo conjunto índicees finito. La mónada de codensidad de la función de inclusiónestá entonces, en esencia, dada por

Véase también

Notas

  1. ^ ab Leinster, Tom (2013). "Codensidad y la mónada del ultrafiltro" (PDF) . Teoría y aplicaciones de categorías . 28 : 332–370. arXiv : 1209.3606 . Código Bibliográfico :2012arXiv1209.3606L.

Pruebas

  1. ^ Aunque se supone que es un ultrafiltro sobre esta prueba solo se requiere que sea un filtro sobre En todo momento, sea y elementos de La relación siempre se cumple ya que es un elemento de filtro Por lo tanto, la reflexividad de se sigue de la de igualdad De manera similar, es simétrica ya que la igualdad es simétrica. Para la transitividad , suponga que y son elementos de queda por demostrar que también pertenece a La transitividad de la igualdad garantiza (ya que si entonces y ). Debido a que es cerrado bajo intersecciones binarias, Dado que es cerrado hacia arriba en contiene cada superconjunto de (que consta de índices); en particular, contiene

Referencias