Tesis Criterio de Frobenius

Introduccin
Criterio de Frobenius
Interpretacin geometrica en R3
o
Interpretacin geometrica en Rn
o
El criterio de Frobenius
Samuel Tomas Mamani
Orientador: Dr. Efra Cruz
n
Universidad Mayor de San Simn
o
Carrera de Matemtica
a
Marzo de 2014
Universidad Mayor de San Simn Carrera de Matemtica

o
a
Introduccin
o
o
o
Introduccin
o
Introducin
o
En el calculo diferencial
un problema. es dado la
funcin f
o
x0
El Reciproco de ese problema es. Dado el

vector tangente f ,
f (x)
f (x)
x0
encontrar su derivada, es
decir su vector tangente
encontrar la curva f
f (x)
f (x)
x0
f (x)
x0
f (x)

o
a
Introduccin
o
o
o
Introduccin
o
Introduccin
o
Ahora si consideramos R3 ,
y una supercie M , un
problema es encontrar el
espacio tangente en un
punto p.
El problema inverso es, dado un plano P y

punto p encontrar una supercie M talque
el espacio tangente Tp M = P
E1
(s, t, u)
X(s, t) = u
E2
T(s,t,u) M
U0
(s, t)

o
a
Introduccin
o
o
o
Introduccin
o
Introduccin
o
Introduccin
o
Planteemos los siguientes sistemas:
E1
(s, t, u)
X(s, t) = u
E2
T(s,t,u) M
X
= (s, t, X(s, t))
s
X
= (s, t, X(s, t))
t
U0
(s, t)
Planteado de ese modo,en general no existe

solucin. Pero Frobenius nos da una condio
cio necesaria y suciente para la existencia
n
de esa supercie.

o
a
Introduccin
o
o
o
Introduccin
o
Introduccin
o
Introduccin
o
Planteemos los siguientes sistemas:
E1
(s, t, u)
X(s, t) = u
E2
T(s,t,u) M
X
= (s, t, X(s, t))
s
X
= (s, t, X(s, t))
t
U0
(s, t)
Planteado de ese modo,en general no existe

solucin. Pero Frobenius nos da una condio
cio necesaria y suciente para la existencia
n
de esa supercie.

o
a
Introduccin
o
o
o
Criterio de Frobenius en Rn
Teorema (Criterio de Frobenius)
Sean , : U O Rn , campos vectoriales diferenciables, donde U R2 y O Rn
son abiertos. Sea (s0 , t0 ) U un punto jo. Entonces para cada punto p O el
sistema de ecuaciones
X
= (s, t, X(s, t))
(1)
s
X
= (s, t, X(s, t))
t
(2)
X(s0 , t0 ) = p
(3)
Rn
tiene una unica solucin diferenciable X : U0
o
denida en una vecindad U0 de
(s0 , t0 ) en U si y slo si se satisface la condicin de compatibilidad
o
o
D
+
=
+
t
DX
s
DX
(4)

o
a
Introduccin
o
o
o
X
= (s, t, X(s, t))
(1)
s
X
= (s, t, X(s, t))
t
(2)
X(s0 , t0 ) = p
(3)
Rn
o
o
o
D
+
=
+
t
DX
s
DX
(4)

o
a
Introduccin
o
o
o
X
= (s, t, X(s, t))
(1)
s
X
= (s, t, X(s, t))
t
(2)
X(s0 , t0 ) = p
(3)
Rn
o
o
o
D
+
=
+
t
DX
s
DX
(4)

o
a
Introduccin
o
o
o
Interpretacin geometrica en R
o
o
Proposicion
Si los campos escalares y cumplen la condicin de compatibilidad, entonces existe
o
una funcin diferenciable X : U0 U R tal que el conjunto M denido como:
o
M = graf (X) = {(s, t, u) R3 |u = X(s, t)} es una supercie regular y el plano
tangente a M en cada punto (s, t, u) M es generada por los vectores
E1 = (1, 0, (s, t, u)), E2 = (0, 1, (s, t, u))
E1
(s, t, u)
X(s, t) = u
E2
T(s,t,u) M
U0
(s, t)

