Search results for "9(39)"
showing 10 items of 677 documents
Fixed Point Theorems with Applications to the Solvability of Operator Equations and Inclusions on Function Spaces
2015
1Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia 2Department of Mathematical Analysis, University of Valencia, Spain 3Centre Universitaire Polydisciplinaire, Kelaa des Sraghna, Morocco 4Universite Cadi Ayyad, Laboratoire de Mathematiques et de Dynamique de Populations, Marrakech, Morocco 5Department of Mathematics and Computer Science, University of Palermo, Via Archirafi 34, 90123 Palermo, Italy
A note on best approximation in 0-complete partial metric spaces
2014
We study the existence and uniqueness of best proximity points in the setting of 0-complete partial metric spaces. We get our results by showing that the generalizations, which we have to consider, are obtained from the corresponding results in metric spaces. We introduce some new concepts and consider significant theorems to support this fact.
Common Fixed Points in a Partially Ordered Partial Metric Space
2013
In the first part of this paper, we prove some generalized versions of the result of Matthews in (Matthews, 1994) using different types of conditions in partially ordered partial metric spaces for dominated self-mappings or in partial metric spaces for self-mappings. In the second part, using our results, we deduce a characterization of partial metric 0-completeness in terms of fixed point theory. This result extends the Subrahmanyam characterization of metric completeness.
Characterizations of Orlicz-Sobolev Spaces by Means of Generalized Orlicz-Poincaré Inequalities
2012
Let Φ be anN-function. We show that a functionu∈LΦ(ℝn)belongs to the Orlicz-Sobolev spaceW1,Φ(ℝn)if and only if it satisfies the (generalized) Φ-Poincaré inequality. Under more restrictive assumptions on Φ, an analog of the result holds in a general metric measure space setting.
On a theorem of Khan in a generalized metric space
2013
Existence and uniqueness of fixed points are established for a mapping satisfying a contractive condition involving a rational expression on a generalized metric space. Several particular cases and applications as well as some illustrative examples are given.
Two graphs with a common edge
2014
Let G = G1 ∪ G2 be the sum of two simple graphs G1,G2 having a common edge or G = G1 ∪ e1 ∪ e2 ∪ G2 be the sum of two simple disjoint graphs G1,G2 connected by two edges e1 and e2 which form a cycle C4 inside G. We give a method of computing the determinant det A(G) of the adjacency matrix of G by reducing the calculation of the determinant to certain subgraphs of G1 and G2. To show the scope and effectiveness of our method we give some examples
Fixed points for multivalued mappings in b-metric spaces
2015
In 2012, Samet et al. introduced the notion ofα-ψ-contractive mapping and gave sufficient conditions for the existence of fixed points for this class of mappings. The purpose of our paper is to study the existence of fixed points for multivalued mappings, under anα-ψ-contractive condition of Ćirić type, in the setting of completeb-metric spaces. An application to integral equation is given.
Miscellaneous Graph Preliminaries. Part I
2021
Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles.
About Graph Complements
2020
Summary This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].
Introduction to generalized topological spaces
2011
[EN] We introduce the notion of generalized topological space (gt-space). Generalized topology of gt-space has the structure of frame and is closed under arbitrary unions and finite intersections modulo small subsets. The family of small subsets of a gt-space forms an ideal that is compatible with the generalized topology. To support the definition of gt-space we prove the frame embedding modulo compatible ideal theorem. Weprovide some examples of gt-spaces and study key topological notions (continuity, separation axioms, cardinal invariants) in terms of generalized spaces.