Weak forms of continuity in I -double gradation fuzzy topological spaces

A Ghareeb

doi:10.1186/2193-1801-1-19

Research
Open Access

Weak forms of continuity in I-double gradation fuzzy topological spaces

A Ghareeb^{1, 2}Email author

SpringerPlus20121:19

https://doi.org/10.1186/2193-1801-1-19

Received: 23 May 2012
Accepted: 20 July 2012
Published: 25 September 2012

Abstract

In this paper, we introduce and characterize double fuzzy weakly preopen and double fuzzy weakly preclosed functions between I-double gradation fuzzy topological spaces and also study these functions in relation to some other types of already known functions.

Introduction

In the history of science, new theories have always been necessary in order for existing scientific theories to progress and this will continue to be true in the future. Two examples of essentially different mathematical theories that deal with the concept of uncertainty are probability theory and the theory of fuzzy sets. Whereas probability theory has a history of around 360 years, the theory of fuzzy sets is little more than 50 years old. Since the 1960s fuzzy methods have entered the scientific and technological world, good theoretical progress (e.g., fuzzy logic, fuzzy probability theory, fuzzy topology, fuzzy algebra) has been made, and there have been technical advances in various areas (e.g., fuzzy control, fuzzy expert systems, fuzzy clustering and data mining).

Chang (1968); Lowen (1976); Šostak (1985); Kubiak (1985); Samanta and Mondal (19972002) and many others contributed a lot to the field of Fuzzy Topology. In recent years Fuzzy Topology has been found to be very useful in solving many practical problems. Shihong Du et. al. (2005) are currently working to fuzzify the 9-intersection Egenhofer model Egenhofer and Franzosa (1991); Herring and Egenhofer (1991) for describing topological relations in Geographic Information Systems (GIS) query. In El-Naschie (19982000), El-Naschie has shown that the notion of Fuzzy Topology is applicable to quantum particle physics and quantum gravity in connection with String Theory and e^∞ Theory. Tang (2004) has used a slightly changed version of Chang’s fuzzy topological space to model spatial objects for GIS databases and Structured Query Language (SQL) for GIS.

In this paper, we will introduce the concepts of double fuzzy weakly preopen and double weakly preclosed functions in I-double gradation fuzzy topological spaces. Their properties and the relationships between these functions and other functions introduced previously are investigated.

Preliminaries

Throughout this paper, let X be a nonempty set and I is the closed unit interval [0,1]. I_∘=(0,1] and I₁=[0,1). The family of all fuzzy subsets on X denoted by I^X. By $\underline{0}$ and $\underline{1}$ , we denote the smallest and the greatest fuzzy subsets on X. For a fuzzy subset λ∈I^X, $\underline{1} - λ$ denotes its complement. Given a function $\tilde{f} : X \to Y$ , f(λ) and f⁻¹(λ) define the direct image and the inverse image of f, defined by $f (λ) (y) = \lor_{f (x) = y} λ (x)$ and f⁻¹(ν)(x)=ν(f(x)), for each λ∈I^X, ν∈I^Y, and x∈X, respectively. For fuzzy subsets λ and μ in X, we write λqμ to mean that λ is quasi coincident (q-coincident) with μ, that is, there exists at least one point x∈X such that λ(x) + μ(x)>1. Negation of such a statement is denoted as $λ \bar{q} μ$ . Notions and notations not described in this paper are standard and usual.

Definition 2.1

