Decay of correlation implies chaos in the sense of Devaney

In this paper, a mixing transformation f:M→M on a manifold M is proved to be sensitively dependent on the initial value of the iteration f and topologically transitive. Furthermore, a chaotic transformation f in the sense of Devaney with some assumption is proved to be an expanding map, which implies several statistical properties in this transformation map.