omputa

&C ti
Saber, J Appl Computat Math 2018, 7:2
Journal of
d

on
ie

DOI: 10.4172/2168-9679.1000392

al M
of Appl

athem
Applied & Computational Mathematics
nal

ISSN: 2168-9679
at
ur

cs i
Jo

Short Communication Open Access

R-Generalized Fuzzy Closed Sets with Respect to an Ideal in Fuzzy

Topological Spaces
Saber MY*
Department of Mathematics, Faculty of Science, Al-Azhar University, Assiut, Egypt
Department of Mathematics, Faculty of Science and Humanities, Majmaah University, Riyadh, Saudi-Arabia

Abstract
The work in this paper is a generalization The concept of r-generalized fuzzy closed sets in fuzzy topological
spaces was introduced by Kim. In this paper, we introduce and study the concept of r-generalized fuzzy closed sets
with respect to an ideal in an ideal fuzzy topological space in Sostak sense.

Keywords: R-generalized fuzzy closed sets; Rv-generalized fuzzy (I1) I(0)=1; I(1)=0:
closed sets with respect to an ideal in an ideal fuzzy topological space (I2) If λ≤μ; then I(λ)≥I(λ); for each λ∊IX :
in Sostak sense
(I3) For each λ; μ∊IX ; I(λvμ)≥ I(λ)˄ I(μ)[finite additivity].
Introduction
Lemma 1.1.
Ŝostak introduce the fundamental concept of fuzzy topological
structure as an extension of both crisp topology and Chang's fuzzy Let (X,τ,I) be a fits. The simplest fuzzy ideal on X are I0,I1 : IX→I
topology [1], in the sense that not only the object was fuzzified, but where
also the axiomatic. Chattopdhyay et al. [2,3] have redefined the similar = 1, if λ 0= 0, if λ 1
concept. In El-Naschie [4-14] and Kim and Ko [15] gave a = similar I 0 ( λ ) = I1 (λ )  .
 0, otherwise, 1, otherwise
definition namely "Smooth fuzzy topology". We must point out that
[16-19]; the concept of fuzzy topological spaces has been a significant If we take I=I0, for each A∊IX we have A∗r=Cτ(A,r).
concept in string theory and E-infinity theory pertaining to quantum
particular physics ever since El-Naschie ([4-14]). After that several If we take I=I1, for each A∊Θ’we have A∗r = 0 , where, 1 ∉ Θ′ be a
authors [20,21] have introduced the smooth definition and studied subset of IX [4-14].
smooth fuzzy idea topological spaces being unaware of Ŝostak works.
Definition 1.4
Throughout this paper, let X be a nonempty set I=[0;1] and
Let (X,τ,I) be a fuzzy ideal topological space[16]. Let µ, λ∊IX, the
I0=(0;1]: For α∊I; α ( x ) = α for all x∊ X: The family of all fuzzy sets on r-fuzzy open local function µ∗r of µ is the union of all fuzzy points xt
X denoted by IX : For two fuzzy sets we write λqμto mean that is quasi- such that if ρ∊Q(xt,γ) and I(λ) ≥ r then there is at least one y∊X for
coincident (q-coincident, for short) with μ, i.e., there exists at least one which ρ(y)+ µ(y)−1>λ(y).
point x∊X such that λ(x) + μ(x)>1: Negation of such a statement is
denoted as λq µ : Theorem 1.1
Definition 1.1 Let (X,τ) be a fts. Then for each r∈I0, λ ∈ IX we define an operator
Cτ : IX ×I0 → IX as follows:
A mapping τ: IX→I is called a fuzzy topology on X if it satisfies the
following conditions [17]: Cτ ( λ , γ ) = ( )
∧{µ ∈ I x : λ ≤ µ ,τ 1 − µ ≥ γ }

( 0 ) τ=
τ= (1) 1 For λ, µ∊I and r, s∊I0, the operator Cτ satisfies the following
X

conditions:
τ ( ∨ i∈Γ µi ) ≥ ∧i∈Γτ ( µi ) , for any {µi }i∈Γ ∈ I X
( )
Cτ 0, γ = 0
τ ( µ1 ∧ µ 2 ) ≥ τ ( µ1 ) ∧ τ ( µ 2 ) for any µ1 , µ2 ∈ I X
λ ≤ Cτ ( λ , γ )
The pair ( X ;τ ) is called a fuzzy topological space (for short, fts).
Definition 1.2
*Corresponding author: Saber MY, Department of Mathematics, Faculty of
Let (X,τ) be a fts, λ, μ∊IX and r∊I0 . Science and Humanities, Majmaah University, Riyadh 11982, Saudi Arabia, Tel:
+966 16 404 4444; E-mail: m.ah75@yahoo.com
A fuzzy set λ is called r-generalized fuzzy closed (for short, r-gfc) if
Cγ ( λ;γ)whenever λ≤μ and τ ( µ ) ≥ γ Received March 28, 2018; Accepted April 04, 2018; Published April 15, 2018

