A fixed point result in strictly convex Banach spaces

We define an alternate convexically nonexpansive map T on a bounded, closed, convex subset C of a Banach space X and prove that if X is a strictly convex Banach space and C is a nonempty weakly compact convex subset of X, then every alternate convexically nonexpansive map T : C → C has a fixed point. As its application, we give an existence result for the solution of an integral equation.     

On countable bounded tightness for spaces Cp(X)

It is well known that the space C_p([0,1]) has countable tightness but it is not Fréchet-Urysohn. Let X be a Cech-complete topological space. We prove that the space C_p(X) of continuous real-valued functions on X endowed with the pointwise topology is Fréchet-Urysohn if and only if C_p(X) has countable bounded tightness, i.e., for every subset A of C_p(X) and every x in the closure of A in C_p(X) there exists a countable and bounding subset of A whose closure contains x. We study also the problem when the weak topology of a locally convex space has countable bounded tightness. Additional results in this direction are provided.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

Compactifications determined by subsets of C1(X)

It is well known that every compactification of a completely regular space X can be generated, via a Tychonoff-type embedding, by some suitably chosen subset of C¹(X). Different subsets may give rise to equivalent compactifications, and we are concerned with the problem of finding all subsets of C¹(X) which yield a given compactification αX. The problem is easier if generalized: we say that a subset F of C¹(X) “determines” the compactification αX if αX is the smallest compactification to which every element of F extends, and give a simple necessary and sufficient condition for F to determine a given compactification αX. A number of sufficient conditions for two sets to determine the same compactification are given, and the relation between sets which determine αX and those which generate αX (via an embedding) is considered. Generally, a much smaller set of functions is required to determine αX than to generate it; the number needed to determine αX is never more than the weight of αX?X, while the number required to generate it is, if infinite, equal to the weight of αX.     

Fixed point theorems for multivalued nonexpansive mappings satisfying inwardness conditions

Let X be a Banach space whose characteristic of noncompact convexity is less than 1 and satisfies the nonstrict Opial condition. Let C be a bounded closed convex subset of X, KC(X) the family of all compact convex subsets of X and T a nonexpansive mapping from C into KC(X) with bounded range. We prove that T has a fixed point. The nonstrict Opial condition can be removed if, in addition, T is an 1-χ-contractive mapping.     

The notion of o-tightness and C-embedded subspaces of products

We consider the question: when is a dense subset of a space XC-embedded in X? We introduce the notion of o-tightness and prove that if each finite subproduct of a product X = Π_α?AX_α has a countable o-tightness and Y is a subset of X such that π_B(Y) = Π_α?BX_α for every countable B ? A, then Y is C-embedded in X. This result generalizes some of Noble and Ulmer's results on C-embedding.     

Integral extensions on rings of continuous functions

Let π:X→Y be a surjective continuous map between Tychonoff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with finiteness properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map π:X→Y. The main result says that, for X a compact subset of Rn, the extension C(Y)⊆C(X) is integral if and only if X decomposes into a finite union of closed subsets such that π is injective on each one of them.     

Some generic properties of α-nonexpansive mappings

Let X be a Banach space, C a bounded closed subset of X, A a convex closed subset of X, $\text{E}$ a complete metric space formed by all α-nonexpansive mappings fC → A and $\text{M}$ a complete metric space formed by α-nonexpansive differentiable mappings fC → X. The following assertions are proved in this paper: (1) Properness of I ? f is a generic property in $\text{E}$ (2)the subset of $\text{E}$ formed by all α-contractive mappings is of Baire first category in $\text{E}$; and (3) for every y?X, the functional equation x ? f(x) = y has generically a finite number of solutions for f in $\text{M}$. Some applications to the fixed point theory and calculation of the topological degree are given.     

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.     

Uniformly normal structure and uniformly Lipschitzian semigroups

Assume that X is a real Banach space with uniformly normal structure and C is a nonempty closed convex subset of X. We show that a κ-uniformly Lipschitzian semigroup of nonlinear self-mappings of C admits a common fixed point if the semigroup has a bounded orbit and if κ is appropriately greater than one. This result applies, in particular, to the framework of uniformly convex Banach spaces.     

When is c(x) a Clean Ring?

