To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Let (Ω,Σ,μ) be a finite measure space and X a Banach space. Denote by L1 (μ,X) the Banach space of (equivalence classes of) μ-strongly measurable X-valued Bochner integrable functions f:Ω→X normed by
The problem of characterizing the relatively weakly compact subsets of L1(Ω, X) remains open. It is known that for a bounded subset of L1(μ, X) to be relatively weakly compact it is necessary that the set be uniformly integrable; recall that K ⊆ L1, (μ, X) is uniformly integrable whenever given ε >0 there exists δ > 0 such that if μ (E) ≦ δ then ∫E∥f∥ dμ ≦ δ, for all f ∈ K. S. Chatterji has noted that in case X is reflexive this condition is also sufficient [4]. At present unless one assumes that both X and X* have the Radon-Nikodym Property (see [1]), a rather severe restriction which, for purposes of potential applicability, is tantamount to assuming reflexivity, no good sufficient conditions for weak compactness in L1(μ, X) exist. This note puts forth such sufficient conditions; the basic tool is the recent factorization method of W. J. Davis, T. Figiel, W. B. Johnson and A. Pelczynski [3].
1. The properties of the circulant determinant or the circulant matrix are familiar. The circulant matrix C of order 4 x 4, with elements in the complex field, will serve for illustration.
The four matrix coefficients of c0, c1 c2, c3 form a reducible matrix representation of the cyclic group ℐ4, so that C is a group matrix for this. Let ω be a primitive 4th root of 1. Then Ω as below, its columns being normalized latent vectors of C,
is unitary and symmetric, and reduces Cto diagonal form thus,
where the μr, the latent roots of C, are given by
All of the above extends naturally to the n x n case.
Let A and B be semisimple Banach algebras, and let M1(A) (resp. M1(B)) be the algebra of left multipliers on A (resp. B). Suppose that A is an abstract Segal algebra in B. We find conditions on A and B which imply that M1(A) is topologically algebra isomorphic to M1(B). As a special case we obtain the result of [8] which states that if A is an A*-algebra that is a*-ideal in its B*-algebra completion B and A2 is dense in A then M1(A) is topologically algebra isomorphic to M1(B). We make an application of our main result to right complemented Banach algebras.
Let w be a strictly positive function on ℂ and let , respectively denote the Banach spaces of those entire functions φ(z) with ∣φ(z)∣= O(w(z)) and ∣φ(z)∣ = o(w(z)). In this generality, these spaces may contain only constants, but for many functions w(z) these will be interesting Banach spaces with norm
Let G: Rn → Rn be a continuous mapping such that the origin 0 ∈ Rn is isolated in G-1(0). Then deg0G will denote the local topological degree of G at the origin, i.e. the topological degree of the mapping
where Sr denotes a sphere in Rn centered at the origin with small radius r > 0.
The object of this paper is to redevelop the classical theory of multipliers of Fuchsian groups [16] and to attempt a classification. The language which appears most appropriate is that of group extensions and the cohomology of groups. This viewpoint is not entirely novel [12] but the entire theory has never been based on it before.
Theorem 1. Let S and T be continuous, commuting mappings of a complete, bounded metric space (X, d) into itself satisfying the inequality
for all x, y in X, where 0 ≤ c < 1 and p, p′, q, q′ ≥ 0 are fixed integers with p + p′, q + q′ ≥ 1. Then S and T have a unique common fixed point z. Further, if p′ or q′ = 0, then z is the unique fixed point of S and if p or q = 0, then z is the unique fixed point of T.
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.
An algebra A factors if, for each a ∈ A, there exist b, c ∈ A with a = bc. A bounded approximate identity for a Banach algebra A is a net (eα) ⊂ A such that aeα → a and eαa → a for each a ∈ A and such that sup ‖eα ‖ < ∞. It is well known [2, 11.10] that if A has a bounded approximate identity, then A factors. But a Banach algebra may factor even if it does not have a bounded approximate identity: an example which is non-commutative and separable, and an example which is commutative and nonseparable, are given in [3, §22]. However, we do not know an example of a commutative, separable Banach algebra which factors, but which does not have a bounded approximate identity. See 4 for related work.
In this paper we evaluate a few infinite integrals involving products of Legendre functions. The results obtained herein are quite general and include, as particular cases, some known results.
Let G be a finite group. The real genus p(G) [8] is the minimum algebraic genus of any compact bordered Klein surface on which G acts. There are now several results about the real genus parameter. The groups with real genus p ≤ 5 have been classified [8,9,12], and genus formulas have been obtained for several classes of groups [8,9,10,11,12]. Most notably, McCullough calculated the real genus of each finite abelian group [13]. In addition, there is a good general lower bound for the real genus of a finite group [11].
1. All operators considered in this paper are bounded operators on a Hilbert space. In case A and B are self-adjoint, certain conditions on A, B and their difference
assuring the unitary equivalence of Aand B,
have recently been obtained by Rosenblum [6] and Kato [2]. The present paper will consider the problem of investigating consequences of an assumed relation of type (2) for some unitary U together with an additional hypothesis that the difference H of (1) be non-negative, so that
First, it is easy to see that if only (2) and (3) are assumed, thereby allowing H = 0, relation (2) can hold for A arbitrary with U = I (identity) and B = A. If H = 0 in (3) is not allowed, however (an impossible assumption in the finite dimensional case, incidentally, since then the trace of H is zero and hence H = 0), it will be shown, among other things, that any unitary operator U for which (2) and (3) hold must have a spectrum with a positive measure (as a consequence of (i) of Theorem 2 below). Moreover A (hence B) cannot differ from a completely continuous operator by a constant multiple of the identity (Theorem 1). In case 0 is not in the point spectrum of H, then U is even absolutely continuous (see (iv) of Theorem 2). In § 4, applications to semi-normal operators will be given.
The classical theory of Weierstrass points on a compact Riemann surface is well-known (see, for example, [3]). Ogawa [6] has defined generalized Weierstrass points. Let Y denote a compact complex manifold of (complex) dimension n. Let E denote a holomorphic vector bundle on Y of rank q. Let Jk(E) (k = 0, 1, …) denote the holomorphic vector bundle of k-jets of E [2, p. 112]. Put rk(E) = rank Jk(E) = q.(n + k)!/n!k!. Suppose that Γ(E), the vector space of global holomorphic sections of E, is of dimension γ(E)>0. Consider the trivial bundle Y × Γ(E) and the map
which at a point Q∈Y takes a section of E to its k-jet at Q. Put μ = min(γ(E),rk(E)).
A unit regular semigroup [1, 4] is a regular monoid S such that H1 ∩ A(x) ≠ Ø for every xɛS, where H1, is the group of units and A(x) = {y ɛ S; xyx = x} is the set of associates (or pre-inverses) of x. A uniquely unit regular semigroupis a regular monoid 5 such that |H1 ∩ A(x)| = 1. Here we shall consider a more general situation. Specifically, we consider a regular semigroup S and a subsemigroup T with the property that |T ∩ A(x) = 1 for every x ɛ S. We show that T is necessarily a maximal subgroup Hα for some idempotent α. When Sis orthodox, α is necessarily medial (in the sense that x = xαx for every x ɛ 〈E〉) and αSα is uniquely unit orthodox. When S is orthodox and α is a middle unit (in the sense that xαy = xy for all x, y ɛ S), we obtain a structure theorem which generalises the description given in [2] for uniquely unit orthodox semigroups in terms of a semi-direct product of a band with a identity and a group.
In what follows all small Latin letters denote non-negative integers or functions whose values are non-negative integers. Let N = (n1, …, nj) be a j-dimensional vector and let q = q (k; N) = q(k; n1, …, nj) be the number of partitions of N into just k parts, each part being a vector whose components are non-negative integers. We write
Let k be a field and G an Abelian group of finite torsion-free rank. Brewer, Costa and Lady [1, Theorem A] showed that if k has characteristic 0 then each localization of the group algebra kG at a prime ideal is a regular local ring. They also showed (in the same theorem) that if k has characteristic p > 0, then kG is locally Noetherian (i.e. each localization of kG at a prime ideal is a Noetherian ring) if and only if G is an extension of a finitely generated group by a torsion p′-group. The purpose of this note is to examine this theorem in a more general setting.
Let G be a finite abelian group of rank m, M an oriented compact connected surface, and F(G, M) the set of all orientation preserving free G-actions on M. Two actions φ1, φ2εF(G, M) are equivalent if there exists an orientation preserving homeomorphism h of M such that