Is there a set that is both a sigma algebra and a topology but not a powerset?

Yes. If $X$ is any set containing at least two elements then the collection $\{ X, \varnothing \}$ is both a $\sigma$-algebra and a topology on $X$ but is not the powerset.


If you add the Hausdorff condition, then you can achieve the full power set result, as I explain below. Meanwhile, in general, here is a sense in which every such algebra/topology is in fact a power set.

Theorem. Every family $\cal{A}$ of sets that is both a $\sigma$-algebra and a topology on a set $X$ (or even just an algebra and a topology) is isomorphic, as a partial order under $\subseteq$, to a power set order. Specifically, $\cal{A}$ is isomorphic to the power set of the collection of minimal nonempty elements of $\cal{A}$, which form a partition of $X$.

Proof. Suppose that $\cal{A}$ is closed under complement and is a topology on $X$. Thus, $\cal{A}$ is closed under complement and arbitrary unions, and hence by de Morgan it is closed under arbitrary intersection. For each $x\in X$, let $[x]$ be the intersection of all $A\in\cal{A}$ with $x\in A$. Thus, $[x]\in \cal{A}$, and these are simply the minimal nonempty elements of $\cal{A}$. These partition $X$, and form the equivalence classes of the relation $x\sim y$ iff $x$ and $y$ are in all the same elements of $\cal{A}$. Every element of $\cal{A}$ is a union of the various classes $[x]$, and furthermore, every union of classes $[x]$ is in $\cal{A}$. So the partial order $\langle \cal{A},{\subseteq}\rangle$ is isomorphic to the power set of the classes $\langle P(X/\sim),\subseteq\rangle$, since every element $A\in \cal{A}$ breaks into the union of pieces of the partition $A=\bigcup_{a\in A}[a]$. QED

Let us now add a separation requirement to the topology to achieve the full power set result.

Theorem. Every family $\cal{A}$ of sets that is both an algebra and a Hausdorff topology on $X$ is the full power set of $X$.

Proof. If the topology is Hausdorff, or merely even $T_1$, then the relation $x\sim y$ I mention above is just $x=y$, and so $[x]=\{x\}$. So all the singletons are in $\cal{A}$, which is closed under arbitrary unions. So ${\cal A}=P(X)$. QED


Hint: a topology on $X$ that contains all singletons $\{x\}$ for $x \in X$ is the power set. Try a very simple $\sigma$-algebra on a finite set.


This can be easily done on large enough infinite sets, for example consider $$\mathcal A=\{A\subseteq\mathbb R\mid A\subseteq\mathbb N\text{ or }\mathbb R\setminus A\subseteq\mathbb N\}.$$

Let us see that this is a topology and a $\sigma$-algebra:

  1. Clearly $\mathbb R$ and $\varnothing$ are in this collection.
  2. It is closed under countable intersections, suppose $A_n$ is a collection of sets in $\cal A$. If the intersection is empty then we are done, otherwise
    • if there is at least one set which is a subset of $\mathbb N$ then obviously their intersection is a subset of $\mathbb N$ and therefore is in $\cal A$; otherwise
    • all sets come are subsets of $\mathbb R\setminus B$, where $B\subseteq\mathbb N$, then by DeMorgan this is again true.
  3. Closed under any sort of unions, take $\{A_i\mid i\in I\}$ any collection of sets from $\cal A$, and by similar (but dual) arguments to before the union is in $\cal A$.
  4. Closure under complement is trivial.

It is quite obvious that $\cal A\neq P(\Bbb R)$ since the rationals (for example) are not in $\cal A$.

(Note that this is essentially equivalent to two copies of $\cal P(\Bbb N)$ though, but it's not quite that.)