See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/318752169

Fuzzy γ-compact Space of Fuzzy Topological Spaces

Article in Journal of Garmian University · January 2017

DOI: 10.24271/garmian.5

CITATIONS READS
0 208

1 author:

Saleem Y. Majeed
University of Garmian
6 PUBLICATIONS 3 CITATIONS

SEE PROFILE

All content following this page was uploaded by Saleem Y. Majeed on 12 February 2022.

The user has requested enhancement of the downloaded file.

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬
https://doi.org/10.24271/garmian.5

Fuzzy γ-compact Space of Fuzzy Topological Spaces

Saleem Y. Mageed
University of Garmian / College of Education /Department of Mathematics

Abstract
The aims in the paper are two objectives. The first objective is to study some types
of fuzzy open sets such as fuzzy 𝜃-open sets and fuzzy γ-open sets and the
relationship between the types of fuzzy topological spaces by recalling some well-
known results in this topic with well selected illustrative example. The second
objective is to study the compactness of fuzzy topological spaces. Then using this
study to introduce fuzzy 𝜃-compact spaces and fuzzy γ-compact spaces by
introducing different types of fuzzy covers, as well as, the relationships between
these types of compact fuzzy topological spaces. In addition to that we discuss the
relationships among the concept of weak fuzzy γ-continuous function and these
different types.
Keyword: Fuzzy topological spaces, fuzzy γ-open sets, fuzzy 𝜃-compact spaces, fuzzy γ-compact spaces.

1. Introduction
Zadeh in [11] introduced the fundamental concept of fuzzy sets. The study of fuzzy
topology spaces and definition of fuzzy compactness was introduced by Chang [4]. The
theory of fuzzy topological spaces was subsequently developed by several authors. In this
paper the concept of fuzzy γ-compact space in fuzzy topological spaces using concept of
fuzzy γ-open set is introduced and studied. Some properties are proved and their relations
with different types of fuzzy compact spaces and fuzzy compactness in fuzzy topological
spaces are investigated. Finally the relationships among the concepts of weak fuzzy γ-
continuous functions and this types are discussed. Moreover some results in this topic with
some properties and corollaries are develops.

39 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

2. Preliminaries
Throughout X denotes anon empty set, I denotes the unit interval [0, 1], A fuzzy set in X
is a function 𝜇 from X in to I, 𝜇𝐴 (𝑥) denotes a degree of membership of 𝑥, The class of
fuzzy sets on a universe X Will be denoted by IX. A family 𝜏 of fuzzy sets in X is called a
fuzzy topology for X iff (1) 0, 1 ∈ 𝜏 (2) for all A, B ∈ 𝜏 then 𝑀𝑖𝑛 { 𝜇𝐴 (𝑥) , 𝜇𝐵 (𝑥)} ∈ 𝜏 (3)
if 𝐴𝑖 ∈ 𝜏 for each ∈ 𝐼 , then 𝑆𝑢𝑝𝑖∈𝐼 {𝜇𝐴𝑖 (𝑥)} ∈ 𝜏. Moreover the pair (X,𝜏) is called a fuzzy
topological space (abbreviated as f.t.s), every member of 𝜏 is called a fuzzy open set [4].
Let A be a fuzzy set in X, we denoted the interior, closure and complement of a fuzzy set
A by int(A), cl(A) and Ac respectively.
A fuzzy set in X is called a fuzzy point iff it takes the value 0 for all 𝑥 ∈ X except one, say,
𝑝 ∈ X. If its value at 𝑥 is 𝛼 ( 0 < 𝛼 ≤ 1) we denote this fuzzy point by 𝑝𝛼 , where the point
𝑝 is called its support [7], [9]. For any fuzzy 𝑝𝜀 and any fuzzy set A, we write 𝑝𝜀 ∈ A iff
𝜀 ≤ 𝜇𝐴 (𝑥).

Definition 2.1 [10]:

