Stronger Forms of Sensitivity for Induced Fuzzified Map

Every dynamical system on a compact metric space X induces a fuzzy dynamical system on the space of fuzzy sets , by Zadeh's extension principle. In this paper we consider stronger forms of sensitivity, viz. strong sensitivity, asymptotic sensitivity, syndetic sensitivity, multi-sensitivity and cofinite sensitivity. Some examples are given to expound the interrelation between them. Our main concern here is to find the relationship between f and in terms of these forms of sensitivity. We Prove that these forms of sensitivity for f partially imply the same for and in other way we also get partial induction.


Introduction
Let (X, d) be a compact metric space and f : X → X be a continuous map, then the pair (X, f ) is called a dynamical system. The main concern to study a dynamical system is to understand the dynamics of the orbit {f n (x) | n ∈ N}, for each x ∈ X where f n denote the n-times composition of f. Consequently, the idea is to study the discrete dynamical system x n+1 = f (x n ), n = 0, 1, 2, . . . (1) Let κ(X) denote the set of compact subsets of X. Anologously, define induced discrete dynamical system on κ(X) as where f : To deal with non-deterministic problems (see [1]) such as demographic fuzziness, environmental fuzziness and life expectancy crisp dynamical systems (1) and (2) are not enough to model such systems accurately. In that case, we consider the discrete fuzzy system u n+1 =f (u n ), n = 0, 1, 2, . . .
wheref : F(X) → F(X) is the Zadeh's extension of f to F(X) and F(X) denote the space of all non-empty compact fuzzy sets on X.
In recent years, concept of sensitive dependence on initial conditions has attracted significant attention. In [9], an investigation has been done to find the interrelation between sensitivity, asymptotic sensitivity and strong sensitivity and their induction between f and f . Recently, Wua et al. [10] and Zhao et al. [11] have done similar kind of investigation for sensitivity and its various forms on the generalised version of Zadeh extension called gfuzzification (given by Kupka [5]), and obtained satisfactory results. In this paper, we study some more stronger forms of sensitivity associated to the fuzzy dynamical system (given by Zadeh's extension principle) (3) via system (2) or otherwise.
This paper is organised as follows. Section 2 contains basic notations and results used in this paper. In Section 3, we give the definition of sensitivity, strong sensitivity, multisensitivity, asymptotic sensitivity, syndetic sensitivity, and cofinite sensitivity. An investigation has been done to find the interrelation between these forms of sensitivity. In the later part of this section we study the relation of these stronger forms of sensitivity for f andf . Section 4 consists of conclusion.

Preliminaries
Let (X, d) be a metric space with metric d. Let κ(X) be the collection of all non-empty compact subsets of a metric space X. If A ∈ κ(X), then -neighbourhood of A is defined as the set The Hausdorff metric(distance) H on κ(X) is defined by It is well known that (κ(X), H) is compact (complete, separable, respectively), if and only if (X, f ) is compact (complete, separable, respectively).
A fuzzy set u on X is a function u : X → [0, 1]. A fuzzy set u is upper semi-continuous (u.s.c.) if for any sequence {x n | n ∈ N}, in (X, d), converging to a point x ∈ X, then x is at least as much in u as the x n , i.e. u(x) ≥ lim sup n∈N u(x n ).
Let us define F(X) as the system of all u.s.c. fuzzy sets on X. An empty fuzzy set φ X is defined as {x ∈ X | φ X (x) = 0}. Let F 0 (X) denotes the set of all non-empty fuzzy sets on X. The levelwise metric D on F 0 (X) is defined by where L α u = {x ∈ X | u(x) ≥ α} for each α ∈ (0, 1] and L 0 u = {x ∈ X | u(x) > 0} (A denotes the closure of A). This metric holds for non-empty fuzzy sets u, ν ∈ F 0 (X) whose maximal values are identical. Since the Hausdorff distance H is only defined for non-empty closed subsets of the space X, therefore, an extension (cf. [5]) is considered as follows H(φ, φ) = 0 and H(φ, C) = diam(X) for any C ∈ κ(X), which implies where diam(A) = sup{d(x, y) | x, y ∈ A} . With this extension (4) correctly defines the levelwise metric on F(X).

Remark 2.1:
It is known that if (X, d) is complete, compact and separable then (F(X), D) is complete but fails to be compact and separable (see [12]), and if u is an u.s.c. fuzzy set on X then L α u is closed in X for all α ∈ [0, 1].
Every continuous map f : X → X induces a continuous extension f : A fuzzification (or Zadeh's extension) of the dynamical system (X, f ) is the mapf : If X is a compact metric space then f : (X, d) → (X, d) is continuous if and only iff : is continuous (cf. [2]). Continuity of f andf is equivalent even if X is locally compact metric space (cf. [5]).
Further, we define F 1 (X) as the class of all the normal fuzzy sets on X, as It can be seen that F 1 (X) with levelwise metric is a subspace of F(X). Also, it has been proved that with this metric F 1 (X) is complete, but not compact and is not separable, refer [5,12].

Lemma 2.2 ([4]):
For any u ∈ F(X) and > 0 there exists a piecewise constant fuzzy set ν ∈ F(X) such that D(u, ν) < , i.e. the set of piecewise constant fuzzy sets is dense in F(X).

Sensitivity for Induced Fuzzified Map
A continuos map f : X → X is said to be • sensitive dependence on initial conditions (or sensitive), if there is δ > 0 (sensitivity constant) such that for every point x ∈ X and for each > 0 there is y ∈ X and n ∈ N such that d(x, y) < and d(f n (x), f n (y)) ≥ δ. • strongly sensitive if there is a δ > 0 such that for each x ∈ X and for each > 0 there exists n 0 ∈ N such that for all n ≥ n 0 , sup

and any non-empty open subsets
Now, we define, some more forms of sensitivity depending upon the 'largeness' of the set of all n ∈ N where this sensitivity happens. We say that, It is easy to see that, cofinite sensitivity ⇒ syndetic sensitivity ⇒ asymptotic sensitivity ⇒ sensitivity. cofinite sensitivity ⇒ strong sensitivity ⇒ multi-sensitivity ⇒ sensitivity. Clearly, cofinite sensitivity implies all the other forms of sensitivities, and some of them are not related to each other in any way.
Consider a one-sided symbolic dynamical system ( + 2 , σ ), where and σ is a shift map on + 2 , defined as which is continuous (cf. [13]). It is known that ( + 2 , d) is a compact metric space with the metric d, defined as where s = (s 0 , s 1 , s 2 , . . .) and t = (t 0 , t 1 , t 2 , . . .). Now, consider a subspace S of the symbolic dynamical system ( + 2 , σ ), consisting of all the sequences which are eventually zero. Clearly, the restriction of σ on S is strongly sensitive and multi-sensitive but not asymptotically sensitive (also not, cofinitely sensitive and syndetic sensitive).
For a continuous map f : X → X on a compact metric space, asymptotic sensitivity is equivalent to sensitivity (cf. [14]). It has been proved that there is no relation between strong sensitivity and asymptotic sensitivity, even on compact metric space (refer to [9]).
The following example shows that, in general, converse of the above proposition is not true.
Example 1: Consider the one-sided shift space + 2 on two symbols, let T be the irrational rotation on the circle S 1 given by T(θ ) = θ + α, where α is a very small irrational multiple of 2π. By dividing S 1 into two hemispheres, define a sequencex = (x n ) ∈ + 2 as Define X = {σ n (x) | n ≥ 0}, then (X, σ ) is sensitive but (κ(X), σ ) in not sensitive, refer [9]. In the following proofs, by χ x we mean the characteristic function defined as Proof: Supposef is sensitive on F(X) (with sensitivity constant δ). Let A ∈ κ(X) and > 0. As χ A ∈ F(X), there exists ν ∈ F(X) and m ∈ N such that D(χ A , ν) < and We can find α 0 ∈ [0, 1] such that 1]. Hence, f is sensitive on κ(X). Proof: Letf be strongly sensitive on F(X) with sensitivity constant δ. Let x ∈ X and > 0 be given. For χ x ∈ F(X), there exists n 0 ∈ N such that sup We can find Conversely, let f be strongly sensitive with sensitivity constant δ. Let u ∈ F(X) and > 0 be given. There exists a piecewise constant fuzzy set ν, such that D(u, ν) < 2 , represented by some strictly decreasing sequence of closed subsets {C 1 , C 2 , . . . , C p } of X and strictly increasing sequence of reals {a 1 , a 2 , . . . , a p } ⊂ (0, 1] such that L α ν = C i+1 , whenever α ∈ (a i , a i+1 ]. As f is strongly sensitive (by Proposition 3.4) there exists a sensitivity constant λ δ > 0. Therefore, for each C i ∈ κ(X) there exists n i ∈ N such that, for every n ≥ n i , sup We get a piecewise constant fuzzy set η, by defining it as L α η = E i+1 , whenever α ∈ (a i , a i+1 ]. Consequently, and D(ν, η) < 2 implies D(u, η) < .

Theorem 3.6: (κ(X), f ) is multi-sensitive if and only if (F(X),f ) is so.
Proof: Let f is multi-sensitive with sensitivity constant δ > 0. Since the set of all the piecewise constant fuzzy sets are dense in F(X), it is enough to prove thatf is multi-sensitive on this set. Consider, piecewise constant fuzzy sets Since f is multi-sensitive, for each 1 ≤ i ≤ k and for every 1 For each 1 ≤ i ≤ k, define a piecewise constant fuzzy set u i as Conversely, letf is multi-sensitive with sensitivity constant δ 0 . Consider A 1 , A 2 , . . . , A p ∈ κ(X) and > 0. Then, χ A 1 , χ A 2 , . . . , χ A p are fuzzy sets in F(X), there exist n ∈ N such that So, we can conclude that 1≤i≤p S f (B H (A i , ), δ 0 ) = ∅ and, consequently, f is multisensitive.

Theorem 3.7 ([15]): (κ(X), f ) is multi-sensitive if and only if (X, f ) is so.
From the above two theorems, we have the following result.

Theorem 3.9: If (F(X),f ) is asymptotically sensitive, then (X, f ) is asymptotically sensitive.
Proof: Let (F(X),f ) be asymptotically sensitive with sensitivity constant δ > 0. Suppose x ∈ X and > 0 be given. As χ x ∈ F(X), we can find ν 1 ∈ F(X) such that D(χ x , ν 1 ) < and lim sup We can find n 1 ∈ N and x 1 ∈ L 0 ν 1 such that d(f n 1 (x), f n 1 (x 1 )) > δ, if (x, x 1 ) form an asymptotic sensitive pair, then we are done. If not, then we can find t 1 > n 1 such that d(f n (x), f n (x 1 )) < δ/2 for all n ≥ t 1 .
Also, since f n 1 is continuous we can find a neighbourhood V 1 of x 1 such that and d(f n 1 (x), f n 1 (y)) > δ for all y ∈ V 1 . We can find an 1 Again for 1 > 0 we can find ν 2 ∈ F(X) such that D(χ x 1 , ν 2 ) < 1 and lim sup n→∞ D(f n (χ x 1 ),f n (ν 2 )) > δ. We can find n 2 ∈ N and x 2 ∈ L 0 ν 2 such that d(f n 2 (x 1 ), If (x , x 2 ) form an asymptotic sensitive pair, then we are done. If not, then we can find t 2 > n 2 such that d(f n (x), f n (x 2 )) < δ/2 for all n ≥ t 2 . Also, since f n 2 is continuous we can find a neighbourhood V 2 of x 2 such that V 2 ⊂ B d (x 1 , 1 ) and d(f n 2 (x), f n 2 (y)) > δ for all y ∈ V 2 . We can find an 2 > 0 such that B d (x 2 , 2 ) ⊂ V 2 .
Continuing like this, we either get required asymptotic sensitive pair (x, x n ) or a sequence {x n } ⊂ B d (x, ). Let l be the limit point of this sequence, then d(f n i (x), f n i (l)) > δ for each i ∈ N, which implies lim sup Consequently, f is asymptotically sensitive.

Remark 3.2:
Converse of the above theorem is not true. Since a sensitive map is asymptotically sensitive on a compact metric space, and the dynamical system (X, σ ) considered in Example 1 is compact and sensitive, hence asymptotically sensitive. Since the hyperspace (κ(X), σ ) is not sensitive hence cannot be asymptotically sensitive. Therefore, (F(X),f ) cannot be asymptotically sensitive (Theorem 3.2).
In the presence of dense set of periodic points sensitivity imply asymptotic sensitivity (see [16]). Using this fact and our theorem 3.5 we give the following corollary.

Corollary 3.10:
If (X, f ) has dense set of periodic points and strongly sensitive, then (F(X),f ) is asymptotically sensitive.
Proof: By Theorem 5 of [2], periodic density of f implies periodic density off , and strong sensitivity of f implies the same forf (Theorem 3.5). Consequently,f is asymptotically sensitive. Proof: Let f is syndetically sensitive with sensitivity constant δ > 0. We do the proof forf on the set of piecewise constant fuzzy sets in F(X), as it is dense in F(X). Let u be any piecewise constant fuzzy set and let > 0. There exists a strictly decreasing sequence {A 1 , A 2 , . . . , A k } of closed subsets in X and strictly increasing sequence of reals {a 1 , a 2 , . . . , a k } ⊂ (0, 1] such that Define a piecewise constant fuzzy set v as, Clearly, D(u, v) < and D(f n j (u),f n j (u)) = sup for all j ≥ 1, which completes the proof. For the converse, if A ∈ κ(X) is a non-empty set, then for χ A ∈ F(X) there exists u ∈ F(X) such that D(χ A , u) < and the set = {n ∈ N | D(f n (χ A ),f n (u)) > δ} is syndetic. Now, for n ∈ , we have Clearly, H(A, L 0 u) < . Hence, the proof.

Theorem 3.13 ([15]): (κ(X), f ) is syndetically sensitive if and only if (X, f ) is so.
From the above two theorems, we have the following result.

Conclusion
Let (X, f ) a dynamical system, where f : X → X be a continuous map on a compact metric space X, and (F(X),f ) be its fuzzified extension given by Zadeh's extension principle, wheref : F(X) → F(X). Our investigation for finding the chaotic dynamical relation between f andf in the related dynamical properties of sensitivity and its stronger forms reveal (Theorems 3.3, 3.5,3.6, 3.9, 3.12, 3.16) that iff is sensitive, strongly sensitive, multisensitive, asymptotically sensitive, syndetically sensitive and cofinitely sensitive, respectively then the same holds for (X, f ). For the converse, we prove that if (X, f ) is strongly sensitive (multi-sensitive, syndetic sensitive, cofinitely sensitive) then (F(X),f ) is so (Theorems 3.5, 3.6, 3.12, 3.16), but sensitivity and asymptotic sensitivity, respectively of f does not imply sensitivity and asymptotic sensitivity, respectively forf . It can be clearly noted that we reveal similar relation of sensitivity and its stronger forms for f and f . We get Corollary 3.10 as a consequence of Theorems 3.5, where we establish that strong sensitivity of (X, f ) implies asymptotic sensitivity for (F(X),f ), in the presence of periodic density.
Ph.D degree in Chaos in Non-Linear Planar Oscillations of a Satellite in Elliptic Orbits from University of Delhi, India in 1981, 1983 and 1995, respectively. He is currently a Professor and the Head of the Mathematics department of Jamia Millia Islamia University, Delhi, India. He has an teaching experience of more than 34 years. So far he has guided more than 13 Ph.D. students and 4 M.Phil students and have more than 150 research paper. He delivered more than 32 talks in various national and international Seminar/conferences. His research interest are analysis of chaos and synchronization for Non-linear dynamical system and Topological dynamics.