o
a
Introduccin
o
o
o
o
o
Proposicion
Si los campos escalares y cumplen la condicin de compatibilidad, entonces existe
o
una funcin diferenciable X : U0 U R tal que el conjunto M denido como:
o
M = graf (X) = {(s, t, u) R3 |u = X(s, t)} es una supercie regular y el plano
tangente a M en cada punto (s, t, u) M es generada por los vectores
E1 = (1, 0, (s, t, u)), E2 = (0, 1, (s, t, u))
E1
(s, t, u)
X(s, t) = u
E2
T(s,t,u) M
U0
(s, t)

o
a
Introduccin
o
o
o
o
Lema
Sean E1 y E2 campos vectoriales en R3 . Entonces y satisfacen la condicin de
o
compatibilidad si y slo si los campos vectoriales E1 y E2 conmutan, es decir
o
[E1 , E2 ] = 0
.
p2
E2
p3
E1
[E1 , E2 ] = 0
E2
4
3
E1
2
E2
E1
[E1 , E2 ]
p1
1

o
a
Introduccin
o
o
o
o
Lema
Sean E1 y E2 campos vectoriales en R3 . Entonces y satisfacen la condicin de
o
compatibilidad si y slo si los campos vectoriales E1 y E2 conmutan, es decir
o
[E1 , E2 ] = 0
.
p2
E2
p3
E1
[E1 , E2 ] = 0
E2
4
3
E1
2
E2
E1
[E1 , E2 ]
p1
1

o
a
Introduccin
o
o
o
o
o
Denicion (Distribucin)
o
Sea M una supercie de dimencin n. Una distribucin
o
o
de dimensin r es una
o
forma de asignar a cada m M un subespacio r dimensional m Tm M , de
forma que en un entorno U (m) venga generado por campos de vectores
X1 , X2 , . . . , Xr .
Denicion (supercie integrable)
Se dice que N es una supercie integral de una distribucin
o
Tm M es igual a la dimencin de
o
para todo m N .
en M si rango de
Denicion (Distribucin involutiva)

o
Se dice que
una distribucin de dimensin r es involutiva si para cada base local
o
o
{X1 , X2 , . . . , Xr } existen funciones cr tales que
ij
r
ck Xk
ij
[Xi , Xj ] =
k=1
para 1 i, j r.

o
a
Introduccin
o
o
o
o
o
o
o
o
o
X1 , X2 , . . . , Xr .
o
o
para todo m N .
en M si rango de

o
Se dice que
o
o
ij
r
ck Xk
ij
[Xi , Xj ] =
k=1
para 1 i, j r.

o
a
Introduccin
o
o
o
o
o
o
o
o
o
X1 , X2 , . . . , Xr .
o
o
para todo m N .
en M si rango de

o
Se dice que
o
o
ij
r
ck Xk
ij
[Xi , Xj ] =
k=1
para 1 i, j r.

o
a
Introduccin
o
o
o
o
o
o
o
o
o
X1 , X2 , . . . , Xr .
o
o
para todo m N .
en M si rango de

o
Se dice que
o
o
ij
r
ck Xk
ij
[Xi , Xj ] =
k=1
para 1 i, j r.

o
a
Introduccin
o
o
o
o
o
Dados los campos E1 y

E2
[E1 , E2 ] = 0, entonces
mente integrable.
es completa-

o
a
Introduccin
o
o
o
o
o
Como [E1 , E2 ] = 0,
es completamente integrable.
es la foliacin, que consite en los planos

o
tangentes a la familia de paraboloides: z =
1
(x2 + y 2 ) + c
2

o
a
Introduccin
o
o
o
o
o
Proposicicin
o
Sean E1 , E2 : Rn Rn+2 campos vectoriales diferenciables. Si para cada
(s0 , t0 ) y X Rn se cumple que
[E1 , E2 ](s0 , t0 , X) Span{E1 (s0 , t0 , X), E2 (s0 , t0 , X)}
(5)
entonces existe una vecindad N (s0 , t0 , X) Rn+2 y una supercie S N (s0 , t0 , X)

tal que si (s0 , t0 , X) S, se tiene que
T(s0 ,t0 ,X) S = Span{E1 (s0 , t0 , X), E2 (s0 , t0 , X)}.
(6)
Es decir que si
Teorema de frobenius
Si una distribucin
o
es involutiva, entonces esta distribucin es totalmente integrable.
o