A fuzzy set A in a f.t.s (X,𝜏) is called a fuzzy neighborhood (or f-nbd for short) of a
fuzzy point 𝑝𝛼 if and only if there exists a fuzzy open set B, such that 𝛼 ≤
𝜇𝐵 (𝑥) ≤ 𝜇𝐴 (𝑥). A (f-nbd) A is said to be open if and only if A is fuzzy open set.
The neighborhood system (𝑁 𝑝𝛼 ) of a fuzzy point 𝑝𝛼 is the family of all f-nbds of
the fuzzy points 𝑝𝛼 .

Definition 2.2 [8]:

Let (X,𝜏) be a f.t.s, A be a fuzzy set in X. A fuzzy point 𝑝𝛼 ∈ A is said to be a fuzzy

limit point of A, if for every fuzzy open set G such that 𝛼 ≤ 𝜇𝐺 (𝑥), we have:

𝑀𝑖𝑛{𝜇1− 𝑝𝛼 (𝑥), 𝜇𝐴 (𝑥)} ≠ 0

Definition 2.3 [6]:

A function f from a f.t.s (X,𝜏) to a f.t.s (Y,𝜈) is said to be:

40 [email protected] Vol.4 No.1 (January, 2017)
‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

(1) "A fuzzy continuous function" if and only if the inverse image of any fuzzy
open set in Y is fuzzy open set in X.
(2) "A fuzzy open function" if and only if the image of each fuzzy open set in X
is a fuzzy open set in Y.

Theorem 2.4 [9]:

If f : X → Y is a fuzzy open and fuzzy continuous function then:-

𝜇𝑓 −1(𝑐𝑙(𝐵)) (𝑥) = 𝜇𝑐𝑙(𝑓−1(𝐵)) (𝑥) for every 𝜇𝐵 (𝑥) ≤ 𝜇𝑌 (𝑥).

Theorem 2.5 [9]:

If f : X  Y is fuzzy continuous function then 𝜇𝑓−1(𝑖𝑛𝑡(𝐵)) ≤ 𝜇𝑖𝑛𝑡(𝑓−1(𝐵)) ,

for every 𝜇𝐵 (𝑥) ≤ 𝜇𝑌 (𝑥).
Definition 2.6 [4]:

A family ν of fuzzy sets has the finite intersection property if and only if the
intersection of the members of the each finite subfamily of ν is nonempty.

3. Some Types of Fuzzy Compact Space of Fuzzy Topological Space

In this section some types of fuzzy compact of fuzzy topological space are giving
which are (fuzzy 𝜃-compact space and fuzzy γ-compact space ), as well as, some
fundamental results concerning such types of fuzzy compactness.

Definition 3.1:

Let (X,𝜏) be a f.t.s and let A be any fuzzy set in X, A is called:

(1) Fuzzy 𝜃-open set if 𝜇𝐴 (𝑥) = 𝜇𝑖𝑛𝑡𝜃(𝐴) (𝑥) [3].

(2) Fuzzy γ-open set if 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑖𝑛𝑡(𝑐𝑙(𝐴)) (𝑥), 𝜇𝑐𝑙(𝑖𝑛𝑡(𝐴)) (𝑥)} [2].
The complement of a fuzzy 𝜃-open (resp. fuzzy γ-open) set is called fuzzy 𝜃-closed
(resp. fuzzy γ-closed) set.

41 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Notation 3.2:
The family of all fuzzy γ-open (resp. 𝜃-open) sets is denoted by F. γ-O(X) (resp.
F. 𝜃-O(X)).

Remark 3.3:
(1) Every fuzzy 𝜃-open (resp. 𝜃-closed) set is a fuzzy open (resp. closed) set and
a fuzzy γ-open ( resp. γ-closed) set . But the converse is not true in general.
(2) Every fuzzy open (closed) set is a fuzzy γ-open ( resp. γ-closed) set . But the
converse is not true in general.

In the next examples explain the converse of above remark is not true.

Example 3.4:
Let X= {a, b, c} and A, B, C, D be fuzzy sets of X defined as follows:

𝜇𝐴 (𝑎) = 0.7 𝜇𝐴 (𝑏) = 0.8 𝜇𝐴 (𝑐) = 0.9

𝜇𝐵 (𝑎) = 0.4 𝜇𝐵 (𝑏) = 0.4 𝜇𝐵 (𝑐) = 0.4

