Common fixed points for generalized nonlinear contractive mappings in metric spaces
A family f₁,..., fₙ of operators on a complete metric space X is called contractive if there exists a positive λ < 1 such that for any x,y in X we have for some i. Austin conjectured that any commuting contractive family of operators has a common fixed point, and he proved this for the case of two operators. We show that Austin’s conjecture is true for three operators, provided that λ is sufficiently small.
If is a space that can be mapped onto a metric space by a one-to-one mapping, then is said to have a weaker metric topology. In this paper, we give characterizations of sequence-covering compact images and sequentially-quotient compact images of spaces with a weaker metric topology. The main results are that (1) is a sequence-covering compact image of a space with a weaker metric topology if and only if has a sequence of point-finite -covers such that for each . (2) is a sequentially-quotient...
The definition of n-width of a bounded subset A in a normed linear space X is based on the existence of n-dimensional subspaces. Although the concept of an n-dimensional subspace is not available for metric trees, in this paper, using the properties of convex and compact subsets, we present a notion of n-widths for a metric tree, called Tn-widths. Later we discuss properties of Tn-widths, and show that the compact width is attained. A relationship between the compact widths and Tn-widths is also...
A bijective correspondence between strong inclusions and compactifications in the setting of -frames is presented. The category of uniform -frames is defined and a description of the Samuel compactification is given. It is shown that the Samuel compactification of a uniform frame is completely determined by the -frame consisting of its uniform cozero part, and consequently, any compactification of any frame is so determined.
We study homeomorphism groups of metrizable compactifications of ℕ. All of those groups can be represented as almost zero-dimensional Polishable subgroups of the group . As a corollary, we show that all Polish groups are continuous homomorphic images of almost zero-dimensional Polishable subgroups of . We prove a sufficient condition for these groups to be one-dimensional and also study their descriptive complexity. In the last section we associate with every Polishable ideal on ℕ a certain Polishable...
In this article, we mainly formalize in Mizar [2] the equivalence among a few compactness definitions of metric spaces, norm spaces, and the real line. In the first section, we formalized general topological properties of metric spaces. We discussed openness and closedness of subsets in metric spaces in terms of convergence of element sequences. In the second section, we firstly formalize the definition of sequentially compact, and then discuss the equivalence of compactness, countable compactness,...