Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

Vector Variational Inequalities and the (S)<Subscript>+</Subscript> Condition

Let $${\cal Z}$$ and X be Hausdorff real topological vector spaces and let $${\cal L}_b(X,{\cal Z})$$ be the space of continuous linear mappings from X into $${\cal Z}$$ equipped with the topology of bounded convergence. In this paper, we define the (S)₊ condition for operators from a nonempty subset of X into $${\cal L}_b(X,{\cal Z})$$ and derive some existence results for vector variational inequalities with operators of the class (S)₊. Some applications to vector complementarity problems are given.     

Two results in metric fixed point theory

We establish two fixed point theorems for certain mappings of contractive type. The first result is concerned with the case where such mappings take a nonempty, closed subset of a complete metric space X into X, and the second with an application of the continuation method to the case where they satisfy the Leray–Schauder boundary condition in Banach spaces.     

Common fixed point theorems and minimax inequalities in locally convex Hausdorff topological vector spaces

In this article, we introduce the concept of a family of set-valued mappings generalized Knaster–Kuratowski–Mazurkiewicz (KKM) w.r.t. other family of set-valued mappings. We then prove that if X is a nonempty compact convex subset of a locally convex Hausdorff topological vector space and 𝒯 and 𝒮 are two families of self set-valued mappings of X such that 𝒮 is generalized KKM w.r.t. 𝒯, under some natural conditions, the set-valued mappings S ∈ 𝒮 have a fixed point. Other common fixed point theorems and minimax inequalities of Ky Fan type are obtained as applications.     

Densely Continuous Forms in Vietoris Hyperspaces

For countably paracompact normal spaces X and locally compact separable metric spaces Y, a characterization is given for the closure of the set of densely continuous forms from X to Y in the hyperspace of nonempty closed subsets of X × Y under the Vietoris topology. This shows that for such X having no isolated points, every closed subset of X × R that is dense over X can be Vietoris approximated by a semicontinuous function on X.     

KKM-type theorems for best proximity points

Let us consider two nonempty subsets A,B of a normed linear space X, and let us denote by 2^B the set of all subsets of B. We introduce a new class of multivalued mappings {T:A→2^B}, called R-KKM mappings, which extends the notion of KKM mappings. First, we discuss some sufficient conditions for which the set ∩{T(x):x∈A} is nonempty. Using this nonempty intersection theorem, we attempt to prove a extended version of the Fan-Browder multivalued fixed point theorem, in a normed linear space setting, by providing an existence of a best proximity point.     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ℝ) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

One-Point Discontinuities of Separately Continuous Functions on the Product of Two Compact Spaces

We investigate the existence of a separately continuous function f: X × Y → ℝ with a one-point set of discontinuity points in the case where the topological spaces X and Y satisfy conditions of compactness type. In particular, it is shown that, for compact spaces X and Y and nonisolated points x ₀ ∈ X and y ₀ ∈ Y, a separately continuous function f: X × Y → ℝ with the set of discontinuity points {(x ₀, y ₀)} exists if and only if there exist sequences of nonempty functionally open sets in X and Y that converge to x ₀ and y ₀, respectively.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 1, pp. 94–101, January, 2005.     

A discrete Korovkin theorem

In this paper we give a sufficient condition for the pointwise Korovkin property on B(X), the space of bounded real valued functions on an arbitrary countable set X = {x_l,…, x_j,…}. Our theorem follows from its L_p(X, μ) analogue (and conversely); here 1 p < ∞ and μ is a positive finite measure on X such that μ({x_j}) > 0 for all j.     

Wijsman and Hit-and-Miss Topologies of Quasi-Metric Spaces

The relationship between the Wijsman topology and (proximal) hit-and-miss topologies is studied in the realm of quasi-metric spaces. We establish the equivalence between these hypertopologies in terms of Urysohn families of sets. Our results generalize well-known theorems and provide easier proofs. In particular, we prove that for a quasi-pseudo-metrizable space (X,T) the Vietoris topology on the set P ₀(X) of all nonempty subsets of X is the supremum of all Wijsman topologies associated with quasi-pseudo-metrics compatible with T. We also show that for a quasi-pseudo-metric space (X,d) the Hausdorff extended quasi-pseudo-metric is compatible with the Wijsman topology on P ₀(X) if and only if d ^–1 is hereditarily precompact.     

Method of solution to fuzzy relation equations in a complete Brouwerian lattice

