Is there a set that is both a sigma algebra, $\Sigma$, and a topology, $\tau$, but not a powerset, $\mathcal{P}$?
Is there a set that is both a sigma algebra and a topology but not a powerset?
-
2What do *you* think? – 2012-09-24
-
0I think it is if and only if. i.e., powerset $\iff$ the set is both a sigma algebra and a topology. So the answer to my question is no. – 2012-09-24
4 Answers
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:
- Clearly $\mathbb R$ and $\varnothing$ are in this collection.
- 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.
- 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$.
- 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.)
-
1Isn't this simply $\mathcal A=\mathcal P(\mathbb N)\subset \mathcal P(\mathbb R)$? And how is $\mathbb R\in\mathcal A$? Or maybe I don't understand your definition right. But for me $\exists B\subset \mathbb N\colon A\cup B=\mathbb N\land A\cap B=\emptyset \lor A\subseteq \mathbb N$ is simply equivalent to $A\subseteq \mathbb N$. – 2012-09-24
-
0@Hagen $\varnothing$? – 2012-09-24
-
0Is this supposed to mean that the choice $B=\emptyset$ shows that $A=\mathbb R$ is an element of $\mathcal A$? $\emptyset\subseteq \mathbb N$ - check. $\mathbb R\cup \emptyset=\mathbb N$ - fail. – 2012-09-24
-
0@Hagen: I found the definition of $\mathcal{A}$ a bit hard to parse sensibly, but Asaf appears to mean the set of all $A\subseteq\Bbb R$ such that either $A\subseteq\Bbb N$, or $A\supseteq\Bbb R\setminus\Bbb N$; equivalently, $A\subseteq\Bbb N$ or $\Bbb R\setminus A\subseteq\Bbb N$. – 2012-09-24
-
0@BrianM.Scott: Yes after the last edit it is clearer: subsets of $\mathbb N$ and their complements. – 2012-09-24
-
0@Asaf Why so complicated? What am I missing? – 2012-09-24
-
0@Matt, Brian, Hagen: I hope this redefinition is clearer. – 2012-09-25
-
0Maybe I'm being stupid, but isn't $\{1,e\}$ a union of two sets of $\mathcal A$ but not in $\mathcal A$ so this is not a topology? – 2012-09-25
-
0Asaf, your family is not closed under union (and hence not a topology), unless you have a typo of some kind. – 2012-09-25
-
0@Ross: Yeah, I should know better than to try and simplify things when people complain that something is complicatedly written. – 2012-09-25
-
0@JDH: Yes, there was a typo, I corrected it. – 2012-09-25
-
1@Clive: There was a typo, it is now corrected. – 2012-09-25
-
0Asaf, I still don't get your example. Doesn't $B=\emptyset$ witness that every $A\subset\mathbb{R}$ is in your $\cal{A}$, since $A\cap B=\emptyset$ in this case? – 2012-09-25
-
0@JDH: No, the definition says either $A$ is a subset of $\mathbb N$ or its complement is. I just had some great difficulties expressing this nicely, for some reason... – 2012-09-25
-
0Oh, that isn't how I read the definition. The dot after the quantifier usually means that the scope is as large as possible, which I take to mean that it covers the whole three clauses, which would then seem to be a disjunct of three clauses. – 2012-09-25
-
0@JDH: Let me rewrite it. Again... *sigh* :-P – 2012-09-25
-
0Thanks, now it seems fine. This example corresponds to the partition having $\{n\}$ for $n\in\mathbb{N}$, pluse one more class $[\pi]=\mathbb{R}-\mathbb{N}$, and thus is isomorphic to the power set lattice on a countable set. – 2012-09-25
-
0@JDH: Yes, I did mention this in my answer. – 2012-09-25
-
0@AsafKaragila thank you for your reply! – 2012-09-26
-
0The “…with large enough infinite sets…” seems irrelevant here: this example would work just as well replacing $\mathbb{R}$ with $\{1,2,3\}$ and $\mathbb{N}$ with $\{1,2\}$ — generally, any set together with a non-singleton subset. – 2013-05-09
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.