Related papers: Measure Algebras
It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure.
For a restricted Lie algebra $L$, the conditions under which its restricted enveloping algebra $u(L)$ is semiperfect are investigated. Moreover, it is proved that $u(L)$ is left (or right) perfect if and only if $L$ is finite-dimensional.
For a compact group $G$ we define the Beurling-Fourier algebra $A_\omega(G)$ on $G$ for weights $\omega$ defined on the dual $\what G$ and taking positive values. The classical Fourier algebra corresponds to the case $\omega$ is the…
Given a Lie algebra $L$ graded by a group $G$, if $L$ is does not contain orthogonal graded ideals and $G$ is generated by the support of $L$, then $G$ is an abelian group.
We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…
A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of…
A measurable relation algebra is a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the "size" of each such atom can be defined in an intuitive and reasonable way (within the framework…
In this paper studied isometries of $F$-spaces of integrable functions with logarithm. In particular, using passports of Boolean algebra, a necessary and sufficient condition of isometry $F$-spaces of integrable functions of logarithm with…
The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra…
Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are…
It is well known that every bivariate copula induces a positive measure on the Borel $\sigma$-algebra on $[0,1]^2$, but there exist bivariate quasi-copulas that do not induce a signed measure on the same $\sigma$-algebra. In this paper we…
We show that, if S is a finite semiring, then the free profinite S-semimodule on a Boolean Stone space X is isomorphic to the algebra of all S-valued measures on X, which are finitely additive maps from the Boolean algebra of clopens of X…
Let $S$ be the set of subsequences $(x_{n_k})$ of a given real sequence $(x_n)$ which preserve the set of statistical cluster points. It has been recently shown that $S$ is a set of full (Lebesgue) measure. Here, on the other hand, we prove…
The concentration of measure prenomenon roughly states that, if a set $A$ in a product $\Omega^N$ of probability spaces has measure at least one half, ``most'' of the points of $\Omega^N$ are ``close'' to $A$. We proceed to a systematic…
The algebraic geometry of a universal algebra $\mathbf{A}$ is defined as the collection of solution sets of term equations. Two algebras $\mathbf{A}_1$ and $\mathbf{A}_2$ are called algebraically equivalent if they have the same algebraic…
An algebra $A$ is said to be strongly semisimple if every principal congruence of $A$ is an intersection of maximal congruences. We give a geometrical characterisation of strongly semisimple MV-algebras in terms of Bouligand-Severi…
We study sufficient conditions under which a nowhere scattered C*-algebra $A$ has a nowhere scattered multiplier algebra $\mathcal{M}(A)$, that is, we study when $\mathcal{M}(A)$ has no nonzero, elementary ideal-quotients. In particular, we…
We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.
Grade-$d$ measures on a $\sigma$-algebra $\mathcal{A}\subseteq 2^X$ over a set $X$ are generalizations of measures satisfying one of a hierarchy of weak additivity-type conditions initially introduced as interference operators in quantum…
In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge…