Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators

We define Sahlqvist fixed point equations and relativized fixed point Boolean algebras with operators (relativized fixed point BAOs). We show that every Sahlqvist fixed point equation is preserved under completions of conjugated relativized fixed point BAOs. This extends the result of Givant and Venema (1999) to the setting of relativized fixed point BAOs.     

Distortion and stability of the fixed point property for non-expansive mappings

Let X be a Banach space. We say that X satisfies the fixed point property (weak fixed point property) if every non-expansive mapping defined from a convex closed bounded (convex weakly compact) subset of X into itself has a fixed point. We say that X satisfies the stable fixed point property (stable weak fixed point property) if the same is true for every equivalent norm which is close enough to the original one. Denote by P(X) the set formed by all equivalent norms with the topology of the uniform convergence on the unit ball of X. We prove that the subset of P(X) formed by the norms failing the fixed point property is dense in P(X) when X is a non-distortable space which fails the fixed point property. In particular, no renorming of ?₁ can satisfy the stable fixed point property. Furthermore, we show some examples of distortable spaces failing the weak fixed point property, which can be renormed to satisfy the stable weak fixed point property. As a consequence we prove that every separable Banach space can be renormed to satisfy the stable weak fixed point property.     

Generalized KKM theorems and common fixed point theorems

In this paper, we first prove a generalized KKM theorem, and then use this generalized KKM theorem to establish the generalized equi-KKM theorem, common fixed point theorems for a family of multivalued maps, and the Kakutani-Fan-Glicksberg fixed point theorem. We also show that an existence theorem of the common fixed point theorem is equivalent to the Kakutani-Fan-Glicksberg fixed point theorem.     

Deleting-Inserting Theorem for smooth actions of finite nonsolvable groups on spheres

The paper presents a method which allows to construct smooth finite nonsolvable group actions on spheres with prescribed fixed point data. The idea is to consider an action on a disk with the required fixed point data, and then to apply equivariant surgery to the equivariant double of the disk to remove the second copy of the fixed point data. In this paper, the method is applied to construct smooth group actions on spheres with exactly one fixed point, and more general actions with fixed point set diffeomorphic to any given closed stably parallelizable smooth manifold. The method is expected to be useful for constructions of smooth group actions on spheres with more complicated fixed point data. 1991Mathematics Subject Classification: 57S17, 57S25, 57R67, 57R85.     

Generalizations of fixed point theorems and computation

As a powerful mechanism, fixed point theorems have many applications in mathematical and economic analysis. In this paper, the well-known Brouwer fixed point theorem and Kakutani fixed point theorem are generalized to a class of nonconvex sets and a globally convergent homotopy method is developed for computing fixed points on this class of nonconvex sets.     

The Split Common Fixed Point Problem for Directed Operators

We propose the split common fixed point problem that requires to find a common fixed point of a family of operators in one space whose image under a linear transformation is a common fixed point of another family of operators in the image space. We formulate and analyze a parallel algorithm for solving this split common fixed point problem for the class of directed operators and note how it unifies and generalizes previously discussed problems and algorithms.     

A Z/2 Descent Theorem for the Algebraic K-Theory of a Semisimple Real Algebra

On algebraic K-theory of a finite-dimensional semisimple real algebra the involution induced by an antistructure is studied. After Bousfield–Kan completion at 2, a component of the homotopy fixed point set is homotopy-equivalent to the fixed point set. The fixed point set is calculated.     

Leray-Schauder不动点定理的一个新证明

给出Leray-Schauder不动点定理的一个新证明.我们首先给出集值映射的焊接引理,利用集值映射的焊接引理和Kakutani不动点定理证明Leray-Schauder不动点定理,并证明Leray-Schauder不动点定理与Brouwer不动点定理等价.     

A fixed point theorem for the infinite-dimensional simplex

We define the infinite-dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^∞, and prove that this space has the fixed point property: any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that it can be used to find an approximate fixed point; the proof relies on elementary analysis and Sperner's lemma. The fixed point theorem is shown to imply Schauder's fixed point theorem on infinite-dimensional compact convex subsets of normed spaces.     

Forbidden retracts for finite ordered sets of width at most four

The relationship between the fixed point property and forbidden retracts associated with a forgetful functor is formulated. Finite ordered sets of width at most four with fixed point free automorphisms are described. Linear time algorithms for deciding whether a finite ordered set of width two has the fixed point property and whether a finite ordered set of width at most three has a fixed point free automorphism are presented.     

Qualitative versus quantitative fixed point techniques in computer science

