3 Orientacin

Un campo de vectores sobre una -superficie en es una

funcin que asigna a cada punto en un vector
en . Si es tangente a para cada , el campo se
denomina campo de vectores tangente sobre . Si es orto-
gonal a , o sea , para cada , es llamado
campo de vectores normal sobre .

Remarca. Cuando se denen funciones y campos de vectores

sobre supercies, para hablar de las nociones analticas, hay
que considerarlos como restricciones de funciones y campos
de vectores respectivos denidos sobre abiertos que contengan
la supercie.

Dado un campo vectorial tangente sobre una super-

cie , una curva parametrizada que verica la con-
dicin para todo , se denomina curva
integral del campo tangente .

(Teorema de la curva integral para superficies) Sea una -su-

percie en , un campo de vectores suave tangente sobre
, y sea . Entonces existe un intervalo abierto conte-
niendo y una curva integral que verica
i. ,
 ii. Si es otra curva integral de en con
, entonces y para todo .

Remarca. La nica curva integral que satisface las condicio-

nes del teorema anterior se denomina la curva integral maximal
de a travs de .

En efecto, desde que el campo es suave, existe un

abierto que contiene , y un campo de vectores
suave en tal que

Ahora supongamos que cumple y

para todo . Planteamos el dominio como
el abierto , que contiene a y donde, adems, estn de-
nidos y , y no se anula . Podemos introducir el
nuevo campo de vectores en tangente en todos lados a
cada conjunto de nivel de , mediante
,

Una vez ms, se trata de una proyeccin del campo sobre la

superficie . Tenemos garantizada as la existencia de una curva
integral maximal de a travs de , pues
para todo . Faltara hacer ver que todos
los puntos de la curva parametrizada se mantiene en la su-
percie . La justicacin de este hecho es anloga al caso ge-
neral de curvas integrales sobre abiertos. Del caso general
tambin se deduce la maximalidad de la curva integral pedida.

Corolario. Sea una -supercie en , donde

es tal que para todo , y sea un
campo de vectores suave en cuya restriccin a de un
campo vectorial tangente sobre . Si es una curva
integral cualquiera del campo tal que uno de sus puntos
 es un punto de la supercie , entonces para
todo .

Teorema Fundamental. Sea una -supercie que sea conexa

en . Existen exactamente dos campos vectoriales unita-
rios normales suaves y en . Estos campos verican
adems

para todo .
En efecto, sea tal que y
para todo . Denamos, para ,

Este campo claramente cumple las propiedades enunciadas, y

de este modo el segundo campo quedar denido por
.
Para mostrar que estos son los dos nicos campos de
este tipo, supongamos que es otro ms. Tenemos que para
cada el vector en es mltiplo de , pues
ambos se encuentran en el mismo subespacio vectorial unidi-
mensional . De manera que

donde es una funcin suave en que es igual a

. Como y son ambos vectores
unitarios, en cada . Por ltimo, gracias a la
suavidad de y a la conexidad de , tiene que ser constante.

Un campo vectorial normal unitario suave en una n-

supercie en , es llamado una orientacin en . De
acuerdo al teorema que acabamos de probar, cada supercie
conexa de dimensin posee exactamente dos orientaciones.
Una -supercie junto con una orientacin es llamada super-
ficie orientada. Un vector unitario en es llamado una di-
reccin en . As, una orientacin en una -supercie consiste
en una eleccin suave de direcciones normales en cada punto
de .
 En una curva plana, una orientacin puede ser utilizada
para denir una direccin tangente en cada punto de la curva.
La direccin tangencial positiva en el punto de la curva plana
orientada es la diraccin obtenida mediante el giro de
de la direccin de la orientacin normal en . En una -super-
cie en , una orientacin puede ser usada para denir una
direccin de rotacin en el espacio tangente en cada punto de
la supercie. Dado el ngulo , la -rotacin positiva en
el punto de la -supercie orientada es la transformacin
lineal denida por

donde es la direccin normal de la orientacin en , y

es el producto vectorial (que es slo denible) en
. Es la costumbre describir como la rotacin segn la
mano derecha alrededor de abarcando un ngulo .
En una -supercie en , una orientacin puede ser
usada para denir la percepcin de lateralidad en el espacio
tangente en cada punto de la supercie. Dada una -supercie
orientada y un punto de la supercie, una base ortonormal
del espacio tangente posee lateralidad derecha
si el nmero es positivo, donde
es la direccin normal de la orientacin en
. La base ortonormal posee lateralidad izquierda en caso de
que el determinante sea negativo. En general, en una -super-
cie en , una orientacin puede ser usada para particionar
la coleccin de todas las bases del espacio tangente en cada
punto en dos tipos, aquellas bases consistentes con la orienta-
cin y aquellas inconsistentes con la orientacin. Una base
del espacio tangente en de la -supercie
orientada es consistente con la orientacin si el nmero
es positivo, y sino, si es negativo, es in-
consistente con la orientacin.