Increasing and decreasing operators on complete lattices

The (isotone) map f: X → X is an increasing (decreasing) operator on the poset X if f(x) ? f²(x) (f²(x) ? f(x), resp.) holds for each x ∈ X. Properties of increasing (decreasing) operators on complete lattices are studied and shown to extend and clarify those of closure (resp. anticlosure) operators. The notion of the decreasing closure, $\text{f}$, (the increasing anticlosure, $\text{f}$,) of the map f: X → X is introduced extending that of the transitive closure, $\text{f}\text{?}$, of f. $\text{f}\text{f}$, and $\text{f}$ are all shown to have the same set of fixed points. Our results enable us to solve some problems raised by H. Crapo. In particular, the order structure of H(X), the set of retraction operators on X is analyzed. For X a complete lattice H(X) is shown to be a complete lattice in the pointwise partial order. We conclude by claiming that it is the increasing-decreasing character of the identity maps which yields the peculiar properties of Galois connections. This is done by defining a u-v connection between the posets X and Y, where u: X → X (v: Y → Y) is an increasing (resp. decreasing) operator to be a pair f, g of maps f; X → Y, g: Y → X such that gf ? u, fg ? v. It is shown that the whole theory of Galois connections can be carried over to u-v connections.     

On bounding,interior and covering functions

We prove three theorems yielding sufficient conditions for a continuous function f: X → Y to have no isolated bounding points (i.e., points at which it is not an open mapping), to be interior a z (i.e.,f(z) ?f(X)⁰), and to have its image cover a segment. In the first theorem X and Y are rather general topological spaces and some applications to optimal control are discussed. In the second and third theorems X an Y are finite-dimensional and we use the concepts of ordinary and unbounded derivate containers which are a form of set-valued derivatives. The proof of the second theorem also involves the topological degree of f.     

On dimensionally exotic maps

We call a value y = f(x) of a map f: X → Y dimensionally regular if dimX ≤ dim(Y × f ^?1(y)). It was shown in [6] that if a map f: X → Y between compact metric spaces does not have dimensionally regular values, then X is a Boltyanskii compactum, i.e., a compactum satisfying the equality dim(X × X) = 2dim X ? 1. In this paper we prove that every Boltyanskii compactum X of dimension dim X ≥ 6 admits a map f: X → Y without dimensionally regular values. We show that the converse does not hold by constructing a 4-dimensional Boltyanskii compactum for which every map has a dimensionally regular value.     

Closed maps on metric spaces

The following result is proved: Let Y be the image of a metric space X under a closed map f. Then every ?f^-1(y) is Lindelöf if and only if Y has a point-countable k-network.     

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.     

Continuous selections avoiding extreme points

It is shown that if X is a countably paracompact collectionwise normal space, Y is a Banach space and φ:X→Y² is a lower semicontinuous mapping such that φ(x) is Y or a compact convex subset with Cardφ(x)>1 for each x∈X, then φ admits a continuous selection f:X→Y such that f(x) is not an extreme point of φ(x) for each x∈X. This is an affirmative answer to the problem posed by V. Gutev, H. Ohta and K. Yamazaki [V. Gutev, H. Ohta and K. Yamazaki, Selections and sandwich-like properties via semi-continuous Banach-valued functions, J. Math. Soc. Japan 55 (2003) 499-521].     

Epsilon Nielsen coincidence theory

We construct an epsilon coincidence theory which generalizes, in some aspect, the epsilon fixed point theory proposed by Robert Brown in 2006. Given two maps f, g: X → Y from a well-behaved topological space into a metric space, we define µ ^∈ (f, g) to be the minimum number of coincidence points of any maps f ₁ and g ₁ such that f ₁ is ∈ ₁-homotopic to f, g ₁ is ∈ ₂-homotopic to g and ∈ ₁ + ∈ ₂ < ∈. We prove that if Y is a closed Riemannian manifold, then it is possible to attain µ ^∈ (f, g) moving only one rather than both of the maps. In particular, if X = Y is a closed Riemannian manifold and id _Y is its identity map, then µ ^∈ (f, id _Y ) is equal to the ∈-minimum fixed point number of f defined by Brown. If X and Y are orientable closed Riemannian manifolds of the same dimension, we define an ∈-Nielsen coincidence number N ^∈ (f, g) as a lower bound for µ ^∈ (f, g). Our constructions and main results lead to an epsilon root theory and we prove a Minimum Theorem in this special approach.     

Open mapping theorem for spaces of weakly additive homogeneous functionals

We establish that if X and Y are metric compacta and f: X → Y is a continuous surjective mapping, then the openness of the mapping OH(f): OH(X) → OH(Y) of spaces of weakly additive homogeneous functionals is equivalent to the openness of f.     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

