Next Article in Journal
Optimizing Taxi-Pooling Operations to Enhance Efficiency and Revenue: A Queuing Model Approach
Previous Article in Journal
Prediction of Cognitive Impairment Using Sleep Lifelog Data and LSTM Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dini’s Theorem for Fuzzy Number-Valued Continuous Functions

Institut Universitari de Matemàtiques i Aplicacions de Castelló (IMAC), Universitat Jaume I, Campus del Riu Sec. s/n, 12071 Castelló, Spain
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(20), 3209; https://doi.org/10.3390/math12203209
Submission received: 12 September 2024 / Revised: 8 October 2024 / Accepted: 11 October 2024 / Published: 13 October 2024
(This article belongs to the Section D2: Operations Research and Fuzzy Decision Making)

Abstract

:
This work aims to provide several versions of Dini’s theorem for fuzzy number-valued continuous functions defined on a compact set K. In this context, there is a wide variety of possibilities since, unlike the real line, we can consider different topologies and orders on the set of fuzzy numbers. For example, we will show that the fuzzy Dini’s theorem holds for the usual partial orders and the most commonly used topologies but does not hold for all orders in general.

1. Introduction

Dini’s theorem states that if a monotonic sequence of real-valued continuous functions defined on a compact set converges pointwise to a continuous function, then the convergence is uniform. It is one of the few results that guarantee pointwise and uniform convergence are equivalent.
Suitable versions of Dini’s theorem have been stated in other contexts, such as frames [1], computable analysis [2,3], operator theory [4], and set-valued functions [5,6], but there is a shortage of literature in the fuzzy setting. In fact, we can find some Dini-type theorems (see [7], Theorem 3.5, and [8]) for continuous functions defined on a compact set and taking values in the set of fuzzy numbers endowed with the supremum metric d , but the proofs are unclear since they use a difference between fuzzy numbers that is not properly defined.
In this paper, we prove several versions of Dini’s theorem for fuzzy number-valued continuous functions defined on a compact set K. In this fuzzy context, there is a wide variety of possibilities since, unlike the real line, we can consider different topologies (the level convergence topology and the topologies induced by the usual metrics) and orders on the set of fuzzy numbers. In fact, we will show that the fuzzy Dini’s theorem is true for the usual partial orders and most commonly used topologies, but we provide a counterexample that confirms it is not true, in general, for all orders.
We would like to remark that Dini’s theorem for the level convergence topology, the sendograph, and the endograph metrics has not yet been addressed in the literature. Such results can be framed within fuzzy analysis, which has important implications in several fields, such as fuzzy automata, neutrosophic topologies, fuzzy integrals, fuzzy decision making, and integro-differential equations (see [9,10,11,12]).

2. Preliminaries

Throughout this paper, the word space refers to a topological Tychonoff space. In particular, K stands for a compact (Hausdorff) space, unless otherwise stated. R represents the real numbers and N the natural numbers. As topological spaces, they will be endowed with their usual topologies. Let F ( R ) denote the family of all fuzzy subsets, that is, mappings u : R [ 0 , 1 ] . For u F ( R ) and λ [ 0 , 1 ] , the λ -level set of u is defined by
[ u ] λ : = { x R : u ( x ) λ } , λ [ 0 , 1 ] , [ u ] 0 : = cl R { x R : u ( x ) > 0 } ,
where cl R A stands for the closure of A in R . For example, consider the fuzzy set
u ( x ) = x if x [ 0 , 1 ] 0 otherwise .
Then, the λ -level sets are
[ u ] λ = { x R : u ( x ) λ } = { x R : x λ } = [ λ , 1 ] , ( λ > 0 ) , [ u ] 0 = cl R { x R : u ( x ) > 0 } = cl R ( ( 0 , 1 ] ) = [ 0 , 1 ] .
The fuzzy number space E 1 is the set of elements u F ( R ) that satisfy the following properties:
  • u is normal, i.e., there exists an x 0 R such that u ( x 0 ) = 1 ;
  • u is convex, i.e., u ( α x + ( 1 α ) y ) min u ( x ) , u ( y ) for all x , y R , α [ 0 , 1 ] ;
  • u is upper-semicontinuous;
  • [ u ] 0 , the support of u, is a compact set in R .
