L-Fuzzy Contiguity Relations and L-Fuzzy Closure Operators in the Case of Completely Distributive,Complete Lattices L

In the case of completely distributive, complete lattices L the relations between L-fuzzy contiguity relations and L-fuzzy closure operators are investigated. In addition, if L is the real unit interval, L-fuzzy contiguity relations are represented by means of V_D-contiguity relations, PT spaces and random V_D-contiguity relations respectively.     

On Compatibility of Interval Fuzzy Preference Relations

This paper defines the concept of compatibility degree of two interval fuzzy preference relations, and gives a compatibility index of two interval fuzzy preference relations. It is proven that an interval fuzzy preference relation B and the synthetic interval fuzzy preference relation of interval fuzzy preference relations A ₁,A ₂,...,A _s are of acceptable compatibility under the condition that the interval fuzzy preference relation B and each of the interval fuzzy preference relations A _l,A ₂,...,A _s are of acceptable compatibility, and thus a theoretic basis has been developed for the application of the interval fuzzy preference relations in group decision making.     

On <Emphasis Type="Italic">T</Emphasis> -spaces and relations in relatively free,lie nilpotent,associative algebras

The purpose of this work is to obtain the commutator relations and Frobenius relations in a relatively free algebra F ^(l) specified by the identity [x ₁ , . . . , x _l ] = 0 over a field of characteristic p > 0. These relations for l > 3 are analogous to the relations in the algebra F ⁽³⁾ and are applied to the T-spaces in the algebra F ^(l). In order to study the relations in F ^(l) in more detail, we construct a model algebra analogous to the Grassmann algebra.     

Containment for c, s, t operators on a binary relation

The operators c, s and t are complement, symmetric and transitive closure of a binary relation. If u and v denote finite sequences of these operators then we define u v iff for every binary relation . We find the distinct representative and containment between these sequences. The asymmetric operator is not one of these. There are 54 representatives for binary relations, 20 for transitive relations, and 10 for symmetric relations. There are 26 component types of a binary relation, 10 for transitive relations, and 6 for symmetric relations. There are 16 connected types of a binary relation, 8 for transitive relations, and 4 for symmetric relations. We study well founded relations. Total relations may not be contractible but well founded ones are. The complement of (a Hasse diagram of) a non-empty partial order of arbitrary cardinality is contractible. Ordered sets are naturally homotopy equivalent to partially ordered sets. There are 10 relations which can have arbitrary polyhedral homotopy type and 42 are either contractible or the homotopy type of a wedge of n-spheres. The homotopy type of two relations is not determined.     

Logics for stable and unstable mereological relations

In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed in similar fashion to Stone’s representation theory for distributive lattices.     

Some new linear relations for even degree polynomial splines on a uniform mesh

This paper is concerned with even degree polynomial splines, degreeN, defined on a uniform mesh. There are well-known linear relations among the spline values atN successive knots and thepth derivatives of the spline at the sameN knots. Some new linear relations are developed which connectN–1 spline values withN–1 derivative values. The leading terms of the truncation errors of these new linear relations are found in terms of Bernoulli numbers.     

Foliations of polynomial growth are hyperfinite

We define a class of equivalence relations with polynomial growth and show that such relations always support finite invariant measures and are hyperfinite. In particular, foliations of polynomial growth define hyperfinite equivalence relations with respect to any family of finite invariant measures on transversals. We also extend a result of Dye for countable groups to show that if a locally compact second countable groupG acts freely on a Lebesgue spaceX with finite invariant measure, so that the orbit relation onX is hyperfinite, thenG is amenable.     

Clusterwise aggregation of relations

In this paper we handle the general problem of finding q(> 1) central relations on a set of objects which best fit the information contained in a finite number of given relations on that set. The proposed CAR (clusterwise aggregation of relations) algorithm allows one to consider the well-known situation of determining a single central relation as a special case (q = 1) and takes into account the fact that the representation of appropriately selected subsets of relations by different central relations can provide additional insights into whether different clusters or segments of relations exist in the given set of relations. Two examples demonstrate the usefulness of the suggested approach.     

Triangle centres: some questions in Euclidean geometry

The circumcentre E of a triangle ABC is defined, as in figure 1, by the two relations EA = EB EB = EC The other centres (such as the incentre, the centroid, etc.) can be defined by two similar relations. This note is an elaboration on the simple fact that if two centres of a triangle coincide then it is equilateral. We take a certain centre of a given triangle and investigate what can be deduced from the assumption that it satisfies one of the two defining relations of another centre. This is done for each pair of, what one may think of as, the seven most natural centres.     

New special function recurrences giving new indefinite integrals

Sequences of new recurrence relations are presented for Bessel functions, parabolic cylinder functions and associated Legendre functions. The sequences correspond to values of an integer variable r and are generalizations of each conventional recurrence relation, which correspond to r=1. The sequences can be extended indefinitely, though the relations become progressively more intricate as r increases. These relations all have the form of a first-order linear inhomogeneous differential equation, which can be solved by an integrating factor. This gives a very general indefinite integral for each recurrence. The method can be applied to other special functions which have conventional recurrence relations. All results have been checked numerically using Mathematica.     

