nLab hyperstonean space

Contents

Contents

Definition

A hyperstonean space (French: espace hyperstonien) is a Stonean space such that the union of supports of all normal measures is everywhere dense.

A normal measure is a Radon measure that vanishes on nowhere dense subsets.

Properties

The support of a normal measure is a clopen subset.

In a hyperstonean space, all meager subsets are nowhere dense and the support of any normal measure is a clopen subset.

Every Stonean space decomposes as a coproduct of three clopen subsets E 1E_1, E 2E_2, and E 3E_3 with the following properties:

By Gelfand-type duality for commutative von Neumann algebras?, the category of hyperstonean spaces and open continuous maps is equivalent to the opposite category of localizable Boolean algebras?, the category of measurable locales, and the opposite category of commutative von Neumann algebras.

Hyperstonean locales

Hyperstonean locales can be defined as Stonean locales that admit sufficiently many normal valuations?.

Assuming the axiom of choice, Stonean locales are spatial?, so the category of hyperstonean locales is equivalent to the category of hyperstonean spaces.

References

Hyperstonean spaces were introduced and studied by Jacques Dixmier:

  • Jacques Dixmier, Sur certains espaces considérés par M. H. Stone. Summa Brasiliensis Mathematicae 2, (1951), 151–182. PDF

An expository account is given by Masamichi Takesaki in

Last revised on July 3, 2021 at 15:35:58. See the history of this page for a list of all contributions to it.