Note that if u E 1 , then the λ -level set [ u ] λ of u is a compact interval for each λ [ 0 , 1 ] . We denote by u ( λ ) and u + ( λ ) the endpoints of such an interval, that is, [ u ] λ = [ u ( λ ) , u + ( λ ) ] .
The well-known characterization of fuzzy numbers provided by Goetschel and Voxman enables us to determine a fuzzy number by knowing its λ -levels.
Theorem 1 
([13]). Let u E 1 and [ u ] λ = [ u ( λ ) , u + ( λ ) ] , λ [ 0 , 1 ] . Then, the pair of functions u ( λ ) and u + ( λ ) has the following properties:
(i)
u ( λ ) is a bounded, left-continuous, nondecreasing function on ( 0 , 1 ] ;
(ii)
u + ( λ ) is a bounded, left-continuous, nonincreasing function on ( 0 , 1 ] ;
(iii)
u ( λ ) and u + ( λ ) are right-continuous at λ = 0 ;
(iv)
u ( 1 ) u + ( 1 ) .
Conversely, if a pair of functions α ( λ ) and β ( λ ) satisfies the above conditions (i)–(iv), then there exists a unique u E 1 such that [ u ] λ = [ α ( λ ) , β ( λ ) ] for each λ [ 0 , 1 ] .
Given u , v E 1 and k R , we can define u + v and k u using interval arithmetic (see, e.g., [14]), and it is well-known that E 1 endowed with these two natural operations is not a vector space but a cone.
Every real number r can be considered a fuzzy number since r can be identified with the fuzzy number r ˜ defined as
r ˜ ( x ) : = 1 if x = r , 0 if x r
and its λ -level sets are the singleton { r } .
The set of fuzzy numbers E 1 can be endowed with several topologies. Most of them are provided by a metric based on the Hausdorff metric.
We recall here the definition of the Hausdorff metric. If A , B are closed sets of a metric space ( X , d ) , then
d H ( A , B ) = max { H * ( A , B ) , H * ( B , A ) }
where
H * ( A , B ) = sup a A d ( a , B ) = sup a A { inf b B d ( a , b ) } .
The Hausdorff distance between compact intervals of the real line has a more simplified expression:
d H ( [ a , a + ] , [ b , b + ] ) = max { | a b | , | a + b + | } .
Some examples of metrics in E 1 are as follows:
  • E 1 = ( E 1 , d ) , where
    d ( u , v ) = sup λ [ 0 , 1 ] { d H ( [ u ] λ , [ v ] λ ) } .
  • E p 1 = ( E 1 , d p ) , where
    d p ( u , v ) = 0 1 d H ( [ u ] λ , [ v ] λ ) p d λ 1 / p .
  • E e n d 1 = ( E 1 , d e n d ) , where
    d e n d ( u , v ) = d H ( e n d ( u ) , e n d ( v ) ) ,
    and
    e n d ( u ) = { ( x , α ) R × [ 0 , 1 ] : u ( x ) α } ( endograph of u ) .
  • E s 1 = ( E 1 , d s ) , where
    d s ( u , v ) = d H ( s e n d ( u ) , s e n d ( v ) ) ,
    and s e n d ( u ) is the supported endograph or sendograph of u defined by
    s e n d ( u ) = { ( x , α ) [ u ] 0 × [ 0 , 1 ] : u ( x ) α } .
  • E 1 = ( E 1 , τ ) , where τ is the level convergence topology.
The latter does not come from a metric. We say that a net of fuzzy numbers { u α } α I levelly converges to a fuzzy number u if, for each λ [ 0 , 1 ] , it holds that
lim α u α + ( λ ) = u + ( λ ) and lim α u α ( λ ) = u ( λ ) .
The level convergence provides E 1 with a topology τ , and ( E 1 , τ ) can be identified as a subset of ( R [ 0 , 1 ] × R [ 0 , 1 ] , τ p ) , where τ p is the pointwise topology (see [15]). The basic open sets in τ are given by
V ( u , { λ 1 , λ 2 , , λ n } , ε ) = { v E 1 : max 1 k n { | v ( λ K ) u ( λ k ) | , | v + ( λ k ) u + ( λ k ) | } < ε }
where u E 1 , { λ 1 , λ 2 , , λ n } [ 0 , 1 ] and ε > 0 .
Let X be a topological space. A continuous function f : X ( E 1 , τ ) is called a level continuous function, and C ( X , E 1 ) denotes the set of all level continuous functions from X to E 1 .
In this paper, we focus on the following partial orders in E 1 . For u , v E 1 , define the following:
  • u v u ( λ ) v ( λ ) and u + ( λ ) v + ( λ ) , for all λ [ 0 , 1 ] .
  • u v [ u ] λ [ v ] λ , for all λ [ 0 , 1 ] .
The first one is compatible with the order in the real line and it is the most commonly used order in the set of fuzzy numbers E 1 .

3. Dini’s Theorem for Level Continuous Fuzzy Number-Valued Functions

