Referência para o teorema de linearização local

Question

Eu precisaria fazer referência ao seguinte fato aparentemente muito conhecido:

Se f:$M\to M$ é um difeomorfismo de ordem finita, então em qualquer ponto no conjunto de pontos fixos de f a variedade M tem coordenadas com respeito às quais f é linear.

Já vi isso ser chamado de "teorema da linearização local" em algumas notas de aula, mas sem referência a um livro didático.

Alguém pode sugerir uma referência padrão para isso?

Answer 1

S. Bochner, Compact groups of differentiable transformations , Ann. da matemática. (2) 46 (1945), 372–381. MR MR0013161 (7.114g)