𝜇𝐶 (𝑎) = 0.5 𝜇𝐶 (𝑏) = 0.5 𝜇𝐶 (𝑐) = 0.4

𝜇𝐷 (𝑎) = 0.3 𝜇𝐷 (𝑏) = 0.2 𝜇𝐷 (𝑐) = 0.4

Let 𝜏 = {0,1, 𝐴, 𝐵, 𝐶} be a f.t.s. on X , it's clear that:

(1) The fuzzy set D is fuzzy γ-open set but it's not fuzzy open set and fuzzy 𝜃-
open set.
(2) The fuzzy set Dc is fuzzy γ-closed set but it's not fuzzy closed set and fuzzy
𝜃-closed set.

Definition 3.5:

A fuzzy set A in a f.t.s (X,𝜏) is called a fuzzy γ-neighborhood (or f- γ-nbd for
short) of a fuzzy point 𝑝𝛼 if and only if there exists a fuzzy γ-open set B, such that
𝛼 ≤ 𝜇𝐵 (𝑥) ≤ 𝜇𝐴 (𝑥).

42 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Definition 3.6:

Let (X,𝜏) be a f.t.s, A be a fuzzy set in X. A fuzzy point 𝑝𝛼 ∈ A is said to be a fuzzy

γ-limit point of A, if for every fuzzy γ-open set G such that 𝛼 ≤ 𝜇𝐺 (𝑥), we have:

𝑀𝑖𝑛{𝜇1− 𝑝𝛼 (𝑥), 𝜇𝐴 (𝑥)} ≠ 0

In the next definition we will give the definition of some types of fuzzy coverings
and relationships between these types.
Definition 3.7 [5]:
Let (X,𝜏) be a f.t.s a family 𝜗 of fuzzy sets is open cover of a fuzzy set A if and only
if 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺 (𝑥): 𝜇𝐺 (𝑥) ≤ 𝜇𝜗 (𝑥)} and each member of 𝜗 is an open fuzzy
set. A sub cover of 𝜗 is a sub family which is also cover.
Definition 3.8 [3]:
Let (X,𝜏) be a f.t.s a family 𝜗 of fuzzy sets is 𝜃-open cover of a fuzzy set A if and
only if 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺 (𝑥): 𝜇𝐺 (𝑥) ≤ 𝜇𝜗 (𝑥)} and each member of 𝜗 is an 𝜃-open
fuzzy set. A sub cover of 𝜗 is a sub family which is also cover.
Definition 3.9:
Let (X,𝜏) be a f.t.s a family 𝜗 of fuzzy sets is γ-open cover of a fuzzy set A if and
only if 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺 (𝑥): 𝜇𝐺 (𝑥) ≤ 𝜇𝜗 (𝑥)} and each member of 𝜗 is an γ-open
fuzzy set. A sub cover of 𝜗 is a sub family which is also cover.

Remark 3.10:

(1) Every fuzzy 𝜃-open cover is a fuzzy open (resp. γ-open) cover. But the
converse is not true in general.
(2) Every fuzzy open cover is a fuzzy γ-open cover. But the converse is not true
in general.

For explaining the converse of the above remark is not true we can see example
(3.4)

43 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Definition 3.11 [9]:

A f.t.s (X,𝜏) is fuzzy compact space if and only if every fuzzy open cover of X has a
finite sub cover.
Definition 3.12 [3]:
A f.t.s (X,𝜏) is fuzzy 𝜃-compact space if and only if every fuzzy 𝜃-open cover of X
has a finite sub cover.
Proposition 3.13:
Every fuzzy compact space is a fuzzy 𝜃-compact space. But the converse is not true
in general.
Proof: it's clear

4. Fuzzy γ-Compact Space

This section is devoted to present the definitions of fuzzy γ-compact space in fuzzy
topological space. Moreover, in this section some of their remarks and propositions
are studied, also the relationships among the concepts of weak fuzzy continuous
functions and this type are discussed.
We start this section by giving a definition of fuzzy γ-compact space.

