Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose we have a finite $\sigma$ -field S, and that sets A and B $\in$ S. Since S is closed under union & complementation [by def] $(A' \cup B')' = (A \cap B)'$ and $(A \cap B)$ lie in S as well. This means that the intersection of any 2 sets in S lie in S as well.

Doesn't this make S a topology as well? So does it follow that every finite $\sigma$ -field is a topology?

share|improve this question

2 Answers 2

up vote 4 down vote accepted

Yes, it is also a topology on its union, the largest member of $S$. Since $S$ is finite, the arbitrary union rquirement amounts to finite union, which you have.

In fact,$S$ is a Boolean algebra, and since it is finite, it is isomorphic to a powerset algebra---the power set of the atoms of $S$ (the minimal non-empty elements of $S$). Every set in $S$ is a union of a finite number of these atoms.

If these atoms are singletons, then $S$ will be the discrete topology on the underlying set. If not, however, then $S$ will clearly not separate those points, and so will not be Hausdorff and so on.

share|improve this answer
So in fact, it's a finite topological sum of indiscrete topologies. –  Nate Eldredge Jun 2 '10 at 14:36

It is worth remarking that the analogous characterization of σ-algebras also holds in the case of countable underlying sets:

Any σ-algebra $\mathcal{A}$ on a countable set $S$ is atomic.

That is, it is generated by a partition (the classes being the "atoms"). The corresponding equivalence relation is

$$s\mathcal{R}t\ \Leftrightarrow\ (\ \forall A\in\mathcal{A}\ (s\in A \implies t\in A)\ ).$$

(In other words, $s$ and $t$ are equivalent precisely if they are not separated by sets $A \in \mathcal{A}$.) As a consequence, any element of $\mathcal{A}$ writes uniquely as union of atoms, making $\mathcal{A}$ isomorphic to the power set $\mathcal{P}(S/\mathcal{R})$ (in particular, of course, $\mathcal{A}$ is also a topology on $S$).

It may not be obvious that the class (or atom) $[s]$ of an element $s\in S$ in the equivalence relation $\mathcal{R}$ actually belongs to $\mathcal{A}$, for it writes as an a priori non countable intersection: $$[s]:=\bigcap_{s\in A\in \mathcal{A}} A$$ But one can also write it as a countable intersection $$[s]:=\bigcap_{t\in S} A_{s,t} ,$$ where { $A_{s,t}$ }$_{(s,t)\in S\times S}$ is a collection of elements of $\mathcal{A}$ chosen so that for any $(s,t)$ one has

$A_{s,t}= S\ $ if $\ s\mathcal{R}t,$

$s\in A_{s,t}\ $ and $\ t\notin A_{s,t}$ otherwise.

The above characterization has some foundational relevance in Probability: dealing with a discrete random variable $X:\Omega\to E$ (or a finite family of them) if we please we may assume with no loss of generality that the base probability space $\Omega$ is $\mathbb{N}$.

share|improve this answer
Note that to define the family of sets A<sub>s,t</sub> I needed a countable choice; I suppose it's unavoidable in order to prove the statement. –  Pietro Majer Jun 2 '10 at 20:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.