Você está na página 1de 10

3.

Parties da unidade

103

3. Parties da unidade.
O contedo desta seco de carcter tcnico e pode ser dispensado numa primeira leitura. Os resultados obtidos so, no entanto, de utilizao frequente em Matemtica e teremos ocasio de os aplicar mais adiante.

II.3.1 (Lema) Seja T uma aplicao polinomial. Tem-se ento


>_

lim T >/> !.

Dem: um exerccio simples de levantamento de uma indeterminao, que pode ser feito, por exemplo, por induo no grau do polinmio T , utilizando a regra de Cauchy (por algumas pessoas chamada regra de l'Hpital). II.3.2 (Lema) Existe uma aplicao de classe G _ , : ! ", definida por :> ! /"> , se > ! . , se > !

Dem: Para cada aplicao polinomial T , notemos :T a s aplicao definida por :T > s ! T " /"> > , se > ! . , se > !

Uma vez que a aplicao : do enunciado no mais do que a aplicao :T , s com T > ", o resultado ficar provado se virmos que cada :T contnua s e derivvel em todos os pontos e com derivada da forma :U , para outro s polinmio U. Ora, imediato constatar que, pondo U> ># T w > T >,
w se tem :T > :U >, para cada > !, e o facto de :T e :U serem s s s s w contnuas, pelo lema anterior, implica que se tem ainda :T ! :U !. s s

II.3.3 Suponhamos que E um espao topolgico, que J um espao vectorial de dimenso finita e que, para cada 4 N , 04 E J uma aplicao. Diz-se que a famlia de aplicaes 04 4N localmente finita se, para cada B! E, existe um aberto Z de E, com B! Z , e uma parte finita N w de N , tais que, para cada B Z e 4 N N w , se tenha 04 B ! (Por outras palavras, com um nmero finito de excepes possveis, as aplicaes 04 so identicamente nulas no aberto Z ). No caso em que temos uma famlia localmente finita de aplicaes

104

Cap. II. Vectores Tangentes e Variedades

J , que a cada B E associa a soma ! 04 B (para cada B esta soma tem


4N 4N

04 E J , podemos definir a soma ! 04 como sendo a aplicao de E em

apenas um nmero finito de parcelas no nulas). Se tivermos uma famlia localmente finita de aplicaes contnuas 04 E J , a sua soma ! 04 ainda uma aplicao contnua de E em J .
4N

Com efeito, para vermos que uma aplicao definida em E contnua, basta vermos que, para cada ponto B! E, existe um aberto Z de E, com B! Z , onde a restrio da aplicao contnua, e, por definio, podemos escolher esse aberto de modo que a restrio seja uma soma finita de aplicaes contnuas. Com a mesma justificao, no caso em que E uma parte arbitrria dum espao vectorial I de dimenso finita e temos uma famlia localmente finita de aplicaes de classe G 5 , 04 E J , a sua soma ! 04 ainda uma aplica4N

o de classe G 5 de E em J . II.3.4 (Primeira verso do teorema da partio da unidade) Sejam I um espao vectorial de dimenso finita e Y4 4N uma famlia de conjuntos abertos de I e notemos Y a unio dos abertos Y4 . Existe ento uma famlia contvel26 de aplicaes suaves, 0# Y ! ", onde # >, verificando as condies seguintes: a) A famlia 0# #> localmente finita; b) Para cada # >, existe um ndice 4 e um conjunto compacto G# Y4 tais que se tenha 0# B !, para cada B Y G# , por outras palavras, a aplicao 0# tem suporte compacto contido em Y4 . c) Para cada B Y , tem-se ! 0# B ".27
# >

Dem: Fixemos em I um produto interno e consideremos sobre I a norma associada, reparando que se pode ento considerar uma aplicao suave 2 I , definida por 2B mBm# B B. Para cada natural 8 ", notemos Z8 B I mBm 8 .B I Y " , 8 " O8 B I mBm 8 .B I Y , 8

onde omitimos as segundas condies no caso particular em que Y I (para evitar falar da distncia de B ao conjunto vazio; alternativamente podemos considerar essa distncia, por definio, igual a _ Reparemos
26Ao

dizermos que a famlia contvel estamos a significar que o conjunto > dos ndices finito ou numervel. 27 esta igualdade que est na origem do nome partio da unidade.

3. Parties da unidade

105

que os conjuntos O8 so fechados e limitados em I , portanto compactos, e esto contidos em Y , que os conjuntos Z8 so abertos em I , que se tem Z8 O8 Z8" O8" e que a unio dos compactos O8 igual a Y (se B Y , podemos escolher 8 " tal que mBm 8 e que, no caso em que Y I , 8 seja menor ou igual distncia .B I Y ) !). Ponhamos, por comodidade, Z" Z! g e O" O! g, o que compatvel com as incluses atrs referidas. Para cada 8 " consideremos o compacto O8 Z8" . Para cada C O8 Z8" , tem-se C O8# pelo que, escolhendo 4 tal que C Y4 , podemos fixar um raio <8C ! tal que a bola fechada F <8C C esteja contida no aberto Y4 O8# . Uma vez que as correspondentes bolas abertas F<8C C constituem uma cobertura aberta do compacto O8 Z8" , podemos escolher uma parte finita M8 de O8 Z8" tal que a unio dos F<8C C, com C M8 , ainda contenha O8 Z8" . Para cada 8 " e C M8 , seja s 8C I ! " a aplicao suave definida 0 por
# s 8C B :<8C mB Cm# , 0

onde : [0,"[ a aplicao suave do lema II.3.2, aplicao para a qual se tem assim s 8C B ! B F<8C C, 0 em particular a aplicao s 8C nula fora do compacto F <8C C contido num 0 dos Y4 . Vamos agora verificar que a famlia das restries das aplicaes s 8C a Y 0 localmente finita (isto apesar de a famlia das aplicaes s 8 no ter que ser 0 localmente finita). Consideremos para isso D Y arbitrrio. Existe 8! tal que D O8! e ento Z8! " um aberto de Y , contendo D tal que, para cada 8 8! $ e C M8 (portanto salvo para um nmero finito de pares 8 C), s 8C B ! para todo o B Z8! " , visto que, se s 8C B !, tinha-se 0 0 B F<8C C Y4 O8# Y4 O8! " Y4 Z8! " . A famlia contvel das aplicaes suaves s 8C Y Y ! " verifica assim as 0 condies a) e b) do enunciado. Quanto a c), tudo o que podemos dizer que, para cada B Y , tem-se ! s 8C B !, uma vez que, escolhendo o 0 menor dos 8 tais que B O8 , tem-se B O8 Z8" , e portanto B F<8C C, para algum C M8 , o que implica s 8C B !. 0 O facto de termos uma famlia localmente finita de funes suaves, permite-nos definir uma funo suave s Y ! _ por 0

106

Cap. II. Vectores Tangentes e Variedades s B " s 8C B 0 0


8" CM8

e, a partir dela, uma famlia contvel de funes suaves 08C Y ! ", onde 8 " e C M8 , definidas por 08C B s 8C B 0 , s B 0

as quais vo verificar as condies a), b) e c) do enunciado. II.3.5 (Nota) No caso em que o espao vectorial I um espao vectorial complexo no verdade que as aplicaes suaves 08C , construdas na demonstrao precedente, sejam holomorfas, mesmo que se tenha tido o cuidado de utilizar um produto interno complexo (hermtico) em I . A razo por que as coisas no funcionam est em que a funo 2B mBm# B B no holomorfa, por o produto interno no ser uma aplicao bilinear complexa, uma vez que antilinear, e no linear, na segunda varivel. Alis, para quem conhea os rudimentos da teoria das aplicaes holomorfas, bvia a impossibilidade de existncia de parties da unidade holomorfas, tendo em conta o facto de toda a aplicao holomorfa, de domnio conexo, que seja nula numa parte aberta no vazia do seu domnio, ter que ser identicamente nula. II.3.6 Nas aplicaes ser muitas vezes mais til a verso do teorema da partio da unidade, que enunciamos em seguida, em que se perde a garantia da existncia de suporte compacto mas, em compensao, se consegue que a partio da unidade tenha o mesmo conjunto de ndices que a famlia de abertos. II.3.7 (Segunda verso do teorema da partio da unidade) Sejam I um espao vectorial de dimenso finita e Y4 4N uma famlia de abertos de I , e notemos Y a unio dos conjuntos Y4 . Existe ento uma famlia 14 4N de funes suaves 14 Y ! " tal que: a) A famlia 14 4N localmente finita. b) Para cada 4 N , existe um subconjunto G4 de Y4 , fechado em Y , tal que 14 B !, para cada B Y G4 (por outras palavras, 14 tem suporte contido em Y4 ). c) Para cada B Y , ! 14 B ".
4N

