- Research
- Open Access

# Usual limit shadowable homoclinic classes of generic diffeomorphisms

- Manseob Lee
^{1}Email author

**2012**:91

https://doi.org/10.1186/1687-1847-2012-91

© Lee; licensee Springer. 2012

**Received:**7 February 2012**Accepted:**27 June 2012**Published:**27 June 2012

## Abstract

We show that for *C*^{1}-generic *f*, a locally maximal homoclinic class is usual limit shadowable if and only if the homoclinic class is hyperbolic.

**Mathematics Subject Classification 2010:** 37C20; 37C40; 37C50; 34D05.

## Keywords

- usual limit shadowing
- hyperbolic
- homoclinic class
*C*^{1}-generic

## 1 Introduction

*M*be a closed

*C*

^{∞}

*n*-dimensional manifold, and let Diff(

*M*) be the space of diffeomorphisms of

*M*endowed with the

*C*

^{1}-topology. Denote by

*d*the distance on

*M*induced from a Riemannian metric || · || on the tangent bundle

*TM*. Let

*f*∈ Diff(

*M*). For

*δ*> 0, a sequence of points ${\left\{{x}_{i}\right\}}_{i=a}^{b}\left(-\infty \le a<b\le \infty \right)$ in

*M*is called a

*δ-pseudo orbit*of

*f*if

*d*(

*f*(

*x*

_{ i }),

*x*

_{i+1}) <

*δ*for all

*a*≤

*i*≤

*b*- 1. For given

*x*,

*y*∈

*M*, we write

*x*⇝

*y*if for any

*δ*> 0, there is a

*δ*-pseudo orbit ${\left\{{x}_{i}\right\}}_{i=a}^{b}\left(a<b\right)$ of

*f*such that

*x*

_{ a }=

*x*and

*x*

_{ b }=

*y*. Let Λ ⊂

*M*be a closed

*f*-invariant set. We say that

*f*has the

*shadowing property*on Λ if for every > 0 there is

*δ*> 0 such that for any

*δ*-pseudo orbit ${\left\{{x}_{i}\right\}}_{i=a}^{b}\subset \text{\Lambda}$ of

*f*(-

*∞*≤

*a*<

*b*≤

*∞*), there is a point

*y*∈

*M*such that

*d*(

*f*

^{ i }(

*y*),

*x*

_{ i }) <

*ϵ*for all

*a*≤

*i*≤

*b*- 1. The notion of pseudo orbits often appears in several methods of the modern theory of dynamical system [1]. Moreover, the shadowing property usually plays an important role in the investigation of stability theory and ergodic theory. Recently, Abdenur and Dìaz [2] given a problem which

*C*

^{1}-generically, a diffeomorphism has the shadowing property if and only if it is hyperbolic. Therefore, we study the some kinds of the shadowing property (usual limit shadowing property) and homoclinic classes. As to the research on the usual limit shadowing property, there exist [1, 3, 4]. We say that

*f*has the

*usual limit shadowing property*on Λ if for any sequence

*ξ*= {

*x*

_{ i }}

_{i∈ℕ}⊂ Λ such that

*d*(

*f*(

*x*

_{ i }),

*x*

_{i+1}) → 0 as

*i*→ ± ∞, there exists a point

*y*∈

*M*such that

*d*(

*f*

^{ i }(

*y*),

*x*

_{ i }) → 0 as

*i*→ ± ∞. In this case, the sequence

*ξ*is called a

*limit pseudo orbit*of

*f*. Note that the usual limit shadowing property is not equivalent to the shadowing property (see, [1]). We say that Λ is

*locally maximal*if there is a compact neighborhood

*U*of Λ such that

*hyperbolic*if the tangent bundle

*T*

_{Λ}

*M*has a

*Df*-invariant splitting

*E*

^{ s }⊕

*E*

^{ u }and there exist constants

*C*> 0 and 0 < λ < 1 such that

*x*∈ Λ and

*n*≥ 0. Moreover, we say that Λ admits a

*dominated splitting*if the tangent bundle

*T*

_{Λ}

*M*has a continuous

*Df*-invariant splitting

*E*⊕

*F*and there exist constants

*C*> 0 and 0 < λ < 1 such that

for all *x* ∈ Λ and *n* ≥ 0.

*p*∈

*P*(

*f*) be a hyperbolic saddle with period

