Orthmodular lattices whose MacNeille completions are not orthomodular

The only known example of an orthomodular lattice (abbreviated: OML) whose MacNeille completion is not an OML has been noted independently by several authors, see Adams [1], and is based on a theorem of Ameniya and Araki [2]. This theorem states that for an inner product space V, if we consider the ortholattice ?(V,⊥) = {A \( \subseteq \) V: A = A ^⊥⊥} where A ^⊥ is the set of elements orthogonal to A, then ?(V,⊥) is an OML if and only if V is complete. Taking the orthomodular lattice L of finite or confinite dimensional subspaces of an incomplete inner product space V, the ortholattice ?(V,⊥) is a MacNeille completion of L which is not orthomodular. This does not answer the longstanding question Can every OML be embedded into a complete OML? as L can be embedded into the complete OML ?(V,⊥), where V is the completion of the inner product space V. Although the power of the Ameniya-Araki theorem makes the preceding example elegant to present, the ability to picture the situation is lost. In this paper, I present a simpler method to construct OMLs whose Macneille completions are not orthomodular. No use is made of the Ameniya-Araki theorem. Instead, this method is based on a construction introduced by Kalmbach [7] in which the Boolean algebras generated by the chains of a lattice are glued together to form an OML. A simple method to complete these OMLs is also given. The final section of this paper briefly covers some elementary properties of the Kalmbach construction. I have included this section because I feel that this construction may be quite useful for many purposes and virtually no literature has been written on it.     

Search

This paper reviews the theory of search. The main viewpoint is statistical but considerable space is spent on connections with other fields such as logic and optimisation. Three primitive ideas dominate: consistency, entropy, and Bayes' methods. The theory of screening provides one of the central examples and there is a section on nonsequential random search deriving from the work of Renyi. The game of Bulls and Cows provides a motivating example for both sequential and nonsequential algorithms.     

Differential calculus on quantized simple lie groups

Differential calculi, generalizations of Woronowicz's four-dimensional calculus on SU _q (2), are introduced for quantized classical simple Lie groups in a constructive way. For this purpose, the approach of Faddeev and his collaborators to quantum groups was used. An equivalence of Woronowicz's enveloping algebra generated by the dual space to the left-invariant differential forms and the corresponding quantized universal enveloping algebra, is obtained for our differential calculi. Real forms for q are also discussed.     

Functional inequality characterizing nonnegative concave functions in (0, ∞) k

Summary In the present note we prove that every functionf: (0, ) [0, ) satisfying the inequalityaf(s) + bf(t) f(as + bt), s, t > 0, for somea andb such that 0 <a < 1 <a + b must be of the formf(t) = f(1)t, (t > 0). This improves our recent result in [2], where the inequality is assumed to hold for alls, t 0, and gives a positive answer to the question raised there.An analogue for functions of several real variables of the above result characterizes concave functions. Conjugate functions and some relations to Hölder's and Minkowski's inequalities are mentioned.     

Some properties of the riesz charge associated with a δ-subharmonic function

The first property is a refinement of earlier results of Ch. de la Vallée Poussin, M. Brelot, and A. F. Grishin. Let w=u–v with u, v superharmonic on a suitable harmonic space (for example an open subset of R ⁿ ), and let [w]=[u]–[v] denote the associated Riesz charge. If w0, and if E denotes the set of those points of at which the lim inf of w in thefine topology is 0, then the restriction of [w] to E is 0. Another property states that, if e denotes a polar subset of such that the fine lim inf of |w| at each point of e is finite, then the restriction of [w] to e is 0.     

On the topology of compact smooth three-dimensional Levi-flat hypersurfaces

We study topological conditions that must be satisfied by a compactC ^∞ Levi-flat hypersurface in a two-dimensional complex manifold, as well as related questions about the holonomy of Levi-flat hypersurfaces. As a consequence of our work, we show that no two-dimensional complex manifold admits a subdomain Ω with compact nonemptyC ^∞ boundary such that Ω ? ?².     

Chern forms,chern numbers and curvature conditions on a Kähler-Einstein surface

In this paper we considered curvature conditions on a Kähler-Einstein surface of general type. In particular we showed that it has negative holomorphic sectional curvature if theL ²-norm of (3C ₂ ?C ₁ ² )/C ₁ ² is sufficiently small, whereC ₁ andC ₂ are the first and second Chern classes of the surfaces. This generalizes a result of Yau on the uniformization of Kähler-Einstein surfaces of general type and with 3C ₂ ?C ₁ ² = 0. Also in the process, we obtain a necessary condition in terms of an inequality between Chern numbers for a Kähler-Einstein metric to have negative holomorphic sectional curvature.     

Factorial regular representation of groups in complete graphs

A necessary and sufficient condition for the group of isomorphisms involved in a factorization of a complete graph into isomorphic factors is established.     

Thermal decomposition of sodium nitrite and sodium nitrate pre-adsorbed on TiO2 surfaces

The thermal decomposition of sodium nitrite or nitrate pre-adsorbed upon TiO₂ surfaces has been investigated by employing several techniques as infrared spectroscopy (IR) and temperature programmed desorption in conjunction with mass spectrometry analysis (TPD-MS) to study the features observed during these thermal decompositions. Differential thermal analysis (DTA) in combination with X-ray diffraction analysis (XRD) were used to investigate the possibility of a solid state chemical reaction between the solid products originated from the thermal decomposition of the pre-adsorbed species and the TiO₂. On the basis of our results, various characteristic features of these thermal decomposition reactions will be discussed.This work was supported by JUNTA DE ANDALUCIA (financial support for research groups/1990).     

Synthesis and investigation of mono- and binuclear cyano-bridged complexes of rhodium,ruthenium, and palladium

Binuclear Rh^III and Ru^II complexes of the [M¹-CN-M²]⁺BF ₄ ^– (M¹ and/or M² are (⁵-Cp)(³-C₃H₅)Rh and (⁶-C₆H₆)(³-C₃H₅)Ru) type, heteronuclear organometallic compound (⁵-Cp)(³-C₃H₅)RhCNPd(³-C₃H₅)Cl, and mononuclear Rh^III and Ru^II complexes [(³-C₃H₅)LM(MeCN)]⁺ _BF4 ^– (M = Rh, L = ⁵-Cp; M = Ru, L = ⁶-C₆H₆) were synthesized. An electrochemical study of these compounds in solutions demonstrates that the bond between the bridged CN ligand and the metal atoms is rather strong, and there is no dissociation into mononuclear fragments in solutions. The kinetics of the reaction of [(⁵-Cp)(³-C₃H₅)Rh(MeCN)]⁺ _BF4 ^– with halide ions was studied by electrochemical methods. The ligand exchange proceeds by a bimolecular dissociative-exchange mechanism.Translated fromIzvestiya Akademii Nauk. Seriya Khimicheskaya, No. 5, pp. 968–973, May, 1995.