Metric and Periodic Lines in Real Inner Product Space Geometries

The lines of euclidean and hyperbolic geometries are characterized as metric lines in the sense of Blumenthal–Menger, and the lines of spherical and elliptic geometry as periodic ones. In euclidean geometries there do not exist periodic lines.     

Invariant ideals of twisted crossed products

We will prove a result concerning the inclusion of non-trivial invariant ideals inside non-trivial ideals of a twisted crossed product. We will also give results concerning the primeness and simplicity of crossed products of twisted actions of locally compact groups on -algebras. Received: 25 January 2002; in final form: 22 May 2002/Published online: 2 December 2002 This work is partially supported by Hong Kong RGC Direct Grant.     

Bouquet and join theorems for disentanglements

The disentanglement of certain augmentations is shown to be the topological join of a disentanglement and a Milnor fibre. The kth disentanglement of a finite map is defined and for corank 1 maps from ℂ ⁿ to ℂ ^{n +1} it is shown that they are homotopically equivalent to a wedge of spheres. Applications to the Mond conjecture are given. Oblatum 24-VII-2000 & 5-VII-2001?Published online: 12 October 2001     

The Jacobian and the Ginzburg-Landau energy

We study the Ginzburg-Landau functional for , where U is a bounded, open subset of . We show that if a sequence of functions satisfies , then their Jacobians are precompact in the dual of for every . Moreover, any limiting measure is a sum of point masses. We also characterize the -limit of the functionals , in terms of the function space B2V introduced by the authors in [16,17]: we show that I(u) is finite if and only if , and for is equal to the total variation of the Jacobian measure Ju. When the domain U has dimension greater than two, we prove if then the Jacobians are again precompact in for all , and moreover we show that any limiting measure must be integer multiplicity rectifiable. We also show that the total variation of the Jacobian measure is a lower bound for the limit of the Ginzburg-Landau functional. Received: 15 December 2000 / Accepted: 23 January 2001 / Published online: 25 June 2001     

The dimension of orthomodular posets constructed by pasting Boolean algebras

The main aim of this paper is the calculation of the dimension of certain atomic amalgams. These consist of finite Boolean algebras (blocks) pasted together in such a way that a pair of blocks intersects either trivially in the bounds, or the intersection consists of the bounds, an atom, and its complement.     

Symmetric Boundary Value Methods for Second Order Initial and Boundary Value Problems

We introduce symmetric Boundary Value Methods for the solution of second order initial and boundary value problems (in particular Hamiltonian problems). We study the conditioning of the methods and link it to the boundary loci of the roots of the associated characteristic polynomial. Some numerical tests are provided to assess their reliability. Dedicated to the memory of Professor Aldo Cossu     

Measures on minimally generated Boolean algebras

We investigate properties of minimally generated Boolean algebras. It is shown that all measures defined on such algebras are separable but not necessarily weakly uniformly regular. On the other hand, there exist Boolean algebras small in terms of measures which are not minimally generated. We prove that under CH a measure on a retractive Boolean algebra can be nonseparable. Some relevant examples are indicated. Also, we give two examples of spaces satisfying some kind of Efimov property.     

Über die abstandsverträglichen Abbildungen auf dem Kreis und auf der reellen Geraden

Zusammenfassung. Eine Abbildung zwischen metrischen R?umen hei?t abstandsvertr?glich, wenn der Abstand der Bilder zweier Punkte nur vom Abstand der Punkte selbst abh?ngt. Wir zeigen, dass eine Abbildung genau dann abstandsvertr?glich ist, wenn der Cauchyschen Funktionalgleichung genügt, also ein Endomorphismus der Gruppe ist. Ein entsprechendes Resultat gilt auch für die abstandsvertr?glichen Abbildungen des Kreises (mit der Multiplikation komplexer Zahlen als Gruppenverknüpfung). Damit kann man sowohl alle messbaren abstandsvertr?glichen Abbildungen von bzw. in sich angeben, als auch einen Nachweis für die Existenz nichtmessbarer abstandsvertr?glicher Abbildungen auf und erbringen. Eingegangen am 20. Juni 2001 / Angenommen am 13. September 2001