Ivanov’s Theorem for Admissible Pairs Applicable to Impulsive Differential Equations and Inclusions on Tori

: The main aim of this article is two-fold: (i) to generalize into a multivalued setting the classical Ivanov theorem about the lower estimate of a topological entropy in terms of the asymptotic Nielsen numbers, and (ii) to apply the related inequality for admissible pairs to impulsive differential equations and inclusions on tori. In case of a positive topological entropy, the obtained result can be regarded as a nontrivial contribution to deterministic chaos for multivalued impulsive dynamics. , q ; m , ε ) ≤ s ( d (cid:48) ) ( p , q ; m , δ ) , h ( d ) se ( p , q ; ε ) ≤ h ( d (cid:48) ) se ( p , q ; δ ) , and ﬁnally h ( d ) ( p , q ) ≤ h ( d (cid:48) ) ( p , q ) . The symmetry gives the opposite inequality.


Introduction
In 1982, Ivanov formulated in [1] his remarkable inequality in the form of the following (slightly more precise) theorem. The notion of a topological entropy can be understood in the sense of both [2,3]. For the definition and properties of the Nielsen number, see e.g., [4], where some single-valued generalizations of Theorem 1 for more abstract manifolds can also be found in ( [4] Chapter VII.2).
For a positive topological entropy, Theorem 1 was effectively applied to discrete chaotic dynamics in [5][6][7][8] and to chaotic impulsive differential equations on tori in [9]. Let us note that the results dealing with the topological entropy for dynamic processes and differential equations from another perspective are rather rare (see e.g., [10][11][12][13][14]), and those for multivalued dynamics are even more delicate (see e.g., [15]).
On the other hand, although there exist several various definitions of a topological entropy for multivalued maps (see e.g., [16][17][18][19][20][21][22]), as far as we know, none have been applied to differential equations without uniqueness or, more generally to differential inclusions. Moreover, no analogy of Theorem 1 exists for multivalued maps.

Preliminaries (Including the Definition of a Topological Entropy for Admissible Pairs)
In the entire text, all topological spaces will be metric. A space X is an absolute neighborhood retract (written X ∈ ANR) if, for every space Y and every closed subset A ⊂ Y, each continuous map f : A → X is extendable over some open neighborhood U of A in Y. A space X is an absolute retract (written X ∈ AR) if each f : A → X is extendable over Y. Evidently, if X ∈ AR, then X ∈ ANR.
By a polyhedron, we understand usually a triangulable space. It is well known that every polyhedron is an ANR-space. An important example of a compact polyhedron will be for us a torus. By the n-torus T n , n ≥ 1, we will mean here either the factor space R n /Z n = (R/Z) n or the Cartesian product S 1 × . . . × S 1 n-times , where R denotes the set of reals, Z denotes the set of integers, and S 1 := {x ∈ R 2 | |x| = 1} or S 1 := {z = e 2πs i | s ∈ [0, 1]}.
In particular, for n = 1, T 1 = S 1 becomes a circle. If not explicitly specified, we will not distinguish between the additive and multiplicative notations, because the logarithm map e 2πs i → s, s ∈ [0, 1], establishes an isomorphism between these two representations.
Let us also note that the relation between the Euclidean space R n and its factorization R n /Z n can be realized by means of the natural projection, sometimes also called a canonical mapping, A nonempty set X is called acyclic (or, more precisely, Q-acyclic), provided H n (X) = 0, for n > 0, where Q stands for the field of rationals and H n denotes the n-dimensionalČech homology functor with rational coefficients. When Q is replaced by Z, then we speak about the Z-acyclicity. A continuous map p : Γ ⇒ X is called the Vietoris map, provided (i) p is onto (i.e., p(Γ) = X), (ii) p is proper, i.e., p −1 (K) is a nonempty compact set, for every compact K ⊂ X, (iii) the given set p −1 (x) is acyclic, for every x ∈ X.
By a multivalued map ϕ : X Y, we understand ϕ : X → 2 Y \ {∅}. In the entire text, we will still assume that ϕ has closed values.
If, in particular, a single-valued map f : X → Y is u.s.c., then it is continuous. Furthermore, every u.s.c. map ϕ : X Y has a closed graph {(x, y) ∈ X × Y | y ∈ ϕ(x)}, but not vice versa. Nevertheless, if the graph of a compact map ϕ : X Y (i.e., when the set ϕ(X) = x∈X ϕ(x) is contained in a compact subset of Y) is closed, then ϕ is u.s.c. If ϕ : X Y is u.s.c. with compact values and A ⊂ X is compact, then ϕ(A) is compact.
where p : Γ ⇒ X is a (single-valued) Vietoris map and q : Γ → Y is a continuous mapping. Then the map ϕ : X Y is called admissible (in the sense of Górniewicz) if it is induced by ϕ(x) = q(p −1 (x)), for every x ∈ X. Thus, we determine the admissible map ϕ by the pair (p, q) called an admissible (selected) pair.
One can readily check that every admissible map is u.s.c. with nonempty compact connected values, but not vice versa. The class of admissible maps is closed with respect to finite compositions of admissible maps, i.e., a finite composition of admissible maps is also admissible. In fact, a map is admissible if and only if it is a composition of acyclic maps, i.e., u.s.c. maps with compact acyclic values. On the other hand, the composition of two acyclic maps need not be acyclic. For more details, see e.g., [27] Chapter I.4).
The point x ∈ X such that x ∈ ϕ(x) is called a fixed point of ϕ, while z ∈ Γ such that p(z) = q(z) is called a coincidence point of ϕ, shortly a coincidence of ϕ. Observe that, letting the fixed point set of (p, q) as Fix(p, q) := {x ∈ X | x ∈ q(p −1 (x))}, and the coincidence point set of (p, q) as we obviously have the equalities p(Coin(p, q)) = q(Coin(p, q)) = Fix(p, q). Definition 3. The sequence of points z 1 , . . . , z n ∈ Γ is called an n-orbit of the pair (p, q) if q(z i ) = p(z i+1 ), i = 1, . . . , n − 1. If, additionally, p(z 1 ) = q(z n ), then we call it a periodic n-orbit, written z 1 ∈ Coin((p, q) n ). Schematically: Observe that z 1 ∈ Coin((p, q) n ) implies z k ∈ Coin((p, q) n ), for all k = 1, . . . , n. Now, we are in position to define the topological entropy for admissible pairs (p, q), when following the definition of Bowen [3] for single-valued maps.