Complete,Recursively Enumerable Relations in Arithmetic

Using only propositional connectives and the provability predicate of a Σ₁-sound theory T containing Peano Arithmetic we define recursively enumerable relations that are complete for specific natural classes of relations, as the class of all r. e. relations, and the class of all strict partial orders. We apply these results to give representations of these classes in T by means of formulas.     

Form sums of nonnegative selfadjoint operators

Summary The sum of two unbounded nonnegative selfadjoint operators is a nonnegative operator which is not necessarily densely defined. In general its selfadjoint extensions exist in the sense of linear relations (multivalued operators). One of its nonnegative selfadjoint extensions is constructed via the form sum associated with A and B. Its relations to the Friedrichs and Krein--von Neumann extensions of A+Bare investigated. For this purpose, the one-to-one correspondence between densely defined closed semibounded forms and semibounded selfadjoint operators is extended to the case of nondensely defined semibounded forms by replacing semibounded selfadjoint operators by semibounded selfadjoint relations. In particular, the inequality between two closed nonnegative forms is shown to be equivalent to a similar inequality between the corresponding nonnegative selfadjoint relations.</o:p>     

Rings Defined by Extensions

In this article, we study subrings of the Ext-algebra of a graded module over a graded ring R. We show these subrings can be defined by equivalence relations on exact sequences over the ring. In particular, the shriek ring, R ^!, and the even part of an Ext-algebra of a d-Koszul algebra can be defined by equivalence relations on exact sequences.     

New concepts for completely regular semigroups

Let 𝒞? denotes the variety of completely regular semigroups considered with the unary operation of inversion. The global study of the lattice of subvarieties of 𝒞? depends heavily on various decompositions. Some of the most fruitful among these are induced by the kernel and the trace relations. In their turn, these relations are induced by the kernel and the trace relations on the lattice of congruences on regular semigroups. These latter admit the concepts of kernel and trace of a congruence. The kernel and the trace relations for congruences were transferred to kernel and trace relations on varieties but the kernel and trace got no analogue for varieties.

We supply here the kernel and the trace of a variety which induce the relations of their namesake. For the local and core relations, we also define the local and core of a variety. All the new concepts are certain subclasses of 𝒞?. In this way, we achieve considerable similarity of the new concepts with those for congruences. We also correct errors in two published papers.     

Diagonal reduction algebras of gl type

Several general questions concerning a reduction algebra, namely, rings of definition and the algorithmic efficiency of the set of ordering relations, are discussed. For reduction algebras related to the diagonal embedding of the Lie algebra gl _n into gl _n ⊕gl _n , a stabilization phenomenon is established and a complete set of defining relations is given.     

Majorant estimates for partial sums of multiple fourier series of functions from Orlicz spaces vanishing on some set

We prove relations in the braid group that generalize the relations of the formaba=bab. These relations are obtained by means of the generalization to the higher Bruhat orders of the well-known relation between the decompositions of the element of maximal length in the Weyl groupA _n−1 and some specific linear orders on the system of positive roots ofA _n−1 . Translated fromMatematicheskie Zametki, Vol. 66, No. 6, pp. 840–848, December, 1999.     

The Mumford relations and the moduli of rank three stable bundles

The cohomology ring of the moduli space M(n,d) of semistable bundles of coprime rank n and degree d over a Riemann surface M of genus g 2 has again proven a rich source of interest in recent years. The rank two, odd degree case is now largely understood. In 1991 Kirwan [8] proved two long standing conjectures due to Mumford and to Newstead and Ramanan. Mumford conjectured that a certain set of relations form a complete set; the Newstead-Ramanan conjecture involved the vanishing of the Pontryagin ring. The Newstead–Ramanan conjecture was independently proven by Thaddeus [15] as a corollary to determining the intersection pairings. As yet though, little work has been done on the cohomology ring in higher rank cases. A simple numerical calculation shows that the Mumford relations themselves are not generally complete when n>2. However by generalising the methods of [8] and by introducing new relations, in a sense dual to the original relations conjectured by Mumford, we prove results corresponding to the Mumford and Newstead-Ramanan conjectures in the rank three case. Namely we show (Sect. 4) that the Mumford relations and these dual Mumford relations form a complete set for the rational cohomology ring of M(3,d) and show (Sect. 5) that the Pontryagin ring vanishes in degree 12g-8 and above.     

Terms which are Mal’cev modulo some functions

We derive consequences from the existence of a term which satisfies Mal’cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of varieties having a Mal’cev term modulo F and G. Received September 21, 2006; accepted in final form March 20, 2007.     

Ortho-u-monoids

In this paper, we study the class of ortho-u-monoids which are generalized orthogroups within the class of E(S)-semiabundant semigroups. After introducing the concept of (∼)-Green’s relations, and obtaining some important properties of (∼)-Green’s relations and super E(S)-semiabundant semigroups, we have given the semilattice decomposition of ortho-u-monoids and a structure theorem for regular ortho-u-monoids. The main techniques that we used in the study are the (∼)-Green’s relations, and the semi-spined product of semigroups.