Published online by Cambridge University Press: 24 October 2008
Let H(μ, θ) be the hyperplane in Rn (n ≥ 2) that is perpendicular to the unit vector 6 and perpendicular distance μ from the origin; that is, H(μ, θ) = (x ∈ Rn: x. θ = μ). (Note that H(μ, θ) and H(−μ, −θ) are the same hyperplanes.) Let X be a proper compact convex subset of Rm. If f(x) ∈ L1(X) we will denote by F(μ, θ) the projection of f perpendicular to θ; that is, the integral of f(x) over H(μ, θ) with respect to (n − 1)-dimensional Lebesgue measure. By Fubini's Theorem, if f(x) ∈ L1(X), F(μ, θ) exists for almost all μ for every θ. Our aim in this paper is, given a finite collection of unit vectors θ1, …, θN, to characterize the F(μ, θi) that are the projections of some function f(x) with support in X for 1 ≤ i ≤ N.