Displaying similar documents to “On measure zero sets in topological vector spaces.”

The Relevance of Measure and Probability, and Definition of Completeness of Probability

Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura (2006)

Formalized Mathematics


In this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we define completeness of probability, and its completion method, and also show that they coincide with those of measure.

The uniqueness of Haar measure and set theory

Piotr Zakrzewski (1997)

Colloquium Mathematicae


Let G be a group of homeomorphisms of a nondiscrete, locally compact, σ-compact topological space X and suppose that a Haar measure on X exists: a regular Borel measure μ, positive on nonempty open sets, finite on compact sets and invariant under the homeomorphisms from G. Under some mild assumptions on G and X we prove that the measure completion of μ is the unique, up to a constant factor, nonzero, σ-finite, G-invariant measure defined on its domain iff μ is ergodic and the G-orbits...

Radon measures

David H. Fremlin (2004)

Acta Universitatis Carolinae. Mathematica et Physica