We begin by studying a Dini-type result for fuzzy-valued level continuous functions. Indeed, we can relax the monotonicity in Dini’s theorem to pointwise monotonicity (see [16], Definition 3).
Definition 1. 
Given an order in E 1 , a sequence of functions { f n } n N C ( K , E 1 ) is called pointwise monotonic if { f n ( t ) } n N is monotone for every t K .
Let us recall that every function f : K E 1 gives, for each λ [ 0 , 1 ] , two real-valued functions
f ( · ) ( λ ) : K R and f ( · ) + ( λ ) : K R
defined by t f ( t ) ( λ ) and t f ( t ) + ( λ ) , respectively.
Theorem 2. 
Consider the partially ordered cone ( E 1 , ) or ( E 1 , ) . Let { f n } n N be a pointwise monotonic sequence in C ( K , E 1 ) , which converges pointwise to f C ( K , E 1 ) . Then, { f n } n N converges uniformly to f.
Proof. 
Let { f n } n N be such a sequence. We need to show that for every ε > 0 and λ [ 0 , 1 ] , there exists n 0 N such that
| f n ( t ) ( λ ) f ( t ) ( λ ) | < ε and | f n ( t ) + ( λ ) f ( t ) + ( λ ) | < ε
holds for all n n 0 and every t K .
Assume, on the contrary, that there exists ε > 0 and λ 0 [ 0 , 1 ] such that for every n 0 N , we can find n n 0 and t n K with
| f n ( t n ) ( λ 0 ) f ( t n ) ( λ 0 ) | ε or | f n ( t n ) + ( λ 0 ) f ( t n ) + ( λ 0 ) | ε .
Define then, for every n N ,
B n : = { t K : max { | f n ( t ) + ( λ 0 ) f ( t ) + ( λ 0 ) | , | f n ( t ) ( λ 0 ) f ( t ) ( λ 0 ) | } ε } .
Claim.  B n is a closed set. Take a net { t d } d D in B n , which converges to a point t K . By the continuity of f n ( · ) ± ( λ 0 ) and f ( · ) ± ( λ 0 ) , we have that
lim d f n ( t d ) ± ( λ 0 ) = f n ( t ) ± ( λ 0 ) and lim d f ( t d ) ± ( λ 0 ) = f ( t ) ± ( λ 0 )
and, consequently,
max { | f n ( t ) ± ( λ 0 ) f ( t ) ± ( λ 0 ) | } = lim d max { | f n ( t d ) ± ( λ 0 ) f ( t d ) ± ( λ 0 ) | ε ,
which yields t B n , so the claim is proved.
Since { f n } n N is a pointwise monotonic sequence of functions that converges pointwise to f, then (see [17], Corollary 3)
f n ( t ) f n + 1 ( t ) f ( t ) or f n ( t ) f n + 1 ( t ) f ( t ) , ( f n ( t ) f n + 1 ( t ) f ( t ) or f n ( t ) f n + 1 ( t ) f ( t ) , respectively )
for every t K , yielding, in any case, B n + 1 B n for all n N . We show just one case, the others being similar. Take t B n and assume that f n ( t ) f n + 1 ( t ) f ( t ) . If t B n + 1 , then
| f n ( t ) ( λ 0 ) f ( t ) ( λ 0 ) | = f ( t ) ( λ 0 ) f n + 1 ( t ) ( λ 0 ) + ( f n + 1 ( t ) ( λ 0 ) f n ( t ) ( λ 0 ) ) f ( t ) ( λ 0 ) f n + 1 ( t ) ( λ 0 ) = | f n + 1 ( t ) ( λ 0 ) f ( t ) ( λ 0 ) | ε ; | f n ( t ) + ( λ 0 ) f ( t ) + ( λ 0 ) | = f ( t ) + ( λ 0 ) f n + 1 ( t ) + ( λ 0 ) + ( f n + 1 ( t ) + ( λ 0 ) f n ( t ) + ( λ 0 ) ) f ( t ) + ( λ 0 ) f n + 1 ( t ) + ( λ 0 ) = | f n + 1 ( t ) + ( λ 0 ) f ( t ) + ( λ 0 ) | ε .
This contradicts that t B n . Hence, t B n + 1 , and it follows that B n + 1 B n .
If B n for all n N , with K being a compact set, we should obtain n N B n . Take t 0 n N B n , which means that for all n N ,
max { | f n ( t 0 ) ( λ 0 ) f ( t 0 ) ( λ 0 ) | , | f n ( t ) + ( λ 0 ) f ( t ) + ( λ 0 ) | } ε
which is impossible, since { f n ( t 0 ) } n N converges to f ( t 0 ) by hypothesis.
Thus, there exists n 0 N such that B n 0 = and, consequently, B n = for all n n 0 as well. But this is a contradiction since, by our assumption, there must be n n 0 and t n K satisfying Equation (2), which means that t n B n . Hence, Equation (1) holds, which finishes the proof. □
Now, from the above theorem, we can deduce the classical Dini’s theorem.
Corollary 1 
(Dini’s theorem). Let { f n } n N be a pointwise monotonic sequence in C ( K , R ) , which converges pointwise to f C ( K , R ) . Then, { f n } n N converges uniformly to f.
Proof. 
Since R can be embedded in ( E 1 , ) , we can consider, for every function g C ( K , R ) , the composition g ^ : K R E 1 , which is a level continuous function. Therefore, if { f n } n N is such a sequence, we show that the fuzzy number-valued functions f n ^ satisfy the conditions in Theorem 2. To this end, fix t 0 K . Assume, without loss of generality, that f n ( t 0 ) R f n + 1 ( t 0 ) . Then,
f n ^ ( t 0 ) = f n ( t 0 ) ^ f n + 1 ( t 0 ) ^ = f n + 1 ^ ( t 0 )
and { f n ^ } n N is pointwise monotonic. Moreover, since { f n } n N pointwise converges to f, then
lim n f n ^ ( t 0 ) = lim n f n ( t 0 ) ^ = lim n f ( t 0 ) ^ = lim n f ^ ( t 0 )
and { f n ^ } n N pointwise converges to f ^ . Therefore, by applying Theorem 2, we find that { f n ^ } n N converges uniformly to f ^ , which provides the conclusion. □

4. Dini’s Theorem for D and D p Metrics

In this section, we endow E 1 with the d or d p metrics and use the well-known result that, in a metric space, ( X , d ) , the distance function d : X × X R is a continuous function.
First, we need some technical lemmas, which state that the Hausdorff distance preserves the order ≤ and ⪯ in E 1 .
Lemma 1. 
If I , J , L are closed sets of a metric space ( X , d ) and I J L , then d H ( I , L ) d H ( J , L ) and d H ( I , L ) d H ( I , J ) .
Proof. 
Since I J , for every i I and l L , we have
d ( l , i ) inf j J d ( l , j ) = d ( l , J ) ,
so
d ( l , I ) = inf i I d ( l , i ) d ( l , J )
and then,
H * ( L , I ) = sup l L d ( l , I ) sup l L d ( l , J ) = H * ( L , J ) .
On the other hand, since I L , it is clear that d ( i , L ) = 0 for every i I . So,
H * ( I , L ) = sup i I d ( i , L ) = 0
and since J L , then H * ( J , L ) = 0 . This yields
d H ( I , L ) = H * ( L , I ) H * ( L , J ) = d H ( J , L ) .
In a similar way, we can obtain the second property. □
As a consequence, we obtain the following result.
Lemma 2 
(Compare with [17], Lemma 3). If u , v , w E 1 satisfy u v w or u v w , then, for every λ [ 0 , 1 ] ,
d H ( [ u ] λ , [ w ] λ ) d H ( [ v ] λ , [ w ] λ )
and
d H ( [ u ] λ , [ w ] λ ) d H ( [ u ] λ , [ v ] λ ) .
Proof. 
The proof is straightforward from Lemma 1. □
The following result states Dini’s theorem for d -continuous fuzzy number-valued functions, which corrects some of the proofs given in the literature (see [7,8]).
Theorem 3. 
Consider the partially ordered cone ( E 1 , ) or ( E 1 , ) . Let { f n } n N be a pointwise monotonic sequence in C ( K , E 1 ) , which converges pointwise to f C ( K , E 1 ) . Then, { f n } n N converges uniformly to f.
Proof. 
Let { f n } n N be such a sequence. Fix ε > 0 and consider, for each n N , the set
B n = { t K : d ( f n ( t ) , f ( t ) ) ε } .
B n is a closed set since d ( f n ( t ) , f ( t ) ) is a continuous function on K.
Claim.  B n + 1 B n for all n N . Consider t 0 B n + 1 and assume that
f n ( t 0 ) f n + 1 ( t 0 ) or f n ( t 0 ) f n + 1 ( t 0 ) .
Since { f n } n N converges pointwise to f, [17] (Lemma 4), shows that we also have f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) (or f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) , respectively). By using Equation (3) from Lemma 2, this results in
d ( f n ( t 0 ) , f ( t 0 ) ) = sup λ [ 0 , 1 ] { d H ( [ f n ( t 0 ) ] λ , [ f ( t 0 ) ] λ ) } sup λ [ 0 , 1 ] { d H ( [ f n + 1 ( t 0 ) ] λ , [ f ( t 0 ) ] λ ) } = d ( f n + 1 ( t 0 ) , f ( t 0 ) ) .
If, on the contrary, f n ( t 0 ) f n + 1 ( t 0 ) (or f n ( t 0 ) f n + 1 ( t 0 ) , respectively), [17] (Lemma 4) shows that we also have f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) ( f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) , respectively). By using Equation (4) from Lemma 2, this results in
d ( f n ( t 0 ) , f ( t 0 ) ) = sup λ [ 0 , 1 ] { d H ( [ f n ( t 0 ) ] λ , [ f ( t 0 ) ] λ ) } sup λ [ 0 , 1 ] { d H ( [ f n + 1 ( t 0 ) ] λ , [ f ( t 0 ) ] λ ) } = d ( f n + 1 ( t 0 ) , f ( t 0 ) ) .
Therefore, we obtain in any case d ( f n ( t 0 ) , f ( t 0 ) ) d ( f n + 1 ( t 0 ) , f ( t 0 ) ) ε . Thus, t 0 B n , which finishes the proof of the claim.
Reasoning again as in Theorem 2, we obtain n 0 N such that B n = for all n n 0 , which yields
d ( f n ( t ) , f ( t ) ) < ε
for all n n 0 and every t K . This finishes the proof. □
The next proposition presents Dini’s theorem for d p -continuous fuzzy number-valued functions with both orders.
Proposition 1. 
Consider the partially ordered cone ( E 1 , ) or ( E 1 , ) . Let { f n } n N be a pointwise monotonic sequence in C ( K , E p 1 ) , which converges pointwise to f C ( K , E p 1 ) . Then, { f n } n N converges uniformly to f.
Proof. 
Since d p also preserves the order, by using Lemma 2, the proof is similar to that of Theorem 3. □