*π*(

*p*) > 0. Then there are the local stable manifold ${W}_{\u03f5}^{s}\left(p\right)$ and the unstable manifold ${W}_{\u03f5}^{u}\left(p\right)$ of

*p*for some

*ϵ*=

*ϵ*(

*p*) > 0. It is easily seen that if

*d*(

*f*

^{ n }(

*x*),

*f*

^{ n }(

*p*)) ≤ ϵ, for all

*n*≥ 0 then $x\in {W}_{\u03f5}^{s}\left(p\right)$, and if

*d*(

*f*

^{ n }(

*x*),

*f*

^{ n }(

*p*)) ≤ ϵ for all

*n*≤ 0 then $x\in {W}_{\u03f5}^{u}\left(p\right)$. The stable manifold

*W*

^{ s }(

*p*) and the unstable manifold

*W*

^{ u }(

*p*) defined as followings. It is well known that if

*p*is a hyperbolic periodic point of

*f*with period

*k*then the sets

are *C*^{1}-injectively immersed submanifolds of *M*.

*x*∈

*W*

^{ s }(

*p*) ∩

*W*

^{ u }(

*p*) is called a

*homoclinic point*of

*f*associated to

*p*, and it is said to be a

*transversal homoclinic point*of

*f*if the above intersection is transversal at

*x*; i.e.,

*x*∈

*W*

^{ s }(

*p*) ⋔

*W*

^{ u }(

*p*). The closure of the transversal homoclinic points of

*f*associated to

*p*is called the

*transversal homoclinic class*of

*f*associated to

*p*, and it is denoted by

*H*

_{ f }(

*p*). Let

*q*be a hyperbolic periodic point of

*f*. We say that

*p*and

*q*are

*homoclinically related*, and write

*p*~

*q*if

It is clear that if *p* ~ *q* then index(*p*) = index(*q*); i.e., dim*W*^{
s
}(*p*) = dim*W*^{
s
}(*q*). By the Smale's transverse homoclinic point theorem, *H*_{
f
}(*p*) coincides with the closure of the set of hyperbolic periodic points *q* of *f* such that *p* ~ *q*. The homoclinic class is a transitive set, compact and *f*-invariant set. Homoclinic classes are the natural candidates to replace hyperbolic basic sets, for instance, if *f* is Axiom A, then Smale's spectral decomposition theorem says that the non-wandering set can be decomposed into finitely many basic sets, and each basic set is a homoclinic class.

We say that a subset $\mathcal{G}\subset \mathsf{\text{Diff}}\left(M\right)$ is *residual* if
contains the intersection of a countable family of open and dense subsets of Diff(*M*); in this case
is dense in Diff(*M*). A property "P" is said to be *(C*^{1}*)-generic* if "P" holds for all diffeomorphisms which belong to some residual subset of Diff(*M*). We use the terminology "for *C*^{1} generic *f*" to express "there is a residual subset $\mathcal{G}\subset \mathsf{\text{Diff}}\left(M\right)$ such that for any $f\in \mathcal{G}$ ...".

We prove that *C*^{1}-generically, Λ is a locally maximal homoclinic class containing hyperbolic periodic point *p*, and *f* has the usual limit shadowing property if and only if the homoclinic class is hyperbolic.

Very recently, Lee and Wen [5] showed that *C*^{1} generically, a locally maximal chain transitive sets is shadowable if and only if it is hyperbolic. From the above facts, we study relations between the usual limit shadowing property and hyperbolic. From now, we only consider the homoclinic class containing a hyperbolic periodic point *p* which is saddle because, if the point *p* is sinks or sources then they are one orbits. In this article, the following is the main result.

**Theorem 1.1** *For C*^{1} *generic f*, *a locally maximal homoclinic class H*_{
f
} (*p*) *is usual limit shadowable if and only if the homoclinic class H*_{
f
} (*p*) *is hyperbolic*.

## 2 Proof of Theorem1.1

Let *M* be as before, and let *f* ∈ Diff(*M*). Denote by *P* (*f*) the set of periodic points of *f*. Let *p* be a hyperbolic periodic point of *f*.

**Proposition 2.1**

*There is a residual set*${\mathcal{G}}^{\prime}\subset \mathsf{\text{Diff}}\left(M\right)$

