Cascade search principle and its applications to the coincidence problems of n one-valued or multi-valued mappings

The problem of the construction of a multi-cascade with a given limit subset A is considered in a metric space X. A multi-cascade is a discrete multi-valued dynamic system with the translation semigroup (Z?0,+). The cascade search principle using so-called search functionals is suggested. It gives a solution of the problem. Also, an estimation is obtained for the distance between any initial point x and every correspondent limit point. Several applications of one-valued and multi-valued versions of the mentioned cascade search principle are given for the cases when the limit subset A is (1) the full (or expanded) preimage of a closed subspace under a mapping from X to another metric space; (2) the coincidence set (or expanded coincidence set) of n mappings from X to another metric space (n>1); (3) the common preimage (or the expanded one) of a closed subspace under n mappings; and (4) the common fixed point set of n mappings of the space X into itself (n?1). Generalizations of the previous authors results are obtained. And, in particular cases, generalizations of some recent results by A.V. Arutyunov on coincidences of two mappings and a generalization of Banach fixed point principle are obtained.     

Stability of coincidence points and properties of covering mappings

Properties of closed set-valued covering mappings acting from one metric space into another are studied. Under quite general assumptions, it is proved that, if a given α-covering mapping and a mapping satisfying the Lipschitz condition with constant β < α have a coincidence point, then this point is stable under small perturbations (with respect to the Hausdorff metric) of these mappings. This assertion is meaningful for single-valued mappings as well. The structure of the set of coincidence points of an α-covering and a Lipschitzian mapping is studied. Conditions are obtained under which the limit of a sequence of α-covering set-valued mappings is an (α–?)-covering for an arbitrary ? > 0.     

Generic existence of a nonempty compact set of fixed points

Let X be a complete metric space, a set of continuous mappings from X into itself, endowed with a metric topology finer than the compact-open topology. Assuming that there exists a dense subset contained in such that for every mapping T in the set {x ε X: Tx = x} is nonempty, it is proved that most mappings (in the Baire category sense) in do have a nonempty compact set of fixed points. Some applications to α-nonexpansive operators, semiaccretive operators and differential equations in Banach spaces are derived.     

A note on non-support points, negligible sets, Gâteaux differentiability and Lipschitz embeddings

This paper first presents a characterization of three classes of negligible closed convex sets (i.e., Gauss null sets, Aronszajn null sets and cube null sets) in terms of non-support points; then gives a generalization of Gâteaux differentiability theorems of Lipschitz mapping from open sets to those closed convex sets admitting non-support points; and as their application, finally shows that a closed convex set in a separable Banach space X can be Lipschitz embedded into a Banach space Y with the Radon–Nikodym property if and only if the closure of its linear span is linearly isomorphic to a closed subspace of Y.     

Towards variational analysis in metric spaces: metric regularity and fixed points

The main results of the paper include (a) a theorem containing estimates for the surjection modulus of a “partial composition” of set-valued mappings between metric spaces which contains as a particlar case well-known Milyutin’s theorem about additive perturbation of a mapping into a Banach space by a Lipschitz mapping; (b) a “double fixed point” theorem for a couple of mappings, one from X into Y and another from Y to X which implies a fairly general version of the set-valued contraction mapping principle and also a certain (different) version of the first theorem.     

Some generic properties of α-nonexpansive mappings

Let X be a Banach space, C a bounded closed subset of X, A a convex closed subset of X, $\text{E}$ a complete metric space formed by all α-nonexpansive mappings fC → A and $\text{M}$ a complete metric space formed by α-nonexpansive differentiable mappings fC → X. The following assertions are proved in this paper: (1) Properness of I ? f is a generic property in $\text{E}$ (2)the subset of $\text{E}$ formed by all α-contractive mappings is of Baire first category in $\text{E}$; and (3) for every y?X, the functional equation x ? f(x) = y has generically a finite number of solutions for f in $\text{M}$. Some applications to the fixed point theory and calculation of the topological degree are given.     

Semigroups and abstract Gevrey spaces

Conditions are found under which a closed linear operator A in a Banach space X generates a continuous semigroup in a linear topological space Y which is dense in X. The space Y is an abstract Gevrey space associated with the operator A. This is an abstract setting for some results for hyperbolic systems with data in spaces of Gevrey functions.     

Extension ofUV n -valued mappings

