UNIVERSIDADE FEDERAL RURAL DO SEMIRIDO UFERSA DEPARTAMENTO DE CINCIAS EXATAS PROFMAT MESTRADO PROFISSIONAL EM MATEMTICA

TRADUO DO ARTIGO (ALGEBRAIC THEORY OF COLOMBEAUS GENERALIZED NUMBERS) Atividade referente ao Exame de Proficincia de Lngua Estrangeira

Jakson Ney da Costa Reis

MOSSOR-RN, NOVEMBRO DE 2013.

Teoria Algbrica dos Nmeros Generalizados de Colombeau

Aragona, J. Resumo Vamos definir por o anel comutativo completo de nmeros generalizados de Colombeau. Dotado de topologia afiada Scarpalezos como um anel topolgico. Ns estudamos as propriedades algbricas e topolgicas deste anel topolgico. Em particular, podemos demonstrar que o grupo de unidades de denso na topologia forte, determinar a sua lgebra booleana, mostrar que tem primos mnimos, descrev-los completamente o que resulta numa classificao total do ideal mximo. A partir da descrio do primeiro e mximo ideal, torna-se claro que eles devem ser determinados por certo ultra-filtros. Introduo A teoria das funes generalizadas, inicialmente desenvolvidas por Colombeau, relativamente jovem, mas com aplicaes em muitos outros campos. Devido a um resultado importante de M. Kunzinger e M. Oberguggenberger, descobriu-se que a teoria de Colombeau pode ser considerada como uma extenso do clculo clssico, com funes que tomam valores em certas lgebras topolgicas ordenada. Esta teoria de Colombeau, com estenso para o clculo, foi desenvolvida por J. Aragona, R. Fernandez e SO Juriaans (ver [3]). Junto com vrios outros desenvolvimentos, o que torna claro por que importante o estudo das propriedades algbricas e topolgicas dos nmeros generalizados de Colombeau. A verso simplificada dessa lgebra j foi estudada, primeiro por Aragona e Juriaans [7] e, mais recentemente, por Aragona, Oliveira, Scarpalezos, Juriaans [8] e H. Vernaeve [22]. Neste trabalho, estudamos a chamada lgebra dos Nmeros generalizados de Colombeau. Sua definio e topologia so muito mais complicadas que a verso simplificada, o que a torna um objeto ainda mais interessante de estudo. Para facilitar as notaes, denote por tanto o corpo dos ou e por o anel com os nmeros generalizados de Colombeau. Aragona e Juriaans desenvolveram mtodos algbricos e topolgicos, para estudar as propriedades do anel simplificado de nmeros generalizados de Colombeau (ver [7]). Entender essas propriedades importante porque uma funo generalizada pode ser visto como funo definida numa subconjunto de unidade bola of (ver [3]). Toda a lgebra depende de parmetros e assim, de certa forma, so mais complexas de lidar, mas, em compensao, alguns deles contm espaos vetoriais cannicos de todas as distribuies Schwartz. Aqui vamos estudar as propriedades algbricas e topolgicas de todas estas lgebras. Na Seo 1, ns listamos definies bsicas, resultados e notao a serem utilizadas ao longo do trabalho e, via de regra, a maior parte das provas est omitido. Na Garcia, A.R.G. Juriaans, S.O.