*such that for any*$f\in {\mathcal{G}}^{\prime}$,

*if a locally maximal homoclinic class H*

_{ f }(

*p*)

*is usual limit shadowable then for any hyperbolic q*∈

*H*

_{ f }(

*p*) ∩

*P*(

*f*),

*where* index(*p*) = dim*W*^{
s
}(*p*).

To prove Proposition 2.1, we need the following lemmas.

**Lemma 2.2**

*Let H*

_{ f }(

*p*)

*be a homoclinic class of p*.

*Suppose that f has the usual limit shadowing property on H*

_{ f }(

*p*).

*Then for any q*⊂

*H*

_{ f }(

*p*) ∩

*P*

_{ h }(

*f*),

*where P*_{
h
}(*f*) *is the set of hyperbolic periodic points of f*.

**Proof**. Let *q* ∈ *H*_{
f
}(*p*) be a hyperbolic periodic point of *f*. Suppose that *f* has the usual limit shadowing property on *H*_{
f
}(*p*). To simplify, assume that *f*(*p*) = *p* and *f*(*q*) = *q*. Since *q* ∈ *H*_{
f
}(*p*) and ${H}_{f}\left(p\right)=\overline{\left\{q\in P\left(f\right):q~p\right\}}$, for any small *η* > 0, we can take *x* ∈ *H*_{
f
}(*p*) and *k* > 0 such that *x* ~ *p*, *d*(*f*^{-k}(*x*), *q*) < *η* and *d*(*f*^{
k
}(*x*), *p*) < *η*.

Then we can construct a limit pseudo orbit *ξ* as follows.

*f*

^{-k-i}(

*q*) =

*x*

_{-k-i},

*f*

^{k+i}(

*p*) =

*x*

_{k+i}for

*i*≥ 0 and

*f*

^{ i }(

*x*) =

*x*

_{ i },

*f*

^{ -i }(

*x*) =

*x*

_{ -i }for 0 ≤

*i*≤

*k -*1. Then

It is clearly, *ξ* ⊂ *H*_{
f
}(*p*).

Since *f* has the usual limit shadowing property on *H*_{
f
}(*p*), we can find a point *y* ∈ *M* such that *d*(*f*^{
i
}(*y*), *x*_{
i
}) → 0 as *i* → ± ∞.

Since *x*_{-k-i}= *q* and *x*_{k+i}= *p* for *i ≥* 0, *d*(*f*^{
i
}(*y*), *p*) < *ϵ* for all *i* ≥ *k*, and *d*(*f*^{
i
}(*y*), *q*) < *ϵ* for all *i* ≤ -*k*.

Other cases is similar.

To prove Proposition 2.1, we need the following fact which is well-known Kupka-Smale Theorem.

**Lemma 2.3** *There is a residual set* ${\mathcal{G}}_{1}\subset \mathsf{\text{Diff}}\left(M\right)$ *such that for any* $f\in {\mathcal{G}}_{1}$, *every periodic point of f is hyperbolic, and the stable manifolds and the unstable manifolds of periodic points are all transverse*.

**Proof of Proposition 2.1**. Let $f\in {\mathcal{G}}^{\prime}={\mathcal{G}}_{1}$, and let *q* be a hyperbolic periodic point in *H*_{
f
}(*p*). Suppose that *f* has the usual limit shadowing property on *H*_{
f
}(*p*). Then by Lemmas 2.2 and 2.3, ${W}^{s}\left(p\right)\u22d4{W}^{u}\left(q\right)\ne \varnothing $, and ${W}^{u}\left(p\right)\u22d4{W}^{s}\left(q\right)\ne \varnothing $. Thus index(*p*) = index(*q*). Therefore, *q* ~ *p*.

Denote by $\mathcal{F}\left(M\right)$ the set of *f* ∈ Diff(*M*) such that there is a *C*^{1} neighborhood $\mathcal{U}\left(f\right)$ of *f* such that for any $g\in \mathcal{U}\left(f\right)$ and every *p* ∈ *P* (*g*) is hyperbolic. In [6], Hayashi proved that $f\in \mathcal{F}\left(M\right)$ if and only if *f* satisfies both Axiom A and no-cycle condition. From the above facts, we show the following.