An element of a ring R is called clean if it is the sum of a unit and an idempotent and a subset A of R is called clean if every element of A is clean. A topological characterization of clean elements of C(X) is given and it is shown that C(X) is clean if and only if X is strongly zero-dimensional, if and only if there exists a clean prime ideal in C(X). We will also characterize topological spaces X for which the ideal C_K(X) is clean. Whenever X is locally compact, it is shown that C_K(X) is clean if and only if X is zero-dimensional.     

A subanalytic triangulation theorem for real analytic orbifolds

Let X be a real analytic orbifold. Then each stratum of X is a subanalytic subset of X. We show that X has a unique subanalytic triangulation compatible with the strata of X. We also show that every Cr-orbifold, 1?r?∞, has a real analytic structure. This allows us to triangulate differentiable orbifolds. The results generalize the subanalytic triangulation theorems previously known for quotient orbifolds.     

Solution of fuzzy equations with extended operations

Assuming that 1 is any operation defined on a product set X × Y and taking values on a set Z, it can be extended to fuzzy sets by means of Zadeh's extension principle. Given a fuzzy subset C of Z, it is here shown how to solve the equation $\text{A 1 B = C}$ (or $\text{A 1 B ? C}$) when a fuzzy subset A of X (or a fuzzy subset B of Y) is given. The methodology we provide includes, as a special case, the resolution of fuzzy arithmetical operations, i.e. when 1 stands for +, ?, × or ÷, extended to fuzzy numbers (fuzzy subsets of the real line). The paper is illustrated with several examples in fuzzy arithmetic.     

A note on measures of nonconvexity

We define the Hausdorff measure of nonconvexity β(C) of a nonempty bounded subset C of a Banach space X as the Hausdorff distance of C to the family of all the nonempty convex bounded subsets of X. We compare the measure β with the Eisenfeld-Lakshmikantham measure of nonconvexity α and prove that the two measures are equivalent (β≤α≤2β), but in general they are different.     

Fixed point iteration processes for asymptotic pointwise nonexpansive mappings in Banach spaces

Let X be a uniformly convex Banach space with the Opial property. Let T:C→C be an asymptotic pointwise nonexpansive mapping, where C is bounded, closed and convex subset of X. In this paper, we prove that the generalized Mann and Ishikawa processes converge weakly to a fixed point of T. In addition, we prove that for compact asymptotic pointwise nonexpansive mappings acting in uniformly convex Banach spaces, both processes converge strongly to a fixed point.     

Normality of products of monotonically normal spaces with compact spaces

Let S be the class of all spaces, each of which is homeomorphic to a stationary subset of a regular uncountable cardinal (depending on the space). In this paper, we prove the following result: The product X×C of a monotonically normal space X and a compact space C is normal if and only if S×C is normal for each closed subspace S in X belonging to S. As a corollary, we obtain the following result: If the product of a monotonically normal space and a compact space is orthocompact, then it is normal.     

Boundedly connected sets and the distance to the intersection of two sets

We prove that if (X,d) is a metric space, C is a closed subset of X and x∈X, then the distance of x to R∩S agrees with the maximum of the distances of x to R and S, for every closed subsets R,S⊂C such that C=R∪S, if and only if C is x-boundedly connected.     

Universal terms of complexity three

If there is a function g such that g ^m mapsX/C bijectively ontoX, wherem is a positive integer and whereC is a finite subset ofX, thenm is a factor of |C|. This fact serves to establish the necessary and sufficient conditions for the wordA ^kB^mAⁿ to represent the successor and the predecessor functions on ε. These conditions entail that there is no nontrivial point universal word of complexity three.     

Dunford-Pettis property

The following theorem is proved. If a locally convex space, quasi-complete for Mackey topology, has D-P (Dunford-Pettis) property then it has strict D-P property. Conversely, if (E′, σ(E′, E)) has a σ-compact dense subset and E has strict D-P property, then it has D-P property. Also it is proved that (C_b(X),$\text{F}$) where F=β₀, β, orβ₁, has strict D-P property and (C_b(X), β₀) has D-P property; if X contains a σ-compact dense subset then (C_b(X), β) and (C_b(X), β₁) have D-P property.     

Moscow spaces and selection theory

A well-known result on Moscow spaces states that every Gδ-dense subset of a Moscow space X is C-embedded in X. We present here the selection version of this result and also (by means of two different approaches) we use selection theory to characterize the open bounded subsets of a uniform space (X,U) in the case when its completion is a Moscow space.