Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Bundles cotagentes
Dado un espacio rectorial on IR ,
Podemos tomar
Su Campo dual
f }
*
✓ = w :
V >
IR I wld , ×, + ✗
zxz )
=
✗a WCX , ) t ✗ zw ( Xz ) Para Xi EV y
✗ i ER
El espacio dual ✓
*
estambién un espacio rectorial Aw , + Bzwz C- ✓
*
tp*M del
*
Wi c- ✓ Bn pz ER El espacio rectorial dual
para , wz ✗ ,
.
espacio
tmgente Tpm es llama do el espacio cotangent .
De hecho ,
dado f- c- ECM ) , Podemos definer su difcrencial
dfp en p .
dfp :
Tp M > IR
,
Xp I >
Xp (f) ◦
coordenadas locales (U
"
Para un as
, 4=1×1 .
. . .
,
✗ I
,
hemos vis to (
! base de TPM
2
que ,
. . .
.
es una .
,
DX
"
p , . . .
,
DX "
Como una base de Tp*M
p
tal que :
dxi 2 =
8! ◦
P 2 ✗J p
espacio s cotangent es :
M
¥mTp*M
=
Push-forward y pull-back
fa:lpM <
1yc, N
para g eC9M).
f es denotada por dlfyen la literature.
S" Y
=
(X, .
.
.,
x") = R** 1X1 =
12. Entences, el polo nortey polosor x
==
1
Deficion
4:Si fxe s regular para PCM, f esllamado una submersion.
-ormas diferenciales
Es natural la de satisface
considerar un
algebra generada por base Ip*M sobre IR que
dxindxs dxdx
donde es llamado el producto wedge, puede ser entendido como una multiplicacionde este algebra,
y llamamos el algebra exterior. Para una manifold n-dimensional, tenemos una descomposicion
de soma directas
*, *M.
·
*M =
k0 =
W(Xin ...
wr, definimos:
We W
...1Wx(X,X2, ..., Xm
x,det(WaLXoS.
=
kes! Wes
**M=
Podemos considera una familia de espacios vectoriales sobre la manifold M.
U*e*
La wal satisface la Definicion 2.1 de una manifold.
Dado dos wordenadas locales (4,xi ..., x") y LV, y, ..., y"), la transformaciones dada por
dx....dx
Bigdys.... dyse
=
D!denota
donde el jacobiano. Ademas, escribimos el conjunto de todas las secciones como
~(M) =
1 (NT*M).
En particular, tenemos -(M) 1° M). =
Un elemento de "(M) es conocido como una
K-forma diferencial. Como resultado, una K-forma puede ser expresado come
W =
fi......(X, ..., xY dxin ...dx
in c... in
I
gi...ny...., y'dyin..... dyir.
in . . . in
Enla intercepcion de dos charts locales (4,x., ..., x") y (V; y1, ...,y), y f, g estan relacionadas
W:x(M) x
...
*(M)
. > CIM).
Ademas, existe un mapa linear unico llamado la derivadla exterior d: *(M) < 2**(M)
tal que:
(i) En PCM), esto fee ya definido, i.e df x(f) =
pcratodo x ex(M)
Tenemos
*
(ii) dod 0:1"(M)
= < 2" (M).
(dW) (X ,
. .
., Xme) =
(-
+
donde *
X., . . . , xm+ A(M) y
V
significa Omitido.
En terminos de Coordenadas locales x', ..., x", Podemos definir las derived as exteriores
come
d
W...., ndx...dxit dW...., in exie... dxin
.......in
un homomorfismo de algebra
f *: CN) (M)
f*W) 1. ...,
Xr Wf(Xe), ..., fxIX).
Para We YIN) y X, , . .
.,
XnG AIM). Note that el pull-back f* tiene
i) f*:*(N) >
_*(M) es in mapa linew.
ii) f*(win) f*W f*Y.
iii Si G:N es un mapa entre dos manifolds Ny
Entonces gof)*f**g*.
in
commuta con derivada exterior df* f*d
un mapa linear
i (M):*( ~"(M)
es definido por
i(X)W 1,...., Xi kWLX, X, ..., XKa
podemos
definir ICX) 0. Asi llamamos i(x(wel to
interior de W por X.
✗
:
CM ) > IM )
rectorial ✗ E
HIM ) .
Esto es detinido por
W / W ✗1 Xu ) W ✗1 XK
=
✗ n ,
. . .
,
k
,
. . .
, ,
. . .
, ✗ , Xi ,
. . .
,
.
÷ ,
eorema 7 :
Sea 4 Ux } ✗ et un rewbrimiento abierto de .
Existe un
retina miento
Detinicion 8 :
Partition de Unidad .
Sea hua} un rewbimiento abierto local mentee fnito
de manifold .
Una pcticio-ndevnidad-asociada.at Ua } es una coleccién
i o ≤ ✗ ✗
≤
iii
↳✗ a
=
1 .
Iii supp ( ✗✗
C
U a
Si usamos coordenas locales (X, ..., X") sobre un chart Ha, podemos escribir
NaW-faIX) x ...
X.
Im du-w.
7:M HH2.
Pf:caso Supongamos que supp(w)(A (-R, R7 x (0,R]
( R,R) x
= = ... x -
y qre w =
es facil verque
Ademas, si In,
15:
esidx=I..asidxi
tenemos do
Saw =
(-r-1....retude" dxr...dxt
= Geunfe(x'...., x 0) di f..feler,
=
...,
x0b dxin... de
(-
=
dw
=
Caso 2:M=R2. En este caso, usando on
arreglo similar. Sabemos que ambos lados son cero.
Caso 3:
Supongamos que Mes una manifold (suavel arbitraria can bordey supp(ws
3M
4:dw
+
yaque
+
=Mdw.
Formula de Green:
$8,dxdyPdx+ady
Formula de Stokes:
I -5 dxdy
+1 84 Ededz
+
() -? dadx
A dx+Bdytedz.
Teorema de la
Divergencia
S(24+ dxdydz=
Pdydz adadx+Rdx dy
+
Teorema 10 S:M es una manifoldcompactay orientada sin bordes, entonces para cualquier
we "" (M), entence
Mdw 0
=
47: facil
teorema 11 S:M es una variedad compacta orientada can borde, entences para walquier
r (M)
we con dw =
0, se tiene
ahw 0.
=