Characterization of semicontinuity of solutions to abstract optimization problems

Abstract

We develop a theory of best simultaneous approximations for closed downward sets in a conditionally complete lattice Banach space X with a strong unit. We study best simultaneous approximation in X by elements of downward and normal sets, and give necessary and sufficient conditions for any element of best simultaneous approximation by a closed subset of X. We prove that a downward subset of X is strictly downward if and only if each its boundary point is simultaneous Chebyshev.     

The geometric structure of Chebyshev sets in ℓ<Superscript>∞</Superscript>(<Emphasis Type="Italic">n</Emphasis>)

A subset M of a normed linear space X is called a Chebyshev set if each x X has a unique nearest point in M. We characterize Chebyshev sets in (n) in geometric terms and study the approximative properties of sections of Chebyshev sets, suns, and strict suns in (n) by coordinate subspaces.__________Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 39, No. 1, pp. 1–10, 2005Original Russian Text Copyright © by A. R. AlimovSupported by RFBR grant No.02-01-00248.Translated by A. R. Alimov     

赋β-范空间中的最佳逼近问题

This paper deals with the problems of best approximation in β-normed spaces.With the tool of conjugate cone introduced in [1] and via the Hahn-Banach extension theorem of β-subseminorm in [2],the characteristics that an element in a closed subspace is the best approximation are given in Section 2.It is obtained in Section 3 that all convex sets or subspaces of a β-normed space are semi-Chebyshev if and only if the space is itself strictly convex.The fact that every finite dimensional subspace of a strictly convex β-normed space must be Chebyshev is proved at last.     

Geometry and Topology of Continuous Best and Near Best Approximations

The existence of a continuous best approximation or of near best approximations of a strictly convex space by a subset is shown to imply uniqueness of the best approximation under various assumptions on the approximating subset. For more general spaces, when continuous best or near best approximations exist, the set of best approximants to any given element is shown to satisfy connectivity and radius constraints.     

赋$\beta$-范空间中的最佳逼近问题

本文讨论赋$\beta$-范空间中的最佳逼近问题.以[1]引进的共轭锥为工具,借助[2]中关于$\beta$-次半范的Hahn-Banach延拓定理,第二节给出赋$\beta$-范空间的闭子空间中最佳逼近元的特征,第三节得到赋$\beta$-范空间中任何凸子集或子空间均为半Chebyshev集的充要条件是空间本身严格凸,文章最后证明了严格凸的赋$\beta$-范空间中任何有限维子空间都是Chebyshev集.     

Simultaneous metric projection onto closed sets

We examine simultaneous metric projection by closed sets in a class of ordered normed spaces. First, we study simultaneous metric projection onto downward and upward sets and separation properties of these sets. The results obtained are used for examination of simultaneous metric projection by arbitrary closed sets, and we examine the minimization of the distance from a bounded set to an arbitrary closed set in a class of ordered normed spaces.     

On Copositive Approximation in Spaces of Continuous Functions Ⅱ:The Uniqueness of Best Copositive Approximation

This paper is part Ⅱ of "On Copositive Approximation in Spaces of Continuous Functions". In this paper, the author shows that if Q is any compact subset of real numbers, and M is any finite dimensional strict Chebyshev subspace of C(Q), then for any admissible function f ∈C(Q)\M, the best copositive approximation to f from M is unique.     

近严格凸与最佳逼近

本文研究近严格凸与最佳逼近的关系．证明了Ｂａｎａｃｈ空间Ｘ是近严格凸的当且仅当Ｘ的每个子空间是紧－半－切比晓夫空间．     

On well posedness of best simultaneous approximation problems in Banach spaces

The well posedness of best simultaneous approximation problems is considered. We establish the generic results on the well posedness of the best simultaneous approximation problems for any closed weakly compact nonempty subset in a strictly convex Kadec Banach space. Further, we prove that the set of all points inE(G) such that the best simultaneous approximation problems are not well posed is a u- porous set inE(G) whenX is a uniformly convex Banach space. In addition, we also investigate the generic property of the ambiguous loci of the best simultaneous approximation.     

On best simultaneous approximation in quotient spaces

