scholarly journals Best approximation theorems for composites of upper semicontinuous maps

1995 ◽  
Vol 51 (2) ◽  
pp. 263-272 ◽  
Author(s):  
Sehie Park

Let (E, τ) be a Hausdorff topological vector space and (X, ω) a weakly compact convex subset of E with the relative weak topology ω. Recently, there have appeared best approximation and fixed point theorems for convex-valued upper semicontinuous maps F: (X, ω) → 2(E, τ) whenever (E, τ) is locally convex. In this paper, these results are extended to a very broad class of multifunctions containing composites of acyclic maps in a topological vector space having sufficiently many linear functionals. Moreover, we also obtain best approximation theorems for classes of multifunctions defined on approximatively compact convex subsets of locally convex Hausdorff topological vector spaces or closed convex subsets of Banach spaces with the Oshman property.

Author(s):  
Kok-Keong Tan

AbstractLet E be a Hausdorff topological vector space, let K be a nonempty compact convex subset of E and let f, g: K → 2E be upper semicontinuous such that for each x ∈ K, f(x) and g(x) are nonempty compact convex. Let Ω ⊂ 2E be convex and contain all sets of the form x − f(x), y − x + g(x) − f(x), for x, y ∈ K. Suppose p: K × Ω →, R satisfies: (i) for each (x, A) ∈ K × Ω and for ε > 0, there exist a neighborhood U of x in K and an open subset set G in E with A ⊂ G such that for all (y, B) ∈ K ×Ω with y ∈ U and B ⊂ G, | p(y, B) - p(x, A)| < ε, and (ii) for each fixed X ∈ K, p(x, ·) is a convex function on Ω. If p(x, x − f(x)) ≤ p(x, g(x) − f(x)) for all x ∈ K, and if, for each x ∈ K with f(x) ∩ g(x) = ø, there exists y ∈ K with p(x, y − x + g(x) − f(x)) < p(x, x − f(x)), then there exists an x0 ∈ K such that f(x0) ∩ g(x0) ≠ ø. Another coincidence theorem on a nonempty compact convex subset of a Hausdorff locally convex topological vector space is also given.


2016 ◽  
Vol 19 (4) ◽  
pp. 160-168
Author(s):  
Dinh Nguyen ◽  
Mo Hong Tran

In this paper we establish characterizations of the containment of the set {xX: xC,g(x)K}{xX: f (x)0}, where C is a closed convex subset of a locally convex Hausdorff topological vector space, X, K is a closed convex cone in another locally convex Hausdorff topological vector space and g:X Y is a K- convex mapping, in a reverse convex set, define by the proper, lower semicontinuous, convex function. Here, no constraint qualification condition or qualification condition are assumed. The characterizations are often called asymptotic Farkas-type results. The second part of the paper was devoted to variant Asymptotic Farkas-type results where the mapping is a convex mapping with respect to an extended sublinear function. It is also shown that under some closedness conditions, these asymptotic Farkas lemmas go back to non-asymptotic Farkas lemmas or stable Farkas lemmas established recently in the literature. The results can be used to study the optimization


1997 ◽  
Vol 20 (4) ◽  
pp. 689-698 ◽  
Author(s):  
Sehie Park

LetXbe a Hausdorff compact space,Ea topological vector space on whichE*separates points,F:X→2Ean upper semicontinuous multifunction with compact acyclic values, andg:X→Ea continuous function such thatg(X)is convex andg−1(y)is acyclic for eachy∈g(X). Then either (1) there exists anx0∈Xsuch thatgx0∈Fx0or (2) there exist an(x0,z0)on the graph ofFand a continuous seminormponEsuch that0<p(gx0−z0)≤p(y−z0)         for all         y∈g(X). A generalization of this result and its application to coincidence theorems are obtained. Our aim in this paper is to unify and improve almost fifty known theorems of others.


2013 ◽  
Vol 56 (1) ◽  
pp. 87-92
Author(s):  
ROBERTO FRIGERIO

