3 Oct
1994
3 Oct
'94
7:27 p.m.
In response to Maria Joao Frade <mjf@di.uminho.pt>, I believe the following is true: Let $X$ be an infinite space with the cofinite topology, i.e., $U\subseteq X$ is open if and only if $U$ is empty or the complement of $U$ is finite. This space is ${\bf T}_0$---${\bf T}_1$, even---but it is not sober, since $X$ is irreducible closed, but $X$ is not the closure of any point. (You can make $X$ into a coherent space by adding a generic point for $X$.) $\Omega(X)$ is coherent. It is isomorphic to ${\rm Idl}(L)$, where $L$ is the lattice of all $\{0,1}\}$-valued functions on $X$ that are $1$ except at finitely many points. J. Madden
11564
Age (days ago)
11564
Last active (days ago)
0 comments
1 participants
participants (1)
-
James Madden