Related papers: On Vector Spaces with Formal Infinite Sums

The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in…

We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…

Given a compact manifold X, the set of simple manifold structures on X x \Delta^k relative to the boundary can be viewed as the k-th homotopy group of a space \S^s (X). This space is called the block structure space of X. We study the block…

In this paper we consider the complex vector spaces of holomorphic cross-sections of homogeneous holomorphic vector bundles over elliptic adjoint orbits, and provide a sufficient condition for the vector spaces to be finite dimensional in…

Word embeddings are rich word representations, which in combination with deep neural networks, lead to large performance gains for many NLP tasks. However, word embeddings are represented by dense, real-valued vectors and they are therefore…

The main aim of this paper is to generalize the concept of vector space by the hyperstructure. We generalize some definitions such as hypersubspaces, linear combination, Hamel basis, linearly dependence and linearly independence. A few…

A vector composition of a vector $\mathbf{\ell}$ is a matrix $\mathbf{A}$ whose rows sum to $\mathbf{\ell}$. We define a weighted vector composition as a vector composition in which the column values of $\mathbf{A}$ may appear in different…

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…

Let $O$ be the ring of power series in one variable over a finite field, with $K$ its fraction field. We introduce the notion of a "formal $K$-vector space"; this is a certain kind of $K$-vector space object in the category of formal…

We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple…

Near-vector spaces extend linear algebra tools to non-linear algebraic structures, enabling the study of non-linear problems. However, explicit constructions remain rare. This paper introduces a broad computable family of near-vector…

In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the…

In this paper we have found a necessary and sufficient condition for equivalence of two norms on a linear space using the theory of exponential vector space. Exponential vector space is an ordered algebraic structure which can be considered…

Let $V$ be a real or complex vector space. The finite topology of $V$ consists of all the subsets $U$ for which the intersection $U \cap F$ is closed in $F$ for every finite-dimensional linear subspace of $V$. It is known that if $V$ has…

In this paper, we define vector bundles within the framework of almost mathematics (referred to as almost vector bundles) and establish the $v$-descent theorem together with a structure theorem for these bundles over perfectoid spaces. The…

We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles…

This paper studies ways to represent an ordered topological vector space as a space of continuous functions, extending the classical representation theorems of Kadison and Schaefer. Particular emphasis is put on the class of semisimple…

Vector fields in the expanding Universe are considered within the multidimensional theory of General Relativity. Vector fields in general relativity form a three-parametric variety. Our consideration includes the fields with a nonzero…

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…

We study completions of Archimedean vector lattices relative to any nonempty set of positively-homogeneous functions on finite-dimensional real vector spaces. Examples of such completions include square mean closed and geometric closed…