Support theorems for Funk-type isodistant Radon transforms on constant curvature spaces

A connected maximal submanifold in a constant curvature space is called isodistant if its points are in equal distances from a totally geodesic of codimension 1. The isodistant Radon transform of a suitable real function f on a constant curvature space is the function on the set of the isodistants that gives the integrals of f over the isodistants using the canonical measure. Inverting the isodistant Radon transform is severely overdetermined because the totally geodesic Radon transform, which is a restriction of the isodistant Radon transform, is invertible on some large classes of functions. This raises the admissibility problem that is about finding reasonably small subsets of the set of the isodistants such that the associated restrictions of the isodistant Radon transform are injective on a reasonably large set of functions. One of the main results of this paper is that the Funk-type sets of isodistants are admissible, because the associated restrictions of the isodistant Radon transform, we call them Funk-type isodistant Radon transforms, satisfy appropriate support theorems on a large set of functions. This unifies and sharpens several earlier results for the sphere, and brings to light new results for every constant curvature space.

Canonical measure assignments

We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal κ < ℵ ε0 in a recursive definition of a canonical measure assignment. We give algorithmic applications of the existence of such a canonical measure assignment (computation of cofinalities, computation of the Kleinberg sequences associated to the normal ultrafilters on all projective ordinals).