**Proposition 2.4** *There exists a residual set* ${G}^{\u2033}\subset \text{Diff}(M)$ *such that for any* $f\in {\mathcal{G}}^{\u2033}$, *if f has the usual limit shadowing property on a locally maximal homoclinic class H*_{
f
} (*p*) *then* $f\in \mathcal{F}\left(M\right)$.

The following lemma was proved by Lee [7], here we will give sketch of the proof.

**Lemma 2.5** *There exists a residual set* ${\mathcal{G}}_{2}\subset \mathsf{\text{Diff(}}M\mathsf{\text{)}}$ *such that for any* $f\in {\mathcal{G}}_{2}$, *we have the following property. For any C*^{1}-*neighborhood* $\mathcal{U}\left(f\right)$ *of f there is* $g\in \mathcal{U}\left(f\right)$ *such that g has two distinct hyperbolic periodic points p*_{
g
}, *q*_{
g
} ∈ *P*(*g*) *with different indices then f has two distinct hyperbolic periodic points p, q* ∈ *P* (*f*) *with different indices*.

**Proof**. Take a countable basis $\mathcal{B}={\left\{{U}_{n}\right\}}_{n\in \mathbb{N}}$ of

*M*. For each ${U}_{n}\in \mathcal{B}$, we defined by ${\mathcal{H}}_{n}$ the set of all diffeomorphisms

*f*such that

*f*has a

*C*

^{1}-neighborhood $\mathcal{U}\left(f\right)$ of

*f*with the following properties: for any $g\in \mathcal{U}\left(f\right)$, there are

*p*

_{ g },

*q*

_{ g }∈

*U*

_{ n }, distinct periodic hyperbolic points of

*g*with different indices. Then it is clear that ${\mathcal{H}}_{n}$ is open in Diff(

*M*) for each

*n*∈ ℕ. Let

*M*). Put

*M*). Then

is also a residual subset of Diff(*M*). Let $f\in {\mathcal{G}}_{2}$. Suppose that for any *C*^{1}-neighborhood $\mathcal{U}\left(f\right)$ of *f*, there exist $g\in \mathcal{U}\left(f\right)$ and ${U}_{n}\in \mathcal{B}$ such that *p*_{
g
}and *q*_{
g
}distinct hyperbolic periodic points of *g* with Different indices which are elements in *U*_{
n
}. Then $f\in \overline{{\mathcal{H}}_{n}}$. Since $f\in {\mathcal{G}}_{2}$ we know that $f\in {\mathcal{H}}_{n}$. Thus there are *p*, *q* distinct hyperbolic periodic points of *f* with different indices.

Now, we introduce the notion of the weak eigenvalue (see [8]). Let *p* be a periodic point of *f*. For 0 < *δ* < 1, we say *p* has a *δ-weak eigenvalue* if *D*_{p}f^{π(p)}has an eigenvalue λ such that (1 - *δ*)^{π(p)}< *|λ|* < (1 + *δ*)^{π(p)}. Note that if *p* is a hyperbolic periodic point of *f* then *p* does not have the *δ*-weak eigenvalue. Because if *p* has a *δ*-weak eigenvalue then by Franks' Lemma, there exist a diffeomorpshism *g C*^{1}-nearby *f* such that the periodic point *p*_{
g
}has an eigenvalue, say λ, and *|λ|* = 1. Thus this is a contradiction by the stability theorem.

**Remark 2.6** [8, Lemma 2.1(2)] *There exists a residual set* ${\mathcal{G}}_{3}\subset \mathsf{\text{Diff(}}M\mathsf{\text{)}}$ *such that if* $f\in {\mathcal{G}}_{3}$ *then for any δ* > 0, *if for every neighborhood* $\mathcal{U}\left(f\right)$*of f there exist* $g\in \mathcal{U}\left(f\right)$*which has a periodic point q ~ p*_{
g
} *with δ-weak eigenvalue*, *then f has a periodic point γ* ~ *p with* 2*δ-weak eigenvalue*.

**Lemma 2.7** [[9], Lemma 2.4] *Let* Λ *be locally maximal in U*, *and let* $\mathcal{U}\left(f\right)$ *be a C*^{1}-*neighborhood of f. If for any* $g\in \mathcal{U}\left(f\right)$, *p* ∈ Λ_{
g
}(*U*) ∩ *P*(*g*) *is not hyperbolic*, *then there is* ${g}_{1}\in \mathcal{U}\left(f\right)$ *possessing hyperbolic periodic points q*_{1} *and q*_{2} *in* Λ_{g 1}(*U*) *with different indices*, *where* ${\text{\Lambda}}_{{g}_{1}}\left(U\right)={\cap}_{n\in \mathbb{Z}}{g}_{1}^{n}\left(U\right)$.

