International Journal of Analysis and Applications ISSN 2291-8639 Volume 3, Number 2 (2013), 93-103 http://www.etamaths.com IFαGS CONTINUOUS AND IFαGS IRRESOLUTE MAPPINGS M. JEYARAMAN1, A. YUVARANI2,∗ AND O. RAVI3 Abstract. The objective of this paper is to establish intuitionistic fuzzy α- generalized semi continuous mappings and to study some of their properties. Finally we introduce intuitionistic fuzzy α-generalized semi irresolute map- pings and investigate their characterizations. 1. Introduction As a generalization of fuzzy sets, the concepts of intuitionistic fuzzy sets was introduced by Atanassov [1]. Recently, Coker and Demirci [3] introduced the basic definitions and properties of intuitionistic fuzzy topological spaces using the notion of intuitionistic fuzzy sets. In 2004, M.Rajamani and K.Viswanathan [8] introduced α generalized semi continuous maps and α generalized semi irresolute maps in topological spaces. In this paper we introduce intuitionistic fuzzy α-generalized semi continuous mappings and intuitionistic fuzzy α-generalized semi irresolute mappings. Also the interconnections between the intuitionistic fuzzy continuous mappings and the intuitionistic fuzzy irresolute mappings are investigated. Some examples are given to illustrate the results. 2. Preliminaries Definition 2.1. [1] Let X be a non empty fixed set. An intuitionistic fuzzy set(IFS in short) A in X is an object having the form A = {〈 x, µA(x), νA(x) 〉 | x ∈ X} where the function µA(x):X → [0,1] denotes the degree of membership(namely µA(x)) and the function νA(x):X → [0,1] denotes the degree of non-membership(namely νA(x)) of each element x ∈ X to the set A, respectively and 0 ≤ µA(x) + νA(x) ≤ 1 for each x ∈ X. IFS(X) denote the set of all intuitionistic fuzzy sets in X. Definition 2.2. [1] Let A and B be IFSs of the form A={〈 x, µA(x), νA(x) 〉 | x ∈X} and B={〈 x, µB(x), νB(x) 〉 | x ∈ X}. Then (1) A ⊆ B if and only if µA(x) ≤ µB(x) and νA(x) ≥ νB(x) for all x ∈ X, (2) A = B if and only if A ⊆ B and B ⊆ A, 2010 Mathematics Subject Classification. 54A02, 54A40, 54A99, 03F55. Key words and phrases. Intuitionistic fuzzy topology, Intuitionistic fuzzy α-generalized semi closed set, Intuitionistic fuzzy α-generalized semi continuous mapping and Intuitionistic fuzzy α-generalized semi irresolute mapping. c©2013 Authors retain the copyrights of their papers, and all open access articles are distributed under the terms of the Creative Commons Attribution License. 93 94 JEYARAMAN, YUVARANI AND RAVI (3) Ac = {〈 x, νA(x), µA(x) 〉 | x ∈ X}, (4) A∩B = {〈 x, µA(x) ∧ µB(x), νA(x) ∨ νB(x) 〉 | x ∈ X}, (5) A∪B = {〈 x, µA(x) ∨ µB(x), νA(x) ∧ νB(x) 〉 | x ∈ X}. For the sake of simplicity, we shall use the notation A=〈 x, µA, νA 〉 instead of A = {〈 x, µA(x), νA(x) 〉 | x ∈ X}. The intuitionistic fuzzy sets 0∼ = {〈 x, 0, 1 〉 : x ∈ X} and 1∼ = {〈 x, 1, 0 〉 : x ∈ X} are the empty set and the whole set of X respectively. Definition 2.3. [3] An intuitionistic fuzzy topology (IFT in short) on X is a family τ of IFSs in X satisfying the following axioms: (1) 0∼, 1∼ ∈ τ, (2) G1 ∩ G2 ∈ τ for any G1, G2 ∈ τ, (3) ∪Gi ∈ τ for any family {Gi | i ∈ J} ⊆ τ. In this case the pair (X, τ) is called an intuitionistic fuzzy topological space(IFTS in short) and any IFS in τ is known as an intuitionistic fuzzy open set(IFOS in short) in X. The complement Ac of an IFOS A in an IFTS (X, τ) is called an intuitionistic fuzzy closed set(IFCS in short) in X. Definition 2.4. [3] Let (X, τ) be an IFTS and A = 〈 x, µA, νA 〉 be an IFS in X. Then the intuitionistic fuzzy interior and the intuitionistic fuzzy closure are defined as follows: (1) int(A) = ∪{G | G is an IFOS in X and G ⊆ A}, (2) cl(A) = ∩{K | K is an IFCS in X and A ⊆ K}. Note that for any IFS A in (X, τ), we have cl(Ac) = (int(A))c and int(Ac) = (cl(A))c. Definition 2.5. An IFS A = 〈 x, µA, νA 〉 in an IFTS (X, τ) is said to be an (1) intuitionistic fuzzy regular closed set(IFRCS in short) if A = cl(int(A)) [3], (2) intuitionistic fuzzy α-closed set(IFαCS in short) if cl(int(cl(A))) ⊆ A [5], (3) intuitionistic fuzzy semiclosed set(IFSCS in short) if int(cl(A)) ⊆ A [3], (4) intuitionistic fuzzy preclosed set(IFPCS in short) if cl(int(A)) ⊆ A [3], (5) intuitionistic fuzzy semipreclosed set(IFSPCS in short) if there exists an IFPCS B such that int(B) ⊆ A ⊆ B[14]. Definition 2.6. An IFS A = 〈 x, µA, νA 〉 in an IFTS (X, τ) is said to be an (1) intuitionistic fuzzy regular open set(IFROS in short) if A = int(cl(A))[3], (2) intuitionistic fuzzy α-open set(IFαOS in short) if A ⊆ int(cl(int(A)))[5], (3) intuitionistic fuzzy semiopen set(IFSOS in short) if A ⊆ cl(int(A))[3], (4) intuitionistic fuzzy preopen set (IFPOS in short) if A ⊆ int(cl(A))[3], (5) intuitionistic fuzzy semipreopne set (IFSPOS in short) if there exists an IFPOS B such that B ⊆ A ⊆ cl(B)[14] The family of all IFOS(respectively IFSOS, IFαOS, IFROS) of an IFTS (X, τ) is denoted by IFOS(X)(respectively IFSOS(X), IFαOS(X), IFROS(X)). Definition 2.7. [14] Let A be an IFS in (X, τ), then semi interior of A(sint(A) in short) and semi closure of A ( scl(A) in short) are defined as (1) sint(A) = ∪{K | K is an IFSOS in X and K ⊆ A}, (2) scl(A) = ∩{K | K is an IFSCS in X and A ⊆ K}. IFαGS CONTINUOUS AND IFαGS IRRESOLUTE MAPPINGS 95 Definition 2.8. [12] Let A be an IFS in (X, τ), then semipre interior of A(spint(A) in short) and semipre closure of A ( spcl(A) in short) are defined as (1) spint(A) = ∪{G | G is an IFSPOS in X and G ⊆ A}, (2) spcl(A) = ∩{K | K is an IFSPCS in X and A ⊆ K}. Definition 2.9. [9] Let A be an IFS of an IFTS (X, τ). Then (1) αcl(A) = ∩{K | K is an IFαCS in X and A ⊆ K}, (2) αint(A) = ∪{K | K is an IFαOS in X and K ⊆ A}. Definition 2.10. An IFS A of an IFTS (X, τ) is an (1) intuitionistic fuzzy generalized closed set(IFGCS in short) if cl(A) ⊆ U whenever A ⊆ U and U is an IFOS in X [13], (2) intuitionistic fuzzy generalized semiclosed set(IFGSCS in short) if scl(A) ⊆ U whenever A ⊆ U and U is an IFOS in X [11], (3) intuitionistic fuzzy generalized semipreclosed set(IFGSPCS in short) if sp- cl(A) ⊆ U whenever A ⊆ U and U is an IFOS in X [12], (4) intuitionistic fuzzy alpha generalized closed set(IFαGCS in short) if αcl(A) ⊆ U whenever A ⊆ U and U is an IFOS in X [9], (5) intuitionitic fuzzy generalized alpha closed set (IFGαCS in short) if αcl(A) ⊆ U whenever A ⊆ U and U is an IFαOS in X [7]. The complements of the above mentioned intuitionistic fuzzy closed sets are called their respective intuitionistic fuzzy open sets. Definition 2.11. [15] An IFS A of an IFTS (X, τ) is said to be an intuitionistic fuzzy alpha generalized semi closed set(IFαGSCS in short) if αcl(A) ⊆ U whenever A ⊆ U and U is an IFSOS in (X, τ). An IFS A is said to be an intuitionistic fuzzy α-generalized semi openset(IFαGSOS in short) in X if Ac is an IFαGSCS in X. The family of all IFαGSCSs(respective IFαGSOSs) of an IFTS (X, τ) is denoted by IFαGSCS(X)(respective IFαGSOS(X)). Remark 2.12. [15] Every IFCS, IFRCS, IFαCS is an IFαGSCS but their sepa- rate converses may not be true in general. Every IFαGSCS is IFGSCS, IFGαCS, IFαGCS but their separate converses may not be true in general. Definition 2.13. Let f be a mapping from an IFTS (X, τ) into an IFTS (Y, σ). Then f is said to be an (1) intuitionistic fuzzy continuous (IF continuous in short) if f−1(B) ∈ IFOS(X) for every B ∈ σ[4], (2) intuitionistic fuzzy α-continuous (IFα continuous in short) if f−1(B) ∈ IFαOS(X) for every B ∈ σ[6], (3) intuitionistic fuzzy pre continuous (IFP continuous in short) if f−1(B) ∈ IFPOS(X) for every B ∈ σ[6]. Every IF continuous mapping is an IFα-continuous mapping but not conversely. Definition 2.14. Let f be a mapping from an IFTS (X, τ) into an IFTS (Y, σ). Then f is said to be an (1) intuitionistic fuzzy generalized continuous(IFG continuous in short) if f−1(B) is an IFGCS for every IFCS B of (Y, σ)[13], (2) intuitionistic fuzzy generalized semi continuous(IFGS continuous in short) if f−1(B) is an IFGSCS for every IFCS B of (Y, σ)[11], 96 JEYARAMAN, YUVARANI AND RAVI (3) intuitionistic fuzzy generalized semi pre continuous(IFGSP continuous in short) if f−1(B) is an IFGSPCS for every IFCS B of (Y, σ)[12], (4) intuitionistic fuzzy α-generalized continuous(IFαG continuous in short) if f−1(B) is an IFαGCS for every IFCS B of (Y, σ)[10], (5) intuitionistic fuzzy generalized α continuous(IFGα continuous in short) if f−1(B) is an IFGαCS for every IFCS B of (Y, σ)[7]. Definition 2.15. Let f be a mapping from an IFTS (X, τ) into an IFTS (Y, σ). Then f is said to be an (1) intuitionistic fuzzy irresolute (IF irresolute in short) if f−1(B) ∈ IFCS(X) for every IFCS B in Y[11], (2) intuitionistic fuzzy generalized irresolute(IFG irresolute in short) if f−1(B) is IFGCS in X for every IFGCS B in Y[11]. 3. Intuitionistic fuzzy α-generalized semi continuous mappings In this section we introduce intuitionistic fuzzy α-generalized semi continuous mapping and study some of its properties. Definition 3.1. A mapping f:(X, τ) → (Y, σ) is called an intuitionistic fuzzy α- generalized semi continuous(IFαGS continuous in short) if f−1(B) is an IFαGSCS in (X, τ) for every IFCS B of (Y, σ). Example 3.2. Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.6, 0.7), (0.4, 0.3)〉 and T2 = 〈 y, (0.9, 0.8), (0.1, 0.2) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Then f is an IFαGS continuous mapping. Theorem 3.3. Every IF continuous mapping is an IFαGS continuous mapping. Proof. Let f:(X, τ) → (Y, σ) be an IF continuous mapping. Let A be an IFCS in Y. Since f is an IF continuous mapping, f−1(A) is an IFCS in X. Since every IFCS is an IFαGSCS, f−1(A) is an IFαGSCS in X. Hence f is an IFαGS continuous mapping. Example 3.4. IFαGS continuous mapping 9 IF continuous mapping Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.4, 0.2), (0.6, 0.7)〉 and T2 = 〈 y, (0.3, 0.2), (0.7, 0.8) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.7, 0.8), (0.3, 0.2)〉 is IFCS in Y, f−1(A) is an IFαGSCS but not IFCS in X. Therefore f is an IFαGS continuous mapping but not an IF continuous mapping. Theorem 3.5. Every IFα continuous mapping is an IFαGS continuous mapping. Proof. Let f:(X, τ) → (Y, σ) be an IFα continuous mapping. Let A be an IFCS in Y. Then by hypothesis f−1(A) is an IFαCS in X. Since every IFαCS is an IFαGSCS, f−1(A) is an IFαGSCS in X. Hence f is an IFαGS continuous mapping. Example 3.6. IFαGS continuous mapping 9 IFα continuous mapping Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.4, 0.5), (0.6, 0.5)〉 and T2 = 〈 y, (0.2, 0.4), (0.8, 0.6) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.8, 0.6), (0.2, 0.4)〉 is IFCS in Y, f−1(A) is an IFαGSCS IFαGS CONTINUOUS AND IFαGS IRRESOLUTE MAPPINGS 97 but not IFαCS in X. Therefore f is an IFαGS continuous mapping but not an IFα continuous mapping. Remark 3.7. IFG continuous mappings and IFαGS continuous mappings are in- dependent of each other. Example 3.8. IFαGS continuous mapping 9 IFG continuous mapping. Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.4, 0.7), (0.5, 0.3)〉 and T2 = 〈 y, (0.6, 0.8), (0.3, 0.2) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Then f is IFαGS continuous mapping but not IFG continuous mapping. Since A = 〈y, (0.3, 0.2), (0.6, 0.8)〉 is IFCS in Y, f−1(A) = 〈 x, (0.3, 0.2), (0.6, 0.8)〉 is not IFGCS in X. Example 3.9. IFG continuous mapping 9 IFαGS continuous mapping. Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.6, 0.8), (0.4, 0.2)〉 and T2 = 〈 y, (0.3, 0.1), (0.7, 0.9) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Then f is IFG continuous mapping but not an IFαGs continuous mapping. Since A = 〈y, (0.7, 0.9), (0.3, 0.1)〉 is IFCS in Y, f−1(A) = 〈 x, (0.7, 0.9), (0.3, 0.1)〉 is not IFαGSCS in X. Theorem 3.10. Every IFαGS continuous mapping is an IFGS continuous map- ping. Proof. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping. Let A be an IFCS in Y. Then by hypothesis f−1(A) IFαGSCS in X. Since every IFαGSCS is an IFGSCS, f−1(A) is an IFGSCS in X. Hence f is an IFGS continuous mapping. Example 3.11. IFGS continuous mapping 9 IFαGS continuous mapping. Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.7, 0.8), (0.3, 0.1)〉 and T2 = 〈 y, (0.2, 0), (0.8, 0.8) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.8, 0.8), (0.2, 0)〉 is IFCS in Y, f−1(A) is IFGSCS in X but not IFαGSCS in X. Therefore f is an IFGS continuous mapping but not an IFαGS continuous mapping. Remark 3.12. IFP continuous mappings and IFαGS continuous mappings are independent of each other. Example 3.13. IFP continuous mapping 9 IFαGS continuous mapping Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.4, 0.3), (0.6, 0.5)〉 and T2 = 〈 y, (0.7, 0.8), (0.2, 0.1) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.2, 0.1), (0.7, 0.8)〉 is IFCS in Y, f−1(A) is IFPCS in X but not IFαGSCS in X. Therefore f is an IFP continuous mapping but not IFαGS continuous mapping. Example 3.14. IFαGS continuous mapping 9 IFP continuous mapping Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.3, 0.4), (0.7, 0.6)〉 and T2 = 〈 y, (0.4, 0.5), (0.6, 0.5) 〉 and T3 = 〈 y, (0.7, 0.4), (0.3, 0.6) 〉. Then τ = { 0∼, T1, T2, 1∼ } and σ = { 0∼, T3, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.3, 0.6), (0.7, 98 JEYARAMAN, YUVARANI AND RAVI 0.4)〉 is IFαGSCS but not IFPCS in Y, f−1(A) is IFαGSCS in X but not IFPCS in X. Therefore f is an IFαGS continuous mapping but not IFP continuous mapping. Theorem 3.15. Every IFαGS continuous mapping is an IFGSP continuous map- ping. Proof. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping. Let A be an IFCS in Y. Then by hypothesis f−1(A) is an IFαGSCS in X. Since every IFαGSCS is an IFGSPCS, f−1(A) is an IFGSPCS in X. Hence f is an IFGSP continuous mapping. Example 3.16. IFGSP continuous mapping 9 IFαGS continuous mapping. Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.3, 0.1), (0.6, 0.8)〉 and T2 = 〈 y, (0.7, 0.8), (0.2, 0.0) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.2, 0.0), (0.7, 0.8)〉 is IFCS in Y, f−1(A) is an IFGSPCS but not IFαGSCS in X. Therefore f is an IFGSP continuous mapping but not an IFαGS continuous mapping. Theorem 3.17. Every IFαGS continuous mapping is an IFαG continuous map- ping. Proof. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping. Let A be an IFCS in Y. Since f is IFαGS continuous mapping, f−1(A) is an IFαGSCS in X. Since every IFαGSCS is an IFαGCS, f−1(A) is an IFαGCS in X. Hence f is an IFαG continuous mapping. Example 3.18. IFαG continuous mapping 9 IFαGS continuous mapping Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.1, 0.3), (0.7, 0.6)〉 and T2 = 〈 y, (0.6, 0.5), (0.3, 0.4) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.3, 0.4), (0.6, 0.5)〉 is IFCS in Y, f−1(A) is IFαGCS in X but not IFαGSCS in X. Therefore f is an IFαG continuous mapping but not an IFαGS continuous mapping. Theorem 3.19. Every IFαGS continuous mapping is an IFGα continuous map- ping. Proof. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping. Let A be an IFCS in Y. Since f is IFαGS continuous mapping, f−1(A) is an IFαGSCS in X. Since every IFαGSCS is an IFGαCS, f−1(A) is an IFGαCS in X. Hence f is an IFGα continuous mapping. Example 3.20. IFGα continuous mapping 9 IFαGS continuous mapping Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.4, 0.2), (0.6, 0.8)〉 and T2 = 〈 y, (0.5, 0.4), (0.5, 0.6) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Since the IFS A = 〈y, (0.5, 0.6), (0.5, 0.4)〉 is IFCS in Y, f−1(A) is IFGαCS in X but not IFαGSCS in X. Therefore f is an IFGα continuous mapping but not an IFαGS continuous mapping. Remark 3.21. We obtain the following diagram from the results we discussed above. IFαGS CONTINUOUS AND IFαGS IRRESOLUTE MAPPINGS 99 IF cts - IFαGS cts - IFGα cts IFαG cts IFGS cts - @ @@I � � �� @ @ @I 7 R� ��� IFα cts - w � IFGSP cts None of the reverse implications are not true. Theorem 3.22. A mapping f: X → Y is IFαGS continuous if and only if the inverse image of each IFOS in Y is an IFαGSOS in X. Proof. ⇒ part Let A be an IFOS in Y. This implies Ac is IFCS in Y. Since f is IFαGS continuous, f−1(Ac) is IFαGSCS in X. Since f−1(Ac) = (f−1(A))c, f−1(A) is an IFαGSOS in X. ⇐ part Let A be an IFCS in Y. Then Ac is an IFOS in Y. By hypothesis f−1(Ac) is IFαGSOS in X. Since f−1(Ac) = (f−1(A))c, (f−1(A))c is an IFαGSOS in X. Therefore f−1(A) is an IFαGSCS in X. Hence f is IFαGS continuous. Theorem 3.23. Let f:(X, τ) → (Y, σ) be a mapping and f−1(A) be an IFRCS in X for every IFCS A in Y. Then f is an IFαGS continuous mapping. Proof. Let A be an IFCS in Y and f−1(A) be an IFRCS in X. Since every IFRCS is an IFαGSCS, f−1(A) is an IFαGSCS in X. Hence f is an IFαGS continuous mapping. Definition 3.24. An IFTS (X, τ) is said to be an (1) intuitionistic fuzzy αgaT1/2(in short IFαgaT1/2)space if every IFαGSCS in X is an IFCS in X, (2) intuitionistic fuzzy αgbT1/2(in short IFαgbT1/2)space if every IFαGSCS in X is an IFGCS in X, (3) intuitionistic fuzzy αgcT1/2(in short IFαgcT1/2)space if every IFαGSCS in X is an IFGSCS in X. Theorem 3.25. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping, then f is an IF continuous mapping if X is an IFαgaT1/2 space. Proof. Let A be an IFCS in Y. Then f−1(A) is an IFαGSCS in X, by hypothesis. Since X is an IFαgaT1/2, f −1(A) is an IFCS in X. Hence f is an IF continuous mapping. Theorem 3.26. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping, then f is an IFG continuous mapping if X is an IFαgbT1/2 space. Proof. Let A be an IFCS in Y. Then f−1(A) is an IFαGSCS in X, by hypothesis. Since X is an IFαgbT1/2, f −1(A) is an IFGCS in X. Hence f is an IFG continuous mapping. 100 JEYARAMAN, YUVARANI AND RAVI Theorem 3.27. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping, then f is an IFGS continuous mapping if X is an IFαgcT1/2 space. Proof. Let A be an IFCS in Y. Then f−1(A) is an IFαGSCS in X, by hypothesis. Since X is an IFαgcT1/2, f −1(A) is an IFGSCS in X. Hence f is an IFGS continuous mapping. Theorem 3.28. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping and g:(Y, σ) → (Z, δ) be an IF continuous, then g◦f : (X, τ) → (Z, δ) is an IFαGS continuous. Proof. Let A be an IFCS in Z. Then g−1(A) is an IFCS in Y, by hypothesis. Since f is an IFαGS continuous mapping, f−1(g−1(A)) is an IFαGSCS in X. Hence g◦f is an IFαGS continuous mapping. Theorem 3.29. Let f:(X, τ) → (Y, σ) be a mapping from an IFTS X into an IFTS Y. Then the following conditions are equivalent if X is an IFαgaT1/2 space. (1) f is an IFαGS continuous mapping. (2) If B is an IFOS in Y then f−1(B) is an IFαGSOS in X. (3) f−1(int(B)) ⊆ int(cl(int(f−1(B)))) for every IFS B in Y. Proof. (1) ⇒ (2): is obviously true. (2) ⇒ (3): Let B be any IFS in Y. Then int(B) is an IFOS in Y. Then f−1(int(B)) is an IFαGSOS in X. Since X is an IFαgaT1/2 space, f −1(int(B)) is an IFOS in X. Therefore f−1(int(B)) = int(f−1(int(B))) ⊆ int(cl(int(f−1(B)))). (3) ⇒ (1) Let B be an IFCS in Y. Then its complement Bc is an IFOS in Y. By hypothesis f−1(int(Bc)) ⊆ int(cl(int(f−1(int(Bc))))). This implies that f−1(Bc) ⊆ int(cl(int(f−1(int(Bc))))). Hence f−1(Bc) is an IFαOS in X. Since every IFαOS is an IFαGSOS, f−1(Bc) is an IFαGSOS in X. Therefore f−1(B) is an IFαGSCS in X. Hence f is an IFαGS continuous mapping. Theorem 3.30. Let f:(X, τ) → (Y, σ) be a mapping. Then the following conditions are equivalent if X is an IFαgaT1/2 space. (1) f is an IFαGS continuous mapping. (2) f−1(A) is an IFαGSCS in X for every IFCS A in Y. (3) cl(int(cl(f−1(A)))) ⊆ f−1(cl(A)) for every IFS A in Y. Proof. (1) ⇒ (2): is obviously true. (2) ⇒ (3): Let A be an IFS in Y. Then cl(A) is an IFCS in Y. By hypothe- sis, f−1(cl(A)) is an IFαGSCS in X. Since X is an IFαgaT1/2 space, f −1(cl(A)) is an IFCS in X. Therefore cl(f−1(cl(A))) = f−1(cl(A)). Now cl(int(cl(f−1(A)))) ⊆ cl(int(cl(f−1(cl(A))))) ⊆ f−1(cl(A)). (3) ⇒ (1): Let A be an IFCS in Y. By hypothesis cl(int(cl(f−1(A)))) ⊆ f−1(cl(A)) = f−1(A). This implies f−1(A) is an IFαCS in X and hence it is an IFαGSCS in X.Therefore f is an IFαGS continuous mapping. Definition 3.31. Let (X, τ) be an IFTS. The alpha generalized semi closure (αgscl(A) in short) for any IFS A is defined as follows. αgscl(A) = ∩ {K | K is an IFαGSCS in X and A ⊆ K }. If A is IFαGSCS, then αgscl(A) = A. Theorem 3.32. Let f:(X, τ) → (Y, σ) be an IFαGS continuous mapping. Then the following conditions are hold. IFαGS CONTINUOUS AND IFαGS IRRESOLUTE MAPPINGS 101 (1) f(αgscl(A)) ⊆ cl(f(A)), for every IFS A in X. (2) αgscl(f−1(B)) ⊆ f−1(cl(B)), for every IFS B in Y. Proof. (i) Since cl(f(A)) is an IFCS in Y and f is an IFαGS continuous map- ping, f−1(cl(f(A))) is IFαGSCS in X. That is αgscl(A) ⊆ f−1(cl(f(A))). Therefore f(αgscl(A)) ⊆ cl(f(A)), for every IFS A in X. (ii) Replacing A by f−1(B) in (i) we get f(αgscl(f−1(B))) ⊆ cl(f(f−1(B))) ⊆ cl(B). Hence αgscl(f−1(B)) ⊆ f−1(cl(B)), for every IFS B in Y. Remark 3.33. The composition of two IFαGS continuous mappings need not be IFαGS continuous as can be seen from the following example: Example 3.34. Let X = {a, b}, Y = {u, v} and Z = {s, t}. Let τ = { 0∼, T1, 1∼ }, σ = { 0∼, T2, 1∼ } and δ = { 0∼, T3, 1∼ } be IFTs on X, Y and Z respectively where T1 = 〈 x, (0.4, 0.3), (0.6, 0.7)〉, T2 = 〈 y, (0.3, 0.8), (0.7, 0.2)〉 and T3 = 〈 z, (0.4, 0.9), (0.6, 0.1)〉. Define f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v and g:(Y, σ) → (Z, δ) by g(u) = s and g(v) = t. Then f and g are IFαGS continuous mappings. Since A = 〈z, (0.6, 0.1), (0.4, 0.9)〉 is an IFCS in Z, f−1(A) is not an IFαGSCS in X. Therefore the composition map g ◦ f: (X, τ) → (Z, δ) is not an IFαGS continuous. 4. Intuitionistic fuzzy α-generalized semi irresolute mappings In this section we introduce intuitionistic fuzzy α-generalized semi irresolute mappings and study some of its characterizations. Definition 4.1. A mapping f:(X, τ) → (Y, σ) is called an intuitionistic fuzzy alpha-generalized semi irresolute( IFαGS irresolute) mapping if f−1(A) is an IFαGSCS in (X, τ) for every IFαGSCS A of (Y, σ). Theorem 4.2. Let f:(X, τ) → (Y, σ) be an IFαGS irresolute, then f is an IFαGS continuous mapping. Proof. Let f be an IFαGS irresolute mapping. Let A be any IFCS in Y. Since every IFCS is an IFαGSCS, A is an IFαGSCS in Y. By hypothesis f−1(A) is an IFαGSCS in X. Hence f is an IFαGS continuous mapping. Example 4.3. IFαGS continuous mapping 9 IFαGS irresolute mapping. Let X = {a, b}, Y = {u, v}, T1 = 〈 x, (0.3, 0.4), (0.6, 0.5)〉 and T2 = 〈 y, (0.7, 0.3), (0.2, 0.6) 〉. Then τ = { 0∼, T1, 1∼ } and σ = { 0∼, T2, 1∼ } are IFTs on X and Y respectively. Define a mapping f:(X, τ) → (Y, σ) by f(a) = u and f(b) = v. Then f is an IFαGS continuous. We have B = 〈y, (0.1, 0.5), (0.8, 0.4)〉 is an IFαGSCS in Y but f−1(B) is not an IFαGSCS in X. Therefore f is not an IFαGS irresolute mapping. Theorem 4.4. Let f:(X, τ) → (Y, σ) be an IFαGS irresolute, then f is an IF irresolute mapping if X is an IFαgaT1/2 space. Proof. Let A be an IFCS in Y. Then A is an IFαGSCS in Y. Therefore f−1(A) is an IFαGSCS in X, by hypothesis. Since X is an IFαgaT1/2 space, f −1(A) is an IFCS in X. Hence f is an IF irresolute mapping. Theorem 4.5. Let f:(X, τ) → (Y, σ) and g:(Y, σ) → (Z, δ) be IFαGS irresolute mappings, then g◦f: (X, τ) → (Z, δ) is an IFαGS irresolute mapping. 102 JEYARAMAN, YUVARANI AND RAVI Proof. Let A be an IFαGSCS in Z. Then g−1(A) is an IFαGSCS in Y. Since f is an IFαGS irresolute mapping. f−1((g−1(A))) is an IFαGSCS in X. Hence g◦f is an IFαGS irresolute mapping. Theorem 4.6. Let f:(X, τ) → (Y, σ) be an IFαGS irresolute and g:(Y, σ) → (Z, δ) be IFαGS continuous mappings, then g◦f: (X, τ) → (Z, δ) is an IFαGS continuous mapping. Proof. Let A be an IFCS in Z. Then g−1(A) is an IFαGSCS in Y. Since f is an IFαGS irresolute, f−1((g−1(A)) is an IFαGSCS in X. Hence g◦f is an IFαGS continuous mapping. Theorem 4.7. Let f:(X, τ) → (Y, σ) be an IFαGS irresolute, then f is an IFG irresolute mapping if X is an IFαgbT1/2 space. Proof. Let A be an IFαGSCS in Y. By hypothesis, f−1(A) is an IFαGSCS in X. Since X is an IFαgbT1/2 space, f −1(A) is an IFGCS in X. Hence f is an IFG irresolute mapping. Theorem 4.8. Let f:(X, τ) → (Y, σ) be a mapping from an IFTS X into an IFTS Y. Then the following conditions are equivalent if X and Y are IFαgaT1/2 spaces. (1) f is an IFαGS irresolute mapping. (2) f−1(B) is an IFαGSOS in X for each IFαGSOS B in Y. (3) cl(f−1(B)) ⊆ f−1(cl(B)) for each IFS B of Y. Proof. (1) ⇒ (2): Let B be any IFαGSOS in Y. Then Bc is an IFαGSCS in Y. Since f is IFαGS irresolute, f−1(Bc) is an IFαGSCS in X. But f−1(Bc) = (f−1(B))c. Therefore f−1(B) is an IFαGSOS in X. (2) ⇒ (3): Let B be any IFS in Y and B ⊆ cl(B). Then f−1(B) ⊆ f−1(cl(B)). Since cl(B) is an IFCS in Y, cl(B) is an IFαGSCS in Y. Therefore (cl(B))c is an IFαGSOS in Y. By hypothesis, f−1((cl(B))c) is an IFαGSOS in X. Since f−1((cl(B))c) = (f−1(cl(B)))c, f−1(cl(B)) is an IFαGSCS in X. Since X is IFαgaT1/2 space, f −1(cl(B)) is an IFCS in X. Hence cl(f−1(B)) ⊆ cl(f−1(cl(B))) = f−1(cl(B)). That is cl(f−1(B)) ⊆ f−1(cl(B)). (3) ⇒ (1): Let B be any IFαGSCS in Y. Since Y is IFαgaT1/2 space, B is an IFCS in Y and cl(B) = B. Hence f−1(B) = f−1(cl(B)) ⊇ cl(f−1(B)). But clearly f−1(B) ⊆ cl(f−1(B)). Therefore cl(f−1(B)) = f−1(B). This implies f−1(B) is an IFCS and hence it is an IFαGSCS in X. Thus f is an IFαGS irresolute mapping. References [1] Atanassov. K. T., Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 20(1986), 87-96. [2] Chang. C., Fuzzy topological spaces, J. Math.Anal.Appl., 24(1968), 182-190. [3] Coker. D., An introduction to fuzzy topological spaces, Fuzzy sets and systems, 88(1997), 81-89. [4] Gurcay. H., Coker. D.,and Es. A. Haydar., On fuzzy continuity in intuitionistic fuzzy topo- logical spaces, Jour. of Fuzzy Math., 5(1997), 365-378. [5] Hur. K. and Jun. Y. B., On intuitionistic fuzzy alpha continuous mappings, Honam Math. Jour., 25(2003), 131-139. [6] Joung Kon Jeon, Young Bae Jun, and Jin Han Park, Intuitionistic fuzzy alpha continuity and intuitionistic fuzzy pre continuity, International Journal of Mathematics and Mathematical Sciences, 19(2005), 3091-3101. [7] Kalamani. D, Sakthivel. K and Gowri. C. S., Generalized alpha closed sets in intuitionistic fuzzy topological spaces, Applied Mathematical Sciences, 6(2012), 4691-4700. IFαGS CONTINUOUS AND IFαGS IRRESOLUTE MAPPINGS 103 [8] Rajamani. M and K. Viswanathan, On αgs-continuous maps in topological spaces, Acta Ciencia Indica, XXXI M (1)(2005), 293-303. [9] Sakthivel. K., Intuitionistic fuzzy alpha generalized closed sets and intuitionistic fuzzy alpha generalized open sets, The Mathematical Education, 4(2012), Submitted. [10] Sakthivel. K., Intuitionistic fuzzy Alpha Generalized Continuous Mappings and Intuitionistic Alpha Generalized Irresolute Mappings, Applied Mathematical Sciences, 4(37)(2010), 1831- 1834. [11] Santhi. R and Sakthivel. K., Intuitionistic fuzzy generalized semi continuous mappings, Ad- vances in Theoretical and Applied Mathematics, 5(2009), 73-82. [12] Santhi. R and Jayanthi. D., Intuitionistic fuzzy generalized semi-pre continuous mappings., Int.J.Contemp.Math.Sciences, 5(30)(2010), 1455-1469. [13] Thakur. S. S and Rekha Chaturvedi., Generalized closed sets in intuitionistic fuzzy topology, The Journal of Fuzzy Mathematics, 16(2008), 559-572. [14] Young BaeJin and Seok-Zun Song, Intuitionistic fuzzy semi-pre open sets and Intuitionistic semi-pre continuous mappings, jour. of Appl. Math and computing, 19(2005), 467-474. [15] Jeyaraman. M, Yuvarani. A and Ravi. O., Intuitionistic fuzzy α-generalized semi closed set- s(submitted) [16] Zadeh. L. A., Fuzzy sets, Information and control, 8(1965), 338-353. 1Department of Mathematics, H. H.The Rajah’s College, Pudukkottai, Tamil Nadu, India 2Department of Mathematics, Raja College of Engineering and Technology, Madu- rai, Tamil Nadu, India 3Department of Mathematics, P. M. Thevar College, Usilampatti, Madurai District, Tamil Nadu, India ∗Corresponding author