Search results for "Equivalence"
showing 10 items of 301 documents
Logics with counting and equivalence
2014
We consider the two-variable fragment of first-order logic with counting, subject to the stipulation that a single distinguished binary predicate be interpreted as an equivalence. We show that the satisfiability and finite satisfiability problems for this logic are both NEXPTIME-complete. We further show that the corresponding problems for two-variable first-order logic with counting and two equivalences are both undecidable.
Equivalence classes of permutations modulo descents and left-to-right maxima
2014
Abstract In a recent paper [2], the authors provide enumerating results for equivalence classes of permutations modulo excedances. In this paper we investigate two other equivalence relations based on descents and left-to-right maxima. Enumerating results are presented for permutations, involutions, derangements, cycles and permutations avoiding one pattern of length three.
Closedness and lower semicontinuity of positive sesquilinear forms
2009
The relationship between the notion of closedness, lower semicontinuity and completeness (of a quotient) of the domain of a positive sesquilinear form defined on a subspace of a topological vector space is investigated and sufficient conditions for their equivalence are given.
Metric or partial metric spaces endowed with a finite number of graphs: a tool to obtain fixed point results
2014
Abstract We give some fixed point theorems in the setting of metric spaces or partial metric spaces endowed with a finite number of graphs. The presented results extend and improve several well-known results in the literature. In particular, we discuss a Caristi type fixed point theorem in the setting of partial metric spaces, which has a close relation to Ekelandʼs principle.
Fixed points and completeness on partial metric spaces
2015
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. Paesano and Vetro [D. Paesano and P. Vetro, Suzuki's type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces, Topology Appl., 159 (2012), 911-920] proved an analogous fixed point result for a selfmapping on a partial metric space that characterizes the partial metric 0-completeness. In this paper we prove a fixed point result for a new class of…
Common fixed points of generalized contractions on partial metric spaces and an application
2011
Abstract In this paper, common fixed point theorems for four mappings satisfying a generalized nonlinear contraction type condition on partial metric spaces are proved. Presented theorems extend the very recent results of I. Altun, F. Sola and H. Simsek [Generalized contractions on partial metric spaces, Topology and its applications 157 (18) (2010) 2778–2785]. As application, some homotopy results for operators on a set endowed with a partial metric are given.
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.
General aggregation operators based on a fuzzy equivalence relation in the context of approximate systems
2016
Our paper deals with special constructions of general aggregation operators, which are based on a fuzzy equivalence relation and provide upper and lower approximations of the pointwise extension of an ordinary aggregation operator. We consider properties of these approximations and explore their role in the context of extensional fuzzy sets with respect to the corresponding equivalence relation. We consider also upper and lower approximations of a t-norm extension of an ordinary aggregation operator. Finally, we describe an approximate system, considering the lattice of all general aggregation operators and the lattice of all fuzzy equivalence relations.
Multi-valued $$F$$ F -contractions in 0-complete partial metric spaces with application to Volterra type integral equation
2013
We study the existence of fixed points for multi-valued mappings that satisfy certain generalized contractive conditions in the setting of 0-complete partial metric spaces. We apply our results to the solution of a Volterra type integral equation in ordered 0-complete partial metric spaces.