o
a
Introduccin
o
o
o
o
o
Proposicicin
o
Sean E1 , E2 : Rn Rn+2 campos vectoriales diferenciables. Si para cada
(s0 , t0 ) y X Rn se cumple que
[E1 , E2 ](s0 , t0 , X) Span{E1 (s0 , t0 , X), E2 (s0 , t0 , X)}
(5)
entonces existe una vecindad N (s0 , t0 , X) Rn+2 y una supercie S N (s0 , t0 , X)

tal que si (s0 , t0 , X) S, se tiene que
T(s0 ,t0 ,X) S = Span{E1 (s0 , t0 , X), E2 (s0 , t0 , X)}.
(6)
Es decir que si
Teorema de frobenius
Si una distribucin
o
es involutiva, entonces esta distribucin es totalmente integrable.
o

o
a
Introduccin
o
o
o
o
Interpretacin Geometrica en R3
o
Considrese en R3 las coordenadas (s, t, X). Una distribucin bidimensional

e
o
viene determinada por las funciones.
en R3 ,
de forma que
(s, t, X(s, t))
(7)
(s, t, X(s, t)).
(8)
est generado por los campos

E1
E2
+
s
X
+
.
t
X

o
a
Introduccin
o
o
o
o
o

e
o
en R3 ,
de forma que
(s, t, X(s, t))
(7)
(s, t, X(s, t)).
(8)

E1
E2
+
s
X
+
.
t
X

o
a
Introduccin
o
o
o
o
o

e
o
en R3 ,
de forma que
(s, t, X(s, t))
(7)
(s, t, X(s, t)).
(8)

E1
E2
+
s
X
+
.
t
X

o
a
Introduccin
o
o
o
o
o
Con este esquema, se puede escribir todas las distribuciones
tal que no contiene
planos verticales. Por este motivo una supercie N puede escribirse (localmente)
como el grafo de una funcin X = X(s, t) y su plano tangente en el punto
o
(s, t, X(s, t)) esta generado por:
E1
E2
X
+
s
s X
X
+
.
t
t X
=
=
(9)
(10)

La condicin Span{E1 , E2 } = Span{E1 , E2 }, se escribe
o
X
|(s,t)
s
X
|(s,t)
t
(s, t, X(s, t))
(s, t, X(s, t)).

o
a
Introduccin
o
o
o
o
o
tal que no contiene
o
E1
E2
X
+
s
s X
X
+
.
t
t X
=
=
(9)
(10)

o
X
|(s,t)
s
X
|(s,t)
t
(s, t, X(s, t))
(s, t, X(s, t)).

o
a
Introduccin
o
o
o
o
o
tal que no contiene
o
E1
E2
X
+
s
s X
X
+
.
t
t X
=
=
(9)
(10)

o
X
|(s,t)
s
X
|(s,t)
t
(s, t, X(s, t))
(s, t, X(s, t)).

o
a
Introduccin
o
o
o
o
o
As pues, dadas las funciones (7) se plantea encontrar una funcin X = X(s, t) tal que
verique (9). La condicin de integrabilidad [E1 , E2 ]

es entonces equivalente a la
igualdad
D
+
=
+
(11)
t
DX
s
DX
que expresa una condicin para que las soluciones X = X(s, t) del sistema de
ecuaciones en derivadas parciales (9) veriquen la regla de Swartz
2
2
=
st
ts
(12)
El teorema de Frobenius garantiza que esta condicin es tambin suciente para la

e
existencia de soluciones, es decir: Fijado Z0 = (s0 , t0 , X0 ) existe una (localmente
unica) funcin XZ0 = XZ0 (s, t) solucin de la EDP (9).
o
o

o
a
Introduccin
o
o
o
o
o

igualdad
D
+
=
+
(11)
t
DX
s
DX
2
2
=
st
ts
(12)

e
o
o

o
a
Introduccin
o
o
o
o
o

igualdad
D
+
=
+
(11)
t
DX
s
DX
2
2
=
st
ts
(12)

e
o
o

o
a
Introduccin
o
o
o
o
o

igualdad
D
+
=
+
(11)
t
DX
s
DX
2
2
=
st
ts
(12)

