Add to ORKGSummary. In 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
AbstractIt is well known that spaces defined from a separated uniform structure with a linearly orde...
AbstractLet X be a real finite-dimensional normed space with unit sphere SX and let L(X) be the spac...
Summary. In this article we introduce a notion of real linear space, operations on vectors: addition...
In this paper we show the finite dimensionality of real linear spaces with their carriers equal Rn. ...
Summary. In this paper we show the finite dimensionality of real linear spaces with their carriers e...
Assume H is a Hilbert space and K is a dense linear (not necessarily closed) subspace. The question ...
This paper focuses on the regularity of linear embeddings of finite-dimensional subsets of Hilbert a...
AbstractThis paper focuses on the regularity of linear embeddings of finite-dimensional subsets of H...
We investigate properties of subspaces of L2 spanned by subsets of a finite orthonormal system bound...
Let r; n be fixed natural numbers. We prove that for n-manifolds the set of all linear natural opera...
summary:Let $r,n$ be fixed natural numbers. We prove that for $n$-manifolds the set of all linear na...
We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characte...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
We have proven that every finitely generated vector space has a basis. But what about vector spaces ...
AbstractThis paper investigates the cardinality of a basis and the characterizations of a basis in s...
AbstractIt is well known that spaces defined from a separated uniform structure with a linearly orde...
AbstractLet X be a real finite-dimensional normed space with unit sphere SX and let L(X) be the spac...
Summary. In this article we introduce a notion of real linear space, operations on vectors: addition...
In this paper we show the finite dimensionality of real linear spaces with their carriers equal Rn. ...
Summary. In this paper we show the finite dimensionality of real linear spaces with their carriers e...
Assume H is a Hilbert space and K is a dense linear (not necessarily closed) subspace. The question ...
This paper focuses on the regularity of linear embeddings of finite-dimensional subsets of Hilbert a...
AbstractThis paper focuses on the regularity of linear embeddings of finite-dimensional subsets of H...
We investigate properties of subspaces of L2 spanned by subsets of a finite orthonormal system bound...
Let r; n be fixed natural numbers. We prove that for n-manifolds the set of all linear natural opera...
summary:Let $r,n$ be fixed natural numbers. We prove that for $n$-manifolds the set of all linear na...
We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characte...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
We have proven that every finitely generated vector space has a basis. But what about vector spaces ...
AbstractThis paper investigates the cardinality of a basis and the characterizations of a basis in s...
AbstractIt is well known that spaces defined from a separated uniform structure with a linearly orde...
AbstractLet X be a real finite-dimensional normed space with unit sphere SX and let L(X) be the spac...
Summary. In this article we introduce a notion of real linear space, operations on vectors: addition...