In 1970, a qualitative fixed point technique useful to model the recursive specifications in denotational semantics was developed by means of the celebrated Kleene‘s fixed point theorem. Later on, in 1994 and 1995, quantitative counterparts of the aforesaid technique, but now based on generalized versions of Banach fixed point theorem, were obtained in such a way that the spirit of Kleene‘s technique was preserved. These new techniques are able to provide a measure of the information content degree and this fact has constituted an advantage with respect to the qualitative techniques. The main purpose of this paper is to discern the relationship between the aforementioned qualitative and quantitative fixed point techniques. In particular, we clarify what is the additional real contribution of the quantitative fixed point techniques with respect to the qualitative ones.     

Fixed points and coincidences of mappings of partially ordered sets

Possibility of the reduction of a coincidence problem to a fixed point problem is investigated for one-valued and multivalued mappings of partially ordered sets. New fixed point theorems are proved. Connections of the obtained results with well-known fixed point theorems and some recent results on coincidences of two mappings are considered.     

Asymptotic fixed point theory and the beer barrel theorem

In Sections 2 and 3 of this paper we refine and generalize theorems of Nussbaum (see [42]) concerning the approximate fixed point index and the fixed point index class. In Section 4 we indicate how these results imply a wide variety of asymptotic fixed point theorems. In Section 5 we prove a generalization of the mod p theorem: if p is a prime number, f belongs to the fixed point index class and f satisfies certain natural hypothesis, then the fixed point index of f ^p is congruent mod p to the fixed point index of f. In Section 6 we give a counterexample to part of an asymptotic fixed point theorem of A. Tromba [55]. Sections 2, 3, and 4 comprise both new and expository material. Sections 5 and 6 comprise new results. This paper is dedicated to Felix Browder on the occasion of his eightieth birthday and in recognition of his many contributions to nonlinear analysis     

The secant method and fixed points of nonlinear operators

Our results answer the following question: given that a mapping has a fixed point, when is it true that the Secant iterates produce a sequence of nearby points which converge to the fixed point? We assume only that the nonlinear operator has a Hölder continuous Fréchet-derivative at the fixed point.     

Polar actions with a fixed point

We prove a criterion for an isometric action of a Lie group on a Riemannian manifold to be polar. From this criterion, it follows that an action with a fixed point is polar if and only if the slice representation at the fixed point is polar and the section is the tangent space of an embedded totally geodesic submanifold. We apply this to obtain a classification of polar actions with a fixed point on symmetric spaces.     

Remarks on Caristi’s fixed point theorem and Kirk’s problem

Without assumptions on the continuity and the subadditivity of η, by means of Caristi’s fixed point theorem, we investigated the existence of fixed points for a Caristi type mapping which partially answered Kirk’s problem and improved Caristi’s fixed point theorem, Jachymski’s fixed point theorem and Khamsi’s fixed point theorem since φ is not necessarily assumed to be bounded below on X.     

Symmetry structure of the hyperbolic bifurcation without reflection of periodic orbits in the standard map

For the area preserving maps, the linearized tangent map determines the stability of the fixed point. When the trace of the tangent map is less than −2, the fixed point is inversion hyperbolic, thus the subsequent points of mapping alternate across the destabilized fixed point. That is to say, the fixed point undergoes periodic doubling bifurcation. While for the trace of the tangent map is larger than +2, the fixed point undergoes the hyperbolic bifurcation without reflection. Here, the processes of the hyperbolic bifurcation without reflection in the standard map have been examined in terms of the higher order symmetry in the momentum inversion. It is shown that the higher order symmetry lines approach asymptotically to the separatrix of the hyperbolic fixed point, and the existing symmetry lines cannot determine the structure of the periodic islands born after the hyperbolic bifurcation without reflection.     

概率度量空间中若干新的不动点定理*

本文提出了Z-M-PN空间的概念,在概率度量空间中我们得到了若干新的不动点定理。同时,一些着名的不动点定理在概率度量空间中得到了推广,诸如:Schauder不动点定理、郭大钧不动点定理和Petryshyn不动点定理被推广到M-PN空间;Altman不动点定理被推广到Z-M-PN空间。     

Strengthened fixed point property and products in ordered sets

Strengthened fixed point property for ordered sets is formulated. It is weaker than the strong fixed point property due to Duffus and Sauer and stronger than the product property meaning that A × Y has the fixed point property whenever A has the former and Y has the latter. In particular, doubly chain complete ordered sets with no infinite antichain have the strengthened fixed point property whenever they have the fixed point property, which yields a transparent proof of the well-known theorem saying that doubly chain complete ordered sets with no infinite antichain have the product property whenever they have the fixed point property. The new proof does not require the axiom of choice. Presented at the Summer School on General Algebra and Ordered Sets, Malá Morávka, 4–10 September 2005.     

Random fixed point theorems for Caristi type random operators

We iteratively generate a sequence of measurable mappings and study necessary conditions for its convergence to a random fixed point of random nonexpansive operator. A random fixed point theorem for random nonexpansive operator, relaxing the convexity condition on the underlying space, is also proved. As an application, we obtained random fixed point theorems for Caristi type random operators.