Definition 4.1:
A f.t.s (X,𝜏) is fuzzy γ-compact space if and only if every fuzzy γ-open cover of X
has a finite sub cover.
Proposition 4.2:
Every fuzzy γ-compact space is fuzzy compact space.
Proof:
Let (X,𝜏) be a fuzzy γ-compact space, and let the collection 𝜗 be a fuzzy open cover
of X, such that 𝜇𝜗 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆  }.
44 [email protected] Vol.4 No.1 (January, 2017)
‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

So, 𝑆𝑢𝑝λ {𝜇𝐺𝜆 (𝑥)} = 1.

By remark (3.3),(2). Then the collection 𝜗 is fuzzy γ-open cover of a fuzzy γ-

compact space X. Therefore, X has a finite sub cover which belongs to 𝜗 {𝐺𝜆 : λ 
}
Hence, X is a fuzzy compact space. 

Proposition 4.3:
Every fuzzy γ-compact space is fuzzy 𝜃-compact space.
Proof:
Let (X,𝜏) be a fuzzy γ-compact space, and let the collection 𝜗 be a fuzzy 𝜃-open
cover of X, such that 𝜇𝜗 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆  }.

So, 𝑆𝑢𝑝λ {𝜇𝐺𝜆 (𝑥)} = 1.

By remark (3.3),(1). Then the collection 𝜗 is fuzzy γ-open cover of a fuzzy γ-

compact space X. Therefore, X has a finite sub cover which belongs to 𝜇𝜗 (𝑥) =
{𝜇𝐺𝜆 (𝑥): 𝜆  }.

Hence, X is a fuzzy 𝜃-compact space. 

Theorem 4.4:
A f.t.s (X,𝜏) is fuzzy γ-compact space if and only if every collection of fuzzy γ-
closed sets in X with the finite intersection property has a nonempty intersection.
Proof:
Suppose the X is fuzzy γ-compact space and 𝜗 be collection of fuzzy γ-closed sets
in X with the finite intersection property such that 𝜇𝜗 (𝑥) = {𝜇𝐴𝜆 (𝑥): 𝜆  }

To show the 𝑖𝑛𝑓𝜆  {𝜇𝐴𝜆 (𝑥)} ≠ 0.

Suppose 𝑖𝑛𝑓𝜆  {𝜇𝐴𝜆 (𝑥)} = 0.

45 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Hence 1 − 𝑖𝑛𝑓𝜆  {𝜇𝐴𝜆 (𝑥)} = 1 − 0. Therefore by De Morgan's Law of fuzzy

set 𝑠𝑢𝑝𝜆  { 1 − 𝜇𝐴𝜆 (𝑥)} = 1 and each { 1 − 𝜇𝐴𝜆 (𝑥)} is fuzzy γ-open set.
Which implies that {𝜇𝐴𝑐𝜆 (𝑥): 𝜆  } is an γ-open cover of a fuzzy γ-compact
space X.
Hence, there exists a finite sub cover of the space X which belongs to
{𝜇𝐴𝑐𝜆 (𝑥): 𝜆  }, such that Max {𝜇𝐴𝑐𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛} = 1.

So, 1 − Max{𝜇𝐴𝑐𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛} = 1 − 1. Also by De Morgan's Law of fuzzy

set Min {𝜇𝐴𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛} = 0

Therefore, {𝜇𝐴𝜆 (𝑥): 𝜆  } does not satisfy the property of finite intersection which
is contradiction.
Hence, we must have 𝑖𝑛𝑓𝜆  {𝜇𝐴𝜆 (𝑥)} ≠ 0.

Conversely, suppose every collection of fuzzy γ-closed sets in X with the finite
intersection property has a nonempty intersection.
To prove (X,𝜏) be a fuzzy γ-compact space, Let the collection ξ be fuzzy γ-open
cover of X such that 𝜇𝜉 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆 }

So, 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑥)} = 1 .

1 − 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑥)} = 1 − 1.

𝑖𝑛𝑓𝜆  {𝜇𝐺𝜆𝑐 (𝑥)} = 0

