34 votos

¿De dónde vienen los números surrealistas y qué significan?

Yo sé acerca de Conway descubrimiento original de la surrealista números por medio de juegos, así como se Utiliza el modo de visualización surrealista números en términos de comportamiento asintótico de valor real de las funciones, que conduce a las conexiones entre surrealista y análisis de la la teoría de la o con un mínimo de estructuras (si Kruskal no es la atribución del derecho aquí, por favor siéntase libre de corregirme y educar a los demás). Pero tengo la sensación de que, incluso con los dos los puntos de vista disponibles, sorprendentemente pocas conexiones entre surrealista y números el resto de las matemáticas han surgido durante las últimas cuatro décadas. Digo "sorprendente" porque uno esperaría algo tan hermoso y natural a tener todo tipo de enlaces con otras cosas!

Creo que una de las razones de la surrealista números han encontrado tan pocos puntos de contacto con el resto de la matemática contemporánea es que la simplicidad de la relación de $a$-es-más simple-de-$b$ no tiene alguna traducción o dilational simetrías. (El más simple entre la cantidad de $-2$ e $+2$ es $0$, pero la más sencilla entre la cantidad de $-2+1=-1$ e $+2+1=3$ no $0+1=1$ pero $0$. Asimismo, el simple número entre el $1$ e $3$ es $2$, pero el más simple entre el número de $2 \times 1=2$ e $2 \times 3=6$ no $2 \times 2=4$ pero $3$.) En la estela de Bourbaki, los matemáticos han favorecido estructuras que tienen un montón de morfismos y de otros ya favorecida estructuras, y/o lotes de isomorphisms a los mismos (aka simetrías), y el surrealismo, los números no encaja con esta estética.

Hay una nueva visión de cómo el surrealista números encajan con el resto de matemáticas (o por qué no)?

Véase también mi compañero post ¿cuáles son algunos ejemplos de "quimeras" en matemáticas? .

Se me ocurrió después de que he publicado mi pregunta de que hay una escasa $p$-ádico análogo de la 2-ádico surrealista-los números de conjunto, en el cual uno se relaja la restricción de que cada intervalo contiene un único más simple número (que es mucho para dar, lo admito!). Si uno define el $p$-ádico de la simplicidad en ${\bf Z}[1/p]$ en la forma obvia (cambio de "2" a "$p$" en Conway definición, por lo que los números enteros son pequeños si están cerca de 0 en el sentido usual de la palabra y de los elementos de ${\bf Z}[1/p]$ son pequeños si tienen pequeñas denominador), la siguiente es verdadero para $a_L,a_R,b_L,b_R$ en ${\bf Z}[1/p]$: si hay un único más simple $a$ en ${\bf Z}[1/p]$ que es mayor que $a_L$ y menos de $a_R$, y no hay una única más simple $b$ en ${\bf Z}[1/p]$ que es mayor que $b_L$ y menos de $b_R$, entonces no es un simple $c$ en ${\bf Z}[1/p]$ que es mayor que $a+b_L$ e $a_L+b$ y menos de $a+b_R$ y $a_R+b$, y que satisface a $c=a+b$. (Conway multiplicación fórmula funciona en este ajuste.) Es mencionado en el surrealista números de la literatura, y lo que es más importante, hace la observación de llevar en cualquier lugar?

18voto

Paul Puntos 555

"... al menos por ahora, he terminado. Todas las preguntas que aún no se han respondido son demasiado difíciles". - Jacob Lurie sobre números surrealistas, 1996

17voto

Ed Haber Puntos 1121

No son los números exactamente, pero sin duda Conway juegos relacionado con el juego-como las estructuras) han despertado un enorme interés en determinada categoría teóricos y lógicos, ya que puede ser utilizado para dar categórica (no posetal) semántica para substructural lógicas. En otras palabras, bajo el Curry-Howard paradigma de "proposiciones como tipos", donde las propuestas son promovidos a los objetos y las pruebas de las proposiciones $p \Rightarrow q$ son promovidos a morfismos $p \to q$, las estructuras formales de las deducciones están incrustados en las estrategias de juegos.

Originalmente fue observado por André Joyal que Conway juegos son los objetos de un pacto cerrado de la categoría, donde morfismos entre los juegos de $G \to H$ son de segunda reproductor de estrategias ganadoras para $-G + H$. Más cerca de la lógica preocupación, en

  • Andreas Blass, Un juego de la semántica de la lógica lineal, Ann. Pure Appl. La lógica 56 (1992), 183-220

Andreas dio un juego semántica para Girard, introducido recientemente la lógica lineal (que en el "tipo" o categóricas lado corresponden a $\ast$-autónoma categorías); puedes leer algunos de sus pensamientos aquí, por ejemplo, y en otros lugares en su página web. Esto comenzó una especie de cabaña de la industria, donde varios refinamientos de los juegos fueron desarrollados para dar solidez y la integridad teoremas de las diversas formas de la lógica lineal (véase, por ejemplo, la Hyland-Ong de referencia en el artículo en línea).

(En un acto de descarada de la auto-promoción, voy a hablar un poco del proyecto con James Dolan, el uso de ciertos tipos de juegos (modelo libre) cartesiano categorías cerradas, que fue en parte por escrito hasta aquí.)

Los números por sí se utilizan para medir las fortalezas de posiciones en los juegos, y a veces esto ha sido puesto a la astucia de uso (como por ejemplo en el análisis de algunos bastante específica, pero en posiciones difíciles en Ir), pero no sé si han sido explotados en el juego de la semántica a lo largo de las líneas anteriores. Tal vez Andreas puede opinar?

15voto

Dryden Long Puntos 166

Una expresión algebraica perspectiva sobre el surrealista números es que son `la máxima ordenada totalmente campo." Por supuesto, desde el surrealismo, los números son una clase y no un conjunto que no puede ser realmente un campo. Sin embargo, yo mentalmente archivo de la surrealista números en la misma carpeta como diversos universal de construcciones: la clausura algebraica de un campo, la absoluta Galois grupo de los racionales, la fracción de campo de un anillo, etc...

Conway de la construcción es muy bonito, pero no parece prestarse a manipulaciones algebraicas como los axiomas de una totalmente ordenado de campo. Para que exista una interesante algebraica de las aplicaciones de la surrealista números, uno tiene que sopesar los beneficios de tener `un objeto" contra el conjunto de la teoría de los dolores de cabeza de tratar con una clase adecuada.

8voto

Shuft Puntos 420

Hay un libro de Norman Alling, titulado Fundamentos de análisis sobre campos numéricos surrealistas , publicado por Holanda del Norte en 1987. No sé si tuvo mucha influencia, pero parece una lectura bastante interesante.

5voto

libogista Puntos 11

Consulte este documento sobre el análogo de p-adic: http://arxiv.org/abs/1108.0962

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X