"Lusin's Theorem on Fuzzy Measure Spaces"

(1)

Lusin’s theorem on fuzzy measure spaces

Jun Li

a;∗

_{, Masami Yasuda}

b

a_{Department of Applied Mathematics, Southeast University, Nanjing 210096, People’s Republic of China} b_{Department of Mathematics & Informatics, Faculty of Science, Chiba University, Chiba 263-8522, Japan}

Received 25 August 2002; received in revised form 5 May 2003; accepted 7 May 2003

Abstract

In this paper, we show that weakly null-additive fuzzy measures on metric spaces possess regularity. Lusin’s theorem, which is well-known in classical measure theory, is generalized to fuzzy measure space by using the regularity and weakly null-additivity. A version of Egoro3’s theorem for the fuzzy measure de4ned on metric spaces is given. An application of Lusin’s theorem to approximation in the mean of measurable function on fuzzy measure spaces is presented.

c

Keywords: Non-additive measures; Fuzzy measure; Weakly null-additivity; Regularity; Lusin’s theorem; Approximation in the mean

1. Introduction

The well-known Lusin’s theorem in classical measure theory is very important and useful for

discussing the continuity and the approximation of measurable function on metric spaces [8]. Song

and Li [9] investigated the regularity of null-additive fuzzy measure on metric spaces and showed Lusin’s theorem on fuzzy measure space under the null-additivity condition. These improved the previous results of Wu and Ha [11]. Further discussions for the regularity of fuzzy measures were made by Pap [7], Jiang et al. [2,3], and Wu and Wu [12].

In this paper, we shall use a weaker structural characteristic of fuzzy measures—weakly null-additivity—to discuss the above-mentioned problems. Our goal is to prove the Lusin’s theorem on fuzzy measure space under the weakly null-additivity condition. The paper is organized as follows. In Section 2, a necessary and suCcient condition of weakly null-additivity of fuzzy measure is presented in Lemma 1. It constitutes the essential position in our discussion here. In Section 3,

_{This work was supported by the China Scholarship Council.}

∗_{Corresponding author. Tel.: +86-25-3792396; fax: +86-25-3792396.}

E-mail address: [email protected](J. Li).

(2)

we prove that the weakly null-additivity implies regularity for a 4nite fuzzy measure de4ned on

metric space. In Section 4, a version of Egoro3’s theorem for the fuzzy measure de4ned on metric

spaces is given. In Section 5, by using the regularity and Egoro3’s theorem we shall prove that the well-known Lusin’s theorem remains valid for those weakly null-additive fuzzy measures de4ned on a metric space. These are improvements and generalizations of the earlier results of Song and L i [9]. Lastly , as an application of Lusin’s theorem, we shall describe the mean approximations of measurable function by continuous functions, or by polynomials, or by step functions in the sense of Sugeno and of Choquet integral, respectively.

2. Preliminaries

Throughout this paper, we suppose that (X; ) is a metric space, and that O and C are the classes of all open and closed sets in (X; ), respectively, and B is Borel -algebra on X , i.e., it is the smallest -algebra containing O [1]. Unless stated otherwise all the subsets mentioned are supposed to belong to B.

A set function : B → [0; +∞] is called a fuzzy measure, if it satis4es the following properties:

(FM1) (∅) = 0;

(FM2) A⊂B implies (A)6(B) (monotonicity);

(FM3) A1⊂A2⊂ · · · implies limn→∞(An) = (∞n=1An) (continuity from below);

(FM4) A1⊃A2⊃ · · ·, and there exists n0 with (An0)¡+∞ imply

lim n→∞ (An) = _∞ n=1 An

(continuity from above):

In this paper, we always assume that is a 4nite fuzzy measure on B, i.e., (X )¡∞.

A fuzzy measure is called null-additive, if (E ∪ F) = (E) whenever E; F ∈B and (F) = 0;

autocontinuous from above, if limn→+∞(E ∪ Fn) = (E) whenever E ∈B; {Fn}⊂B, and limn→+∞

(Fn) = 0 [10].

Denition 1 (Wang and Klir [10]). is called weakly null-additive, if for any E; F ∈B,

(E) = (F) = 0 ⇒ (E ∪ F) = 0:

