Parties da Unidade

1 - Motivao:
A maneira clssica de definir uma integral de superfcie consiste em compor uma

superfcie a ser integrada como uma reunio de conjuntos compactos -mensurveis na forma , onde , cada um deles contido em uma vizinhana parametrizada. Assim, definimos . A rigor, sabemos que essa tarefa pode ser realizada, porm, se torna rdua ao momento em que provar que existe tal decomposio , e que a soma independe da decomposio. Uma soluo mais simples seria decompor o integrando , uma das aplicaes de parties da unidade dentre outras.

2 Consideraes iniciais:
Seja ( ) a bola aberta de centro e raio , onde ( ) ,e a bola fechada correspondente a ( ). A ideia definir uma funo , de classe , onde ( ) ( ) , e que e ( ) , se . Quando , temos que ( ) . Para definirmos a funo seguiremos os passos a seguir: Seja , onde ( ) se Cauchy. Assim, podemos definir ( ) ( ,e ( ) )e ( se , chamada de funo de ), e teremos os grficos a seguir:

Assim, podemos definir a funo pois sabemos que . Segue o grfico de :

onde ( )

) (

),

Seja ento

( )

( ) , segue que ( ) se

( ) (

. Agora ) se

definamos a funo . Segue o grfico de :

, onde ( )

e ( )

Agora, definimos grfico de :

, onde ( )

( )

( )

. Segue o

Finalmente, podemos definir a funo norma euclidiana de dada por

, onde ( ) . Sabemos que

), onde

constante na bola fechada .

, ento a no-diferenciabilidade da raiz quadrada em zero no impede que

Assim, queremos generalizar a funo para abertos em outras superfcies. Podemos dizer que para todo ponto em uma superfcie , existem funes de classe anlogas a com suportes e vizinhanas arbitrariamente pequenas de . A afirmao segue de:

Lema 1: Seja onde um aberto em ( ) . Existe uma parametrizao em com

, onde uma superfcie de classe , ( ) e .

Demonstrao: Seja uma parametrizao de classe em , definida em um aberto , onde contenha um ponto tal que ( ) . Pela continuidade de , existe tal que ( ( ) . Seja ento difeomorfismo de classe de sobre si mesmo, onde ( ) . Segue ento que ( ( )) ( )e ( ) , de modo que, pondo prope. ( ( )), obtemos uma parametrizao ( ) , como o lema

Quando obtivermos uma parametrizao do tipo acima, usaremos as notaes ( ( )), ( ( )), e temos que . Evidentemente, ( ( )) temos que que e so compactos, e, alm disso, pela demonstrao do lema 1, podemos supor caso preciso. difeomorfo a

Devemos ento definir o suporte de uma funo: Definio 1: O suporte de uma aplicao { Em outras palavras, . o fecho (em ( ) , o conjunto: } onde

) do conjunto dos pontos

( )

Munido dessas informaes, definimos a funo de classe , pondo ( ) ( ) se e ( ) se , e assim observamos que de classe onde igual a em todos os pontos de ( ) , ( ) na faixa e nula em . Alm disso, temos que parametrizao . . Definiremos a funo auxiliar associada

3 Famlia localmente finita:

Definio 2: 1) Uma cobertura de um conjunto uma famlia ( ) de subconjuntos tal que ou seja, para cada existe tal que . Uma subcobertura uma subfamlia ( ) , , tal que ainda se tem . uma cobertura aberta quando , ou seja, aberto para todo Analogamente definimos uma cobertura finita, cobertura enumervel, etc.

2) 3)

Definio 3: Uma famlia dita localmente finita se quando todo ponto vizinhana subconjunto de e um conjunto finito tal que

possui .

( ) Quando, alm disso, se tem , dizemos que uma cobertura localmente finita de . Assim, podemos enunciar o teorema sobre famlias localmente finitas: Teorema 1: Seja ( ) uma famlia localmente finita de conjuntos . Ento:

