Search results for "PROPERTY"

Suzukiʼs type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces

2012

Abstract Recently, Suzuki [T. Suzuki, A generalized Banach contraction principle that characterizes metric completeness, Proc. Amer. Math. Soc. 136 (2008) 1861–1869] proved a fixed point theorem that is a generalization of the Banach contraction principle and characterizes the metric completeness. In this paper we prove an analogous fixed point result for a self-mapping on a partial metric space or on a partially ordered metric space. Our results on partially ordered metric spaces generalize and extend some recent results of Ran and Reurings [A.C.M. Ran, M.C. Reurings, A fixed point theorem in partially ordered sets and some applications to matrix equations, Proc. Amer. Math. Soc. 132 (2004…

On the equivalence of McShane and Pettis integrability in non-separable Banach spaces

2009

Abstract We show that McShane and Pettis integrability coincide for functions f : [ 0 , 1 ] → L 1 ( μ ) , where μ is any finite measure. On the other hand, assuming the Continuum Hypothesis, we prove that there exist a weakly Lindelof determined Banach space X, a scalarly null (hence Pettis integrable) function h : [ 0 , 1 ] → X and an absolutely summing operator u from X to another Banach space Y such that the composition u ○ h : [ 0 , 1 ] → Y is not Bochner integrable; in particular, h is not McShane integrable.

The Monadic Quantifier Alternation Hierarchy over Grids and Graphs

2002

AbstractThe monadic second-order quantifier alternation hierarchy over the class of finite graphs is shown to be strict. The proof is based on automata theoretic ideas and starts from a restricted class of graph-like structures, namely finite two-dimensional grids. Considering grids where the width is a function of the height, we prove that the difference between the levels k+1 and k of the monadic hierarchy is witnessed by a set of grids where this function is (k+1)-fold exponential. We then transfer the hierarchy result to the class of directed (or undirected) graphs, using an encoding technique called strong reduction. It is notable that one can obtain sets of graphs which occur arbitrar…

A stronger Dunford-Pettis property

2008

Codimension and colength sequences of algebras and growth phenomena

2015

We consider non necessarily associative algebras over a field of characteristic zero and their polynomial identities. Here we describe some of the results obtained in recent years on the sequence of codimensions and the sequence of colengths of an algebra.

Property (R) under perturbations

2012

Property (R) holds for a bounded linear operator $${T \in L(X)}$$ , defined on a complex infinite dimensional Banach space X, if the isolated points of the spectrum of T which are eigenvalues of finite multiplicity are exactly those points λ of the approximate point spectrum for which λI − T is upper semi-Browder. In this paper we consider the permanence of this property under quasi nilpotent, Riesz, or algebraic perturbations commuting with T.

The existence of best proximity points in metric spaces with the property UC

2009

Abstract Eldred and Veeramani in [A.A. Eldred, P. Veeramani, Existence and convergence of best proximity points, J. Math. Anal. Appl., 323 (2006), 1001–1006. MR2260159] proved a theorem which ensures the existence of a best proximity point of cyclic contractions in the framework of uniformly convex Banach spaces. In this paper we introduce a notion of the property UC and extend the Eldred and Veeramani theorem to metric spaces with the property UC.

A Newman property for BLD-mappings

2019

We define a Newman property for BLD-mappings and prove that for a BLD-mapping between generalized manifolds equipped with complete path-metrics, this property is equivalent to the branch set being porous when the codomain is LLC. peerReviewed

The Separable Complementation Property and Mrówka Compacta

2017

We study the separable complementation property for $C(K_{\cal A})$ spaces when $K_{\cal A}$ is the Mr\'owka compact associated to an almost disjoint family ${\cal A}$ of countable sets. In particular we prove that, if ${\cal A}$ is a  generalized ladder system,  then $C(K_{\cal A})$ has the separable complementation property ($SCP$ for short) if and only if it has the controlled version of this property. We also show that, when ${\cal A}$ is  a maximal generalized ladder system, the space $C(K_{\cal A})$ does not enjoy the $SCP$.

A note on Sturmian words

2012

International audience; We describe an algorithm which, given a factor of a Sturmian word, computes the next factor of the same length in the lexicographic order in linear time. It is based on a combinatorial property of Sturmian words which is related with the Burrows-Wheeler transformation.