s Dem: Seja 0# #> uma famlia nas condies de II.3.4 e notemos agora G # os correspondentes subconjuntos compactos de abertos Y4 fora dos quais os 0# se anulam. Para cada # >, escolhamos um ndice 4# N tal que s G # Y4# . Para cada 4 N , seja >4 o conjunto dos # > tais que 4 4# . Os conjuntos >4 so evidentemente disjuntos dois a dois e de unio > (alguns

3. Parties da unidade

107

deles podem ser vazios). Para cada 4 N , a famlia 0# #>4 trivialmente tambm localmente finita pelo que podemos definir uma aplicao suave 14 Y ! " por 14 B " 0# B.
# >4

Para cada B Y , existe uma vizinhana Z de B em Y e um conjunto finito >w > de modo que, para cada # > >w , a restrio de 0# a Z seja identicamente nula; se N w N o conjunto finito formado pelos 4# , com # >w , tem-se ento que, para cada 4 N N w , a restrio de 14 a Z identicamente nula, o que mostra que a famlia das aplicaes 14 localmente finita. trivial que, para cada B Y , ! 14 B ". Resta-nos portanto
4N

demonstrar a propriedade b) do enunciado. Seja, para cada 4 N , [4 o conjunto dos B Y tais que 14 B ! e notemos G4 a aderncia de [4 em Y ; tudo o que temos que verificar que se tem G4 Y4 . Seja portanto B G4 arbitrrio. Sejam Z uma vizinhana aberta de B em Y e >w > uma parte finita, de modo que, para cada # > >w , a restrio de 0# a Z seja nula. Seja Z w uma vizinhana arbitrria de B em Y . O facto de B pertencer aderncia de [4 implica a existncia de C Z Z w [4 ; tem-se ento 14 C ! pelo que existe # >4 tal que 0# C !, o que implica que s s C G # e # >w ; isto mostra que B aderente unio finita dos G # , com w # > >4 , unio essa que fechada, por ser uma unio finita de compactos; conclumos assim que B pertence quela unio, pelo que B Y4 , o que termina a demonstrao. II.3.8 (Notas) Nas condies anteriores costuma dizer-se que a famlia 14 4N uma partio da unidade de Y subordinada cobertura aberta Y4 4N de Y . Mais uma vez, e tal como j referimos atrs, no h esperana de se poder obter uma verso holomorfa do resultado precedente, no caso em que I um espao vectorial complexo. natural perguntarmo-nos se no seria possvel melhorar o resultado anterior, de modo a exigir na condio b) que o conjunto G4 seja compacto ou, pelo menos, que seja fechado em I (e no somente em Y ). Para vermos que isso no possvel, basta repararmos que, no caso em que consideramos uma famlia constituda por um nico aberto Y , diferente de I e do conjunto vazio, a correspondente aplicao 1 Y ! " no pode deixar de ser a funo identicamente igual a ", a qual s nula fora de Y (isto , sobre o conjunto vazio); o conjunto Y evidentemente fechado em Y mas no o em I e muito menos compacto. No corolrio que se segue veremos como possvel exigir que G4 seja fechado em I , custa de obter uma concluso mais fraca em c).

108

Cap. II. Vectores Tangentes e Variedades

II.3.9 (Corolrio) Sejam I um espao vectorial de dimenso finita, E I um conjunto fechado e Y4 4N uma famlia de abertos de I , tal que E - Y4 .
4N

Existe ento uma famlia 14 4N , de funes suaves 14 I ! " tal que: a) A famlia14 4N localmente finita. b) Para cada 4 N , existe um subconjunto G4 de Y4 , fechado em I , tal que 14 B !, para cada B I G4 . c) Para cada B E, ! 14 B " e, para cada B I , ! 14 B ".
4N 4N

Dem: Basta aplicar a segunda verso do teorema da partio da unidade cobertura aberta de I formada pelos conjuntos abertos Y4 e I E, ignorando em seguida a funo correspondente a este ltimo aberto. II.3.10 (Prolongamentos globais de aplicaes de classe G 5 ) Sejam I e J espaos vectoriais de dimenso finita, E I um conjunto arbitrrio e 0 E J uma aplicao de classe G 5 . Existe ento um aberto Y de I , com E Y , e um prolongamento de classe G 5 0 Y J de 0 . Dem: Para cada B E, seja 0 B YB J um prolongamento local de classe G 5 de 0 no ponto B. Seja Y a unio dos abertos YB de I , com B E, que um aberto de I , contendo E. Pela segunda verso do teorema da partio da unidade, podemos considerar uma famlia localmente finita de funes suaves 1B Y ! " tal que cada 1B seja nula fora de um certo subconjunto GB de YB , fechado em Y , e que, para cada C Y , se tenha ! 1B C ". Para cada B E, podemos considerar uma aplicao
BE

s B Y J , de classe G 5 , definida por 0 s B C 0 ! 1B C0 B C , se C YB . , se C YB

O facto de esta aplicao ser efectivamente de classe G 5 uma consequncia de termos uma noo local, visto que ela vai ter restrio de classe G 5 a cada um dos dois abertos YB e Y GB , de unio Y , a segunda por ser identicamente nula. Uma vez que a famlia das aplicaes de classe G 5 s B Y J , com B E, localmente finita, por a famlia das funes 1B 0 o ser, podemos considerar uma aplicao 0 Y J , de classe G 5 , definida por 0 C " s B C. 0
BE

Se C E, tem-se s B C 1B C0 C, quer C pertena ou no a YB , no 0 segundo caso porque ambos os membros so nulos e no primeiro caso porque, sendo C YB E, tem-se 0 B C 0 C. Podemos assim concluir que, se C E, tem-se

3. Parties da unidade 0 C " s B C " 1B C0 C " 1B C0 C 0 C, 0


BE BE BE

109

o que mostra que 0 efectivamente um prolongamento de 0 . II.3.11 (Teorema da partio da unidade para conjuntos arbitrrios) Sejam I um espao vectorial de dimenso finita, E I um conjunto arbitrrio e E4 4N uma famlia de abertos de E de unio E. Existe ento uma famlia localmente finita de funes suaves 14 E ! ", onde 4 N , tal que cada 14 nula fora de uma certa parte G4 de E4 , fechada em E, e que, para cada B E, ! 14 B "
4N

Como anteriormente, dizemos que a famlia das aplicaes 14 uma partio da unidade de E subordinada cobertura aberta de E constituda pelos conjuntos E4 . Dem: Para cada 4 N , seja Y4 um aberto de I tal que E4 E Y4 . Sendo Y a unio dos Y4 , que um aberto contendo E, podemos, por II.3.7, considerar uma famlia localmente finita de funes suaves s4 Y ! " tal 1 s 4 de Y4 , fechada em Y , e que, que cada s4 seja nula fora de uma certa parte G 1 para cada B Y , ! s4 B ". Basta-nos agora tomar para 14 E ! " as 1
4N

s restries das aplicaes s4 e para G4 as interseces G 4 E. 1 II.3.12 Sejam I e J espaos vectoriais de dimenso finita, E I um subconjunto, F um conjunto fechado em E e 0 F J uma aplicao de classe G 5 . Existe ento uma aplicao de classe G 5 , 0 E J , prolongando a aplicao 0 . Dem: Tendo em conta II.3.10, vai existir um aberto Y de I , com F Y , e um prolongamento s Y J , de classe G 5 , de 0 . Vem que Y E e E F 0 so dois abertos em E, de unio E, pelo que a verso precedente do teorema da partio da unidade garante a existncia de aplicaes suaves : < E ! " tais que : se anula fora de uma certa parte G de Y E, fechada em E, < se anula fora de uma certa parte G w de E F , fechada em E, e, para cada B E, :B <B ". Em particular, para cada B F , tem-se <B !, donde :B ". Seja agora 0 E J a aplicao de classe G 5 definida por 0 B ! s :B0 B , se B Y , se B Y

O facto de 0 ser de classe G 5 uma consequncia de termos uma noo local, visto que isso vai acontecer s suas restries aos abertos Y E e E G de E, com unio E (a segunda restrio identicamente nula). Por fim, para cada B F , o facto de ser :B " implica que 0 B s B 0 B, pelo que temos um prolongamento de 0 . 0

110

Cap. II. Vectores Tangentes e Variedades

II.3.13 (Nota) Sabemos, por definio, que uma aplicao de classe G 5 , definida num conjunto no obrigatoriamente aberto, pode ser prolongada numa aplicao de classe G 5 definida nalgum aberto contendo o seu domnio, mas, em geral, no temos nenhuma informao sobre o aberto que podemos escolher nessas condies. A vantagem do resultado precedente a possibilidade de garantirmos a existncia de um prolongamento de classe G 5 a um conjunto dado a priori. Por exemplo, quando E fechado em I , o resultado precedente garante que toda a aplicao de classe G 5 de domnio E restrio de uma aplicao de classe G 5 cujo domnio o espao todo I .
Vamos agora referir mais um exemplo de aplicao dos teorema de partio da unidade, a possibilidade de aproximar aplicaes contnuas por aplicaes suaves.

II.3.14 (Aproximao de aplicaes contnuas por aplicaes suaves) Sejam I e J espaos vectoriais de dimenso finita, o segundo dos quais munido de uma norma, E I um conjunto e 0 E J uma aplicao contnua. Para cada aplicao contnua $ E ! _, existe ento um aberto Y de I , com E Y , e uma aplicao suave 1 Y J tal que, para cada B E, m1B 0 Bm $ B. 28 Alm disso, se G um subconjunto convexo de J tal que 0 E G , pode-se exigir que se tenha tambm 1Y G .29 Dem:30 Para cada C E, consideremos o aberto EC de E, com C EC , EC B E m0 B 0 Cm $ B, e seja YC um aberto de I tal que EC E YC . Seja Y o aberto de I , contendo E, unio dos YC , com C E. Pelo teorema da partio da unidade, na verso em II.3.7, podemos considerar uma famlia localmente finita de aplicaes suaves :C Y ! ", onde C E, tais que cada :C identicamente nula fora de YC e que, para cada B Y , ! :C B ". Seja
C

1 Y J a aplicao suave definida por


CE

1B " :C B 0 C

(soma duma famlia localmente finita de aplicaes suaves) e reparemos,


28Repare-se

que podemos, em particular, tomar como funo $ uma funo de valor constante maior que !, caso em que o resultado garante a existncia de uma aproximao uniforme da aplicao contnua 0 por uma aplicao suave 1. 29No caso em que E fechado em I , pode-se tomar Y I (cf. o exerccio II.20, no fim do captulo), desde que se afaste o caso trivial em que G g (e portanto E g. 30Esta demonstrao baseia-se na demonstrao de um resultado anlogo em [16].

3. Parties da unidade

111

desde j, que, se G J um subconjunto convexo de J contendo 0 E, tem-se ainda 1B G , para cada B Y (1B uma combinao convexa de elementos de G ). Para cada B E, podemos considerar o subconjunto finito MB de E formado pelos C tais que :C B ! e podemos ento escrever m1B 0 Bm " :C B 0 C " :C B 0 B " :C B 0 C 0 B
CMB CMB CE CE

" :C Bm0 C 0 Bm " :C B $ B $ B,


CMB

visto que, para cada C MB , o facto de ser :C B ! implica que B E YC EC , e portanto m0 B 0 Cm $ B.


No resultado precedente o papel do aberto Y , contendo E, s importante no caso em que quisermos tirar partido da afirmao suplementar de que a aproximao suave toma valores num conjunto convexo G que contenha a imagem da aplicao 0 ; caso contrrio, poderamos ter afirmado apenas a existncia de uma aplicao suave E J a aproximar 0 e, se necessitssemos de uma aplicao suave definida num aberto contendo E, prolongvamos a aplicao suave de domnio E (cf. II.3.10). O resultado que enunciamos em seguida diz-nos que, quando a aplicao contnua 0 que pretendemos aproximar j suave num certo subconjunto fechado do domnio, podemos construir uma aproximao suave cuja restrio ao subconjunto referido seja a aplicao de partida. Uma vez que agora j no possvel garantir que a aproximao tome valores em qualquer convexo que contenha o contradomnio de 0 , desnecessrio referir qualquer aberto a conter o domnio de 0 . Para uma generalizao desse resultado, em que a aplicao 0 toma valores numa certa subvariedade sem bordo de J e exigimos que o prolongamento tome valores nessa subvariedade, ver o exerccio III.24, no fim do captulo III.

II.3.15 (Aproximao sem mudar o que j est bem) Sejam I e J espaos vectoriais de dimenso finita, o segundo dos quais munido de uma norma, E I um conjunto e 0 E J uma aplicao contnua. Seja F E, F fechado em E, tal que 0F F J seja suave. Para cada aplicao contnua $ E ! _, existe ento uma aplicao suave 2 E J tal que 2F 0F e que, para cada B E, m2B 0 Bm $ B. Dem: Pelo resultado precedente, podemos considerar uma aplicao suave 1 E J tal que, para cada B E, m1B 0 Bm $ B (restringir a E a aplicao de domnio Y nesse resultado). Tendo em conta II.3.12, podemos considerar uma aplicao suave 0 E J tal que 0 F 0F . Seja Y o

112 aberto de E, com F Y ,

Cap. II. Vectores Tangentes e Variedades

Y B E m0 B 0 Bm $ B. Pelo teorema da partio da unidade II.3.11, aplicado aos abertos Y e E F de E, com unio E, podemos considerar duas aplicaes suaves : < E ! " tais que : seja nula fora de Y , < seja nula em F e, para cada B E, :B <B ", em particular, para cada B F , :B ". Seja agora 2 E J a aplicao suave definida por 2B :B0 B <B1B. Para cada B F , tem-se 2B 0 B 0 B e, reparando que, sempre que :B !, tem-se B Y , e portanto m0 B 0 Bm $ B, vemos que, para cada B E, m2B 0 Bm m:B0 B <B1B :B0 B <B0 Bm m:B0 B 0 B <B1B 0 Bm :Bm0 B 0 Bm <Bm1B 0 Bm :B$ B <B$ B $ B, como queramos.