Remark 1.
On compact spaces, the topological entropy h(p, q) does not depend on the metric. Let d, d be two metrics on the compact metric space X. Since they are equivalent, Hence, if two m-orbits are (m, ε)-separable with respect to d, then they are (m, δ)-separable with respect to d . This implies s . The symmetry gives the opposite inequality.

Elements of the Nielsen Theory for Multivalued Maps
In the classical (single-valued) Nielsen fixed point theory, we consider a continuous self-map f : X → X of a space X, divide the fixed point set Fix( f ) := {x ∈ X | x = f (x)} into the Nielsen classes (using the paths linking the fixed points), and finally we define the Nielsen number N( f ) of f as the number of essential Nielsen classes, i.e., those with nonzero fixed point index ind( f ; A) = 0. For the related definitions and more details, see e.g., [4].
It is natural to extend this approach to admissible maps. In [25] (cf. also [27] Example I.10.1 and [4] Example 7.4.7), we have given an example of an admissible self-map ϕ : S 1 S 1 , determined by the admissible pair (p, q), with the following properties: (i) the values p −1 (x) are points or compact arcs, (ii) ϕ is admissibly homotopic to a single-valued map f of degree d (for any prescribed integer d), Since d ∈ Z can be arbitrary and the fixed point set Fix(ϕ) has only two elements, this example demonstrates that there is no natural extension of the ordinary Nielsen fixed point theory to the class of multivalued admissible maps.
Instead of it, we should ask about the number of coincidences, i.e., For this goal, we will recall and modify the Nielsen theory for admissible self-maps, developed by ourselves in [25,26] (cf. also [27] Chapter I.10 and [4] Chapter VII.4). This theory is nontrivial, because the space Γ need not be path-connected and the splitting into the Nielsen classes involves some extra problems. Moreover, we cannot apply the classical index theory to maps on such an arbitrary space as Γ.
Hence, let us proceed to the definition of the Nielsen classes. Let us consider an admissible pair (p, q), i.e., X p ⇐= Γ q −→ X, where X is a compact ANR-space, Γ is a compact space, p is the Vietoris map and q is continuous. We are willing to split the coincidence set Coin(p, q) into the Nielsen classes. Since the space Γ need not be locally connected, we cannot traditionally use the paths. Instead of it, we will use the universal covering spaces approach.
We fix a universal covering p X : In order to split Coin(p, q) into classes, which we will also call the Nielsen classes, we will need a lift q : Γ → X satisfying p X ( q) = q(p Γ ). This gives the commutative diagram: Let us emphasize that p is the pullback projection, while q is a fixed, but arbitrarily chosen, lift of q.
We will use the above diagram to split Coin(p, q) into the Nielsen classes, but before it, we would like to explain the existence of the lift q by means of the following lemmas. Lemma 1. Let p : X → X be a universal covering of a connected locally simply-connected space X. Let Γ be a paracompact space and Γ 0 be its compact subset. Let f 0 : Then there exists an extension of the lift f 0 to f 1 : Proof. For each x ∈ Γ 0 , we fix an open neighbourhood U x ⊂ Γ such that x ∈ U x and f x admits an extension f x : Γ 0 ∪ U x → X. We may assume, when taking each U x smaller, that the intersection of each fibre f x (U x ) ∩ p −1 (y) is a singleton or an empty set, for each y ∈ X. We choose a finite covering {V i } i∈I of Γ 0 , which is star-subwritten to {U x }. For each i ∈ I, we furthermore choose an x i ∈ Γ 0 satisfying V i ⊂ U x i , and we define the extension f i as the restriction of f x i . We will show that the system { f i } defines correctly the extension f 1 : i∈I V i → X, which gives the desired extension on the neighbourhood Γ 1 := i∈I V i .
It remains to show that the extensions f i are consistent.
Since f i (z) and f i (z) belong to the same fibre of p and a small U j , f i (z) and f i (z) must be equal, which completes the proof.

