Autor Tema: Dividir tres compactos en volúmenes iguales.

0 Usuarios y 1 Visitante están viendo este tema.

19 Abril, 2024, 03:56 pm
Leído 62 veces

franma

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,433
  • País: uy
  • Karma: +2/-0
  • Sexo: Masculino
Buenas a todos,

El enunciado dice lo siguiente:
Sean \( A_1, A_2 \) y \( A_3 \) conjuntos compactos de \( \mathbb{R}^3 \). Probar que existe un plano que divide a cada conjunto en volúmenes iguales.

Mi idea era utilizar el teorema de Borsuk-Ulam (ya que me sugirieron usarlo), podría utilizar cada punto en \( \mathbb{S}^2 \) para determinar un plano (si \( p\in \mathbb{S}^2 \) consideraría el plano \( p^\perp \)) pero aquí no veo como determinar una función a \( \mathbb{R}^2 \) que se relacione con los volumenes ya que solo tengo \( 2 \) coordenadas.

Tal vez este no sea el enfoque correcto, cualquier ayuda es bienvenida.

Saludos,
Franco.
En ninguna parte puede hallar el hombre un retiro tan apacible y tranquilo como en la intimidad de su alma.

19 Abril, 2024, 07:05 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 56,038
  • País: es
  • Karma: +0/-0
Hola

 A ver si esto te puede ayudar: fijado cualquier vector de la esfera siempre existe un plano que lo tiene por vector normal y que divide al primer compacto en dos trozos de igual volumen. Entonces para definir la aplicación a la que aplicsr el teorema sólo tienes que usar los voluménes que el semiespacio que dicho plano determina en el sentido de su vector normal corta a los otros dos compactos.

Saludos.

19 Abril, 2024, 10:50 pm
Respuesta #2

franma

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,433
  • País: uy
  • Karma: +2/-0
  • Sexo: Masculino
Hola Luis :),

Siguiendo tu idea:
Lo que dices es claro, dado un punto \( p\in \mathbb{S}^2 \) podemos considerar el plano \( \langle v, p \rangle = 0 \) que pasa por el origen y tiene a \( p \) como vector normal, ahora, si consideramos sus trasladados \( \langle v+v_0, p \rangle = 0 \), alguno de estos debe dividir a \( A_1 \) en dos volúmenes iguales (por un tema de continuidad).

Una vez tenemos ese plano, llamémosle \( \pi_p \) (observemos que tenemos \( \pi_{p}=\pi_{-p} \)), podemos ahora considerar la función \( f:\mathbb{S}^2 \to \mathbb{R}^2 \) que a cada punto \( p \) le asigna el vector cuya coordenada \( i \) es el volumen de \( A_i \) en el semiespacio determinado por \( \pi_p \) en sentido a su vector normal \( p \) (con \( i=2,3 \)).

Ahora, si \( f \) resultase continua, por el teorema de Borsuk-Ulam existiría un punto \( p_0 \) de forma que \( f(p_0)=f(-p_0) \) y esto implica que el plano \( \pi_{p_0} \) verifica lo que queríamos, es decir, divide a cada \( A_i \) en partes de igual volumen (usando que \( \pi_p= \pi_{-p} \) y que por ende consideramos los volúmenes en ambos semiespacios determinados por \( \pi_p \)).

Ahora, para ver la continuidad de \( f \), no espero que exista una formula para la misma, pero al menos pienso que a pequeños movimientos de \( p \) resultan en pequeños movimientos de \( \pi_p \) lo cual nos daría pequeñas variaciones en los volúmenes que consideramos.

¿Es correcto este acercamiento intuitivo? ¿Se puede justificar un poco más la continuidad de \( f \)?

Saludos,
Franco.
En ninguna parte puede hallar el hombre un retiro tan apacible y tranquilo como en la intimidad de su alma.

24 Abril, 2024, 09:17 am
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 56,038
  • País: es
  • Karma: +0/-0
Hola

Lo que dices es claro, dado un punto \( p\in \mathbb{S}^2 \) podemos considerar el plano \( \langle v, p \rangle = 0 \) que pasa por el origen y tiene a \( p \) como vector normal, ahora, si consideramos sus trasladados \( \langle v+v_0, p \rangle = 0 \), alguno de estos debe dividir a \( A_1 \) en dos volúmenes iguales (por un tema de continuidad).

Si. Quizá podrías escribir \( \langle v+v_0(p), p \rangle = 0 \), para hacer ver que \( v_0 \) depende de \( p \) y lo hace de forma continua.

Citar
Una vez tenemos ese plano, llamémosle \( \pi_p \) (observemos que tenemos \( \pi_{p}=\pi_{-p} \)), podemos ahora considerar la función \( f:\mathbb{S}^2 \to \mathbb{R}^2 \) que a cada punto \( p \) le asigna el vector cuya coordenada \( i \) es el volumen de \( A_i \) en el semiespacio determinado por \( \pi_p \) en sentido a su vector normal \( p \) (con \( i=2,3 \)).

Ahora, si \( f \) resultase continua, por el teorema de Borsuk-Ulam existiría un punto \( p_0 \) de forma que \( f(p_0)=f(-p_0) \) y esto implica que el plano \( \pi_{p_0} \) verifica lo que queríamos, es decir, divide a cada \( A_i \) en partes de igual volumen (usando que \( \pi_p= \pi_{-p} \) y que por ende consideramos los volúmenes en ambos semiespacios determinados por \( \pi_p \)).

Correcto.

Citar
Ahora, para ver la continuidad de \( f \), no espero que exista una formula para la misma, pero al menos pienso que a pequeños movimientos de \( p \) resultan en pequeños movimientos de \( \pi_p \) lo cual nos daría pequeñas variaciones en los volúmenes que consideramos.

¿Es correcto este acercamiento intuitivo? ¿Se puede justificar un poco más la continuidad de \( f \)?

Pues si la idea es esa. Formalizarlo al 100% puede ser un poco pesado. Para facilitarlo puedes tener en cuenta que los compactos son acotados. Entonces si quieres probar la continuidad de la aplicación en un punto \( p \) puedes considerar que los compactos están contenidos en esferas centradas un punto del plano \( \pi_p \). Y basta que pruebes que si tomas un plano suficientemente cercano a \( \pi_p \), el volumen de la esfera que queda entre ambos planos (y que es mayor o igual que la diferencia de voluménes que los semiespacios determinan en el compacto) es tan pequeña como quieres.

Saludos.

Hoy a las 01:28 am
Respuesta #4

franma

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,433
  • País: uy
  • Karma: +2/-0
  • Sexo: Masculino
Muchas gracias por la ayuda Luis :) ya pude escribirlo "medianamente" bien.

Saludos,
Franco.
En ninguna parte puede hallar el hombre un retiro tan apacible y tranquilo como en la intimidad de su alma.