An Isometric Representation of the Dual of {\user1{\mathcal{C}}}{\left( {X,\mathbb{R}} \right)}

Many structures in functional analysis are introduced as the limit of an inverse (aka projective) system of seminormed spaces [2, 3, 8]. In these situations, the dual is moreover equipped with a seminorm. Although the topology of the inverse limit is seldom metrizable, there is always a natural overlying locally convex approach structure. We provide a method for computing the adjoint of this space, by showing that the dual of a limit of locally convex approach spaces becomes a co-limit in the category of seminormed spaces. As an application we obtain an isometric representation of the dual space of real valued continuous functions on a locally compact Hausdorff space X, equipped with the compact open structure.     

Every Banach Space is Reflexive

The title above is wrong, because the strong dual of a Banach space is too strong to assert that the natural correspondence between a space and its bidual is an isomorphism. However, for many applications it suffices to replace the norm on the first dual by the weak*-structure in order to solve the non-reflexiveness problem [1]. But in this way, only the original vector space is recovered by taking the second dual. In this work we introduce a suitable numerical structure on vector spaces such that Banach balls, or more precisely totally convex modules, arise naturally in duality, namely as a category of Eilenberg–Moore algebras. This numerical structure naturally overlies the weak*-topology on the algebraic dual, so the entire Banach space can be reconstructed as a second dual. Moreover, the isomorphism between the original space and its bidual is the unit of an adjunction between the two-dualisation functors. Notice that the weak*-topology is normable only if it lives on a finite dimensional space; in that case the original space is trivial as well, hence reflexive. So the overlying numerical structure should be something more general than a norm or a seminorm and thus approach theory [2, 3] enters the picture.     

Very Convex Banach Spaces

ＶｅｒｙＣｏｎｖｅｘＢａｎａｃｈＳｐａｃｅｓＴｅｇｕｓｉ（特古斯）Ｓｕｙａｌａｔｕ（苏雅拉图）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＩｎｎｅｒＭｏｎｇｏｌｉａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｈｕｈｈｏｔ，０１００２２）ＬｉＹｏｎｇｊｉｎ...     

ON THE PRODUCT OF GATEAUX DIFFERENTIABILITY LOCALLY CONVEX SPACES

A locally convex space is said to be a Gâteaux differentiability space (GDS) provided every continuous convex function defined on a nonempty convex open subset D of the space is densely Gâteaux differentiable in D. This paper shows that the product of a GDS and a family of separable Fréchet spaces is a GDS, and that the product of a GDS and an arbitrary locally convex space endowed with the weak topology is a GDS.     

On the necessity of the Moreau-Rockafellar-Robinson qualification condition in Banach spaces

As well known, the Moreau-Rockafellar-Robinson internal point qualification condition is sufficient to ensure that the infimal convolution of the conjugates of two extended-real-valued convex lower semi-continuous functions defined on a locally convex space is exact, and that the subdifferential of the sum of these functions is the sum of their subdifferentials. This note is devoted to proving that this condition is, in a certain sense, also necessary, provided the underlying space is a Banach space. Our result is based upon the existence of a non-supporting weak*-closed hyperplane to any weak*-closed and convex unbounded linearly bounded subset of the topological dual of a Banach space.     

Quantified functional analysis and seminormed spaces: A dual adjunction

In this work we investigate the natural algebraic structure that arises on dual spaces in the context of quantified functional analysis. We show that the category of absolutely convex modules is obtained as the category of Eilenberg-Moore algebras induced by the dualization functor [−,R] on locally convex approach spaces. We also establish a dual adjunction between the latter category and the category of seminormed spaces.     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

DENTABILITY IN LOCALLY CONVEX SPACES

Abstract

Let A be a non-empty bounded subset of a locally convex space E. We show that if all the separable subsets of A are weakly metrisable, then the weak*-compact subsets of E¹ satisfy geometrical conditions which are similar to the concept of “dentability” used to characterise the Radon-Nikodý Property in dual Banach spaces.     

Invariance of the order and type of a sequence of operators

In the paper, the invariance property of characteristics (the order and type) of an operator and of a sequence of operators with respect to a topological isomorphism is proved. These characteristics give precise upper and lower bounds for the expressions ‖A_n(x)‖_p and enable one to state and solve problems of operator theory in locally convex spaces in a general setting. Examples of such problems are given by the completeness problem for the set of values of a vector function in a locally convex space, the structure problem for a subspace invariant with respect to an operator A, the problem of applicability of an operator series to a locally convex space, the theory of holomorphic operator-valued functions, the theory of operator and differential-operator equations in nonnormed spaces, and so on. However, the immediate evaluation of characteristics of operators (and of sequences of operators) directly by definition is practically unrealizable in spaces with more complicated structure than that of countably normed spaces, due to the absence of an explicit form of seminorms or to their complicated structure. The approach that we use enables us to find characteristics of operators and sequences of operators using the passage to the dual space, by-passing the definition, and makes it possible to obtain bounds for the expressions ‖A_n(x)‖_p even if an explicit form of seminorms is unknown.     

Stable strong Fenchel and Lagrange duality for evenly convex optimization problems

By means of a conjugation scheme based on generalized convex conjugation theory instead of Fenchel conjugation, we build an alternative dual problem, using the perturbational approach, for a general optimization one defined on a separated locally convex topological space. Conditions guaranteeing strong duality for primal problems which are perturbed by continuous linear functionals and their respective dual problems, which is named stable strong duality, are established. In these conditions, the fact that the perturbation function is evenly convex will play a fundamental role. Stable strong duality will also be studied in particular for Fenchel and Lagrange primal–dual problems, obtaining a characterization for Fenchel case.     

