Search results for "Close"

Spatial reasoning withRCC8and connectedness constraints in Euclidean spaces

2014

The language RCC 8 is a widely-studied formalism for describing topological arrangements of spatial regions. The variables of this language range over the collection of non-empty, regular closed sets of n-dimensional Euclidean space, here denoted RC + ( R n ) , and its non-logical primitives allow us to specify how the interiors, exteriors and boundaries of these sets intersect. The key question is the satisfiability problem: given a finite set of atomic RCC 8 -constraints in m variables, determine whether there exists an m-tuple of elements of RC + ( R n ) satisfying them. These problems are known to coincide for all n � 1 , so that RCC 8 -satisfiability is independent of dimension. This c…

Fixed point theory for a class of generalized nonexpansive mappings

2011

AbstractIn this paper we introduce two new classes of generalized nonexpansive mapping and we study both the existence of fixed points and their asymptotic behavior.

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.

Finite Groups with Only One NonLinear Irreducible Representation

2012

Let 𝕂 be an algebraically closed field. We classify the finite groups having exactly one irreducible 𝕂-representation of degree bigger than one. The case where the characteristic of 𝕂 is zero, was done by G. Seitz in 1968.

A Uniform Way to Control Chief Series in Finite p -Groups and to Construct the Countable Algebraically Closed Locally Finite p -Groups

1986

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.

Star-polynomial identities: computing the exponential growth of the codimensions

2017

Abstract Can one compute the exponential rate of growth of the ⁎-codimensions of a PI-algebra with involution ⁎ over a field of characteristic zero? It was shown in [2] that any such algebra A has the same ⁎-identities as the Grassmann envelope of a finite dimensional superalgebra with superinvolution B. Here, by exploiting this result we are able to provide an exact estimate of the exponential rate of growth e x p ⁎ ( A ) of any PI-algebra A with involution. It turns out that e x p ⁎ ( A ) is an integer and, in case the base field is algebraically closed, it coincides with the dimension of an admissible subalgebra of maximal dimension of B.

Identities of PI-Algebras Graded by a Finite Abelian Group

2011

We consider associative PI-algebras over an algebraically closed field of zero characteristic graded by a finite abelian group G. It is proved that in this case the ideal of graded identities of a G-graded finitely generated PI-algebra coincides with the ideal of graded identities of some finite dimensional G-graded algebra. This implies that the ideal of G-graded identities of any (not necessary finitely generated) G-graded PI-algebra coincides with the ideal of G-graded identities of the Grassmann envelope of a finite dimensional (G × ℤ2)-graded algebra, and is finitely generated as GT-ideal. Similar results take place for ideals of identities with automorphisms.

A theorem of insertion and extension of functions for normal spaces

1993

Multi-valued F-contractions and the solution of certain functional and integral equations

2013

Wardowski [Fixed Point Theory Appl., 2012:94] introduced a new concept of contraction and proved a fixed point theorem which generalizes Banach contraction principle. Following this direction of research, we will present some fixed point results for closed multi-valued F-contractions or multi-valued mappings which satisfy an F-contractive condition of Hardy-Rogers-type, in the setting of complete metric spaces or complete ordered metric spaces. An example and two applications, for the solution of certain functional and integral equations, are given to illustrate the usability of the obtained results.