Supongo que γ:S1→R2 es una curva estrictamente convexa simétrica de origen liso. Hay cualquier transformación lineal especial A∈SL(2,R) tal que se minimice la longitud de Aγ .
Respuestas
¿Demasiados anuncios?Hay un A∈SL(2,R) que minimiza la longitud de Aγ.
Prueba. Usted puede asumir que γ tiene una longitud de L y se encuentra fuera del círculo unidad. Cualquier admisible A puede ser escrita en la forma A=Tϕ D Tψ donde Tϕ Tψ son rotaciones y D=diag(ρ,1ρ)ρ≥1. Esta A transforma el círculo unidad en una elipse de la circunferencia, al menos,4ρ, e Aγ tienen una mayor longitud. Esto implica que podemos restringir el conjunto de los admisible A's ρ≤L/4 sin perder un posible candidato. Pero ahora estamos minimizando obviamente una función continua sobre el conjunto compacto [0,π]×[1,L4]×[0,π]; por lo tanto el mínimo existe.
SL(2,R) es el grupo especial de transformaciones lineales, no de especial afín. Sin embargo, dado que las traducciones no cambiar la longitud de la curva, la respuesta es la misma para ambos grupos.
La respuesta es sí. Deje L ser la longitud de la γ, y deje d ser la menor distancia de un punto de la imagen de γ desde el origen. Esta menor distancia existe, pues, como una función continua en el conjunto compacto S1, la distancia que alcanza su mínimo; es distinto de cero desde el origen no puede mentir sobre la curva. Considerar el conjunto de elementos A∈SL(2,R) con entradas de menos de o igual a a0:=L4d. Este conjunto es compacto en la topología en SL(2,R) inducida por el elementwise métrica, ya que es cerrado y acotado. La longitud de Aγ es una función continua en este conjunto compacto, y por lo tanto alcanza su mínimo L0, L0≤L (desde L≥4d, por lo tanto a0≥1 y, por tanto, el conjunto contiene la identidad). Ahora a considerar los elementos de SL(2,R) con al menos una entrada a>a0. Dicha transformación mapas de una de las intersecciones de la curva con los ejes de coordenadas a un punto a una distancia mayor o igual a ad desde el origen. Por lo tanto, la longitud de la transformación de la curva es, al menos,4ad>4a0d=L≥L0. Por lo tanto L0 es la longitud mínima. Es alcanzado por lo menos por un paramétricas de la familia de las transformaciones que se diferencian unas de otras por las rotaciones.