On natural density, orthomodular lattices, measure algebras and non-distributive $L^p$ spaces

Abstract

In this note we show, roughly speaking, that if $\mathcal{B}$ is a Boolean algebra included in the natural way in the collection $\mathcal{D}/_\sim$ of all equivalence classes of natural density sets of the natural numbers, modulo null density, then $\mathcal{B}$ extends to a $σ$-algebra $Σ\subset \mathcal{D}/_\sim$ and the natural density is $σ$-additive on $Σ$. We prove the main tool employed in the argument in a more general setting, involving a kind of quantum state function, more precisely, a group-valued submeasure on an orthomodular lattice. At the end we discuss the construction of `non-distributive $L^p$ spaces' by means of submeasures on lattices.