Obviously, the null-additivity of implies weakly null-additivity. If is autocontinuous from above, then it is null-additive [10], and hence it is weakly null-additive.

Lemma 1. is weakly null-additive if and only if for any ¿0 and any double sequence {An(k)|

n¿1; k¿1}⊂B satisfying An(k) Dn (k → ∞), (Dn) = 0; n = 1; 2; : : : ; there exists a subsequence

{An(kn)} of {An(k)| n¿1; k¿1} such that _∞ n=1 A(kn) n ¡ (k1¡ k2¡ · · ·):

(3)

Proof. Necessity: Suppose is weakly null-additive. Write D =∞_n=1Dn, then by using the continuity

from below of , we have (D) = 0 and Dn⊂D (n = 1; 2; : : :). Since for any 4xed n = 1; 2; : : : ; An(k)

Dn as k → ∞, we have

A(k)

n ∪ D Dn∪ D = D (k → ∞)

for any 4xed n = 1; 2; : : : : For given ¿0, using the continuity from above of fuzzy measures, we have limk→+∞(A1(k)∪ D) = (D) = 0, therefore there exists k1 such that (A1(k1)∪ D)¡ 2; For this

k1,

(A(k1)₁ ∪ A(k)₂ ) ∪ D (A(k1)₁ ∪ D2) ∪ D = A(k1)1 ∪ D;

as k → ∞. Therefore it follows, from the continuity from above of , that lim

k→+∞((A

(k1)

1 ∪ A(k)2 ) ∪ D) = (A(k1)1 ∪ D):

Thus there exists k2 (¿k1), such that

((A(k1)₁ ∪ A(k2)₂ ) ∪ D) ¡ ₂ :

Generally, there exist k1; k2; : : : ; km, such that

((A(k1)₁ ∪ A(k2)₂ ∪ · · · ∪ A(km)

m ) ∪ D) ¡ ₂ :

Hence we obtain a sequence {kn}∞n=1 of numbers and a sequence {An(kn)}∞n=1 of sets. By using the

monotonicity and the continuity from below of , we have ₊_∞ n=1 A(kn) n 6 ₊_∞ n=1 A(kn) n ∪ D 6 2 ¡ :

Su>ciency: L et E; F ∈B and (E) = (F) = 0. We de4ne a double sequence {An(k)| n¿1; k¿1}

of sets satisfying the following conditions: A₁(k)= E, A₂(k)= F; A₃(k)= A₄(k)= · · · = ∅; ∀k¿1 and let D1= E; D2= F; Dn= ∅; ∀n¿3. Then for any ¿0, by hypothesis, there exists a subsequence {An(kn)}

such that (∞_n=1An(kn))¡ , that is (E ∪ F)¡ . Therefore (E ∪ F) = 0. This shows that is weakly

null-additive.

Remark 1. A weakly null-additive fuzzy measure may not be null-additive. In the following, a simple example indicates that the weakly null-additivity of fuzzy measure is really weaker than null-additivity and autocontinuity from above.

Example 1. Let X = {a; b} and (X; ) be a metric space. Then B = ˝(X ). Put (E) =        1 if E = X; 1 2 if E = {b}; 0 if E = {a} or E = ∅:

(4)

Then is a fuzzy measure with weakly null-additivity. However is not null-additive and hence it is not autocontinuous from above either. In fact, ({a}) = 0, but ({a} ∪ {b}) = 1 = ({b}). 3. Regularityof fuzzymeasure

It is known that every probability measure P on a metric space is regular. Now we prove that this property is also enjoyed by those fuzzy measures with weakly null-additivity.

Denition 2 (Wu and Ha [11]). is called regular if, for every A∈B and ¿0, there exist a closed

set F and an open set G of X , such that F ⊂A⊂G and (G − F )¡ .

Theorem 1. If is weakly null-additive, then is regular.

Proof. Let E be the class of all set E ∈B such that for any ¿0, there exist a closed set F and an

open set G satisfying

F ⊂ E ⊂ G and (G − F ) ¡ :

To prove the theorem, it is suCcient to show that B⊂E.

It is easy to verify that ∅∈E; X ∈E and E is closed under the formation of complements.

We shall now prove that E is also closed under the formation of countable unions. Let {En}⊂E

