Search results for "QA"
showing 10 items of 1014 documents
Refined Finiteness and Degree Properties in Graphs
2020
Summary In this article the finiteness of graphs is refined and the minimal and maximal degree of graphs are formalized in the Mizar system [3], based on the formalization of graphs in [4].
Fuzzy functions: a fuzzy extension of the category SET and some related categories
2000
<p>In research Works where fuzzy sets are used, mostly certain usual functions are taken as morphisms. On the other hand, the aim of this paper is to fuzzify the concept of a function itself. Namely, a certain class of L-relations F : X x Y -&gt; L is distinguished which could be considered as fuzzy functions from an L-valued set (X,Ex) to an L-valued set (Y,Ey). We study basic properties of these functions, consider some properties of the corresponding category of L-valued sets and fuzzy functions as well as briefly describe some categories related to algebra and topology with fuzzy functions in the role of morphisms.</p>
Fixed point and homotopy results for mixed multi-valued mappings in 0-complete partial metric spaces*
2015
We give sufficient conditions for the existence of common fixed points for a pair of mixed multi-valued mappings in the setting of 0-complete partial metric spaces. An example is given to demonstrate the usefulness of our results over the existing results in metric spaces. Finally, we prove a homotopy theorem via fixed point results.
About Aczél Inequality and Some Bounds for Several Statistical Indicators
2020
In this paper, we will study a refinement of the Cauchy&ndash
JH-Operators and Occasionally Weakly g-Biased Pairs in Fuzzy Symmetric Spaces
2013
We introduce the notions of $\mathcal{JH}$-operators and occasionally weakly $g$-biased mappings in fuzzy symmetric spaces to prove common fixed point theorems for self-mappings satisfying a generalized mixed contractive condition. We also prove analogous results for two pairs of $\mathcal{JH}$-operators by assuming symmetry only on the set of points of coincidence. These results unify, extend and complement many results existing in the recent literature. We give also an application of our results to product spaces.
Milnor Number Equals Tjurina Number for Functions on Space Curves
2001
The equality of the Milnor number and Tjurina number for functions on space curve singularities, as conjectured recently by V. Goryunov, is proved. As a consequence, the discriminant in such a situation is a free divisor.
Quasi-pseudometric properties of the Nikodym-Saks space
2003
[EN] For a non-negative finite countably additive measure μ defined on the σ-field Σ of subsets of Ω, it is well known that a certain quotient of Σ can be turned into a complete metric space Σ (Ω), known as the Nikodym-Saks space, which yields such important results in Measure Theory and Functional Analysis as Vitali-Hahn-Saks and Nikodym's theorems. Here we study some topological properties of Σ (Ω) regarded as a quasi-pseudometric space.
Rearrangement and convergence in spaces of measurable functions
2007
We prove that the convergence of a sequence of functions in the space of measurable functions, with respect to the topology of convergence in measure, implies the convergence -almost everywhere ( denotes the Lebesgue measure) of the sequence of rearrangements. We obtain nonexpansivity of rearrangement on the space , and also on Orlicz spaces with respect to a finitely additive extended real-valued set function. In the space and in the space , of finite elements of an Orlicz space of a -additive set function, we introduce some parameters which estimate the Hausdorff measure of noncompactness. We obtain some relations involving these parameters when passing from a bounded set of , or , to th…
Fixed-Point Theorems in Complete Gauge Spaces and Applications to Second-Order Nonlinear Initial-Value Problems
2013
We establish fixed-point results for mappings and cyclic mappings satisfying a generalized contractive condition in a complete gauge space. Our theorems generalize and extend some fixed-point results in the literature. We apply our obtained results to the study of existence and uniqueness of solution to a second-order nonlinear initial-value problem.
Remarks on G-Metric Spaces
2013
In 2005, Mustafa and Sims (2006) introduced and studied a new class of generalized metric spaces, which are called G-metric spaces, as a generalization of metric spaces. We establish some useful propositions to show that many fixed point theorems on (nonsymmetric) G-metric spaces given recently by many authors follow directly from well-known theorems on metric spaces. Our technique can be easily extended to other results as shown in application.