Real Closed Valuation Rings

The real closed valuation rings, i.e., convex subrings of real closed fields, form a proper subclass of the class of real closed domains. It is shown how one can recognize whether a real closed domain is a valuation ring. This leads to a characterization of the totally ordered domains whose real closure is a valuation ring. Real closures of totally ordered factor rings of coordinate rings of real algebraic varieties are very frequently valuation rings. In particular, the real closure of the coordinate ring of a curve is an SV-ring (i.e., the factor rings modulo prime ideals are valuation rings). Real closed valuation rings play a role in the definition of real closed rings, as well as in the construction of real closures of rings and porings. They can also be used for the study of univariate differentiable semi-algebraic functions. This leads to the notion of differentiablility of semi-algebraic functions along half branches of curves.     

Epimorphic extensions and Prüfer extensions¶ of partially ordered rings

The paper contributes to the investigation of epimorphisms in the category of reduced partially ordered rings (porings). Two main questions are considered: 1) Does the set of isomorphism classes of a given poring have a largest element (an epimorphic hull)? 2) Given an epimorphic extension, or even a Prüfer extension, f:A→B of porings: how closely are A and B related to each other? Received: 17 June 1999     

A counterexample to the Bishop-Phelps Theorem in complex spaces

The Bishop-Phelps Theorem asserts that the set of functionals which attain the maximum value on a closed bounded convex subsetS of a real Banach spaceX is norm dense inX ^*. We show that this statement cannot be extended to general complex Banach spaces by constructing a closed bounded convex set with no support points.     

Approximation of fixed points and variational solutions for pseudo-contractive mappings in banach spaces

Let K be a nonempty, closed and convex subset of a real reflexive Banach space E which has a uniformly Gâteaux differentiable norm. Assume that every nonempty closed convex and bounded subset of K has the fixed point property for nonexpansive mappings. Strong convergence theorems for approximation of a fixed point of Lipschitz pseudo-contractive mappings which is also a unique solution to variational inequality problem involving ?-strongly pseudo-contractive mappings are proved. The results presented in this article can be applied to the study of fixed points of nonexpansive mappings, variational inequality problems, convex optimization problems, and split feasibility problems. Our result extends many recent important results.     

Rings whose nilpotents form a multiplicative set

Nilpotents in Armendariz and abelian π-regular rings are multiplicatively closed. However, this fact need not hold in many kinds of rings. This article concerns a class of rings whose nilpotents are closed under multiplication. Rings contained in this class are said to be nilpotent-closed, and the structure of nilpotent-closed rings is investigated in relation with various situations which happen ordinarily in the study of noncommutative ring theory. In the procedure, various sorts of rings are investigated, so that they are nilpotent-closed. We also study familiar conditions under which nilpotents in nilpotent-closed rings form a subring.     

渐近伪压缩映象的收敛性定理

在任意的实Banach空间中,证明了一致Lipschitzian和渐近伪压缩映象的具误差的Ishikawa和Mann迭代序列的一些收敛性定理.     

Lie rings admitting an automorphism of order 4 with few fixed points

Lie rings that admit an automorphism of order 4 with few fixed points are considered. For a Lie ring (algebra) L admitting an automorphism of order 4 with a finite number m of fixed points (with a finite-dimensional subalgebra of fized points of dimension m), it is proved that the subring 4L (algebra L) contains an ideal M with a subring of m-bounded index in the additive group of M (a subalgebra of m-bounded codimension), which is nilpotent of class bounded by some constant. It is also shown that, under the same premise, the factor-ring 4L/M (factor-algebra L/M) contains a subring of m-bounded index in the additive group of 4L/M (a subalgebra of m-bounded codimension), which is nilpotent of class ≤2. Moreover, L has a subring of m-bounded index in the additive group of L (a subalgebra of m-bounded codimension), which is soluble of derived length bounded by a constant. Supported by RFFR grant No. 94-01-00048 and by ISF grant NQ7000. Translated fromAlgebra i Logika, Vol. 35, No. 1, pp. 41–78, January–February, 1996.     

Neighborhoods of extreme points

An examination of relationship between two neighborhood systems (relative to two linear topologies) of extreme points yields a unified approach to some known and new results, among which are Bessaga-Pełczyński’s theorem on closed bounded convex subsets of separable conjugate Banach spaces and Ryll-Nardzewski’s fixed point theorem. This research was partly supported by the U.S. National Science Foundation.     

Dentability and extreme points in Banach spaces

It is shown that a Banach space E has the Radon-Nikodym property (equivalently, every bounded subset of E is dentable) if and only if every bounded closed convex subset of E is the closed convex hull of its strongly exposed points. Using recent work of Namioka, some analogous results are obtained concerning weak¹ strongly exposed points of weak¹ compact convex subsets of certain dual Banach spaces.     

Gabriel filters in real closed rings

Real closed rings arise in semi-algebraic geometry and topology as well as in the investigation of partially ordered rings. It is shown that localizations of real closed rings with respect to Gabriel filters, or more generally: multiplicative filters, are again real closed. Thus, real closedness is preserved under a large number of important ring theoretic constructions. For a few particularly simple cases the multiplicative filters are classified and the localizations are determined. Received: August 26, 1996     