**Lemma 2.8** *There exists a residual set* ${\mathcal{G}}_{4}\subset \mathsf{\text{Diff(}}M\mathsf{\text{)}}$ such that if $f\in {\mathcal{G}}_{4}$, *and H*_{
f
}(*p*) *is a locally maximal homoclinic class of p which satisfies the usual limit shadowing property, then there exists δ >* 0 *such that no point in H*_{
f
}(*p*) *has a δ-weak eigenvalue*.

**Proof**. Let ${\mathcal{G}}_{\mathsf{\text{4}}}\mathsf{\text{=}}{\mathcal{G}}_{\mathsf{\text{1}}}\cap {\mathcal{G}}_{\mathsf{\text{2}}}\cap {\mathcal{G}}_{\mathsf{\text{3}}}$. Suppose that *f* has the usual limit shadowing property on a locally maximal homoclinic class *H*_{
f
}(*p*). We will derive a contradiction. Let $f\in {\mathcal{G}}_{4}$, and $\mathcal{U}\left(f\right)$ be a *C*^{1}-neighborhood of *f*. Suppose that for *n* ∈ ℕ, there is *q*_{
n
}∈ *H*_{
f
}(*p*) ∩ *P*(*f*) such that *q*_{
n
}has a 1/*n*-weak eigenvalue. By Franks' Lemma and Lemma 2.7, there exists $g\in \mathcal{U}\left(f\right)$ such that *g* has two distinct periodic orbits *p*_{
g
}and ${q}_{g}\in {\text{\Lambda}}_{g}\left(U\right)={\cap}_{n\in \mathbb{Z}}{g}^{n}\left(U\right)$ with different indices. Since $f\in {\mathcal{G}}_{4}$, *f* has two different periodic orbit *p* and *q* in *H*_{
f
}(*p*) with different indices. Since *f* has the the usual limit shadowing property on *H*_{
f
}(*p*) and *f* is a Kupka-Smale Diffeomorphism, this is a contradiction.

**Proof of Proposition 2.4**. Let $f\in {\mathcal{G}}^{\u2033}={\mathcal{G}}_{4}$ and let $\mathcal{U}\left(f\right)$ be a *C*^{1}-neighborhood of *f*. Suppose that *f* has the usual limit shadowing property on a locally maximal homoclinic class *H*_{
f
}(*p*). The proof is by contradiction. Suppose that $f\notin \mathcal{F}\left(M\right)$. Then there exist $g\in \mathcal{U}\left(f\right)$ and *δ* > 0 such that non-hyperbolic periodic point *p*_{
g
}∈ *P*(*g*) and *p*_{
g
}has a *δ*/2-weak eigenvalue. By Remark 2.6, *f* has a *δ*-weak eigenvalue, which is a contradiction, by Lemma 2.8.

From the above Proposition 2.4, we get the following results.

**Proposition 2.9**

*Let*$f\in {\mathcal{G}}^{\u2033}$.

*If f has the usual limit shadowing property on a locally maximal homoclinic class H*

_{ f }(

*p*)

*then there exist constants m >*0

*and*0 <

*λ*< 1

*such that for any periodic point q*∈

*H*

_{ f }(

*p*),

*and*

*where π*(*q*) *denotes the period of q*.

*ϵ*> 0, let

*B*

_{ ϵ }(

*f*,

*x*) an

*ϵ*-tubular neighborhood of

*f*-orbit of

*x*, i.e.,

_{ f }be the set of points

*x*∈

*M*such that for any

*C*

^{1}-neighborhood $\mathcal{U}\left(f\right)$ of

*f*and

*ϵ*> 0, there are $g\in \mathcal{U}\left(f\right)$ and

*y*∈

*P*(

*g*) satisfying

*g*=

*f*on

*M*\

*B*

_{ ϵ }(

*f*,

*x*) and

*d*(

*f*

^{ i }(

*x*),

*g*

^{ i }(

*y*)) ≤

*ϵ*for 0 ≤

