On the projection of irregular linearly measurable plane sets of points
Published online by Cambridge University Press: 24 October 2008
Extract
1. Elsewhere I have expressed the opinion that a linearly measurable plane set of points, of upper density ½, has zero projection (i.e. projection of measure zero) on almost all directions. Though unable to prove this I have there managed to obtain a partial result. I would not attempt to guess to what extent this is true of a general irregular linearly measurable plane set; these sets are not amenable to the methods used in the case of those of upper density ½, the latter having a remarkable and simple structure. It is a quite trivial matter to construct an irregular set, of upper density 1, with positive projection on some one direction; and from it we can deduce another such set with positive projections on a denumerable every-where-dense set of directions. But, working on a suggestion due to Mr Besicovitch, I have obtained an irregular linearly measurable plane set, of upper density 1, with positive projection on a set P of directions, where the members of P in any sector have cardinal t, though P has measure zero. It may be that the set of points has positive projection on directions other than those of P, but there are no obvious indications of any such directions.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 30 , Issue 1 , January 1934 , pp. 47 - 54
- Copyright
- Copyright © Cambridge Philosophical Society 1934
References
* For the general theory and properties of linearly measurable plane sets and for definitions of the various terms used here, see Besicovitch, A. S.: “On the fundamental geometrical properties of linearly measurable plane sets of points”, Math. Annalen, 98 (1928), 422–464.CrossRefGoogle Scholar
* We note in passing that f p(θ) is a continuous function of θ and a decreasing function of p, and that therefore is an upper semi-continuous
function of θ. Hence the set of directions where f(θ) = 0 is a product of open sets [a Young set] and is certainly measurable. See footnote on p. 51.
* This result was assumed in the footnote on p. 48.
* V is a dyadic discontinuum. See Hausdorff, , Mengenlehre (1927), § 26, 2Google Scholar; see also Young, W. H., Berichte d. k. Gesell. Leipzig, 55 (1903), 287.Google Scholar
† See Young, loc. cit.
‡ Besicovitch, loc. cit. Chapter II, Theorem I.
§ See Besicovitch, loc. cit. 426.
- 1
- Cited by