and each {𝜇𝐺𝜆𝑐 (𝑥): 𝜆 } is fuzzy γ-closed sets which implies that {𝜇𝐺𝜆𝑐 (𝑥): 𝜆 }
is a collection of fuzzy closed sets with empty intersection and so by hypothesis
this collection does not have the finite intersection property.
𝑐
Hence, there exists a finite member of fuzzy sets 𝐺𝜆𝑖 , 𝑖 = 1,2, … , 𝑛, such that
𝑀𝑖𝑛{𝜇𝐺𝜆𝑖𝑐 (𝑥): 𝑖 = 1,2, … , 𝑛} = 0

Then, 1 − 𝑀𝑖𝑛{𝜇𝐺𝜆𝑖𝑐 (𝑥): 𝑖 = 1,2, … , 𝑛} = 1 − 0

46 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

𝑀𝑎𝑥{𝜇𝐺𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛} = 1

Therefore, {𝜇𝐺𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛}is finite sub cover of the space X which belong
to fuzzy γ-open cover 𝜇𝜉 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆 }.

Hence, (X,𝜏) is fuzzy γ-compact space. 

Theorem 4.5:
Let (X,𝜏) be a f.t.s which is a γ-compact space then every infinite fuzzy set in X has
fuzzy γ- limit point in X.
Proof:
Let A be an infinite fuzzy set in X.
To prove that there exists fuzzy point 𝑝𝛼 , 0 < 𝛼 ≤ 1, 𝛼 ≤ 𝜇𝑋 (𝑥), such that 𝑝𝛼 is
a fuzzy γ-limit point of A.
Suppose that A has no fuzzy γ-limit point in X. Then for every fuzzy point 𝑝𝛼 there
exists a fuzzy γ-neighborhood N of 𝑝𝛼 which contains no fuzzy point of A other
than 𝑝𝛼
Since, N is fuzzy γ-neighborhood then N is a fuzzy γ-open set.
Then, the collection 𝜗 of fuzzy γ-open sets is fuzzy γ-open cover of X such that
𝜇𝜗 (𝑥) = {𝜇𝑁𝜆 (𝑥): 𝜆  }.

Hence, 𝑠𝑢𝑝λ {𝜇𝑁𝜆 (𝑥)} = 1

Since (X,𝜏) is fuzzy γ-compact space, Then there are finitely many fuzzy points 𝑝𝛼𝑖 ,
𝑖 = 1,2, … , 𝑛, in X such that 𝑀𝑎𝑥{𝜇𝑁𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛} = 1

Since, 𝜇𝐴 (𝑥) ≤ 𝜇𝑋 (𝑥) Then 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑁𝜆𝑖 (𝑥): 𝑖 = 1,2, … , 𝑛}

Therefore, A has a finite point and so A is finite which is contradiction that A is

infinite fuzzy set in X.
Hence, A has fuzzy γ-limit point in X. 

47 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

In the next proposition explaining the fuzzy γ-compact space is hereditary property.
Proposition 4.6:
Every fuzzy γ-closed subset of a fuzzy γ- compact space is fuzzy compact.
Proof:
Let (X,𝜏) be a fuzzy γ-compact space and F be a fuzzy γ-closed subset of X.
To prove F is fuzzy compact
Let 𝜇𝜉 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆 } be a fuzzy open cover of F in (X,𝜏)

Then 𝜇𝐹 (𝑥) ≤ 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑥)}

Hence, 𝜇𝜉 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆 } is a fuzzy γ- open cover of F.

Since F is a fuzzy γ-closed subset of X then Fc is a fuzzy γ-open subset of X

Therefore, the collection 𝑀𝑎𝑥{𝜇𝐺𝜆 (𝑥), 𝜇𝐹𝑐 (𝑥) ∶ 𝜆 } is fuzzy γ-open cover of X,
which is fuzzy γ-compact space. Then there exist finitely many members of  say
1, 2, …, n such that 𝑀𝑎𝑥{𝜇𝐺𝜆𝑖 (𝑥), 𝜇𝐹𝑐 (𝑥) ∶ 𝑖 = 1,2, … , 𝑛} = 1.

i.e., X has two finite sub cover say {𝐺𝜆1 , 𝐺𝜆2 , … , 𝐺𝜆𝑛 , 𝐹 𝑐 }
Since, 𝜇𝐹 (𝑥) ≤ 1 and Fc cover no part of F.
Hence, 𝜇𝐹 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺𝜆𝑖 (𝑥) ∶ 𝑖 = 1,2, … , 𝑛}

