On the sequential monotone closure of $CD_{\omega}(K)$ spaces

In questa breve nota, gli autori risolvono un problema posto da Wickstead riguardante la chiusura monotona sequenziale degli spazi $CD_{\omega}(K)$, emerso dallo studio del completamento di Riesz degli spazi di operatori regolari tra reticoli di Banach.

L'essenziale

Ecco una spiegazione semplice e creativa di questo articolo matematico, pensata per chi non è un esperto di analisi funzionale.

Il Titolo: "Chiudendo il cerchio: quando le regole matematiche non bastano più"

Immagina di avere una cassetta degli attrezzi piena di strumenti perfetti e ordinati (chiamiamoli "funzioni continue"). Questi strumenti sono ottimi per costruire cose solide e prevedibili. In matematica, questo insieme di strumenti è chiamato spazio di Banach (o più specificamente, un reticolo di Banach).

Gli autori di questo articolo, Sukrit Chalana, Denny Leung e Foivos Xanthos, si sono chiesti una domanda molto specifica: "Se prendiamo questi strumenti perfetti e cerchiamo di aggiungere tutti i possibili 'limiti' che si possono ottenere facendoli avvicinare l'uno all'altro in modo ordinato (come una scala che sale passo dopo passo), otteniamo ancora una cassetta degli attrezzi completa e robusta?"

In termini tecnici, stanno studiando la "chiusura monotona sequenziale" di certi spazi matematici. Ma tradotto in parole povere: stanno chiedendo se aggiungendo tutti i "ponti" che possiamo costruire passo dopo passo, il nostro edificio matematico rimane solido o se crolla.

La Storia: Il Problema di Wickstead

C'era un matematico di nome Wickstead che aveva notato qualcosa di strano. Aveva scoperto che in alcuni casi, quando si aggiungevano questi "ponti" (i limiti), l'edificio rimaneva perfetto. Ma si era chiesto: "Funziona sempre? Per ogni tipo di cassetta degli attrezzi?"

Gli autori di questo articolo hanno risposto: "No, non funziona sempre." E hanno dimostrato che in certi casi, l'edificio diventa fragile e incompleto.

L'Analogia della "Città Perfetta" (Spazio CDω(K))

Per capire il loro trucco, immagina una città chiamata K.

• In questa città, ci sono edifici che rappresentano funzioni matematiche.
• Gli autori costruiscono una città speciale chiamata CDω(K). In questa città, la maggior parte degli edifici sono bellissimi e continui (come palazzi lisci), ma ci sono anche alcuni "graffiti" o piccoli difetti sparsi qua e là. Tuttavia, questi difetti sono così pochi (al massimo un numero infinito ma "contabile", come i numeri interi) che la città sembra quasi perfetta.

La domanda è: se prendiamo questa città e proviamo a costruire la versione "completa" aggiungendo tutti i possibili limiti di sequenze di edifici, otteniamo una città che ha ancora le stesse proprietà solide?

Il Trucco degli Autori: La Scala che non finisce mai

Per rispondere di "No", gli autori hanno costruito un esperimento mentale molto ingegnoso:

1. La Città Perfetta: Hanno preso una città (uno spazio matematico) che è molto complessa e piena di punti (come i numeri reali o un insieme infinito di punti).
2. Il Costruttore: Hanno creato una sequenza di "strati" o "livelli" nella città, uno dentro l'altro, come una matrioska. Ogni strato è leggermente più piccolo del precedente, ma lascia sempre uno spazio vuoto tra uno strato e l'altro.
3. L'Oscillazione: Hanno costruito una funzione (un "edificio" matematico) che salta su e giù tra questi strati. Immagina un ascensore che sale e scende tra i piani di un grattacielo, ma ogni volta che cambia piano, il salto è leggermente diverso.
4. Il Risultato: Hanno scoperto che questo "edificio oscillante" è un limite perfetto di una sequenza di edifici semplici (quindi dovrebbe far parte della città completata). MA, questo edificio è così strano e irregolare che non può essere descritto come la differenza di due funzioni "quasi continue".

In parole povere: Hanno trovato un "mostro" matematico.
Questo mostro è nato da una sequenza di passi ordinati (quindi dovrebbe essere accettato nella nuova città), ma è così "sporco" e irregolare che non riesce a stare dentro le regole della città completata.

La Conclusione: Perché è importante?

