1 votos

Lema de la bola de características - Reconstrucción de curvas y superficies de Tamal K. Dey

Algunas preguntas sobre un teorema de reconstrucción. Estoy leyendo la demostración del siguiente teorema

Lemma 1.1. (Bola de características). Si un $d$ -bola $B = B_{c,r}$ se cruza con un $k$ -manifold $\Sigma \subset \mathbb{R}^d$ en más de un punto en el que $(i)$ $B \cap \Sigma$ no es un $k$ -bola o $(ii)$ $bd ( B \cap \Sigma)$ no es un $k-1$ -esfera, entonces un punto del eje medial está en $B$ .

Prueba. Primero demostramos que si $B$ intersección $\Sigma$ en más de un punto y $B$ es tangente a $\Sigma$ en algún momento, $B$ contiene un punto de eje medial.

Pregunta 1. ¿Por qué es necesario estudiar ese caso en primer lugar? ya que ni siquiera se menciona en el enunciado del teorema, a menos que esto ocurra con el caso (i) o (ii)?

Dejemos que $x$ sea el punto de esta tangencia. Reducir $B$ manteniendo además la tangencia con $\Sigma$ en $x$ . Nos detenemos cuando $B$ se encuentra con $\Sigma$ sólo tangencialmente.

Pregunta 2. Puedo imaginarme exactamente lo que ocurre en 2D o incluso en 3D, y puedo imaginar lo que ocurre con la dimensión $k > 3$ Sin embargo, sólo puedo imaginar que me falta exactamente qué transformación se define para realizar esta contracción.

1voto

sfusion Puntos 802

Pregunta 1. ¿Por qué es necesario estudiar este caso en primer lugar? ya que ni siquiera se menciona en el enunciado del teorema, a menos que esto ocurra con el caso (i) o (ii)?

Dicen que para demostrar que $B$ contiene un punto de eje medial, basta con demostrar que $B$ es tangente a $\Sigma$ en algún momento.

Pregunta 2. Puedo imaginarme exactamente lo que ocurre en 2D o incluso en 3D, y puedo imaginarme lo que ocurre con la dimensión k>3k>3, sin embargo sólo puedo imaginarme esto, me falta saber exactamente qué transformación se define para realizar esta contracción.

Dejemos que $c$ sea el centro de $B$ y $x$ el punto de tangencia. Sea $y_t=(1-t)x+tc$ , donde $t\in[0,1]$ sea un punto en el segmento de línea entre $x$ y $c$ . Queremos elegir $t$ tal que $\varphi(t) = d(y_t, \Sigma\setminus\{x\}) - \|y_t - x\| = 0.$ Pero $\varphi$ es continua con $$\varphi(0) = d(x, \Sigma\setminus\{x\}) - \|x-x\| > 0$$ $$\varphi(1) = d(c, \Sigma\setminus\{x\}) - \|c-x\| < 0.$$

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