Search results for " set"
showing 10 items of 2095 documents
Coupled fixed point, F-invariant set and fixed point of N-order
2010
In this paper, we establish some new coupled fixed point theorems in complete metric spaces, using a new concept of $F$-invariant set. We introduce the notion of fixed point of $N$-order as natural extension of that of coupled fixed point. As applications, we discuss and adapt the presented results to the setting of partially ordered cone metric spaces. The presented results extend and complement some known existence results from the literature.
Termination of a set of rules modulo a set of equations
2006
The problem of termination of a set R of rules modulo a set E of equations, called E-termination problem, arises when trying to complete the set of rules in order to get a Church-Rosser property for the rules modulo the equations. We first show here that termination of the rewriting relation and E-termination are the same whenever the used rewriting relation is E-commuting, a property inspired from Peterson and Stickel’s E-compatibility property. More precisely, their results can be obtained by requiring termination of the rewriting relation instead of E-termination if E-commutation is used instead of E-compatibility. When the rewriting relation is not E-commuting, we show how to reduce E-t…
Defining relations of minimal degree of the trace algebra of 3×3 matrices
2008
Abstract The trace algebra C n d over a field of characteristic 0 is generated by all traces of products of d generic n × n matrices, n , d ⩾ 2 . Minimal sets of generators of C n d are known for n = 2 and n = 3 for any d as well as for n = 4 and n = 5 and d = 2 . The defining relations between the generators are found for n = 2 and any d and for n = 3 , d = 2 only. Starting with the generating set of C 3 d given by Abeasis and Pittaluga in 1989, we have shown that the minimal degree of the set of defining relations of C 3 d is equal to 7 for any d ⩾ 3 . We have determined all relations of minimal degree. For d = 3 we have also found the defining relations of degree 8. The proofs are based …
Topological direct sum decompositions of banach spaces
1990
LetY andZ be two closed subspaces of a Banach spaceX such thatY≠lcub;0rcub; andY+Z=X. Then, ifZ is weakly countably determined, there exists a continuous projectionT inX such that ∥T∥=1,T(X)⊃Y, T −1(0)⊂Z and densT(X)=densY. It follows that every Banach spaceX is the topological direct sum of two subspacesX 1 andX 2 such thatX 1 is reflexive and densX 2**=densX**/X.
Some remarks on the category SET(L), part III
2004
This paper considers the category SET(L) of L-subsets of sets with a fixed basis L and is a continuation of our previous investigation of this category. Here we study its general properties (e.g., we derive that the category is a topological construct) as well as some of its special objects and morphisms.
Strongly invertible links and divides
2008
Abstract To a proper generic immersion of a finite number of copies of the unit interval in a 2-disc, called a divide, A’Campo associates a link in S 3 . From the more general notion of ordered Morse signed divides, one obtains a braid presentation of links of divides. In this paper, we prove that every strongly invertible link is isotopic to the link of an ordered Morse signed divide. We give fundamental moves for ordered Morse signed divides and show that strongly invertible links are equivalent if and only if we can pass from one ordered Morse signed divide to the other by a sequence of such moves. Then we associate a polynomial to an ordered Morse signed divide, invariant for these move…
On the computational power of affine automata
2017
We investigate the computational power of affine automata (AfAs) introduced in [4]. In particular, we present a simpler proof for how to change the cutpoint for any affine language and a method how to reduce error in bounded error case. Moreover, we address to the question of [4] by showing that any affine language can be recognized by an AfA with certain limitation on the entries of affine states and transition matrices. Lastly, we present the first languages shown to be not recognized by AfAs with bounded-error.
Nondeterministic operations on finite relational structures
1998
Abstract This article builds on a tutorial introduction to universal algebra for language theory (Courcelle, Theoret. Comput. Sci. 163 (1996) 1–54) and extends it in two directions. First, nondeterministic operations are considered, i.e., operations which give a set of results instead of a single one. Most of their properties concerning recognizability and equational definability carry over from the ordinary case with minor modifications. Second, inductive sets of evaluations are studied in greater detail. It seems that they are handled most naturally in the framework presented here. We consider the analogues of top-down and bottom-up tree transducers. Again, most of their closure propertie…
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>
Decomposable Measures and Measures of Information for Crisp and Fuzzy Sets
1983
Abstract There exist bijections between the decomposable informations of Kampe de Feriet and Forte (1967a) and the decomposable measures of Weber (1982). Using integrals for Archimedean decomposable operations, introduced by Weber (1982), informations and measures of this type are extended from crisp to fuzzy sets. For ∨-decomposable measures, Sugeno’s (1974) integral is used. For ∧-decomposable informations, Nguyen’s (1977) construction and a modification are discussed.