Perché ci preoccupiamo di questi "mostri"?
Perché in matematica, specialmente quando si studiano gli operatori (che sono come macchine che trasformano dati da un posto all'altro), abbiamo bisogno che gli spazi siano "completi". Se uno spazio non è completo, significa che ci sono dei buchi nel pavimento: puoi camminare verso un punto, ma quel punto non esiste realmente nello spazio.

Gli autori hanno dimostrato che:

• Se prendi certi spazi di funzioni (quelli legati a città come i numeri reali o spazi polacchi perfetti) e cerchi di "completarli" aggiungendo i limiti sequenziali, ottiene un edificio che ha dei buchi.
• Questo risolve un problema aperto da anni, mostrando che la regola che funzionava per alcuni casi non è universale.

In Sintesi

Immagina di avere una ricetta per fare un dolce perfetto (lo spazio matematico originale).
Qualcuno ti dice: "Se aggiungi tutti i possibili ingredienti che puoi ottenere mescolando gli ingredienti esistenti passo dopo passo, otterrai un dolce ancora perfetto?"
Gli autori dicono: "No. Se usi ingredienti particolari (come quelli nello spazio CDω(K)), il tuo nuovo dolce avrà un sapore strano e non sarà più un dolce 'perfetto' secondo le regole della cucina matematica. Mancherà di una consistenza fondamentale."

Hanno quindi trovato un controesempio che ha rotto l'illusione che "completare" uno spazio matematico funzioni sempre in modo sicuro, costringendo i matematici a rivedere le loro certezze su come funzionano queste strutture astratte.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "ON THE SEQUENTIAL MONOTONE CLOSURE OF CDω(K) SPACES" di Sukrit Chalana, Denny H. Leung e Foivos Xanthos, redatto in italiano.

1. Il Problema e il Contesto

Il lavoro affronta una questione aperta sollevata da Wickstead nel suo studio sulla completamento di Riesz degli spazi di operatori regolari tra reticoli di Banach.
In particolare, Wickstead aveva dimostrato che se $E$ è un reticolo di Banach quasi $\sigma$-ordinatamente completo, allora la sua chiusura monotona sequenziale ($E^{\sigma m}$), dotata della norma estesa, è completa. Tuttavia, lasciava aperta la domanda (Domanda 5.8 in [13]) se questa proprietà di completezza valesse per qualsiasi reticolo di Banach $E$.

L'obiettivo principale del paper è rispondere a questa domanda in modo negativo, fornendo una classe di controesempi che dimostra come la chiusura monotona sequenziale di certi reticoli di Banach non sia uniformemente completa, e quindi non sia uno spazio completo.

2. Metodologia e Strumenti Matematici

Gli autori utilizzano una combinazione di teoria dei reticoli vettoriali, topologia generale e analisi funzionale. I concetti chiave e le metodologie includono:

• Chiusura Monotona Sequenziale ($E^{\sigma m}$): Definita come il sottoreticolo $u(E) - u(E)$ di un completamento ordinato $E^\delta$, dove $u(E)$ è l'insieme degli elementi $\sigma$-superiori (limiti superiori di successioni crescenti in $E$).
• Spazi $CD_\omega(K)$: Un sottoreticolo di $B(K)$ (funzioni limitate su uno spazio topologico $K$) definito come l'insieme delle funzioni che differiscono da una funzione continua limitata su un insieme al più numerabile.
  $$CD_\omega(K) = \{f \in B(K) \mid \exists g \in C_b(K) : [f \neq g] \text{ è al più numerabile}\}$$
• Spazi $DBSC(K)$: L'insieme delle differenze di funzioni semicontinue limitate (bounded semicontinuous functions).
• Spazi di Baire e Spazi di Polish: L'analisi si concentra su spazi topologici $K$ che sono perfetti, di Baire e metrizzabili (in particolare spazi di Polish non numerabili).
• Costruzione di Controesempi: Gli autori costruiscono una funzione specifica $f \in B_1^1(K)$ (chiusura uniforme delle differenze di funzioni semicontinue) che, pur essendo un limite puntuale di una successione in $CD_\omega(K)$, non appartiene alla sua chiusura monotona sequenziale.

3. Risultati Principali

A. Caratterizzazione di $CD_\omega(K)^{\sigma m}$ (Teorema 2.3)

Per uno spazio $K$ che è uno spazio di Baire perfetto e metrizzabile, gli autori dimostrano che la chiusura monotona sequenziale di $CD_\omega(K)$ è isomorfa a:
$$CD_\omega(K)^{\sigma m} = \{f \in B(K) \mid \exists g \in DBSC(K) : [f \neq g] \text{ è al più numerabile}\}$$
Questo risultato collega la struttura algebrica della chiusura monotona con le proprietà topologiche delle funzioni semicontinue.

B. Esistenza di Funzioni "Patologiche" (Teorema 2.5 e Proposizione 2.4)

Il cuore della dimostrazione risiede nella costruzione di una funzione $f \in B_1^1(K)$ (limite uniforme di differenze di funzioni semicontinue) su uno spazio di Polish non numerabile $K$, tale che per ogni $g \in DBSC(K)$, l'insieme $\{x \in K : f(x) \neq g(x)\}$ è non numerabile.

• Metodo: Si utilizza una successione di insiemi chiusi $(F_n)$ con proprietà specifiche (inclusione stretta e intersezioni con intorni che contengono insiemi non numerabili) per definire una serie alternata di funzioni indicatrici.
• Conseguenza: Poiché $f$ differisce da ogni funzione in $DBSC(K)$ su un insieme non numerabile, $f \notin CD_\omega(K)^{\sigma m}$.

C. Risposta alla Domanda di Wickstead (Teorema 2.7)

Gli autori dimostrano che se $K$ è uno spazio di Polish perfetto, allora lo spazio $CD_\omega(K)^{\sigma m}$ non è uniformemente completo.

• Poiché ogni reticolo di Banach è uniformemente completo, ma la sua chiusura monotona sequenziale in questo caso non lo è, si conclude che $(CD_\omega(K)^{\sigma m}, \|\cdot\|)$ non è uno spazio completo.
• Questo risponde negativamente alla Domanda 5.8 di Wickstead: la completezza di $E^{\sigma m}$ non è garantita per ogni reticolo di Banach $E$.

D. Relazione con la Completezza $\sigma$-ordinata (Proposizioni 2.8 e 2.9)

Il paper chiarisce la relazione tra la completezza $\sigma$-ordinata di $E^{\sigma m}$ e la quasi completezza $\sigma$-ordinata di $E$:

• Se $E$ è quasi $\sigma$-ordinatamente completo, allora $E^{\sigma m}$ è $\sigma$-ordinatamente completo.
• Tuttavia, il viceversa non è vero: esiste un caso ($C(K_\infty)$ con $K$ non numerabile discreto) in cui $E^{\sigma m}$ è $\sigma$-ordinatamente completo, ma $E$ non è quasi $\sigma$-ordinatamente completo.

E. Condizione Necessaria e Sufficiente per Operatori Regolari (Teorema 2.10)

L'ultimo risultato principale fornisce una caratterizzazione precisa per la completezza uniforme del completamento di Riesz dello spazio degli operatori regolari $L_r(c, F)$ (dove $c$ è lo spazio delle successioni convergenti):
Il completamento di Riesz di $L_r(c, F)$ è uniformemente completo se e solo se $F^{\sigma m}$ è uniformemente completo.
Questo migliora i risultati precedenti di Wickstead fornendo una condizione necessaria e sufficiente, collegando direttamente la proprietà dello spazio degli operatori alla proprietà della chiusura monotona sequenziale dello spazio di arrivo $F$.

4. Significato e Contributi

1. Risoluzione di un Problema Aperto: Il paper risolve definitivamente la questione sollevata da Wickstead, dimostrando che la completezza della chiusura monotona sequenziale non è una proprietà universale per i reticoli di Banach.
2. Nuovi Controesempi: Introduce la classe degli spazi $CD_\omega(K)$ su spazi di Polish come fonte di controesempi strutturati, collegando la teoria dei reticoli alla topologia descrittiva (insiemi non numerabili, funzioni di Baire).
3. Sviluppo Teorico: Offre una caratterizzazione precisa della chiusura monotona sequenziale in termini di funzioni semicontinue, arricchendo la comprensione della struttura degli spazi di funzioni su spazi topologici generali.
4. Implicazioni per gli Operatori: Stabilisce un legame fondamentale tra la completezza uniforme degli spazi di operatori regolari e le proprietà di chiusura monotona dello spazio di arrivo, fornendo strumenti per analizzare la completezza in contesti di analisi funzionale avanzata.

In sintesi, il lavoro dimostra che l'estensione naturale di un reticolo di Banach tramite limiti monotoni sequenziali può perdere la proprietà di completezza uniforme, un fatto che ha ripercussioni dirette sulla teoria degli operatori regolari e sulla struttura dei completamenti di Riesz.