Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz’s construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occurring in the associated topological groupoid.

The purpose of this paper is to provide a detailed treatment of the behaviour of essential spectra of closed densely defined linear operators subjected to additive perturbations not necessarily belonging to any ideal of the algebra of bounded linear operators. If A denotes a closed densely defined linear operator on a Banach space X, our approach consists principally in considering the class of A-closable operators which, regarded as operators in ℒ(XA, X) (where XA denotes the domain of A equipped with the graph norm), are contained in the set of A-Fredholm perturbations (see Definition 1.2). Our results are used to describe the essential spectra of singular neutron transport equations in bounded geometries.

We extend an uncertainty principle due to Cowling and Price to Euclidean spaces, Heisenberg groups and the Euclidean motion group of the plane. This uncertainty principle is a generalisation of a classical result due to Hardy. We also show that on the real line this uncertainty principle is almost equivalent to Hardy's theorem.

This paper shows that every lattice group G can be densely embedded in a unique laterally complete lattice group H (the lateral completion of G). All reasonable structure properties of G are inherited by H and we have the following relationships between the ideal radical L(G), the distributive radical D(G) and the radical R(G) of G and the corresponding radicals of H. .

In this paper, we investigate the properties of locally univalent and multivalent planar harmonic mappings. First, we discuss coefficient estimates and Landau’s theorem for some classes of locally univalent harmonic mappings, and then we study some Lipschitz-type spaces for locally univalent and multivalent harmonic mappings.

A relationship between symplectic geometry and information geometry is studied. The square of a dually flat space admits a natural symplectic structure that is the pullback of the canonical symplectic structure on the cotangent bundle of the dually flat space via the canonical divergence. With respect to the symplectic structure, there exists a moment map whose image is the dually flat space. As an example, we obtain a duality relation between the Fubini–Study metric on a projective space and the Fisher metric on a statistical model on a finite set. Conversely, a dually flat space admitting a symplectic structure is locally symplectically isomorphic to the cotangent bundle with the canonical symplectic structure of some dually flat space. We also discuss nonparametric cases.

The purpose of this paper is to show that the various differentiability conditions for the norm of a normed linear space can be characterised by continuity conditions for a certain mapping from the space into its dual. Differentiability properties of the norm are often more easily handled using this characterisation and to demonstrate this we give somewhat more direct proofs of the reflexivity of a Banach space whose dual norm is strongly differentiable, and the duality of uniform rotundity and uniform strong differentiability of the norm for a Banach space.

The main result of this paper is the theorem in the title. Only special cases of it seem to be known so far. As an application, we obtain a result on the unique extension of Galois connexions. As a matter of fact, it is only by the use of Galois connexions that we obtain the main result, in its present generality.

If (X, ) is a set X with topology we shall say that is connected if (X, ) is a connected topological space. We shall investigate the existence of and the properties of maximal connected topologies.

An enumeration result for orientably regular hypermaps of a given type with automorphism groups isomorphic to PSL(2,q) or PGL(2,q) can be extracted from a 1969 paper by Sah. We extend the investigation to orientable reflexible hypermaps and to nonorientable regular hypermaps, providing many more details about the associated computations and explicit generating sets for the associated groups.

Methods from the theory of orthogonal polynomials are extended to L-polynomials . By this means the authors and W. B. Jones (J. Math. Anal. Appl. 98 (1984), 528–554) solved the strong Hamburger moment problem, that is, given a double sequence , to find a distribution function ψ(t), non-decreasing, with an infinitenumber of points of increase and bounded on −∞ < t < ∞, such that for all integers . In this article further menthods such as analogues of the Lioville-Ostrogradski formula and of the Christoffel-Darboux formula are developed to investigated When the moment porblem has a unique solution. This will be the case if and only if a sequence of nested disks associated with the sequence has only a point as its intersection (the so called limit point case).

We develop a concrete Fourier transform on a compact Lie group by means of a symbol calculus, or *-product, on each integral co-adjoint orbit. These *-products are constructed by means of a moment map defined for each irreducible representation. We derive integral formulae for these algebra structures and discuss the relationship between two naturally occurring inner products on them. A global Kirillov-type character is obtained for each irreducible representation. The case of SU(2) is treated in some detail, where some interesting connections with classical spherical trigonometry are obtained.

The family (R) of all endomorphisms of a ring R is a semigroup under composition. It follows easily that if R and T are isomorphic rings, then (R) and (T) are isomorphic semigroups. We devote ourselves here to the converse question: ‘If (R) and (T) are isomorphic, must R and T be isomorphic?’ As one might expect, the answer is, in general, negative. For example, the ring of integers has precisely two endomorphisms – the zero endomorphism and the identity automorphism. Since the same is true of the ring of rational numbers, the two endomorphism semigroups are isomorphic while the rings themselves are certainly not.

A subspace of a Banach space is called an operator range if it is the continuous linear image of a Banach space. Operator ranges and operator ideals with fixed range space are investigated. Properties of strictly singular, strictly cosingular, weakly sequentially precompact, and other classes of operators are derived. Perturbation theory and closed semi-Fredholm operators are discussed in the final section.

Euler's criterion states that if p is a prime then if and only if D is a k-th power residue of p.

However if (1) does not hold then (2)

where ακ is some κ-th root of unity modulo ρ.

We consider a single-server queueing system with first-come first-served queue discipline in which (i) customers arrive at the instants 0 = A0 < A1 < A2 < …, with time interval between the mth and (m+1)th arrivals

A type of p–adic continued fraction first considered by A. Ruban is described, and is used to give a characterization of rational numbers.

We prove that two quiver operator algebras can be isometrically isomorphic only if the quivers (=directed graphs) are isomorphic. We also show how the graph can be recovered from certain representations of the algebra.

Let X be a countable discrete abelian group with automorphism group Aut(X). Let ξ1 and ξ2 be independent X-valued random variables with distributions μ1 and μ2, respectively. Suppose that α1,α2,β1,β2∈Aut(X) and β1α−11±β2α−12∈Aut(X). Assuming that the conditional distribution of the linear form L2 given L1 is symmetric, where L2=β1ξ1+β2ξ2 and L1=α1ξ1+α2ξ2, we describe all possibilities for the μj. This is a group-theoretic analogue of Heyde’s characterization of Gaussian distributions on the real line.

In a finite Desarguesian plane of odd order, it was shown by Segre thirty years ago that a set of maximum size with at most two points on a line is a conic. Here, in a plane of odd or even order, sufficient conditions are given for a set with at most three points on a line to be a cubic curve. The case of an elliptic curve is of particular interest.