Lemma 2. ([27]
Lemma I.10.6) Let p : Γ ⇒ X, q : Γ → Y be continuous maps. where X, Y are compact connected ANR-spaces, Γ is a compact connected space, and p is the Vietoris map. Assume, furthermore, that X is simply-connected and that the restriction for each x ∈ X. Then there exists a map q : Γ → Y making the diagram commutative: Proof. For the proof, it is enough to follow the arguments in ( [27] Lemma I.10.6).

Lemma 3. If the restriction q| p
Proof. It is enough to apply Lemma 2 for X = Y and q = q(p Γ ).
We denote by p ! : θ X → θ Γ the natural isomorphism given by the formula p ! (α)( x, z) = (α x, z). On the other hand, the right hand side of the diagram gives a homomorphism q ! : θ Γ → θ X given by qα = ( q ! α) q. Finally, we denote ρ = q ! p ! . Now, we are in position to define the Reidemeister relation.
We consider the action of θ X on itself, α • ω = αω ρ(α −1 ). The quotient set is called the set of Reidemeister classes and is denoted by R( p, q). In [25], we have shown that the definition does not depend on the choice of the lift q.
To split the set Coin(p, q) to the Nielsen classes, we need the above theory modulo a subgroup. We consider the pair (p, q) as above and assume that H θ X is a normal subgroup preserved by ρ, i.e., ρ(H) ⊂ H. Then we can follow the above construction to get the commutative diagram: is not empty, then there exists a γ ∈ θ X H such that Now, we get the splitting of Coin(p, q) into the H-Nielsen classes and the natural injection from the set of H-Nielsen classes into the set of the Reidemeister classes modulo H, namely R H (p, q).
At last, we can proceed to the essential Nielsen classes, i.e., the coincidence classes which do not disappear under any admissible homotopy. We recall the notion of essential classes given in (Section 5 [25]). However, besides the assumptions that p, q : Γ → X is an admissible pair (i.e., X is a compact ANR-space, Γ is a compact space, p is the Vietoris map and q is continuous), we will still assume that there exists a normal subgroup of finite index H π 1 X such that ρ(H) ⊂ H (which will enable us to use finite covering spaces).
Since X is a compact ANR-space and cl(q(Γ)) ⊂ X is compact, the Lefschetz number L(p, q) is defined (see e.g., [27] Chapter I.6).
Let us recall that, according to Lemma 4, Coin(p, q) = α∈θ X H p Γ H Coin( p H , α q H ), where any two summands are either equal or empty. This gives the splitting into the Nielsen classes modulo H. On the other hand, since X H is compact, by the second property L( p, α q) is defined. If L( p, α q) = 0, then we call the corresponding H-Nielsen class essential. As in the single-valued case, each essential Nielsen class is nonempty.
We define the coincidence Nielsen number modulo the subgroup H as the number of the essential Nielsen classes, and we denote it by N H (p, q).
The following two important theorems will be stated in the form of propositions.  N H (p, q) coincidences.
For the calculation in applications, it will be also convenient to give the following statements on tori. Let us recall that by an R δ -set, we mean an intersection of a decreasing sequence of compact absolute retracts or, equivalently, of compact contractible (i.e., homotopically equivalent to one point) sets. For more details, see e.g., ( [27] Chapters I.2 and I.4).

