scholarly journals On the Bourbaki–Witt principle in toposes

2013 ◽  
Vol 155 (1) ◽  
pp. 87-99 ◽  
Author(s):  
ANDREJ BAUER ◽  
PETER LEFANU LUMSDAINE
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Chain Complete ◽  
A Chain

AbstractThe Bourbaki–Witt principle states that any progressive map on a chain-complete poset has a fixed point above every point. It is provable classically, but not intuitionistically.We study this and related principles in an intuitionistic setting. Among other things, we show that Bourbaki–Witt fails exactly when the trichotomous ordinals form a set, but does not imply that fixed points can always be found by transfinite iteration. Meanwhile, on the side of models, we see that the principle fails in realisability toposes, and does not hold in the free topos, but does hold in all cocomplete toposes.

scholarly journals Recurrence and fixed points of surface homeomorphisms

1988 ◽  
Vol 8 (8) ◽  
pp. 99-107 ◽  
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Lebesgue Measure ◽  
Invariant Chain ◽  
Transitive Set ◽  
Surface Homeomorphisms ◽  
A Chain ◽  
Area Preserving ◽  
Twist Condition

AbstractWe prove that if f is a homeomorphism of the annulus which is homotopic to the identity and has a compact invariant chain transitive set L, then either f has a fixed point or every point of L moves uniformly in one direction: clockwise or counterclockwise. If f is area-preserving, then the annulus itself is a chain transitive set, so, in the presence of a boundary twist condition, one obtains a fixed point. The same techniques apply to homeomorphisms of the torus T2. In this setting we show that if f is homotopic to the identity, preserves Lebesgue measure and has mean translation 0, then it has at least one fixed point.

A new Ф-generalized quasi metric space with some fixed point results and applications

Filomat ◽  
2017 ◽  
Vol 31 (11) ◽  
pp. 3157-3172
Author(s):  
Mujahid Abbas ◽  
Bahru Leyew ◽  
Safeer Khan
Keyword(s):  
Fixed Point ◽  
Differential Equations ◽  
Fixed Points ◽  
Periodic Solutions ◽  
Metric Space ◽  
Delay Differential Equations ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
Existence Of Periodic Solutions ◽  
Delay Differential

In this paper, the concept of a new ?-generalized quasi metric space is introduced. A number of well-known quasi metric spaces are retrieved from ?-generalized quasi metric space. Some general fixed point theorems in a ?-generalized quasi metric spaces are proved, which generalize, modify and unify some existing fixed point theorems in the literature. We also give applications of our results to obtain fixed points for contraction mappings in the domain of words and to prove the existence of periodic solutions of delay differential equations.

Coincidence and fixed points for hybrid tangential maps

2010 ◽  
Vol 17 (2) ◽  
pp. 273-285
Author(s):  
Tayyab Kamran ◽  
Quanita Kiran
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Common Property ◽  
Fixed Point Theorems ◽  
Acta Math ◽  
Contractive Condition ◽  
The Common

Abstract In [Int. J. Math. Math. Sci. 2005: 3045–3055] by Liu et al. the common property (E.A) for two pairs of hybrid maps is defined. Recently, O'Regan and Shahzad [Acta Math. Sin. (Engl. Ser.) 23: 1601–1610, 2007] have introduced a very general contractive condition and obtained some fixed point results for hybrid maps. We introduce a new property for pairs of hybrid maps that contains the property (E.A) and obtain some coincidence and fixed point theorems that extend/generalize some results from the above-mentioned papers.

scholarly journals Solution of Some Impulsive Differential Equations via Coupled Fixed Point

Symmetry ◽  
2021 ◽  
Vol 13 (3) ◽  
pp. 501
Author(s):  
Ahmed Boudaoui ◽  
Khadidja Mebarki ◽  
Wasfi Shatanawi ◽  
Kamaleldin Abodayeh
Keyword(s):  
Fixed Point ◽  
Differential Equations ◽  
Fixed Points ◽  
Metric Space ◽  
Fixed Point Theorems ◽  
Coupled Fixed Point ◽  
Sufficient Conditions ◽  
Impulsive Differential Equations ◽  
System Of Differential Equations ◽  
Coupled Fixed Points

In this article, we employ the notion of coupled fixed points on a complete b-metric space endowed with a graph to give sufficient conditions to guarantee a solution of system of differential equations with impulse effects. We derive recisely some new coupled fixed point theorems under some conditions and then apply our results to achieve our goal.

scholarly journals CONFORMAL HOUSE