and ¿0 be given. From the de4nition of E and En∈E, we know that for every n = 1; 2; : : : ; there

exist a sequence {Gn(k)}∞k=1 of open sets and a sequence {Fn(k)}∞k=1 of closed sets such that

F(k)

n ⊂ En⊂ Gn(k) and (Gn(k)− Fn(k)) ¡ 1_k

for k = 1; 2; : : : : Without loss of generality, we can assume that for 4xed n = 1; 2; : : : ; as k → ∞,

{Gn(k)}∞_k=1 is decreasing and {Fn(k)}∞_k=1 is increasing. Therefore, for any 4xed n = 1; 2; : : : ; {Gn(k)−

Fn(k)}∞_k=1 is a decreasing sequence of sets with respect to k and as k → ∞

G(k) n − Fn(k) ∞ k=1 (G(k) n − Fn(k)):

Denote Dn=∞k=1(Gn(k)− Fn(k)), then Gn(k)− Fn(k) Dn as k → ∞ and noting that (Dn)6(Gn(k)−

Fn(k))¡1_k; k = 1; 2; : : : ; we have (Dn) = 0 (n = 1; 2; : : :). Applying Lemma 1 to the double sequence

{Gn(k)− Fn(k)} and the sequence {Dn}∞n=1 of sets, then for any given ¿0, there exists a subsequence

{G(kn) n − Fn(kn)} of {Gn(k)− Fn(k)} such that _∞ n=1 (G(kn) n − Fn(kn)) ¡ :

(5)

Since ∞ n=1 G(kn) n − N n=1 F(kn) n ∞ n=1 G(kn) n − ∞ n=1 F(kn) n

as N → ∞, and noting that ∞_n=1Gn(kn)−∞_n=1Fn(kn)⊂∞_n=1(Gn(kn)− Fn(kn)), by the continuity from

above and monotonicity of , we have lim N→+∞ _∞ n=1 G(kn) n − N n=1 F(kn) n = _∞ n=1 G(kn) n − ∞ n=1 F(kn) n ¡ :

Therefore, there exists N0 such that

_∞ n=1 G(kn) n − N0 n=1 F(kn) n ¡ : Denote G = ∞ n=1 G(kn) n and F = N0 n=1 F(kn) n

then G is an open set, F is a closed set and

F ⊂

∞

n=1

En⊂ G and (G − F ) ¡ :

Therefore ∞_n=1En∈E. Thus we proved that E is a -algebra.

To complete the proof, it is enough to show that E contains all the open sets of X . For any closed

set F ∈C, we denote Gm= {x∈X : (x; F)¡1=m} (m = 1; 2; : : :), where (x; F) is the distance of the

set F from the point X , i.e. (x; F) = inf {(x; y): y∈F}, then for every m = 1; 2; : : : ; Gm is open set.

Noting that F is a closed set, we know Gm F (m → ∞). It is follows from Gm− F ∅ (m → ∞)

that limm→∞(Gm− F) = 0. Thus C⊂E. Since E is closed under the formation of complements,

we have O⊂E. This shows that E is a -algebra containing O. Therefore B⊂E.

Corollary1. If is weakly null-additive, then for any E ∈B, there exist a sequence {F(k)_}∞

k=1 of

closed sets and a sequence {G(k)_}∞

k=1 of open sets such that for every k = 1; 2; : : : ;

F(k)_{⊂E ⊂G}(k)_,

(G(k)_{− E) ¡} 1

k and (E − F(k)) ¡

1 k:

Note 1: Observe that we can assume in Corollary 1 that the sequence {F(k)_}∞

k=1 is increasing in

k and the sequence {G(k)_}∞

(6)

4. Egoro&’s theorem

Egoro3’s theorem on fuzzy measure spaces was discussed in [4–6,10]. Now we show a version

of the Egoro3’s theorem for the fuzzy measures de4ned on metric spaces. We assume that in this paper all functions considered are de4ned on X and are real-valued measurable with respect to B. For a 4nite fuzzy measure on B, we have obtained the following result [5]:

Theorem 2 (Egoro3’s theorem). If {fn} converges to f almost everywhere on X , then for any ¿0

there exists X ∈B such that (X − X )¡ and {fn}n converges to f uniformly on X .

