O Teorema de Separação de Mañé

Opa! Hoje num post curtinho vou expor o teorema de separação de Mañé (sim, eu sei do Hayashi, mas o post é por esporte).

Teorema. Seja um difeomorfismo  em . é Axioma A se, e só se,  para

Onde, como sempre denota os pontos períodicos com índice e é o conjunto de difeomorfismos que não admitem pontos não-hiperbólicos numa vizinhança.