Related papers: Vector spaces with an order unit
In this manuscript, we will study both $\tilde{o}$-convergence in (partially) ordered vector spaces and a kind of convergence in a vector space $V$. A vector space $V$ is called semi-order vector space (in short semi-order space), if there…
We introduce a construction that associates, to each finite dimensional k-vector space V, a family of projective k-varieties that comes equipped with the structure of a operad in the category of k-schemes. When dim V = 1, this operad…
In this paper, we establish some fixed point theorems in ordered partial metric spaces. An example is given to illustrate our obtained results.
We exhibit a functor from the category OUS of order unit spaces and positive, unit-preserving mappings into the category $\Prob$ of probabilistic models (test spaces with designated state spaces) and morphisms thereof. Restricted to any…
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…
The aim of this article is to describe a class of *-algebras that allows to treat well-behaved algebras of unbounded operators independently of a representation. To this end, Archimedean ordered *-algebras (*-algebras whose real linear…
Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…
Let $X$ be an ordered vector space. The net $\{x_\alpha\}\subseteq X$ is semi unbounded order convergent to $x$ (in symbol $x_\alpha\xrightarrow{suo}x$), if there is a net $\{y_\beta\}$, possibly over a different index set, such that…
We consider positive semidefinite kernels valued in the $*$-algebra of adjointable operators on a VE-space (Vector Euclidean space) and that are invariant under actions of $*$-semigroups. A rather general dilation theorem is stated and…
Consider an Archimedean partially ordered vector space $X$ with generating cone (or, more generally, a pre-Riesz space $X$). Let $P$ be a linear projection on $X$ such that both $P$ and its complementary projection $I - P$ are positive; we…
We introduce a matricial analogue of an Archimedean order unit space, which we call a $k$-AOU space. We develop the category of $k$-AOU spaces and $k$-positive maps and exhibit functors from this category to the category of operator systems…
The purpose of the paper is to introduce and study a new class of operators on semi-Hilbertian spaces i.e.; spaces generated by positive semidefinite sesquilinear forms. Let H be a Hilbert space and let A be a positive bounded operator on H…
We introduce the notion of $\mathit{skeleton}$ with a head in a non-zero real vector space. We prove that skeletons with heads describe order unit spaces geometrically. Next, we consider the notion of $\mathit{periphery}$ corresponding to…
It is proved that, for a pre-ordered vector space $X$, the quotient space $(X/A,[W])$ is an Archimedeanization of $X$, where $W$ is the closure of the positive wedge $X_+$ in ru-topology, $A=W\cap(-W)$, and $[W]$ is the quotient set of $W$…
We introduce and study the notion of orthosymmetric spaces over an Archimedean vector lattice as a generalization of finite-dimentional Euclidean inner spaces. A special attention has been paid to linear operators on these spaces.
We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…
We study the concept of cone metric space in the context of ordered vector spaces by setting up a general and natural framework for it.
Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…