The following corollary gives an alternative form of Egoro3’s theorem.

Corollary2. If {fn} converges to f almost everywhere on X , then there exists an increasing

sequence {Xm}∞m=1⊂B such that (X −∞m=1Xm) = 0 and fn converges to f on Xm uniformly for

any ?xed m = 1; 2; : : : :

When is a weakly null-additive fuzzy measure on metric space, we can obtain a slightly stronger conclusion:

Theorem 3. Let be weakly null-additive fuzzy measure on B. If {fn} converges to f almost

everywhere on X , then for any ¿0 there exists a closed subset F ∈C such that (X − F )¡ and

{fn}n converges to f uniformly on F .

Proof. Since {fn} converges to f almost everywhere on X , by using Corollary 2 there exists

an increasing sequence {Xm}∞m=1⊂B such that fn converges to f on Xm uniformly for any 4xed

m = 1; 2; : : : and (X −∞_m=1Xm) = 0. Denote H = X −∞_m=1Xm, then (H) = 0.

From Corollary 1, for every 4xed Xm (m = 1; 2; : : :), there exists a sequence {Fm(k)}∞_k=1 of closed

sets satisfying Fm(k)⊂Xm and (Xm− Fm(k))¡1=k for any k = 1; 2; : : : : Without loss of generality, we

can assume that for 4xed m = 1; 2; : : : ; {Xm− Fm(k)}∞k=1 is decreasing (as k → ∞). Thus Xm− Fm(k) ∞ k=1 (Xm− Fm(k)) as k → ∞. Write Dm= (∞_k=1(Xm− Fm(k))) ∪ H (m = 1; 2; : : :), then (Xm− Fm(k)) ∪ H Dm as k → ∞.

Noting that for any m = 1; 2; : : : ; (∞_k=1(Xm−Fm(k))) = limk→+∞(Xm−Fm(k)) = 0, and by the weakly

null-additivity of , we get (Dm) = ((∞k=1(Xm−Fm(k))) ∪ H) = 0 (m = 1; 2; : : :). Applying Lemma1 to the double sequence {(Xm− Fm(k)) ∪ H} of sets and the sequence {Dm}∞m=1 of sets , then for any

¿0, there exists a subsequence {(Xm− Fm(km)) ∪ H} of {(Xm− Fm(k)) ∪ H}, such that _∞ m=1 ((Xm− Fm(km)) ∪ H) ¡ :

(7)

Since X −∞_m=1Fm(km)⊂∞m=1(Xm− Fm(k)) ∪ H, we have X − ∞ m=1 F(km) m ¡ :

On the other hand, from X −N

m=1Fm(km) X −

_∞

m=1Fm(km) as N → ∞ and the continuity from

above of , we have limN→+∞(X −Nm=1Fm(km)) = (X −

_∞

m=1Fm(km))¡ . Therefore there exists

N0 such that (X −N0_m=1Fm(km))¡ .

Denote F =N0_m=1Fm(km), then F is a closed set, (X − F )¡ and from F ⊂N0_m=1Xm, we know

that {fn}n converges to f uniformly on F .

5. Lusin’s theorem

In this section, we shall further generalize the well-known Lusin’s theorem in classical measure

theory to fuzzy measure space by using the results obtained in Sections 2–4.

Theorem 4 (Lusin’s theorem). Let be weakly null additive fuzzy measure on B. If f is a

real-valued measurable function on X , then, for every ¿0, there exists a closed subset F ∈C such

that f is continuous on F and (X − F )¡ .

Proof. We prove the theorem stepwise in the following two situations.

(a) Suppose that f is a simple function, i.e. f(x) =s

n=1ck En(x) (x∈X ), where En(x) is the

characteristic function of the set En and X =s_n=1En (a disjoint 4nite union). For every 4xed

En (n = 1; 2; : : : ; s), by Corollary 1, there exists the sequence {Fn(k)}∞k=1 of closed sets such that F(k)

n ⊂ En and (En− Fn(k)) ¡ 1_k

for any k = 1; 2; : : : : We may assume that {Fn(k)}∞k=1 is increasing in k for each 4xed n, without any

loss of generality.