Seo 2, apresentamos os resultados que so extenses dos resultados obtidos por Aragona e Juriaans [7] . Na Seo 3, apresentamos um olhar mais detalhado sobre a estrutura dos ideais maximais de sobre a tica de duas ferramentas bsicas. Em primeiro lugar, uma anlise cuidadosa do conjunto dos representantes dos elementos de . Em segundo lugar, a introduo de um conjunto que consiste em subconjuntos de ( ), cujas funes caracterstica so elementos notriviais de . O conjunto desempenha o papel do conjunto na Definio 4.1 [7]. A famlia ( ) de elementos de , em que representa a funo caracterstica de , usada para estudar uma srie de propriedades interessantes de , uma delas refere-se ao fato de que o conjunto denso. Tambm decorrem vrias caracterizaes das unidades de , bem como uma descrio completa dos seus ideais mximos. A descrio do espectro primo de mais complexa. Mas ns provar a existncia de nmeros primos mnimos e que qualquer ideal primo contm um primo como mnimo. Finalmente, na Seo 4, com base no trabalho de Aragona, Juriaans, Scarpalezos e Oliveira [8], estudamos relaes de ordem em , que usado para o estudo de suas propriedades algbricas. Isto usado para mostrar que no Von Neumann regular e descrever todos os primos mnimos. Ns nos referimos ao leitor [11] para a definio e os resultados das funes generalizadas rotacionalmente invariantes. Ns no ter verificado se os resultados ainda tm nesse caso. Algumas referncias bsicas para a teoria das funes generalizadas so [1,9,10,13,14,17] e novos resultados importantes podem ser encontradas em [12,16,1821] 1. A topologia forte em Nesta seo, vamos relembrar as definies bsicas e resultados sobre , com o objetivo de fixar a terminologia. Como regra, as provas so omitidas. a) b) c) d) e) f) g) h) i) j) l)
- , -e ,

* | + indica o conjunto dos nmeros racionais indica tanto o conjunto dos nmeros reais quanto os complexos, i.e. ou . * +. e representam, respectivamente, para o conjunto dos nmeros naturais e o conjunto de nmeros inteiros. * +e * +. * +. * | * | +e + denota o anel de nmeros generalizados simplificados de Colombeau. ( ) * ( )| ( ) + e uma vizinhana da origem. ( ) * ( )| ( ) + .

m)

* | ( ) ( ) ( ) sequncias crescentes divergentes para o infinito quando

+ o conjunto das . ( ) . Seja

Definio 1.2. Seja ( ) o anel (operaes pontuais) das funes ( ) denotam o subanel de ( ) das referidas funes satisfaz: ( ) ( ) | ( )| , tal que .

Estas so chamadas de funes moderadas. Seja conforme consta em (m) e definindo satisfazendo: ( ) | ( )| ( ) o ideal de ( )
( )

( ) das funes de , tal que .

Estas so chamadas de funes nulas. ( ) O anel de nmeros generalizados de Colombeau definido como um nmero generalizado, ento ( ). Salvo disposio em contrrio, se denota um valor arbitrrio de . Existe uma incorporao natural de em (induzida pelo mapa ( )) e assim que escrever faz sentido. Por isso um comutativa unitria . Recordamos as definies [2, Definio 6.1.1] e [15]. est associado a zero, Definio 1.3. Um elemento (portanto, para cada um) correspondente ( ( )) de temos: ( ) Dois elementos com , ento ( ). , se para alguns

esto associadas, , ento . Dado um est associado a e este ltima chamada a sombra de .

Denotamos por ( ), o grupo de unidades de ento temos que claramente ( ). Outro interessante subgrupo de () * | +, onde ( ) ( ( ( ))) ou ( ) onde ( ) indica o dimetro do suporte de ( ) ( ) ( ( )) , ( ). Em particular, tem-se que ( ) ( ( )) . ( )

Para , definida por ( ) (veja [7]). Assim (1) implica que ) ( )( ( )) . Isso conveniente para definir . ( ),

Vamos agora descrever de forma breve a topologia acentuada em . O leitor interessado deve consultar [4,5]. Definio 1.3. Para um dado definir o valor de dado por ( ) vamos definir ( ( )). ( ) * | + e