Proposition 3.
Any admissible self-map ϕ on the torus T n , determined by the admissible pairs (p, q), where p −1 (x) is an R δ -set for every x ∈ T n , is admissibly homotopic to a pair (p , q ), representing a single-valued (continuous) map ρ : T n → T n (written ϕ ∼ ρ).
Proof. For the proof, we can proceed in the same way as in ([25] Theorem 6.2) (cf. also [27] Theorem I. 10.24), where instead of the lemma in ([25] Lemma 6.1), we apply the fact that since an R δ -set is Z-acyclic, we have that H(p −1 (x); Z) = 0, and so any restriction q| p −1 (x) : p −1 (x) → S 1 is contractible.
The fact that any R δ -set is Z-acyclic follows from the following continuity arguments due to Górniewicz (N. Copernicus Univ. Toruń, Poland). By the definition, the R δ -set A can be written as the intersection A = n≥1 A n of a decreasing sequence {A n } of compact AR-spaces (or, in particular, compact contractible sets) A n , which are Z-acyclic, for every n ∈ N. The claim is then implied by the theorem in ([28] Theorem 3.1 in Chapter X.3, p. 261), saying that theČech homology theory based on a coefficient group which is in G R (the category of modulus over a ring R) or G C (the category of compact Abelian groups) is continuous on the category of compact pairs. Moreover, when R is the ring of integers, G R is just the category of ordinary Abelian groups and their homomorphisms (see e.g., [28] Chapter IV.3, p. 110). Thus, for our needs, we can put R = Z, which completes the proof.

Remark 2.
In fact, in the proof of the foregoing Proposition 3, we needed to have the commutative diagram: in order to get the splitting of the coincidence set Coin(p, q) into the Nielsen classes. More precisely, we needed the lift q as above.
To get such a lift, we should assume that the restrictions q| p −1 (x) : p −1 (x) → X admit lifts q| p −1 (x) : p −1 (x) → X and p X ( q) = q. In the case of the torus, i.e., for X = T n = S 1 × · · · × S 1 , this condition takes the form that each map p −1 (x) → S 1 is homotopic to a constant map. It is true, provided p −1 (x) is Z-acyclic, for every x ∈ S 1 .

Proposition 4. (cf. [24] equalities (4)) Under the assumptions of Proposition 3, the equalities
(N H ((p, q) k ) =) N((p, q) k ) = N(ρ k ) = |L(ρ k )| (1) hold for every k ∈ N, where N H is the coincidence Nielsen number modulo the (concrete) subgroup H defined above, N is the ordinary Nielsen number and L is the ordinary Lefschetz number.

