An additive measure in o-minimal expansions of fields
暂无分享,去创建一个
Given an o-minimal structure M which expands a field, we define, for each positive integer d, a real valued additive measure on a Boolean algebra of subsets of Md and we prove that all the definable sets included in the finite part Fin(Md) of Md are measurable. When the domain of M is R we obtain the Lebesgue measure, but restricted to a proper subalgebra of that of the Lebesgue measurable sets (the Jordan measurable sets). Our measure has good logical properties, being invariant under elementary extensions and under expansions of the language. In the final part of the paper we consider the problem of defining an analogue of the Haar measure for definably compact groups.
[1] C. Steinhorn,et al. Definable Compactness and Definable Subgroups of o‐Minimal Groups , 1999 .
[2] A. Wilkie. TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). , 2000 .
[3] Anand Pillay,et al. Type-Definability, Compact Lie Groups, and O-Minimality , 2004, J. Math. Log..
[4] L. van den Dries,et al. Tame Topology and O-minimal Structures , 1998 .