, alm disso, fcil ver que ( ) se, e somente se, exite tal que ( ). Disso resulta facilmente que ( ) definido ) )) uma ultra-mtrica em e invariante sob tradues. por ( ( ( Ela determina uma estrutura uniforme sobre chamado a forte uniforme acentuada em e a topologia resultante de denominada por topologia acentuada em e denotado , temos que a distncia entre dois elementos ( ) por . Denote por dada por ( ) . e Nota 1.5. Seja . Note que temos, ( ) (resp. ( ) e ( )) denota a abertura D-ball (resp. fechado D-ball e D-sphere) com centro em e raio . No caso , omiti-lo na notao, escrevendo , , e . Ns temos a seguinte consequncia que se torna fcil a partir da definio de D. Corolrio 1.6. Dados e e , temos

( ) * + e ( ) ( ) ( ) e ; ( ) ( ) ( ) Proposio 1.7. ( ) um anel topolgico completo. Prova. Decorre da integridade das lgebras ( ) e ( ) (ver [6]) e do fato de que o anel constantes em tais lgebras. Proposio 1.8. ( ) no uma lgebra K-topolgico, no localmente compacto e no separvel. Ns nos referimos ao leitor [5] para uma definio equivalente do espao topolgico ( ), utilizando o conceito de generalizadas seminormas. 2. Propriedades algbricas de .

Nesta seo, vamos estudar as propriedades algbricas de . Em seguida, representa o fechamento de topolgico do conjunto (exceto para ). Comeamos com o seguinte: Lema 2.1. 1. 2. ( ) ( ( ) ) e consequentemente .

A prova deste lema fcil e uma boa referncia para os argumentos a serem usados [7]. O prximo resultado decorre de uma propriedade bem conhecida dos grupos abelianos ultra-mtricas. Proposio 2.2. Seja ( ) uma sequncia qualquer em e . Ento, a srie converge em . Em particular, converge e temos ( )( ) . Portanto ( ) ( ). Corolrio 2.3. Prova. Seja ( ) consequentemente, ( ( () aberto. ( ). Segue que ( ) e )) ( ). Como

e dado ( ) definido por . Portanto ( pela Proposio 2.2, temos que ( )) segue que ( ).

Teorema 2.4. Seja ser um ideal . Ento, para cada , temos que ) e ( . Assim, cada mximo ideal de fechado e raro. , se segue ( ), o que uma como

Prova. Se , segue que ( ) e assim ( ) que , pela Propriedade 2.2, temos que contradio. Logo , provamos a primeira parte

Se um mximo ideal de , seque, da primeira parte, que queriamos mostrar. Lema 2.5. i) () , se ii) Para cada ( ), segue que iii) Se ( ), segue que ( ) ( ) Prova. A prova est em [7]. Outro resultado que anloga ao de [7], Proposio 2.6. , i.e., . .

i) ii) iii)

iv) v)

no tem ideais abertas apropriados. no submdulos topolgicos abertos apropriados. Se um Housdorff topolgico temos que para todo , o conjunto () * | ( )+ ( ) no um subconjunto limitado de . ilimitado. Onde, limitaro, se D-limitado. Dado O nico mdulo -topolgico, que delimitada * +. Onde, o nico mdulo -topolgica que e compacto * +.

. Segue que, pode ser definido Teorema 2.7. Seja um ideal mximo de e como um subcampo apropriado de , isto , um campo de extenso apropriada de . Prova. Conforme a prova [7]. Seja o mapa cannico. Segue que, ( ) . Na verdade, se , segue que . Mas um subconjunto discreto de , consequentemente, do Teorema 2.4 e da Proposio 2.6(i), segue imediatamente que um conjunto fechado com o interior vazio. Assim, existe , tal que . Dado , com e . Obviamente segue que ( ). De fato, ( )= e assim ( ) . Dado que , segue que uma unidade, uma contratio. Lema 2.8. Sejam e nmeros reais positivos, defina ( ) ( ). Segue que,

Prova: uma consequncia imediata do Corolrio 1.6 (iv). Outro fato facilmente dedutvel que no possui elementos nilpotentes de zero e, portanto, sua nilradical trivial. Consequentemente, est contido num produto de domnios inteiros. Veremos mais adiante que na verdade ele est contido em um produto de campos solicitados.