Automatic continuity for vector spaces with linear topology

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo dell'analisi funzionale e della topologia generale, affrontando il problema dell'automatica continuità.

• Contesto Topologico: In [6] è stata classificata la classe degli spazi topologici in cui ogni biezione da uno spazio a se stesso è continua (spazi con la topologia co-$\kappa$).
• Contesto Algebrico: Nella teoria delle algebre di Banach, un risultato fondamentale di Johnson afferma che ogni omomorfismo da un'algebra di Banach $A$ a un'algebra semisemplice $B$ è automaticamente continuo.
• Obiettivo del Paper: Gli autori estendono queste indagini agli spazi vettoriali topologici (TVS) con topologia lineare. Una topologia è detta "lineare" se il filtro dei vicinaggi dello 0 è generato da sottospazi vettoriali aperti. L'obiettivo principale è classificare tutti i TVS con topologia lineare che possiedono la proprietà per cui ogni automorfismo algebrico è continuo (ovvero, $\text{Aut}(V) = \text{CAut}(V)$).

2. Metodologia e Strumenti Teorici

Gli autori utilizzano un approccio che combina algebra lineare, teoria dei cardinali e topologia funzionale.

• Definizioni Chiave:
  • Topologia $\kappa$-codimensionale: Per uno spazio vettoriale $V$ e un cardinale $\kappa$ (con $\kappa=1$ o $\kappa \ge \aleph_0$), la topologia è generata dai sottospazi $W$ tali che $\text{codim}(W) < \kappa$.
  • $\zeta(V)$: Viene definito come il supremo dei codimensioni dei sottospazi aperti in $V$.
• Strumenti Algebrici:
  • Uso sistematico dei teoremi di isomorfismo per analizzare le dimensioni e le codimensioni di intersezioni e somme di sottospazi.
  • Proprietà degli spazi linearmente compatti (definiti come limiti inversi di spazi vettoriali di dimensione finita).
  • Analisi della relazione tra la topologia di $V$ e la sua completamento di Cauchy ($\hat{V}$) e il suo completamento profinito-dimensionale.

3. Risultati Principali

A. Classificazione degli Spazi (Teorema 2.12)

Il risultato centrale del paper è la seguente caratterizzazione:

Teorema: Sia $V$ uno spazio vettoriale topologico con topologia lineare. Allora $V$ ammette una topologia codimensionale se e solo se ogni automorfismo algebrico di $V$ è continuo ($\text{Aut}(V) = \text{CAut}(V)$).

• Dimostrazione: La direzione $(\Rightarrow)$ è immediata poiché gli isomorfismi preservano la codimensione. La direzione $(\Leftarrow)$ si basa sull'analisi del valore $\zeta(V)$. Gli autori dimostrano che se $\text{Aut}(V) = \text{CAut}(V)$, allora la topologia deve essere necessariamente una topologia $\kappa$-codimensionale per un opportuno cardinale $\kappa$ (o $\zeta(V)$ o il suo successore $\zeta(V)^+$).

B. Proprietà delle Mappe Lineari (Proposizioni 2.13 e 2.14)

Gli autori stabiliscono condizioni sufficienti affinché tutte le applicazioni lineari (non solo gli automorfismi) siano continue:

• Se $V$ ha la topologia $\kappa$-codimensionale e $\dim(V') < \kappa$, allora ogni applicazione lineare $V \to V'$ è continua.
• Se $V$ e $V'$ hanno topologie $\kappa$ e $\kappa'$-codimensionali rispettivamente, e $\kappa' \le \kappa$, allora ogni applicazione lineare $V \to V'$ è continua.
• Nota Importante: A differenza degli spazi topologici generali (dove solo gli spazi discreti e banali hanno la proprietà che tutte le mappe in se stessi sono continue), qui ogni spazio vettoriale con una topologia codimensionale ha la proprietà che tutte le mappe lineari in se stesso sono continue.

C. Proprietà Strutturali e Dualità (Sezione 3)

• Non Compattezza Lineare: Se $\dim(V) \ge \aleph_0$ e $\kappa > 1$, $V$ non è linearmente compatto (Proposizione 3.9).
• Completamento: Il completamento di Cauchy $\hat{V}$ di uno spazio con topologia $\aleph_0$-codimensionale è linearmente compatto (Proposizione 3.10).
• Famiglie Non Isomorfe: Viene costruita una famiglia arbitrariamente grande di spazi vettoriali topologici non isomorfi tra loro, che condividono però:
  1. Lo stesso completamento profinito-dimensionale.
  2. Lo stesso spazio duale topologico.
     Questo dimostra che il completamento e il duale non sono sufficienti a distinguere la topologia codimensionale specifica all'interno di certi intervalli di cardinalità.

D. Controesempi per le Algebre (Sezione 4)

Gli autori esaminano se il teorema di Johnson (sull'automatica continuità per omomorfismi di algebre) si estenda alle algebre con topologia lineare.

• Risultato Negativo: In generale, il teorema di Johnson fallisce per le algebre con topologia lineare (Esempio 4.2).
• Caso Pseudocompatto: Anche restringendosi alle algebre pseudocompatte (una classe ben comportata), il teorema fallisce. Viene fornito un controesempio (Esempio 4.4) di un omomorfismo da un'algebra pseudocompatta a un campo discreto che non è continuo, nonostante il nucleo sia un ideale massimale denso.

4. Significato e Contributi

1. Classificazione Completa: Il paper fornisce una classificazione definitiva degli spazi vettoriali topologici lineari caratterizzati dall'automatica continuità degli automorfismi, identificandoli esattamente come gli spazi con topologia codimensionale.
2. Distinzione tra Isomorfismi e Omomorfismi: Evidenzia una differenza fondamentale rispetto alla topologia generale: mentre per gli spazi topologici la proprietà "tutte le mappe sono continue" è molto restrittiva (solo discreti/triviali), per gli spazi vettoriali con topologia lineare questa proprietà è soddisfatta da un'intera classe di spazi (quelli con topologia codimensionale) quando si considerano le mappe lineari.
3. Limiti della Teoria di Johnson: Dimostra che i risultati classici di automatic continuity delle algebre di Banach non si generalizzano automaticamente al contesto delle algebre con topologia lineare, nemmeno nella sottoclasse delle algebre pseudocompatte, richiedendo quindi nuove ipotesi o approcci per tali strutture.
4. Costruzione di Esempi Patologici: La costruzione di famiglie di spazi non isomorfi con completamenti e duali identici offre nuovi strumenti per testare la robustezza delle invarianti topologiche nella teoria degli spazi vettoriali topologici.

In sintesi, il lavoro colma un vuoto nella teoria degli spazi vettoriali topologici, collegando la teoria dei cardinali e la struttura algebrica con le proprietà topologiche di continuità, e ponendo limiti chiari all'estensione di teoremi classici dell'analisi funzionale a contesti più generali.