Resolución del Ejercicio 12 de la Práctica 3

(Segunda Entrega)

Agustı́n I. Pace
Geometrı́a Diferencial, Abril 2020

1 Tercera Práctica
1.1 Ejercicio 10
Enunciado:
Sea α una curva regular en R3 y f ∈ Iso(R3 )1 . Sea α* = f ◦ α; y κ y κ*
las curvaturas y τ y τ * las torsiones de α y α* respectivamente. Mostrar que
κ = κ* y (
τ si f es una isometrı́a directa.
τ* =
−τ si f es una isometrı́a opuesta.
Resolución:
Reparametrizando a α* por longitud de arco, tenemos la siguiente expresión
de la nueva curva: α*(s) = f (α(s)) = Aα(s) + b (A ∈ O(n), b ∈ Rn ). Esto nos
0 00
dice, además, que α* (s) = Aα0 (s) y α* (s) = Aα00 (s) debido a la linealidad de
la isometrı́a f .
Buscando ahora la curvatura, tenemos que:
00
p
κ*(s) = ||α* (s)|| = ||Aα00 (s)|| = || < Aα00 (s), Aα00 (s) >||
p p p
= || (Aα00 (s))t (Aα00 (s))|| = || α00 (s)t At Aα00 (s)|| = || α00 (s)t A−1 Aα00 (s)||
p p
= || α00 (s)t α00 (s)|| = || < α00 (s), α00 (s) >|| = ||α00 (s)|| = κ(s)

Esto nos dice que las curvaturas de estas dos curvas coinciden (en el paso
en el cual se hizo el reemplazo de At por A−1 , esto se pudo hacer debido a que
A es una matriz ortogonal y por lo tanto su traspuesta es igual a su inversa; o
sea At = A−1 ).
Veamos que pasa con las torsiones y si las mismas coinciden:
0
τ *(s) =< B* (s), N *(s) >=< (T *(s) × N *(s))0 , N *(s) >
1 Recordar que f ∈ Iso(Rn ) sı́ y solo sı́ f (x) = Ax + b para algún A ∈ O(n) y b ∈ Rn

∀x ∈ Rn . f es una isometrı́a directa si det(A) = 1; es decir, si A ∈ SO(n). Y es una isometrı́a

opuesta si det(A) = −1.

1
 00 00
0 α* (s) 0 α* (s) α00 (s) 0 α00 (s)
=< (α* (s) × ), >=< ((Aα0 (s)) × (A )) , A >
κ*(s) κ*(s) κ(s) κ(s)
0
α00 (s) α00 (s)

−1 t 0 (1)
=< det(A)(A ) (α (s)) × ) ,A >
κ(s) κ(s)

0 0
=< ±1(At )t (T (s)) × N (s)) , AN (s) >= ± < (AB(s)) , AN (s) >
= ± < AB 0 (s), AN (s) >= ±(AB 0 (s))t AN (s) = ±B 0 (s)t At AN (s)
= ±B 0 (s)t A−1 AN (s) = ±B 0 (s)t N (s) = ± < B 0 (s), N (s) >= ±τ (s) (2)

El paso (1) se puede realizar debido al Ejercicio 6 de la Práctica 1, que

establece que si T es una transformación lineal de R3 en R3 , con x, y ∈ R3 y x×y
el producto vectorial entre x e y, entonces (T x) × (T y) = det(T )(T −1 )t (x × y).
Luego, en (2) si f es una isometrı́a directa (o sea, A ∈ SO(n)) entonces
det(A) = 1 y ası́ τ *(s) = τ (s). En cambio, si f es una isometrı́a opuesta,
entonces det(A) = −1 y ası́ τ *(s) = −τ (s).