A new method for extending upper semicontinuousUV ⁿ -valued mappings is introduced. Any upper semicontinuousUV ⁿ -valued mapping Ψ:A→Y of a closed subsetA of a separable metric spaceX into ann-connected, locallyn-connected complete metric spaceY satisfying the property of disjoint (n+1)-disks is proved to be extendable to an upper semicontinuousUV ⁿ -valued mapping Ψ′:X→Y such that Ψ′|a=Ψ. As an application, some results aboutn-soft mappings are obtained. Translated fromMatematicheskie Zametki, Vol. 66, No. 3, pp. 351–363, September, 1999.     

Smooth approximations

We prove, among other things, that a Lipschitz (or uniformly continuous) mapping f:X→Y can be approximated (even in a fine topology) by smooth Lipschitz (resp. uniformly continuous) mapping, if X is a separable Banach space admitting a smooth Lipschitz bump and either X or Y is a separable C(K) space (resp. super-reflexive space). Further, we show how smooth approximation of Lipschitz mappings is closely related to a smooth approximation of C¹-smooth mappings together with their first derivatives. As a corollary we obtain new results on smooth approximation of C¹-smooth mappings together with their first derivatives.     

Components of first-countability and various kinds of pseudoopen mappings

Some new classes of pseudoopen continuous mappings are introduced. Using these, we provide some sufficient conditions for an image of a space under a pseudoopen continuous mapping to be first-countable, or for the mapping to be biquotient. In particular, we show that if a regular pseudocompact space Y is an image of a metric space X under a pseudoopen continuous almost S-mapping, then Y is first-countable. Among our main results are Theorems 2.5, 2.11, 2.12, 2.13, 2.14. See also Example 2.15, Corollary 2.7, and Theorem 2.18.     

Closed subsets of the domain whose image has the dimension of the range

It is shown that if dim Y < ∞ and if f(X) = Y is a mapping between compact metric spaces such that 1 ? m ? dim f^-1(y)?n for all y ? Y, then there exists a closed set K ? X such that dim K ? n ? m and dim f(K) = dim Y. This answers a question posed by J. Keesling and D. Wilson.     

Fredholm alternatives for nonlinear A-proper mappings with applications to nonlinear elliptic boundary value problems

Let X and Y be real Banach spaces with a projectionally complete scheme Γ = {X_n, P_n; Y_n, Q_n} and let T: X → Y be an asymptotically linear mapping which is A-proper with respect to Γ and whose asymptotic derivative T_∞?L(X, Y) is also A-proper with respect to Γ. Necessary and sufficient conditions are given in order that the equation $\text{T(x) = ?}$ be solvable for a given ? in Y. Under certain additional conditions it is shown that solutions can be constructed as strong limits of finite dimensional Galerkin type approximates x_n?X_n. Theorems 1 and 2 include as special cases the recent results of Kachurovskii, Hess, Ne?as, and the author. The abstract results for A-proper mappings are then applied to the (constructive) solvability of boundary value problems for quasilinear elliptic equations of order 2m with asymptotically linear terms of order 2m ? 1.     

Points of joint continuity and large oscillations

For topological spaces X and Y and a metric space Z, we introduce a new class N( X ×Y, Z ) \mathcal{N}\left( {X \times Y,\,Z} \right) of mappings f: X × Y → Z containing all horizontally quasicontinuous mappings continuous with respect to the second variable. It is shown that, for each mapping f from this class and any countable-type set B in Y, the set C _B (f) of all points x from X such that f is jointly continuous at any point of the set {x} × B is residual in X: We also prove that if X is a Baire space, Y is a metrizable compact set, Z is a metric space, and f ? N( X ×Y, Z ) f \in \mathcal{N}\left( {X \times Y,\,Z} \right) , then, for any ε > 0, the projection of the set D ^ε (f) of all points p ∈ X × Y at which the oscillation ω _f (p) ≥ ε onto X is a closed set nowhere dense in X.     

Topological convexities, selections and fixed points

A convexity on a set X is a family of subsets of X which contains the whole space and the empty set as well as the singletons and which is closed under arbitrary intersections and updirected unions. A uniform convex space is a uniform topological space endowed with a convexity for which the convex hull operator is uniformly continuous. Uniform convex spaces with homotopically trivial polytopes (convex hulls of finite sets) are absolute extensors for the class of metric spaces; if they are completely metrizable then a continuous selection theorem à la Michael holds. Upper semicontinuous maps have approximate selections and fixed points, under the usual assumptions.     

