El teorema de Banach--Tarski sólo se aplica en el caso de tres o más dimensiones. En 3D, hay cinco sólidos regulares, dos de los cuales no son nada evidentes, y el caso de 4D también es interesante; pero los casos de dimensiones superiores sólo dan lugar a tres "sólidos" cada uno, de los cuales sólo uno no es evidente. En la dinámica, las partículas tienden a unirse en una o dos dimensiones, mientras que en cuatro o más dimensiones tienden a dispersarse de forma lúgubre; sólo en 3D se mueven libremente, pero con una importante interacción local. Y la conjetura de Poincare resultó ser mucho más difícil en el caso 3D que en los demás.
Así que la pregunta tiene tres partes: ¿Qué otros ejemplos hay de riqueza 3D? ¿Existen razones subyacentes para ello? ¿Y hay campos en los que la riqueza comienza en un número mayor, pero aún pequeño, de dimensiones? Me interesaría especialmente conocer cualquier teorema que se mantenga sólo en un número concreto (no 0, 1 o 2) de dimensiones.
1 votos
La mayoría de los ejemplos que se dan en esta pregunta ya están contenidos en esta pregunta de MO: mathoverflow.net/questions/5372/dimension-leaps
1 votos
Cuidado - la conjetura suave de Poincare está resuelta en todas las dimensiones excepto en la dimensión cuatro. (En particular es falso en altas dimensiones. Busca en Google "esfera exótica").
0 votos
Esta pregunta es la que voy a enlazar, para que la gente se interese por el Math Stack Exchange. Realmente es una gran pregunta.
0 votos
Sólo por curiosidad, ¿cuál de los politopos regulares de más de 5 dimensiones considera que no es obvio?
0 votos
@Ilmari: En $n$ dimensiones, la regular ( $n+1$ )-simplex obviamente generaliza el $n=2$ (equilátero-triangular) y $n=3$ (regular-tetrahedral). El $2^n$ Los vértices de un hipercubo pueden modelarse fácilmente asignándoles todas las coordenadas posibles $(x_1,\dots,x_n)$ con $x_i\in$ { $-1, 1$ } ( $i=1,\dots,n$ ), obviamente generalizando el cuadrado y el cubo. Pero su dual, como el octaedro, es menos obvio (¡al menos para quienes, como yo, no encuentran obvia la dualidad!).
0 votos
A los vértices de los politopos regulares en cruz ("hiperoctaedros") también se les pueden asignar coordenadas simples, concretamente todas las permutaciones de $(\pm1,0,0,\ldots,0,0)$ . También pueden construirse de forma iterativa de la misma manera que los símiles regulares, salvo que en cada etapa se añaden dos nuevos vértices en lugar de uno. De hecho, una de las parametrizaciones más sencillas (de la OMI) del $d$ -simplemente es como una faceta del $d+1$ -con todas las permutaciones de $(1,0,0,\ldots,0,0)$ como vértices. (Por supuesto, luego se puede proyectar hasta $\mathbb R^d$ si quieres).
0 votos
@Ilmari. OK, eso es bastante simple. De todos modos, aceptar tu punto de vista sólo agudiza la visión de lo singular que es realmente el caso 3D, con su dodecaedro nada evidente.