For any ¿0, applying Lemma 1 to the double sequence {En− Fn(k)} (n = 1; 2; : : : ; s; k = 1; 2; : : :)

of sets, there exists a subsequence {En− Fn(kn)} of {En− Fn(k)} such that _s n=1 (En− Fn(kn)) ¡ :

Put F =s_n=1Fn(kn), then f is continuous on the closed subset F of X , and

(X − F ) 6 _s n=1 En− s n=1 F(kn) n 6 _s n=1 (En− Fn(kn)) ¡ :

(b) Let f be a real-valued measurable function. Then there exists a sequence {’n(x)}∞n=1 of simple

(8)

’n and every k = 1; 2; : : : ; there exists closed set Xn(k)⊂X such that ’n is continuous on Xn(k) and

(X − Xn(k))¡1_k (k = 1; 2; : : :). There is no loss of generality in assuming the sequence {Xn(k)}∞_k=1 of

closed sets is increasing with respect to k for any 4xed n (otherwise, we can take k

i=1Xn(i) instead

of Xn(k) and noting that ’n is a simple function, it remains continuous on ki=1Xn(i)). Therefore

X − Xn(k)∞_k=1(X − Xn(k)) as k → ∞, and thus, we have

_∞ k=1 (X − X(k) n ) = lim_n →+∞ (X − X (k) n ) = 0 (n = 1; 2; : : :):

Now we consider the double sequence {X − Xn(k)| n¿1; k¿1} of sets. By using Lemma 1, for

every m (m = 1; 2; : : :), we may take a subsequence {X − X(kn(m))

n }∞n=1 of {X − Xn(k)| n¿1; k¿1} such that _∞ n=1 (X − X(kn(m)) n ) ¡ _m1; namely, (X −∞_n=1X(k(m)n )

n )¡1=m. Since the double sequence {X − Xn(k)| n¿1; k¿1} of sets is

de-creasing in k for 4xed n, without any loss of generality, we can assume that for 4xed n(n = 1; 2; : : :), kn(1)¡kn(2)¡ · · · ¡kn(m): : : : Write Hm=∞_n=1X(k

(m) n )

n (m = 1; 2; : : :), then we obtain a sequence {Hm}∞m=1

of closed sets satisfying H1⊂H2⊂ · · · and (X −∞m=1Hm)= limn→+∞(X − Hm)= 0. Noting that

’n is continuous on X(k (m) n ) n and Hm⊂X(k (m) n )

n (n = 1; 2; : : :), therefore for each Hm, ’n is continuous

on Hm for every n = 1; 2; : : : :

On the other hand, since ’n→ f (n → ∞) on X , by Theorem3, there exists an increasing sequence

{Xm}∞m=1 of closed sets satisfying X −Xm X −∞_m=1Xm (n →+∞), (X −∞_m=1Xm)= 0, and {’n}

converges to f uniformly on closed set Xm for every m = 1; 2; : : : :

Considering the sequence {(X − Hm) ∪ (X − Xm)}∞m=1 of sets, then, as m →+∞

(X − Hm) ∪ (X − Xm) X − ∞ m=1 Hm ∪ X − ∞ m=1 Xm :

By using the continuity from above and weakly null-additivity of fuzzy measures, we have lim m→+∞ ((X − Hm) ∪ (X − Xm)) = X − ∞ m=1 Hm ∪ X − ∞ m=1 Xm = 0:

That is, limm→+∞(X −Hm∩ Xm) = 0. Therefore, for given ¿0, we can take m0such that (X − Hm0

∩ Xm0)¡ . Put F = Hm0∩ Xm0, then F is a closed set and (X − F )¡ . Now we show that f

is continuous on F . In fact, F ⊂Hm0 and ’n is continuous on Hm0, therefore ’n is continuous on F

for every n = 1; 2; : : : : Noting that {’n} converges to f on F uniformly, then f is continuous

on F .

Remark 2. Song and Li [9] have obtained the conclusions of Theorems 1, 3 and 4 under the

(9)

null-additivity and autocontinuity from above. Therefore, Theorems 1, 3, and 4 in this paper are improvements of the related results in Song and Li [9] and, Wu and Ha [11].

6. Applications of Lusin’s theorem

