Properties of reproducing kernel Hilbert spaces of a group action

In this paper, we investigate properties of a reproducing kernel Hilbert space of a group action. In particular, we introduce an equivalence relation on a compact Hausdorff space $X$, and consequently establish three equivalent definitions for when two elements are related. We also see how the equivalence classes of $X$ correspond to subgroups of the group acting transitively on $X$, which we aptly refer to as relation stabilizers.