[(Samanta and Mondal (19972002); Garcia and Rodabaugh (2005)] An I-double gradation fuzzy topology (τ τ^∗) on X is a pair of maps τ, τ^∗:I^X→I, which satisfies the following properties:

(O1)

$τ (λ) \leq \underline{1} - τ^{*} (λ)$ for each λ∈I^X.
(O2)

τ(λ₁∧λ₂)≥τ(λ₁)∧τ(λ₂) and τ^∗(λ₁∧λ₂)≤τ^∗(λ₁)∨τ^∗(λ₂) for each λ₁, λ₂∈I^X.
(O3)

$τ (\underset{i \in Γ}{\lor} λ_{i}) \geq \underset{i \in Γ}{\land} τ (λ_{i})$ and $τ^{*} (\underset{i \in Γ}{\lor} λ_{i}) \leq \underset{i \in Γ}{\lor} τ^{*} (λ_{i})$ for each λ_i∈I^X, i∈Γ.

The triplet (X,τ,τ^∗) is called an I-double gradation fuzzy topological spaces (I-dfts, for short). A fuzzy set λ is called an (r,s)-fuzzy open ((r,s)-fo, for short) if τ(λ)≥r and τ^∗(λ)≤s. A fuzzy set λ is called an (r,s)-fuzzy closed ((r,s)-fc, for short) set iff $\underline{1} - λ$ is an (r,s)-fo set. Let $(X, τ_{1}, τ_{1}^{*})$ and $(Y, τ_{2}, τ_{2}^{*})$ be two I-dfts’s. A function $\tilde{f} : X \to Y$ is said to be a double fuzzy continuous iff τ₁(f⁻¹(ν))≥τ₂(ν) and $τ_{1}^{*} (f^{- 1} (ν)) \leq τ_{2}^{*} (ν)$ for each ν∈I^Y.

There was a question we must ask ourselve before starting to present our results, which was: Is it useful to introduce new concepts to I-double gradation fuzzy topological spaces?

We could know that double (initially, intuitionistic) fuzzy sets (and hence double fuzzy topological spaces) deal with ambiguity in a way better than fuzzy sets. In addition to that, double fuzzy topological spaces is a generalization of some other kinds of topological spaces; we can get fuzzy topological spaces in Chang’s sense

(X, T_{r, s})

, where

T_{(r, s)} = {λ \in I^{X} | τ (λ) \geq r, τ^{*} (λ) \leq s} .

Also, when the conditions τ^∗(λ)=1−τ(λ) and τ(λ) + τ^∗(λ)≮1 achieved in Definition 2.1, we get the definition of fuzzy topological spaces in Kubiak- Šostak’s sense Kubiak (1985); Šostak (1985). If we use 2^Xinstead of I^X, the resulting topological structure will be called double gradation fuzzifying topological spaces (A new structure mentioned for the first time in Bhaumik and Abbas 2008). Besides, we can also get the general topological spaces.

Theorem 2.1

[(Çoker and Demirci1996; Lee and Im (2001)] Let (X τ τ^∗) be an I-dfts. Then for each r∈I₀, s∈I₁ and λ∈I^X, we define an operator C_τ,τ^∗:I^X×I₀×I₁→I^X as follows:

C_{τ, τ^{*}} (λ, r, s) = \land {μ \in I^{X} ∣ λ \leq μ, τ (\underline{1} - μ) \geq r, τ^{*} (\underline{1} - μ) \leq s} .

For λ, μ∈I^X, r₁r₂∈I₀and s₁s₂∈I₁, the operator C_τ,τ^∗satisfies the following statements:

(C1)

$C_{τ, τ^{*}} (\underline{0}, r, s) = \underline{0}$ ,
(C2)

λ≤C_τ,τ^∗(λ,r,s),
(C3)

C_τ,τ^∗(λ,r,s)∨C_τ,τ^∗(μ,r,s)=C_τ,τ^∗(λ∨μ,r,s),
(C4)

C_τ,τ^∗(λ,r₁,s₁)≤C_τ,τ^∗(λ,r₂,s₂) if r₁≤r₂and s₁≥s₂,
(C5)

C_τ,τ^∗(C_τ,τ^∗(λ,r,s),r,s)=C_τ,τ^∗(λ,r,s).

Theorem 2.2

[(Çoker and Demirci1996; Lee and Im2001)] Let (X τ τ^∗) be an I-dfts. Then for each r∈I₀, s∈I₁ and λ∈I^X, we define an operator I_τ,τ^∗:I^X×I₀×I₁→I^Xas follows:

I_{τ, τ^{*}} (λ, r, s) = \lor {μ \in I^{X} ∣ μ \leq λ, τ (μ) \geq r, τ^{*} (μ) \leq s} .

For λ μ∈I^X, r r₁r₂∈I₀and s s₁s₂∈I₁, the operator I_τ,τ^∗satisfies the following statements:

(I1)

$I_{τ, τ^{*}} (\underline{1} - λ, r, s) = \underline{1} - C_{τ, τ^{*}} (λ, r, s)$ ,
(I2)

$I_{τ, τ^{*}} (\underline{1}, r, s) = \underline{1}$ ,
(I3)

I_τ,τ^∗(λ,r,s)≤λ,
(I4)

I_τ,τ^∗(λ,r,s)∧I_τ,τ^∗(μ,r,s)=I_τ,τ^∗(λ∧μ,r,s),
(I5)

I_τ,τ^∗(λ,r₁,s₁)≥I_τ,τ^∗(λ,r₂,s₂) if r₁≤r₂and s₁≥s₂,
(I6)

I_τ,τ^∗(I_τ,τ^∗(λ,r,s),r,s)=I_τ,τ^∗(λ,r,s),
(I7)

If I_τ,τ^∗(C_τ,τ^∗(λ,r,s),r,s)=λ, then $C_{τ, τ^{*}} (I_{τ, τ^{*}} (\underline{1} - λ, r, s), r, s) = \underline{1} - λ$ .

Definition 2.2

Let (X,τ,τ^∗) be an I-dfts. For λ∈I^X, r∈I₀and s∈I₁.

(1)

λ is called (r,s)-fuzzy preopen ((r,s)-fpo, for short) if λ≤I _τ,τ ^∗(C _τ,τ ^∗(λ,r,s),r,s). A fuzzy set λ is called (r,s)-fuzzy preclosed ((r,s)-fpc, for short) iff $\underline{1} - λ$ is (r,s)-fpo set. The (r,s)-fuzzy preinterior of λ, denoted by P I _τ,τ ^∗(λ,r,s) is defined by
$P I_{τ, τ^{*}} (λ, r, s) = \lor {ν \in I^{X} ∣ ν \leq λ, ν is (r, s) - fpo} .$

The (r,s)-fuzzy preclosure of λ, denoted by P C_τ,τ^∗(λ,r,s) is defined by
$P C_{τ, τ^{*}} (λ, r, s) = \land {ν \in I^{X} ∣ λ \leq ν, ν is (r, s) - fpc} .$
(2)

λ is called (r,s)-fuzzy regular open ((r,s)-fro, for short) if λ=I _τ,τ ^∗(C _τ,τ ^∗(λ,r,s),r,s). A fuzzy set λ is called (r,s)-fuzzy regular closed ((r,s)-frc, for short) iff $\underline{1} - λ$ is (r,s)-fro set.
(3)

λ is called (r,s)-fuzzy α-open ((r,s)-fα o, for short) if λ≤I _τ,τ ^∗(C _τ,τ ^∗(I _τ,τ ^∗(λ,r,s),r,s),r,s). A fuzzy setλ is called (r,s)-fuzzy α-closed ((r,s)-fα c, for short) iff $\underline{1} - λ$ is (r,s)-fα o set.

Theorem 2.3

Let (X,τ,τ^∗) be an I-dfts. For λ∈I^X, r∈I₀and s∈I₁.

(1)

λ is (r,s)-fpo (resp. (r,s)-fpc) iff λ=P I _τ,τ ^∗(λ,r,s) (resp. λ=P C _τ,τ ^∗(λ,r,s)),
(2)

I _τ,τ ^∗(λ,r,s)≤P I _τ,τ ^∗(λ,r,s)≤λ≤P C _τ,τ ^∗(λ,r,s)≤C _τ,τ ^∗(λ,r,s),
(3)

$\underline{1} - P I_{τ, τ^{*}} (λ, r, s) = P C_{τ, τ^{*}} (\underline{1} - λ, r, s)$ and $P I_{τ, τ^{*}} (\underline{1} - λ, r, s) = \underline{1} - P C_{τ, τ^{*}} (λ, r, s)$ .

Definition 2.3

Let

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

be a function from an I-dfts

(X, τ_{1}, τ_{1}^{*})

into an I-dfts

(Y, τ_{2}, τ_{2}^{*})

. The function f is called:

(1)

double fuzzy preclosed if f(λ) is (r,s)-fpc set in I ^Yfor each λ∈I ^X, r∈I ₀and s∈I ₁; $τ_{1} (\underline{1} - λ) \geq r$ , $τ_{1}^{*} (\underline{1} - λ) \leq s$ ,
(2)

double fuzzy open if τ ₂(f(λ))≥τ ₁(λ) and $τ_{2}^{*} (f (λ)) \leq τ_{1}^{*} (λ)$ for each λ∈I ^X, r∈I ₀and s∈I ₁,
(3)

double fuzzy almost open if τ ₂(f(λ))≥r and $τ_{2}^{*} (f (λ)) \leq s$ for each (r,s)-fro set λ∈I ^X, r∈I ₀and s∈I ₁.

Definition 2.4

Let

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

be a function from an I-dfts

(X, τ_{1}, τ_{1}^{*})

into an I-dfts

(Y, τ_{2}, τ_{2}^{*})

. The function f is called:

(1)

double fuzzy weakly open if $f (λ) \leq I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s)$ for each λ∈I ^X, r∈I ₀and s∈I ₁; τ ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ ,
(2)

double fuzzy α-open if f(λ) is (r,s)-fα o in I ^Yfor each λ∈I ^X, r∈I ₀and s∈I ₁; τ ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ .

Definition 2.5

Let (X,τ,τ^∗) be an I-dfts, μ∈I^X, x_t∈P(X), r∈I₀and s∈I₁where P(X) is the family of all fuzzy points in X. μ is called an (r,s)-fuzzy open Q-neighborhood of x_tif τ(μ)≥r, τ^∗(μ)≤s and x_tqμ. We denote the set of all (r,s)-fuzzy open Q-neighborhood of x_tby Q_τ,τ^∗(x_t,r,s).

Definition 2.6

Let (X,τ,τ^∗) be an I-dfts, λ∈I^X, x_t∈P(X), r∈I₀and s∈I₁. x_tis called (r,s)-fuzzy θ-cluster point of λ if for every μ∈Q_τ,τ^∗(x_t,r,s), we have C_τ,τ^∗(μ,r,s)qλ. We denote $D_{τ, τ^{*}} (λ, r, s) = \lor {x_{t} \in P (X) ∣ x_{t} is (r, s) -fuzzy θ -cluster point of λ}$ . Where D_τ,τ^∗(λ,r,s) is called (r,s)-fuzzy θ-closure of λ.

Theorem 2.4

Let (X,τ,τ^∗) an I-dfts. For λ, μ∈I^Xand r, s∈I₀, we have the following:

(1)

$D_{τ, τ^{*}} (λ, r, s) = \land {μ \in I^{X} ∣ λ \leq I_{τ, τ^{*}} (μ, r, s), τ (\underline{1} - μ) \geq r, τ^{*} (\underline{1} - μ) \leq s}$ ,
(2)

x _tis (r,s)-fuzzy θ-cluster point of λ iff x _t∈D _τ,τ ^∗(λ,r,s).
(3)

C _τ,τ ^∗(λ,r,s)≤D _τ,τ ^∗(λ,r,s),
(4)

If τ(λ)≥r and τ ^∗(λ)≤s, then C _τ,τ ^∗(λ,r,s)=D _τ,τ ^∗(λ,r,s),
(5)

If λ is (r,s)-fpo, then C _τ,τ ^∗(λ,r,s)=D _τ,τ ^∗(λ,r,s),
(6)

If λ is (r,s)-fpo and λ=C _τ,τ ^∗(I _τ,τ ^∗(λ,r,s),r,s), then D _τ,τ ^∗(λ,r,s)=λ.

The complement of (r,s)-fuzzy θ-closed set is called (r,s)-fuzzy θ-open and the (r,s)-fuzzy θ-interior operator denoted by T_τ,τ^∗(λ,r,s) is defined by $T_{τ, τ^{*}} (λ, r, s) = \lor {ν \in I^{X} ∣ C_{τ, τ^{*}} (ν, r, s) \leq λ, τ (ν) \geq r, τ^{*} (ν) \leq s}$ .

Remark 2.1

From Theorem 2.4 It is easy to see that:

(1)

I _τ,τ ^∗(λ,r,s)≤T _τ,τ ^∗(λ,r,s) for any λ∈I ^X, r∈I ₀and s∈I ₁,
(2)

T _τ,τ ^∗(λ,r,s)=I _τ,τ ^∗(λ,r,s) for each λ∈I ^X, r∈I ₀and s∈I ₁; τ(λ)≥r and τ ^∗(λ)≤s.

Double Fuzzy weakly preopen functions

Definition 3.7

A function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

is said to be double fuzzy weakly preopen if

f (λ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s)

for each λ∈I^X, r∈I₀ and s∈I₁; τ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ .

Remark 3.2

Every double fuzzy weakly open function is double fuzzy preopen and every double fuzzy preopen function is double fuzzy weakly preopen, but the converse need not be true in general.

Example 3.1

Let X={a,b,c} and Y={x,y,z}. Fuzzy sets λ₁, λ₂ and λ₃ are defined as:

\begin{align} λ_{1} (a) & = 0.5, λ_{1} (b) = 0.3, λ_{1} (c) = 0.2, \\ λ_{2} (x) & = 0.9, λ_{2} (y) = 1, λ_{2} (z) = 0.7, \\ λ_{3} (x) & = 0.2, λ_{3} (y) = 0.2, λ_{3} (z) = 0.3 . \end{align}

Define τ₁and τ₂ as follows:

τ_{1} (λ) = \{\begin{matrix} 1 if λ = \underline{0}, \underline{1}; \\ \frac{1}{3} if λ = λ_{1}; \\ 0 otherwise. \end{matrix}, τ_{1}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{0}, \underline{1}; \\ \frac{1}{4} if λ = λ_{1}; \\ 1 otherwise. \end{matrix}

τ_{2} (λ) = \{\begin{matrix} 1 if λ = \underline{0}, \underline{1}; \\ \frac{1}{3} if λ = λ_{2}; \\ \frac{2}{3} if λ = λ_{3}; \\ 0 otherwise. \end{matrix}, τ_{2}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{0}, \underline{1}; \\ \frac{1}{4} if λ = λ_{2}; \\ \frac{1}{3} if λ = λ_{3}; \\ 1 otherwise. \end{matrix}

Then the mapping $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ defined by f(a)=z, f(b)=x and f(c)=y is double fuzzy weakly preopen but not double fuzzy preopen. Where $τ_{1} (λ) \geq \frac{1}{3}$ , $τ_{1}^{*} (λ) \leq \frac{1}{3}$ and f(λ) is not $(\frac{1}{3}, \frac{1}{3})$ -fpo.

Example 3.2

Let X={a,b,c} and Y={x,y,z}. Fuzzy sets λ₁, λ₂ and λ₃ are defined as:

\begin{matrix} λ_{1} (a) & = 0.5, λ_{1} (b) = 0.3, λ_{1} (c) = 0.2; \\ λ_{2} (x) & = 0.9, λ_{2} (y) = 1, λ_{2} (z) = 0.7; \\ λ_{3} (x) & = 0.2, λ_{3} (y) = 0.9, λ_{3} (z) = 0.3 . \end{matrix}

Let

(τ_{1}, τ_{1}^{*})

and

(τ_{2}, τ_{2}^{*})

defined as follows:

τ_{1} (λ) = \{\begin{matrix} 1 if λ = \underline{0}, \underline{1} \\ \frac{1}{2} if λ = λ_{1}; \\ 0 otherwise. \end{matrix}, τ_{1}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{0}, \underline{1} \\ \frac{1}{2} if λ = λ_{1}; \\ 1 otherwise. \end{matrix}

τ_{2} (λ) = \{\begin{matrix} 1 if λ = \underline{0}, \underline{1} \\ \frac{1}{2} if λ = λ_{2}; \\ \frac{1}{3} if λ = λ_{3}; \\ 0 otherwise. \end{matrix}, τ_{2}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{0}, \underline{1} \\ \frac{1}{2} if λ = λ_{2}; \\ \frac{1}{3} if λ = λ_{3}; \\ 1 otherwise. \end{matrix}

Then the mapping $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ defined by f(a)=z, f(b)=x and f(c)=y is double fuzzy weakly preopen but not double fuzzy weakly open. Since $f (λ_{1}) ≦̸ I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ_{1}, r, s)), r, s)$ .

Theorem 3.5

For a function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y

,

τ_{2}, τ_{2}^{*})

. The following statements are equivalent:

(1)

f is double fuzzy weakly preopen,
(2)

$f (T_{τ_{1}, τ_{1}^{*}} (λ, r, s)) \leq P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s)$ for each λ∈I ^X, r∈I ₀and s∈I ₁,
(3)