Therefore, F is fuzzy compact. 

The following corollaries may be giving and a results to the above the proposition.
Corollary 4.7:
Every fuzzy γ-closed subset of a fuzzy γ-compact space is fuzzy γ- compact.
Proof: It is clear. 
Corollary 4.8:
Every fuzzy closed subset of fuzzy γ-compact space is fuzzy γ-compact.
Proof: It is clear. 

48 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Corollary 4.9:
Every fuzzy closed subset of fuzzy γ-compact space is fuzzy compact.
Proof: It is clear. 
Remark 4.10:
A fuzzy γ- closed subset of fuzzy compact need not be compact.
In the next proposition we will explain that the union of any two fuzzy γ-compact is
also fuzzy γ- compact.
Proposition 4.11:
Let (X,𝜏) be a f.t.s, if A and B are two fuzzy γ-compact subsets of X, then A∪B is
also fuzzy γ-compact.
Proof:
Let 𝜇𝜉 (𝑥) = {𝜇𝐺𝜆 (𝑥): 𝜆 } be a fuzzy γ-open cover of A∪B

Then, 𝜇𝐴∪𝐵 (𝑥) ≤ 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑥)} i.e., 𝑀𝑎𝑥{𝜇𝐴 (𝑥), 𝜇𝐵 (𝑥)} ≤ 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑥)}.

Since, 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐴 (𝑥), 𝜇𝐵 (𝑥)}

Also 𝜇𝐵 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐴 (𝑥), 𝜇𝐵 (𝑥)}
It is follows that {𝜇𝐺𝜆 (𝑥): 𝜆 } is a fuzzy γ-open cover of A and a fuzzy γ- open
cover of B.
Since A and B are two fuzzy γ-compact sets, then there exists a finite sub cover
which covering A belong to {𝜇𝐺𝜆 (𝑥): 𝜆 }

Then 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺𝜆𝑖 (𝑥), 𝑖 = 1,2, … , 𝑛}

and there exists a finite sub cover which covering B belongs to {𝜇𝐺𝜆 (𝑥): 𝜆 }

Then, 𝜇𝐵 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺𝜆𝑗 (𝑥), 𝑗 = 1,2, … , 𝑚}

It is follows that 𝑀𝑎𝑥{𝜇𝐴 (𝑥), 𝜇𝐵 (𝑥)} ≤ 𝑀𝑎𝑥{𝜇𝐺𝜆𝑘 (𝑥), 𝑘 = 1,2, … , 𝑛 + 𝑚}

Then, 𝜇𝐴∪𝐵 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝐺𝜆𝑘 (𝑥), 𝑘 = 1,2, … , 𝑛 + 𝑚}

49 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Thus, A∪B is fuzzy γ-compact. 

Proposition 4.12:
Let (X,𝜏) be a f.t.s if A and B are two fuzzy γ-compact subsets of X, then A∩B need
not to be fuzzy γ-compact.
Now, we give several definitions of some types of weak fuzzy continuous function,
by using the concept of fuzzy γ-open sets.
Definition 4.13 [1]:
A function f from a f.t.s (X,𝜏) to a f.t.s (Y,ν) is said to be:
(1) "A fuzzy γ-continuous function" if the inverse image of any fuzzy open set in
Y is fuzzy γ-open set in X.
(2) "A fuzzy γ- irresolute function" if the inverse image of any fuzzy γ-open set
in Y is fuzzy γ-open set in X.
(3) "A fuzzy γ-continuous function" if the inverse image of any fuzzy γ-open set
in Y is a fuzzy open set in X.
Proposition 4.14:

(1) Every fuzzy γ-continuous function is fuzzy continuous function.

(2) Every fuzzy continuous function is fuzzy γ-continuous function.
(3) Every fuzzy γ-continuous function is fuzzy γ-continuous function.
(4) Every fuzzy γ-continuous function is fuzzy γ-irresolute function.
(5) Every fuzzy γ-irresolute function is fuzzy γ-continuous function.
Proof: Follows from Definition (2.3), Remark (3.3) and Definition (4.13) 
Remark 4.15:
The following diagram explains the relationship among the different types of
weakly fuzzy continuous function.

