Abstract:In this paper, we present characterizations of totally bounded sets, relatively compact sets and compact sets in the fuzzy sets spaces $F_B(\mathbb{R}^m)$ and $F_B(\mathbb{R}^m)^p$ equipped with $L_p$ metric, where $F_B(\mathbb{R}^m)$ and $F_B(\mathbb{R}^m)^p$ are two kinds of general fuzzy sets on $\mathbb{R}^m$ which do not have any assumptions of convexity or star-shapedness. Subsets of $F_B(\mathbb{R}^m)^p$ include common fuzzy sets such as fuzzy numbers, fuzzy star-shaped numbers with respect to the origin, fuzzy star-shaped numbers, and the general fuzzy star-shaped numbers introduced by Qiu et al. The existed compactness criteria are stated for three kinds of fuzzy sets spaces endowed with $L_p$ metric whose universe sets are the former three kinds of common fuzzy sets respectively. Constructing completions of fuzzy sets spaces with respect to $L_p$ metric is a problem which is closely dependent on characterizing totally bounded sets. Based on preceding characterizations of totally boundedness and relatively compactness and some discussions on convexity and star-shapedness of fuzzy sets, we show that the completions of fuzzy sets spaces mentioned in this paper can be obtained by using the $L_p$-extension. We also clarify relation among all the ten fuzzy sets spaces discussed in this paper, which consist of five pairs of original spaces and the corresponding completions. Then, we show that the subspaces of $F_B(\mathbb{R}^m)$ and $F_B(\mathbb{R}^m)^p$ mentioned in this paper have parallel characterizations of totally bounded sets, relatively compact sets and compact sets. At last, as applications of our results, we discuss properties of $L_p$ metric on fuzzy sets space and relook compactness criteria proposed in previous work.

Function Spaces Based on L-Sets

Unconditional Convergent Series on Locally Convex Spaces

Spaces of λ-multiplier convergent series

A new approach to lattice-valued convergence groups via ⊤-filters

Mixed limits of some functional spaces

Cartesian-closedness and subcategories of (L, M)-fuzzy Q-convergence spaces

L vector spaces and L fields

On $\mathrm{F}$-spaces of almost-Lebesgue functions

Some examples concerning $LΣ(\leqω)$ and metrizably fibered compacta

Rough set model on strong L-fuzzy Alexandrov spaces

Lusin and Suslin properties of function spaces

Topology and convergence on the space of measure-valued functions

Characterizations of compact sets in fuzzy sets spaces with $L_p$ metric

Fremlin tensor product respects the unbounded order convergence

Locally solid convergences and order continuity of positive operators

Lusin spaces as images of locally compact Polish spaces

An extension result for $(LB)$-spaces and the surjectivity of tensorized mappings

Function spaces for orbit-finite sets

The set of limits of Riemann integral sums of a multifunction and Banach space geometry

Universal Coverings for Limit and Pseudotopological Spaces

Spaces not distinguishing ideal pointwise and $σ$-uniform convergence