In this paper, we investigate the Hyers-Ulam stability of additive functional equations of two forms: of “Jensen” and “Jensen type” in the framework of multi-normed spaces. We therefore provide a link between multi-normed spaces and functional equations. More precisely, we establish the Hyers-Ulam stability of functional equations of these types for mappings from Abelian groups into multi-norme...

Cubical sets have a directed homology, studied in a previous paper and consisting of preordered abelian groups, with a positive cone generated by the structural cubes. By this additional information, cubical sets can provide a sort of ‘noncommutative topology’, agreeing with some results of noncommutative geometry but lacking the metric aspects of C∗-algebras. Here, we make such similarity stri...

We propose a decision procedure for a general class of normed commutative process rewrite systems and their induced bisimulation equivalences. Our technique is inspired by the polynomial-time algorithm for strong bisimilarity on normed Basic Parallel Processes (BPP), developed by Hirshfeld, Jerrum and Moller. As part of our framework we present a generic unique decomposition result, which we ob...

There are many problems and configurations in Euclidean geometry that were never extended to the framework of (normed or) finite dimensional real Banach spaces, although their original versions are inspiring for this type of generalization, and the analogous definitions for normed spaces represent a promising topic. An example is the geometry of simplices in non-Euclidean normed spaces. We pres...

In this article, the separability of real normed spaces and its properties are mainly formalized. In the first section, it is proved that a real normed subspace is separable if it is generated by a countable subset. We used here the fact that the rational numbers form a dense subset of the real numbers. In the second section, the basic properties of the separable normed spaces are discussed. It...

We prove that, if A and B are complete normed non-associative algebras, and if B is strongly semisimple and algebraic, then dense range homomorphisms from A to B are continuous. As a consequence, we obtain that homomorphisms from complete normed algebras into a complete normed power-associative algebraic algebra B are continuous if and only if B has no nonzero elements with zero square. We also...

In this article, we considered bidual spaces and reflexivity of real normed spaces. At first we proved some corollaries applying Hahn-Banach theorem and showed related theorems. In the second section, we proved the norm of dual spaces and defined the natural mapping, from real normed spaces to bidual spaces. We also proved some properties of this mapping. Next, we defined real normed space of R...

The main purpose of this paper is to study the approximate best proximity pair of cyclic maps and their diameter in fuzzy normed spaces defined by Bag and Samanta. First, approximate best point proximity points on fuzzy normed linear spaces are defined and four general lemmas are given regarding approximate fixed point and approximate best proximity pair of cyclic maps on fuzzy normed spaces. U...

In this article, we formalize topological properties of real normed spaces. In the first few parts, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed subspace. In the middle of the article, we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, ima...

In this article, we deal with weak convergence on sequences in real normed spaces, and weak* convergence on sequences in dual spaces of real normed spaces. In the first section, we proved some topological properties of dual spaces of real normed spaces. We used these theorems for proofs of Section 3. In Section 2, we defined weak convergence and weak* convergence, and proved some properties. By...