$T_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν), r, s) \leq f^{- 1} (P I_{τ_{2}, τ_{2}^{*}} (ν, r, s))$ for each ν∈I ^Y, r∈I ₀and s∈I ₁,
(4)

$f^{- 1} (P C_{τ_{2}, τ_{2}^{*}} (ν, r, s)) \leq D_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν), r, s)$ for each ν∈I ^Y, r∈I ₀and s∈I ₁.

Proof

(1)⇒(2) Let λ∈I^X and

x_{p} \in T_{τ_{1}, τ_{1}^{*}} (λ, r, s)

. Then there exists

γ \in Q_{τ_{1}, τ_{1}^{*}} (x_{p}, r, s)

such that

γ \leq C_{τ_{1}, τ_{1}^{*}} (γ, r, s) \leq λ

. Thus

f (γ) \leq f (C_{τ_{1}, τ_{1}^{*}} (γ, r, s)) \leq f (λ)

and hence

\begin{array}{l} P I_{τ_{2}, τ_{2}^{*}} (f (γ), r, s) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (γ, r, s)), r, s) \\ \leq P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) . \end{array}

Since f is double fuzzy weakly preopen,

f (γ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (γ, r, s)), r, s) \leq P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) .

and hence $f (x_{p}) \in P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s)$ . This shows that $x_{p} \in f^{- 1} (P I_{τ_{2}} (f (λ), r, s))$ . Thus $T_{τ_{1}} (λ, r, s) \leq f^{- 1} (P I_{τ_{2}, τ_{2}^{*}}$ (f(λ),r,s)) and so, $f (T_{τ_{1}, τ_{1}^{*}} (λ, r, s)) \leq P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s)$ .

(2)⇒(1) Let μ∈I^X; τ₁(μ)≥r and

τ_{1}^{*} (μ) \leq s

. Since

μ \leq T_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (μ, r, s), r, s)

, then

\begin{array}{l} f (μ) \leq f (T_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (μ, r, s), r, s)) \\ \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s) . \end{array}

Hence f is double fuzzy weakly preopen.

(2)⇒(3) Let ν∈I^Y. By using (2), $f (T_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν)$ , $r, s)) \leq P I_{τ_{2}, τ_{2}^{*}} (ν, r, s)$ . Therefore, $T_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν), r, s) \leq f^{- 1} (P I_{τ_{2}, τ_{2}^{*}} (ν, r, s))$ .

(3)⇒(2) Trivial.

(3)⇒(4) Let ν∈I^Y. Using (3), we have

\begin{align} \underline{1} - D_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν), r, s) & = T_{τ_{1}, τ_{1}^{*}} (\underline{1} - f^{- 1} (ν), r, s) \\ = T_{τ_{1}, τ_{1}^{*}} (f^{- 1} (\underline{1} - ν), r, s) \\ \leq f^{- 1} (P I_{τ_{2}, τ_{2}^{*}} (\underline{1} - ν, r, s)) \\ = f^{- 1} (\underline{1} - P C_{τ_{2}, τ_{2}^{*}} (ν, r, s)) \\ = \underline{1} - (f^{- 1} (P C_{τ_{2}, τ_{2}^{*}} (ν, r, s))) . \end{align}

Therefore, we obtain $f^{- 1} (P C_{τ_{2}, τ_{2}^{*}} (ν, r, s)) \leq D_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν)$ , r,s).

(4)⇒(3) Similarly we obtain, $\underline{1} - f^{- 1} (P I_{τ_{2}, τ_{2}^{*}} (ν, r, s)) \leq \underline{1} - T_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν), r, s)$ , for every ν∈I^Y, r∈I₀ and s∈I₁, i.e., $T_{τ_{1}, τ_{1}^{*}} (f^{- 1} (ν), r, s) \leq f^{- 1} (P I_{τ_{2}, τ_{2}^{*}} (ν, r, s))$ . □

Theorem 3.6

For the function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y,

τ_{2}, τ_{2}^{*})

. The following statements are equivalent:

(1)

f is double fuzzy weakly preopen,
(2)

For each x _t ∈ P(X) and each μ∈I ^X; τ ₁(μ)≥r and $τ_{1}^{*} (μ) \leq s$ with x _t≤μ, there exists (r,s)-fpo set γ such that f(x _t)≤γ and $γ \leq f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s))$ .

Proof

(1)⇒(2) Let x_t ∈ P(X) and μ∈I^Xsuch that τ₁(μ)≥r, $τ_{1}^{*} (μ) \leq s$ and x_t≤μ. Since f is double fuzzy weakly preopen, then $f (μ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s)$ . Let $γ = P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s)$ . Hence $γ \leq f (C_{τ_{1}, τ_{1}^{*}}$ (μ,r,s)), with f(x_t)≤γ.

(2)⇒(1) Let μ∈I^X; τ₁(μ)≥r, $τ_{1}^{*} (μ) \leq s$ and y_s≤f(μ). It follows from (2) that $γ \leq f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s))$ for some (r,s)-fpo γ∈I^Yand y_s≤γ. Hence we have, $y_{s} \leq γ \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s)$ . This shows that $f (μ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s)$ , i.e. f is double fuzzy weakly preopen function. □

Theorem 3.7

Let

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

be a bijective function. Then the following statements are equivalent:

(1)

f is double fuzzy weakly preopen;
(2)

$P C_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ for each λ∈I ^X, r∈I ₀and s∈I ₁; τ ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ ;
(3)

$P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (ν, r, s)), r, s) \leq f (ν)$ for each ν∈I ^X, r∈I ₀and s∈I ₁; $τ_{1} (\underline{1} - ν) \geq r$ and $τ_{1}^{*} (\underline{1} - ν) \leq s$ .

Proof

(1)⇒(2) Let ν∈I^X; τ₁(ν)≥r and

τ_{1}^{*} (ν) \leq s

. Then we have,

f (\underline{1} - ν) = \underline{1} - f (ν) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (\underline{1} - ν, r, s)), r, s),

and so $\underline{1} - f (ν) \leq \underline{1} - P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (ν, r, s)), r, s)$ . Hence $P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (ν, r, s)), r, s) \leq f (ν)$ .

(2)⇒(3) Let λ∈I^X; τ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ . Since $C_{τ_{1}, τ_{1}^{*}} (λ, r, s)$ is (r,s)-fc set and $λ \leq I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s),$ r,s) by (3) we have $P C_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) \leq P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}}$ $(λ, r, s)), r, s) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ .

(3)⇒(2) Trivial.

(2)⇒(1) Trivial. □

Theorem 3.8

For a function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

. The following statements are equivalent:

(1)

f is double fuzzy weakly preopen;
(2)

$f (I_{τ_{1}, τ_{1}^{*}} (ν, r, s)) \leq P I_{τ_{2}, τ_{2}^{*}} (f (ν), r, s)$ for each ν∈I ^X, r∈I ₀and s∈I ₁; τ ₁(ν)≥r and $τ_{1}^{*} (ν) \leq s$ ;
(3)

$f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s)$ for each λ∈I ^X, r∈I ₀and s∈I ₁; τ ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ ;
(4)

$f (λ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s)$ , for each (r,s)-fpo set λ∈I ^X;
(5)

$f (λ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s)$ , for each (r,s)-fα o set λ∈I ^X.

Proof

(1)⇒(2) Let ν∈I^X, r∈I₀ and s∈I₁;

τ_{1} (\underline{1} - ν) \geq r

and

τ_{1}^{*} (\underline{1} - ν) \leq s

. By (1),

\begin{align} f (I_{τ_{1}, τ_{1}^{*}} (ν, r, s)) & \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (I_{τ_{1}, τ_{1}^{*}} (ν, r, s), r, s)), r, s) \\ \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (ν, r, s)), r, s) \\ = P I_{τ_{2}, τ_{2}^{*}} (f (ν), r, s) \end{align}

(2)⇒(3) It is clear.

(3)⇒(4) Let λ be (r,s)-fpo set. Hence by (3),

\begin{array}{l} f (λ) \leq f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)) \\ \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) . \end{array}

(4)⇒(5) and (5)⇒(1) are clear. □

Definition 3.8

A function $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is said to be double fuzzy strongly continuous, if $f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)) \leq f (λ)$ for each λ∈I^X, r∈I₀and s∈I₁.

Theorem 3.9

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preopen and double fuzzy strongly continuous function, then f is double fuzzy preopen.

Proof

Let λ∈I^X such that τ₁(λ)≥r and

τ_{1}^{*} (λ) \leq s

. Since f is double fuzzy weakly preopen

f (λ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) .

However, since f is double fuzzy strongly continuous, then $f (λ) \leq P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s)$ and therefore f(λ) is (r,s)-fpo. □

Definition 3.9

A function $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is said to be double fuzzy contra-preclosed if f(λ) is (r,s)-fpo for each λ∈I^X, r∈I₀and s∈I₁; $τ_{1} (\underline{1} - λ) \geq r$ and $τ_{1}^{*} (\underline{1} - λ) \leq s$ .

Theorem 3.10

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy contra-preclosed, then f is double fuzzy weakly preopen function.

Proof

Let λ∈I^X; τ₁(λ)≥r and

τ_{1}^{*} (λ) \leq s

. Then, we have

f (λ) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)) = P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) .

□

The converse of the above theorem need not be true in general as in the following Example.

Example 3.3

Let X={a,b,c} and Y={x,y,z}. Define fuzzy sets λ₁, λ₂ as follows:

\begin{align} λ_{1} (a) & = 0, λ_{1} (b) = 0.2, λ_{1} (c) = 0.7; \\ λ_{2} (x) & = 0, λ_{2} (y) = 0.2, λ_{2} (x) = 0.2 . \end{align}

Let

(τ_{1}, τ_{1}^{*})

and

(τ_{2}, τ_{2}^{*})

defined as follows:

