1: \begin{abstract}

2: Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are

3: different from the group $\Homeo(X)$ of all

4: self-homeomorphisms of a topological space $X$. This fact restricts its use in applications.

5: In order to obtain better lower bounds for the natural pseudo-distance $d_G$ associated with a group $G\subset \Homeo(X)$,

6: we need to adapt persistent homology and consider $G$-invariant

7: persistent homology.

8: Roughly speaking, the main idea consists in defining persistent homology by means of a set of chains that is invariant

9: under the action of $G$. In this paper we formalize this idea, and prove the stability of the persistent Betti number functions in $G$-invariant

10: persistent homology with respect to the natural pseudo-distance $d_G$. We also show how $G$-invariant

11: persistent homology could be used in applications concerning shape comparison, when the invariance group is a proper subgroup of the group of all self-homeomorphisms of a topological space.

12: In this paper we will assume that the space $X$ is triangulable, in order to guarantee that the persistent Betti number functions are finite without using any tameness assumption. 

13: \end{abstract}

14: