Sets Uniquely Determined by Projections on Axes I. Continuous Case
Penn collection
Degree type
Discipline
Subject
uniqueness
additive sets
probability
Applied Mathematics
Statistics and Probability
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Contributor
Abstract
This paper studies sets S in Rn which are uniquely reconstructible from their hyperplane integral projections Pi(xi ;S) = ∬ . . . ∫ΧS ( {x1, . . . ,xi, . . . ,xn) dx1 . . . dxi - 1 dxi + 1 . . .dxn onto the n coordinate axes of Rn. It is shown that any additive set S = {x = (x1, . . .,xn) : ∑i = 1n fi(xi)≧0}, where each fi(xi) is a bounded measurable function, is uniquely reconstructible. In particular, balls are uniquely reconstructible. It is shown that in R2 all uniquely reconstructible sets are additive. For n≧3, Kemperman has shown that there are uniquely reconstructible sets in Rn of bounded measure that are not additive. It is also noted for n≧3 that neither of the properties of being additive and being a set of uniqueness is closed under monotone pointwise limits. A necessary condition for S to be a set of uniqueness is that S contain no bad configuration. A bad configuration is two finite sets of points T1 in Int(S) and T2 in Int(Sc), where Sc=Rn - S, such that T1 and T2 have the same number of points in any hyperplane xi = c for 1≦ i ≦n, and all c ∈ R2. We show that this necessary condition is sufficient for uniqueness for open sets S in R2. The results show that prior information about a density f in R2 to be reconstructed in tomography (namely if f is known to have only values 0 and 1) can sometimes reduce the problem of reconstructing f to knowing only two projections of f. Thus even meager prior information can in principle be of enormous value in tomography.