τ_{1} (λ) = \{\begin{matrix} 1 if λ = \underline{1}, \underline{0}; \\ \frac{1}{3} if λ = λ_{1}; \\ 0 otherwise . \end{matrix}, τ_{1}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{1}, \underline{0}; \\ \frac{1}{3} if λ = λ_{1}; \\ 1 otherwise . \end{matrix}

τ_{2} (λ) = \{\begin{matrix} 1 if λ = \underline{1}, \underline{0}; \\ \frac{1}{3} if λ = λ_{2}; \\ 0 otherwise . \end{matrix}, τ_{2}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{1}, \underline{0}; \\ \frac{1}{3} if λ = λ_{2}; \\ 1 otherwise . \end{matrix}

Then the function $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ defined as f(a)=x, f(b)=y and f(c)=z is double fuzzy weakly preopen but it isn’t double fuzzy contra-preclosed.

Definition 3.10

An I-dfts (X,τ,τ^∗) is said to be (r,s)-fuzzy regular space if for each λ∈I^X; τ(λ)≥r and τ^∗(λ)≤s is a union of (r,s)-fo sets μ_i∈I^Xsuch that C_τ,τ^∗(μ_i,r,s)≤λ for each i∈J.

Theorem 3.11

Let (X,τ,τ^∗) be (r,s)-regular fuzzy topological space. Then, $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preopen if and only if f is double fuzzy preopen.

Proof

The sufficiency is clear. For the necessity, let λ∈I^X, r∈I₀, s∈I₁;

λ \neq \underline{0}

, τ₁(λ)≥r and

τ_{1}^{*} (λ) \leq s

. For each x_t≤λ, let

x_{t} \leq μ_{x_{t}} \leq C_{τ_{1}, τ_{1}^{*}} (μ_{x_{t}}, r, s) \leq λ

. Hence we obtain that

λ = \lor {μ_{x_{t}} ∣ x_{t} \leq λ} = \lor {C_{τ_{1}, τ_{1}^{*}} (μ_{x_{t}}, r, s) ∣ x_{t} \leq λ}

and,

\begin{align} f (λ) & = \lor {f (μ_{x_{t}}) ∣ x_{t} \leq λ} \\ \leq \lor {P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (μ_{x_{t}}, r, s)), r, s) ∣ x_{t} \leq λ} \\ \leq P I_{τ_{2}, τ_{2}^{*}} (f (\lor {C_{τ_{1}, τ_{1}^{*}} (μ_{x_{t}}, r, s) ∣ x_{t}}), r, s) \\ = P I_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) . \end{align}

Thus f is double fuzzy preopen. □

Theorem 3.12

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy almost open function, then it is double fuzzy weakly preopen.

Proof

Let λ∈I^X; τ₁(λ)≥r and τ 1∗(λ)≤s. Since f is double fuzzy almost open and

I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)

is (r,s)-fro, then

\begin{matrix} I_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)), r, s) & = f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} \\ \times (λ, r, s), r, s)) \end{matrix}

and hence

\begin{align} f (λ) & \leq f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s) \\ \leq I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) \\ \leq P I_{τ_{2}, τ_{2}^{*}} (f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) . \end{align}

This shows that f is double fuzzy weakly preopen. □

Definition 3.11

Let (X,τ,τ^∗) be an I-dfts, r∈I₀and s∈I₁. The two fuzzy sets λ, μ∈I^Xare said to be (r,s)-fuzzy separated iff $λ \bar{q} C_{τ, τ^{*}} (μ, r, s)$ and $μ \bar{q} C_{τ, τ^{*}} (λ, r, s)$ . A fuzzy set which cannot be expressed as a union of two (r,s)-fuzzy separated sets is said to be (r,s)-fuzzy connected.

Definition 3.12

Let (X,τ,τ^∗) an I-dfts. The fuzzy sets λ, μ∈I^Xsuch that $λ \neq \underline{0}$ , $μ \neq \underline{0}$ , are said to be fuzzy (r,s)-pre-separated if $λ \bar{q} P C_{τ, τ^{*}} (μ, r, s)$ and $μ \bar{q} P C_{τ, τ^{*}} (λ, r, s)$ or equivalently if there exist two (r,s)-fpo sets ν, γ such that λ≤ν, μ≤γ, $λ \bar{q} γ$ and $μ \bar{q} ν$ . An I-dfts which can not be expressed as a union of two fuzzy (r,s)-pre-separated sets is said to be fuzzy (r,s)-pre-connected space.

Theorem 3.13

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is an injective double fuzzy weakly preopen and strongly double fuzzy continuous function from the space $(X, τ_{1}, τ_{1}^{*})$ onto an (r,s)-fuzzy pre-connected space $(Y, τ_{2}, τ_{2}^{*})$ , then $(X, τ_{1}, τ_{1}^{*})$ is (r,s)-fuzzy connected.

Proof

Let

(X, τ_{1}, τ_{1}^{*})

be not (r,s)-fuzzy connected. Then there exist (r,s)-fuzzy separated sets β, γ∈I^X such that

β \lor γ = \underline{1}

. Since β and γ are (r,s)-fuzzy separated, there exists λ, μ∈I^X; τ₁(λ)≥r, τ₁(μ)≥r and

τ_{1}^{*} (λ) \leq s

,

τ_{1}^{*} (μ) \leq s

such that β≤λ, γ≤μ,

β \bar{q} μ

and

γ \bar{q} λ

. Hence we have f(β)≤f(λ), f(γ)≤f(μ),

f (β) \bar{q} f (μ)

and

f (γ) \bar{q} f (λ)

. Since f is double fuzzy weakly preopen and double fuzzy strongly continuous function, from Theorem 3.10 we have f(λ) and f(μ) are (r,s)-fpo sets. Therefore, f(β) and f(γ) are (r,s)-fuzzy pre-separated and

\underline{1} = f (\underline{1}) = f (β \lor γ) = f (β) \lor f (γ)

which is contradiction with $(Y, τ_{2}, τ_{2}^{*})$ is (r,s)-fuzzy pre-connected. Thus $(X, τ_{1}, τ_{1}^{*})$ is (r,s)-fuzzy connected. □

Double Fuzzy weakly preclosed functions

Definition 4.13

A function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

is said to be double fuzzy weakly preclosed function if

P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) \leq f (λ)

for each λ∈I^X, r∈I₀ and s∈I₁; $τ_{1} (\underline{1} - λ) \geq r$ and $τ_{1}^{*} (\underline{1} - λ) \leq s$ .

Remark 4.3

Clearly, every double fuzzy preclosed function is double fuzzy weakly preclosed, but the converse need not be true in general, as the next example shows.

Example 4.4

Let X={a,b} and Y={x,y}. Fuzzy sets λ₁ and λ₂ are defined as:

\begin{align} λ_{1} (x) & = 0.4, λ_{1} (y) = 0.3; \\ λ_{2} (a) & = 0.5, λ_{2} (b) = 0.6 . \end{align}

Let

τ_{1} (λ) = \{\begin{matrix} 1 if λ = \underline{1}, \underline{0}; \\ \frac{1}{2} if λ = λ_{2}; \\ 0 otherwise. \end{matrix}, τ_{1}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{1}, \underline{0}; \\ \frac{1}{2} if λ = λ_{2}; \\ 1 otherwise. \end{matrix}

τ_{2} (λ) = \{\begin{matrix} 1 if λ = \underline{1}, \underline{0}; \\ \frac{1}{2} if λ = λ_{1}; \\ 0 otherwise. \end{matrix}, τ_{2}^{*} (λ) = \{\begin{matrix} 0 if λ = \underline{1}, \underline{0}; \\ \frac{1}{2} if λ = λ_{1}; \\ 1 otherwise. \end{matrix}

Then the function $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ defined by f(a)=x, f(b)=y is double fuzzy weakly preclosed but is not double fuzzy preclosed.

Theorem 4.14

For a function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

. The following statements are equivalent.

(1)

f is double fuzzy weakly preclosed;
(2)

$P C_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ for each λ∈I ^X, r∈I ₀and s∈I ₁; τ ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ ;
(3)

$P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s) \leq f (λ)$ for each λ∈I ^X, r∈I ₀and s∈I ₁; $τ_{1} (\underline{1} - λ) \geq r$ and $τ_{1}^{*} (\underline{1} - λ) \leq s$ ;
(4)

$P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s) \leq f (λ)$ for each (r,s)-fpc set λ∈I ^X, r∈I ₀and s∈I ₁;
(5)

$P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s) \leq f (λ)$ for each (r,s)-fα c λ∈I ^X, r∈I ₀and s∈I ₁.