*i*≤

*π*(

*y*). We say that a point

*x*∈

*M*is

*well closable*for

*f*∈ Diff(

*M*), if for any

*ϵ*> 0 there are

*g*Diff(

*M*) with

*d*

_{1}(

*f*,

*g*) <

*ϵ*such that

*d*(

*f*

^{ n }(

*x*),

*g*

^{ n }(

*p*)) <

*ϵ*for any 0 ≤

*n*≤

*π*(

*p*), where

*π*(

*p*) is the period of

*p*, and

*d*

_{1}is the

*C*

^{1}-metric. Let ∑

_{ f }denote the set of well closable points of

*f*. In [10], Mañé showed that for any

*f*-invariant Borel probability measure

*μ*on

*M*,

*μ*(∑

_{ f }) = 1. Let $\mathcal{M}$ be the space of all Borel measures

*μ*on

*M*with the weak* topology. Then we know that for any ergodic measure $\mu \in \mathcal{M}$ of

*f*,

*μ*is supported on a periodic orbit ${\mathcal{O}}_{f}\left(p\right)=\left\{p,f\left(p\right),\dots ,{f}^{\pi \left(p\right)-1}\left(p\right)\right\}$ if and only if

where *δ*_{
x
}is the atomic measure respecting *x*. In this regards, we mention some involving results. In [11, 12], Crovisier explained Mañé's ergodic closing lemma which gives the measure theoretical viewpoint on the approximation by periodic orbit, that is, any ergodic invariant probability measure *μ* of *C*^{1}-generic Diffeomorphism is the limit of a sequence of invariant measures supported by periodic orbits ${\mathcal{O}}_{f}\left({p}_{n}\right)$. Moreover, the orbits ${\mathcal{O}}_{f}\left({p}_{n}\right)$ converge to the support of *μ* for the Hausdorff topology. From the above facts, we get the following results.

**Lemma 2.10** [11, Theorem 3.1] *Let H*_{
f
}(*p*) *be the homoclinic class of p*. *Then there is a measure* $\mu \in {\mathcal{M}}_{f}\left({H}_{f}\left(p\right)\right)$ *which has supp*(*μ*) = *H*_{
f
}(*p*), *where* ${\mathcal{M}}_{f}\left(\text{\Lambda}\right)$= {*μ: μ is an f-invariant Borel probability on M such that supp*(*μ*) ⊂ Λ}, *endowed with the weak** *topology*.

The following lemma is proved by Lee and Wen [5].

**Lemma 2.11** [5, Lemma 2.3] *There is a residual set* ${\mathcal{G}}_{5}\subset \mathsf{\text{Diff}}\left(M\right)$ *such that for any* $f\in {\mathcal{G}}_{5}$, *f satisfies that any ergodic invariant measure μ of f is the limit of sequence of ergodic invariant measure supported by periodic orbits* ${\mathcal{O}}_{f}\left({p}_{n}\right)$ *in the weak topology. Moreover, the orbit*${\mathcal{O}}_{f}\left({p}_{n}\right)$ *converges to the support of μ in the Hausdor topology*.

**End of the proof of Theorem 1.1**. Let $f\in {\mathcal{G}}_{6}={\mathcal{G}}^{\u2033}\cap {\mathcal{G}}_{5}$, and let

*q*be a hyperbolic periodic point of

*f*. Suppose that

*f*has the usual limit shadowing property on a locally maximal homoclinic class

*H*

_{ f }(

*p*). From Propositions 2.1 and 2.4, we know that

*H*

_{ f }(

*p*) admits a dominated splitting ${T}_{{H}_{f}\left(p\right)}M=E\oplus F$ with dim(

*E*) = index(

*p*). To prove Theorem 1.1, it is enough to show that

*Df*

^{ m }is contracting on

*E*and

*Df*

^{ m }is expanding on

*F*. To simplify, we denoted

*f*

^{ m }by

*f*. By contradiction, we may assume that

*Df*is not contracting on

*E*. Then we can find a point

*x*∈

*H*

_{ f }(

*p*) such that

*n*≥ 0. Define a probability measure

where *δ*_{
x
}is the atomic measure respecting *x*. Then there exists ${\mu}_{{n}_{k}}\to \mu \in \mathcal{M}$ as *k* → *∞*. We can see that *μ* is a *f*-invariant measure on *M* and supp(*μ*) ⊂ *H*_{
f
}(*p*).