e
o
o

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
Sea M = R3
Consideremos los campos E1 = [1, 0, x] y E2 = [0, 1, y]
= Spam{E1 , E2 }
1 [E1 , E2 ] = 0
2

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
Sea M = R3
= Spam{E1 , E2 }
1 [E1 , E2 ] = 0
2

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
Sea M = R3
= Spam{E1 , E2 }
1 [E1 , E2 ] = 0
2

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
1 0
1 0
2 la matriz fundamental es (t) = 0 1
t 0
3 y la solucin sera (t) = (t)X0 + (t)
o
4 (t) =
t2
2

0
x
1
0 y + 0
0
z
0
0
1
1 = 0
0 , (t)
1
t
0
0
1

1
1 B(t) , donde B(t) = 0
(t)
0
0
1
0
t + x0
y0
+ tx0 + y0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
1 0
1 0
t 0
o
4 (t) =
t2
2

0
x
1
0 y + 0
0
z
0
0
1
1 = 0
0 , (t)
1
t
0
0
1

1
1 B(t) , donde B(t) = 0
(t)
0
0
1
0
t + x0
y0
+ tx0 + y0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
1 0
1 0
t 0
o
4 (t) =
t2
2

0
x
1
0 y + 0
0
z
0
0
1
1 = 0
0 , (t)
1
t
0
0
1

1
1 B(t) , donde B(t) = 0
(t)
0
0
1
0
t + x0
y0
+ tx0 + y0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
1 0
1 0
t 0
o
4 (t) =
t2
2

0
x
1
0 y + 0
0
z
0
0
1
1 = 0
0 , (t)
1
t
0
0
1

1
1 B(t) , donde B(t) = 0
(t)
0
0
1
0
t + x0
y0
+ tx0 + y0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
1 0
1 0
t 0
o
4 (t) =
t2
2

0
x
1
0 y + 0
0
z
0
0
1
1 = 0
0 , (t)
1
t
0
0
1

1
1 B(t) , donde B(t) = 0
(t)
0
0
1
0
t + x0
y0
+ tx0 + y0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
0 1
1 0
0 t
3 y la solucin sera (s) = (s)X0 + (s)
o
4 (t) =
s2
2

0
x
0
0 y + 1
0
z
0
0
1
1 = 0
0 , (t)
1
0
0
0
1

0
1 B(s) , donde B(t) = 1
(s)
0
0
1
t
x0
s + y0
+ sy0 + z0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
0 1
1 0
0 t
o
4 (t) =
s2
2

0
x
0
0 y + 1
0
z
0
0
1
1 = 0
0 , (t)
1
0
0
0
1

0
1 B(s) , donde B(t) = 1
(s)
0
0
1
t
x0
s + y0
+ sy0 + z0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
0 1
1 0
0 t
o
4 (t) =
s2
2

0
x
0
0 y + 1
0
z
0
0
1
1 = 0
0 , (t)
1
0
0
0
1

0
1 B(s) , donde B(t) = 1
(s)
0
0
1
t
x0
s + y0
+ sy0 + z0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
0 1
1 0
0 t
o
4 (t) =
s2
2

0
x
0
0 y + 1
0
z
0
0
1
1 = 0
0 , (t)
1
0
0
0
1

0
1 B(s) , donde B(t) = 1
(s)
0
0
1
t
x0
s + y0
+ sy0 + z0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Campos
1

x
0 0
y = 0 0
z
0 1
1 0
0 t
o
4 (t) =
s2
2

0
x
0
0 y + 1
0
z
0
0
1
1 = 0
0 , (t)
1
0
0
0
1

0
1 B(s) , donde B(t) = 1
(s)
0
0
1
t
x0
s + y0
+ sy0 + z0

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
1 Asi obtenemos los siguientes Flujos

(t) = (x, s + y,
s2
+ sy + z)
2
(t) = t + x, y,
t2
+ tx + y)
2
2 Donde estos Flujos conmutan porque el corchete de lie es cero es decir

((t)) = (t + x, s + y,
3 Asi z =
s2
2
t2
2
s2
t2
+ sy +
+ tx + y)
2
2
+C

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion

