English

O-segments on topological measure spaces

Functional Analysis 2008-06-10 v1

Abstract

Let XX be a topological space and μ\mu be a nonatomic finite measure on a σ\sigma-algebra Σ\Sigma containing the Borel σ\sigma-algebra of XX. We say μ\mu is weakly outer regular, if for every AΣA \in \Sigma and ϵ>0\epsilon>0, there exists an open set OO such that μ(A\O)=0\mu(A \backslash O)=0 and μ(O\A)<ϵ\mu(O \backslash A)<\epsilon. The main result of this paper is to show that if f,gL1(X,Σ,μ)f,g \in L^1(X,\Sigma, \mu) with Xfdμ=Xgdμ=1\int_X f d\mu=\int_X g d\mu=1, then there exists an increasing family of open sets u(t)u(t), t[0,1]t\in [0,1], such that u(0)=u(0)=\emptyset, u(1)=Xu(1)=X, and u(t)fdμ=u(t)gdμ=t\int_{u(t)} f d\mu=\int_{u(t)} g d\mu=t for all t[0,1]t\in [0,1]. We also study a similar problem for a finite collection of integrable functions on general finite and σ\sigma-finite nonatomic measure spaces.

Keywords

Cite

@article{arxiv.0806.1247,
  title  = {O-segments on topological measure spaces},
  author = {Mohammad Javaheri},
  journal= {arXiv preprint arXiv:0806.1247},
  year   = {2008}
}

Comments

10 pages

R2 v1 2026-06-21T10:48:22.194Z