A natural topology on the set of germs of holomorphic functions on a compact subset $K$ of a Fréchet space is the locally convex inductive limit topology of the spaces $\mathcal{O}(\sOm)$ endowed with the compact open topology; here $\sOm$ is any open subset containing $K$. Mujica gave a description of this space as the inductive limit of a suitable sequence of compact subsets. He used a set of intricate semi-norms for this. We give a projective characterization of this space, using simpler semi-norms, whose form is similar to the one used in the Whitney Extension Theorem for $C_\infty$ functions. They are quite natural in a framework where extensions are involved. We also give a simple proof that this topology is strictly stronger than the topology of the projective limit of the non-quasi-analytic spaces.

AMS 2000 Mathematics subject classification: Primary 46A13; 46F15

Following Lotz, Peck and Porta [9], a continuous linear operator from one Banach space into another is called a semi-embedding if it is one-to-one and maps the closed unit ball of the domain onto a closed (hence complete) set. (Below we shall allow the codomain to be an F-space, i.e., a complete metrisable topological vector space.) One of the main results established in [9] is that if X is a compact scattered space, then every semi-embedding of C(X) into another Banach space is an isomorphism ([9], Main Theorem, (a)⇒(b)).

A (2, 3, 7)-group is a group generated by two elements, one an involution and the other of order 3, whose product has order 7. Known finite simple examples of such groups are PSL(2, 7), PSL(2, p) where p is prime and p ≡ ±1 (mod 7), PSL(2, p3) where p is prime and p≢0, ±1 (mod 7), groups of Ree type of order q3(q3 + 1)(q − 1) where q = 32n+1 and n > 0, the sporadic group of order 23 · 3 · 5 · 7 · 11 · 19 discovered by Janko, and the Hall–Janko–Wales group of order 27 · 33 · 52 · 7 [4, 2]. G. Higman in an unpublished paper has shown that every sufficiently large alternating group is a (2, 3, 7)-group. Here we show that the sporadic group Co3 discovered by Conway [1] is a (2, 3, 7)-group.

Crossed modules occur in the theory of group presentations, in group cohomology and in providing algebraic models for certain homotopy types. There are profinite analogues of each of these contexts. In this paper, we examine the problem of extending the profinite completion functor on groups to one on crossed modules thus providing a method for comparing the information contained in profinite and abstract crossed modules in each of these situations.

Mr D. E. Littlewood has recently discussed the properties of the quadratic equation over the real quaternions and shown that the solutions correspond to the common intersections of four quadrics in four-space. Although complex quaternion solutions may arise, the system of real quaternions to which the coefficients belong is a division algebra. It is of interest, therefore, to discuss the solution of the quadratic when the coefficients are drawn from a system containing divisors of zero.

To divide the straight line AB (containing a units) at C so that

By algebra, taking the positive root,

The number p may therefore have any positive value, integral or fractional, and when negative cannot exceed ¼. Secondly, AC and AB are incommensurable except when 4p +1 is a square:– e.g., if 4p = (q – l)(q +1) or if p = q(q+l), q being any positive integer or fraction.

The problem is

Between two sides of a triangle to inflect a straight line which shall be equal to each of the segments of the sides between it and the base.

This problem was brought before the Society at the January meeting in 1884, and a solution of it by Mr James Edward will be found in our Proceedings, Vol. II, pp. 5–6, a second by myself in Vol. II., p. 27 (10th April 1884), a third by Mr R. J. Dallas in Vol. III., pp. 41–2 (9th January 1885). Solutions of a slightly more general problem were also given by myself in Vol. III., pp. 40–1, and reference made to the Educational Times, Vol. 37, p. 328 (1st October 1884), and to Vuibert's Journal de Mathématiques Élémentaires, 9e année, p. 45 (15th December 1884).

We shall show in this part the relation of generalised C.F.'s to ordinary C.F.'s, in the main confining our attention to Stieltjes type fractions. Moreover we shall bring out the part played by Parseval's theorem in our development of the subject, and a property of extremal solutions of the Stieltjes moment problem given by M. Riesz.

A binary form of odd degree,

has a quadratic covariant Г, (ab2maxbx in Aronhold's notation, and the discriminant Δ of Г is an invariant of ƒ For m = 2Δ was obtained by Cayley in 1856 [3, p. 274]; it was curiosity as to how Δ could be interpreted geometrically that triggered the writing of this note. An interpretation, in projective space [2m + 1], that does not seem to be on record, of Γ and Δ is found below. If m = 1 one has merely the Hessian and discriminant of a binary cubic whose interpretations in the geometry of the twisted cubic are widely known [5, pp. 241–2].

In a plane, a point O and a straight line OH drawn through O are given. OH is the bisector of an unknown angle YOX, which it is required to determine by the following conditions:

A point I, given by position in the plane of the figure, is connected with the straight line OH by the given angle IOH =θ, and by the distance OI=c, from the point I to the vertex of the angle. This point I is the middle of a chord AB inscribed in the angle YOX, Furthermore the product OA × OB of the distances to the point O of the extremities of this chord is equal to a given quantity K2.

The theorem that the feet of the perpendiculars drawn to the sides of a triangle from any point in the circumference of the circumscribing circle are collinear is ascribed (Gerg. Ann. iv., p. 250, ca. 1814) by Servois, though not with confident knowledge, to Simson. Baltzer, who gives us this information, refers also to Gerg. Ann. xiv., p. 28, p. 280, and to Poncelet. Fuller details, showing how the question of authority has hitherto stood, will be found in an extract from a letter of Mr Mackay's in Nature, xxx., p. 635. Mr Mackay has further stated that he has not found the property mentioned in any of Simson's published works.