- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2013 (2013), Article ID 627314, 6 pages

http://dx.doi.org/10.1155/2013/627314

## A Characterization for Compact Sets in the Space of Fuzzy Star-Shaped Numbers with Metric

^{1}School of Mathematical Sciences, Heilongjiang University, Harbin 150080, China^{2}Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China

Received 15 January 2013; Accepted 12 April 2013

Academic Editor: Marco Donatelli

Copyright © 2013 Zhitao Zhao and Congxin Wu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

By means of some auxiliary lemmas, we obtain a characterization of compact subsets in the space of all fuzzy star-shaped numbers with metric for . The result further completes and develops the previous characterization of compact subsets given by Wu and Zhao in 2008.

#### 1. Introduction

Since the concept of fuzzy numbers was firstly introduced in 1970s, it has been studied extensively from many different aspects of the theory and applications such as fuzzy algebra, fuzzy analysis, fuzzy topology, fuzzy logic, and fuzzy decision making. Many applications restrict their description to fuzzy numbers, often implicitly, because of powerful fuzzy convexity of fuzzy numbers. This fuzzy convexity is mainly reflected on the convexity of the level sets of fuzzy numbers. However, apart from possible applications, it is of independent interest to see how far the supposition of convexity can be weakened without losing too much structure. Star-shapedness is a fairly natural extension to convexity. Surprisingly, many topological properties of spaces of compact star-shaped sets are similar to those of their compact convex counterparts. It is well known that star-shapedness also plays an important role in the theory and applications, such as nonsmooth analysis, approximation problems and optimization problems, (see [1–11]). Based on the importance of star-shapedness, as a corresponding extension to fuzzy numbers, fuzzy star-shaped numbers have been payed more and more attention, such as Chanussot et al. [12], Diamond [13], Diamond and Kloeden [14], Qiu et al. [15], and Wu and Zhao [16].

In this regard, Diamond has done a lot of work. In 1990, he firstly introduced the concept of fuzzy star-shaped numbers and defined metrics on the space of fuzzy star-shaped numbers in [13]. Especially, he studied the properties of metric for . The induced metric spaces were shown to be separable, but not complete for . Finally, compact sets in were also characterized. Later on, Wu and Zhao [16] pointed out that the characterization of Diamond was incorrect by a counterexample and gave a correct characterization for compact sets in spaces for .

The aim of this paper is to further improve the characterization of compact sets in [16] and obtain a characterization of compact sets in the space of all fuzzy star-shaped numbers with metric for . The result of this paper will provide some help for future research on fuzzy star-shaped numbers.

#### 2. Preliminaries

In , denote the Euclidean norm by , and denote the class of all nonempty compact sets in by . If are nonempty compact sets in , then the Hausdorff distance between and is given by .

*Definition 1 (see [14]). *An element is star-shaped relative to a point if for each , the line segment joining to is contained in . The of is the set of all points such that the line segment for each and is the convex hull of .

For a fuzzy set , we suppose that (1) is normal; that is, there exists an such that , (2) is upper semicontinuous, (3) is compact, (4) is fuzzy star-shaped; that is, there exists such that is fuzzy star-shaped with respect to , namely, for any and , (4°) is fuzzy star-shaped with respect to the origin.

*Definition 2 (see [16]). *A fuzzy star-shaped number is a fuzzy set satisfying (1), (2), (3), and (4). Let be the family of all fuzzy star-shaped numbers, and let be the family of all fuzzy sets which satisfy (1), (2), (3), and (4°). Clearly, .

For a fuzzy star-shaped number , we define its -level set as follows:

Letting , we define It is obvious that for each .

We will define addition and scalar multiplication of fuzzy shaped-numbers levelsetwise; that is, for and for each . It directly follows that .

Now, let us recall some properties of fuzzy star-shaped numbers which will be used in this paper.

Proposition 3. * If , then*(1), ,(2) is a compact set of for each ,(3)for any , if is an increasing sequence of real numbers in converging to , then .

The following property derives directly from Definitions 1 and 2.

Proposition 4 (see [14]). *For any , is fuzzy star-shaped with respect to if and only if are star-shaped with respect to for all . *

*Definition 5 (see [14]). *Let be the totality of such that is fuzzy star-shaped with respect to . Define by for a fuzzy star-shaped number .

Proposition 6 (see [14]). *For a fuzzy star-shaped number , is a convex set in , and is a fuzzy convex set which is normal; that is, . *

*Definition 7 (see [14]). *For each , one defines
for all , then is called the metric on .

For the characterization of compact sets in (), the following definitions will be used in the sequel.

*Definition 8 (see [14]). *One says that is uniformly support bounded if the support sets are bounded in , uniformly for ; that is, there is a constant such that holds for all .

*Definition 9 (see [14]). * Let . If for any , there exists such that for all
then one says that is -mean left-continuous. If for nonempty , the above inequality holds uniformly for , one says that is -mean equi-left-continuous.

