Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1512.03828

Characterizations of endograph metric and $Γ$-convergence on fuzzy sets

Huan Huang
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper is devoted to the relationships and properties of the endograph metric and the $Γ$-convergence. The main contents can be divided into three closely related parts. Firstly, on the class of upper semi-continuous fuzzy sets with bounded $α$-cuts, we find that an endograph metric convergent sequence is exactly a $Γ$-convergent sequence satisfying the condition that the union of $α$-cuts of all its elements is a bounded set in $\mathbb{R}^m$ for each $α> 0$. Secondly, based on investigations of level characterizations of fuzzy sets themselves, we present level characterizations (level decomposition properties) of the endograph metric and the $Γ$-convergence. It is worth mentioning that, using the condition and the level characterizations given above, we discover the fact: the endograph metric and the $Γ$-convergence are compatible on a large class of general fuzzy sets which do not have any assumptions of normality, convexity or star-shapedness. Its subsets include common particular fuzzy sets such as fuzzy numbers (compact and noncompact), fuzzy star-shaped numbers (compact and noncompact), and general fuzzy star-shaped numbers (compact and noncompact). Thirdly, on the basis of the conclusions presented above, we study various subspaces of the space of upper semi-continuous fuzzy sets with bounded $α$-cuts equipped with the endograph metric. We present characterizations of total boundedness, relative compactness and compactness in these fuzzy set spaces and clarify relationships among these fuzzy set spaces. It is pointed out that the fuzzy set spaces of noncompact type are exactly the completions of their compact counterparts under the endograph metric.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Huan Huang. 2018-01-31. Characterizations of endograph metric and $Γ$-convergence on fuzzy sets. https://arxiv.org/abs/1512.03828

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM↗
arXiv2026

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM↗