1) Existe um subconjunto enumervel tal que quando , ou seja, toda famlia localmente finita enumervel. 2) Se todos os esto contidos em um compacto , ento finito o conjunto dos ndices tais que , ou seja, toda famlia localmente finita compacta. 3) 4) Se cada . fechado em , ento fechado em

Para demonstrao desse teorema, precisaremos enunciar dois outros teoremas, sendo eles: Teorema 2: (Lindelf) Seja um conjunto arbitrrio. Toda cobertura aberta admite uma subcobertura enumervel { } Demonstrao: Seja um subconjunto enumervel, denso em . Considerando o conjunto de todas as bolas abertas ( ), com centro num ponto de , raio racional e tais que cada uma delas est contida em algum tem-se que um conjunto enumervel de bolas. Afirmamos que as bolas cobrem . Com efeito, dado , existe tal que Como aberto, existe racional tal que ( ) . ( ) Para Sendo denso em podemos encontrar com Ento ( ) mostrar que ( ) , resta ver que esta bola est contida em Ora, ( ) Isso conclui a verificao de que as bolas cobrem . Tomando uma enumerao para essas bolas e escolhendo, para cada , um ndice tal que conclumos que

Teorema 3: (Borel-Lebesgue) Seja compacto (fechado e limitado). Toda cobertura aberta admite uma subcobertura finita . Demonstrao: Pelo teorema de Lindelf, obtemos que uma subcobertura enumervel . Ponhamos . Isso nos d ( ) para cada uma sequncia decrescente de compactos. Dado qualquer , existe algum tal que Ento, Isto mostra que nenhum ponto est

em todos os , ou seja, que Segue-se ento da propriedade de Cantor que algum dos compactos vazio, o que significa .

Demonstrao do Teorema 1: 1) Para cada existem um aberto contendo x e um subconjunto finito tais que se . Pelo Teorema de Lindelf, a cobertura ( ) possui uma subcobertura enumervel ( em vez ) . Escrevendo , em vez de e , vemos que enumervel e que implica e, consequentemente, portanto ) . ( 2) A demonstrao acima se aplica literalmente, com as seguintes substituies: , Lindelf Borel-Lebesgue, enumervel finito. quer a famlia seja localmente finita ou no. Para provar a 3) Tem-se incluso inversa, suponhamos que o ponto no pertena a , isto significa , logo existe um aberto que, tal que Tomemos de um aberto se { }. Pondo um aberto contendo e que . Isto mostra que . tal que , vemos que

Logo 4) Consequncia imediata da demonstrao 3).

4 - Partio da Unidade:
Definio 4: Uma partio da unidade de classe em uma superfcie uma famlia de funes de classe , munida das seguintes propriedades: ( ) 1) ) 2) A famlia ( 3) , tem-se que

( )

localmente finita; ( ) .

Quanto a 3), importante observar que, em virtude de 2), a superfcie coberta por abertos , em cada um dos quais se reduz a uma soma finita (com os mesmos ndices em todos os pontos de ). Por fim, temos condies de enunciar o principal resultado sobre este trabalho: Teorema 4: Seja uma superfcie de classe ( ) de existe uma partio da unidade subordinada cobertura . . Para toda cobertura aberta , de classe estritamente

A demonstrao desse teorema baseada nos dois lemas a seguir: Lema 2: Toda superfcie compactos tais que se escreve como reunio enumervel . de

Demonstrao: Cada ponto est contido em um aberto ( ( )), como no Lema 1 descrito anteriormente, onde compacto. Da cobertura extramos, , cada pelo Teorema de Lindelf, uma subcobertura enumervel . Pondo compacto e vale ainda . Definimos por induo. Colocando e, supondo obtidos de modo que para e , recobrimos o compacto com um nmero finito de conjuntos e chamamos de a reunio dos correspondentes. Observao: Se a superfcie acima compacta, o lema trivial. Podemos tomar , ou ento, seguindo a demonstrao acima, notar que, a partir de um certo ponto .