*Definition 10 (see [17]). *One says that is uniformly -mean bounded if there is a constant such that for all , where denotes with , and for any .

*Remark 11. *Note that uniform -mean boundedness is weaker than uniform support boundedness, namely, if is uniformly support bounded, then is uniformly -mean bounded; however, the converse implication does not hold.

#### 3. Main Results

Before proving our main result, we demonstrate some auxiliary lemmas.

Lemma 12. *Let , then the following properties hold:*(1)*,*(2)*for any , exists, and for any , one has
*(3)*for any , ,*(4)*if converges to , then converges to in . *

*Proof. *(1) Let . By Definition 5, we know that for all
Especially, the above inequality holds for each and ; that is, . Thus, we get . Since is an arbitrary element of , then we have that .

(2) According to the Zadeh extension principle, we have
and so, it is clear that exists for each . In the following, we infer that for each .

Let . For any , there exists such that . Then
and so, . On the other hand, for any , by the Zadeh extension principle, we get
Then, by the definition of the supremum, there exists for each such that

From the compactness of , has a subsequence converging to . Since is upper semicontinuous, then we have
That is, ; thus, .

Applying the similar techniques, we obtain for each .

(3) By Proposition 4, to prove , it is enough to verify that is star-shaped with respect to the origin for each , where is an arbitrary element of .

For any , ; by statement (2), we have that . So, we obtain that . Since is an arbitrary element of , then by Definition 5 and Proposition 4, the line segment joining to is contained in ; that is,
Thus, for all . That is, the line segment .

Consequently, is star-shaped with respect to the origin for each .

(4) Since converges to , then for every , there exists an integer such that when

Thus, for the above , we have
whenever . Therefore, converges to in .

Lemma 13. *For any , , is -mean left-continuous. *

*Proof. *The technique is similar to the proof of Lemma 3.1 in [16].

For every and , denote Then, we have the following.

Lemma 14 (see [16]). *A closed set , , is compact if and only if*(1)* is uniformly -mean bounded,*(2)* is -mean equi-left-continuous,*(3)*let be a decreasing sequence in converging to zero. For , if converges to in , then there exists a such that
*

Lemma 15. * For any , and , one has
*

*Proof. * Let be an arbitrary element in .

If , then . If , then . Hence, for each , and so, it follows that . This implies that .

Similarly, if , then by Lemma 12(2), we have
If , then by Lemma 12(2), we have

Hence, for each , and so, it follows that . This implies that .

Now, we give the characterization of compact sets in for .

Theorem 16. *A closed set , is compact if and only if*(i)* is uniformly -mean bounded,*(ii)* is -mean equi-left-continuous,*(iii)*let be a decreasing sequence in converging to zero. For , if converges to in , then there exists a such that
*

*Proof. **Necessity*: (1) Since is compact in , it follows that is a bounded set in . This implies that is uniformly -mean bounded.

(2) Let , and let be a -net of , that is, for any , there exists an element satisfying . By Lemma 12, are -mean left-continuous, and so, there exists such that
for and .

Thus, for , we can obtain by triangle inequality
Therefore, is -mean equi-left-continuous.

(3) According to the definition of , for each , and for each . Since , then from Proposition 4, there exists such that is star-shaped with respect to for each . So, is star-shaped with respect to for each ; thus, it is obvious by Proposition 4 that for each .

For , we assume that converges to in . Since is compact in , then has a subsequence converging to in . By Minkowski’s inequality, it follows that
But since
then we get
and this implies that
a.e. in . Thus, we obtain that
a.e. in ; that is, for each , where has Lebesgue measure zero and clearly is dense in . Let , then there exists an increasing sequence with and . So
By Proposition 3, both terms on the right converge to zero as , so , and hence for each .

Consequently, we have for each .*Sufficiency*: From Lemma 12(3), we have that . We divide the rest of the proof into two steps.*Step 1*. We prove that satisfies (1)–(3) in Lemma 14.

Firstly, we show that if is uniformly -mean bounded, then is uniformly bounded. Otherwise, we infer that for any , ; we can find that such that

By Proposition 3(1) and Lemma 12(1), it follows that
This contradicts condition (i).

Secondly, we conclude that is uniformly -mean bounded. According to condition (i) and the conclusion in last paragraph, we obtain that is uniformly bounded, and then there exists a such that for all
By the condition (i), there exists a such that for all

Thus, by Lemma 12(2) for all , we get
This implies that condition (1) of Lemma 14 is satisfied.

Thirdly, we verify that is -mean equi-left-continuous. In fact, since is -mean equi-left-continuous, then for every , there exists a such that for all and
and so, we have
Hence, condition (2) of Lemma 14 holds.