Up to now, how to solve a fuzzy relation equation in a complete Brouwerian lattice is still an open problem as Di Nola et al. point out. To this problem, the key problem is whether there exists a minimal element in the solution set when a fuzzy relation equation is solvable. In this paper, we first show that there is a minimal element in the solution set of a fuzzy relation equation AX=b (where A=(a₁,a₂,…,a_n) and b are known, and X=(x₁,x₂,…,x_n)^T is unknown) when its solution set is nonempty, and b has an irredundant finite join-decomposition. Further, we give the method to solve AX=b in a complete Brouwerian lattice under the same conditions. Finally, a method to solve a more general fuzzy relation equation in a complete Brouwerian lattice when its solution set is nonempty is also given under similar conditions.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

On the approximate behavior of the posterior distribution for an extreme multivariate observation

The behavior of the posterior for a large observation is considered. Two basic situations are discussed; location vectors and natural parameters.Let X = (X₁, X₂, …, X_n) be an observation from a multivariate exponential distribution with that natural parameter Θ = (Θ₁, Θ₂, …, Θ_n). Let θ_x^* be the posterior mode. Sufficient conditions are presented for the distribution of Θ − θ_x^* given X = x to converge to a multivariate normal with mean vector 0 as |x| tends to infinity. These same conditions imply that E(Θ | X = x) − θ_x^* converges to the zero vector as |x| tends to infinity.The posterior for an observation X = (X₁, X₂, …, X_n is considered for a location vector Θ = (Θ₁, Θ₂, …, Θ_n) as x gets large along a path, γ, in Rⁿ. Sufficient conditions are given for the distribution of γ(t) − Θ given X = γ(t) to converge in law as t → ∞. Slightly stronger conditions ensure that γ(t) − E(Θ | X = γ(t)) converges to the mean of the limiting distribution.These basic results about the posterior mean are extended to cover other estimators. Loss functions which are convex functions of absolute error are considered. Let δ be a Bayes estimator for a loss function of this type. Generally, if the distribution of Θ − E(Θ | X = γ(t)) given X = γ(t) converges in law to a symmetric distribution as t → ∞, it is shown that δ(γ(t)) − E(Θ | X = γ(t)) → 0 as t → ∞.     

An intersection theorem for set-valued mappings

Given a nonempty convex set X in a locally convex Hausdorff topological vector space, a nonempty set Y and two set-valued mappings T: X ? X, S: Y ? X we prove that under suitable conditions one can find an x ∈ X which is simultaneously a fixed point for T and a common point for the family of values of S. Applying our intersection theorem, we establish a common fixed point theorem, a saddle point theorem, as well as existence results for the solutions of some equilibrium and complementarity problems.     

Updating of moments

Consider a statistical model, given by the distribution of the observation X, conditional on the parameter θ, and the prior distribution of the parameter θ. Let H_x denote the function that maps the prior mean and the prior covariance matrix into the posterior mean and the posterior covariance matrix, when X = x is observed. We prove that if the conditional distribution of X belongs to an exponential family, then the function H_x characterizes the distribution of Xθ.     

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.     

Convergence of best approximations in a smooth Banach space

Let X be a reflexive, strictly convex Banach space such that both X and X^* have Fréchet differentiable norms, and let {C_n} be a sequence of non-empty closed convex subsets of X. We prove that the sequence of best approximations {p(x ¦ C_n)} of any x ε X converges if and only if lim C_n exists and is not empty. We also discuss measurability of closed convex set valued functions.     

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.     

A game-theoretic equivalence to the Hahn-Banach theorem

Let Γ_X() = X, A (X), υ be a cooperative von Neumann game with side payments, where X is a nonempty set of arbitrary cardinality, A(X) the Boolean ring generated from P(X) with the operations Δ and ∩ for addition and multiplication, respectively, such that S² =S for all S ε A (X), and with ;() = 0. The Shapley-Bondareva-Schmeidler Theorem, which states that a game of the form Γ_X() = X, A (X), is weak if and only if the core of Γ_X(),ζ(Γ_X()), is normal, may be regarded as the fundamental theorem for weak cooperative games with side-payments. In this paper we use an ultrapower construction on the reals, , to summarize a common mathematical theme employed in various constructions used to establish the Shapley-Bondareva-Schmeidler Theorem in the literature (Dalbaen, 1974; Kannai, 1969; Schmeidler, 1967, 1972). This common mathematical theme is that the space L, comprised of finite, real linear combinations of the collection of functions, {χ_a : a ε A (X)}, possesses a certain extension property that is intimately related to the Hahn-Banach Theorem of functional analysis. A close inspection of the extension property reveals that the Shapley-Bondareva-Schmeidler Theorem is in fact equivalent to the Hahn-Banach Theorem.     

Limiting -subgradient characterizations of constrained best approximation

In this paper, we show that the strong conical hull intersection property (CHIP) completely characterizes the best approximation to any x in a Hilbert space X from the set

K:=C∩{xX:-g(x)S},