2010 ◽  
Vol 25 (24) ◽  
pp. 4603-4621 ◽  
Author(s):  
THOMAS A. RYTTOV ◽  
FRANCESCO SANNINO
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Gauge Group ◽  
Gauge Theories ◽  
Simultaneous Presence ◽  
Consistency Check ◽  
Effective Lagrangian ◽  
Anomalous Dimensions ◽  
Mass Terms

We investigate the gauge dynamics of nonsupersymmetric SU (N) gauge theories featuring the simultaneous presence of fermionic matter transforming according to two distinct representations of the underlying gauge group. We bound the regions of flavors and colors which can yield a physical infrared fixed point. As a consistency check we recover the previously investigated bounds of the conformal windows when restricting to a single matter representation. The earlier conformal windows can be imagined to be part now of the new conformal house. We predict the nonperturbative anomalous dimensions at the infrared fixed points. We further investigate the effects of adding mass terms to the condensates on the conformal house chiral dynamics and construct the simplest instanton induced effective Lagrangian terms.

scholarly journals Common fixed points of single-valued and multivalued maps

2005 ◽  
Vol 2005 (19) ◽  
pp. 3045-3055 ◽  
Author(s):  
Yicheng Liu ◽  
Jun Wu ◽  
Zhixiang Li
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Common Fixed Point ◽  
Fixed Point Theorems ◽  
Common Fixed Points ◽  
Partial Answer ◽  
Multivalued Maps ◽  
Hybrid Pair ◽  
Common Fixed Point Theorems

We define a new property which contains the property (EA) for a hybrid pair of single- and multivalued maps and give some new common fixed point theorems under hybrid contractive conditions. Our results extend previous ones. As an application, we give a partial answer to the problem raised by Singh and Mishra.

scholarly journals Fixed Points of Geraghty-Type Mappings in Various Generalized Metric Spaces

2011 ◽  
Vol 2011 ◽  
pp. 1-13 ◽  
Author(s):  
Dušan Ðukić ◽  
Zoran Kadelburg ◽  
Stojan Radenović
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
Partial Metric ◽  
Generalized Metric Spaces ◽  
Generalized Metric ◽  
Partial Metric Spaces ◽  
Type Spaces

Fixed point theorems for mappings satisfying Geraghty-type contractive conditions are proved in the frame of partial metric spaces, ordered partial metric spaces, and metric-type spaces. Examples are given showing that these results are proper extensions of the existing ones.

scholarly journals Applications of Fixed Point Theorems to Generalized Saddle Points of Bifunctions on Chain-Complete Posets

2014 ◽  
Vol 2014 ◽  
pp. 1-7
Author(s):  
Jinlu Li ◽  
Ying Liu ◽  
Hongya Gao
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Topological Structure ◽  
Fixed Point Theorems ◽  
Equilibrium Problems ◽  
Saddle Points ◽  
Order Relation ◽  
Partial Order Relation ◽  
Chain Complete ◽  
Set Valued Mappings

We apply the extensions of the Abian-Brown fixed point theorem for set-valued mappings on chain-complete posets to examine the existence of generalized and extended saddle points of bifunctions defined on posets. We also study the generalized and extended equilibrium problems and the solvability of ordered variational inequalities on posets, which are equipped with a partial order relation and have neither an algebraic structure nor a topological structure.

Fixed Points for Dissipative-Repulsive Systems and Topological Dynamics of Mappings Defined on N-dimensional Cells

2005 ◽  
Vol 5 (3) ◽  
Author(s):  
Marina Pireddu ◽  
Fabio Zanolin
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Fixed Points ◽  
Point Theorem ◽  
Topological Dynamics ◽  
Continuous Mappings ◽  
Expansion Condition ◽  
Dimensional Cell

AbstractWe prove a fixed point theorem for continuous mappings which satisfy a compression-expansion condition on the boundary of a N-dimensional cell of ℝ

Fixed point theorems for expansive mappings in Gp-metric spaces

2017 ◽  
Vol 26 (3) ◽  
pp. 297-308
Author(s):  
MELTEM KAYA ◽  
◽  
HASAN FURKAN ◽  
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Common Fixed Point ◽  
Metric Space ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
Partial Metric ◽  
Expansive Mapping ◽  
Partial Metric Spaces ◽  
Weak Compatibility

In the present paper, we adopt the concept of expansive mapping in the context of Gp-metric spaces in a similar manner expansive mapping in metric spaces. Furthermore, we obtain some results on fixed points of expansive type mappings. Also, we prove some common fixed point results for expansive mappings by using the notion of weak compatibility in Gp-metric space. Our results generalize some comparable results in metric spaces and partial metric spaces to Gp-metric spaces. Moreover, some examples are introduced in order to support our new results.

Sign in / Sign up

Export Citation Format

Share Document