Finally, we prove that condition (3) of Lemma 14 is also satisfied. Let be a decreasing sequence in converging to zero. We suppose that converges to in . Denote . Then, converges to in . By Lemma 15, we have

By the preceding proof, is uniformly bounded. Then, has a subsequence converging to , and so by Lemma 12(4), converges to in . By condition (iii) and Lemma 12(2), there exists a such that
wherever , and so by Lemma 12(2), we have
wherever .

Define . Then, by Lemma 12(3), it follows that . Thus, condition (3) of Lemma 14 holds.*Step 2*. We infer that is a compact set in .

Let . Since is a subset of and satisfies condition (1)–(3) of Lemma 14, then is a compact set of , and so for fixed , has a subsequence converging to . By the proceeding proof, is uniformly bounded, so has a subsequence converging to . It is obvious that converges to .

Denote . Then, converges to . Therefore, by Lemma 12(4), we get that converges to , which completes the proof.

#### 4. Conclusion

Since star-shapedness has played an important role in the theory and applications of classical analysis, such as nonsmooth analysis, approximation problems, and optimization problems, then as an extension to fuzzy numbers, fuzzy star-shaped numbers should be also payed more and more attention. In this paper, we further complete and develop the previous result in [16] and give a characterization of compact subsets in the space of all fuzzy star-shaped numbers with metric for . The result of this paper will provide some help for future research on the theory of fuzzy star-shaped numbers.

#### Acknowledgments

The authors would like to thank the anonymous reviewers for their helpful comments which improved the original paper. The project is supported by the Youth Scientific Funds of Heilongjiang University (no. QL201007) and NSFC (nos. 11201128 and 11226255).

#### References

- J. Cel, “An optimal Krasnosel'skii-type theorem for an open starshaped set,”
*Geometriae Dedicata*, vol. 66, no. 3, pp. 293–301, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - J. Cel, “Representations of starshaped sets in normed linear spaces,”
*Journal of Functional Analysis*, vol. 174, no. 2, pp. 264–273, 2000. View at Publisher · View at Google Scholar · View at MathSciNet - F. H. Clarke,
*Optimization and Nonsmooth Analysis*, John Wiley & Sons, New York, NY, USA, 1983. View at MathSciNet - I. Ekeland, “Nonconvex minimization problems,”
*Bulletin of the American Mathematical Society*, vol. 1, no. 3, pp. 443–474, 1979. View at Publisher · View at Google Scholar · View at MathSciNet - P. M. Gruber and T. I. Zamfirescu, “Generic properties of compact starshaped sets,”
*Proceedings of the American Mathematical Society*, vol. 108, no. 1, pp. 207–214, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - D. A. Klain, “Invariant valuations on star-shaped sets,”
*Advances in Mathematics*, vol. 125, no. 1, pp. 95–113, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - A. Kosinski, “Note on star-shaped sets,”
*Proceedings of the American Mathematical Society*, vol. 13, no. 6, pp. 931–933, 1962. View at MathSciNet - F. Maccheroni, “Homothetic preferences on star-shaped sets,”
*Decisions in Economics and Finance*, vol. 24, no. 1, pp. 41–47, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - H. Mohebi and E. Naraghirad, “Cone-separation and star-shaped separability with applications,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 8, pp. 2412–2421, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - S. Park and J. Yoon, “Remarks on fixed point theorems on star-shaped sets,”
*Journal of the Korean Mathematical Society*, vol. 18, no. 2, pp. 135–140, 1982. View at MathSciNet - A. Shveidel, “Separability of star-shaped sets and its application to an optimization problem,”
*Optimization*, vol. 40, no. 3, pp. 207–227, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - J. Chanussot, I. Nyström, and N. Sladoje, “Shape signatures of fuzzy star-shaped sets based on distance from the centroid,”
*Pattern Recognition Letters*, vol. 26, no. 6, pp. 735–746, 2005. - P. Diamond, “A note on fuzzy starshaped fuzzy sets,”
*Fuzzy Sets and Systems*, vol. 37, no. 2, pp. 193–199, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - P. Diamond and P. Kloeden,
*Metric Spaces of Fuzzy Sets*, World Scientific, River Edge, NJ, USA, 1994. View at MathSciNet - D. Qiu, L. Shu, and Z.-W. Mo, “On starshaped fuzzy sets,”
*Fuzzy Sets and Systems*, vol. 160, no. 11, pp. 1563–1577, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - C. Wu and Z. Zhao, “Some notes on the characterization of compact sets of fuzzy sets with ${L}_{p}$ metric,”
*Fuzzy Sets and Systems*, vol. 159, no. 16, pp. 2104–2115, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - M. Ma, “Some notes on the characterization of compact sets in $({E}^{n},{d}_{p})$,”
*Fuzzy Sets and Systems*, vol. 56, no. 3, pp. 297–301, 1993. View at Publisher · View at Google Scholar · View at MathSciNet