Atsuji completions: Equivalent characterisations

A metric space (X,d) is called an Atsuji space if every real-valued continuous function on (X,d) is uniformly continuous. It is well known that an Atsuji space must be complete. A metric space (X,d) is said to have an Atsuji completion if its completion is an Atsuji space. In this paper, we study twenty-nine equivalent characterisations for a metric space to have an Atsuji completion.     

On the Ricci and Einstein equations on the pseudo-euclidean and hyperbolic spaces

We consider tensors T=fg on the pseudo-euclidean space Rn and on the hyperbolic space Hn, where n?3, g is the standard metric and f is a differentiable function. For such tensors, we consider, in both spaces, the problems of existence of a Riemannian metric , conformal to g, such that , and the existence of such a metric which satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability and we construct the solutions when they exist. We show that these metrics are unique up to homothety, we characterize those globally defined and we determine the singularities for those which are not globally defined. None of the non-homothetic metrics , defined on Rn or Hn, are complete. As a consequence of these results, we get positive solutions for the equation , where g is the pseudo-euclidean metric.     

On continuous choice of retractions onto nonconvex subsets

For a Banach space B and for a class A of its bounded closed retracts, endowed with the Hausdorff metric, we prove that retractions on elements A∈A can be chosen to depend continuously on A, whenever nonconvexity of each A∈A is less than . The key geometric argument is that the set of all uniform retractions onto an α-paraconvex set (in the spirit of E. Michael) is -paraconvex subset in the space of continuous mappings of B into itself. For a Hilbert space H the estimate can be improved to and the constant can be replaced by the root of the equation α+α²+α³=1.     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

Approximation of the Hausdorff distance by the distance of continuous surjections

The aim of this paper is to answer the following question: let (X,?) and (Y,d) be metric spaces, let A,B⊂Y be continuous images of the space X and let be a fixed continuous surjection. When is the inequality

     

Two results on spaces with a sharp base

Example. There exists a space X with a sharp base and a perfect mapping onto a space Y which does not have a sharp base.     

Mappings and Prohorov spaces

We consider completely regular Hausdorff spaces. In this paper we investigate the space of probability Radon measures P(X) on a space X and the property to be a Prohorov space. We prove that the space P(X) is sieve-complete if and only if X is sieve-complete. Every mapping generates the mapping . Some properties of the mapping P(φ) are studied. In particular, we investigate under which conditions the open continuous image of a Prohorov space is Prohorov.     

Invariant approximations for commuting mappings in CAT(0) and hyperconvex spaces

In this paper, for a commuting pair consisting of a point-valued nonexpansive self-mapping t and a set-valued nonexpansive self-mapping T of a hyperconvex metric space (or a CAT(0) space) X, we look for a solution to the problem of existence of z∈E⊂X such that

     

Computing the minimal number of equations defining an affine curve ideal-theoretically

There is an algorithm which computes the minimal number of generators of the ideal of a reduced curve C in affine n-space over an algebraically closed field K, provided C is not a local complete intersection.The existence of such an algorithm follows from the fact that given , there exists , such that if is a height n−1 radical ideal in K[X₁,…,X_n], generated by polynomials of degree at most d, then admits a set of generators of minimal cardinality, with each generator having degree at most d′, except possibly when is an (unmixed) local complete intersection.     

Moduli of metaplectic bundles on curves and Theta-sheaves

We give a geometric interpretation of the Weil representation of the metaplectic group, placing it in the framework of the geometric Langlands program.For a smooth projective curve X we introduce an algebraic stack of metaplectic bundles on X. It also has a local version , which is a gerbe over the affine Grassmanian of G. We define a categorical version of the (nonramified) Hecke algebra of the metaplectic group. This is a category of certain perverse sheaves on , which act on by Hecke operators. A version of the Satake equivalence is proved describing as a tensor category. Further, we construct a perverse sheaf on corresponding to the Weil representation and show that it is a Hecke eigen-sheaf with respect to .     

Iterative equations in Banach spaces

Let X be a Banach space, let

     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.     

Sequences of semicontinuous functions accompanying continuous functions

A space X is said to have property (USC) (resp. (LSC)) if whenever is a sequence of upper (resp. lower) semicontinuous functions from X into the closed unit interval [0,1] converging pointwise to the constant function 0 with the value 0, there is a sequence of continuous functions from X into [0,1] such that fn?gn (n∈ω) and converges pointwise to 0. In this paper, we study spaces having these properties and related ones. In particular, we show that (a) for a subset X of the real line, X has property (USC) if and only if it is a σ-set; (b) if X is a space of non-measurable cardinal and has property (LSC), then it is discrete. Our research comes of Scheepers' conjecture on properties S₁(Γ,Γ) and wQN.     

Minimax theorems for limits of parametrized functions having at most one local minimum lying in a certain set

In this paper, we establish some minimax theorems, of purely topological nature, that, through the variational methods, can be usefully applied to nonlinear differential equations. Here is a (simplified) sample: Let X be a Hausdorff topological space, I⊆R an interval and . Assume that the function Ψ(x,⋅) is lower semicontinuous and quasi-concave in I for all x∈X, while the function Ψ(⋅,q) has compact sublevel sets and one local minimum at most for each q in a dense subset of I. Then, one has