Add to ORKGIn this paper we show the finite dimensionality of real linear spaces with their carriers equal Rn. We also give the standard basis of such spaces. For the set Rn we introduce the concepts of linear manifold subsets and orthogonal subsets. The cardinality of orthonormal basis in Rn is proved to equal n
AbstractIn this work, for an arbitrary sequence space we construct a sequence space with elements in...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
Given an matrix A, considered as a linear map A:ℝn⟶ℝn, then A induces a topological space structure ...
Summary. In this paper we show the finite dimensionality of real linear spaces with their carriers e...
Summary. In this paper we show the finite dimensionality of real linear spaces with their carriers e...
In this paper we show the finite dimensionality of real linear spaces with their carriers equal Rn. ...
AbstractThis paper focuses on the regularity of linear embeddings of finite-dimensional subsets of H...
This paper focuses on the regularity of linear embeddings of finite-dimensional subsets of Hilbert a...
Summary. In this article we introduce a notion of real linear space, operations on vectors: addition...
We have proven that every finitely generated vector space has a basis. But what about vector spaces ...
[[abstract]]In this article we introduce some sequence spaces with base space X, a real linear n-nor...
We provide a characterization of the finite dimensionality of vector spaces in terms of the right-si...
Summary. The article is continuation of [14]. At the beginning we prove some theorems concerning sum...
Let r; n be fixed natural numbers. We prove that for n-manifolds the set of all linear natural opera...
In this article, we formalize topological properties of real normed spaces. In the first part, open ...
AbstractIn this work, for an arbitrary sequence space we construct a sequence space with elements in...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
Given an matrix A, considered as a linear map A:ℝn⟶ℝn, then A induces a topological space structure ...
Summary. In this paper we show the finite dimensionality of real linear spaces with their carriers e...
Summary. In this paper we show the finite dimensionality of real linear spaces with their carriers e...
In this paper we show the finite dimensionality of real linear spaces with their carriers equal Rn. ...
AbstractThis paper focuses on the regularity of linear embeddings of finite-dimensional subsets of H...
This paper focuses on the regularity of linear embeddings of finite-dimensional subsets of Hilbert a...
Summary. In this article we introduce a notion of real linear space, operations on vectors: addition...
We have proven that every finitely generated vector space has a basis. But what about vector spaces ...
[[abstract]]In this article we introduce some sequence spaces with base space X, a real linear n-nor...
We provide a characterization of the finite dimensionality of vector spaces in terms of the right-si...
Summary. The article is continuation of [14]. At the beginning we prove some theorems concerning sum...
Let r; n be fixed natural numbers. We prove that for n-manifolds the set of all linear natural opera...
In this article, we formalize topological properties of real normed spaces. In the first part, open ...
AbstractIn this work, for an arbitrary sequence space we construct a sequence space with elements in...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
Given an matrix A, considered as a linear map A:ℝn⟶ℝn, then A induces a topological space structure ...