Derivatives of generalized farthest functions and existence of generalized farthest points

The relationship between directional derivatives of generalized farthest functions and the existence of generalized farthest points in Banach spaces is investigated. It is proved that the generalized farthest function generated by a bounded closed set having a one-sided directional derivative equal to 1 or −1 implies the existence of generalized farthest points. New characterization theorems of (compact) locally uniformly convex sets are given.     

Finitely presented and coherent ordered modules and rings

We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of finite systems of inequalities are finitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following features:.

(i) Every subring of Q, and every totally ordered division ring, is po-coherent.

(ii) For a partially ordered right module Aover a po-coherent poring R Ais po-coherent if and only if Ais a finitely presented .R-module and A ⁺is a finitely generated R ⁺-semimodule.

(iii) Every finitely po-presented partially ordered right module over a right po-coherent po-ring is po-coherent.

(iv) Every finitely po-presented abelian lattice-ordered group is po-coherent.     

Inverse Spectral Problem for Analytic {{(\mathbb{Z}/2 \mathbb{Z})^{n}}} -Symmetric Domains in {{\mathbb{R}^{n}}}

We prove that bounded real analytic domains in ${\mathbb{R}^{n}}$ , with the symmetries of an ellipsoid and with one axis length fixed, are determined by their Dirichlet or Neumann eigenvalues among other bounded real analytic domains with the same symmetries and axis length. Some non-degeneracy conditions are also imposed on the class of domains. It follows that bounded, convex analytic domains are determined by their spectra among other such domains. This seems to be the first positive result for the well-known Kac problem, “Can one hear the shape of a drum?”, in higher dimensions.     

A fixed-point theorem for asymptotically contractive mappings

We present fixed point theorems for a nonexpansive mapping from a closed convex subset of a uniformly convex Banach space into itself under some asymptotic contraction assumptions. They generalize results valid for bounded convex sets or asymptotically compact sets.

     

Minimizing Irregular Convex Functions: Ulam Stability for Approximate Minima

The main concern of this article is to study Ulam stability of the set of ε-approximate minima of a proper lower semicontinuous convex function bounded below on a real normed space X, when the objective function is subjected to small perturbations (in the sense of Attouch & Wets). More precisely, we characterize the class all proper lower semicontinuous convex functions bounded below such that the set-valued application which assigns to each function the set of its ε-approximate minima is Hausdorff upper semi-continuous for the Attouch–Wets topology when the set $\mathcal{C}(X)$ of all the closed and nonempty convex subsets of X is equipped with the Hausdorff topology. We prove that a proper lower semicontinuous convex function bounded below has Ulam-stable ε-approximate minima if and only if the boundary of any of its sublevel sets is bounded.     

一种反向集值鞅型序列的收敛性

本文研究了在非空有界闭凸集的上鞅收敛性和有界闭凸集的适应可积集值序列的收敛性.引入了反向集值mil的基础上,得到了收敛性定理及定理证明.     

Strong conical hull intersection property, bounded linear regularity, Jameson’s property (G), and error bounds in convex optimization

The strong conical hull intersection property and bounded linear regularity are properties of a collection of finitely many closed convex intersecting sets in Euclidean space. These fundamental notions occur in various branches of convex optimization (constrained approximation, convex feasibility problems, linear inequalities, for instance). It is shown that the standard constraint qualification from convex analysis implies bounded linear regularity, which in turn yields the strong conical hull intersection property. Jameson’s duality for two cones, which relates bounded linear regularity to property (G), is re-derived and refined. For polyhedral cones, a statement dual to Hoffman’s error bound result is obtained. A sharpening of a result on error bounds for convex inequalities by Auslender and Crouzeix is presented. Finally, for two subspaces, property (G) is quantified by the angle between the subspaces. Received October 1, 1997 / Revised version received July 21, 1998? Published online June 11, 1999     

Radicalizers

For a Kurosh–Amitsur radical class of rings, we investigate the existence, for a radical subring S of a ring A, of a largest subring T of A for which S is the radical. When T exists, it is called the radicalizer of S. There are no radical classes of associative rings for which every radical subring of every ring has a radicalizer. If a subring is the radical of its idealizer, then the idealizer is a radicalizer. We examine radical classes for which each radical subring is contained in one which is the radical of its own idealizer.     

A geometric characterization of inner product spaces

A normed linear spaceE is an inner product space if (and only if) there is a nontrivial closed bounded setD inE such that each translate ofD which misses the origin is taken by the inversion ofE to a convex set. Research supported in part by NSF Grant No. MCS 79-02734.     

Almost Chebyshev set with respect to bounded subsets

The uniqueness and existence of restricted Chebyshev center with respect to arbitrary subset are investigated. The concept of almost Chebyshev sets with respect to bounded subsets is introduced. It is proved that each closed subset in a reflexive locally uniformly convex (uniformly convex, respectively) Banach space is an almost Chebyshev subset with respect to compact convex subsets (bounded convex subsets and bounded subsets, respectively). Project supported by the National Natural Science Foundation of China, Natural Science Foundation of Zhejiang Province, and the State Major Key Project for Basic Researchers of China.