Proof

Straightforward. □

Theorem 4.15

For a function

f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})

. The following statements are equivalent.

(1)

f is double fuzzy weakly preclosed;
(2)

$P C_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ for each (r,s)-fro set λ∈I ^X, r∈I ₀and s∈I ₁;
(3)

For each ν∈I ^Y, μ∈I ^X, r∈I ₀and s∈I ₁; τ ₁(μ)≥r and $τ_{1}^{*} (μ) \leq s$ with f ⁻¹(ν)≤μ, there exists (r,s)-fpo set γ∈I ^Ywith ν≤γ and $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s)$ ;
(4)

For each fuzzy point y _s ∈ P(Y) and each μ∈I ^X, r∈I ₀and s∈I ₁such that τ ₁(μ)≥r and $τ_{1}^{*} (μ) \leq s$ with f ⁻¹(y _s)≤μ, there exists (r,s)-fpo set γ∈I ^Y; y _s≤γ and $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s)$ ;
(5)

$P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)), r, s) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ for each λ∈I ^X, r∈I ₀and s∈I ₁;
(6)

$P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (D_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)), r, s) \leq f (D_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ for each λ∈I ^X, r∈I ₀and s∈I ₁;
(7)

$P C_{τ_{2}, τ_{2}^{*}} (f (λ), r, s) \leq f (C_{τ_{1}, τ_{1}^{*}} (λ, r, s))$ for each (r,s)-fpo set λ∈I ^X, r∈I ₀and s∈I ₁.

Proof

We will prove (2)⇒(3) and (1)⇒(6).

(2)⇒(3): Let ν∈I^Y, r∈I₀, s∈I₁ and let μ∈I^X; τ₁(μ)≥r and

τ_{1}^{*} (μ) \leq s

with f⁻¹(ν)≤μ. Then

f^{- 1} (ν) \bar{q} C_{τ_{1}, τ_{1}^{*}} (\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s), r, s)

and consequently,

ν \bar{q} f (C_{τ_{1}, τ_{1}^{*}} (\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s), r, s)

. Since

\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s)

is (r,s)-fro,

ν \bar{q} P C_{τ_{2}, τ_{2}^{*}} (f (\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s)

by (2). Let

γ = \underline{1} - P C_{τ_{2}, τ_{2}^{*}} (f (\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s)), r, s)

. Then γ is (r,s)-fpo with ν≤γ and

\begin{align} f^{- 1} (γ) & \leq \underline{1} - f^{- 1} (P C_{τ_{2}, τ_{2}^{*}} (\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s), r, s)) \\ \leq \underline{1} - f^{- 1} f (\underline{1} - C_{τ_{1}, τ_{1}^{*}} (μ, r, s)) \\ \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s) . \end{align}

(1)⇒(6): Let ν∈I^Y, r∈I₀ and s∈I₁; $τ_{2} (\underline{1} - ν) \geq r$ , $τ_{2}^{*} (\underline{1} - ν) \leq s$ and $y_{s} \leq \underline{1} - f (ν)$ . Since $f^{- 1} (y_{s}) \leq \underline{1} - ν$ , there exists (r,s)-fpo γ∈I^Y with y_s≤γ and $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (\underline{1} - ν, r, s) = \underline{1} - I_{τ_{1}, τ_{1}^{*}} (ν, r, s)$ by (6). Therefore $γ \bar{q} f (I_{τ_{1}, τ_{1}^{*}} (ν, r))$ , so that $y_{s} \leq \underline{1} - P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (ν, r, s)), r, s)$ . □

Theorem 4.16

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preclosed, then for each y_s∈ P(Y) and each $μ \in Q_{τ_{1}, τ_{1}^{*}} (f^{- 1} (y_{s}), r, s)$ , there exists (r,s)-fpo set γ∈I^Y; $γ \in Q_{τ_{2}, τ_{2}^{*}} (y_{s}, r, s)$ , such that $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s)$ .

Proof

Let $μ \in Q_{τ_{1}, τ_{1}^{*}} (f^{- 1} (y_{s}, r, s)$ . Then μ(x) + s>1 and hence there exists t∈(0,1) such that μ(x)>t>1−s. Then $μ \in Q_{τ_{1}, τ_{1}^{*}} (f^{- 1} (y_{t}), r, s)$ . By Theorem 3.7-6 there exists (r,s)-fpo set γ∈I^Y; y_t≤γ such that $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s)$ . Now, γ(y)>t and hence γ(y)>1−s. Thus γ is (r,s)-fpo neighborhood of y_s. □

Definition 4.14

Let (X,τ,τ^∗) be an I-dfts. A fuzzy set λ∈I^Xis called (r,s)-fuzzy pre-Q-neighborhood of x_tif there exists (r,s)-fpo set μ∈I^Xsuch that x_tqμ≤λ. We denote the set of all (r,s)-fuzzy pre-Q-neighborhood of x_tby PQ_τ,τ^∗(x_t,r,s).

Theorem 4.17

In an I-dfts (X,τ,τ^∗). A fuzzy point x_t∈P C_τ,τ^∗(λ,r) if and only if for every μ ∈ PQ_τ,τ^∗(x_t,r,s), μqλ is hold.

Proof

Straightforward. □

Theorem 4.18

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preclosed and if for each ν∈I^X, r∈I₀and s∈I₁; $τ_{1} (\underline{1} - ν) \geq r$ , $τ_{1}^{*} (\underline{1} - ν) \leq s$ and each $f^{- 1} (y_{s}) \leq \underline{1} - ν$ there exists $μ \in Q_{τ_{1}, τ_{1}^{*}} (f^{- 1} (y_{s}), r, s)$ such that $f^{- 1} (y_{s}) \leq μ \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s) \leq \underline{1} - ν$ . Then f is double fuzzy preclosed.

Proof

Let ν∈I^X, r∈I₀and s∈I₁; $τ_{1} (\underline{1} - ν) \geq r$ , $τ_{1}^{*} (\underline{1} - ν) \leq s$ and let $y_{s} \leq \underline{1} - f (ν)$ . Then $f^{- 1} (y_{s}) \leq \underline{1} - ν$ , and hence there exists $μ \in Q_{τ_{1}, τ_{1}^{*}} (f^{- 1} (y_{s}), r, s)$ such that $f^{- 1} (y_{s}) \leq μ \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s) \leq \underline{1} - ν$ . Since f is double fuzzy weakly preclosed by using Theorem 3.12, there exists (r,s)-fuzzy pre-Q-neighborhood γ∈I^Ywith y_s≤γ and $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (μ, r, s)$ . Therefore, we obtain $f^{- 1} (γ) \bar{q} ν$ and hence $γ \bar{q} f (ν)$ , this shows that $y_{s} \notin P C_{τ_{2}, τ_{2}^{*}} (f (ν), r, s)$ . Therefore, f(ν) is (r,s)-fpc and f is double fuzzy preclosed function. □

Definition 4.15