(t) = (x, s + y,
s2
+ sy + z)
2
(t) = t + x, y,
t2
+ tx + y)
2

((t)) = (t + x, s + y,
3 Asi z =
s2
2
t2
2
s2
t2
+ sy +
+ tx + y)
2
2
+C

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion

(t) = (x, s + y,
s2
+ sy + z)
2
(t) = t + x, y,
t2
+ tx + y)
2

((t)) = (t + x, s + y,
3 Asi z =
s2
2
t2
2
s2
t2
+ sy +
+ tx + y)
2
2
+C

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion

(t) = (x, s + y,
s2
+ sy + z)
2
(t) = t + x, y,
t2
+ tx + y)
2

((t)) = (t + x, s + y,
3 Asi z =
s2
2
t2
2
s2
t2
+ sy +
+ tx + y)
2
2
+C

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Concluimos
1 [E1 , E2 ] = 0
2
3
es la foliacin, que consite en los planos tangentes a la familia de
o
paraboloides:
4 z=
1
(x2
2
+ y2 ) + c

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Concluimos
1 [E1 , E2 ] = 0
2
3
o
paraboloides:
4 z=
1
(x2
2
+ y2 ) + c

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Concluimos
1 [E1 , E2 ] = 0
2
3
o
paraboloides:
4 z=
1
(x2
2
+ y2 ) + c

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Concluimos
1 [E1 , E2 ] = 0
2
3
o
paraboloides:
4 z=
1
(x2
2
+ y2 ) + c

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Concluimos
1 [E1 , E2 ] = 0
2
3
o
paraboloides:
4 z=
1
(x2
2
+ y2 ) + c

o
a
Introduccin
o
o
o
o
Ejemplo Conclusion
Gracando
[E1 , E2 ] = 0,
es la foliacin, que consite en los planos

o
tangentes a la familia de paraboloides: z =
1
(x2 + y 2 ) + c
2

o
a
Introduccin
o
o
o
o
Referencias Bibliogrcas
a
V. I. Arnold Lectures on Partial Dierential Equations,Springer.
W. M. Boothby, An Introduction to Dierential Manifolds and Riemannian
Geometry, Academic Press, New York, 1986.
M. P. do Carmo,Dierential Geometry of Curves and Surfaces, Prentice- Hall,
Inc., 1976.
M. P. do Carmo, Dierential forms and aplications, Springer, New York, 1994.
R. Flores E., Yu. Vorobjev, Liner Hamiltonian Systems and symplectic Geometry,
Talleres Gracos de la Universidad de Sonora, Hermosillo, Sonora, 1998.
M. Spivak, Clculo en Variedades, Editorial Revert, Bercelona, 1987.
a
e
J. J. Stoker, Dierential Geometry, Wiley, New York,
Badajoz, Apuntes de Ecuaciones Diferenciales, Dpto. de Matemticas. Univ. de
a
Extremadura, 13 de mayo de 2013

o
a
Introduccin
o
o
o
o
a
Jorge Sotomayor, Lices de equaces diferenciais ordinarias, IMPA Instituto de
o
o
Matematica Pura e aplicada.
Barrett ONeill, Elementary Dierential Geometry, Department of Mathematics
University of California, Los Angeles
Lawrence Conlon, Dierentiable Manifolds Second Edition, Reprint of the 2001
Second Edition,Department of Mathematics Washington University
Victor Hugo Patty Yujra, Controlabilidad de Sistemas Bilineales en el Plano,
Universidad Mayor de San Andrs Facultad de Ciencias Puras y Naturales
e
Carrera de Matemtica
a
Ivan Kolar Peter W. Michor Jan Slovak, NATURAL OPERATIONS IN
DIFFERENTIAL GEOMETRY, Institut fur Mathematik der Universitat Wien,
Strudlhofgasse 4, A-1090 Wien, Austria.
Wolgang Kuhnel, Dierential Geometry Curves Surfaces Manifolds, Editorial
Board 2003
John M. Lee, Introduction to Smooth Manifolds, Springer
Gerd Rudolph, Matthias Schmidt Dierential Geometry and Mathematical
Physics Part I. Manifolds, Lie Groups and Hamiltonian Systems, Editorial Board atica
Universidad Mayor de San Simn Carrera de Matem
o
2013
Introduccin
o
o
o
o
a
M. Spivak,Duferential Geometry volumen II, Houston Texas 1999