Citation: Saber MY (2018) R-Generalized Fuzzy Closed Sets with Respect

A fuzzy set λ is called r-generalized fuzzy closed (for short, r-gfc) if to an Ideal in Fuzzy Topological Spaces. J Appl Computat Math 7: 392. doi:
Iτ ( λ ; γ ) ≥ µ whenever λ ≥ µ and τ 1 − µ ≥ γ ( ) 10.4172/2168-9679.1000392

Copyright: © 2018 Saber MY. This is an open-access article distributed under the
Definition 1.3 terms of the Creative Commons Attribution License, which permits unrestricted
use, distribution, and reproduction in any medium, provided the original author and
A mapping I : IX→I is called fuzzy ideal on X if : source are credited.

J Appl Computat Math, an open access journal Volume 7 • Issue 2 • 1000392

ISSN: 2168-9679
 Citation: Saber MY (2018) R-Generalized Fuzzy Closed Sets with Respect to an Ideal in Fuzzy Topological Spaces. J Appl Computat Math 7: 392.
doi: 10.4172/2168-9679.1000392

Page 2 of 4

Cτ ( λ , γ ) ∨ Cτ ( µ , γ ) =
Cτ ( λ ∨ µ , γ ) ρ and λ ≤ ρ. By assumption, I(Cτ(µ,γ)\ρ) ≥ γ and I(Cτ(λ,γ)\ρ) ≥ γ and
hence
Cτ ( λ , γ ) ∨ Cτ ( λ ,s ) if γ ≤ s
I(Cτ(µ∨λ,γ)\ρ=Cτ(µ,γ)\ρ∨Cτ(λ,γ)\ρ) ≥ γ.
Cτ ( Cτ (λ , γ ), γ ) = Cτ ( λ , γ )
Therefore, µ∨λ is r-gfIc.
Theorem 1.2
Remark
Let (X,τ) be a fts. Then for each r ∈ I0, λ ∈ IX we define an operator
The intersection of two r-gfIc sets need not be an r-gfIc set as shown
Iτ : IX ×I0 → IX as follows [18]:
by the following example.
Iτ ( (λ , γ ) =∨{µ ∈ I x : λ ≥ µ ,τ ( µ ) ≥ γ }
Example
For λ,µ ∈ IX and r,s ∈ I0, the operator Iτ satisfies the following
The converse Lemma 2.2 is not true. Let X={a,b} be a set.
conditions:
µ1(a)=0.4, µ1(b)=0.5;µ2(a)=0.4 µ2(b)=0.6;µ1(a)=0.3, µ1(b)=0.5.
(
Iτ (1 − λ , γ = ) (
1 − Cτ (λ , γ } and Cτ 1 − λ , γ = )
1 − Iτ ( λ , γ )
We define fuzzy topology and fuzzy ideal τ,I : IX→I as follows:
Iτ ( 1, γ ) = 1.
= 1, if λ 1,= 0 1, if λ 0
λ ≥ Iτ ( λ , γ ) 1 1
=  ,if λ µ= 1,
 ,if λ 0.5
Iτ ( λ , γ ) ∧ Iτ {µ , γ } =
Iτ ( λ ∧ µ , γ ) 2 
=τ ( λ ) =  (λ )  2
Iτ ( λ , γ ) ∧ Iτ {λ , s} if γ ≥ s. =  1 ,if λ µ  1 ,if 0 < λ < 0.5
2 2
2
Iτ ( Iτ ( λ , γ ) , γ ) = Iτ {λ , γ } 0, otherwise 0, otherwise
 
r-generalized fuzzy closed sets with respect to an ideal Then µ is r-gfIc set because,
Definition 2.1 1  1
µ ≤ µ1 ,τ ( µ1 ) ≥ Cτ  µ ,  =
1 − µ1 \ µ1 =
a0.3
Let (X,τ,I) be fuzzy ideal topological space, µ ∈ IX and r ∈ I0. A 2  2 
fuzzy set µ is called r-generalized fuzzy closed with respect to an ideal I Therefore,
(briefly, r-gfIc) if I(Cτ(µ,γ)\λ) ≥ γ, whenever µ ≤ λ and τ(λ) ≥ r.   1  1
I  Cτ  µ,  \ µ1  ≥ .
Lemma 2.2   2  2
Every r-gfc set is r-gfIc. But μ is not r-gfc set because
Proof 1  1
µ ≤ µ1 ,τ ( µ1 ) ≥ Cτ  µ ,  =1 − µ1 ≤ µ1
Let µ≤λ and τ(λ) ≥ r. Since µ is r-gfc set, then Cτ(µ,γ)≤λ, this 2  2 
implies that Cτ ( µ, γ ) q 1 − λ , implies Cτ ( µ, r )( x ) + ( 1 − λ )( x ) ≤ 1 , then Theorem 2.2
Cτ(µ,γ)(x)−λ(x) ≤ 0. Thus, I(Cτ(µ,r)\λ) ≥ γ [16-19].
Let (X,τ,I) be an fuzzy ideal topological space, µ, λ∊IX and γ∊I0. If µ
Example is r-gfIc set and µ ≤ λ ≤ Cτ(µ,γ), then λ are r-gfIc.
The converse Lemma 2.2 is not true. Let X={a,b} be a set. Proof
µ1(a) =0.4, µ1(b)=0.5; µ2(a)=0.4 µ2(b)=0.6; µ1(a)=0.3, µ1(b)=0.5. Let µ is r-gfIc set and µ ≤ λ ≤ Cτ(µ,γ). Suppose λ ≤ ρ and τ(ρ) ≥ γ.
Then µ ≤ ρ. Since µ is r-gfIc, we have I(Cτ(µ,γ)\ρ) ≥ γ. Now λ ≤ Cτ(µ,γ)
We define fuzzy topology and fuzzy ideal τ, I : IX → I as follows
implies that
= 1, if λ 1,= 0 1, if λ 0 Cτ(λ,γ)\ρ ≤ Cτ(µ,γ)\ρ,
1 1
=  ,if λ µ= 1,
 ,if λ 0.5 and hence, I(Cτ(λ,γ)\ρ) ≥ r. Therefore, λ is r-gfIc set [20,21].
2 
=τ ( λ ) =  (λ )  2
=  1 ,if λ µ  1 ,if 0 < λ < 0.5 Definition 2.2
2 2
2
0, otherwise 0, otherwise Let (X,τ,I) be fuzzy ideal topological space, µ∊IX and γ∊I0. A fuzzy
  set µ is called r-fuzzy generalized open with respect to an ideal I (briefly,
Then µ is r-gfIc set because, r-gfIo) if 1 − µ is r-gfIc set.

1  1 Theorem 2.3
µ ≤ µ1 ,τ ( µ1 ) ≥ Cτ  µ ,  = a0.3 .
1 − µ1 \ µ1 =
2 2   Let (X,τ,I) be an fuzzy ideal topological space, µ, λ, ρ∊IX and γ∊I0. If
Theorem 2.1 µ is r-gfIo sets if and only if λ\ρ ≤ Intτ(µ,r) for some I(ρ) ≥ r, whenever
λ ≤ µ and τ ( 1 − λ ) ≥ γ .
Let (X,τ,I) be an fuzzy ideal topological space, µ, λ ∈ IX and r ∈ I0. If
µ and λ are r-gfIc sets, then µ∨λ is r-gfIc. Proof
Proof Suppose that µ is r-gfIo sets. Suppose λ ≤ µ and τ ( 1 − λ ) ≥ γ . We

Suppose µ and λ are r-gfIc sets. If µ ∨ λ ≤ ρ and τ(ρ) ≥ γ, then µ ≤ have 1 − λ ≥ 1 − µ . By assumption,

J Appl Computat Math, an open access journal Volume 7 • Issue 2 • 1000392

ISSN: 2168-9679
Citation: Saber MY (2018) R-Generalized Fuzzy Closed Sets with Respect to an Ideal in Fuzzy Topological Spaces. J Appl Computat Math 7: 392.
doi: 10.4172/2168-9679.1000392

Page 3 of 4

Cτ ( 1 − µ , γ ) ≤ 1 ∨ ρ and µ ≤ λ, and µ r-gfIo relative to λ and λ is r-gfIo relative to X, then µ

For some I(ρ) ≥ γ. This implies
1 − ( (1 − λ ) ∨ ρ ) ≤ 1 − Cτ ( 1 − µ )
and hence, λ\ρ ≤ Intτ(µ,γ).
Conversely, assume that λ ≤ µ and τ(1−λ) ≥ γ imply λ\ρ ≤ Intτ(µ,γ)
for some I(ρ) ≥ γ. Consider τ(ω) ≥ γ such that 1 − µ ≤ ω . Then
1 − ω ≤ µ . By assumption,
1 − ω \ ρ ≤ Intτ ( µ , γ ) =
1 − Cτ ( 1 − µ , γ )
for some I(ρ) ≥γ. This gives that 1 − (ω ∨ ρ ) ≤ 1 − Cτ ( 1 − µ , γ ) .
Therefore, Cτ ( 1 − µ , γ ) ≤ ω ∨ ρ for some I(ρ)≥γ. This show that
I ( Cτ (1 − µ , γ ) \ ω ) ≥ γ . Hence, 1 − µ is r-gfIc set.
Recall that the sets µ and λ are fuzzy separated if Cτ ( µ , γ ) q λ and
µ qCτ (λ , γ ) .
Theorem 2.4
Let (X,τ,I) be an fuzzy ideal topological space, µ, λ,∈ IX and r∊I0. If µ
and λ are fuzzy separated and r-gfIo sets, then µ∨λ is r-gfIo.
Proof
Suppose µ and λ are fuzzy separated and r-gfIo sets and ρ ≤ µ ∨
λ, and τ ( 1 − ρ ) ≥ γ . Then ρ∧Cτ(µ,γ) ≤ µ and ρ∧Cτ(λ,γ) ≤ λ. By
assumption,
ρ∧Cτ(µ,γ)\ν1 ≤ Intτ(µ,γ), ρ∧Cτ(λ,γ)\ν2 ≤ Intτ(λ,γ),
for some I(ν1,ν2) ≥ γ. This means I(ρ∧Cτ(µ,γ)\Intτ(µ,γ)) ≥ γ, and
I(ρ∧Cτ(λ,γ)\Intτ(λ,γ)) ≥ γ. Thus, I(ρ∧Cτ(µ,γ)\Intτ(µ,γ))∨(ρ∧Cτ(λ,γ)\
Intτ(λ,γ)) ≥ γ.
Therefore,
I(ρ∧(Cτ(µ,γ)∨Cτ(λ,γ))\(Intτ(µ,γ)∨Intτ(λ,γ))) ≥ γ
r-gfIo relative to X.
Proof
Suppose that µ ≤ λ, µ is r-gfIo relative to λ and λ is r-gfIo relative
to X. Let ρ ≤ µ and τ ( 1 − ρ ) ≥ γ . Since µ is r-gfIo relative to λ. By
Theorem 2.5. ρ\ν1 ≤ Int λ(µ,γ) for some Iλ(ν1) ≥ r. This implies that there
exists τ(ω1) ≥ γ such that
ρ\ν1 ≤ ω1 ∧λ ≤ µ,
for some Iλ(ν1) ≥ λ. Let ρ ≤ λ and τ ( 1 − ρ ) ≥ γ .Since λ is r-gfIo, we
have
ρ\ν2 ≤ Intτ(λ,γ)
for some I(ν2) ≥ γ. This implies that there exists τ(ω2) ≥ r such that
ρ\ν2 ≤ ω2 ≤ λ,
for some I(ν2) ≥ γ. Now
ρ\(ν1∨ν2)=(ρ\ν1)∧(ρ\ν2) ≤ ω1 ∧ω2 ≤ ω1 ∧λ ≤ µ.
This implies that ρ\(ν1 ∨ν2) ≤ Intλ(µ,γ) for some I(ν1 ∨ν2) ≥γ.
Thus, µ r-gfIo relative to X.
References
1. Chang CL (1968) Fuzzy topological spaces. J Math Anal Appl 24: 182-190.
2. Chattopadhyay KC, Hazra RN, Samanta SK (1992) Gradation of openness:
fuzzy topology. Fuzzy sets and Systems 49: 237-242.
3. Chattopadhyay KC, Samanta SK (1993) Fuzzy topology: fuzzy closure
operator, fuzzy compactness and fuzzy connectedness. Fuzzy sets and
Systems 54: 207-212.
4. El Naschie MS (1996) Rossler oed G. Information and diffusion in quantum
physics. Chaos, Solitons and Fractals 7(5).
5. El Naschie MS (1998) On the uncertainty of Cantorian geometry and the two-
slit experiment. Chaos, Solitons & Fractals 9: 517-529.

6. El Naschie MS (2000) On the unification of heterotic strings, M theory and E (∞)

But ρ=ρ∧(µ∨λ) ≤ ρ∧(Cτ(µ∨λ,γ)), and we have
theory. Chaos, Solitons & Fractals 11: 2397-2408.
I(ρ\Intτ(µ∨λ,γ) ≤ (ρ∧Cτ(µ∨λ,γ))\Intτ(µ∨λ,γ) ≤ (ρ∧Cτ(µ∨λ,γ))\ 7. El Naschie MS (2004) A review of E infinity theory and the mass spectrum of
(Intτ(µ,γ)∨Intτ(λ,γ))) ≥ γ. high energy particle physics. Chaos, Solitons & Fractals 19: 209-236.

Hence, ρ\ν ≤ Intτ(µ∨λ,γ) for some I(ν) ≥ γ. This proves that µ∨λ 8. El Naschie MS (2004) Quantum gravity from descriptive set theory. Chaos,
is r-gfIo. Solitons & Fractals 19: 1339-1344.

9. El Naschie MS (2004) Quantum gravity, Clifford algebras, fuzzy set theory and
Corollary 1.1 the fundamental constants of nature. Chaos, Solitons & Fractals 20: 437-450.
Let (X,τ,I) be an fuzzy ideal topological space, µ, λ,∊IX and r∊I0. If 10. El Naschie MS (2004) The symplictic vacuum, exotic quasi particles and
µ and λ are r-gfIo sets, 1 − µ and 1 − λ are fuzzy separated. Then µ∧λ gravitational instanton. Chaos, Solitons & Fractals 22: 1-11.
is r-gfIc. 11. El Naschie MS (2005) On a fuzzy Kähler-like manifold which is consistent with
the two slit experiment. INT J Nonlin Sci Num 6: 95-98.
Proof
12. El Naschie MS (2006) Topics in the mathematical physics of E-in nity theory.
Obvious. Chaos, Solitons Fractals 30: 656-663.

Corollary 1.2 13. El Naschie MS (2006) Elementary prerequisites for E-infinity (recommended
background readings in nonlinear dynamics, geometry and topology). Chaos,
Let (X,τ,I) be an fuzzy ideal topological space, µ, λ,IX and r∊I0. If µ Solitons & Fractals 30: 579-605.
and λ are r-gfIo sets, then µ∧λ is r-gfIo. 14. El Naschie MS (2006) Advanced prerequisite for E-infinity theory. Chaos,
Solitons & Fractals 30: 636-641.
Proof:
15. Kim YC, Ko JM (2004) R-generalized fuzzy closed sets. J Fuzzy Math 12: 7-22.
Obvious.
16. Saber YM, Abdel-Sattar MA (2014) Ideals on Fuzzy Topological Spaces. Appl
Theorem 2.5 Math Sci 8: 1667-1691.

17. Ramadan AA (1992) Smooth topological spaces. Fuzzy sets and Systems 48:
Let (X,τ,I) be an fuzzy ideal topological space, µ, λ,∊ IX and r∊I0. If 371-375.

J Appl Computat Math, an open access journal Volume 7 • Issue 2 • 1000392

ISSN: 2168-9679
Citation: Saber MY (2018) R-Generalized Fuzzy Closed Sets with Respect to an Ideal in Fuzzy Topological Spaces. J Appl Computat Math 7: 392.
doi: 10.4172/2168-9679.1000392
18. Ramadan AA, Abbas SE, Kim YC (2001) Fuzzy irresolute mappings in smooth
fuzzy topological spaces. J Fuzzy Math 9: 865-878.
19. Šostak AP (1985) On a fuzzy topological structure. In Proceedings of the 13th
Winter School on Abstract Analysis, pp: 89-103.
J Appl Computat Math, an open access journal
ISSN: 2168-9679
Page 4 of 4
20. Zahran AM, Abbas SE, El-baki SA, Saber YM (2009) Decomposition of fuzzy
continuity and fuzzy ideal continuity via fuzzy idealization. Chaos, Solitons &
Fractals 42: 3064-3077.
21. Zahran AM, El-Baki S, Saber YM (2009) Decomposition of fuzzy ideal continuity
via fuzzy idealization. Int J Fuzzy Log Intell Syst 9: 83-93.
Volume 7 • Issue 2 • 1000392