Ivanov's Theorem for Admissible Pairs
The crucial argument in the proof of Theorem 1 can be reformulated in the form of the following lemma (cf. [1], the proof of Theorem).
Lemma 5. Let f : X → X be a continuous self-map of a compact polyhedron X endowed with the metric d. Then there exists a number ε > 0 such that, for any x, y ∈ X and n ∈ N: if d( f k (x), f k (y)) < ε, for k = 1, . . . , n, and f n (x) = x, f n (y) = y, then the points x, y belong to the same Nielsen class as the fixed points of f n .
Let us emphasize that ε > 0 in Lemma 5 depends only on f and it is independent of n. We would like therefore to generalize Lemma 5 to the admissible pairs X p ⇐= Γ q −→ X, where X is a compact polyhedron. Thus, we will again assume that p is the Vietoris map and q is continuous. For this generalization, we need the following technical lemma. Lemma 6. Consider the diagram: with fixed z 1 , z 1 ∈ Γ satisfying d 1 (z 1 , z 1 ) ≤ ε (for the definition of the semi-metric d 1 , see Definition 4). Denoting x 1 := p(z 1 ), x 2 := q(z 1 ), x 1 := p(z 1 ), x 2 := q(z 1 ), we will be able to find the points z 1 , z 1 ∈ Γ, x 1 , x 1 ∈ U 1 , x 2 , x 2 ∈ U 2 such that: is an open contractible set which is sent homeomorphically by p X (i = 1, 2).
Proof. Since the simplicial complex X is locally contractible and compact, there exists an ε 0 > 0 such that each subset D ⊂ X with diam(D) < 2ε 0 is contained in a contractible set U ⊂ X. We assume that the numbers ε, which appear below, satisfy ε 0 > ε > 0. Let z 1 , z 1 ∈ Γ be the given pair of points satisfying d 1 (z 1 , z 1 ) < ε. We define x 1 := p(z 1 ), x 1 := p(z 1 ) and x 2 := q(z 1 ), x 2 := q(z 1 ). It is easy to see that there exist lifts of these points making the diagram commutative.
In fact, we choose the lifts z 1 , z 1 ∈ Γ of the given z 1 , z 1 ∈ Γ, and these determine the rest. Moreover, the assumption d 1 (z 1 , K(., ε) denotes the open ball). We will show that if ε > 0 is small enough, then the inverse images p −1 X (K(x 1 , ε)), p −1 X (K(x 2 , ε)), p −1 Γ (K(z 1 , ε)) split into mutually disjoint parts, each of them sent isometrically onto its image. We will overuse the notation and call these parts by components. Notice that for a sufficiently small ε > 0, K(x, ε) is connected and the introduced components coincide with the connected components of p −1 X (K(x 1 , ε)) = α U α . However, K(z, ε) need not be connected, because Γ need not be locally connected. So we define the splitting In other words, we define the components W α := p −1 ( U α ) and we can denote p −1 Γ (K(z, ε)) = α W α . Our lemma will be proved once we show that: if z 1 , z 1 belong to the same component in p −1 Γ (K(z 1 , ε)), then we can choose the pairs of lifts x 1 , x 1 and x 2 , x 2 , which also belong to the same component of the corresponding inverse images p −1 X (K(x 1 , ε)), p −1 X (K(x 2 , ε)). Considering the left hand side of the diagram, the claim is obvious, because p sends the component U α into W α . Now, let us consider its right hand side. Since Γ need not be locally connected and q is an arbitrary continuous map, we cannot use a similar argument.
We will prove that, for a sufficiently small ε, if the lifts z 1 and z 1 are chosen in the same component of p −1 Γ (K(z 1 , ε)), then x 2 = q( z 1 ) and x 2 = q( z 1 ) belong to the same component of p −1 Γ (K(x 2 , ε)). We will proceed by a contradiction. Let us assume that, for a sequence ε 0 > ε k > 0 converging to 0, there exist the pairs of points z k , z k ∈ Γ with d(z k , z k ) < ε k , and each pair of lifts z k , z k ∈ X lying in the same component of p −1 Γ (K(z 1 , ε k )) implies that the points q( z k ), q( z k ) ∈ X belong to different components of p −1 X (K(x 2 , ε k )). By the compactness of Γ, we can assume that z k converges to a point z 0 ∈ Γ. Thus, K(z k , ε k ) ⊂ K(z 0 , ε 0 ), for almost all k. We choose a component U ⊂ p −1 Γ (K(z 0 , ε)) and define z k := p −1 Γ (z k ) ∩ U, z k := p −1 Γ (z k ) ∩ U. Now, z k also converges to z 0 ∈ Γ but q( z k ), which belong by the assumption to other components, cannot converge to q( z 0 ), because the fibre p −1 X (q(z 0 )) is discrete. The last fact contradicts to the continuity of q : Γ → X in the point z 0 , which completes the proof.
The desired multivalued generalization of Lemma 5 reads as follows.

Proof.
We have given a multivalued map X p ⇐= Γ q −→ X and two ε-close orbits of the length n, namely (z 1 , · · · , z n ) and (z 1 , · · · , z n ). We have to show that z 1 and z 1 belong to the same Nielsen class as the coincidence points of Coin((p, q) n ).
Let us recall that Coin((p, q) n ) = α p Γ (Coin((id × α)(p, q) n )), where the summation runs through the set of one representative α from each Reidemester class, is a mutually disjoint sum, and each summand p Γ (Coin(id × α)(p, q) n )) is either the Nielsen class or it is empty.
We are ready to give the first main theorem. Since h(p, q) := lim ε→0 h se (p, q; ε), we arrive at the inequality (2), which completes the proof.
On tori, Theorem 2 can be still improved by means of the equalities (1) in the following way. Theorem 3. Let ϕ : T n T n be an admissible map, determined by the admissible pair (p, q) such that p −1 (x) is an R δ -set, for every x ∈ T n . Then the relations h(p, q) ≥ log N ∞ (p, q) = log |L ∞ (ρ)| := log max 1, lim sup m→∞ m |L(ρ m )| (3) hold for the topological entropy h(p, q) of (p, q) and the asymptotic Lefschetz number L ∞ (ρ) of ρ, where ρ : T n → T n is a single-valued continuous map, which is admissibly homotopic to ϕ. (1) and (2). The existence of single-valued continuous map ρ, which is admissibly homotopic to ϕ, is guaranteed by Proposition 3.