A property of Dunford-Pettis type in topological groups

The property of Dunford-Pettis for a locally convex space was introduced by Grothendieck in 1953. Since then it has been intensively studied, with especial emphasis in the framework of Banach space theory.

In this paper we define the Bohr sequential continuity property (BSCP) for a topological Abelian group. This notion could be the analogue to the Dunford-Pettis property in the context of groups. We have picked this name because the Bohr topology of the group and of the dual group plays an important role in the definition. We relate the BSCP with the Schur property, which also admits a natural formulation for Abelian topological groups, and we prove that they are equivalent within the class of separable metrizable locally quasi-convex groups.

For Banach spaces (or for metrizable locally convex spaces), considered in their additive structure, we show that the BSCP lies between the Schur and the Dunford-Pettis properties.

     

k-super-strongly convex and k-super-strongly smooth Banach spaces

In this paper, we introduce two types of new Banach spaces: k-super-strongly convex spaces and k-super-strongly smooth spaces. It is proved that these two notions are dual. We also prove that the class of k-super-strongly convexifiable spaces is strictly between locally k-uniformly rotund spaces and k-strongly convex spaces, and obtain some necessary and sufficient conditions of k-super-strongly convex space (respectively k-super-strongly smooth space). Also, for each k?2, it is shown that there exists a k-super-strongly convex (respectively k-super-strongly smooth) space which is not (k−1)-super-strongly convex (respectively (k−1)-super-strongly smooth) space.     

Locally uniformly convex norms in Banach spaces and their duals

It is shown that a Banach space with locally uniformly convex dual admits an equivalent norm that is itself locally uniformly convex.     

Existence and Boundedness of Solutions in Infinite-Dimensional Vector Optimization Problems

This work focuses on the nonemptiness and boundedness of the sets of efficient and weak efficient solutions of a vector optimization problem, where the decision space is a normed space and the image space is a locally convex Hausdorff topological linear space. By studying certain boundedness and coercivity concepts of vector-valued functions and via an asymptotic analysis, we extend to this kind of problems some well-known existence and boundedness results for efficient and weak efficient solutions of multiobjective optimization problems with Pareto or polyhedral orderings. Some of these results are proved under weaker assumptions.     

On consistency of stationary points of stochastic optimization problems in a Banach space

Recently, Balaji and Xu studied the consistency of stationary points, in the sense of the Clarke generalized gradient, for the sample average approximations to a one-stage stochastic optimization problem in a separable Banach space with separable dual. We present an alternative approach, showing that the restrictive assumptions that the dual space is separable and the Clarke generalized gradient is a (norm) upper semicontinuous and compact-valued multifunction can be dropped. For that purpose, we use two results having independent interest: a strong law of large numbers and a multivalued Komlós theorem in the dual to a separable Banach space, and a result on the weak* closedness of the expectation of a random weak* compact convex set.     

ON THE PRODUCT OF GTEAUX DIFFERENTIABILITY LOCALLY CONVEX SPACES

A locally convex space is said to be a Gateaux differentiability space (GDS) provided every continuous convex function defined on a nonempty convex open subset D of the space is densely Gateaux differentiable in .D.This paper shows that the product of a GDS and a family of separable Prechet spaces is a GDS,and that the product of a GDS and an arbitrary locally convex space endowed with the weak topology is a GDS.     

ON THE PRODUCT OF GATEAUX DIFFERENTIABILITY LOCALLY CONVEX SPACES

A locally convex space is said to be a Gateaux differentiability space (GDS)provided every continuous convex function defined on a nonempty convex open subset D of the space is densely Gateaux differentiable in D.This paper shows that the product of a GDS and a family of separable Frechet spaces is a GDS,and that the product of a GDS and an arbitrary locally convex space endowed with the weak topology is a GDS.     

Some topologies on a Šerstnev probabilistic normed space

In this paper we will introduce two other topologies, coarser than the so-called strong topology, on a class of Šerstnev probabilistic normed spaces, and obtain some important properties of these topologies. We will show that under the first topology, denoted by τ₀, our probabilistic normed space is decomposable into the topological direct sum of a normable subspace and the subspace of probably null elements. Under the second topology, which is in fact the inductive limit topology of a family of locally convex topologies, the dual space becomes a locally convex topological vector space.     

On Two-sided Locally Convex H*-algebras

We introduce (left, right, two-sided) locally convex H*-algebras, and we give conditions under which an one-sided locally convex H*-algebra turns to be a two-sided one (actually, a locally convex H*-algebra). We also give an example of a proper right locally convex H*-algebra with a (right) involution, which is not a left involution and an example of a proper two-sided locally convex H*-algebra, which is not a locally convex H*-algebra. Moreover, we connect (via an Arens-Michael decomposition) a two-sided locally m-convex H*-algebra with the classical (Banach) two-sided H*-algebras. Further, we present conditions so that the left, right involutions be continuous, and we see when a twosided locally convex H*-algebra is a dual one. Finally, we present some properties of invariant ideals which play an important rôle in structure theory of two-sided locally convex H*-algebras.     

Convex-compact sets and Banach discs

Every relatively convex-compact convex subset of a locally convex space is contained in a Banach disc. Moreover, an upper bound for the class of sets which are contained in a Banach disc is presented. If the topological dual E′ of a locally convex space E is the σ(E′,E)-closure of the union of countably many σ(E′,E)-relatively countably compacts sets, then every weakly (relatively) convex-compact set is weakly (relatively) compact.