The 3-Fold Product Space of Real Normed Spaces and its Properties
نویسندگان
چکیده
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.
منابع مشابه
The Product Space of Real Normed Spaces and its Properties
The following propositions are true: (1) Let s, t be sequences of real numbers and g be a real number. Suppose that for every element n of N holds t(n) = |s(n)− g|. Then s is convergent and lim s = g if and only if t is convergent and lim t = 0. (2) Let x, y be finite sequences of elements of R. Suppose lenx = len y and for every element i of N such that i ∈ Seg lenx holds 0 ≤ x(i) and x(i) ≤ y...
متن کاملSeparability of Real Normed Spaces and Its Basic Properties
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...
متن کاملsome properties of fuzzy hilbert spaces and norm of operators
in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...
15 صفحه اولBEST APPROXIMATION IN QUASI TENSOR PRODUCT SPACE AND DIRECT SUM OF LATTICE NORMED SPACES
We study the theory of best approximation in tensor product and the direct sum of some lattice normed spacesX_{i}. We introduce quasi tensor product space anddiscuss about the relation between tensor product space and thisnew space which we denote it by X boxtimesY. We investigate best approximation in direct sum of lattice normed spaces by elements which are not necessarily downwardor upward a...
متن کاملTopological Properties of Real Normed Space
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...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2021
ISSN: ['1898-9934', '1426-2630']
DOI: https://doi.org/10.2478/forma-2021-0022