_{1}

^{*}

The concept of a fuzzy topology on a fuzzy set has been introduced in [1]. The aim of this work is to introduce fuzzy δ^{*}-continuity and fuzzy δ^{**}-continuity in this in new situation and to show the relationships between fuzzy continuous functions where we confine our study to some of their types such as, fuzzy δ-continuity, fuzzy continuity, after presenting the definition of a fuzzy topology on a fuzzy set and giving some properties related to it.

The concept of a fuzzy topology on a fuzzy set has been introduced by Chakrabarty and Ahsanullah [^{*}-continuity, fuzzy δ^{*}^{*}- continuity and to show the relationships between types of fuzzy continuous functions in this situation and we examine the validity of the standard results.

Let X and Y be sets and and be two subsets of X, Y respectively. Let I denote the closed unit interval. Let and for By we shall mean the fuzzy subset of X and the value of a fuzzy set at some will be denoted by such that for, and the support of a fuzzy set in X will be denoted by such that for all x in X. If and are fuzzy sets and for all x in X, then is said to be a fuzzy subset of and denoted by. The set of all fuzzy subsets of a nonempty set is denoted by.

Definition 2.1. [

is called a fuzzy point with support x and value r. is often denoted by.

For a fuzzy point

1).

2).

Definition 2.2. [

Definition 2.3. [

. If and is not quasicoincident referred to, we denoted for this by.

In [4,5] fuzzy function have been introduced in a different way considering them as fuzzy relations with special properties. A special kind of fuzzy functions had been called fuzzy proper functions or proper functions that would be the morphisms in the proposed category FUZZY TOP.

Definition 3.1. [

2) For each, there exists a unique such that and if.

Let be a proper function from to.

Definition 3.2. [

for each.

Definition 3.3. [

for each

Proposition 3.4. [

1), for each.

2), for each.

3) and

Definition 3.5. [

Proposition 3.6. [

Definition 3.7. [_{ }defined by

for each, is said to be the restriction of to.

Proposition 3.8. [

Definition 3.9. [

2), then.

3) for each, then.

is said to be a fuzzy topological space (fts, for short). The members of are called fuzzy open sets in. The complement of the members of referred to are called the fuzzy closed sets in. The family of all fuzzy closed sets in will be denoted by.

Definition 3.10. [

is a fuzzy topology on, is called a subspace of.

Definition 3.11. [

Definition 3.12. [

. i.e. is the union of all open fuzzy subsets of _{ }which contained in.

Definition 3.13. [

,.

The set of all q-neighbourhood of is called the system of q-nbd of._{}

Proposition 3.14. [

Definition 3.15. [

1) is said to be a fuzzy regular open set in a fts.

2) is said to be a fuzzy regular closed set in a fts if is fuzzy regular open.

Definition 3.16. [

. The set of all fuzzy -cluster

(resp. fuzzy θ-cluster) points of is called fuzzy - cluster (resp. fuzzy θ-closure) and is denoted by

. A fuzzy subset is called a fuzzy δ-closed (resp. θ-closed) if (resp.) and the complement of a fuzzy δ-closed (resp. θ-closed) set is called fuzzy δ-open (resp. θ-open).

Remark 3.17. [

In this paper, the family of all fuzzy regular open (resp. fuzzy regular closed, fuzzy δ-open, fuzzy δ-closed, fuzzy open, fuzzy closed) sets in will be denoted by

.

Unless otherwise mentioned are two fuzzy topologies on, respectively, and a proper function from to.

Definition 4.1. A proper function

is called fuzzy -continuous if

for each.

Example 4.2. Let

and

,.

Consider the fuzzy topologies on, resp.

and. Let the proper function defined by,

one may notice that the only fuzzy open sets in are, and but, , and, ,. Hence is fuzzy δ^{*}- continuous.

Theorem 4.3. If be fuzzy δ^{*}- continuous and, then

is fuzzy δ^{*}-continuous .

Proof: Let such that.

Then there exists fuzzy open such that .

Now

but be fuzzy δ^{*}-continuous such that . Therefore

.

Hence is fuzzy δ^{*}-continuous.

Definition 4.4. [

Henceforth such functions will be called fuzzy continuous proper function.

Theorem 4.5. If a proper function is fuzzy δ^{*}-continuous then, it is fuzzy continuous.

Proof: Let, but is fuzzy δ^{*}-continuous. Hence and by (Remark (3.17)) every fuzzy δ-open implies fuzzy open. (i.e.). Hence is fuzzy continuous.

We can see from Example (4.2) such that

and, ,

but, ,.

Definition 4.6. [

for each.

Remark 4.7. [

Theorem 4.8. If be fuzzy δ- continuous and, then

is fuzzy δ-continuous.

Proof: Let such that. [by Prop. 3.8]. But is fuzzy δ-continuous such that. Therefore. Hence is fuzzy δ-continuous.

Theorem 4.9. If a proper function is fuzzy δ^{*}-continuous, then it is fuzzy δ-continuous.

Proof: Let. And by Remark 3.17 every fuzzy regular open implies fuzzy δ-open implies fuzzy open. (i.e. and but is fuzzy δ^{*}-continuous). Hence . Therefore is fuzzy δ-continuous.

Definition 5.1. A proper function is called fuzzy -continuous if for each.

Example 5.2. Let

and

Consider the fuzzy topologies on and resp. and. Let the proper function defined by_{.} One may notice that the only fuzzy δ-open sets in are, and and

Hence is fuzzy δ^{**}-continuous.

Theorem 5.3. If be fuzzy δ^{**}- continuous and, then

is fuzzy δ^{**}-continuous.

Proof: Let such that.

[by Prop. 3.8]. But is fuzzy δ^{**}-continuous_{ }such that. Therefore Hence is fuzzy δ^{**}-continuous.

Theorem 5.4. If a proper function is fuzzy δ-continuous, then it is fuzzy δ^{**}-continuous.

Proof: Let and (by Remark 3.17 every fuzzy regular open implies fuzzy δ-open), i.e.

But is fuzzy δ-continuous. Hence

and (by Remark 3.17 every fuzzy δ-open implies fuzzy open). Therefore, (i.e. is fuzzy δ^{**}-continuous).

Theorem 5.5. If a proper function _{ }is fuzzy continuous, then it is fuzzy δ^{**}-continuous.

Proof: Let and (by Remark 3.17 every fuzzy δ-open implies fuzzy open), i.e.

But is fuzzy continuous. Hence Therefore is fuzzy δ^{**}-continuous.

We can see from Example (5.2.).

Remark 5.6. It is clear that not every fuzzy δ^{**}-continuous may be fuzzy δ^{*}-continuous and we can see from example.

Example 5.7. Let

and

Consider the fuzzy topologies on and resp.

and. Let the proper function defined by, is fuzzy δ^{**}-continuous but not fuzzy δ^{*}-continuous such that the only fuzzy δ-open sets in are, and

but.

From what we have deduced so far, we now obtain:

Fuzzy continuous ® Fuzzy δ^{**}-continuous;

Fuzzy δ-continuous ® Fuzzy δ^{**}-continuous;

Fuzzy δ^{*}-continuous ® Fuzzy continuous;

Fuzzy δ^{*}-continuous ® Fuzzy δ-continuous.

The main purpose of this paper introduces a new concept in fuzzy set theory, namely that of a fuzzy δ^{*}-continuity and fuzzy δ^{**}-continuity. On the other hand, fuzzy topology on a fuzzy set is a kind of abstract theory of mathematics. First, we present and study fuzzy δ^{*}-continuity and fuzzy δ^{**}-continuity from a fuzzy topological space on a fuzzy set into another. Then, we present the relationships between types of fuzzy continuous functions.

The author is thankful to the referee for his valuable suggestions.