50 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Fuzzy continuous

Fuzzy γ -continuous Fuzzy γ -continuous

Fuzzy γ - irresolute

Diagram (1)

In the next we will discuss the relationship among the concepts of weak fuzzy
continuous functions and concepts of fuzzy γ-compact space.

Proposition 4.16:
The fuzzy γ-continuous image of a fuzzy γ-compact space is fuzzy compact space.
Proof:

Let (X,𝜏) be a fuzzy γ-compact space, (Y, ν) any f.t.s and f : (X, 𝜏)  (Y, ν) be a
fuzzy γ-continuous function
To prove (Y, ν) is a fuzzy compact space let 𝜇𝜉 (𝑦) = {𝜇𝐺𝜆 (𝑦): 𝜆 } be any fuzzy
open cover of Y then 𝜇𝑌 (𝑦) ≤ 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑦)}.

in view of f is a fuzzy γ-continuous function. Then, {𝜇𝑓−1(𝐺𝜆 ) (𝑥): 𝜆 } is fuzzy γ-

open cover of X.

Hence, 𝑠𝑢𝑝𝜆  {𝜇𝑓−1(𝐺𝜆 ) (𝑥)} = 𝑠𝑢𝑝𝜆  {𝜇𝐺𝜆 (𝑓(𝑥))} = 1.

Since X is fuzzy γ-compact space then there exists a finite sub cover which
covering X belongs to {𝜇𝑓−1(𝐺𝜆 ) (𝑥): 𝜆 }.

51 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Hence, 𝜇𝑋 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑓−1(𝐺𝜆𝑖 ) (𝑥): 𝑖 = 1,2, … , 𝑛}

Therefore, 𝜇𝑓(𝑋) (𝑦) ≤ 𝑀𝑎𝑥{𝜇𝑓(𝑓−1(𝐺𝜆𝑖)) (𝑦): 𝑖 = 1,2, … , 𝑛}

Hence, 𝜇𝑌 (𝑦) ≤ 𝑀𝑎𝑥{𝜇(𝐺𝜆𝑖 ) (𝑦): 𝑖 = 1,2, … , 𝑛}

Therefore, there exist a finite sub cover {𝜇𝐺𝜆𝑖 (𝑦): 𝑖 = 1,2, … , 𝑛} which covering Y,
then Y is a fuzzy compact space. 
The following corollaries may be obtain as a direct results to the above proposition.
Corollary 4.17:
The fuzzy continuous image of a fuzzy γ-compact space is fuzzy compact space.
Proof: It is clear. 
Corollary 4.18:
The fuzzy γ-irresolute image of a fuzzy γ-compact space is fuzzy compact space.
Proof: It is clear. 
Corollary 4.19:

The fuzzy γ-continuous image of a fuzzy γ-compact space is fuzzy compact space.
Proof: It is clear. 
Corollary 4.20:
The fuzzy γ-irresolute image of a fuzzy γ-compact space is fuzzy γ-compact space.
Proof: It is clear. 
Corollary 4.21:

The fuzzy γ-continuous image of a fuzzy γ-compact space is fuzzy γ-compact

space.
Proof: It is clear. 
Corollary 4.22:
The fuzzy γ-continuous image of fuzzy compact space is fuzzy compact space.
Proof: It is clear. 
52 [email protected] Vol.4 No.1 (January, 2017)
‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Corollary 4.23:

The fuzzy γ-continuous image of a fuzzy compact space is fuzzy γ-compact space.
Proof: It is clear. 
Lemma 4.24:

If f :(X, 𝜏) (Y, ν) is fuzzy open and fuzzy continuous function, then f is fuzzy γ-
irresolute function.
Proof:
Let A be a fuzzy γ-open set in Y Then 𝜇𝐴 (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑖𝑛𝑡(𝑐𝑙(𝐴)) (𝑥), 𝜇𝑐𝑙(𝑖𝑛𝑡(𝐴)) (𝑥)}