Fixed points and iterations of mean-type mappings

Let (X, d) be a metric space and T: X → X a continuous map. If the sequence (T ⁿ ) _n∈? of iterates of T is pointwise convergent in X, then for any x ∈ X, the limit $$\mu _T (x) = \mathop {\lim }\limits_{n \to \infty } T^n (x)$$ is a fixed point of T. The problem of determining the form of µ _T leads to the invariance equation µ _T ○ T = µ _T , which is difficult to solve in general if the set of fixed points of T is not a singleton. We consider this problem assuming that X = I ^p , where I is a real interval, p ≥ 2 a fixed positive integer and T is the mean-type mapping M =(M ₁,...,M _p ) of I ^p . In this paper we give the explicit forms of µ_M for some classes of mean-type mappings. In particular, the classical Pythagorean harmony proportion can be interpreted as an important invariance equality. Some applications are presented. We show that, in general, the mean-type mappings are not non-expansive.     

Topological ordered C- (resp. I-)spaces and generalized metric spaces

The following result due to Hanai, Morita, and Stone is well known: Let f be a closed continuous map of a metric space X onto a topological space Y. Then the following statements are equivalent: (i) Y satisfies the first countability axiom; (ii) for each y∈Y, f−1{y} has a compact boundary in X; (iii) Y is metrizable.In this article we obtain several related results in the setting of topological ordered spaces. In particular we investigate the upper and lower topologies of metrizable topological ordered spaces which are both C- and I-spaces in the sense of Priestley.     

A relation between spaces implied by their t-equivalence

We prove that if X and Y are t-equivalent spaces (that is, if Cp(X) and Cp(Y) are homeomorphic), then there are spaces Zn, locally closed subspaces Bn of Zn, and locally closed subspaces Yn of Y, n∈N⁺, such that each Zn admits a perfect finite-to-one mapping onto a closed subspace of Xn, Yn is an image under a perfect mapping of Bn, and Y=?{Yn:n∈N⁺}. It is deduced that some classes of spaces, which for metric spaces coincide with absolute Borelian classes, are preserved by t-equivalence. Also some limitations on the complexity of spaces t-equivalent to “nice” spaces are obtained.     

On the location of fixed points on pairs of spaces

Let f: (X, A)→(X, A) be an admissible selfmap of a pair of metrizable ANR's. A Nielsen number of the complement Ñ(f; X, A) and a Nielsen number of the boundary ñ(f; X, A) are defined. Ñ(f; X, A) is a lower bound for the number of fixed points on C1(X - A) for all maps in the homotopy class of f. It is usually possible to homotope f to a map which is fixed point free on Bd A, but maps in the homotopy class of f which have a minimal fixed point set on X must have at least ñ(f; X, A) fixed points on Bd A. It is shown that for many pairs of compact polyhedra these lower bounds are the best possible ones, as there exists a map homotopic to f with a minimal fixed point set on X which has exactly Ñ(f; X - A) fixed points on C1(X−A) and ñ(f; X, A) fixed points on Bd A. These results, which make the location of fixed points on pairs of spaces more precise, sharpen previous ones which show that the relative Nielsen number N(f; X, A) is the minimum number of fixed points on all of X for selfmaps of (X, A), as well as results which use Lefschetz fixed point theory to find sufficient conditions for the existence of one fixed point on C1(X−A).     

Geoffrion type characterization of higher-order properly efficient points in vector optimization

We consider the constrained vector optimization problem minCf(x), x∈A, where X and Y are normed spaces, A⊂X₀⊂X are given sets, C⊂Y, C≠Y, is a closed convex cone, and is a given function. We recall the notion of a properly efficient point (p-minimizer) for the considered problem and in terms of the so-called oriented distance we define also the notion of a properly efficient point of order n (p-minimizers of order n). We show that the p-minimizers of higher order generalize the usual notion of a properly efficient point. The main result is the characterization of the p-minimizers of higher order in terms of “trade-offs.” In such a way we generalize the result of A.M. Geoffrion [A.M. Geoffrion, Proper efficiency and the theory of vector maximization, J. Math. Anal. Appl. 22 (3) (1968) 618-630] in two directions, namely for properly efficient points of higher order in infinite dimensional spaces, and for arbitrary closed convex ordering cones.