VECTOR SPACES WITH STRICTLY *-EQUABLE CONVERGENCE STRUCTURES

Consider a dominance relation (a preorder) ≿ on a topological space X, such as the greater than or equal to relation on a function space or a stochastic dominance relation on a space of probability measures. Given a compact set K ⊆ X, we study when a continuous real function on K that is strictly monotonic with respect to ≿ can be extended to X without violating the continuity and monotonicity conditions. We show that such extensions exist for translation invariant dominance relations on a large class of topological vector spaces. Translation invariance or a vector structure are no longer needed when X is locally compact and second countable. In decision theoretic exercises, our extension theorems help construct monotonic utility functions on the universal space X starting from compact subsets. To illustrate, we prove several representation theorems for revealed or exogenously given preferences that are monotonic with respect to a dominance relation.

This chapter pursues three lines of investigation in the subject of functional analysis—one involving smooth functions and distributions, one involving fixed-point theorems, and one involving spectral theory.Section 1 introduces topological vector spaces. These are real or complex vector spaces with a Hausdorff topology in which addition and scalar multiplication are continuous. Examples include normed linear spaces, spaces given by a separating family of countably many seminorms, and weak and weak-star topologies in the context of Banach spaces. Various general properties of topological vector spaces are proved, and it is proved that the quotient of a topological vector space by a closed vector subspace is Hausdorff and is therefore a topological vector space.Section 2 introduces a topology on the space C∞(U) of smooth functions on an open subset of ℝN. The support of a continuous linear functional on C∞(U) is defined and shown to be a compact subset of U. Accordingly, the continuous linear functionals are called distributions of compact support.Section 3 studies weak and weak-star topologies in more detail. The main result is Alaoglu’s Theorem, which says that the closed unit ball in the weak-star topology on the dual of a normed linear space is compact. In an earlier chapter a preliminary form of this theorem was used to construct elements in a dual space as limits of weak-star convergent subsequences.Section 4 follows Alaoglu’s Theorem along a particular path, giving what amounts to a first example of the Gelfand theory of Banach algebras. The relevant theorem, known as the Stone Representation Theorem, says that conjugate-closed uniformly closed subalgebras containing the constants in B(S) are isomorphic via a norm-preserving algebra isomorphism to the space of all continuous functions on some compact Hausdorff space. The compact space in question is the space of multiplicative linear functionals on the subalgebra, and the proof of compactness uses Alaoglu’s Theorem.Sections 5–6 return to the lines of study toward distributions and fixed-point theorems. Section 5 studies the relationship between convexity and the existence of separating linear functionals. The main theorem makes use of the Hahn-Banach Theorem. Section 6 introduces locally convex topological vector spaces. Application of the basic separation theorem from the previous section shows the existence of many continuous linear functionals on such a space.Section 7 specializes to the line of study via smooth functions and distributions. The topic is the introduction of a certain locally convex topology on the space C ∞com (U) of smooth functions of compact support on U. This is best characterized by a universal mapping property introduced in the section.Sections 8–9 pursue locally convex spaces along the other line of study that split off in Section 5. Section 8 gives the Krein-Milman Theorem, which asserts the existence of a supply of extreme points for any nonempty compact convex set in a locally convex topological vector space. Section 9 relates compact convex sets to the subject of fixed-point theorems.Section 10 takes up the abstract theory of Banach algebras, with particular attention to commutative C* algebras with identity. Three examples are the algebras characterized by the Stone Representation Theorem, any L∞ space, and any adjoint-closed commutative Banach algebra consisting of bounded linear operators on a Hilbert space and containing the identity.Section 11 continues the investigation of the last of the examples in the previous section and derives the Spectral Theorem for bounded self-adjoint operators and certain related families of operators. Powerful applications follow from a functional calculus implied by the Spectral Theorem. The section concludes with remarks about the Spectral Theorem for unbounded self-adjoint operators.KeywordsBanach AlgebraTopological Vector SpaceNormed Linear SpaceInternal PointCompact Hausdorff SpaceThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Let (X, =) be a topological space. A subset A of X is called pre-open if A ⊆ Int(Cl(A)). Let P O(X) denote the family of all pre-open sets in X. In general, P O(X) does not form a topology on X. Furthermore, in topological vector spaces, it is not always true that P O(L) forms a topology on L where L is a topological vector space. In this note, we prove that the class of strongly preirresolute topological vector spaces is that subclass of topological vector spaces in which P O(L) forms a topology and thereby we see that all proved results in [5] concerning strongly preirresolute topological vector spaces are obvious.

