It is proved by an order theoretical and purely algebraic method that any order bounded orthosymmetric bilinear operator $b:E\times E\to F$ where $E$ and $F$ are Archimedean vector lattices is symmetric. This leads to a new and short proof of the commutativity of Archimedean almost $f$-algebras.

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We give some criteria for order boundedness of $E\left(\mu \right)$ in $ba\left(\Re \right)$, in the general case as well as for atomic $\mu$. Order boundedness implies weak compactness of $E\left(\mu \right)$. We show that the converse implication holds under some assumptions on $𝔐$, $\Re$ and $\mu$ or $\mu$ alone, but not in general.

The space of all order continuous linear functionals on an Orlicz space $L^{\varphi }$ defined by an arbitrary (not necessarily convex) Orlicz function $\varphi$ is described.

Let L-phi be an Orlicz space defined by a Young function phi over a sigma-finite measure space, and let phi* denote the complementary function in the sense of Young. We give a characterization of the Mackey topology tau(L*,L-phi*) in terms of some family of norms defined by some regular Young functions. Next we describe order continuous (=absolutely continuous) Riesz seminorms on L-phi, and obtain a criterion for relative sigma(L-phi,L-phi*)-compactness in L-phi. As an application we get a representation...

Let $K$ be a compact space and let $C\left(K\right)$ be the Banach lattice of real-valued continuous functions on $K$. We establish eleven conditions equivalent to the strong compactness of the order interval $[0,x]$ in $C\left(K\right)$, including the following ones: (i) $\{x>0\}$ consists of isolated points of $K$; (ii) $[0,x]$ is pointwise compact; (iii) $[0,x]$ is weakly compact; (iv) the strong topology and that of pointwise convergence coincide on $[0,x]$; (v) the strong and weak topologies coincide on $[0,x]$. Moreover, the weak topology and that of pointwise convergence...

Let E be an ideal of L⁰ over a σ-finite measure space (Ω,Σ,μ). For a real Banach space $(X,|\left|·\right|{|}_X)$ let E(X) be a subspace of the space L⁰(X) of μ-equivalence classes of strongly Σ-measurable functions f: Ω → X and consisting of all those f ∈ L⁰(X) for which the scalar function ${\left|\right|f\left(·\right)\left|\right|}_X$ belongs to E. Let E(X)˜ stand for the order dual of E(X). For u ∈ E⁺ let $D_u(={f\in E\left(X\right):\left|\right|f\left(·\right)\left|\right|}_X\le u)$ stand for the order interval in E(X). For a real Banach space $(Y,|\left|·\right|{|}_Y)$ a linear operator T: E(X) → Y is said to be order-bounded whenever for each u ∈ E⁺ the set...

For a continuous map T of a compact metrizable space X with finite topological entropy, the order of accumulation of entropy of T is a countable ordinal that arises in the context of entropy structures and symbolic extensions. We show that every countable ordinal is realized as the order of accumulation of some dynamical system. Our proof relies on functional analysis of metrizable Choquet simplices and a realization theorem of Downarowicz and Serafin. Further, if M is a metrizable Choquet simplex,...

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We show that $E\left(\mu \right)$ is order bounded if and only if it is contained in a principal ideal in $ba\left(\Re \right)$ if and only if it is weakly compact and $extrE\left(\mu \right)$ is contained in a principal ideal in $ba\left(\Re \right)$. We also establish some criteria for the coincidence of the ideals, in $ba\left(\Re \right)$, generated by $E\left(\mu \right)$ and $extrE\left(\mu \right)$.

In this paper we give a representation theorem for the orthogonally additive functionals on the space $BV$ in terms of a non-linear integral of the Henstock-Kurzweil-Stieltjes type.