Let $X$ be an arbitrary set. A topology $t$ on $X$ is said to be useful if every complete and continuous preorder on $X$ is representable by a continuous real-valued order preserving function. It will be shown, in a first step, that there exists a natural one-to-one correspondence between continuous and complete preorders and complete separable systems on $X$. This result allows us to present a simple characterization of useful topologies $t$ on $X$. According to such a characterization, a topology $t$ on $X$ is useful if and only if for every complete separable separable system $cal E$ on $(X,t)$ the topology $t_{cal E}$ generated by $cal E$ and by all the sets $X setminusoverline{E}$ is second countable. Finally, we provide a simple proof of the fact that the countable weak separability condition ({em cwsc}), which is closely related to the countable chain condition ({em ccc}), is necessary for the usefulness of a topology.
The structure of useful topologies
Gianni Bosi
;
2019-01-01
Abstract
Let $X$ be an arbitrary set. A topology $t$ on $X$ is said to be useful if every complete and continuous preorder on $X$ is representable by a continuous real-valued order preserving function. It will be shown, in a first step, that there exists a natural one-to-one correspondence between continuous and complete preorders and complete separable systems on $X$. This result allows us to present a simple characterization of useful topologies $t$ on $X$. According to such a characterization, a topology $t$ on $X$ is useful if and only if for every complete separable separable system $cal E$ on $(X,t)$ the topology $t_{cal E}$ generated by $cal E$ and by all the sets $X setminusoverline{E}$ is second countable. Finally, we provide a simple proof of the fact that the countable weak separability condition ({em cwsc}), which is closely related to the countable chain condition ({em ccc}), is necessary for the usefulness of a topology.File | Dimensione | Formato | |
---|---|---|---|
Bosi_The structure of useful topologies.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Copyright Editore
Dimensione
348.48 kB
Formato
Adobe PDF
|
348.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Bosi_The structure of useful topologies_postprint.pdf
Open Access dal 27/02/2021
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Creative commons
Dimensione
244.12 kB
Formato
Adobe PDF
|
244.12 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.