This paper nishes the series 12, 16, 17] of papers that aim to show the existence of non-trivial group actions (\symmetries") on certain classes of manifolds. More speciically, we ask whether there is a semifree smooth action of the circle group T = S 1 { resp., a non-trivial action of a cyclic group Z=p; p a prime { on a given manifold X with a xed point set of a given rational homotopy type F...

Dijkstra and Scholten have formulated a theorem stating that all disjunctivity properties of a predicate transformer are preserved by the construction of least preex points. An alternative proof of their theorem is presented based on two fundamental xed point theorems, the abstraction theorem and the fusion theorem, and the fact that suprema in a lattice are deened by a Galois connection. The a...

Digital mobile systems are sensitive to power consumption, chip size and costs. Therefore they are realized using xed-point architectures, either dedicated HW or xed-point processors. On the other hand, system design starts from a oating-point description. These requirements have been the motivation for FRIDGE , a design environment for the speci cation, evaluation and implementation of xed-poi...

in this paper, we prove a common fixed point theorem for six mappings (two set valued and four single valued mappings) without assuming compatibility and continuity of any mapping on non complete metric spaces. to prove the theorem, we use a non compatible condition, that is, weak commutativity of type (kb). we show that completeness of the whole space is not necessary for the existence and uni...

This utility software automatically converts a oating-point digital signal processing program written in C or C++ language to a xed-point program. The conversion is conducted by deening a new xed-point data class and utilizing the operator overloading characteristic of the C++ language. A generalized xed-point format which consists of the wordlength, integer wordlength, sign, overrow, and quati...

In this paper we introduce a generalization of Meir-Keeler contraction forrandom mapping T : Ω×C → C, where C be a nonempty subset of a Banachspace X and (Ω,Σ) be a measurable space with being a sigma-algebra of sub-sets of. Also, we apply such type of random fixed point results to prove theexistence and unicity of a solution for an special random integral equation.

in this paper, tripled coincidence points of mappings satisfying  -contractive conditions in the framework of partially ordered gb-metric spaces are obtained. our results extend the results of aydi et al. [h. aydi, e. karapnar and w. shatanawi, tripled xed point results in generalized metric space, j. applied math., volume 2012, article id 314279, 10 pages]. moreover, some examples of the mai...

In 1929, Knaster et al. 1 had proved the well-known KKM theorem on n-simplex. Besides, in 1961, Fan 2 had generalized the KKM theorem to an infinite dimensional topological vector space. Later, Amini et al. 3 had introduced the class of KKM-typemappings onmetric spaces and established some fixed point theorems for this class. In this paper, we define a weaker Meir-Keeler type function and estab...

In this paper, we concerned with positive solutions for higher order m-point nonlinear fractional boundary value problems with integral boundary conditions. We establish the criteria for the existence of at least one, two and three positive solutions for higher order m-point nonlinear fractional boundary value problems with integral boundary conditions by using a result from the theory of fixed...

In this paper, we will establish some xed point results for two pairs of self mappings satisfying generalized contractive condition by using a new concept as weak subsequential continuity with compatibility of type (E) in metric spaces, as an application the existence of unique common solution for a system of functional equations arising in system programming is proved.