Common fixed points for Banach operator pairs with applications

The existence of common fixed point results for a Banach operator pair under certain generalized contractions is established. The invariant best approximation results are proved as applications and the existence of solutions of variational inequalities is obtained. We also study the solution of functional equations arising from dynamic programming.     

Domination by metric spaces

Following the definition of domination of a topological space X by a metric space M introduced by Cascales, Orihuela and Tkachuk (2011) in [3], we define a topological cardinal invariant called the metric domination index of a topological space X   as minimum of the set {w(M):M is a metric space that dominates X}$\{w(M):M\text{is a metric space that dominates}X\}$. This invariant quantifies or measures the concept of M-domination of Cascales et al. (2011) [3]. We prove (in ZFC) that if K   is a compact space such that _Cp(K)$C_p(K)$ is strongly dominated by a second countable space then K is countable. This answers a question by the authors of Cascales et al. (2011) [3].     

Generalized Haar integral

The aim of the paper is to generalize the notion of the Haar integral. For a compact semigroup S acting continuously on a Hausdorff compact space Ω, the algebra A(S)⊂C(Ω,R) of S-invariant functions and the linear space M(S) of S-invariant (real-valued) finite signed measures are considered. It is shown that if S has a left and right invariant measure, then the dual space of A(S) is isometrically lattice-isomorphic to M(S) and that there exists a unique linear operator (called the Haar integral) such that for each f∈A(S) and for any f∈C(Ω,R) and s∈S, , where .     

Noncommuting selfmaps and invariant approximations

Common fixed-point results are established for a new class of noncommuting selfmaps. We apply them to obtain several invariant approximation results which unify, extend, and complement well-known results.     

Some remarks on measures of noncompactness and retractions onto spheres

Some ways to obtain upper and lower bounds for measures of noncompactness of retractions onto spheres in infinite-dimensional normed spaces are discussed. Moreover, relations with 0-epi maps are revealed and the extension of condensing maps on spheres is discussed. As an application, some results of Birkhoff-Kellog type and Nussbaum's fixed point theorem on spheres are obtained.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.     

Two abstract approaches in vectorial fixed point theory

In this paper a fixed point theory is established for operators defined on Cartesian product spaces. Two abstract approaches are presented in terms of closure operators and of general functionals called measures of deviations from zero resembling the measures of noncompactness. In particular, we give vectorial versions to Mönch’s fixed point theorems. An application is included to illustrate the theory.     

On the structure of finite coverings of compact connected groups

Finite-sheeted covering mappings onto compact connected groups are studied. We show that for a covering mapping from a connected Hausdorff topological space onto a compact (in general, non-abelian) group there exists a topological group structure on the covering space such that the mapping becomes a homomorphism of groups. To prove this fact we construct an inverse system of covering mappings onto Lie groups which approximates the given covering mapping. As an application, it is shown that a covering mapping onto a compact connected abelian group G must be a homeomorphism provided that the character group of G admits division by degree of the mapping. We also get a criterion for triviality of coverings in terms of means and prove that each finite covering of G is equivalent to a polynomial covering.     

Banach operator pairs,common fixed-points,invariant approximations,and ∗ -nonexpansive multimaps

Common fixed-point results are proved for I$I$-nonexpansive maps, Ciric type maps, and ∗-nonexpansive multimaps. Invariant approximation results are obtained for these types of maps as applications. Our results extend or generalize several known results including the recent results of Chen and Li [J. Chen, Z. Li, Common fixed-points for Banach operators pairs in best approximation, J. Math. Anal. Appl. 336 (2007) 1466–1475]. In particular, we show that the results of Chen and Li on Banach operator pairs are particular cases of the results of Al-Thagafi and Shahzad [M.A. Al-Thagafi, N. Shahzad, Noncommuting selfmaps and invariant approximations, Nonlinear Anal. 64 (2006) 2778–2786].     

Preservation of completeness by some continuous maps

We show that a metrizable space Y is completely metrizable if there is a continuous surjection f:X→Y such that the images of open (clopen) subsets of the (0-dimensional paracompact) ?ech-complete space X are resolvable subsets of Y (in particular, e.g., the elements of the smallest algebra generated by open sets in Y).     

Choquet simplices as spaces of invariant probability measures on post-critical sets

A well-known consequence of the ergodic decomposition theorem is that the space of invariant probability measures of a topological dynamical system, endowed with the weak^∗ topology, is a non-empty metrizable Choquet simplex. We show that every non-empty metrizable Choquet simplex arises as the space of invariant probability measures on the post-critical set of a logistic map. Here, the post-critical set of a logistic map is the ω-limit set of its unique critical point. In fact we show the logistic map f can be taken in such a way that its post-critical set is a Cantor set where f   is minimal, and such that each invariant probability measure on this set has zero Lyapunov exponent, and is an equilibrium state for the potential −ln|f^′|$-\ln |f^{\prime }|$.     

