On generators of shy sets on Polish topological vector spaces (Q935608)

A subset in a Polish topological vector space \(V\) is called shy, if it is small in the sense that there exists a Borel superset and a Borel measure which is transverse to the Borel set. Christensen proved that for \(\sigma\)-finite Borel measures the notions of `shy set' and `null-set' don't coincide. The author introduces the notion of a generator, i.e. a Borel measure \(\mu\) on \(V\), such that any null-set in the completion with respect to \(\mu\) is a shy set. He proves that the class of generators in non-empty and that in the class of generators, there does not exist a generator with the property of uniqueness. Every generator defined on an infinite-dimensional Polish topological vector space can not be \(\sigma\)-finite. Quasifinite translation-(quasi)invariant Borel measures are generators. For quasi-generators, i.e., Borel measures whose every pair of shifts is equivalent or orthogonal, can be constructed a new quasi-finite generator, such that the shy sets of the quasi-generator coincide with the null-sets of the new generator. Special attention is given to the examples of Gichman-Skorochod, which were considered in earlier papers, to Gaussian generators, to A. B. Kharazishvili's quasi-generator, semifinite quasi-finite Baker generators on \(\mathbb R^N\), and \(n\)-dimensional Preiss-Tiser generators on Banach spaces. For the latter some interesting geometrical properties are established.