Topologies generated by ideals

Uzcátegui, Carlos

Commentationes Mathematicae Universitatis Carolinae, Tome 47 (2006) no. 2, pp. 317-335.

Résumé

A topological space $X$ is said to be {\it generated by an ideal $\Cal I$\/} if for all $A\subseteq X$ and all $x\in \overline{A}$ there is $E\subseteq A$ in $\Cal I$ such that $x\in \overline{E}$, and is said to be {\it weakly generated by\/} $\Cal I$ if whenever a subset $A$ of $X$ contains $\overline{E}$ for every $E\subseteq A$ with $E\in \Cal I$, then $A$ itself is closed. An important class of examples are the so called weakly discretely generated spaces (which include sequential, scattered and compact Hausdorff spaces). Another paradigmatic example is the class of Alexandroff spaces which corresponds to spaces generated by finite sets. By considering an appropriate topology on the power set of $X$ we show that $\tau $ is weakly generated by $\Cal I$ iff $\tau $ is a $\Cal I$-closed subset of $\Cal P(X)$. The class of spaces weakly generated by an ideal behaves as the class of sequential spaces, in the sense that their closure operator can be characterized as the sequential closure and moreover there is a natural notion of a convergence associated to them. We also show that the collection of topologies weakly generated by $\Cal I$ is lattice isomorphic to a lattice of pre-orders over $\Cal I$.

Détail

Classification : 06B30, 54A10, 54A20, 54B20, 54D55
Keywords: lattices of topologies; hyperspaces; tightness; Alexandroff spaces; Fréchet and sequential spaces; discretely generated spaces; sequential convergence