We denote by F the field R of real numbers, the field C of complex numbers or the skew-field H of real quaternions, and by Fn an n-dimensional left vector space over F. If A is a matrix with elements in F, we denote by A* its conjugate transpose. In all three cases of F, an n × n matrix A is said to be hermitian (unitary resp.) if A = A* (AA*= identity matrix resp.). An n ×x n hermitian matrix A is said to be definite (semidefinite resp.) if uAu*vAv* ≥ 0 (uAu*vAv* ≧ 0 resp.) for all nonzero u and v in Fn. If A and B are n × n hermitian matrices, then we say that A and B can be diagonalized simultaneously into blocks of size less than or equal to m (abbreviated to d. s. ≧ m) if there exists a nonsingular matrix U with elements in F such that UAU* = diag{A1,…, Ak} and UBU* = diag{B1…, Bk}, where, for each i = 1, …, k, Ai and Bk are of the same size and the size is ≧ m. In particular, if m = 1, then we say A and B can be diagonalized simultaneously (abbreviated to d. s.).

In [1], we showed how a collection of physical operations or experiments could be represented by a nonempty set of nonempty sets satisfying certain conditions (irredundancy and coherence) and we called such sets . We also introduced “complete stochastic models” for the empirical universe of discourse represented by such a manual , namely, the so-called weight functions for . These weight functions form a convex set the extreme points of which are called pure weights. We also showed that there is a so-called logic ∏() affiliated with a manual and that each weight function for induces a state on this logic.

Let(V, ≧, ‖ · ‖) be a Banach lattice, and denote V\{0} by V'. For the definition of a Banach lattice and other undefined terms used below, see Vulikh [4]. Leader [3] shows that, if norm convergence is equivalent to order convergence for sequences in V, then the norm is equivalent to an M-norm. By assuming the equivalence for nets in V we can strengthen this result.

Let E be a finite set and let = (Al, …, A2) be a family of subsets of E. A subset T of E iscalled a transversal of if there exists a bijection Φ: T → {l, …, n} such that x ∈ Aψ(x) for all x ∈ T. If I ⊆ {1, …, n}, we shall, for brevity, write

(and similarly for families denoted by other letters). The cardinal of a set S will be denoted by |S|. If λ is a non-negative integer, we define λS as S or Ø according as λ > 0 or λ = 0.

For each characteristic p, let Fp be the prime field and let Ώp be a fixed universal field which is algebraically closed and of infinite transcendence degree over Fp. When p = 0 we take Ώp = ℂ. Let F be a subfield of Ώp and let R be an integral domain whose quotient field is F. We abbreviate SL(2, R), PGL(2, R), PSL(2, R) to SL(R), PGL(R), PSL(R) respectively, and we cohsider PSL(R) as a group of projective transformations of the projective line ℘(Ώp) and of the “subline” ℘(F) ⊂ ℘(ΏP). The elements of PSL(R) are classified by the number of fixed points they have on ℘(F). If x ∈ PSL(R) has one such fixed point P, then P is the unique fixed point of x on ℘(ΏP) and x is called parabolic. All other x (except the identity E) have two distinct fixed points on ℘(Ώp) and x is called hyperbolic if these are on ℘(F), and elliptic otherwise. We put symbols for operators on the right.

Let f be an analytic function on a connected open set Ώ in the complex plane. Then, for given a, b ∈ Ώ, the equation

need not have a solution z ∈ Ώ. As a matter of fact, this would happen with each locally one-to-one analytic function which is not one-to-one on Ώ. But if we fix a a ∈ Ώ, then, for all b sufficiently close to a, (1) is solvable for z. This is an easy consequence of the Open Mapping Theorem applied to f'. For, assuming that f' is non-constant (otherwise, (1) holds for all a, b, z ∈Ώ), the Open Mapping Theorem tells us that f'(Ώ), the image under f' of Ώ, is an open neighbourhood of f'(a); so it is a direct consequence of the definition of f'(a) that there exists δ > 0 such that 0 < |b – a| < δ implies (f(b) – f(a))/(b – a) ∈f'(Ώ). A stronger statement has been obtained by J. M. Robertson [1, p. 329], who has shown that

and, if f''(a) ≠ 0, then

.

In order to study an arbitrary sequence of modules and homomorphisms, we propose a definition of “homology” modules, or what we call quasi-homology modules, for such a sequence. Then we seek partial analogues of the universal coefficient theorems to make some propaganda for the notion.

In [1], Pall proved an interesting result on a certain class of 2 × 2 integral matrices. He showed that the semigroup of 2 × 2 matrices of determinant 1 and non-negative entries contains exactly 2 primes , and every other non-unit is expressible uniquely as products of these primes. Before formally stating this result, we need some notation. Let Gn denote the semigroup of n × n matrices with determinant 1 and nonnegative integral entries, In the n × n identity matrix, the n × n matrix with a 1 as its (i, j) element and zeros elsewhere, and let . When the dimension is clear, we shall drop the superscripts.

