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

I am searching for the 'dual' algebraic structure of a Sigma Algebra. The notion of duallity is like on the case of the Boolean Algebra and Set Algera.

If X is a set, the complement and intersection over the power set of X is called a set algebra and the series of equations that define a Boolean algebra is the dual of this structure.

I found this link that seems related to my question: Is there such a thing as the sigma-completion of a Boolean algebra?

but still it does not solves my problem.

share|improve this question
    
I thought about that, and I thought I just could add an axiom scheme like that. But not every sigma-algebra is a set algebra (I think), so that answer does not feel right. –  zeh Feb 21 at 9:04
    
Are you asking for a type of duality for $\sigma$-complete Boolean algebras that is analogous to the duality between Boolean algebras and compact totally disconnected spaces? If so, then there are several ways to generalize Stone duality to $\sigma$-complete Boolean algebras. However, the situation is more complicated for $\sigma$-complete Boolean algebras than for Boolean algebras since $\sigma$-complete Boolean algebras do not necessarily have $\sigma$-complete ultrafilters. –  Joseph Van Name Feb 21 at 15:58

1 Answer 1

In the paper [1], Sikorski constructs a duality that generalizes Stone duality to certain $\sigma$-complete Boolean algebras and more generally certain $\kappa$-complete Boolean algebras. I shall outline the duality mentioned in Sikorski's paper here.

Suppose that $\lambda$ is a cardinal. Then a Boolean algebra $B$ is said to be $\lambda$-complete if the least upper bound $\bigvee R$ exists whenever $|R|<\lambda$. A filter $Z$ on a $\lambda$-complete Boolean algebra $B$ is said to be a $\lambda$-complete filter if whenever $|R|<\lambda$ and $R\subseteq Z$, then $\bigwedge R\in Z$ as well. We shall call a $\lambda$-complete Boolean algebra strongly $\lambda$-representable if every $\lambda$-complete filter can be extended to a $\lambda$-complete ultrafilter. A $P_{\lambda}$-space is a completely regular space such that the intersection of less than $\lambda$ many open sets is open, and a topological space $X$ is said to be $\lambda$-compact if every open cover of $X$ has a subcover of cardinality less than $\lambda$. Sikorski gave a correspondence between all $\lambda$-compact $P_{\lambda}$-spaces and all $\lambda$-representable $\lambda$-complete Boolean algebras. The proof of this result is exactly the same as the proof of the duality between Boolean algebras and compact totally disconnected spaces.

  1. Sikorski, Roman Remarks on some topological spaces of high power. Fund. Math. 37, (1950). 125–136.
share|improve this answer
    
Thanks a lot, that is a useful answer and reference. Btw, what was the example of not every sigma-algebra is a booblean algebra?. –  zeh Feb 22 at 7:00
    
mathoverflow.net/questions/158271/… gives $\sigma$-complete Boolean algebras which are not $\sigma$-algebras. –  Joseph Van Name Feb 22 at 13:58

Your Answer

 
discard

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.