*μ*) =

*H*

_{ f }(

*p*). Thus

*ν*with supp(

*ν*) =

*H*

_{ f }(

*p*) such that

*f*-invariant measures

*ν*

_{ n }such that the support of each

*ν*

_{ n }is a periodic orbit ${\mathcal{O}}_{f}\left({p}_{n}\right)$, {

*ν*

_{ n }} converges

*ν*and ${\mathcal{O}}_{f}\left({p}_{n}\right)$ converges to the support of

*ν*. Since

*H*

_{ f }(

*p*) is locally maximal, we may assume that every ${\mathcal{O}}_{f}\left({p}_{n}\right)$ is contained in

*H*

_{ f }(

*p*) for sufficiently large

*n*. By Proposition 2.4, we have

*n*. Since

*ν*

_{ n }→

*ν*in the weak* topology, we see that

*n*→

*∞*. Thus we know

This is a contradiction. Thus *Df*^{
m
}is contracting on *E*. Similarly we can see that *Df*^{
m
}is expanding on *F*.

*C*^{1}-generically, a locally maximal homoclinic class is locally maximal transitive set which is the following facts.

**Lemma 2.12** [11, Theorem 4.10] *For C*^{1}-*generic f, a locally maximal transitive set is a locally maximal homoclinic class H*_{
V
} (*p*), *where V is a compact neighborhood of H*_{
f
} (*p*), *and H*_{
V
}(*p*) *is a locally maximal in V*.

**Corollary 2.13** *For C*^{1}-*generic f*, *a locally maximal transitive set is hyperbolic*.

## Declarations

### Acknowledgements

The author wishes to express his deep appreciation to the referee for his careful reading of the manuscript. This work was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2011-0007649).

## Authors’ Affiliations

## References

- Pilyugin SY: Shadowing in Dynamical Systems. In
*Lecture Notes in Math*.*Volume 1706*. Springer Verlag, Berlin; 1999.Google Scholar - Abdenur F, Dìaz LJ: Pseudo-orbit shadowing in the
*C*^{1}-topology.*Discret Contin Dyn Syst*2007, 2007: 223–245.Google Scholar - Eirola T, Nevanlinna O, Pilyugin V: Limit shadowing property.
*Numer Funct Anal Optim*1997, 18: 75–92. 10.1080/01630569708816748MATHMathSciNetView ArticleGoogle Scholar - Pilyugin SY: Sets of dynamical systems with various limit shadowing proper-ties.
*J Dyn Diff Equ*2007, 19: 747–775. 10.1007/s10884-007-9073-2MATHMathSciNetView ArticleGoogle Scholar - Lee K, Wen X: Shadowable chain transitive sets of
*C*^{1}-generic Diffeomorphisms.*Bull Korean Math Soc*2012, 49: 263–270. 10.4134/BKMS.2012.49.2.263MATHMathSciNetView ArticleGoogle Scholar - Hayashi S: Diffeomorphisms in satisfy Axiom A.
*Ergodic Theory Dyn Syst*1992, 12: 233–253.MATHView ArticleGoogle Scholar - Lee M: Robustly transitive sets with generic Diffeomorphisms. , in press.Google Scholar
- Yang D, Gan S: Expansive homoclinic classes.
*Nonlinearity*2009, 22: 729–733. 10.1088/0951-7715/22/4/002MATHMathSciNetView ArticleGoogle Scholar - Sakai K, Sumi N, Yamamoto K: Diffeomorphisms satisfying the specification property.
*Proc Am Math Soc*2009, 138: 315–321.MathSciNetView ArticleGoogle Scholar - Mãné R: An ergodic closing lemma.
*Ann Math*1982, 116: 503–540. 10.2307/2007021MATHView ArticleGoogle Scholar - Abdebur F, Bonatti C, Crovisier S: Nonuniform hyperbolicity for
*C*^{1}-generic diffeomorpgisms.*Isr J Math*2011, 183: 1–60. 10.1007/s11856-011-0041-5View ArticleGoogle Scholar - Crovisier S: Periodic orbits and chain transitive sets of
*C*^{1}Diffeomorphisms.*Publ Math de L'iheś*2006, 104: 87–141. 10.1007/s10240-006-0002-4MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.