5. Dini’s Theorem for Sendograph and Endograph Metrics

Recall that if u E 1 , then the sendograph of u is the compact set
s e n d ( u ) : = { ( x , α ) [ u ] 0 × [ 0 , 1 ] : u ( x ) α }
and the sendograph metric in E 1 is defined by
d s ( u , v ) = d H ( s e n d ( u ) , s e n d ( v ) ) .
Lemma 3 
([18] Theorem 4.5). Let u , v , w ( E 1 , ) . If u v w , then d s ( u , w ) d s ( u , v ) .
Therefore, the technique in the previous theorems can be applied to the sendograph metric as well, providing the following Dini’s theorem for d s -continuous fuzzy number-valued functions.
Theorem 4. 
Consider the partially ordered cone ( E 1 , ) or ( E 1 , ) . Let { f n } n N be a pointwise monotonic sequence in C ( K , E s 1 ) , which converges pointwise to f C ( K , E s 1 ) . Then, { f n } n N converges uniformly to f.
Proof. 
Let { f n } n N be such a sequence. Fix ε > 0 and consider, for each n N ,
B n = { t K : d s ( f n ( t ) , f ( t ) ) ε } .
As in the previous theorem, B n is a closed set, and we need to show that B n + 1 B n .
Fix t 0 B n + 1 . First consider ( E 1 , ) . It is apparent that ( x , α ) s e n d ( f n ( t 0 ) ) iff x [ f n ( t 0 ) ] α .
Since f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) or f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) , we obtain s e n d ( f n ( t 0 ) ) s e n d ( f n + 1 ( t 0 ) ) s e n d ( f ( t 0 ) ) (or s e n d ( f n ( t 0 ) ) s e n d ( f n + 1 ( t 0 ) ) s e n d ( f ( t 0 ) ) . Lemma 1 shows that
d s ( f n ( t ( 0 ) , f ( t 0 ) ) = d H ( s e n d ( f n ( t 0 ) ) , s e n d ( f ( t 0 ) ) ) d H ( s e n d ( f n + 1 ( t 0 ) ) , s e n d ( f ( t 0 ) ) ) = d s ( f n + 1 ( t ( 0 ) , f ( t 0 ) ) .
Now consider ( E 1 , ) . Since f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) or f ( t 0 ) f n + 1 ( t 0 ) f n ( t 0 ) , by using Lemma 3, we also have
d s ( f n ( t 0 ) , f ( t 0 ) ) d s ( f n + 1 ( t 0 ) , f ( t 0 ) )
Therefore, in both orders, d s ( f n ( t 0 ) , f ( t 0 ) ) ε , which yields t 0 B n and, consequently, B n + 1 B n .
With K being compact, there is n 0 N such that B n = for all n n 0 . That is,
d s ( f n ( t ) , f ( t ) ) < ε
for all n n 0 and t K , which gives us the desired conclusion. □
Assume that u , v E 1 satisfy u v . Since e n d ( u ) = s e n d ( u ) ( R × { 0 } ) and e n d ( v ) = s e n d ( v ) ( R × { 0 } ) , it is clear that e n d ( u ) e n d ( v ) , yielding the following property: if u v w , then d e n d ( u , v ) d e n d ( u , w ) . On the other hand, [19] (Remark 6) points out that, if u , v , w E 1 with u v w , then d e n d ( u , w ) d e n d ( u , v ) as well. Since no proof is given there, we show this property here for the sake of completeness.
Lemma 4. 
If u , v , w E 1 with u v w , then d e n d ( u , w ) d e n d ( u , v ) .
Proof. 
Assume that u , v , w E 1 with u v w . In order to prove that d e n d ( u , v ) d e n d ( u , w ) , we need to show two conditions:
( x , λ ) e n d ( u ) , ( y , β ) e n d ( v ) such that d ( ( x , λ ) , ( y , β ) ) d e n d ( u , w ) .
( y , β ) e n d ( v ) , ( x , λ ) e n d ( u ) such that d ( ( x , λ ) , ( y , β ) ) d e n d ( u , w ) .
We start by checking condition (5). Consider ( x , λ ) e n d ( u ) . If ( x , λ ) R × { 0 } e n d ( v ) , there is nothing to prove since d ( ( x , λ ) , ( x , λ ) ) = 0 d e n d ( u , w ) . Thus, we can assume that λ > 0 and x [ u ] λ .
Now, there exists ( z , γ ) e n d ( w ) with
d ( ( x , λ ) , ( z , γ ) ) = d ( ( x , λ ) , e n d ( w ) ) d e n d ( u , w ) .
Set ρ = min { λ , γ } . If ρ = 0 , then ( z , γ ) = ( z , 0 ) e n d ( v ) , and we obtain
d ( ( x , λ ) , ( z , 0 ) ) d e n d ( u , w ) .
We assume that ρ > 0 . If x [ v ] ρ , then ( x , ρ ) e n d ( v ) and
d ( ( x , λ ) , ( x , ρ ) ) = λ ρ | λ γ | d ( ( x , λ ) , ( z , γ ) ) d e n d ( u , w ) .
If x [ v ] ρ , since x [ u ] λ [ u ] ρ , we obtain
u ( ρ ) x < v ( ρ ) w ( ρ ) z ,
yielding
d ( ( x , λ ) , ( v ( ρ ) , ρ ) ) = | v ( ρ ) x | 2 + | λ ρ | 2 | z x | 2 + | λ γ | 2 = d ( ( x , λ ) , ( z , γ ) ) d e n d ( u , w ) .
Since ( v ( ρ ) , ρ ) e n d ( v ) , we have proven this part.
Now, we will check condition (6). Consider ( y , β ) e n d ( v ) . As usual, if ( y , β ) e n d ( u ) , there is nothing to prove. If ( y , β ) e n d ( w ) , there exists ( x , λ ) e n d ( u ) such that
d ( ( x , λ ) , ( y , β ) ) = d ( e n d ( u ) , ( y , β ) ) d e n d ( u , w )
and we obtain the conclusion.
Therefore, we can assume that β > 0 and y [ v ] β , and that the point ( y , β ) does not lie in e n d ( u ) or e n d ( w ) . Since ( u + ( β ) , β ) e n d ( u ) , there exists ( z , γ ) e n d ( w ) such that
d ( ( u + ( β ) , β ) , ( z , γ ) ) = d ( ( u + ( β ) , β ) , e n d ( w ) ) d e n d ( u , w ) .
Consider ρ = min { β , γ } . If ρ = 0 , then ( z , γ ) = ( z , 0 ) . Consider ( y , 0 ) e n d ( u ) , and we have
d ( ( y , β ) , ( y , 0 ) ) = β d ( ( u + ( β ) , β ) , ( z , 0 ) ) d e n d ( u , w ) .
Assume now that ρ > 0 . Since z [ w ] γ [ w ] ρ , y [ v ] ρ [ w ] ρ and y [ v ] ρ [ u ] ρ , then
u + ( ρ ) < y < w ( ρ ) z .
On the other hand, u + ( β ) [ u ] β [ u ] ρ , yielding ( u + ( β ) , ρ ) e n d ( u ) .
If ρ = γ , then
d ( ( y , β ) , ( u + ( β ) , ρ ) ) = ( y u + ( β ) ) 2 + | β ρ | 2 < ( z u + ( β ) ) 2 + | β γ | 2 = d ( ( u + ( β ) , β ) , ( z , γ ) ) d e n d ( u , w ) .
If ρ = β , we have
d ( ( y , β ) , ( u + ( β ) , ρ ) ) = | y u + ( β ) | < | z u + ( β ) | = d ( ( u + ( β ) , β ) , ( z , γ ) ) d e n d ( u , w ) .
Therefore, the condition (6) is also true and the proof is finished. □
Now, we can show the following theorem, which is a version of Dini’s theorem for d e n d -continuous fuzzy number-valued functions.
Theorem 5. 
Consider the partially ordered cone ( E 1 , ) or ( E 1 , ) . Let { f n } n N be a pointwise monotonic sequence in C ( K , E e n d 1 ) , which converges pointwise to f C ( K , E e n d 1 ) . Then, { f n } n N converges uniformly to f.
Proof. 
Let { f n } n N be such a sequence. Fix ε > 0 and consider, for each n N ,
B n = { t K : d e n d ( f n ( t ) , f ( t ) ) ε } .
As in Theorem 4, B n is a closed set, and we need to show that B n + 1 B n . To do this, fix t 0 B n + 1 .
Consider the order ( E 1 , ) . It is apparent that ( x , α ) e n d ( f n ( t 0 ) ) iff x [ f n ( t 0 ) ] α or ( x , α ) R × { 0 } .
Since f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) or f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) , we obtain e n d ( f n ( t 0 ) ) e n d ( f n + 1 ( t 0 ) ) e n d ( f ( t 0 ) ) (or e n d ( f n ( t 0 ) ) e n d ( f n + 1 ( t 0 ) ) e n d ( f ( t 0 ) ) . Lemma 1 shows that
d e n d ( f n ( t ( 0 ) , f ( t 0 ) ) = d H ( e n d ( f n ( t 0 ) ) , e n d ( f ( t 0 ) ) ) d H ( e n d ( f n + 1 ( t 0 ) ) , e n d ( f ( t 0 ) ) ) = d e n d ( f n + 1 ( t ( 0 ) , f ( t 0 ) ) ε .
On the other hand, consider the order ( E 1 , ) . Since f n ( t 0 ) f n + 1 ( t 0 ) f ( t 0 ) or f ( t 0 ) f n + 1 ( t 0 ) f n ( t 0 ) , by using Lemma 4, we also have
d e n d ( f n ( t 0 ) , f ( t 0 ) ) d e n d ( f n + 1 ( t 0 ) , f ( t 0 ) ) ε .
Therefore, in both orders, d e n d ( f n ( t 0 ) , f ( t 0 ) ) ε , which yields t 0 B n and, consequently, B n + 1 B n .
Since K is a compact set, there is n 0 N such that B n = for all n n 0 . That is,
d e n d ( f n ( t ) , f ( t ) ) < ε
for all n n 0 and t K , which means that { f n } n N converges uniformly to f and the proof is finished. □

6. A Counterexample

We give an example showing that the fuzzy version of Dini’s theorem is not true for any order in E 1 . In [13] (Definition 2.5) a total (pre)order ≾ in the set of fuzzy numbers E 1 is defined as
u v 0 1 α u ( α ) + u + ( α ) d α 0 1 α v ( α ) + v + ( α ) d α .
Example 1. 
Consider the ordered cone ( E 1 , ) . For every x [ 0 , 1 ] and every n N , consider the following real-valued functions:
f n ( x ) ( λ ) = 0 , for all λ [ 0 , 1 ] , f n ( x ) + ( λ ) = n e n 1 e n e n 1 e n λ 2 if 0 x 1 e n 1 , n x e n x 2 e n λ 2 if 1 e n 1 < x 1 , for all λ [ 0 , 1 ] .
Then, f n ( x ) ( λ ) and f n ( x ) + ( λ ) satisfy the conditions in the Goetschel–Voxman characterization (Theorem 1), so there exists a unique fuzzy number f n ( x ) E 1 for all x [ 0 , 1 ] , such that
[ f n ( x ) ] λ = [ f n ( x ) ( λ ) , f n ( x ) + ( λ ) ] .
Claim:  f n : [ 0 , 1 ] E 1 is a level continuous function for each n N , and the sequence { f n } n N converges pointwise to 0.
To do this, fix n 0 and x 0 [ 0 , 1 ] . Consider any fixed λ [ 0 , 1 ] . If x 0 1 e n 0 1 , then
lim x x 0 f n 0 ( x ) + ( λ ) = f n 0 ( x 0 ) + ( λ ) .
If x 0 = 1 e n 0 1 , then
lim x x 0 f n 0 ( x ) + ( λ ) = lim x x 0 n 0 e n 0 1 e n 0 e n 0 1 e n 0 λ 2 = n 0 e n 0 1 e n 0 e n 0 1 e n 0 λ 2 lim x x 0 + n 0 x e n 0 x 2 e n 0 λ 2 = n 0 e n 0 1 e n 0 e n 0 1 e n 0 λ 2 = f n 0 ( x 0 ) + ( λ ) .
Let us check the pointwise convergence to 0. If x = 0 , then
lim n + f n ( 0 ) + ( λ ) = lim n + n e n 1 e n e n 1 e n λ 2 = 0
and if x 0 , there exists n 0 such that 1 e n 1 < x for all n n 0 , so
lim n + f n ( x ) + ( λ ) = lim n + n x e n x 2 e n λ 2 = 0 .
Thus, the claim is proved.
Moreover, { f n } n 2 is a monotone decreasing sequence. In order to prove this, we define T n ( x ) : = 0 1 λ f n ( x ) + ( λ ) d λ , and we need to show that for each x [ 0 , 1 ] , { T n ( x ) } n N is a decreasing sequence of real numbers. We have
T n ( x ) = G n ( x ) if 0 x 1 e n 1 , H n ( x ) if 1 e n 1 < x 1 .
where
G n ( x ) : = 0 1 λ n e n e n 1 e n λ 2 e n 1 d λ = e n e n 1 2 e n 1 1 e n , H n ( x ) : = 0 1 λ n x e n x 2 e n λ 2 d λ = x e n x 2 2 1 e n .
G n ( x ) is decreasing for n 2 and H n ( x ) is decreasing for n > log 1 x 2 + 1 , that is, 1 e n 1 < x . So, the only remaining case to show is
T n ( x ) = G n ( x ) > T n + 1 ( x ) = H n + 1 ( x ) if 1 e n + 1 1 < x 1 e n 1 .
We show that the function F n ( x ) = G n ( x ) H n + 1 ( x ) > 0 for all x J n : = 1 e n + 1 1 , 1 e n 1 .
First, the fact that F n 1 e n 1 = G n 1 e n 1 H n + 1 1 e n 1 > 0 is equivalent to proving that e n 1 e e n 1 < e 1 e n 1 , which is true because
e 1 e n 1 > 1 + 1 e n 1 = e n e n 1 > e n 1 e e n 1 .
On the other hand, the derivative
d d x H n + 1 ( x ) = e n + 1 1 2 e n + 1 e ( n + 1 ) x 2 1 2 x 2 ( n + 1 )
is always positive in J n , since for n 2 , we have
1 2 x 2 ( n + 1 ) 1 2 ( n + 1 ) e n 1 > 0 .
Therefore, d d x F n ( x ) = d d x H n + 1 ( x ) < 0 , and it is a decreasing function in the interval J n . The condition F n 1 e n 1 > 0 implies that F n ( x ) > 0 for all x J n , so Equation (7) holds.
We have just shown that the sequence { T n ( x ) } n 2 is decreasing for each x [ 0 , 1 ] , which proves the claim.
Finally, we show that the convergence of { f n } n 2 is not uniform. Assume, for the sake of contradiction, that for ε = 1 4 and λ = 0 , there exists n 0 such that f n ( x ) + ( 0 ) < ε holds for every n n 0 and x [ 0 , 1 ] . This yields
n x e n x 2 < 1 4
for all n n 0 and every x > 1 e n 1 , which means that
1 2 e n e n 1 1 2 n e n = 1 e n 1 1 n x e n x 2 d x 1 4 1 1 e n 1 .
Hence, by taking limits for n, we obtain 1 2 1 4 , which is a contradiction.

7. Conclusions

We have studied several fuzzy versions of the celebrated Dini’s theorem for continuous fuzzy number-valued functions using different topologies and orders in the set of fuzzy numbers. Dini’s theorem is a key result that guarantees pointwise and uniform convergence are equivalent. Our approach clarifies some existing previous results that do not seem to be correctly proved. We have also provided a counterexample that shows that Dini’s theorem is not true for all orders.

Author Contributions

Conceptualization, J.J.F., S.M. and M.S.; Methodology, J.J.F., S.M. and M.S.; Validation, J.J.F., S.M. and M.S.; Formal Analysis, J.J.F., S.M. and M.S.; Investigation, J.J.F., S.M. and M.S.; Resources, J.J.F., S.M. and M.S.; Writing—Original Draft Preparation, J.J.F., S.M. and M.S.; Writing—Review and Editing, J.J.F., S.M. and M.S.; Visualization, J.J.F., S.M. and M.S.; Supervision, J.J.F., S.M. and M.S.; Project Administration, J.J.F., S.M. and M.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Holgate, D.; Masuret, J.; Sioen, M. On the Dini and Stone–Weierstrass properties in pointfree topology. Topol. Appl. 2016, 200, 160–175. [Google Scholar] [CrossRef]
  2. Grubba, T.; Weihrauch, K. A Computable Version of Dini’s Theorem for Topological Spaces. In Lecture Notes in Computer Science 3733, ISCIS 2005; Yolum, P., Güngör, T., Gürgen, F., Özturan, C., Eds.; Springer: Berlin/Heidelberg, Germany, 2005; pp. 927–936. [Google Scholar]
  3. Kamo, H. Effective Dini’s Theorem on Compact Metric Spaces. Electron. Notes Theor. Comput. Sci. 2005, 120, 73–82. [Google Scholar] [CrossRef]
  4. Green, W.L.; Morley, T.D. Operator Means and Matrix Functions. Linear Algebra Appl. 1990, 137/138, 453–465. [Google Scholar] [CrossRef]
  5. Beer, G. The approximation of upper semicontinuous multifunctions by step multifunctions. Pacific J. Math. 1980, 87, 11–19. [Google Scholar] [CrossRef]
  6. Joseph, J.E.; Kwack, M.H.; Nayar, B.M.P. Set-valued function generalizations of classical theorems of Dini and Osgood. Math. Japon. 2000, 51, 35–48. [Google Scholar]
  7. Hazarika, B. Pointwise ideal convergence and uniformly ideal convergence of sequences of fuzzy valued functions. J. Intell. Fuzzy Syst. 2017, 32, 2665–2677. [Google Scholar] [CrossRef]
  8. Kişi, Ö.; Dündar, E. I2- uniformly convergence of double sequences of fuzzy valued functions. Acta Math. Univ. Comenian. (N.S.) 2022, XCI, 281–300. [Google Scholar]
  9. Agarwal, R.P.; Milles, S.; Ziane, B.; Mennouni, A.; Zedam, L. Ideals and Filters on Neutrosophic Topologies Generated by Neutrosophic Relations. Axioms 2024, 13, 292. [Google Scholar] [CrossRef]
  10. Araour, M.; Mennouni, A. A New Procedures for Solving Two Classes of Fuzzy Singular Integro-Differential Equations: Airfoil Collocation Methods. Int. J. Appl. Comput. Math. 2022, 8, 35. [Google Scholar] [CrossRef]
  11. La Guardia, G.G.; Chagas, J.Q.; Lenzi, E.K.; Pires, L.; Zumelzu, N.; Bedregal, B. On Semi-Vector Spaces and Semi-Algebras with Applications in Fuzzy Automata. Axioms 2024, 13, 308. [Google Scholar] [CrossRef]
  12. Li, H.X.; Yen, V.C. Fuzzy Sets and Fuzzy Decision Making; CPC Press: Boca Raton, FL, USA, 1995. [Google Scholar]
  13. Goetschel, R.; Voxman, W. Elementary fuzzy calculus. Fuzzy Sets Syst. 1986, 18, 31–42. [Google Scholar] [CrossRef]
  14. Diamond, P.; Kloeden, P. Metric Spaces of Fuzzy Sets. In Theory and Applications; World Scientific Pub. Co. Pte. Ltd.: Singapore, 1994. [Google Scholar]
  15. Font, J.J.; Miralles, A.; Sanchis, M. On the Fuzzy Number Space with the Level Convergence Topology. J. Funct. Spaces Appl. 2012, 2012, 326417. [Google Scholar] [CrossRef]
  16. Timoftel, V.; Timoftel, A. Generalized Dini theorems for nets of functions on arbitrary sets. Positivity 2016, 20, 171–185. [Google Scholar] [CrossRef]
  17. Rodríguez-López, R. Monotone method for fuzzy differential equations. Fuzzy Sets Syst. 2008, 159, 2047–2076. [Google Scholar] [CrossRef]
  18. Wu, C.; Li, H.; Ren, X. A note on the sendograph metric of fuzzy numbers. Inform. Sci. 2009, 179, 3410–3417. [Google Scholar] [CrossRef]
  19. Fan, T.; Wang, G. Endographic approach on supremum and infimum of fuzzy numbers. Inform. Sci. 2004, 159, 221–231. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Font, J.J.; Macario, S.; Sanchis, M. Dini’s Theorem for Fuzzy Number-Valued Continuous Functions. Mathematics 2024, 12, 3209. https://doi.org/10.3390/math12203209

AMA Style

Font JJ, Macario S, Sanchis M. Dini’s Theorem for Fuzzy Number-Valued Continuous Functions. Mathematics. 2024; 12(20):3209. https://doi.org/10.3390/math12203209

Chicago/Turabian Style

Font, Juan José, Sergio Macario, and Manuel Sanchis. 2024. "Dini’s Theorem for Fuzzy Number-Valued Continuous Functions" Mathematics 12, no. 20: 3209. https://doi.org/10.3390/math12203209

APA Style

Font, J. J., Macario, S., & Sanchis, M. (2024). Dini’s Theorem for Fuzzy Number-Valued Continuous Functions. Mathematics, 12(20), 3209. https://doi.org/10.3390/math12203209

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop