Operator inequalities and construction of Krein spaces

Let be a Hilbert space. A continuous positive operatorT on uniquely determines a Hilbert space which is continuously imbedded in and for which with the canonical imbedding . A Kreîn space version of this result, however, is not valid in general. This paper provides a necessary and sufficient condition for that a continuous selfadjoint operatorT uniquely determines a Kreîn space ( ) which is continuously imbedded in and for which with the canonical imbedding .     

Topological and bornological characterisations of ideals in von Neumann algebras: I

Suppose is a von Neumann algebra on a Hilbert space and is any ideal in . We determine a topology on , for which the members of that are to norm continuous are exactly those in ; and a bornology on such that the elements of which map the unit ball to an element of , equivalently those members of that are norm to bounded, are exactly those in . This is achieved via analogues of the notions of injectivity and surjectivity in the theory of operator ideals on Banach spaces.     

The Kreîn-Langer problem for Hilbert space operator valued functions on the band

We deal with the Kreîn-Langer problem for -valued functions on the band (–2a, 2a)×, where is the algebra of continuous linear operators on a Hilbert space ,a a finite positive number and a topological Abelian group. We show that every weakly continuous -indefinite function admits a strongly continuous -indefinite continuation to × with the same indefiniteness index . We give a parametrization of the extensions in terms of operator-valued Schur functions.     

Common invariant subspaces for collections of operators

Let be a collection of bounded operators on a Banach spaceX of dimension at least two. We say that is finitely quasinilpotent at a vectorx ₀X whenever for any finite subset of the joint spectral radius of atx ₀ is equal 0. If such collection contains a non-zero compact operator, then and its commutant have a common non-trivial invariant, subspace. If in addition, is a collection of positive operators on a Banach lattice, then has a common non-trivial closed ideal. This result and a recent remarkable theorem of Turovskii imply the following extension of the famous result of de Pagter to semigroups. Let be a multiplicative semigroup of quasinilpotent compact positive operators on a Banach lattice of dimension at least two. Then has a common non-trivial invariant closed ideal.This work was supported by the Research Ministry of Slovenia.     

Notes on Brown-McCoy-radicals for Γ-near-rings

The Brown-McCoy radical is known to be an ideal-hereditary Kurosh-Amitsur radical in the variety of zerosymmetric near-rings. We define the Brown-McCoy and simplical radicals, and , respectively, for zerosymmetric -near-rings. Both and are ideal-hereditary Kurosh-Amitsur radicals in that variety. IfM is a zerosymmetric -near-ring with left operator near-ringL, it is shown that , with equality ifM has a strong left unity. is extended to the variety of arbitrary near-rings, and and are extended to the variety of arbitrary -near-rings, in a way that they remain Kurosh-Amitsur radicals. IfN is a near-ring andA N, then , with equality ifA if left invariant.     

A Helly-type theorem for simple polygons

Let be a family of simple polygons in the plane. If every three (not necessarily distinct) members of have a simply connected union and every two members of have a nonempty intersection, then {P:P in } . Applying the result to a finite family of orthogonally convex polygons, the set {C:C in } will be another orthogonally convex polygon, and, in certain circumstances, the dimension of this intersection can be determined.Supported in part by NSF grant DMS-9207019.     

Isometric dilations in nest algebras

LetT be a contraction acting in a separable Hilbert space and leaving invariant a nest of subspaces of . We answer the question: when doesT have an isometric extension to which leaves invariant the nest = {N N :N ;}.     

s-Prime elements in multiplicative lattices

Let be aC-lattice which is strong join principally generated. In this paper, we consider prime elements of for which every semiprimary element is primary. We show, for example, that a compact nonmaximal primep with this property is principal. We also show that if every primepm has this property, then is either a one dimensional domain or a primary lattice. It follows that if every primep satisfies the property, and if there are only a finite number of minimal primes in , then is the finite direct product of one-dimensional domains and primary lattices.     

Operators of fibered groups

Let (G, ) denote a finite groupG with fibration . The group Aut (G, ) of operators of (G, ) is closely related to the group of collineations of (G, ). In this paper we investigate the geometric properties imposed on (G, ) by requiring that Aut (G, )=AutG. We find that in many instances this algebraic property restricts the geometry to a very special form.Dedicated to Professor Helmut Karzel on the occasion of his 60th birthday.     

Gray codes from antimatroids

We show three main results concerning Hamiltonicity of graphs derived from antimatroids. These results provide Gray codes for the feasible sets and basic words of antimatroids.For antimatroid (E, ), letJ( ) denote the graph whose vertices are the sets of , where two vertices are adjacent if the corresponding sets differ by one element. DefineJ( ;k) to be the subgraph ofJ( )² induced by the sets in with exactlyk elements. Both graphsJ( ) andJ( ;k) are connected, and the former is bipartite.We show that there is a Hamiltonian cycle inJ( )×K ₂. As a consequence, the ideals of any poset % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznf% gDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWFpepuaaa!414C!\[\mathcal{P}\] may be listed in such a way that successive ideals differ by at most two elements. We also show thatJ( ;k) has a Hamilton path if (E, ) is the poset antimatroid of a series-parallel poset.Similarly, we show thatG( )×K ₂ is Hamiltonian, whereG( ) is the basic word graph of a language antimatroid (E, ). This result was known previously for poset antimatroids.Research supported in part by NSERC.Research supported in part by the Natural Sciences and Engineering Research Council of Canada under Grant A3379.     

Invariant differental forms on compact nilmanifolds

Let N=G/ be a compact nilmanifold, G a connected, simply connected, nilpotent Lie group with its discrete subgroup and Lie algebra . Let I* ( ) denote the invariant differential forms on .If I* ( ) H* ( ) is an injective map, then G is abelian and N is a torus. Furthermore, N has a formal minimal model. If N is an even-dimensional compact nilmanifold, it has a Kähler structure and invariant symplectic structure if and only if I* ( ) H* ( ) is injective.     

Reliability bounds in DFRA class with known mean and variance

ＲＥＬＩＡＢＩＬＩＴＹＢＯＵＮＤＳＩＮＤＦＲＡＣＬＡＳＳＷＩＴＨＫＮＯＷＮＭＥＡＮ　ＡＮＤ　ＶＡＲＩＡＮＣＥＣＨＥＮＧＫＡＮ（程侃）（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ,ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅ,Ｂ...     

QUADRATIC ESTIMATORS OF QUADRATIC FUNCTIONS WITH PARAMETERS IN NORMAL LINEAR MODELS

ＱＵＡＤＲＡＴＩＣＥＳＴＩＭＡＴＯＲＳＯＦＱＵＡＤＲＡＴＩＣＦＵＮＣＴＩＯＮＳＷＩＴＨＰＡＲＡＭＥＴＥＲＳＩＮＮＯＲＭＡＬＬＩＮＥＡＲＭＯＤＥＬＳ￥ＷＵＱＩＧＵＡＮＧ（吴启光）（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｅＳｃｉｅｎｃｅ,ｔｈｅＣｈｉｎｅｓｅ...     

Families of planar sets having starlike union

Let be a finite family of compact sets in the plane, and letk be a fixed natural number. If every three (not necessarily distinct) members of have a union which is simply connected and starshaped viak-paths, then and is starshaped viak-paths. Analogous results hold for paths of length at most , > 0, and for staircase paths, although not for staircasek-paths.Supported in part by NSF grant DMS-9504249     

Four-dimensional compact projective planes with doubly transitive action on the fixed pencil

We consider a four-dimensional compact projective plane =( , ) whose collineation group is six-dimensional and solvable with a nilradical N isomorphic to Nil × R, where Nil denotes the three-dimensional, simply connected, non-Abelian, nilpotent Lie group. We assume that fixes a flag pW, acts transitively on _p \{W}, and fixes no point in the set W{p}. We study the actions of and N on and on the pencil _p \{W}, in the case that does not contain a three-dimensional elation group. In the special situation that acts doubly transitively on _p {W}, we will determine all possible planes . There are exactly two series of such planes.     

Complétude des métriques lorentziennes de\mathbb{T}^2 et difféomorphismes du cercle

Let and the foliations by the null geodesics of some lorentzian metricg on the torus . We analyse how geodesic completeness properties ofg are related to the dynamics of and .     

Rings of regular functions on nilpotent orbits and their covers

Summary LetG be a complex semisimple algebraic group with Lie algebra . Let be a nilpotentG-orbit, its ring of regular functions. We derive a formula for as aG-module and prove some partial results on a cover of . We then relate this formula to various existing multiplicity formulas forK-types in Harish-Chandra bimodules ofG.Supported by National Science Foundation Grant DMS-8505550     

Linear extension majority cycles on partial orders

Let P define a partial order on a set X of cardinalityn. A linear extensionL ofP is a linear order withP G L, and is the set of all linear extensions ofP. denotes that subset of withxLy forx, y X. A linear extension majority (LEM) relationM onX is defined byxMy if . Similarly,M is defined byxMy if . An LEM cycle exists if there arex, y, z X withxMyMzMx, and an LEM quasi-cycle exists ifxMyMzMx and the equality part of the definition ofM holds for exactly one pair in the triple. The study shows that no semiorders have LEM cycles or LEM quasi-cycles, and that every interval order has a maximal element under theM relation. LEM cycles and LEM quasi-cycles are also considered for partial orders with specific structures. Simulation is used to determine the relative likelihood with which LEM cycles and LEM quasi-cycles are observed when connected partial orders are generated at random by a specific procedure.Dr. Gehrlein's research was supported through a fellowship from the Center for Advanced Study of the University of Delaware.     

Exponential approximations in the classes of life distributions

In this paper we discuss the approximation of life distributions by exponential ones. The main results are: (1) F NBUE, where its mean is 1, we have , 0, where = 1 - ₂/2, ₂ being the second moment ofF. The inequality is sharp. (2) In the case ofFIFR, the upper bound is . (3) For the HNBUE class, the upper bound is min . Furthermore, the improved upper bound is . In addition, we show 0} |\bar G(t) - e^{ - t} | \leqslant \sqrt {\frac{\rho }{2}} $$ " align="middle" border="0"> , where (4) For the IMRL class, the upper bound is /(1+) ([1]). Here we give a simple proof.Project supported by the National Natural Science Fund of China.