scholarly journals On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

2021 ◽  
Author(s):  
Paolo Pistone
Keyword(s):  
Metric Spaces ◽  
Lambda Calculus ◽  
Generalized Metric Spaces ◽  
Typed Lambda Calculus ◽  
Generalized Metric

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 A fixed point theorem for generalized metric spaces

1996 ◽  
Vol 19 (3) ◽  
pp. 457-460 ◽  
Author(s):  
B. E. Rhoades
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
Generalized Metric Spaces ◽  
Generalized Metric

In this paper we prove two fixed point theorems for the generalized metric spaces introduced by Dhage.

scholarly journals On Weak Contractive Cyclic Maps in Generalized Metric Spaces and Some Related Results on Best Proximity Points and Fixed Points

2016 ◽  
Vol 2016 ◽  
pp. 1-14 ◽  
Author(s):  
M. De la Sen
Keyword(s):  
Fixed Points ◽  
Metric Spaces ◽  
Nonempty Intersection ◽  
Generalized Metric Spaces ◽  
Best Proximity Points ◽  
Generalized Metric ◽  
Cyclic Maps ◽  
Convergence Of Sequences ◽  
Composite Maps ◽  
Decreasing Functions

This paper discusses the properties of convergence of sequences to limit cycles defined by best proximity points of adjacent subsets for two kinds of weak contractive cyclic maps defined by composite maps built with decreasing functions with either the so-calledr-weaker Meir-Keeler orr,r0-stronger Meir-Keeler functions in generalized metric spaces. Particular results about existence and uniqueness of fixed points are obtained for the case when the sets of the cyclic disposal have a nonempty intersection. Illustrative examples are discussed.

Fixed point of contractive mappings in generalized metric spaces

2009 ◽  
Vol 59 (4) ◽  
Author(s):  
Pratulananda Das ◽  
Lakshmi Dey
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Metric Spaces ◽  
Generalized Metric Spaces ◽  
Contractive Mappings ◽  
Generalized Metric

AbstractWe prove a fixed point theorem for contractive mappings of Boyd and Wong type in generalized metric spaces, a concept recently introduced in [BRANCIARI, A.: A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces, Publ. Math. Debrecen 57 (2000), 31–37].

Sign in / Sign up

Export Citation Format

Share Document