Espaço Fréchet - Fréchet space
Na análise funcional e áreas relacionadas da matemática , os espaços de Fréchet , nomeados em homenagem a Maurice Fréchet , são espaços vetoriais topológicos especiais . Eles são generalizações de espaços de Banach ( espaços vetoriais normados que são completos em relação à métrica induzida pela norma ). Todos os espaços Banach e Hilbert são espaços Fréchet. Espaços de funções infinitamente diferenciáveis são exemplos típicos de espaços de Fréchet, muitos dos quais normalmente não são espaços de Banach.
Um espaço Fréchet é definido para ser uma convexa localmente metrizáveis topológica vector espaço (TVS) que é completa como um TVS , o que significa que cada sequência de Cauchy em converge para um ponto em (ver nota de rodapé para mais detalhes).
- Nota importante : Nem todos os autores exigem que um espaço de Fréchet seja localmente convexo (discutido abaixo).
A topologia de cada espaço de Fréchet é induzida por alguma métrica completa invariante à translação . Por outro lado, se a topologia de um espaço localmente convexo é induzida por uma métrica completa invariante à translação, então é um espaço de Fréchet.
Fréchet foi o primeiro a usar o termo " espaço de Banach " e Banach, por sua vez, cunhou o termo "espaço de Fréchet" para significar um espaço vetorial topológico metrizável completo , sem o requisito de convexidade local (esse espaço é hoje frequentemente chamado de " F- espaço "). A condição de localmente convexa foi adicionada posteriormente por Nicolas Bourbaki . É importante notar que um número considerável de autores (por exemplo, Schaefer) usa "espaço F" para significar um espaço Fréchet (localmente convexo), enquanto outros não exigem que um "espaço Fréchet" seja localmente convexo. Além disso, alguns autores até usam " F -space" e "Fréchet space" de forma intercambiável. Ao ler literatura matemática, é recomendável que o leitor sempre verifique se a definição do livro ou do artigo de " espaço F " e "espaço de Fréchet" requer convexidade local.
Definições
Os espaços de Fréchet podem ser definidos de duas maneiras equivalentes: a primeira emprega uma métrica invariante à translação , a segunda uma família contável de semi-normas .
Definição de métrica invariável
Um espaço vetorial topológico é um espaço de Fréchet se, e somente se, satisfizer as três propriedades a seguir:
- É localmente convexo .
- Sua topologia pode ser induzida por uma métrica invariante à translação, ou seja, uma métrica tal que para todos Isso significa que um subconjunto de é aberto se e somente se para cada existe um tal que } é um subconjunto de
- Alguma (ou equivalentemente, toda) métrica invariante de tradução na indução da topologia de está completa .
- Supondo que as outras duas condições sejam satisfeitas, esta condição é equivalente a ser um
Observe que não há noção natural de distância entre dois pontos de um espaço de Fréchet: muitas métricas invariantes de translação diferentes podem induzir a mesma topologia.
Família contável de definição de semi-normas
A definição alternativa e um pouco mais prática é a seguinte: um espaço vetorial topológico é um espaço Fréchet se e somente se ele satisfizer as três propriedades a seguir:
- É um espaço de Hausdorff ,
- A sua topologia podem ser induzidas por uma família de contáveis semi normas Isto significa que um subconjunto é aberta, se e somente se para cada existe e de tal modo que é um subconjunto de
- é completo no que diz respeito à família das seminormalidades.
Uma família de seminários em produz uma topologia de Hausdorff se e somente se
Uma sequência em converge para dentro do espaço de Fréchet definido por uma família de normas semi-se e apenas se ela converge para com respeito a cada um dos dados semi normas.
Como espaços de Baire com teias
Teorema (de Wilde 1978) - Um espaço vetorial topológico é um espaço Fréchet se e somente se for um espaço com teias e um espaço de Baire .
Comparação com espaços de Banach
Em contraste com os espaços de Banach , a métrica invariante à translação completa não precisa surgir de uma norma. A topologia de um espaço Fréchet, no entanto, surge tanto de uma paranorma total quanto de uma norma F (o F significa Fréchet).
Embora a estrutura topológica dos espaços de Fréchet seja mais complicada do que a dos espaços de Banach devido à potencial falta de uma norma, muitos resultados importantes na análise funcional, como o teorema do mapeamento aberto , o teorema do grafo fechado e o teorema de Banach-Steinhaus , ainda segure.
Construindo espaços Fréchet
Lembre-se de que um seminorm é uma função de um espaço vetorial para os números reais que satisfazem três propriedades. Para todos e todos os escalares
Se realmente implica isso, então é de fato uma norma. No entanto, os seminários são úteis na medida em que nos permitem construir espaços Fréchet, da seguinte forma:
Para construir um espaço Fréchet, um tipicamente inicia-se com um espaço vectorial e define uma família de contáveis semi normas em com as duas seguintes propriedades:
- se e para todos então ;
- se é uma sequência na qual é Cauchy com respeito a cada seminorma, então existe tal que converge com respeito a cada seminorma
Então, a topologia induzida por essas seminormas (conforme explicado acima) se transforma em um espaço de Fréchet; a primeira propriedade garante que seja Hausdorff, e a segunda propriedade garante que seja completo. Uma métrica completa invariante à tradução induzindo a mesma topologia pode então ser definida por
A função mapeia monotonicamente para e, portanto, a definição acima garante que seja "pequeno" se e somente se existir "grande" tal que seja "pequeno" para
Exemplos
Da análise funcional pura
- Cada espaço de Banach é um espaço de Fréchet, pois a norma induz uma métrica invariante à translação e o espaço é completo em relação a essa métrica.
- O espaço de todas as sequências de valor real torna-se um espaço de Fréchet se definirmos a -ésima seminorma de uma sequência como o valor absoluto do -ésimo elemento da sequência. A convergência neste espaço de Fréchet é equivalente à convergência elemento a elemento.
De manifolds suaves
- O espaço vetorial de todas as funções infinitamente diferenciáveis torna-se um espaço de Fréchet com as seminormas
- O espaço vetorial de todas as funções infinitamente diferenciáveis torna-se um espaço de Fréchet com as seminormas
- O espaço vetorial de todas as funções continuamente diferenciáveis torna-se um espaço de Fréchet com as seminormas
- Se for um compacto - múltiplo e um espaço de Banach , então o conjunto de todas as funções infinitamente diferenciáveis pode ser transformado em um espaço de Fréchet usando como seminormas a suprema das normas de todas as derivadas parciais. Se é uma (não necessariamente compacta) -variedade que admite uma seqüência contável de subconjuntos compactos, de modo que cada subconjunto compacto de está contido em pelo menos um, então os espaços e também são o espaço de Fréchet de maneira natural. Como um caso especial, cada variedade completa de dimensão finita suave pode ser transformada em tal união aninhada de subconjuntos compactos: equipá-la com uma métrica Riemanniana que induz uma escolha métrica e deixe
De holomorfia
- Seja o espaço de funções inteiras ( holomórficas em todos os lugares ) no plano complexo. Em seguida, a família de seminários
- Deixe ' ser o espaço de funções inteiras (holomórficas em todos os lugares) de tipo exponencial. Então a família de seminormes
Nem todos os espaços vetoriais com métricas invariantes de translação completas são espaços de Fréchet. Um exemplo é o espaço com Embora este espaço não ser localmente convexa, é um F-espaço .
Propriedades e outras noções
Se um espaço Fréchet admite uma norma contínua, podemos tomar todas as seminormas como normas, adicionando a norma contínua a cada uma delas. Um espaço de Banach, com compactos, e todos admitem normas, enquanto e não o fazem.
Um subespaço fechado de um espaço Fréchet é um espaço Fréchet. Um quociente de um espaço de Fréchet por um subespaço fechado é um espaço de Fréchet. A soma direta de um número finito de espaços de Fréchet é um espaço de Fréchet.
Um produto de numerosos espaços Fréchet é sempre mais uma vez um espaço Fréchet. No entanto, um produto arbitrário de espaços Fréchet será um espaço Fréchet se e somente se todos, exceto no máximo contáveis, muitos deles são triviais (ou seja, têm dimensão 0). Consequentemente, um produto de incontáveis muitos espaços não triviais de Fréchet não pode ser um espaço de Fréchet (na verdade, tal produto nem mesmo é metrizável porque sua origem não pode ter uma base de vizinhança contável). Portanto, por exemplo, se for qualquer conjunto e for qualquer espaço Fréchet não trivial (como por exemplo), o produto será um espaço Fréchet se e somente se for um conjunto contável.
Várias ferramentas importantes de análise funcional baseadas no teorema da categoria de Baire permanecem verdadeiras nos espaços de Fréchet; exemplos são o teorema do gráfico fechado e o teorema do mapeamento aberto .
Todos os espaços Fréchet são espaços estereotipados . Na teoria dos espaços estereotipados, os espaços Fréchet são objetos duais para os espaços de Brauner .
Cada operador linear limitado de um espaço de Fréchet para outro espaço vetorial topológico (TVS) é contínuo.
Existe um espaço Fréchet tendo um subconjunto limitado e também um subespaço de vetor denso , que não está contido no fechamento (em ) de qualquer subconjunto limitado de
Todos os espaços Montel metrizable são separáveis . Um espaço de Fréchet separável é um espaço de Montel se e somente se cada sequência convergente fraca - * em seus duais contínuos converge for fortemente convergente .
O forte espaço dual de um espaço Fréchet (e mais geralmente, de qualquer espaço convexo localmente metrizável) é um espaço DF . O dual forte de um espaço DF é um espaço Fréchet. A forte dupla de uma reflexiva espaço Fréchet é um espaço bornological e um espaço Ptak . Cada espaço Fréchet é um espaço Ptak. O bidual forte (isto é, o espaço dual forte do espaço dual forte) de um espaço localmente convexo metrizável é um espaço de Fréchet.
Normas e normabilidade
Se for um espaço localmente convexo, então a topologia de pode ser definida por uma família de normas contínuas em (uma norma é uma seminorma definida positiva ) se e somente se houver pelo menos uma norma contínua em Mesmo se um espaço de Fréchet tiver um topologia que é definida por uma família (contável) de normas (todas as normas também são seminormes), então pode, no entanto, deixar de ser um espaço normalizável (o que significa que sua topologia não pode ser definida por nenhuma norma única). O espaço de todas as sequências (com a topologia do produto) é um espaço Fréchet. Não existe nenhuma topologia local convexa de Hausdorff que seja estritamente mais grosseira do que esta topologia de produto. O espaço não é normatável , o que significa que sua topologia não pode ser definida por nenhuma norma . Além disso, não existe nenhuma norma contínua sobre. De fato, como mostra o teorema a seguir, sempre que há um espaço de Fréchet no qual não existe nenhuma norma contínua, isso se deve inteiramente à presença de como um subespaço.
Teorema - Let ser um espaço de Fréchet sobre o campo Em seguida, a seguir são equivalentes:
- se não admitir uma norma contínua (isto é, qualquer semi normais contínua sobre pode não ser uma norma).
- contém um subespaço vetorial que é isomórfico de TVS para
- contém um subespaço de vetor complementado que é TVS-isomorphic to
Se for um espaço de Fréchet não normalizado no qual existe uma norma contínua, então contém um subespaço vetorial fechado que não tem complemento topológico .
Um espaço localmente convexo metrizable é normable se e somente se seu espaço dual forte é um espaço Fréchet-Urysohn localmente convexo. Em particular, se um espaço metrizável localmente convexo (como um espaço de Fréchet) não é normalizável (o que só pode acontecer se for infinito dimensional), então seu espaço dual forte não é um espaço Fréchet-Urysohn e, consequentemente, este espaço completo de Hausdorff localmente convexo também não é metrizável nem normatizável.
O forte espaço dual de um espaço Fréchet (e mais geralmente, de espaços bornológicos como TVSs metrizáveis) é sempre um TVS completo e, portanto, como qualquer TVS completo, é normalizado se e somente se sua topologia puder ser induzida por uma norma completa ( isto é, se e somente se ele pode ser transformado em um espaço de Banach que tem a mesma topologia). Se for um espaço de Fréchet, então é normalizável se (e somente se) houver uma norma completa em seu espaço dual contínuo de forma que a topologia induzida pela norma seja mais fina do que a topologia fraca- *. Consequentemente, se um espaço Fréchet não é normable (o que só pode acontecer se for infinita dimensional), então também não o é o seu espaço dual forte.
Teorema de Anderson-Kadec
Anderson-Kadec teorema - Cada infinito-dimensional, separável espaço real Fréchet é homeomorfo ado produto cartesiano de countably muitas cópias de linha real
Observe que o homeomorfismo descrito no teorema de Anderson-Kadec não é necessariamente linear.
Teorema de Eidelheit - Um espaço de Fréchet é isomorfo a um espaço de Banach ou tem um espaço quociente isomorfo a
Diferenciação de funções
Se e são espaços Fréchet, então o espaço que consiste em todos os mapas lineares contínuos de a não é um espaço Fréchet de maneira natural. Esta é uma grande diferença entre a teoria dos espaços de Banach e a dos espaços de Fréchet e requer uma definição diferente para a diferenciabilidade contínua de funções definidas nos espaços de Fréchet, a derivada de Gateaux :
Suponha que seja um subconjunto aberto de um espaço Fréchet é uma função com valor em um espaço Fréchet e O mapa é diferenciável na direção se o limite
existe. O mapa é dito ser continuamente diferenciável em se o mapa
é contínuo. Uma vez que o produto dos espaços Fréchet é novamente um espaço Fréchet, podemos então tentar diferenciar e definir os derivados superiores de desta forma.
O operador derivado definido por é infinitamente diferenciável. A primeira derivada é dada por
para quaisquer dois elementos Esta é uma grande vantagem do espaço de Fréchet sobre o espaço de Banach para o finito
Se for uma função continuamente diferenciável, a equação diferencial
não precisa ter nenhuma solução e, mesmo se tiver, as soluções não precisam ser exclusivas. Isso contrasta fortemente com a situação nos espaços de Banach.
Em geral, o teorema da função inversa não é verdadeiro em espaços de Fréchet, embora um substituto parcial seja o teorema de Nash-Moser .
Variedades de Fréchet e grupos de Lie
Pode-se definir variedades Fréchet como espaços que "localmente se parecem" com espaços Fréchet (assim como variedades comuns são definidas como espaços que localmente parecem espaço euclidiano ), e pode-se então estender o conceito de grupo de Lie a essas variedades. Isso é útil porque para uma determinada variedade compacta (comum) o conjunto de todos os difeomorfismos forma um grupo de Lie generalizado neste sentido, e este grupo de Lie captura as simetrias de Algumas das relações entre álgebras de Lie e grupos de Lie permanecem válidas neste cenário.
Outro exemplo importante de um grupo de Lie Fréchet é o grupo de loop de um grupo de Lie compacto os mapeamentos smooth ( ) multiplicados por pontos por
Generalizações
Se abandonarmos o requisito de o espaço ser localmente convexo, obteremos espaços F : espaços vetoriais com métricas invariantes de translação completas.
Os espaços LF são limites indutivos contáveis dos espaços de Fréchet.
Veja também
- Espaço de Banach - espaço vetorial normalizado completo
- Espaço Brauner
- Espaço métrico completo - geometria métrica
- Espaço vetorial topológico completo - Um TVS onde os pontos que se aproximam progressivamente um do outro sempre convergirão para um ponto
- Espaço F - espaço vetorial topológico com uma métrica invariante de translação completa
- Malha Fréchet
- Espaço Graded Fréchet
- Espaço de Hilbert - Generalização do espaço euclidiano permitindo dimensões infinitas
- Espaço vetorial topológico localmente convexo - Um espaço vetorial com uma topologia definida por conjuntos abertos convexos
- Espaço vetorial topológico metrizável - Um espaço vetorial topológico cuja topologia pode ser definida por uma métrica
- Sobreposição de espaços de Fréchet - Caracterização da sobrejetividade
- Espaço Tame Fréchet
- Espaço vetorial topológico - espaço vetorial com noção de proximidade
Notas
Citações
Referências
- "Fréchet space" , Encyclopedia of Mathematics , EMS Press , 2001 [1994]
- Berberian, Sterling K. (1974). Aulas teóricas de Análise Funcional e Teoria do Operador . Textos de Pós-Graduação em Matemática. 15 . Nova York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401 .
- Bourbaki, Nicolas (1987) [1981]. Certos espaces topologiques de vetoriais [ Topological Vector Spaces: Capítulos 1–5 ]. Annales de l'Institut Fourier . Éléments de mathématique . 2 . Traduzido por Eggleston, HG; Madan, S. Berlin New York: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190 .
- Conway, John (1990). Um curso de análise funcional . Textos de Pós-Graduação em Matemática . 96 (2ª ed.). Nova York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908 .
- Edwards, Robert E. (1995). Análise Funcional: Teoria e Aplicações . Nova York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138 .
- Grothendieck, Alexander (1973). Espaços vetoriais topológicos . Traduzido por Chaljub, Orlando. Nova York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098 .
- Jarchow, Hans (1981). Espaços localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342 .
- Khaleelulla, SM (1982). Contra-exemplos em espaços vetoriais topológicos . Notas de aula em matemática . 936 . Berlin, Heidelberg, New York: Springer-Verlag . ISBN 978-3-540-11565-6. OCLC 8588370 .
- Köthe, Gottfried (1983) [1969]. Espaço vectorial topológico I . Grundlehren der mathematischen Wissenschaften. 159 . Traduzido por Garling, DJH Nova York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498 . OCLC 840293704 .
- Narici, Lawrence ; Beckenstein, Edward (2011). Espaços vetoriais topológicos . Matemática pura e aplicada (segunda edição). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Pressley, Andrew; Segal, Graeme (1986). Grupos de loop . Oxford Mathematical Monographs. Oxford Science Publications. Nova York: Oxford University Press . ISBN 0-19-853535-X. MR 0900587 .
- Robertson, Alex P .; Robertson, Wendy J. (1980). Espaços vetoriais topológicos . Cambridge Tracts in Mathematics . 53 . Cambridge England: Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250 .
- Rudin, Walter (1991). Análise funcional . Série Internacional em Matemática Pura e Aplicada. 8 (segunda edição). New York, NY: McGraw-Hill Science / Engineering / Math . ISBN 978-0-07-054236-5. OCLC 21163277 .
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espaços vetoriais topológicos . GTM . 8 (segunda edição). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Sergeev, Armen (2010). Geometria Kähler de Espaços de Loop . Mathematical Society of Japan Memoirs. 23 . Publicação Científica Mundial . doi : 10.1142 / e023 . ISBN 978-4-931469-60-0.
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Espaços vetoriais topológicos: a teoria sem condições de convexidade . Notas de aula em matemática. 639 . Berlin New York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003 .
- Swartz, Charles (1992). Uma introdução à Análise Funcional . Nova York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067 .
- Trèves, François (2006) [1967]. Espaços Vetoriais Topológicos, Distribuições e Kernels . Mineola, NY: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322 .
- Wilansky, Albert (2013). Métodos modernos em espaços vetoriais topológicos . Mineola, Nova York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114 .