AbstractMeasure homology was introduced by Thurston (W. P. Thurston, The geometry and topology of 3-manifolds, mimeographed notes (Princeton University Press, Princeton, NJ, 1979)) in order to compute the simplicial volume of hyperbolic manifolds. Berlanga (R. Berlanga, A topologised measure homology, Glasg. Math. J. 50 (2008), 359–369) endowed measure homology with the structure of a graded, locally convex (possibly non-Hausdorff) topological vector space. In this paper we completely characterize Berlanga's topology on measure homology of CW-complexes, showing in particular that it is Hausdorff. This answers a question posed by Berlanga.


1988 ◽  
Vol 40 (3) ◽  
pp. 666-694 ◽  
Author(s):  
Doug Ward

Nonsmooth analysis has provided important new mathematical tools for the study of problems in optimization and other areas of analysis [1, 2, 6-12, 28]. The basic building blocks of this subject are local approximations to sets called tangent cones.Definition 1.1. Let E be a real, locally convex, Hausdorff topological vector space (abbreviated l.c.s.). A tangent cone (on E) is a mapping A:2E × E → 2E such that A(C, x) is a (possibly empty) cone for all nonempty C in 2E and x in E.In the sequel, we will say that a tangent cone has a certain property (e.g. “A is closed” or “A is convex“) if A(C, x) has that property for all non-empty sets C and all x in C. (If A(C, x) is empty, it will be counted as having the property trivially.)


1981 ◽  
Vol 24 (2) ◽  
pp. 123-130 ◽  
Author(s):  
Liaqat Ali Khan ◽  
K. Rowlands

Let X be a topological space, E a real or complex topological vector space, and C(X, E) the vector space of all bounded continuous E-valued functions on X; when E is the real or complex field this space will be denoted by C(X). The notion of the strict topology on C(X, E) was first introduced by Buck (1) in 1958 in the case of X locally compact and E a locally convex space. In recent years a large number of papers have appeared in the literature concerned with extending the results contained in Buck's paper. In particular, a number of these have considered the problem of characterising the strictly continuous linear functional on C(X, E); see, for example, (2), (3), (4) and (8). In this paper we suppose that X is a completely regular Hausdorff space and that E is a Hausdorff topological vector space with a non-trivial dual E′. The main result established is Theorem 3.2, where we prove a representation theorem for the strictly continuous linear functionals on the subspace Ctb(X, E) which consists of those functions f in C(X, E) such that f(X) is totally bounded.


1992 ◽  
Vol 44 (4) ◽  
pp. 784-796 ◽  
Author(s):  
Xie Ping Ding ◽  
Kok-Keong Tan

AbstractLet (E, T) be a Hausdorff topological vector space whose topological dual separates points of E, X be a non-empty weakly compact convex subset of E and W be the relative weak topology on X. If F: (X, W) → 2(E,T) is continuous (respectively, upper semi-continuous if £ is locally convex), approximation and fixed point theorems are obtained which generalize the corresponding results of Fan, Park, Reich and Sehgal-Singh-Smithson (respectively, Ha, Reich, Park, Browder and Fan) in several aspects.


1982 ◽  
Vol 23 (2) ◽  
pp. 163-170 ◽  
Author(s):  
Demetrios Koros

Altman [1] showed that Riesz-Schauder theory remains valid for a completely continuous linear operator on a locally convex Hausdorflf topological vector space over the complex field. In a later paper [2], he proved an analogue of the Aronszajn-Smith result; specifically, he showed that such an operator possesses a proper closed invariant subspace. The purpose of this paper is to show that Ringrose's theory of superdiagonal forms for compact linear operators [3] can be generalized to the case of a completely continuous linear operator on a locally convex Hausdorff topological vector space over the complex field. However, the proof given in [3] requires considerable modification.


1974 ◽  
Vol 15 (2) ◽  
pp. 166-171 ◽  
Author(s):  
J. H. Webb

Let E[τ] be a locally convex Hausdorff topological vector space. An extended decomposition of E[τ] is a family {Ea}α∈A of closed subspaces of E such that, for each x in E and each α in A, there exists a unique point xα in Eα, with Here convergence will have the following meaning. Let Ф denote the set of all finite subsets of A. The sum is said to be convergent to x if for each neighbourhood U of 0 in E, there is an element φ0 of Ф such that , for all φ in Ф containing φ0. It follows that is Cauchy if and only if, for each neighbourhood U of 0 in E, there is an element φ0 of Ф such that , for all φ in Ф disjoint from φ0.


Sign in / Sign up

Export Citation Format

Share Document