Realizing automorphisms of category algebras of product spaces

Abstract

Let X be an arbitrary product of separable complete metric spaces. It is proved that every automorphism of the “category algebra” (the Baire sets modulo first category sets) of X can be obtained from some one-to-one map T of X onto itself such that both T and T⁻¹ preserve Baire sets and first category subsets of X.