On fuzzy pseudo-normed vector spaces (Q1824149): Difference between revisions

The author defines a fuzzy (pseudo-)metric on a set by assigning to each pair of points a nonnegative member of the fuzzy real line of \textit{B. Hutton} [J. Math. Anal. Appl. 50, 74-79 (1975; Zbl 0297.54003)] with the real unit interval as the range space for fuzzy sets. The operation of addition used in the triangle inequality is based on Zadeh's extension principle. The author defines fuzzy open balls which form a base for a fuzzy topology. The definition of a fuzzy (pseudo-)metric is of the same nature as the one of a fuzzy (pseudo-)norm introduced by \textit{U. Höhle} [in: ``Fuzzy sets'': Theory Appl. to Policy Anal.'', New York 1980, 13-24 (1980; Zbl 0611.54006)]. The author continues the study of Höhle's (pseudo-)normed spaces. He shows that a fuzzy (pseudo-)norm generates (in a very well-known way) a (pseudo-)metric in the author's sense. He then shows that the algebraic operations in a (pseudo-)normed space are continuous with respect to the fuzzy topology induced by the (pseudo- )norm (the fuzzy topology on the real or complex field is the one consisting of all lower semi-continuous functions), and that the fuzzy open balls at zero are convex, balanced and absorbing in the sense of \textit{A. K. Katsaras} and \textit{D. B. Liu} [J. Math. Anal. Appl. 58, 135- 146 (1977; Zbl 0358.46011)]. There is also shown that each fuzzy (pseudo- )norm generates a fuzzy semi-norm of \textit{A. K. Katsaras} [Fuzzy Sets Syst. 12, 143-154 (1984; Zbl 0555.46006)] and vice versa, and that the resulting fuzzy topologies then coincide.