Now we present some applications of Lusin’s theorem to the mean approximation of measurable function by continuous functions, or by polynomials, or by step functions in the sense of Sugeno and of Choquet integral, respectively.

Consider a nonnegative real-valued measurable function f on (X; B). The Sugeno( fuzzy) integral of f on X with respect to , denoted by (S) f d, is de4ned by

(S)

f d = sup

06$¡+∞[$ ∧ ({x: f(x) ¿ $})]:

The Choquet integral of f on X with respect to , denoted by (C) f d, is de4ned by

(C)

f d =

_∞

0 ({x: f(x) ¿ t}) dt;

where the right side integral is Lebesgue integral.

We say that a measurable function sequence {fn}n converges to f in fuzzy measure , and denote

it by fn→ f, if for any ¿0, lim n→∞({x: |fn(x) − f(x)|¿ }) = 0.

Theorem 5. Let be a weakly null-additive fuzzy measure on B. If f is a real-valued measurable

function on X , then there exists a continuous function sequence { n}n on X such that n→ f.

Furthermore, if |f|6M, then | n|6M; n = 1; 2; : : : :

Proof. For every n = 1; 2; : : : ; using Theorem 4 (Lusin’s theorem), we can obtain a closed subset

Fn of X such that f is continuous on Fn and (X − Fn)¡1_n. By Tietze’s extension theorem [8], for

every n = 1; 2; : : : ; there exists continuous function n on X such that n(x) = f(x) for x∈Fn, and

if |f|6M, then | n|6M. Now we show that { n}n converges to f in fuzzy measure. In fact, for

any ¿0, we have {x: | n(x) − f(x)|¿ }⊂X − Fn, and therefore ({x: | n(x) − f(x)|¿ })6(X −

Fn)¡1_n; n = 1; 2; : : : : Thus we have limn→∞({x: | n(x) − f(x)|¿ }) = 0.

The following result can be thought as to be the mean approximation theorem on fuzzy measure spaces (X; B; ).

function on X , then there exists a continuous function sequence { n}n on X such that

lim

n→+∞(S)

(10)

Furthermore, if |f|6M, then | n|6M (n = 1; 2; : : :) and

lim

n→+∞(C)

| n− f| d = 0:

Proof. From Theorem 5, there exists a continuous function sequence { n}n on X such that n→ f.

By using Theorem 7.4 in [10], we can directly obtain limn→+∞(S)| n− f| d = 0.

If |f|6M, then from Theorem 5, | n|6M (n = 1; 2; : : :). Put

gn(t) = ({x: | n(x) − f(x)| ¿ t}); t ∈ [0; +∞)

since n→ f, we have g n(t) a:e:→ 0 on [0; +∞) as n → ∞. Note that |gn(t)|6(X )¡∞, and gn(t) = 0

for any t¿2M (n = 1; 2; : : :). Applying the Bounded Convergence Theorem in Lebesgue integral theory [8] to the function sequence {gn(t)}n, we have

_∞

0 gn(t)dt =

_2M

0 gn(t) dt → 0 (n → ∞):

That is, limn→+∞(C) | n− f| d = 0.

In the following, we discuss the mean approximation of measurable function either by polynomials

or by step functions on fuzzy measure space (R1_{; B; ).}

function on [a; b], then there exists a sequence {Pn}n of polynomials on [a; b] such that Pn→ f.

Furthermore, if |f|6M, then |Pn|6M + 1; n = 1; 2; : : : :

Proof. Considering the problem on the reduced fuzzy measure space ([a; b]; [a; b] ∩ B; ), then we

can from Theorem 5 obtain a continuous function sequence { n}n on [a; b] such that n→ f on

[a; b]. Therefore, there exists a subsequence { nk}k of { n}n, such that

x: | nk(x) − f(x)| ¿ _2k1 ¡ 1_k; for any k = 1; 2; : : : :

Since nk is continuous function on [a; b] (k = 1; 2; : : :), by using Weierstrass’s theorem [8], for every k = 1; 2; : : : ; there exists a polynomial Pk on [a; b] such that for all x∈[a; b]

|Pk(x) − nk(x)| ¡ _2k1 :

Thus, for every k = 1; 2; : : : ; we have

x: |Pk(x) − nk(x)| ¿ _2k1

= ∅:

(11)