We assume that X is a normed linear space, W and M are subspaces of X. We develop a theory of best simultaneous approximation in quotient spaces and introduce equivalent assertions between the subspaces W and W ＋ M and the quotient space W/M.     

Banach 空间中非线性最佳逼近的广义强唯一性

设X是一致凸空间,G为X中太阳集,R．Smarzewski[1]证明了g∈G对x∈的最佳逼近具有广义强唯一性,本文讨论其逆,在最佳逼近是广义强唯一的条件下,研究了空间的凸性和逼近集的太阳性．     

The similarity between the best approximation and the best copositive approximation

In this paper the author studies the copositive approximation in C(?) by elements of finite dimensional Chebyshev subspaces in the general case when ? is any totally ordered compact space. He studies the similarity between me behavior of the ordinary best approximation and the behavior pf the copositive best approximation. At the end of this paper, the author isolates many cases at which the two behaviors are the same.     

On Copositive Approximation in Spaces of Continuous Functions I:The Alternation Property of Copositive Approximation

In this paper the author writes a simple characterization for the best copositive approximation to elements of C(Q) by elements of finite dimensional strict Chebyshev subspaces of C(Q) in the case when Q is any compact subset of real numbers. At the end of the paper the author applies this result for different classes of Q.     

Closed convex sets and their best simultaneous approximation properties with applications

We develop a theory of best simultaneous approximation for closed convex sets in a conditionally complete lattice Banach space X with a strong unit. We study best simultaneous approximation in X by elements of closed convex sets, and give necessary and sufficient conditions for the uniqueness of best simultaneous approximation. We give a characterization of simultaneous pseudo-Chebyshev and quasi-Chebyshev closed convex sets in X. Also, we present various characterizations of best simultaneous approximation of elements by closed convex sets in terms of the extremal points of the closed unit ball B _X* of X*.     

TWO POROSITY RESULTS IN MONOTONIC ANALYSIS

ABSTRACT

In this work we consider spaces of increasing functions defined on a subset of an ordered normed space. We equip each of these spaces with a natural metric and show that the complement of the subset of all strictly increasing functions is σ-porous. We also discuss some properties of normal sets and strictly normal sets.     

On copositive approximation in some classical spaces of sequences

In this paper the author writes a simple characterization for the best copositive approximation in c; the space of convergent sequences, by elements of finite dimensional Chebyshev subspaces, and shows that it is unique.     

ε-PSEUDO CHEBYSHEV AND ε- QUASI CHEBYSHEV SUBSPACES OF BANACH SPACES

We will define and characterize ε-pseudo Chebyshev and ε-quasi Chebyshev subspaces of Banach spaces. We will prove that a closed subspace W is ε-pseudo Chebyshev if and only if W is ε-quasi Chebyshev.     

On the Structure of the Complements of Chebyshev Sets

A set is called a Chebyshev set if it contains a unique best approximation element. We study the structure of the complements of Chebyshev sets, in particular considering the following question: How many connected components can the complement of a Chebyshev set in a finite-dimensional normed or nonsymmetrically normed linear space have? We extend some results from [A. R. Alimov, East J. Approx, 2, No. 2, 215--232 (1996)]. A. L. Brown's characterization of four-dimensional normed linear spaces in which every Chebyshev set is convex is extended to the nonsymmetric setting. A characterization of finite-dimensional spaces that contain a strict sun whose complement has a given number of connected components is established.     

广义共同逼近问题的适定性

设C是实Banach空间X中有界闭凸子集且0是C的内点，G是X中非空闭的有界相对弱紧子集.记K(X)为X的非空紧凸子集全体并赋Hausdorff距离，KG(X)为集合｛A∈K(X)；A∩G=｝的闭包.称广义共同逼近问题minC(A,G)是适定的是指它有唯一解(x0,z0)，且它的每个极小化序列均强收敛到(x0,z0).在C是严格凸和Kadec的假定下，证明了｛A∈K(X)；minC(A，G)是适定的｝含有KG(X)中稠Gδ子集，这本质地推广和延拓了包括De Blasi,Myjak and Papini［1］、Li［2］和De Blasi and Myjak［3］等人在内的近期相应结果.     

点集拓扑学之杨忠道定理的一个机械化证明

本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.