JEAN-PAULBRASSELETE NGUY˜
ÊN THỊ BÍCH THỦY
Resumo. O Teorema de Poincaré-Hopf é um dos resultaods da matématica mais usados nas outras áreas da ciência. Há aplica¸cões do Teorema de Poincaré-Hopf em física, química, biologia e mesmo em economia, psicologia, etc...
O Teorema de Poincaré-Hopf liga um invariante da combinatória, a característica de Euler- Poincaré é um invariante da geometria diferencial, índices de campos de vetores. Os resultados que ligam assim duas áreas bem diferentes da matemática podem ser considerados como os mais bonitos e, úteis e fecundos.
1. Introduc¸ ão
O Teorema de Poincaré-Hopf é bem conhecido, mas a sua prova nem tanto. O objetivo desta presenta¸cão é de introduzir a prova, ou ao menos, uma idéia da prova do Teorema de Poincaré-Hopf, no caso de superfícies, assim que algumas consequências.
2. O Teorema de Descartes-Euler
Historicamente, a “característica de Euler-Poincaré” duma superfície foi definida usando trian- gula¸cões. Exemplos de triangula¸cões da esferaS2são dados na figura 1.
Uma triangula¸cão duma superfícieS é o dado de um poliedro (triangulado) K⊂Rn e de um homeomorfismo h : |K| → S, onde |K| é o subespa¸co topológico compacto de Rn, união dos simplexos do poliedroK.
Seja K uma triangula¸cão duma superfície compacta S, com números n0 de vértices, n1 de segmentos en2de triângulos, a característica de Euler-Poincaré é definida por
(2.1) χ(S) =n0−n1+n2.
No caso da esferaS2 e na figura 1, e na triangula¸cão do cubo, temos n0−n1+n2= 8−18 + 12 = 2.
Pela triangula¸cão do tetraedro, temos
n0−n1+n2= 4−6 + 4 = 2.
Há várias provas, em particular por Descartes (1639), Cauchy (1811), do queχ(S2)não depende da triangula¸cãoK escolhida (veja [BN] e o site web [Epp]).
Assim temos
χ(S2) =n0−n1+n2= 2 qualquer que seja a triangula¸cão da esfera.
This work was performed during...first author, FAPESP grant no. 2015/06697-9.
1
arXiv:1710.08764v1 [math.HO] 9 Oct 2017
c a b
e g f
b
f
d d
e
a c
g
b b a
a
c c
Figura 1. Triangula¸cões da esfera. Nas representa¸cões planais identificam-se os segmentos de mesmo nome com a mesma orienta¸cão.
A característica de Euler-Poincaré do toro vale0. Em geral, a característica de Euler-Poincaé duma superfície compacta, sem borda e orientável é 2 −2g, onde g é o genêro da superfície.
Lembramos que o gênerog de uma superfície (orientável ou não) é o número máximo de círculos que se pode desenhar sobre a superfície sem a disconectar. A esfera é de gênero0: qualquer círculo desenhado sobre a esfera a desconecta. O toro é de genêro1: é possível desenhar um círculo sobre o toro sem o desconectar, mas qualquer segundo círculo desenhado sobre o toro o desconecta.
Figura 2. Gênero da esfera e do toro.
De fato, toda superfície compacta, sem borda e orientável de genêrog é difeomorfia a um toro de genêrog.
O plano projetivoP2é o conjunto de todas retas do espa¸co euclidianoR3passando pela origem.
Uma maneira fácil para representar o espa¸co projetivo é de considerar emR3 a esferaS2 centrada na origem e de raio 1.
z
y
•
•
x
O
Figura 3. Representa¸cão do espa¸co projetivoP2.
Cada reta deR3passando pela origem (e fora do plano0xy) encontra a semiesfera norte em um pontox0. Este ponto pode ser considerado como um representante da reta. As retas do plano0xy encontram a semiesfera norte em dois pontos diametralmente opostos, que temos que identificar.
Assim obtemos uma representa¸cão do plano projetivo P2, como sendo a semiesfera norte (ou seja um disco) com identifica¸cão de pontos diametralmente opostos na sua borda.
A característica de Euler-Poincaré do plano projetivo vale +1, da garafa de Klein vale 0. Em geral, a característica de Euler-Poincaré duma superfície compacta e sem borda, não orientável, de gênerok, vale2−k.
Lembramos também que uma superfície compacta, sem borda pode ser mergulhada emR3 se e somente se ela é orientável.
2.1. Fibrado tangente ao círculo. O círculoC é uma curva (fechada) emR2. Em cada pontox deC, temos a reta tangente aCno pontox, que denotamos porTxC. Vemos queTxCé um espa¸co vetorial de dimensão 1 sobreR.
Um vetor tangente ao círculoC no pontoxé um elementov(x)deTxC.
DenotamosTC=S
x∈CTxCe chamamosTCdeespa¸co fibrado tangente aC. CadaTxCse chama fibradeTC no pontox. Todas fibras são homeomorfas aRque é chamado de“fibra tipo”.
O fibradoTCé localmente trivial, isso significa que para todo pontoxdeC, existe uma vizinhan¸ca Ux dexemC tal que
TC|Ux∼=Ux×R, ondeTC|Ux é a restri¸cão deTC a Ux.
De fato, o fibrado tangente a C é globalmente trivial (TC = C ×R), mas veremos que esta propriedade não é verdadeira em geral. Por exemplo o fibrado tangente à esferaS2não é globalmente trivial (veja a se¸cão (2.2)).
O fibradoTCtem uma vizualiza¸cão natural no planoR2mas esta vizualiza¸cão não é conveniente.
Uma maneira mais conveniente é de girar todas retas tangentes de+90o, verticalmente em rela¸cão ao planoR2 (figura 4).
Figura 4. O fibradoTC
Obtemos assim uma representa¸cão deTCcomo um cilindro de baseC. A direc¸cão positiva deTxC é para acima, negativa para abaixo. Assim, é possível representar o vetor v(x)positivo, negativo ou nulo.
Seja U um aberto de C, um campo de vetores tangente a C ao longo de U é uma aplica¸cão contínuav:U →TC|U tal que cadav(x)pertence àTx(C).
Uma singularidade do campo de vetoresv tangente a C é um ponto a tal que v(a) = 0. Uma singularidadeaé chamada desingularidade isoladase existe uma vizinhan¸caVado pontoatal que v(a) = 0ev(x)6= 0 parax∈Va\ {a}.
2.1.1. Pontos e valores críticos, grau.
Para uma aplica¸cão suavef :C →S1, aderivadanum pontoxda curvaC, chamada deaplica¸cão linear tangentee denotatda por
dfx:TxC →Tf(x)S1, dfx:R1→R1 é definida como
dfx(h) = lim
t→0
f(x+th)−f(x)
t .
Vamos considerar a no¸cão de valores críticos duma aplica¸cão suavef : C →S1. Um ponto a∈ C tal que
dfa:TaC →Tf(a)S1 tem o posto 0 é umponto críticodef.
Por defini¸cão, um ponto regular da aplica¸cãof é um pontox∈ C que não é crítico. Neste ponto dfx: TxC →Tf(x)S1 é um isomorfismo de espa¸cos vetoriais orientados e definimos o sinal de dfx como sendo+1ou−1seguido que df preserva ou não a orienta¸cão.
As imagens de pontos críticos são chamadas devalores críticos, os demais pontos sendovalores regularesda aplica¸cão. Então, um pontoy∈S1é uma valor regular def se todos pontosx∈f−1(y) são pontos regulares def. Num ponto regulary def, podemos considerar o número inteiro
grau(f;y) = X
x∈f−1(y)
signdfx.
Uma propriedade fundamental é quegrau(f;y)não depende do valor regular def, ele é denotado porgrau(f)e chamadograu def.
2.2. Fibrado tangente a superfícies suaves. Consideraremos superfícies suaves (compactas, sem borda) e orientadas, por exemplo, a esfera S2, o toro T, etc.. A defini¸cão de uma superfície suave é a seguinte:
A superfícieS ésuavese existe um recobrimento localmente finito 1{Ui} deS e, para todoi, um homeomorfismo ϕi :Ui →Bi ondeBi é um disco de dimensão dois emR2, tais que, cada vez queUi∩Uj não é vazio, a aplica¸cão
Figura 5. Superfície suave
hij =ϕj◦ϕi−1:ϕi(Ui∩Uj)→ϕj(Ui∩Uj) é um difeomorfismo (veja figura 5).
1Localmente finito significa que para cada pontoxdeS, existe uma vizinhan¸caUxdexemSque encontra um número finito deUi.
2.2.1. Fibrado tangente a superfície suave.
Da mesma maneira do que o fibrado tangente ao círculo, consideramos para cada ponto xde uma superfícieS o espa¸co vetorial tangente a S, de dimensão 2, sobre o corpo R, denotado por TxS.
Por exemplo, o fibrado tangente à esferaS2éTS2=∪xTxS2. Todas fibrasTxS2são homeomorfas aR2que é chamado defibra tipo. O fibradoTS2é localmente trivial, assim que o fibrado tangente a qualquer superfícieS. Isso significa que cada pontoada superfícieS admite uma vizinhan¸caUa
tal que (figura 6)
(2.2) TS|Ua ∼=Ua×R2
entãoTS|Ua pode ser visto como uma cole¸cão de espa¸cos vetoriaisR2 sobreUa.
. . .
) (a v
!2
S≅ Tx
.
)(x v
S Tx
.
Ua
.
a
a
.
xFigura 6. O fibradoTS é localmente trivial
Uma superfície suave orientada é uma superfície suaveS junta com uma escolha de orienta¸cão para cada espa¸co tangente TaS, tal que para cada x ∈ Ua, a orienta¸cão de TxS corresponde a orienta¸cão de {x} ×R2 pelo isomorfismo (2.2).
O fibrado tangenteTS2 não é globalmente trivial, isto é, não há homeomorfismo globalTS2= S2×R2.
Mas, por exemplo, o fibrado tangente ao toroTé globalmente trivial.
2.2.2. Pontos e valores críticos.
Sejaf :S →S2uma aplica¸cão suave duma superfície suaveS emS2, um pontoa∈ S tal que a aplica¸cão derivada
dfa:TaS →Tf(a)S2 tem o posto menor do que 2 é chamado de ponto crítico def.
Um pontoada superfícieS é um ponto regular da aplica¸cãof se ele não é crítico. As imagens de pontos críticos são chamadas devalores críticos, os demais pontos sendo valores regulares da aplica¸cão.
2.2.3. Singularidades de campos de vetores tangentes a uma superfície.
Seja S uma superfície suave, eUa uma vizinhan¸ca dum ponto a ∈ S. Um campo de vetores sobreUa, tangente aS é uma aplica¸cão contínua:
v:Ua→TS|Ua
tal que para cadax∈Ua, v(x)∈TxS ∼=R2.
Umasingularidadede um campo de vetoresv é um pontoatal que v(a) = 0.
A singularidadeaé isolada se existe uma vizinhan¸ca Va dea tal que para cada pontoxdeVa diferente dea, então v(x)6= 0.
Mostraremos que, a uma singularidade isolada dev, podemos associar um numéro inteiro que chamaremos deíndice do campo de vetores v no pontoae denotaremos porI(v, a). O índice dum campo de vetores pode ser definido de muitas maneiras equivalentes em vários contextos : usando grupos de homologia, usando integrais de formas diferenciais, etc... Aqui, vamos usar a defini¸cão em termos de aplica¸cão de Gauss e de grau.
Suponhando a superfícieS orientada, considaremos uma vizinhan¸caVa deahomeomorfa a um aberto de R2 e tal que a seja a única singularidade de v dentro de Va. Podemos considerar um segundo exemplar deR2, denotado porRe2, com a mesma orienta¸cão.
. .
.
y x v(x) za
.
Ba Sa Va
!!
γ
.
) (x w
) (y w
) (
~
x w
) (
~
y w
) (z w
) (
~
z
w ~2
!
~2
!
Figura 7. A aplica¸cão de Gauss.
Seja Ba uma pequena bola de centroa dentro de Va. Ao longo da esfera S1a, borda de Ba, o campo de vetoresv não tem singularidades.
Para cada pontoxdeS1a, consideramos o vetor w(x) = v(x)
kv(x)k emRe2, ondekv(x)ké a norma euclidiana dev(x).
O vetor w(x) é de tamanho 1 e a sua extremidade,w(x), pertence à esferae S1 de raio 1 e de centro à origem deRe2.
A aplica¸cãoγa:S1a→S1 tal queγa(x) =w(x)e é chamada deaplica¸cão de Gauss.
Quando o pontoxfaz um turno, no sentido positivo de S1a, o ponto w(x)˜ vai fazer um número de turnos da esferaS1no sentido positivo ou negativo. Este número é, por defini¸cão, o índiceI(v, a) do campo de vetoresv no pontoa. É fácil de ver que o índiceI(v, a)é igual ao grau deγa (veja
§2.1.1).
Aqui são alguns exemplos de índices :
a
.
a.
Figura 8. Campo radial saindo e campo radial entrando:I(v, a) = +1
.
aFigura 9. Campo de índice nulo.
Figura 10. Campo de índiceI(v, a) =−1.
Figura 11. Campo de índiceI(v, a) = +2.
Observamos que se um campo de vetores v definido sobre a borda S1a de Ba se estende sem singularidades dentro deBa, então o seu índiceI(v, a)vale0. Esta observa¸cão será útil na seguinte.
2.3. Teorema de Poincaré-Hopf.
O Teorema de Poincaré-Hopf foi provado por Poincaré no ano 1885, no caso de superfícies, depois (1927) por Hopf no caso de variedades suaves de dimensão maior.
Teorema 2.3. Sejavum campo de vetores com singularidades isoladas, tangente a uma superfície S orientada ou não, compacta, suave, sem borda, então:
X
ai
I(v, ai) =χ(S)
onde os pontosai são os pontos singulares de v.
Antes de dar uma idéia para a prova, olhamos os exemplos que já conhecemos : Um exemplo de campos de vetores sobre a esferaS2é dado na figura 12. Neste exemplo, o campo tem singularidades de índice+1nos pólos norte e sul (veja Figuras 8). A soma vale2que é a característica de Euler- Poincaré da esfera.
No toro, existem campos de vetores tangentes sem nenhuma singularidade (veja figura 13).
Então a somaP
aiI(v, ai)vale 0, o que é a característica de Euler-Poincaré do toro.
No plano projetivoP2(não orientável !), a figura 14 providencia um campo de vetores tangentes, com somente uma singularidade, e de índice+1. Isso é a característica de Euler-Poincaré do espa¸co projetivo.
Figura 12. Campo de vetores tangente a esferaS2.
Figura 13. Campos de vetores tangente ao toroT.
Figura 14. Campo de vetores tangente ao plano projetivo P2. Aqui, o plano projetivo é representado como um disco onde os pontos diametralmente opostos da borda são identificados (veja figura 3).
.
Mostraremos o Teorema de Poincaré-Hopf, no caso não-orientável depois de estudar o caso orientado.
A prova do Teorema de Poincaré-Hopf, no caso orientado, pode ser feita em duas etapas:
a) Exibir um campo de vetoresv tal que X
ai
I(v, ai) =χ(S).
b) Provar que a soma P
aiI(v, ai) não depende do campo de vetores v tangente a S com singularidadesai, nem do número destas singularidades, isto é : para quaisquer campos de vetores v ev0 com singularidades isoladas sobreS, então
X
ai
I(v, ai) =X
bj
I(v0, bj),
ondeai (resp.bj) são as singularidades do campov(resp.v0).
2.3.1. Primeira etapa.
A primeira etapa exibe um campo de vetores com uma constru¸cão bonita que vamos descrever com detalhes.
SejaKuma triangula¸cão deS. Para cada simplexo de dimensão 2, vamos construir um campo, chamado de campo de Hopf, como seguinte:
Para cada simplexoσdeK, escolhemos um baricentro denotado porσ.b
Um simplexo de dimensãon(n= 0,1,2) será denotado porσn, o seu baricentro denotado por bσn.
ˆ σ0
ˆ σ1 ˆ
σ0
ˆ σ0 ˆ
σ1
ˆ σ1 ˆ σ2
•
Figura 15. Baricentros.
A escolha de baricentros permite de definir a decomposi¸cão baricentrica de K, denotada por K0, cujos vértices são todos baricentrosbσo,σb1 ebσ2, os segmentos são segmentos[bσi,σbj]comi < j e triângulos são triângulos[σbo,bσ1,bσ2].
As singularidades do campov serão todos baricentros bσi,i= 0,1,2e somente estes pontos. O campo será tangente aos segmentos[σbi,bσj] da decomposi¸cão baricentrica, saindo deσbi e indo na direc¸cão debσj (i < j) (Figura 16).
No triângulo [σbo,bσ1,bσ2] o campo é construído de tal maneira a ser contínuo e satisfazer as condi¸cões anteriores (Figura 17).
O campo de Hopf, pela sua constru¸cão mesma, admite como singularidades os baricentros de todos os simplexos deK.
Figura 16. O campo de Hopf ao longo de[σbi,bσj]
Figura 17. O campo de Hopf no triângulo[bσ0,bσ1,σb2] A situa¸cão local é a mesma para todos baricentrosbσ0 (Figura 18).
Figura 18. O campo de Hopf num baricentrobσ0 Isto é, o índicioI(v,bσ0) = +1(veja Figura 8) para todo baricentroσbo.
Da mesma maneira, para todo baricentrobσ1, temos uma situa¸cão local da figura 19.
Isto é, o índiceI(v,bσ1) =−1(veja Figura 10) para todo baricentro bσ1. Enfim, a situa¸cão local, para todo baricentroσb2 está a situa¸cão da figura 20.
Isto é, o índiceI(v,bσ2) = +1(veja Figura 8) para todo baricentroσb2.
Figura 19. O campo de Hopf num baricentrobσ1
Figura 20. O campo de Hopf num baricentrobσ1 Agora, vamos calcular a soma
X
ai
I(v, ai)
para todos pontos singularesai do campo de vetoresv. Os pontos singulares são:
+ os baricentrosbσi0 dos vérticesσ0i, + os baricentrosbσj1 dos segmentosσ1j, + os baricentrosbσk2 dos triângulosσ2k. Então:
X
ai
I(v, ai) =X
σ0i
I(v,σb0i) +X
σj1
I(v,σb1j) +X
σk2
I(v,σb2k).
Mas vemos que, para todosσi0, temosI(v,σb0i) = 1, entãoP
σ0iI(v,bσ0i)é o númeron0dos vértices.
Da mesma maneira, para todos σj1, temosI(v,bσj1) =−1, entãoP
σ1jI(v,σb1j)é igual a −n1, onde n1 é o número dos segmentos. Enfim, para todos σk2, temos I(v,bσk2) = +1, então P
σ2kI(v,bσk2)é igual ao númeron2 dos triângulos.
Então, temos:
X
ai
I(v, ai) =n0−n1+n2=χ(S),
ondeai são todos os pontos singulares do campo de vetoresv.
2.3.2. Segunda etapa.
A segunda etapa é a mais delicada e há várias maneiras de trabalhar. Vamos providenciar idéias de Heinz Hopf [Ho1, Ho2], revisitadas por John Milnor [Mi] e Marie-Hélène Schwartz [Sc1].
Sendo um campo de vetores v tangente a S, com singularidades isoladas ai, vamos estender o campo numa vizinhan¸ca Xε de S, com as mesmas singularidades e mesmos índices. Isto é o que chamamos de prolongamento radial. A vizinhan¸caXε tem borda∂Xεsobre qual é definida a aplica¸cão de Gauss
n:∂Xε→S2
que associa a cada ponto x ∈ ∂Xε o vetor normal unitário n(x) saindo de Xε no ponto x. A primeira etapa será concluída mostrando que a soma dos índices do campov é igual ao grau da aplica¸cão de Gauss, então esta soma é independente do campov e do número de pontos singulares dev.
O método de prolongamento radial aparece pela primeira vez, e no mesmo tempo, no livro de John Milnor, “Topology from the differential viewpoint” e na constru¸cão de classes características de variedades singulares de Marie-Hélène Schwartz. Milnor providenciou esta constru¸cão no caso de campos de vatores com singularidades não degeneradas, isto é de índice+1ou−1, sobre variedades suaves. Ele não viu que a sua constru¸cão vale para uma singularidade isolada de qualquer índice.
Marie-Hélène Schwartz providenciou a constru¸cão no caso de singularidades isoladas de qualquer índice, e sobre variedades singulares, o que é muito mais geral e mais delicada.
Num primeiro lugar vamos construir o prolongamento radial dum campo de vetores tangente a S com singularidades isoladas nos pontosai.
Chamamos deXεa vizinhan¸ca fechada deS, de “tamanho”ε, isto é, o conjunto de todos pontos x∈ R3 tais que kx−yk ≤ε para um ponto y ∈ S. Paraε suficientemente pequeno, Xε é uma variedade suave de dimensão 3 emR3, com borda∂Xε.
O campo de vetores radial, dentro deXε é construído da maneira seguinte : parax∈Xε, seja r(x)o ponto deS mais próximo dex. O vetort(x) =x−r(x)(emR3) é perpendicular ao espa¸co tangente aS no pontor(x), senão,r(x)não seria o ponto deS mais próximo dex. O vetort(x)é chamado de transversal.
Paraεsuficientemente pequeno, a fun¸cãor:Xε→ S é suave e bem definida. Sejaϕa fun¸cão ϕ(x) =kx−r(x)k2
onde “k k”é a norma euclidiana emR3. O gradiente deϕé dado por gradϕ= 2(x−r(x)).
Em cada pontoxda borda∂Xε=ϕ−1(ε2), o vetor normal unitário, saindo deXε é dado por n(x) = gradϕ
kgradϕk =(x−r(x))
ε .
.
x
x
) (x n
) (x r
. .
S X
∂
Figura 21. A vizinhan¸caXε.
Estendemos o campo de vetoresv(definido sobreS) em um campo de vetoreswdefinido sobre Xε da maneira seguinte :
w(x) = (x−r(x)) +v(r(x)).
Chamamost(x) =x−r(x)de campo de vetorestransversal, ele é independente deve é transversal ao plano tangente aS. Chamamos v(r(x))de campo de vetores parallelo. Ele é parallelo ao plano tangente aS.
Quais são as propriedades do campo de vetoresw?
De um lado, o produto escalar w(x).n(x) vale ε > 0, então o campo de vetores wsaia de Xε ao longo do seu lado. Do outro lado, wse anula nos mesmos pontos do quev. De fato, no ponto x∈Xε, os dois vetores(x−r(x))ev(r(x))são ortogonais.
Sejaauma singularidade do campov, ao longo da “fibra” r−1(a)da vizinhan¸caXε, o campow vale (x−a), o que é um campo de vetores com singularidade isolada no ponto a, com índice +1.
Assim que demostrado em [Sc2], o campowé soma de dois campos de vetores que são ortogonais : o campot(x) que é transversal, nulo ao longo deXε e o campo parallelo v(r(x)), nulo em todos pontos x tais que r(x) = a. Então w admite as mesmas singularidades que v(x). O índice de w numa singularidade a vale o produto dos índices dos dois campos. Como o índice do campo de vetorestno pontoa, ao longo der−1(a), denotado porI(t, a;r−1(a)), vale 1, então temos
I(v, ai;S) =I(w, ai;Xε).
O índice do campov, definido sobre S, no ponto singular isoladoaé igual ao índice do campo wdefinido sobreXε, no mesmo ponto singular isoladoa.
Agora, temos um campo de vetoreswdefinido sobreXε, com as propriedades seguintes :wtem as mesmas singularidades quev, ele tem os mesmos índices nos pontos singulares ewestá saindo deXε ao longo da borda∂Xε.
Para concluir a primeria etapa, vamos usar (e mostrar) o resultado seguinte de Hopf : se w : Xε → R3 é um campo de vetores suave com singularidades isoladas, saindo de Xε ao longo da borda∂Xε, então a soma P
aiI(w, ai;Xε)é igual ao grau da aplica¸cão de Gauss n: ∂Xε→ S2. Isso implica que a somaP
aiI(w, ai;Xε)não depende do campow, e como consequência, a soma P
aiI(v, ai)não depende do campov tangente aS com singularidades isoladas.
. .
a y
) (y t
) (x r v(r(x))
)) ( (rx v
) (x w ) (x t
)
1(x r−
.
.
Figura 22. O campo de vetores w(x) é soma do campo transversal t(x)e do campo parallelov(r(x)).
O resultado de Hopf pode ser visto do seguinte jeito. Considaremos uma pequena bola Bη(ai) ao redor de cada ponto ai, em Xε. O raio η << εé suficientemente pequeno para que as bolas ficam no interior deXεe não se encontram. A variedade
Xε\[
i
Bη(ai)
é uma variedade suave com borda
∂
"
Xε\[
i
Bη(ai)
#
=∂Xε
[−
"
[
i
∂Bη(ai)
# .
O sinal “−” vem do que a orienta¸cão de∂Bη(ai)como borda da bolaBη(ai), é a orienta¸cão oposta de∂Bη(ai)como elemento da borda deXε\S
iBη(ai).
Agora, a aplica¸cão
w(x) =e w(x)/kw(x)k, we:∂
"
Xε\[
i
Bη(ai)
#
→S2 que é bem definida sobre a borda deXε\S
iBη(ai), se estende a uma aplica¸cão we:Xε\[
i
Bη(ai)→S2
sem nenhuma singularidade. Com efeito, todas singularidades dewe estão nas bolasBη(ai).
A gente sabe que se um campo de vetoresvdefinido sobre a borda duma bolaB(a)se estende sem singularidade dentro deB(a), então o índice I(v, a)(o seu grau) vale0. Isso é um caso particular duma propriedade importante do grau : se uma aplica¸cão f : ∂Y → S2 definida sobre a borda duma variedadeY de dimensão 3 emR3, se estende no interior deY, então grau(f) = 0.
Comowese estende a uma aplica¸cãowe:Xε\S
iBη(ai)→S2, isso implica que o grau dewesobre a borda deXε\S
iBη(ai)vale0. Em outras palavras, a soma dos graus dewesobre os componentes da borda deXε\S
iBη(ai)vale 0. Isto é grau(w;e ∂Xε)−X
i
grau(w;e ∂Bη(ai)) = 0 onde não esquecemos do sinal “−” por causa de orienta¸cão.
De um lado,weestá saindo deXε ao longo da sua borda,we pode ser deformado continuamente no campo de vetoresn, normal, saindo deXεao longo da sua borda. A deforma¸cão (a homotopia) sendo contínua e com vetores saindo deXεao longo da sua borda, o grau que é um número inteiro fica o mesmo, o que implica quegrau(w;e ∂Xε) = grau(n).
Do outro lado, pela defini¸cão do índice,grau(w;e ∂Bη(ai)) =I(w, ai;Xε) =I(v, ai). Finalmente temos
X
i
I(v, ai) = grau(n),
o que não depende do campo de vetoresv com singularidades isoladas sobreS.
No caso de superfícies não orientáveis, considaremos o cobrimento duplo, orientado. Isto é uma superfície orientada S, conjunto de paresb (x, ox) ondeox é uma orienta¸cão local de S em x. São duas orienta¸cões locais possíveis, então temos uma aplica¸cãoπ :S → Sb , tal que π−1(x) contém dois pontos (correspondente às duas orienta¸cões). O cobrimento duplo orientadoπ:S → Sb é um homeomorfismo local.
Por exemplo, no caso do espa¸co projetivoP2, o cobrimento duplo orientado é a proje¸cão canônica π : S2 → P2, no caso da garafa de Klein K2, o cobrimento duplo orientado é a proje¸cão do toro π : T2 → K2. No caso duma superfície orientada, a proje¸cão π : S → Sb é isomorfa a π:S ×Z/2→ S, isto éSbnão é conexa e é a união de dois exemplares de S.
Agora, sejaS uma superfície compacta suave e não orientada. De um lado, sev é um campo de vatores contínuo sobreS com singularidades isoladasai de índiceI(v;ai), então, podemos definir um leventamentovˆdevque é um campo de vetores contínuo sobreSbcom pontos singulares isoladas aji, j= 1,2tais queπ(aji) =ai. Comoπé um homeomorfismo local, temosI(v;aji) =I(v;ai)para j= 1,2. EntãoP
i,jI(v;aji) = 2P
iI(v;ai).
Do outro lado, podemos definir uma triangula¸cão de Sbtal que os simplexos de Sbsão imagens inversas dos simplexos de S. A imagem inversa de cada um dos simplexos de S consiste em dois simplexos de Sbda mesma dimensão. Os números de simplexos n0, n1 e n2 de Sb são duplos dos números corespondentes deS. Então temos :χ(S) = 2χ(S).b
Obtemos o Teorema de Poincaré-Hopf para superfícies não orientaveis : χ(S) = 1/2·χ(S) = 1/2b X
i,j
I(v;aji) =X
i
I(v;ai).
2.3.3. Conclusões.
Basta olhar “Poincaré-Hopf Theorem” num site da internet, vemos um monte de aplica¸cões em mecânica, física, química, ciências exatas, econômica, etc.
A razão mais importante é que temos :
Teorema 2.4. Uma variedade S suave, compacta, sem borda admite um campo de vetores tan- gente sem singularidades se e somente seχ(S) = 0.
Por exemplo, é impossível construir um campo de vetores tangente à esfera S2, sem singulari- dades. O mesmo resultado vale pelo plano projetivoP2.
Referências
[Br] J.-P. Brasselet,Radial Vector Fields and the Poincaré-Hopf Theorem. RAGOS (AMS) Contemporary Mathe- matics, Vol 253, (2000), 25 - 30.
[BN] J.-P. Brasselet, e Nguy˜ên T. B. T.,A característica de Euler-Poincaré, ArXiv: 1611.03918 [Epp] D. Eppstein,Geometry Junkyard Nineteen Proofs of Euler Formula,
https://www.ics.uci.edu/ eppstein/junkyard/euler/
[Ho1] H. Hopf,Uber die Curvatura Integra geschlossener Hyperflachen,Math. Annalen 95 (1925), 340-367.
[Ho2] H. Hopf,Vektorfelden inn-dimensionalen Mannigfaltikeiten,Math. Annalen 96 (1927), 225-250.
[Mi] J. MilnorTopology from the differential viewpointUniv. Press of Virginia, Charlottesville, 1965.
[Po2] H. Poincaré,Sur l’Analysis situs,CRAS vol. 115 (1892) 633-636.
[Po3] H. Poincaré,Sur la généralisation d’un théorème d’Euler relatif aux polyèdres, CRAS vol. 117 (1893) 144.
[Sc1] M.-H. Schwartz Classes caractéristiques définies par une stratification d’une variété analytique complexe, CRAS260, (1965), 3262-3264 et 3535-3537.
[Sc2] M.-H. Schwartz Champs radiaux sur une stratification analytique, Travaux en cours, 39 (1991), Hermann, Paris.
CNRS I2M e Aix-Marseille Université, Marseille, France.
E-mail address:jean-paul.brasselet@univ-amu.fr
UNESP, Universidade Estadual Paulista, “Júlio de Mesquita Filho”, São José do Rio Preto, Brasil E-mail address:bichthuy@ibilce.unesp.br