Smooth extensions of functions on separable Banach spaces

Let X be a Banach space with a separable dual X*. Let ${Y\subset X}Let X be a Banach space with a separable dual X*. Let Y ì X{Y\subset X} be a closed subspace, and f:Y?\mathbbR{f:Y\rightarrow\mathbb{R}} a C ¹-smooth function. Then we show there is a C ¹ extension of f to X.     

Lower quasicontinuity, joint continuity and related concepts

Let X and Y be topological spaces, let Z be a metric space, and let f:X×Y→Z be a mapping. It is shown that when Y has a countable base B, then under a rather general condition on the set-valued mappings X∋x→fx(B)∈Z², B∈B, there is a residual set R⊂X such that for every (a,b)∈R×Y, f is jointly continuous at (a,b) if (and only if) fa:Y→Z is continuous at b. Several new results are also established when the notion of continuity is replaced by that of quasicontinuity or by that of cliquishness. Our approach allows us to unify and improve various results from the literature.     

Reduction of variance for Gaussian densities via restriction to convex sets

Let X be a random vector with values in $\text{R}$ⁿ and a Gaussian density f. Let Y be a random vector whose density can be factored as k · f, where k is a logarithmically concave function on $\text{R}$ⁿ. We prove that the covariance matrix of X dominates the covariance matrix of Y by a positive semidefinite matrix. When k is the indicator function of a compact convex set A of positive measure the difference is positive definite. If A and X are both symmetric Var(a · X) is bounded above by an expression which is always strictly less than Var(a · X) for every a ∈ $\text{R}$ⁿ. Finally some counterexamples are given to show that these results cannot be extended to the general case where f is any logarithmically concave density.     

On Gibson functions with connected graphs

A function f: X → Y between topological spaces is said to be a weakly Gibson function if $f(\bar G) \subseteq \overline {f(G)} $ for any open connected set G ? X. We call a function f: X → Y segmentary connected if X is topological vector space and f([a, b]) is connected for every segment [a, b] ? X. We show that if X is a hereditarily Baire space, Y is a metric space, f: X → Y is a Baire-one function and one of the following conditions holds:

1. X is a connected and locally connected space and f is a weakly Gibson function
2. X is an arcwise connected space and f is a Darboux function
3. X is a topological vector space and f is a segmentary connected function, then f has a connected graph.

     

Smooth extension of functions on a certain class of non-separable Banach spaces

Let us consider a Banach space X with the property that every real-valued Lipschitz function f can be uniformly approximated by a Lipschitz, C¹-smooth function g with Lip(g)?CLip(f) (with C depending only on the space X). This is the case for a Banach space X bi-Lipschitz homeomorphic to a subset of c₀(Γ), for some set Γ, such that the coordinate functions of the homeomorphism are C¹-smooth (Hájek and Johanis, 2010 [10]). Then, we prove that for every closed subspace Y⊂X and every C¹-smooth (Lipschitz) function f:Y→R, there is a C¹-smooth (Lipschitz, respectively) extension of f to X. We also study C¹-smooth extensions of real-valued functions defined on closed subsets of X. These results extend those given in Azagra et al. (2010) [4] to the class of non-separable Banach spaces satisfying the above property.     

Weak similarities of metric and semimetric spaces

Let (X,d _X ) and (Y,d _Y ) be semimetric spaces with distance sets D(X) and D(Y), respectively. A mapping F:?X→Y is a weak similarity if it is surjective and there exists a strictly increasing f:?D(Y)→D(X) such that d _X =f°d _Y °(F?F). It is shown that the weak similarities between geodesic spaces are usual similarities and every weak similarity F:?X→Y is an isometry if X and Y are ultrametric and compact with D(X)=D(Y). Some conditions under which the weak similarities are homeomorphisms or uniform equivalences are also found.     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

Graphical convergence of continuous functions

Let X and Y be metrizable spaces. We show that convergence of a net of continuous functions 〈f _λ 〉 to a continuous function f in the graph topology for C(X,Y) is equivalent to the uniform convergence of the net of associated distance functionals for the graphs with respect to each compatible metric on X×Y. Remarkably, no weaker convergence results if uniform convergence is replaced by pointwise convergence in the last statement.     

Preservation of the Borel class under countable-compact-covering mappings

The aim of this note is to prove the following result: “Assume that X is a metric Borel space of class ξ, that is continuous, that every fiber f⁻¹(y) is complete and that every countable compact subset of Y is the image by f of some compact subset of X. Then Y is Borel and moreover of class ξ”. We give also an extension to the case where the fibers are only assumed to be Polish.     

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.