A function $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is said to be double fuzzy contra-open (resp. double fuzzy contra-closed) if $τ_{2} (\underline{1} - f (λ)) \geq r$ and $τ_{2}^{*} (\underline{1} - f (λ)) \leq s$ (resp. τ₂(f(λ))≥r and $τ_{2}^{*} (f (λ)) \leq s$ ) for each λ∈I^X, r∈I₀and s∈I₁; τ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ (resp. $τ_{1} (\underline{1} - λ) \geq r$ and $τ_{1}^{*} (\underline{1} - λ) \leq s$ ).

Theorem 4.19

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy contra-open, then f is double fuzzy weakly preclosed.

Proof

Let λ∈I^X, r∈I₀ and s∈I₁ such that

τ_{1} (\underline{1} - λ) \geq r

and

τ_{1}^{*} (\underline{1} - λ) \leq s

. Then,

\begin{array}{l} P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (λ, r, s)), r, s) \leq f (I_{τ_{1}, τ_{1}^{*}} (λ, r, s)) \\ \leq f (λ) . \end{array}

□

Theorem 4.20

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preclosed, then for every ν∈I^Yand every λ∈I^X, r∈I₀, s∈I₁such that τ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ with f⁻¹(ν)≤λ, there exists (r,s)-fpc set γ∈I^Ysuch that ν≤γ and $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (λ, r, s)$ .

Proof

Let ν∈I^Yand let λ∈I^X, r∈I₀and s∈I₁such that τ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ with f⁻¹(ν)≤λ. Put $γ = P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)), r, s)$ , then γ is (r,s)-fpc set in I^Ysuch that ν≤γ since $ν \leq f (λ) \leq f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)) \leq P C_{τ_{2}, τ_{2}^{*}} (f (I_{τ_{1}, τ_{1}^{*}} (C_{τ_{1}, τ_{1}^{*}} (λ, r, s), r, s)), r, s) = γ$ . And since f is double fuzzy weakly preclosed, $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (λ, r, s)$ . □

Corollary 4.21

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preclosed, then for every y_s∈ P(Y) and every λ∈I^X, r∈I₀and s∈I₁such that τ₁(λ)≥r and $τ_{1}^{*} (λ) \leq s$ with f⁻¹(y_s)≤λ, there exists (r,s)-fpc set γ∈I^Y; y_s≤γ such that $f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (λ, r, s)$ .

Definition 4.16

A fuzzy set λ∈I^Xis called (r,s)-fuzzy θ-compact if for each family {μ_i∣i∈J} in ${μ \in I^{X} ∣ μ \in Q_{τ, τ^{*}} (λ, r, s)}$ satisfy $(\underset{i \in J}{\lor} μ_{i}) (x) \geq λ (x)$ for each x∈X, there exist a finite subset J₀of J such that $λ \leq I_{τ, τ^{*}} (\lor {C_{τ, τ^{*}} (μ_{i}, r, s) ∣ i \in J_{0}}, r, s)$ .

Theorem 4.22

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preclosed with all fibers (r,s)-fuzzy θ-closed, then f(λ) is (r,s)-fpc for each (r,s)-fuzzy θ-compact λ∈I^X, r∈I₀and s∈I₁.

Proof

Let λ be (r,s)-fuzzy θ-compact and let

y_{s} \leq \underline{1} - f (λ)

. Then

f^{- 1} (y_{s}) \bar{q} λ

and for each x_t≤λ there is

μ_{x_{t}} \in Q_{τ_{1}, τ_{1}^{*}} (x_{t}, r, s)

with

x_{t} \leq μ_{x_{t}}

and

C_{τ_{1}, τ_{1}^{*}} (μ_{x_{t}}, r, s) \bar{q} f^{- 1} (y_{s})

. Clearly

{μ_{x_{t}} ∣ x_{t} \leq λ, μ_{x_{t}} \in Q_{τ_{1}, τ_{1}^{*}} (λ, r, s)}

satisfy

(\underset{i \in J}{\lor} μ_{i}) (x) \geq λ (x)

for each x∈X and since λ is (r,s)-fuzzy θ-compact, there is

{μ_{x_{1}}, μ_{x_{2}}, μ_{x_{3}}, ., μ_{x_{n}}} \subseteq {μ_{x_{t}} ∣ x_{t} \leq λ, μ_{x_{t}} \in Q_{τ_{1}, τ_{1}^{*}} (λ, r, s)}

such that

λ \leq I_{τ_{1}, τ_{1}^{*}} (ξ, r, s)

, where

ξ = \lor {C_{τ_{1}, τ_{1}^{*}} (μ_{x_{i}}, r, s) ∣ i = 1, 2, \dots, n}

. Since f is double fuzzy weakly preclosed, by using Theorem 3.12 there exists

γ \in {PQ}_{τ_{1}, τ_{1}^{*}} (y_{s}, r, s)

with

\begin{array}{l} f^{- 1} (y_{s}) \leq f^{- 1} (γ) \leq C_{τ_{1}, τ_{1}^{*}} (\underline{1} - ξ, r, s) = \underline{1} - I_{τ_{1}, τ_{1}^{*}} (ξ, r, s) \\ \leq \underline{1} - λ. \end{array}

Therefore y_s≤γ and $γ \bar{q} f (λ)$ . Thus $y_{s} \leq \underline{1} - P C_{τ_{2}, τ_{2}^{*}} (f (λ), r, s)$ . Thus f(λ) is (r,s)-fpc set. □

Definition 4.17

Let (X,τ,τ^∗) be an I-dfts. The fuzzy sets λ, μ∈I^Xare (r,s)-fuzzy strongly separated if there exist ν, γ∈I^Xsuch that τ(ν)≥r and τ^∗(ν)≤s, τ(γ)≥r with λ≤ν, μ≤γ and $C_{τ, τ^{*}} (ν, r, s) \bar{q} C_{τ, τ^{*}} (γ, r, s)$ .

Definition 4.18

An I-dfts (X,τ,τ^∗) is called (r,s)-fuzzy pre T₂if for each $x_{t_{1}}$ , $x_{t_{2}}$ with different supports there exists (r,s)-fpo sets λ, μ∈I^Xsuch that $x_{t_{1}} \leq λ \leq x_{1 - t_{2}}$ , $x_{t_{2}} \leq μ \leq x_{1 - t_{1}}$ and $λ \bar{q} μ$ .

Theorem 4.23

If $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ is double fuzzy weakly preclosed surjection and all fibers are (r,s)-fuzzy strongly separated, then $(Y, τ_{1}, τ_{1}^{*})$ is (r,s)-fuzzy pre-T₂.

Proof

Let $y_{s_{1}}, y_{s_{2}} \in P (Y)$ and let γ,ν∈I^X, r∈I₀and s∈I₁; τ₁(γ)≥r, $τ_{1}^{*} (γ) \leq s$ , τ₁(ν)≥r and τ₁(ν)≤s such that $f^{- 1} (y_{s_{1}}) \leq γ$ and $f^{- 1} (y_{s_{2}}) \leq ν$ respectively with $C_{τ_{1}, τ_{1}^{*}} (γ, r, s) \bar{q} C_{τ_{1}, τ_{1}^{*}} (ν, r, s)$ . By using Theorem 3.12-4 there are (r,s)-fpo sets λ, μ∈I^Ysuch that $y_{s_{1}} \leq λ$ and $y_{s_{2}} \leq μ$ , $f^{- 1} (λ) \leq C_{τ_{1}, τ_{1}^{*}} (γ, r, s)$ and $f^{- 1} (μ) \leq C_{τ_{1}, τ_{1}^{*}} (ν, r, s)$ . Therefore $λ \bar{q} μ$ , because $C_{τ_{1}, τ_{1}^{*}} (γ, r, s) \bar{q} C_{τ_{2}, τ_{2}^{*}} (ν, r, s)$ and f is surjective. Thus $(Y, τ_{2}, τ_{2}^{*})$ is (r,s)-fuzzy pre-T₂. □

Definition 4.19