Best approximation theorems for nonexpansive and condensing mappings in hyperconvex spaces

In hyperconvex metric spaces we consider best approximation, invariant approximation and best proximity pair problems for multivalued mappings that are condensing or nonexpansive.     

Embedding paratopological groups into topological products

We show that a Hausdorff paratopological group G admits a topological embedding as a subgroup into a topological product of Hausdorff first-countable (second-countable) paratopological groups if and only if G is ω-balanced (totally ω-narrow) and the Hausdorff number of G is countable, i.e., for every neighbourhood U of the neutral element e of G there exists a countable family γ of neighbourhoods of e such that _?V∈γVV−1⊆U. Similarly, we prove that a regular paratopological group G can be topologically embedded as a subgroup into a topological product of regular first-countable (second-countable) paratopological groups if and only if G is ω-balanced (totally ω-narrow) and the index of regularity of G is countable.As a by-product, we show that a regular totally ω-narrow paratopological group with countable index of regularity is Tychonoff.     

Endpoints of set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and strict contractions in uniform spaces

In this paper, we introduce the concepts of the set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and set-valued dynamical systems of strict contractions in uniform spaces and we present a method which is useful for establishing conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions. The result, concerning the investigations of problems of the set-valued asymptotic fixed point theory, include some well-known results of Meir and Keeler, Kirk and Suzuki concerning the asymptotic fixed point theory of single-valued maps in metric spaces. The result, concerning set-valued strict contractions (in which the contractive coefficient is not constant), is different from the result of Yuan concerning the existence of endpoints of Tarafdar–Vyborny generalized contractions (in which the contractive coefficient is constant) in bounded metric spaces and provides some examples of Tarafdar–Yuan topological contractions in compact uniform spaces. Definitions and results presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our results and the well-known ones.     

Endpoints of set-valued contractions in metric spaces

Suppose (X,d) be a complete metric space, and suppose F:X→CB(X) be a set-valued map satisfies H(Fx,Fy)≤ψ(d(x,y)), , where ψ:[0,∞)→[0,∞) is upper semicontinuous, ψ(t)<t for each t>0 and satisfies lim inf_t→∞(t−ψ(t))>0. Then F has a unique endpoint if and only if F has the approximate endpoint property.     

Topological-algebraic properties of function spaces with set-open topologies

For a Tychonoff space X, we denote by Cλ(X) the space of all real-valued continuous functions on X with set-open topology. In this paper, we study the topological-algebraic properties of Cλ(X). Our main results state that (1) Cλ(X) is a topological vector space (a topological group) iff λ is a family of C-compact sets and Cλ(X)=Cλ^′(X), where λ^′ consists of all C-compact subsets of every set of λ. In particular, if Cλ(X) is a topological group, then the set-open topology coincides with the topology of uniform convergence on a family λ; (2) a topological group Cλ(X) is ω-narrow iff λ is a family of metrizable compact subsets of X.     

Some common fixed point theorems for Banach operator pairs with applications in best approximation

The ordered pair (T,I) of two self-maps of a metric space (X,d) is called a Banach operator pair if the set F(I) of fixed points of I is T-invariant i.e. T(F(I))⊆F(I). Some common fixed point theorems for a Banach operator pair and the existence of common fixed points of best approximation are presented in this paper. The results prove, generalize and extend some results of Al-Thagafi [M.A. Al-Thagafi, Common fixed points and best approximation, J. Approx. Theory 85 (1996) 318-323], Carbone [A. Carbone, Applications of fixed point theorems, Jnanabha 19 (1989) 149-155], Chen and Li [J. Chen, Z. Li, Common fixed points for Banach operator pairs in best approximations, J. Math. Anal. Appl. 336 (2007) 1466-1475], Habiniak [L. Habiniak, Fixed point theorems and invariant approximation, J. Approx. Theory 56 (1989) 241-244], Jungck and Sessa [G. Jungck, S. Sessa, Fixed point theorems in best approximation theory, Math. Japon. 42 (1995) 249-252], Sahab, Khan and Sessa [S.A. Sahab, M.S. Khan, S. Sessa, A result in best approximation theory, J. Approx. Theory 55 (1988) 349-351], Shahzad [N. Shahzad, Invariant approximations and R-subweakly commuting maps, J. Math. Anal. Appl. 257 (2001) 39-45] and of few others.     

Expansive self-homeomorphisms on G-spaces

Beginning with examples, the notion ofG-expansiveness over a metric spaceX on which a topological groupG acts is introduced. Some conditions are determined under which expansiveness onX impliesG-expansiveness. A characterization of aG-expansive homeomorphism is obtained which in turn gives a sufficient condition for the homeomorphic extension of aG-expansive homeomorphism to beG-expansive. At the end, some results are stated in the form of concluding remarks.