On Intuitionistic Fuzzy β-Almost Compactness and β-Nearly Compactness
R. Renuka, V. Seenivasan

TL;DR
This paper introduces and explores new concepts of compactness in intuitionistic fuzzy topological spaces.
Contribution
It introduces and characterizes intuitionistic fuzzy β-almost compactness and β-nearly compactness.
Findings
Characterizations and properties of intuitionistic fuzzy β-almost compactness and β-nearly compactness are established.
The behavior of these compactness types under intuitionistic fuzzy continuous mappings is investigated.
Abstract
The concept of intuitionistic fuzzy β-almost compactness and intuitionistic fuzzy β-nearly compactness in intuitionistic fuzzy topological spaces is introduced and studied. Besides giving characterizations of these spaces, we study some of their properties. Also, we investigate the behavior of intuitionistic fuzzy β-compactness, intuitionistic fuzzy β-almost compactness, and intuitionistic fuzzy β-nearly compactness under several types of intuitionistic fuzzy continuous mappings.
Genes, proteins, chemicals, diseases, species, mutations and cell lines named across the full text — each resolved to its canonical identifier and authoritative record.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFuzzy and Soft Set Theory · Advanced Algebra and Logic · Multi-Criteria Decision Making
1. Introduction
As a generalization of fuzzy sets introduced by Zadeh [1], the concept of intuitionistic fuzzy set was introduced by Atanassov [2]. Coker [3] introduced intuitionistic fuzzy topological spaces. Later on, Coker [3] introduced fuzzy compactness in intuitionistic fuzzy topological spaces. In [4], the concept of intuitionistic fuzzy β-compactness was defined. In this paper some properties of intuitionistic fuzzy β-compactness were investigated. We use the finite intersection property to give characterization of the intuitionistic fuzzy β-compact spaces. Also we introduce intuitionistic fuzzy β-almost compactness and intuitionistic fuzzy β-nearly compactness and established the relationships between these types of compactness.
2. Preliminaries
Definition 1 (see [2]). Let X be a nonempty fixed set and I the closed interval [0,1]. An intuitionistic fuzzy set (IFS) A is an object of the following form:
where the mappings μ A(x) : X → I and ν A(x) : X → I denote the degree of membership, namely, μ A(x), and the degree of nonmembership, namely, ν A(x), for each element x ∈ X to the set A, respectively, and 0 ≤ μ A(x) + ν A(x) ≤ 1 for each x ∈ X.
Definition 2 (see [2]). Let A and B be IFSs of the forms A = {〈x, μ A(x), ν A(x)〉; x ∈ X} and B = {〈x, μ B(x), ν B(x)〉; x ∈ X}. Then
- A⊆B if and only if μ A(x) ≤ μ B(x) and ν A(x) ≥ ν B(x);
- ;
- A∩B = {〈x, μ A(x)∧μ B(x), ν A(x)∨ν B(x)〉; x ∈ X};
- A ∪ B = {〈x, μ A(x)∨μ B(x), ν A(x)∧ν B(x)〉; x ∈ X}.
We will use the notation A = {〈x, μ A, ν A〉; x ∈ X} instead of A = {〈x, μ A(x), ν A(x)〉; x ∈ X}.
Definition 3 (see [2]). Consider 0__ = {〈x, 0,1〉; x ∈ X} and 1__ = {〈x, 1,0〉; x ∈ X}.
Let α, β ∈ [0,1] such that α + β ≤ 1. An intuitionistic fuzzy point (IFP) p (α, β) is intuitionistic fuzzy set defined by
Definition 4 (see [3]). An intuitionistic fuzzy topology (IFT) in Coker's sense on a nonempty set X is a family τ of intuitionistic fuzzy sets in X satisfying the following axioms:
- 0_
, 1_ ∈ τ; - G 1∩G 2 ∈ τ, for any G 1, G 2 ∈ τ;
- ∪G i ∈ τ for any arbitrary family {G i; i ∈ J}⊆τ. In this paper by (X, τ) and (Y, σ) or simply by X and Y, we will denote the intuitionistic fuzzy topological spaces (IFTSs). Each IFS which belongs to τ is called an intuitionistic fuzzy open set (IFOS) in X. The complement of an IFOS A in X is called an intuitionistic fuzzy closed set (IFCS) in X.
Let X and Y be two nonempty sets and let f : (X, τ)→(Y, σ) be a function.
If B = {〈y, μ B(y), ν B(y)〉; y ∈ Y} is an IFS in Y, then the preimage of B under f is denoted and defined by f ^−1^(B) = {〈x, f ^−1^(μ B(x)), f ^−1^(ν B(x))〉; x ∈ X}. Since μ B(x), ν B(x) are fuzzy sets, we explain that f ^−1^(μ B(x)) = μ B(x)(f(x)) and f ^−1^(ν B(x)) = ν B(x)(f(x)).
Definition 5 (see [5]). Let p (α,β) be an IFP in IFTS X. An IFS A in X is called an intuitionistic fuzzy neighborhood (IFN) of p (α,β) if there exists an IFOS B in X such that p (α,β)∈B⊆A.
Definition 6 (see [3]). Let (X, τ) be an IFTS and let A = {〈x, μ A(x), ν A(x)〉; x ∈ X} be an IFS in X. Then the intuitionistic fuzzy closure and intuitionistic fuzzy interior of A are defined by
- cl (A) = ∩{C : C is an IFCS in X and C⊇A};
- int (A) = ∪{D : D is an IFOS in X and D⊆A}. It can be also shown that cl (A) is an IFCS, int (A) is an IFOS in X, and A is an IFCS in X if and only if cl (A) = A; A is an IFOS in X if and only if int (A) = A.
Proposition 7 (see [3]). Let (X, τ) be an IFTS and let A and B be IFSs in X. Then the following properties hold:
- , ;
- int (A)⊆A⊆cl (A).
Definition 8 (see [6]). An IFS A in an IFTS X is called an intuitionistic fuzzy β-open set (IFβOS) if A⊆cl(int(clA)). The complement of an IFβOS A in IFTS X is called an intuitionistic fuzzy β-closed set (IFβCS) in X.
Definition 9 (see [6]). Let f be a mapping from an IFTS X into an IFTS Y. The mapping f is called
- intuitionistic fuzzy continuous if and only if f ^−1^(B) is an IFOS in X, for each IFOS B in Y;
- intuitionistic fuzzy β-continuous if and only if f ^−1^(B) is an IFβOS in X, for each IFOS B in Y.
Definition 10 (see [4]). Let (X, τ) be an IFTS and let A = {〈x, μ A(x), ν A(x)〉; x ∈ X} be an IFS in X. Then the intuitionistic fuzzy β-closure and intuitionistic fuzzy β-interior of A are defined by
- βcl(A) = ∩{C : C is an IFβCS in X and C⊇A};
- βint(A) = ∪{D : D is an IFβOS in X and D⊆A}.
Definition 11 (see [7]). A fuzzy function f : X → Y is called fuzzy β-irresolute if inverse image of each fuzzy β-open set is fuzzy β-open.
Definition 12 (see [4]). A function f : (X, τ)→(Y, σ) from an intuitionistic fuzzy topological space (X, τ) to another intuitionistic fuzzy topological space (Y, σ) is said to be intuitionistic fuzzy β-irresolute if f ^−1^(B) is an IFβOS in (X, τ) for each IFβOS B in (Y, σ).
Definition 13 (see [3, 4]). Let X be an IFTS. A family of {〈x, μ Gi(x), ν Gi(x)〉; i ∈ J} intuitionistic fuzzy open sets (intuitionistic fuzzy β-open sets) in X satisfies the condition 1_~_ = ∪{〈x, μ Gi(x), ν Gi(x)〉; i ∈ J} which is called an intuitionistic fuzzy open (intuitionistic fuzzy β-open) cover of X. A finite subfamily of an intuitionistic fuzzy open (intuitionistic fuzzy β-open) cover {〈x, μ Gi(x), ν Gi(x)〉; i ∈ J} of X which is also an intuitionistic fuzzy open (intuitionistic fuzzy β-open) cover of X is called a finite subcover of {〈x, μ Gi(x), ν Gi(x)〉; i ∈ j}.
Definition 14 (see [3]). An IFTS X is called intuitionistic fuzzy compact if each fuzzy open cover of X has a finite subcover for X.
Definition 15 (see [8]). An IFTS X is called intuitionistic fuzzy almost compact (IF almost compact) if, for every IF open cover {U j : j ∈ J} of X, there exists a finite subfamily J 0 ⊂ J such that X = ∪{cl(U j) : j ∈ J 0}.
Definition 16 (see [4]). An IFTS X is said to be intuitionistic fuzzy β-compact (IF β-compact) if every IF β-open cover of X has a finite subcover.
Definition 17 (see [6]). Let (X, τ) and (Y, σ) be two IFTSs. A function f : X → Y is said to be intuitionistic fuzzy weakly continuous (IF weakly continuous) if, for each IFOS V in Y, f ^−1^(V)⊆int (f ^−1^(clV)).
3. Intuitionistic Fuzzy β-Compactness
Definition 18 . An IFTS B of (X, τ) is said to be IF β-compact relative to X if, for every collection {A i; i ∈ I} of IF β-open subsets of X such that B⊆∪{A i; i ∈ I}, there exists a finite subset I 0 of I such that B⊆∪{A i; i ∈ I 0}.
Definition 19 . An IFTS B of (X, τ) is said to be IF β-compact if it is IF β-compact as a subspace of X.
Definition 20 . A family of IF β-closed sets {A i; i ∈ I} has the finite intersection property (in short FIP) if, for any subset I 0 of I, ∩i∈I0 A i ≠ 0_~_.
Theorem 21 . For an IFTS X the following statements are equivalent.
- X is IF β-compact.
- Any family of IF β-closed subsets of X satisfying the FIP has a nonempty intersection.
ProofLet X be IF β-compact space and let {A
i; i ∈ I} be a family of IF β-closed subsets of X satisfying the FIP. Suppose ∩i∈I
A
i = 0_. Then . Since is a collection of IF β-open sets cover X, then from IF β-compactness of X there exists a finite subset I
0 of I such that . Then ∩i∈I0_
A
i = 0__ which gives a contradiction and therefore ∩i∈I
A
i ≠ 0_. Thus (i)⇒(ii).Let {A
i; i ∈ I} be a family of IF β-open sets cover X. Suppose that for any finite subset I
0 of I we have ∪i∈I0_
A
i ≠ 1_. Then . Hence satisfies the FIP. Then, by hypothesis, we have which implies that ∪i∈I_
A
i ≠ 1__ and contradicts that {A
i; i ∈ I} is an IF β-open cover of X. Hence our assumption ∪i∈I0
A
i ≠ 1__ is wrong. Thus ∪i∈I0
A
i = 1_~_ which implies that X is IF β-compact. Thus (ii)⇒(i).
Theorem 22 . An intuitionistic fuzzy β-closed subset of an intuitionistic fuzzy β-compact space is intuitionistic fuzzy β-compact relative to X.
ProofLet A be an IF β-closed subset of X. Let {G i; i ∈ I} be cover of A by IF β-open sets in X. Then the family is an IF β-open cover of X. Since X is IF β-compact, there is a finite subfamily {G 1, G 2,…, G n} of IF β-open cover, which also covers X. If this cover contains , we discard it. Otherwise leave the subcover as it is. Thus we obtained a finite IF β-open subcover of A. So A is IF β-compact relative to X.
Theorem 23 . Let (X, τ) and (Y, σ) be intuitionistic fuzzy topological spaces and let f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-irresolute, surjective mapping. If (X, τ) is IF β-compact space then so is (Y, σ).
ProofLet f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-irresolute mapping of an intuitionistic fuzzy β-compact space (X, τ) onto an IFTS (Y, σ). Let {A i : i ∈ I} be any intuitionistic fuzzy β-open cover of (Y, σ). Then {f ^−1^(A i) : i ∈ I} is collection of intuitionistic fuzzy β-open sets which covers X. Since X is intuitionistic fuzzy β-compact, there exists a finite subset I 0 of I such that subfamily {f ^−1^(A i); i ∈ I 0} of {f ^−1^(A i): i ∈ I} covers X. It follows that {A i; i ∈ I 0} is a finite subfamily of {A i : i ∈ I} which covers Y. Hence Y is intuitionistic fuzzy β-compact.
Theorem 24 . Let (X, τ) and (Y, σ) be intuitionistic fuzzy topological spaces and let f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-irresolute mapping. If A is IF β-compact relative to X then f(A) is IF β-compact relative to Y.
ProofLet {A i : i ∈ I} be a family of IF β-open cover of Y such that f(A)⊆∪i∈I A i. Then A⊆f ^−1^(f(A))⊆f ^−1^(∪i∈I A i) = ∪i∈I f ^−1^(A i). Since f is IF β-irresolute, f ^−1^(A i) is IF β-open cover of X. And A is IF β-compact in (X, τ); there exists a finite subset I 0 of I such that A⊆∪i∈I0 f ^−1^(A i). Hence f(A)⊆f(∪i∈I0 f ^−1^(A i)) = ∪i∈I0 f(f ^−1^(A i))⊆∪i∈I0(A i). Thus f(A) is IF β-compact relative to Y.
Theorem 25 . An IF β-continuous image of IF β-compact space is IF compact.
ProofLet f : (X, τ)→(Y, σ) be an IF β-continuous from an IF β-compact space X onto IFTS Y. Let {A i : i ∈ I} be IF open cover of Y. Then {f ^−1^(A i); i ∈ I} is IF β-open cover of X. Since X is IF β-compact, there exists finite subset I 0 of I such that finite family {f ^−1^(A i); i ∈ I 0} covers X. Since f is onto, {A i : i ∈ I 0} is a finite cover of Y. Hence Y is IF compact.
Definition 26 . Let (X, τ) and (Y, σ) be two intuitionistic fuzzy topological spaces. A mapping f : X → Y is said to be intuitionistic fuzzy strongly β-open if f(V) is IFβOS of Y for every IFβOS V of X.
Theorem 27 . Let f : (X, τ)→(Y, σ) be an IF strongly β-open, bijective function and Y is IF β-compact; then X is IF β-compact.
ProofLet {A
i : i ∈ I} be IF β-open cover of X, and then {f(A
i) : i ∈ I} is IF β-open cover of Y. Since Y is IF β-compact, there is a finite subset I
0 of I such that finite family {f(A
i) : i ∈ I
0} covers Y. But 1_X_ = f
^−1^(1_Y) = f
^−1^
f(∪i∈I0_(A
i)) = ∪i∈I0
A
i and therefore X is IF β-compact.
4. Intuitionistic Fuzzy β-Almost Compactness and Intuitionistic Fuzzy β-Nearly Compactness
In this section we investigate the relationships between IF β-compactness, IF β-almost compactness, and IF β-nearly compactness.
Definition 28 . An IFTS (X, τ) is said to be IF β-almost compactness if and only if, for every family of IF β-open cover {A i : i ∈ I} of X, there exists a finite subset I 0 of I such that ∪i∈I0 βclA i = 1_~_.
Definition 29 . An IFTS (X, τ) is said to be IF β-nearly compactness if and only if, for every family of IF β-open cover {A i : i ∈ I} of X, there exists a finite subset I 0 of I such that ∪i∈I0 βint(βclA i) = 1_~_.
Definition 30 . An IFTS (X, τ) is said to be IF β-regular if, for each IF β-open set A ∈ X, A = ∪{A i ∈ I ^X^∣A i is IF β-open, βclA i⊆A}.
Theorem 31 . Let (X, τ) be IFTS. Then IF β-compactness implies IF β-nearly compactness which implies IF β-almost compactness.
ProofLet (X, τ) be IF β-compact. Then for every IF β-open cover {A
i : i ∈ I} of X, there exists a finite subset ∪i∈I0
A
i = 1_. Since A
i is an IFβOS, for each i ∈ I, A
i = βint(A
i) for each i ∈ I. A
i = βintA
i⊆βint(β cl A
i) for each i ∈ I. Here 1_ = ∪i∈I0
A
i = ∪i∈I0
βintA
i⊆∪i∈I0
βint(β cl A
i). Thus ∪i∈I0
βint(βclA
i) = 1__ which implies that (X, τ) is IF β-nearly compactness. Now let (X, τ) be IF β-nearly compact. Then for every IF β-open cover {A
i : i ∈ I} of X, there exists a finite subset ∪i∈I0
βint(βclA
i) = 1_. Since βint(βclA
i)⊆βclA
i for each i ∈ I
0, 1_ = ∪i∈I0
βint(βclA
i)⊆∪i∈I0
βclA
i. Thus ∪i∈I0
βclA
i = 1__. Hence (X, τ) is IF β-almost compact.
Remark 32 . Converse implications in theorem are not true in general.
Example 33 . Let X be a nonempty set. Then (X, τ) is IFTS, where τ = {0_, 1, A
n}, n ∈ N, where A
n : X → [0,1] is defined by A
n = {〈x, 1 − 1/n, 1/n〉; x ∈ X}, n ∈ N. The collection {A
n : n ∈ N} is IF β-open cover of X. But no finite subset of {A
n : n ∈ N} covers X. Hence X is* not IF β-compact*. But βclA
n = 1_ for n ≥ 3. Thus there exists a finite subfamily {A
n : n ∈ N
0} for N
0⊆N such that ∪n∈N0
βclA
n = 1_. Thus X is* IF β-almost compactness*. Also βint(βclA
n) = βint (1) = 1_ for n ≥ 3. Thus there exists a finite subfamily {A
n : n ∈ N
0} for N
0⊆N such that ∪n∈N0
βintβclA
n = 1_~_. Thus X is* IF β-nearly compactness*.
Theorem 34 . Let (X, τ) be IFTS. If (X, τ) is IF β-almost compact and IF β-regular then (X, τ) is IF β-compact.
ProofLet {A
i : i ∈ I} be IF β-open cover of X such that ∪i∈I
A
i = 1_. Since (X, τ) is IF β-regular, A
i = ∪{B
i ∈ I
^X^∣B
i is IF β-open, βcl B
i⊆A
i} for each i ∈ I. Since 1_ = ∪i∈I(∪i∈I
B
i) and (X, τ) is IF β-almost compact there exists a finite set I
0 of I such that ∪i∈I0
βclB
i = 1_. But βcl(B
i)⊆A
i (βint(βclB
i)⊆βcl(B
i)). We have ∪i∈I0_
A
i⊇∪i∈I0
βclB
i = 1_. Thus, ∪i∈I0_
A
i = 1_~_. Hence (X, τ) is IF β-compact.
Theorem 35 . Let (X, τ) be IFTS. If (X, τ) is IF β-nearly compact and IF β-regular then (X, τ) is IF β-compact.
ProofLet {A
i : i ∈ I} be IF β-open cover of X such that ∪i∈I
A
i = 1_. Since (X, τ) is IF β-regular, A
i = ∪{B
i ∈ I
^X^∣B
i is IF β-open, β cl B
i⊆A
i} for each i ∈ I. Since 1_ = ∪i∈I(∪i∈I
B
i) and (X, τ) is IF β-nearly compact there exists a finite set I
0 of I such that ∪i∈I0
βint(βclB
i) = 1_. But βint (βclB
i)⊆βcl(B
i)⊆A
i. We have ∪i∈I0_
A
i⊇∪i∈I0
βclB
i⊇∪i∈I0
βint(βclB
i) = 1_. Thus, ∪i∈I0_
A
i = 1_~_. Hence (X, τ) is IF β-compact.
Theorem 36 . An IFTS (X, τ) is IF β-almost compact, if and only if, for every family {A i : i ∈ I} of IF β-open sets having the FIP, ∩i∈I βclA i ≠ 0_~_.
ProofLet {A
i : i ∈ I} be a family of IF β-open sets having the FIP. Suppose that ∩i∈I
βclA
i = 0__ and then . Since (X, τ) is IF β-almost compact, there exists a finite subset I
0 of I such that . This implies that . Thus, ∩i∈I0
βint(β cl A
i) = 0_. But A
i = βintA
i⊆βint (βclA
i). This implies that ∩i∈I0_
A
i = 0__ which is in contradiction with FIP of the family. Conversely, let {A
i : i ∈ I} be a family of IF β-open sets such that ∪i∈I
A
i = 1_. Suppose that there exists no finite subset I
0 of I such that ∪i∈I0_
βclA
i = 1_. Since has the FIP then . This implies . Hence . Since A
i⊆βint (βclA
i) for each i ∈ I, ∪i∈I_
A
i ≠ 1__ which is in contradiction with ∪i∈I
A
i = 1_~_.
Theorem 37 . Let (X, τ) and (Y, σ) be IFTS and let f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-irresolute, surjective mapping. If (X, τ) is IF β-almost compact space then so is (Y, σ).
ProofLet f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-irresolute mapping of an intuitionistic fuzzy β-compact space (X, τ) onto an IFTS (Y, σ). Let {A
i : i ∈ I} be any intuitionistic fuzzy β-open cover of (Y, σ). Then {f
^−1^(A
i) : i ∈ I} is an intuitionistic fuzzy β-open cover of X. Since X is intuitionistic fuzzy β-almost compact, there exists a finite subset I
0 of I such that ∪i∈I0
βcl (f
^−1^(A
i)) = 1_X. And f(1X) = f(∪i∈I0_
βcl(f
^−1^(A
i))) = ∪i∈I0
f(βcl(f
^−1^(A
i))) = 1_Y. But βcl (f
^−1^(A
i))⊆f
^−1^(βcl A
i) and from the surjectivity of f, f(βcl (f
^−1^(A
i)))⊆f(f
^−1^(βclA
i)) = βclA
i. So ∪i∈I0_
βclA
i⊇∪i∈I0
f(βcl(f
^−1^(A
i))) = 1_Y. Thus ∪i∈I_
0__
βclA
i = 1_~Y_. Hence (Y, σ) is IF β-almost compact.
Theorem 38 . Let (X, τ) and (Y, σ) be intuitionistic fuzzy topological spaces and let f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-continuous, surjective mapping. If (X, τ) is IF β-almost compact space then (Y, σ) is IF almost compact.
ProofLet {A
i : i ∈ I} be any intuitionistic fuzzy open cover of (Y, σ). Then {f
^−1^(A
i) : i ∈ I} is an intuitionistic fuzzy β-open cover of X. Since X is intuitionistic fuzzy β-almost compact, there exists a finite subset I
0 of I such that ∪i∈I0
βcl(f
^−1^(A
i)) = 1_X. And from the surjectivity of f, 1Y_ = f(1_~X) = f(∪i∈I0_
βcl(f
^−1^(A
i)))⊆∪i∈I0
f(βcl(f
^−1^(A
i)))∪i∈I0
βclf(f
^−1^(A
i))⊆∪i∈I0__clf(f
^−1^(A
i))⊆∪i∈I0__cl A
i which implies that ∪i∈I0__clA
i = 1~Y. Hence (Y, σ) is IF almost compact.
Definition 39 . Let (X, τ) and (Y, σ) be two intuitionistic fuzzy topological spaces. A function f : X → Y is said to be intuitionistic fuzzy β-weakly continuous (IF β-weakly continuous) if, for each IFβOS V in Y, f ^−1^(V)⊆βint(f ^−1^(βclV)).
Theorem 40 . A mapping f from an IFTS (X, τ) to an IFTS (Y, σ) is IF strongly β-open if and only if f(βintV)⊆βintf(V).
ProofIf f is IF strongly β-open mapping then f(βintV) is an IFβOS in Y for IFβOS V in X. Hence f(βintV) = β intf(βintV) = βintf(V). Thus f(βintV)⊆βintf(V).Conversely, let V be IFβOS in X and then V = βintV. Then by hypothesis, f(V) = f(βintV)⊆βintf(V). This implies that f(V) is IFβOS in Y.
Theorem 41 . Let (X, τ) and (Y, σ) be IFTS and let f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-weakly continuous, surjective mapping. If (X, τ) is IF β-compact space then (Y, σ) is IF β-almost compact.
ProofLet {A
i : i ∈ I} be IF β-open cover of Y such that ∪i∈I
A
i = 1_Y. Then ∪i∈I_
f
^−1^(A
i) = f
^−1^(∪i∈I
A
i) = f
^−1^(1_Y) = 1X. (X, τ) is IF β-compact, and there exists a finite subset I
0 of I such that ∪i∈I0_
f
^−1^(A
i) = 1_X. Since f is IF β-weakly continuous, f
^−1^(A
i)⊆βint(f
^−1^(βclA
i))⊆f
^−1^(βclA
i). This implies that ∪i∈I0_
f
^−1^(βclA
i)⊇∪i∈I0
f
^−1^(A
i) = 1_X. Thus ∪i∈I0_
f
^−1^(βclA
i) = 1_X. Since f is surjective, 1Y_ = f(1_X) = f(∪i∈I0_
f
^−1^(βclA
i)) = ∪i∈I0
f(f
^−1^(βclA
i)) = ∪i∈I0
βclA
i. Hence ∪i∈I0
βclA
i = 1_~Y_. Hence (Y, σ) is IF β-almost compact.
Theorem 42 . Let (X, τ) and (Y, σ) be intuitionistic fuzzy topological spaces and let f : (X, τ)→(Y, σ) be intuitionistic fuzzy β-irresolute, surjective, and strongly β-open mapping. If (X, τ) is IF β-nearly compact space then so is (Y, σ).
ProofLet {A
i : i ∈ I} be any intuitionistic fuzzy β-open cover of (Y, σ). Since f is IF β-irresolute, then {f
^−1^(A
i) : i ∈ I} is an intuitionistic fuzzy β-open cover of X. Since (X, τ) is IF β-nearly compact, there exists a finite subset I
0 of I such that ∪i∈I0
βint(βclf
^−1^(A
i)) = 1_X. Since f is surjective, 1Y_ = f(1_X) = f(∪i∈I0_
βint (βclf
^−1^(A
i))) = ∪i∈I0
f(β int (βclf
^−1^(A))). Since f is IF strongly β-open, f(βint(βclf
^−1^(A
i)))⊆βintf(β clf
^−1^(A
i)) for each i ∈ I. Since f is IF β-irresolute, then f(βclf
^−1^(A
i))⊆βclf(f
^−1^(A
i)). Hence we have 1_Y_ = ∪i∈I0
f(βint(βclf
^−1^(A
i))) ⊆ ∪i∈I0
βintf(βclf
^−1^(A
i)) ⊆ ∪i∈I0
βint(βclf(f
^−1^(A
i))) = ∪i∈I0
βint(βcl(A
i)). Thus 1_~Y_ = ∪i∈I0
βint(βcl(A
i)). Hence (Y, σ) is IF β-nearly compact.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Zadeh L. A.Fuzzy sets Information and Control 19658338353
- 2Atanassov K. T.Intuitionistic fuzzy sets Fuzzy Sets and Systems 1986201879610.1016/s 0165-0114(86)80034-3MR 852871 · doi ↗
- 3Coker D.An introduction to intuitionistic fuzzy topological spaces Fuzzy Sets and Systems 1997881818910.1016/s 0165-0114(96)00076-0MR 1449497 · doi ↗
- 4Renuka R.Seenivasan V.On intuitionistic fuzzy pre-β-irresolute functions Scientia Magna 20139293102
- 5Lee S. J.Lee E. P.The category of intuitionistic fuzzy topological spaces Bulletin of the Korean Mathematical Society 20003716376 MR 1752195 ZBL 0952.54004
- 6Gurcay H.Coker D.Es A. H.On fuzzy continuity in intuitionistic fuzzy topological spaces Journal of Fuzzy Mathematics 19975365378
- 7Ekici E.Park J. H.On fuzzy irresolute functions International Journal of Fuzzy Logic and Intelligent Systems 200552164168
- 8Coker D.Es A. H.On fuzzy compactness in intuitionistic fuzzy topological spaces Journal of Fuzzy Mathematics 199534899909 MR 1367023