an I-dfts (X,τ,τ^∗) is said to be (r,s)-extremally disconnected if τ(C_τ,τ^∗(λ,r,s))≥r and τ^∗(C_τ,τ^∗(λ,r,s))≤s for each λ∈I^X; τ(λ)≥r and τ^∗(λ)≤s.

Definition 4.20

an I-dfts (X,τ,τ^∗) is said to be (r,s)-fuzzy almost compact if for each (r,s)-fuzzy open cover {λ_i∣i∈J} of X, there is a finite subset J₀of J such that $\lor {C_{τ, τ^{*}} (λ_{i}, r, s) ∣ i \in J_{0}} = \underline{1}$ .

Definition 4.21

A fuzzy set λ in an I-dfts (X,τ,τ^∗) is said to be (r,s)-fuzzy p-compact iff for each family of (r,s)-fpo sets {μ_i∣i∈J} satisfies $(\underset{i \in J}{\lor} μ_{i}) (x) = λ (x)$ for each x∈X. There exists finite subfamily J₀of J such that $(\underset{i \in J_{0}}{\lor} P C_{τ, τ^{*}} (μ_{i}, r, s)) (x) \geq λ (x)$ for each x∈X.

Theorem 4.24

Let $(X, τ_{1}, τ_{1}^{*})$ be (r,s)-extremally disconnected I-dfts. Let $f : (X, τ_{1}, τ_{1}^{*}) \to (Y, τ_{2}, τ_{2}^{*})$ be double fuzzy open and double fuzzy preclosed injective function such that f⁻¹(y_s) is (r,s)-fuzzy almost compact for each y_s ∈ P(Y). If λ∈I^Yis (r,s)-fuzzy P-compact. Then f⁻¹(λ) is (r,s)-fuzzy almost compact.

Proof

Let {ν_j∣æ∈J} be (r,s)-fuzzy open cover of f⁻¹(λ). Then for each y_s≤λ∧f(X),

f^{- 1} (y_{s}) \leq \lor {C_{τ_{1}, τ_{1}^{*}} (ν_{j}, r, s) ∣ æ \in J (y_{s})} = γ_{y_{s}}

, for some finite subfamily J(y_s) of J. Since

(X, τ_{1}, τ_{1}^{*})

is (r,s)-extremally disconnected each

τ_{1} (C_{τ_{1}, τ_{1}^{*}} (ν_{j}, r, s)) \geq r

and

τ_{1}^{*} (C_{τ_{1}, τ_{1}^{*}} (ν_{j}, r, s)) \leq s

, hence

τ_{1} (γ_{y_{s}}) \geq r

and

τ_{1}^{*} (γ_{y_{s}}) \leq s

. So by Corollary 4.21 there exists (r,s)-fpc set

μ_{y_{s}}; y_{s} \leq μ_{y_{s}}

such that

f^{- 1} (μ_{y_{s}}) \leq C_{τ_{1}, τ_{1}^{*}} (γ_{y_{s}}, r, s)

. Then,

{μ_{y_{s}} ∣ y_{s} \leq λ \land f (X)} \lor {\underline{1} - f (X)}

is (r,s)-fuzzy preclosed cover of λ,

λ \leq \lor {C_{τ_{2}, τ_{1}} (μ_{y_{s}}, r, s) ∣ y_{s} \leq λ \land f (X)} \lor {C_{τ_{2}, τ_{2}^{*}} (\underline{1} - f (X), r, s)}

for some finite fuzzy subset K of λ∧f(X). Hence,

\begin{align} f^{- 1} (λ) & \leq \underset{y_{s} \in K}{\lor} f^{- 1} (C_{τ_{2}, τ_{2}^{*}} (μ_{y_{s}}, r, s)) \\ \lor {f^{- 1} (C_{τ_{2}, τ_{2}^{*}} (\underline{1} - f (X), r, s))} \\ \leq \underset{y_{s} \in K}{\lor} C_{τ_{1}, τ_{1}^{*}} (f^{- 1} (μ_{y_{s}}), r, s) \\ \lor {C_{τ_{1}, τ_{1}^{*}} (f^{- 1} (\underline{1} - f (X)), r, s)} \\ \leq \underset{y_{s} \in K}{\lor} C_{τ_{1}, τ_{1}^{*}} (f^{- 1} (μ_{y_{s}}), r, s) \end{align}

so $f^{- 1} (λ) \leq \underset{æ \in J (y_{s}), y_{s} \in K}{\lor} C_{τ_{1}, τ_{1}^{*}} (ν_{æ}, r, s)$ . Therefore f⁻¹ (λ) is (r,s)-fuzzy almost compact. □

Declarations

Acknowledgements

The author would like to thank the reviewers for their valuable comments and helpful suggestions for improvement of the original manuscript.

Authors’ Affiliations

(1)

Mathematics Department, Faculty of Science, South Valley University, Qena, Egypt

(2)

Present address: Department of Mathematics, College of Science in Al-Zulfi, Majmaah University, Al-Zulfi, Kingdom of Saudi Arabia

References

Bhaumik RN, Abbas SE: (L,M)-intuitionistic fuzzy topological spaces. Bull Kerala Mathematics Assoc 2008, 5: 25-47.Google Scholar
Chang CL: Fuzzy topological spaces. J Math Anal Appl 1968, 24: 39-90. 10.1016/0022-247X(68)90048-6View ArticleGoogle Scholar
Çoker D, Demirci M: An introduction to intuitionistic fuzzy topological spaces in Šostak’s sense. Busefal 1996, 67: 67-76.Google Scholar
Du S, Qin Q, Wang Q, Li B: Fuzzy description of topological relations i: a unified fuzzy 9-intersection model. Lecture Notes Comp Sci 2005, 3612: 1261-1273. 10.1007/11539902_161View ArticleGoogle Scholar
Egenhofer MJ, Franzosa R: Point-set topological spatial relations. J Geo Info Sys 1991, 2: 161-174.Google Scholar
El-Naschie MS: On the uncertainty of cantorian geometry and the twoslit experiment. Chaos, Solitons Fractals 1998, 9: 517-529. 10.1016/S0960-0779(97)00150-1View ArticleGoogle Scholar
El-Naschie, MS: On the certification of heterotic strings, M theory and $e^{\infty }$e∞ theory. Chaos, Solitons and Fractals 2000, 2397-2408.Google Scholar
Garcia JG, Rodabaugh SE: Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued “intuitionistic” sets, “intuitionistic” fuzzy sets and topologies. Fuzzy Sets Syst 2005, 156: 445-484. 10.1016/j.fss.2005.05.023View ArticleGoogle Scholar
Herring J, Egenhofer MJ: Categorizing binary topological relations between regions, lines and points in geographic databases. 1991.Google Scholar
Kubiak T: On fuzzy topologies. 1985. Ph.D thesis, A. Mickiewicz, poznanGoogle Scholar
Lee EP, Im YB: Mated fuzzy topological spaces. Int J Fuzzy Logic Intell Syst 2001, 11: 161-165.Google Scholar
Lowen R: Fuzzy topological spaces and fuzzy compactness. J Math Anal Appl 1976, 56: 621-623. 10.1016/0022-247X(76)90029-9View ArticleGoogle Scholar
Samanta SK, Mondal TK: Intuitionistic gradation of openness: intuitionistic fuzzy topology. Busefal 1997, 73: 8-17.Google Scholar
Samanta SK, Mondal TK: On intuitionistic gradation of openness. Fuzzy Sets Syst 2002, 131: 323-336. 10.1016/S0165-0114(01)00235-4View ArticleGoogle Scholar
Šostak AP: On a fuzzy topological structure. Suppl Rend Circ Matem Palermo-Sir II 1985, 11: 89-103.Google Scholar
Tang X: Spatial object modeling in fuzzy topological spaces with applications to land cover change in China. 2004.Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.