Now we show that Pn→ f on [a, b]. In fact, for any given ¿0, we take n 0 such that 1=n0¡ , then

n¿n0, {x: |Pn(x) − f(x)| ¿ } ⊂ x: |Pn(x) − f(x)| ¿ 1_n ; and therefore, ({x: |Pn(x) − f(x)| ¿ }) 6 x: |Pn(x) − f(x)| ¿ 1_n ¡1_n;

where n¿n0. This shows Pn→ f.

x∈[a; b], we have |Pn|6M + 1; n = 1; 2; : : : :

function on [a; b], then there exists a sequence {Pn}n of polynomials on [a; b] such that

lim

n→+∞(S)

|Pn− f| d = 0:

Furthermore, if |f|6M, then |Pn|6M + 1 (n = 1; 2; : : :) and

lim

n→+∞(C)

|Pn− f| d = 0:

(12)

Similarly, we can obtain the following result:

Theorem 9. Let be a weakly null-additive fuzzy measure on B. If f is a real-valued measurable function on [a; b], then there exists a sequence {sn}n of step functions on [a; b] such that sn→ f

and lim

n→+∞(S)

|sn− f| d = 0;

Furthermore, if |f| is Choquet integrable, i.e., (C) |f| d¡∞, then |sn| is also Choquet integrable

and lim

n→+∞(C)

|sn− f| d = 0:

Corollary3. If is null-additive fuzzy measure on B, then the conclusions of Theorems 5–9 hold. 7. Concluding remarks

We have proved Lusin’s theorem on 4nite fuzzy measure space under the weakly null-additivity condition. As we have seen, the weakly null-additivity, including its a necessary and suCcient

condition presented in Lemma 1, and the regularity of fuzzy measures play important roles in our

discussions.

It should be pointed out that our discussion on the weakly null-additivity is nothing but suCcient, not necessary for Theorem 1, 4, 5 and 6. Compared with the null-additivity and autocontinuity, it is a weaker requirement, we need still further discussion.

Example 2. Let X = {a; b} and (X; ) be a metric space. Then B = ˝(X ). Put (E) =

1 if E = X; 0 if E = X:

Then fuzzy measure is not weakly null-additive. But is regular and any measurable function is continuous on X , and hence Lusin’s theorem holds on (X; B; ).

We do not know whether the weakly null-additivity condition may be abandoned in our discus-sion. In our further research, we intend to address this issue and to investigate whether Lusin’s theorem remains valid on 4nite fuzzy measure spaces (X; B; ) without any additional condition as

the Egoro3’s theorem we have proved in [5].

Acknowledgements

The authors are grateful to the referees and the concerned Area Editor for their valuable suggestions to revise this paper.

(13)

References

[1] P.R. Halmos, Measure Theory, Van Nostrand, New York, 1968.

[2] Q. Jiang, H. Suzuki, Fuzzy measures on metric spaces, Fuzzy Sets and Systems 83 (1996) 99–106.

[3] Q. Jiang, S. Wang, D. Ziou, A further investigation for fuzzy measures on metric spaces, Fuzzy Sets and Systems 105 (1999) 293–297.

[4] J. Li, A note on the null-additivity of the fuzzy measure, Fuzzy Sets and Systems 125 (2002) 269–271. [5] J. Li, On Egoro3’s theorems on fuzzy measure space, Fuzzy Sets and Systems 135 (2003) 367–375.

[6] J. Li, M. Yasuda, Q. Jiang, H. Suzuki, Z. Wang, G.J. Klir, Convergence of sequence of measurable functions on fuzzy measure space, Fuzzy Sets and Systems 87 (1997) 317–323.

[7] E. Pap, Null-Additive Set Functions, Kluwer, Dordrecht, 1995. [8] H.L. Royden, Real Analysis, Macmillan, New York, 1966.

[9] J. Song, J. Li, Regularity of null-additive fuzzy measure on metric spaces, Int. J. Gen. Systems, to appear. [10] Z. Wang, G.J. Klir, Fuzzy Measure Theory, Plenum, New York, 1992.

[11] C. Wu, M. Ha, On the regularity of the fuzzy measure on metric fuzzy measure spaces, Fuzzy Sets and Systems 66 (1994) 373–379.