Automatic continuity for vector spaces with linear topology

Resumo Técnico: Continuidade Automática para Espaços Vetoriais com Topologia Linear

Autores: Samuel Quirino e Lucas H. R. de Souza
Data: 2 de março de 2026 (pré-publicação no arXiv)

1. Problema e Motivação

O artigo aborda o problema da continuidade automática no contexto de espaços vetoriais topológicos equipados com topologia linear.

• Contexto: Na análise funcional clássica, a continuidade automática refere-se a situações onde homomorfismos algébricos entre certas estruturas (como álgebras de Banach) são necessariamente contínuos (ex: Teorema de Johnson).
• Analogia Topológica: O trabalho inspira-se em resultados topológicos gerais (como a classificação de espaços onde toda bijeção é contínua, relacionados à topologia co-$\kappa$) e busca uma classificação análoga para espaços vetoriais.
• Objetivo Principal: Classificar todos os espaços vetoriais topológicos com topologia linear nos quais todo automorfismo algébrico é contínuo. O objetivo é determinar sob quais condições a estrutura algébrica (isomorfismos de espaços vetoriais) implica a estrutura topológica (continuidade).

2. Metodologia e Definições Fundamentais

Os autores utilizam uma abordagem que combina Álgebra Linear, Teoria dos Cardinals e Topologia Geral.

• Topologia Linear: Uma topologia onde o filtro de vizinhanças de $0$ é gerado por subespaços vetoriais abertos.
• Topologia de Codimensão ($\kappa$-codimension topology): Para um espaço vetorial $V$ e um cardinal $\kappa$ (com $\kappa=1$ ou $\kappa \ge \aleph_0$), define-se a topologia onde as vizinhanças de $0$ são geradas pelo conjunto de todos os subespaços $W \subset V$ tais que $\text{codim}(W) < \kappa$.
  • Se $\kappa=1$, a topologia é trivial.
  • Se $\kappa \ge \dim(V)$, a topologia é discreta.
• Ferramentas Chave:
  • Uso de teoremas de isomorfismo para analisar dimensões e codimensões de interseções e pré-imagens de subespaços.
  • Definição de $\zeta(V)$ como o supremo das codimensões de subespaços abertos.
  • Análise de completamentos (completamento de Cauchy e completamento profinito-dimensional) e espaços duais.

3. Principais Contribuições e Resultados

A. Classificação Principal (Teorema 2.12)
O resultado central do artigo estabelece uma equivalência necessária e suficiente:

Um espaço vetorial topológico $V$ com topologia linear possui a propriedade de que todo automorfismo algébrico é contínuo ($\text{Aut}(V) = \text{CAut}(V)$) se e somente se $V$ possui uma topologia de codimensão (para algum cardinal $\kappa$).

• Significado: Isso generaliza resultados conhecidos de topologia geral para o contexto de espaços vetoriais, mostrando que a rigidez topológica (onde a estrutura algébrica força a continuidade) ocorre exatamente nestas topologias específicas definidas por cardinais.

B. Propriedades de Continuidade de Homomorfismos (Proposições 2.13 e 2.14)
Os autores provam condições sob as quais todos os mapas lineares (não apenas automorfismos) são contínuos:

• Se $V$ tem topologia $\kappa$-codimensão e $\dim(V') < \kappa$, então toda aplicação linear $V \to V'$ é contínua.
• Se $V$ tem topologia $\kappa$-codimensão e $V'$ tem topologia $\kappa'$-codimensão com $\kappa' \le \kappa$, então toda aplicação linear $V \to V'$ é contínua.
• Observação Importante: Diferente de espaços topológicos gerais (onde apenas espaços discretos e triviais têm a propriedade de que todas as funções são contínuas), aqui existe uma vasta classe de espaços vetoriais (com topologia de codimensão) onde todas as aplicações lineares são contínuas.

C. Propriedades Estruturais e Não-Isomorfismo

• Não-Isomorfismo: Espaços com a mesma dimensão vetorial, mas com diferentes cardinais de topologia de codimensão ($\kappa \neq \kappa'$), não são isomorfos como espaços vetoriais topológicos (Proposição 2.2).
• Construção de Famílias Grandes (Corolário 3.11): Os autores constroem uma família arbitrariamente grande de espaços vetoriais $\{V_\kappa\}$ que:
  1. São não isomorfos entre si como espaços vetoriais topológicos.
  2. Possuem o mesmo completamento profinito-dimensional.
  3. Possuem o mesmo espaço dual topológico.
  • Implicação: Isso demonstra que o completamento e o dual não são suficientes para classificar espaços com topologia linear, destacando a riqueza da estrutura dessas topologias.

D. Falha de Análogos do Teorema de Johnson para Álgebras
O artigo investiga se o famoso Teorema de Johnson (sobre continuidade de homomorfismos em álgebras semissimples) se estende a álgebras com topologia linear.

• Resultado: O teorema falha em geral para álgebras com topologia linear.
• Contraexemplos:
  • Exemplo 4.2: Mostra falha para álgebras não discretas.
  • Exemplo 4.4: Mostra falha mesmo restringindo-se a álgebras pseudocompactas (uma classe importante em análise funcional). Um homomorfismo epimórfico para um corpo discreto pode não ser contínuo se o núcleo for um ideal maximal denso.

4. Significado e Impacto

1. Classificação Completa: O trabalho fornece uma classificação definitiva para a propriedade de continuidade automática em espaços vetoriais com topologia linear, identificando as topologias de codimensão como os únicos casos onde essa propriedade se sustenta para automorfismos.
2. Distinção Estrutural: A construção de famílias de espaços com completamentos e duais idênticos, mas não isomorfos, enriquece a compreensão das limitações dos invariantes topológicos clássicos neste contexto.
3. Limites da Generalização: Ao demonstrar a falha do Teorema de Johnson mesmo em álgebras pseudocompactas, o artigo delimita claramente as fronteiras onde técnicas de análise funcional clássica podem ou não ser aplicadas a estruturas topológicas mais gerais (topologia linear).
4. Conexão Interdisciplinar: O artigo conecta profundamente a teoria de espaços topológicos gerais (topologia co-$\kappa$) com a análise funcional e a teoria de espaços vetoriais topológicos, oferecendo uma ponte conceitual entre essas áreas.

Em suma, o artigo estabelece que a "rigidez" topológica em espaços vetoriais lineares é governada estritamente pela cardinalidade das codimensões dos subespaços abertos, e que essa estrutura permite comportamentos de continuidade automática que não têm paralelo direto em álgebras topológicas gerais.