Therefore 𝜇𝑓−1(𝐴) (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑓−1(𝑖𝑛𝑡(𝑐𝑙(𝐴))) (𝑥), 𝜇𝑓−1(𝑐𝑙(𝑖𝑛𝑡(𝐴))) (𝑥)}

Since, f is fuzzy open and fuzzy continuous function, then by theorem (2.4) and
theorem (2.5),
𝜇𝑓−1(𝐴) (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑖𝑛𝑡(𝑓−1(𝑐𝑙(𝐴))) (𝑥), 𝜇𝑐𝑙(𝑓−1(𝑖𝑛𝑡(𝐴))) (𝑥)}

= 𝑀𝑎𝑥{𝜇𝑖𝑛𝑡(𝑐𝑙(𝑓−1(𝐴))) (𝑥), 𝜇𝑐𝑙(𝑖𝑛𝑡(𝑓−1(𝐴))) (𝑥)}

Therefore, 𝜇𝑓−1(𝐴) (𝑥) ≤ 𝑀𝑎𝑥{𝜇𝑖𝑛𝑡(𝑐𝑙(𝑓−1(𝐴))) (𝑥), 𝜇𝑐𝑙(𝑖𝑛𝑡(𝑓−1(𝐴))) (𝑥)}.

Hence, f is fuzzy γ-irresolute function. 

Theorem 4.25:

Let f :(X, 𝜏) (Y, ν) be a fuzzy open and fuzzy continuous function, if (X, 𝜏) is
fuzzy γ-compact space. Then (Y, ν) is fuzzy γ-compact space.
Proof: Follows from Corollary (4.20), Lemma (2.24) 

Remark 4.26:
The following diagram explain, the relationship among different strong types of
fuzzy compact space.

53 [email protected] Vol.4 No.1 (January, 2017)

‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

Fuzzy γ -compact Fuzzy compact Fuzzy 𝜃- compact

space space space

Diagram (2)

54 [email protected] Vol.4 No.1 (January, 2017)

 ‫مجلة جامعة كرميان‬ Journal of Garmin University ‫طؤظاري زانكؤي طةرميان‬

5. References
[1] Benchalli, S. S. and Kamel, J. J., "Fuzzy gb- Continuous Maps in Fuzzy
Topological spaces", Int. J. of Computer Appl., Vol. 19, PP.0975-8887, 2011.
[2] Benchalli, S. S. and Kamel, J. J., "On Fuzzy b-open Sets in Fuzzy Topological
spaces", J. Comp. & Math. Sci., Vol. 1(2), PP.127-134, 2010.
[3] Caldas, M. and Jafari, S., " 𝜃- compact Fuzzy Topological spaces" Chaos, Sol.
and Fractals, Vol. 25, PP.229-232, 2005
[4] Chang, C. L., "Fuzzy Topological Spaces", J. Math. Anal. Appl., Vol.24,
pp.182- 190, 1968.
[5] Ekici, E., “On Fuzzy Covering Properties”, Periodica Mathematica Hungarica,
Vol.54, No.1, pp.77-84, 2007.
[6] Ferraro, M. and Foster, D. H., "Differentiation of Fuzzy Continuous Mappings
on Fuzzy Topological Vector Spaces", J. Math. Anal. Appl., Vol.121, pp.589-601,
1987.
[7] Lou, S. P. and Pan, S. H., “Fuzzy Structure”, J. Math. Analy. Appl., Vol.76,
PP.631-642, 1980.
[8] Lubna, K. A., “On Fuzzy Open Mappings”, Ph.D. Thesis, College of Education,
Al- Mustansiryah University, 2005.
[9] Mageed, S. Y., "On Fuzzy Compact Spaces", M.Sc., Thesis, College of
Education, Al-Mustansiryah University, 2012.

[10] Ming, P. P. and Ming, L. Y., “Fuzzy Topology I. Neighborhood Structure of a

Fuzzy point and Moor-smith Convergence”, J. Math. Anal. Appl., Vol.76, PP.571-
599, 1980.
[11] Zadeh, L.A., "Fuzzy Sets", Inform. Control, Vol.8, PP. 338-353, 1965.

55 [email protected] Vol.4 No.1 (January, 2017)

View publication stats