8 votos

En cuántas partes do $n$ elipsoides se dividen $\mathbb{R}^{3}$?

¿Cuál es el máximo número de regiones en que $\mathbb{R}^{3}$ puede ser dividido por $n$ elipsoides? (Cada elipsoide tiene el mismo tamaño). Permite indicar este número por $r_{n}$.

Claramente $r_{1}=2$. Pero incluso con dos elipsoides las cosas se complican: Ciertamente, $r_{2}\ge 6$ (por ejemplo,$x^2+(y/2)^2+z^2$$x^2+y^2+(z/2)^2$), y creo que 6 es el máximo.

Tenga en cuenta que $r_{3}\ge 14$ debido a que es posible sacar tres puntos suspensivos dividiendo el plano en 14 regiones. Más generalmente $$r_{n}\ge 2n^{2}-2n+2,$$ desde $n$ elipses dividen el plano en que en la mayoría de $2n^{2}-2n+2$ regiones, y esto ocurre si y sólo si alguna de las dos elipses se cruzan en 4 puntos y ninguno de los tres tiene intersección vacía (Marque este, y también este post tiene una pregunta relacionada).

Tenga en cuenta que $n$ círculos (resp. puntos suspensivos) (resp. triángulos equiláteros) dividen el plano en que en la mayoría de $n^2-n+2$ (resp. $2n^2-2n+2$) (resp. $3n^2-3n+2$) de las regiones. Tenga en cuenta que para $n\ge 1$ $n^2-n+2\le 2n^2-2n+2\le 3n^2-3n+2$. Parece que esta situación se generaliza a las dimensiones superiores. Es decir, el número máximo de regiones en las que 3-espacio puede ser dividido por $n$ elipsoides se encuentra por encima del correspondiente número de esferas y a continuación el número correspondiente para regular tetraedros (es decir, cada una de las cuatro caras es un triángulo equilátero).

Ahora, $n$ esferas de dividir el espacio de 3 dimensiones en la mayoría de los $n(n^2-3n+8)/3$ regiones. Pero ¿cuál es el máximo número de regiones en las que 3-espacio puede ser dividido por $n$ regular tetraedros?

Desde el punto de vista de la complejidad asintótica $r_{n}=\mathcal{O}(n^{3})$, como se indica por el general teoremas de la teoría de los arreglos de las superficies.

1voto

Eliana Van Etten Puntos 11

Puedo estar equivocado (es decir, la crítica es muy de agradecer), pero creo que yo era capaz de demostrar rigurosamente las siguientes: Definir dos puntos suspensivos para ser simplemente intersección si se cruzan en exactamente dos puntos. Entonces decimos que dos elipsoides son simplemente intersección si se intersecan en dos simplemente intersección de puntos suspensivos.

La proposición: Vamos a $E$ ser un arreglo de n elipsoides en el 3-espacio, vamos a $N$ el número de regiones en que $E$ divide el espacio de 3 dimensiones, y deje $M=n(4n^{2}-9n+11)/3$. Si

  1. Cualquiera de los dos elipsoides en $E$ son simplemente de intersección, y
  2. Cualquiera de las tres elipsoides en $E$ se cruzan en 8 puntos, y
  3. Cualquiera de los cuatro o más elipsoides han vacia intersección,

a continuación,$N=M$. De lo contrario, $N<M$.

Muy a grandes rasgos, Si 1-3 celebrar, entonces, vemos cómo uno de los elipsoides se divide en parches por el otro $n-1$ elipsoides,y ver de qué manera cada una de estas partes se divide una región formada por el otro $n-1$ elipsoides. Esto nos da una manera de contar las regiones. Si cualquiera de 1-3 falla, entonces el una idea similar se rinden menos parches y, por tanto, menos regiones.

Por ejemplo, $x^{2}+(y/4)^{2}+z^{2}=1$ (azul), $(x/4)^{2}+y^{2}+z^{2}=1$ (verde), y $x^{2}+y^{2}+(z/4)^{2}=1$ (rojo) dará el máximo (20 regiones)Three ellipsoids

Nota que la independencia lineal de la definición de las ecuaciones no es suficiente para garantizar que el máximo número de regiones que se obtiene. E. g. $(x/2)^2+(y/4)^2+z^2=1$, $(x/4)^2+y^2+(z/2)^2=1$ se cortan en dos disjoing elipses, y el rendimiento de sólo 5 regiones.

Los métodos y las ideas que he utilizado también el trabajo en la dimensión 2, y probablemente voy a añadir más tarde a esta respuesta sobre el caso general, en la dimensión $\ge 4$. Todo esto será parte de un próximo documento.

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