Formal and finite order equivalences (Q658339)

The author shows that two families of germs of real-analytic subsets in \(\mathbb C^n\) are formally equivalent if and only if they are equivalent of any finite order. He applies the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. The author provides an example of two sets of germs of smooth curves that are equivalent of any finite order but not formally equivalent.