Let G be an abelian group acting on a set X, and suppose that no element of G has any finite orbit of size greater than one. We show that every partial order on X invariant under G extends to a linear order on X also invariant under G. We then discuss extensions to linear preorders when the orbit condition is not met, and show that for any abelian group acting on a set X, there is a linear preorder ≤ on the powerset 𝓟X invariant under G and such that if A is a proper subset of B, then A < B...
Let G be a group acting on Ω and ℱ a G-invariant algebra of subsets of Ω. A full conditional probability on ℱ is a function P: ℱ × (ℱ∖{∅}) → [0,1] satisfying the obvious axioms (with only finite additivity). It is weakly G-invariant provided that P(gA|gB) = P(A|B) for all g ∈ G and A,B ∈ ℱ, and strongly G-invariant provided that P(gA|B) = P(A|B) whenever g ∈ G and A ∪ gA ⊆ B. Armstrong (1989) claimed that weak and strong invariance are equivalent, but we shall show that this is false and that weak...
Let Ω be a countable infinite product of copies of the same probability space Ω₁, and let Ξₙ be the sequence of the coordinate projection functions from Ω to Ω₁. Let Ψ be a possibly nonmeasurable function from Ω₁ to ℝ, and let Xₙ(ω) = Ψ(Ξₙ(ω)). Then we can think of Xₙ as a sequence of independent but possibly nonmeasurable random variables on Ω. Let Sₙ = X₁ + ⋯ + Xₙ. By the ordinary Strong Law of Large Numbers, we almost surely have , where and E* are the lower and upper expectations. We ask...
Download Results (CSV)