Iskander A. Taimanov, Lectures on Dierential Geometry, European
Mathematical Society
C. L. Terng, Lecture Notes on Curves and Surfaces in R3, Dierential Geometry
Computyer Projects for NCTS Workshop, 2003
Loring W. Tu, An Introduction to Manifolds Second Edition, Springer
Gerard Walschap, Metric struct ures in dierential geometry
C. Imaz, Zoenek Vorel, Ecuaciones diferenciales ordinarias , Editorial Limusa,
Mexico D.F. 1975.
L. Perko, Dierential equations and dynamical systems Second edition Springer,
1996.

o
a

Tesis Criterio de Frobenius

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Tesis Criterio de Frobenius

Caricato da

Copyright:

Formati disponibili

Introduccin

Universidad Mayor de San Simn Carrera de Matemtica

El Reciproco de ese problema es. Dado el

Universidad Mayor de San Simn Carrera de Matemtica

El problema inverso es, dado un plano P y

Universidad Mayor de San Simn Carrera de Matemtica

Planteado de ese modo,en general no existe

Universidad Mayor de San Simn Carrera de Matemtica

Planteado de ese modo,en general no existe

Universidad Mayor de San Simn Carrera de Matemtica

tiene una unica solucin diferenciable X : U0

Universidad Mayor de San Simn Carrera de Matemtica

tiene una unica solucin diferenciable X : U0

Universidad Mayor de San Simn Carrera de Matemtica

tiene una unica solucin diferenciable X : U0

Universidad Mayor de San Simn Carrera de Matemtica

Universidad Mayor de San Simn Carrera de Matemtica

Universidad Mayor de San Simn Carrera de Matemtica

Universidad Mayor de San Simn Carrera de Matemtica

Universidad Mayor de San Simn Carrera de Matemtica

Denicion (Distribucin involutiva)

Universidad Mayor de San Simn Carrera de Matemtica

Denicion (Distribucin involutiva)

Universidad Mayor de San Simn Carrera de Matemtica

Denicion (Distribucin involutiva)

Universidad Mayor de San Simn Carrera de Matemtica

Denicion (Distribucin involutiva)

Universidad Mayor de San Simn Carrera de Matemtica

Dados los campos E1 y

Universidad Mayor de San Simn Carrera de Matemtica

es la foliacin, que consite en los planos

Universidad Mayor de San Simn Carrera de Matemtica

entonces existe una vecindad N (s0 , t0 , X) Rn+2 y una supercie S N (s0 , t0 , X)

Universidad Mayor de San Simn Carrera de Matemtica

entonces existe una vecindad N (s0 , t0 , X) Rn+2 y una supercie S N (s0 , t0 , X)

Universidad Mayor de San Simn Carrera de Matemtica

Considrese en R3 las coordenadas (s, t, X). Una distribucin bidimensional

(s, t, X(s, t))

(s, t, X(s, t)).

est generado por los campos

Universidad Mayor de San Simn Carrera de Matemtica

Considrese en R3 las coordenadas (s, t, X). Una distribucin bidimensional

(s, t, X(s, t))

(s, t, X(s, t)).

est generado por los campos

Universidad Mayor de San Simn Carrera de Matemtica

Considrese en R3 las coordenadas (s, t, X). Una distribucin bidimensional

(s, t, X(s, t))

(s, t, X(s, t)).

est generado por los campos

Universidad Mayor de San Simn Carrera de Matemtica

(s, t, X(s, t))

(s, t, X(s, t)).

Universidad Mayor de San Simn Carrera de Matemtica

(s, t, X(s, t))

(s, t, X(s, t)).

Universidad Mayor de San Simn Carrera de Matemtica

(s, t, X(s, t))

(s, t, X(s, t)).

Universidad Mayor de San Simn Carrera de Matemtica

verique (9). La condicin de integrabilidad [E1 , E2 ]

El teorema de Frobenius garantiza que esta condicin es tambin suciente para la

Universidad Mayor de San Simn Carrera de Matemtica

verique (9). La condicin de integrabilidad [E1 , E2 ]