In this article we introduce the notion of lacunary statistically convergent and lacunary statistically Cauchy sequences in intuitionistic fuzzy n-normed linear spaces and give their characterization. We show that some properties of lacunary statistical convergence of real sequences also hold for sequences in this space. Further, necessary and sufficient conditions for equality of the set of st...

We investigate a notion of non-Archimedean fuzzy anti-n-normed spaces and prove the Mazur-Ulam theorem in the spaces. AMS subject classification: primary 46S10; secondary 47S10; 26E30; 12J25.

The papers [21], [8], [23], [25], [24], [5], [7], [6], [19], [4], [1], [2], [18], [10], [22], [13], [3], [20], [16], [15], [9], [12], [11], [14], and [17] provide the terminology and notation for this paper. Let X be a non empty set and let f , g be elements of X . Then g · f is an element of X . One can prove the following propositions: (1) Let X, Y , Z be real linear spaces, f be a linear ope...

Summary In this article, we formalize in Mizar [1], [2] the 3-fold product space of real normed spaces for usefulness application fields such as engineering, although formalization 2-fold has been stored Mathematical Library [3]. First, prove some theorems about 3-variable function and Cartesian preparation. Then definition linear spaces. Finally, formulate We referred to [7] [6] formalization.

Every continuous linear functional defined on a vector subspace of a real normed space can be extended to the whole space so as to remain linear and continuous, and with the same norm(2). The extension of continuous linear transformations between two real normed spaces has been studied by several authors and for a long time it has been recognized that this problem has a close connection with th...