duality of measure and category in infinite-dimensional separable hilbert space二元性无限维度的测量和类别可分离希尔伯特空间.pdfVIP

IJMMS 30:6 (2002) 353–363 PII. S0161171202012371 © Hindawi Publishing Corp. DUALITY OF MEASURE AND CATEGORY IN INFINITE-DIMENSIONAL SEPARABLE HILBERT SPACE 2 GOGI PANTSULAIA Received 12 March 2001 and in revised form 16 August 2001 We prove that an analogy of the Oxtoby duality principle is not valid for the concrete nontrivial σ -finite Borel invariant measure and the Baire category in the classical Hilbert space 2 . 2000 Mathematics Subject Classification: 28A35, 28C15, 28C20, 54E52. As usual, we equip an infinite-dimensional separable Hilbert space 2 by such nonzero σ -finite Borel measures which are invariant with respect to everywhere dense vector subspaces and study duality between such measures and Baire category. Section 1 contains constructions of nontrivial σ -finite Borel measures, which are de- fined in the infinite-dimensional separable Hilbert space 2 and are invariant with re- spect to some everywhere dense vector subspaces. The duality between invariant Borel measures and Baire category in the classical Hilbert space 2 is studied in Section 2. An idea applied in the process of proving of the main assertions allows us to obtain more general results for sufficiently large class of infinite-dimensional topological vector spaces. N 1. Invariant Borel measures in classical Hilbert space 2. Let R be the space of all sequences of real numbers equipped with the Tychonoff topology. Denote by N N B( R ) the σ -algebra of all Borel subsets in R . Let (a ) and (b ) be sequences of real numbers such that i i∈N i i∈N