Lema 3: Toda cobertura aberta de uma superfcie de classe pode ser refinada por uma cobertura aberta localmente finita, formada por imagens de parametrizaes ( ) de classe em , tais que os abertos ( ( )) ainda cobrem . Demonstrao: Usando o Lema 2, escrevemos , onde cada compacto e . Todo ponto pertence a algum . Aplicando o Lema 1, com , conclumos que todo em pertence a um conjunto tal que o correspondente est contido em e em algum aberto de . Da cobertura extramos uma subcobertura finita. Seja a cobertura finita de formada pelos conjuntos correspondentes. Analogamente, cada ponto da faixa compacta pertence a algum conjunto (na forma do Lema 1) tal que o correspondente est contido em , em algum conjunto de e disjunto de .

Da cobertura extramos uma subcobertura finita. Seja a cobertura finita de formada pelos conjuntos correspondentes. Prosseguindo analogamente, obtemos, para cada , uma cobertura finita da faixa compacta , em algum conjunto de e disjunto de , de modo que os correspondentes ainda cobrem a faixa. A reunio uma cobertura aberta de por conjuntos do tipo , tal que os correspondentes ainda cobrem . Cada pertente a algum , logo intersecta, no mximo, um nmero finito de outros conjuntos de , a saber, os pertencentes a . Portanto um refinamento localmente finito de .

Demonstrao do Teorema 4: Pelo Lema 3, existe um refinamento localmente finito ( ) da cobertura dada , com ( ( )). Para cada , seja a funo auxiliar de classe associada parametrizao . Os suportes formam uma cobertura localmente finita de , que refina , logo, uma funo de classe , positiva em todos os pontos de . As funes , definidas por , e constituem uma partio da unidade de classe cumprem , , subordinada a . Para obter uma partio estritamente subordinada a , comecemos definindo uma funo escolha , isto , para cada escolhamos um ndice () tal que . Para cada , ponhamos . Com os () formam uma famlia localmente finita, temos
()

()

) A famlia ( localmente finita. Com efeito, cada ponto logo vizinhana que intersecta no mximo intersecta ( ) quando ou ( ). Ento ( ) estritamente subordinada cobertura .

tem uma somente

uma partio da unidade

5 Aplicao:
Aps definir uma partio da unidade e desenvolver um teorema adequando as funes em qualquer cobertura da superfcie de classe , usaremos a teoria envolvida para demonstrar o teorema de aproximao de aplicaes contnuas por aplicaes diferenciveis.

Teorema 6: Seja uma aplicao contnua entre superfcies , de classe , e de classe . Dada qualquer funo contnua positiva , existe uma aplicao ( ) ( ) , de classe , tal que ( ) . Demonstrao: Consideremos inicialmente o caso particular todo existe um aberto , com , tal que ( ( ) qualquer . (Com efeito, a funo contnua quando , logo positiva em uma vizinhana de em .) partio da unidade de classe Definimos ento a aplicao ( ) ( ). Como ( ) ( ) ( ) ( ) ( ) em que . Para ) ( ) ( ) para ( ) ( ) positiva Seja uma ( ) .

, estritamente subordinada cobertura , de classe , pondo, para cada ( ) ( ), vemos que: ( ) ( ) ( ) ( )

O sinal acima se deve ao fato de que, para todo , ou , e nesse caso ( ) ( ) ( ), ou ento . No caso geral, temos que para algum . Seja ( ) uma vizinhana tubular de Definamos a funo contnua pondo, para ( ) ( )). Para todo ( ) todo ( ( ) , ( ) implica ( ) ( ) ( ). Sem perda de generalidade, podemos supor que . Como ( ) vimos acima, existe , de classe , tal que, para todo , vale ( ) ( ) ( ( ), logo ( )) ( ) ( ) ( ). Como de classe tem-se: ( ) ( ) ( ) ( ) , , dada por , de classe ( ) ( ) . Para todo ( )

( )

( ) ( ) ( ) ( ) pois ( ) De fato, que est situado distancia mnima de ( )

e ( ) o nico ponto de

Bibliografia:
Elon Lages Lima Curso de Anlise vol. 2 Dcima Primeira Edio Elon Lages Lima Anlise Real vol. 3 Terceira Edio