In 1960 Ericksen [1] introduced a simple theory of anisotropic fluids. This theory differs from the classical theory of fluids in that the deformation of the material is no longer solely described by the usual vector displacement field but requires in addition the specification of a further vector field di, termed the director. Moreover, corresponding to this increased kinematic flexibility new types of stress, body force and inertia are introduced. Leslie [2], adopting the conservation laws of [1], formulated constitutive equations similar to those considered by Ericksen and discussed the thermodynamical restrictions imposed by the Clausius–Duhem inequality. Here we shall consider the case in which at each point the director is constrained to remain a unit vector. Then the usual interpretation is to regard di as indicating a single preferred direction in the material (see for example [3]). It is thought that the physical applications of this theory are likely to lie in such areas as polymeric fluids and suspensions.

A Banach space X is said to have property (PROXBID) if the canonical image of X in its bidual X** is proximal. In other words, if J: X → X** is the canonical embedding, then it is required that every element of X** have at least one best approximation (i.e., nearest point) from the closed subspace J(X). We show below that, if X is the space of (real or complex) continuous functions on a compact set, or the space of (real or complex) continuous functions that vanish at infinity on a locally compact set, then X has property (PROXBID). At this point we should mention the existence of a variety of examples [2, 8] of Banach spaces which lack property (PROXBID).

A proof is given here of a theorem of Sarason [9, Theorem 2], the proof being valid in an arbitrary (non-separable) complex Hilbert space. Sarason's proof uses a theorem and lemma of Wermer which may both fail when the separability hypothesis is omitted [3]. By using a special case of Sarason's theorem and another result of Sarason [10, Lemma 1] a simplified and shortened proof is given of a result of Scroggs [11, Corollary 1].

Let K be a topological field. On introducing the vector-space topology on the n × n matrices over K, it becomes clear that the determinant map φ enjoys the following properties:

(A) φ is a continuous surjective homomorphism from GLn(K) to K*,

(B) φ(μa) = μn φ(a) for each non-zero φ in K, and all a in GLn(K).

A bounded monotonic sequence is convergent. This paper shows that a bounded sequence which is g-monotonic (to be defined) also converges. The proof generalises one attributed to Professor R. A. Rankin by Copson [1]. The theorem requires two definitions: the first axiomatises the notion of “average“ and the second generalises the concept of monotonicity.

In [2], H. Delange gives the following characterization of the sine function.

Theorem A. f(x)=sin x is the only infinitely differentiable real-valued function on the real line such that f'(O)= 1 and

for all real x and n = 0,1,2,….

It is clear that, if f satisfies (1), then the analytic continuation of f is an entire function satisfying

for all z in the complex plane. Hence f is of at most order one and type one. In this note, we prove the following theorem.

An (n, q) graph consists of n nodes and q edges, i.e. q distinct unordered pairs of different nodes, so that there are no loops or multiple edges. We write T for the number of unlabelled (n, q) graphs and F for the number of labelled (n, q) graphs. We say that a labelled graph is symmetric if there is a nonidentical permutation of its nodes which leaves the graph unaltered. We write r for the order of the automorphism group of the graph, i.e. the group of all those permutations of the nodes which leave the graph unaltered; we say that the graph is of symmetry order r. A graph which is not symmetric is called asymmetric and, for such a graph, obviously r = 1. We say that an unlabelled graph is symmetric or asymmetric according as the graph obtained by labelling its nodes is symmetric or asymmetric.

Let K be a field which contains a primitive nth root of unity w if n is odd and a primitive 2nth root of unity ζ such that ζ2 = w if n is even.

The aim of this note is to generalize to an arbitrary partially ordered set (poset) (P, ≦) the standard lattice results on the Jordan–Dedekind Chain Condition (abbreviated hereafter to J.D.C.C.). Birkhoff [1] defines semimodularity for a lattice L by

(ξ) if x, y cover a and x # y, then x ∨ y covers x and y.

The convergence of least squares approximations for dual orthogonal series in Hilbert space is established, thus providing a theorem applicable to practically all dual orthogonal series (such as dual trigonometric series, dual Bessel series, etc.) that have appeared in the literature. Our results establish for such dual series the existence of a sequence of functions satisfying in the L2norm the dual series relation, with an error tending to zero and, in particular, rigorously justify the calculations in [2] which showed least squares to be a practical approximation procedure for dual trigonometric equations. In fact, the desire to provide a rigorous convergence theorem for [2] motivated this study.

Let C(T) be the Banach algebra of all complex-valued continuous functions on the compact set T of all complex numbers with modulus one. As usual we may suppose that A is embedded in C(T), where A is the disc algebra, i.e., the algebra of all complex-valued functions f(λ) continuous for |λ| ≦ 1. and analytic for |λ| < 1. We set Mλ = {f ∈ A: f(λ) = 0} and Mλ = {f ∈ A: f(λ) ≧ 0}.

The purpose of this note is to provide by means of an example a negative answer to a conjecture of Hajós [3] concerning the factorization of finite abelian groups. This question is also raised as Problem 81 in Fuchs [2].