The spaces of test functions we are going to use are vector spaces of smooth (i.e., sufficiently often continuously differentiable) functions on open nonempty subsets Ω ⊆ ℝ n equipped with a ‘natural’ topology. Accordingly we start with a general method to equip a vector space V with a topology such that the vector space operations of addition and scalar multiplication become continuous, i.e., such that $$ \begin{array}{*{20}c} {_{M\,:\,\,\mathbb{K}\, \times \,V\, \to \,V,}^{A\,:\,\,V\, \times \,V\, \to \,V,} } & {_{M(\lambda ,\,x)\, = \,\lambda x,\,}^{A(x,\,y)\, = \,x\, + \,y,} } & {_{\lambda \, \in \,\mathbb{K},\,\,\,x\, \in \,V}^{x,\,y\, \in \,V} } \end{array} $$ become continuous functions for this topology. This can be done in several different but equivalent ways. The way we describe has the advantage of being the most natural one for the spaces of test functions we want to construct. A vector space V which is equipped with a topology T such that the functions A} and M are continuous is called a topological vector space, usually abbreviated as TVS. The test function spaces used in distribution theory are concrete examples of topological vector spaces where, however, the topology has the additional property that every point has a neighborhood basis consisting of (absolutely) convex sets. These are called locally convex topological vector spaces, abbreviated as LCVTVS.

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans \({\mathcal{B}}\) and a conditional operator, which can be interpreted in this model. We prove completeness at type \({\mathcal{B}}^n\to{\mathcal{B}}\) for every n by an algebraic method.KeywordsTopological Vector SpaceLinear LogicProduct TopologyContinuous Linear FunctionCompact Open TopologyThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This chapter presents the most basic results on topological vector spaces. With the exception of the last section, the scalar field over which vector spaces are defined can be an arbitrary, non-discrete valuated field K; K is endowed with the uniformity derived from its absolute value. The purpose of this generality is to clearly identify those properties of the commonly used real and complex number field that are essential for these basic results. Section 1 discusses the description of vector space topologies in terms of neighborhood bases of 0, and the uniformity associated with such a topology. Section 2 gives some means for constructing new topological vector spaces from given ones. The standard tools used in working with spaces of finite dimension are collected in Section 3, which is followed by a brief discussion of affine subspaces and hyperplanes (Section 4). Section 5 studies the extremely important notion of boundedness. Metrizability is treated in Section 6. This notion, although not overly important for the general theory, deserves special attention for several reasons; among them are its connection with category, its role in applications in analysis, and its role in the history of the subject (cf. Banach [1]). Restricting K to subfields of the complex numbers, Section 7 discusses the transition from real to complex fields and vice versa.

We prove that a mapping from the product of two complete metrizable vector spaces into a topological vector space which is separately universally measurable and separately convex with respect to a convex cone is continuous.0. Introduction.If X is a complete separable vector space and if / is a midpoint convex mapping from X into the real line R which is Christensen measurable, then F. Fischer and Z. Slodkowski have proved in [4] that / is continuous by showing that {(x, r) G X X R: f(x) < r} is open in X X R. Results of this kind about continuity of universally measurable morphisms were obtained before by A. Douady and L. Schwartz (see [7]) for linear operators between locally convex spaces, and by J. P. R. Christensen in [3] for homomorphisms between topological complete metrizable groups.In this paper we are concerned with the study of convex operators taking values in a vector space.Vector analogues of the preceding results are proved.In fact, we estabhsh that a separately universally measurable mapping /: X X Y - F, where X and Y are two complete metrizable vector spaces and F is any topological vector space, is continuous whenever it is separately midpoint convex with respect to a convex cone.Let us also note that many other interesting results about continuity of convex operators are given by J. M. Borwein in [1].

Helly and Klee type intersection theorems for finitary connected paved spaces

In I(L)-topological vector spaces (I(L)-tvs) that are L-topologically generated (L-tg), we investigate the generalized local boundedness in this article. We prove that an L-tg I(L)-tvs is generalized locally bounded iff the underlying L-topological vector space(L-tvs) is. We further verify that an L-tg I(L)-tvs is generalized L-fuzzy normable iff the underlying L-tvs is.

A note on multiplier convergent series

In this paper, we introduce the notion of almost \(s-\)topological vector spaces and present some examples and counterexamples of almost \(s-\)topological vector spaces. Some general properties of almost \(s-\)topological vector spaces are investigated.

In this paper, we have introduced a new generalized form of topological vector spaces, namely, almost β-topological vector spaces by using the concept of β-open sets. We have also presented some examples and counterexamples of almost β-topological vector spaces and determined its relationship with topological vector spaces. Some properties of β-topological vector spaces are also characterized.

Application of neustadt's theory of extremals to an optimal control problem with a functional differential equation and a functional inequality constraint

LetX be a real vector space,D a convex subset ofX and (Y, K) an order complete ordered vector space. The following sandwich theorem holds: Iff: D → Y is midconvex,g: D → Y ∪ {− ∞} is midconcave andg ⩽ f onD, then there exists a Jensen mappingh: D → Y ∪ {− ∞} such thatg ⩽ h ⩽ f onD. Using this theorem we show that a mappingf: D → Y is midconvex if and only if it has Jensen support at every point ofD. Moreover, ifX is a Baire topological vector space and (Y, K) is an ordered topological vector space satisfying some additional conditions, then a mappingf: D → Y is continuous whenever it has continuous Jensen support at every point ofD. As an application of these results we obtain the equality of some set-classes connected with additive and midconvex operators.

We show that it is impossible to prove the existence of a linear (bounded or unbounded) functional on any L_\infty/C_0 without an uncountable form of the axiom of choice. Moreover, we show that if on each Banach space there exists at least one non-trivial bounded linear functional, then the Hahn-Banach extension theorem must hold. We also discuss relations of non-measurable sets and the Hahn-Banach extension theorem.