Remark 3.
Let us note that, in difference to the topological invariants like the Nielsen number and the Lefschetz number, the topological entropy is not invariant under homotopy.
As an illustrative example of the calculation by means of (3), we can give the following one.

Example 1.
Let ϕ : T n T n be an admissible map, determined by the admissible pair (p, q) such that p −1 (x) is an R δ -set, for every x ∈ T n . Let ϕ be admissibly homotopic to a single-valued endomorphism ρ : T n → T n , defined by an integer (n × n)-matrix A. Let (λ 1 , · · · , λ n ) be the eigenvalues of A. Then, according to (3) in Theorem 3, where In particular, for n = 1, h(p, q) ≥ log |d| = log |A|, where d stands for the topological degree of ρ.

Application to Impulsive Differential Inclusions on Tori
Consider the impulsive vector differential inclusion    x ∈ F(t, x), t = t j := t 0 + jω, for some given ω > 0, where F : R × R n R n is an upper-Carathéodory mapping such that and I : R n → R n is a single-valued continuous impulsive mapping such that where x = (x 1 , . . . , x n ). Furthermore, x(t + j ) := lim t→t + j x(t), j ∈ Z, i.e., x(t + j ) stands for the right limit, x(t − j ) := lim t→t − j x(t), j ∈ Z, i.e., x(t − j ) stands for the left limit. Let us recall that a multivalued map F : R × R n R n is, under (6), upper-Carathéodory, provided: If F : R n → R n is single-valued, then it is called Carathéodory. By a solution of (5), we understand a (piece-wise) absolutely continuous vector function x ∈ AC((t j , t j+1 ), R n ), j ∈ Z, satisfying (5), for a.a. t ∈ R \ {t j } j∈Z .
Let us notice that conditions (6) and (7) allow us to consider the inclusion (5) on the factor space R n /Z n . Hence, assuming (6) and (7), consider the composition I • T µω : R n /Z n × [0, 1] R n /Z n , where the (µ-parametrized) Poincaré translation operator T µω : R n /Z n × [0, 1] R n /Z n along the trajectories of (5) considered on R/Z, is defined by x ∈ F(t, x) considered on R n /Z n , such that x(t 0 ) = [x 0 ]}, (8) and I : R n /Z n → R n /Z n is the factorization of the impulsive mapping I : R n → R n , i.e., [τ • I(x)] = I([x]), for every x ∈ R n . Proposition 5. (cf. [24] Proposition 3.2) The above composition I • T µω := I • T µω , µ ∈ [0, 1], where T µω is the (factorized) Poincaré translation operator defined in (8) and I is the factorized impulsive mapping, builds an admissible homotopy bridge between I • T ω and I.
For the desired application of Theorem 3 to (5), the following correspondence is crucial.
[24] Lemma 4.1) There exists a selected pair ( p, q) which determines the (admissible) operator I • T ω , treated in Proposition 5, such that p −1 ([x]) is an R δ -set, for every [x] ∈ R n /Z n . Moreover, there is a one-to-one correspondence, for every k ∈ N, between the irreducible k-orbits of coincidences (for their definition and more details, see [23,24]) of the mapping R n /Z n p ⇐= Z q −→ R n /Z n (9) and kω-periodic (mod 1) solutions of the impulsive inclusion (5), provided (6) and (7) hold.
Since the operator I • T ω is, according to Proposition 5 and Lemma 8, admissible in the sense of Definition 2, and such that p −1 ([x]) is an R δ -set, for every [x] ∈ R n /Z n , and it is also admissibly homotopic to the factorization I of the impulsive mapping I, satisfying (7), we can use the formulas (1)-(4) for the calculation of the (asymptotic) Nielsen and Lefschetz numbers.
It is also natural to introduce the following definition.
In view of the above arguments, Theorem 3 can be immediately applied to (5) as follows.

Concluding Remarks
If N ∞ (p, q) := lim sup ) is an R δ -set, for every [x] ∈ T n , then admits an irreducible m-orbit of coincidences, for infinitely many m ≥ m * .
In view of one-to-one correspondence, described in Lemma 8, we can give the last theorem as follows.