In this paper, we shall introduce a system of generalised set-valued quasi-variational-like inequalities, which generalises and unifies systems of generalised vector variational inequalities, systems of variational inequalities, generalised vector quasi-variational-like inequalities as well as various extensions of the classic variational inequalities in the literature. Some existence results for a solution of a system of generalized set-valued quasi-variational-like inequalities without any monotonity are obtained.

The monoid n of uniform block permutations is the factorisable inverse monoid which arises from the natural action of the symmetric group on the join semilattice of equivalences on an n-set; it has been described in the literature as the factorisable part of the dual symmetric inverse monoid. The present paper gives and proves correct a monoid presentation forn. The methods involved make use of a general criterion for a monoid generated by a group and an idempotent to be inverse, the structure of factorisable inverse monoids, and presentations of the symmetric group and the join semilattice of equivalences on an n-set.

Over the last 20 years, since the publication of Sloan's paper on the improvement by the iteration technique, various approaches have been proposed for post-processing the Galerkin solution of multi-dimensional second kind Fredholm Integral equation. These methods include the iterated Galerkin method proposed by Sloan, the Kantorovich method and the iterated Kantorovich method. Recently, Lin, Zhang and Yan have proposed interpolation as an alternative to the iteration technique. For an integral operator, with a smooth kernel using the orthogonal projection onto a space of discontinuous piecewise polynomials of degree ≤ r − 1, previous authors have established an order r convergence for the Galerkin solution and 2r for the iterated Galerkin solution. Equivalent results have also been established for the interpolator projection at Gauss points and some interpolation post-processing technique. In this paper, a method is introduced and shown to have convergence of order 4r. The size of the system of equations that must be solved, in implementing this method, remains the same as for the Galerkin method.

We prove that the following are equivalent for a locally compact group G:

(i) G is amenable;

(ii) M(G) is Connes-amenable;

(iii) M(G) has a normal, virtual diagonal.

Using results from topological groups and topological dynamics for locally compact spaces, Aoki has shown that when a group automorphism of a locally compact totally disconnected group is ergodic under the Haar measure, the group is compact. We provide some remarks on Aoki's proof. Also we present a new proof of his result using the structure of locally compact totally disconnected groups established by Willis.

We prove that Carnot groups with real model filiform Lie algebras are not rigid. Consequently non-trivial smooth contact and quasiconformal mappings exist in abundance.

This paper Presents a multivalued version of an approximation result of Ky Fan (Math. Z.112 (1969)) for maps.

Let S be a semigroup contained in a locally compact Abelian group G. Let Ĝ denote the Bohr compactification of G. We say that a sequence contained in S is Hartman uniform distributed on G if

for any character χ in Ĝ. Suppose that (Tg)g∈s is a semigroup of measurable measure preserving transformations of a probability space (X, β, μ) and B is an element of the σ-algebra β of positive μ measure. For a map T: X → X and a set A ⊆ X let T−1A denote {x ∈ X: Tx ∈ A}. In an earlier paper, the author showed that if k is Hartman uniform distributed then

In this paper we show that ≥ cannot be replaced by =. A more detailed discussion of this situation ensues.

A linear mapping T from a subspace E of a Banach algebra into another Banach algebra is called spectrally bounded if there is a constant M ≥ 0 such that r(T x) ≤ Mr(x) for all x ∈ E, where r (·) denotes the spectral radius. We establish the equivalence of the following properties of a unital linear mapping T from a unital C* -algebra A into its centre:

(a) T is spectrally bounded;

(b) T is a spectrally bounded trace;

(c) T is a bounded trace.