Smoothability of the Conformal Boundary of a Lorentz Surface Implies 'Global Smoothability'

In 1985, Kulkarni defined the conformal boundary of a simply connected and time-oriented Lorentzian surface . He also introduced a notion of 'smoothability' of this boundary, depending only on local properties of . In this paper we show that smoothability of is in fact a global property of . In doing so, we classify Lorentzian surfaces with smoothable boundaries up to conformal homeomorphism. To be specific, suppose that the Minkowski plane E ² ₁ is the x,y-plane with metric dxdy. Our main theorem states that if is smoothable then is conformally homeomorphic to the interior U of a Jordan curve in E ² ₁ that is locally the graph of a continuous function over either the x-axis or the y-axis at each point of U.     

Some properties of metrics in a study on convergence to normality

Summary This paper is concerned with the use of the ₁ and metrics in a study of certain properties and implications of convergence rates in the central limit theorem for sums of independent and identically distributed random variables which belong to the domain of attraction of the normal distribution. Also, some general convergence rate results on the metric obtained under the assumption of a finite second moment are used as a vital tool in a new proof of the classical iterated logarithm law and in extending the scope of classical methods for the proof of other similar results of a more general kind.     

Convexity in cristallographical lattices

A subset of a (cristallographical) lattice ⁿ is called convex whenever it is the intersection of the lattice with a convex set of the affine space containing ⁿ. We give a characterization of the convex sets which is intrinsic to the lattice and do the same for other related notions, e.g. the boundary of a convex set of ⁿ. A statement analogous to Helly's theorem is also proved.     

Semimodular lattices with isomorphic graphs

Two discrete modular lattice and have isomorphic graphs if and only if is of the form A × and is of the form A × for some lattices A and and . We prove that for discrete semimodular lattices and this latter condition holds if and only if and have isomorphic graphs and the isomorphism preserves the order on all cover-preserving sublattices of which are isomorphic to the seven-element, semimodular, nonmodular lattice (see Figure 1). This answers in the affirmative a question posed by J. Jakubik.     

On an isomorphism problem on the closed-set lattice of a graph

Let (G) and V(G) be, respectively, the closed-set lattice and the vertex set of a graph G. Any lattice isomorphism : V(G)(G) induces a bijection : V(G)V(G) such that for each x in V(G), (x)=x' in V(G') iff ({x})={x'}. A graph G is strongly sensitive if for any graph G' and any lattice isomorphism : (G)(G), the bijection induced by is a graph isomorphism of G onto G'. In this paper we present some sufficient conditions for graphs to be strongly sensitive and prove in particular that all C ₄-free graphs and all covering graphs of finite lattices are strongly sensitive.     

Adjungierte Funktoren in der Kategorie der p-Bornologischen Räume

In the category p b of p-convex vector spaces and linear maps preserving bounded sets a p-bornological topology will be introduced on the tensor product of two spaces, likewise on the spaces of morphisms Hom(E,F). Thus one gets a pair of adjoint functors from p to p , p being the category of p-bornological spaces and continuous linear maps, and the topologies being introduced will be characterized by extreme properties with respect to the adjoint transformations.

---

---

Dieser Arbeit liegt ein Teil der Dissertation des Autors, Kiel 1967, zugrunde.     

Weak relative pseudo-complements of closure operators

We define the notion of weak relative pseudo-complement on meet semi-lattices, and we show that it is strictly weaker than relative pseudo-complementation, but stronger than pseudo-complementation. Our main result is that if a complete lattice is meet-continuous, then every closure operator on admits weak relative pseudo-complements with respect to continuous closure operators on .Presented by E. T. Schmidt.     

Tidy Noether lattices

A Noether lattice satisfying the union condition on primes which is not a domain and in which every nonzero principal element is integrally closed is characterized in terms of its direct summands. It is shown that either: (1) if has no proper nonzero direct summands, then every nonzero principal element of is integrally closed if and only if is a local Noether lattice whose maximal element is principal and has square zero; or (2) if has a proper nonzero direct summand, then every nonzero principal element of is integrally closed if and only if for each minimal direct summandA of, the quotient lattice [0,A] is an integrally closed domain.Presented by R. P. Dilworth.     

Congruences of Clone Lattices, II

We continue the study of congruences of clone lattices _A , where A is finite, started in an earlier paper by the author and A. P. Semigrodskikh. We prove that each clone that either contains all unary operations or consists of essentially unary operations forms a one-element class of any non-trivial congruence of _A . As a consequence, we get that _A has the greatest non-trivial congruence provided the lattice is not simple, that _A is directly indecomposable, and that it has neither distributive nor dually distributive elements except for the trivial ones.For |A|>2, no example of a non-trivial congruence is known so far. We exhibit some reasons why such congruences are not easy to find.     

Extending the Balas-Yu bounds on the number of maximal independent sets in graphs to hypergraphs and lattices

A result of Balas and Yu (1989) states that the number of maximal independent sets of a graph G is at most ^p+1, where is the number of pairs of vertices in G at distance 2, and p is the cardinality of a maximum induced matching in G. In this paper, we give an analogue of this result for hypergraphs and, more generally, for subsets of vectors in the product of n lattices =₁××_n, where the notion of an induced matching in G is replaced by a certain binary tree each internal node of which is mapped into . We show that our bounds may be nearly sharp for arbitrarily large hypergraphs and lattices. As an application, we prove that the number of maximal infeasible vectors x=₁××_n for a system of polymatroid inequalities does not exceed max{Q,^logt/c(2Q,)}, where is the number of minimal feasible vectors for the system, , , and c(,) is the unique positive root of the equation 2^c(^c/log–1)=1. This bound is nearly sharp for the Boolean case ={0,1}ⁿ, and it allows for the efficient generation of all minimal feasible sets to a given system of polymatroid inequalities with quasi-polynomially bounded right-hand sides . This research was supported by the National Science Foundation (Grant IIS-0118635), and by the Office of Naval Research (Grant N00014-92-J-1375). The second and third authors are also grateful for the partial support by DIMACS, the National Science Foundation's Center for Discrete Mathematics and Theoretical Computer Science.Mathematics Subject Classification (2000):20E28, 20G40, 20C20     

Commutativity of operators on the lattice of existence varieties

In a previous paper the authors introduced seven complete congruences on the lattice _ev(I of e-varieties of regular semigroups of the form _P :U _P VPU=PV, whereP is drawn from a small set of e-varieties: left zero, right zero, rectangular bands, groups, left groups, right groups and completely simple semigroups. Four new complete congruences are introduced here of the form _P :U _P VPU=PV, whereP is one of the following classes of regular semigroups: left monoids, right monoids, monoids, idempotent generated semigroups. For each complete congruence on _ev(I) and eachU_ev(I), the -class ofU is an interval [U ,U ] so that there is associated with each such congruence an idempotent operatorUU on _ev(I). This paper establishes numerous results concerning the commutativity of operators of this form.This work was supported in part by NSERC Grant 4044.     

On a Laplace Transform Based Metric for Probabilities on a Hilbert Space

Let D be a closed subset of a real separable Hilbert space H. Let (D) denote the set of all Borel probability measures on D and (D) the set of all probabilities with integrable Laplace transform. A metric d, based on the Laplace transform, is defined on (D). Topological properties, viz., separability, connectedness, completeness, compactness and local compactness, of (D, d are investigated, and the d-topology is compared with the topology of weak convergence.     

Recurrence-Transience for Self-similar Additive Processes Associated with Stable Distributions

For any stable distribution on the line, recurrence-transience of the selfsimilar additive process {X _t ,t0} with (X ₁)= is determined. Comparison with the stable Lévy process {Y _t ,t0} with (Y ₁)= is made: if is not strictly stable, then {Y _t } is transient but {X _t } is recurrent except the obviously transient case of monotone sample functions.     

Laurent–Jacobi Matrices and the Strong Hamburger Moment Problem

Let be the linear space of the Laurent polynomials and suppose that <, < is a positive-definite Hermitian inner product in with the additional property that . Starting from the five-term recurrence relation for orthogonal Laurent polynomials with respect to <, <, we derive Laurent–Jacobi matrices and for the multiplication operator and its inverse in . These matrices are real and symmetric, and generates a symmetric operator in the Hilbert space ² with natural basis { e _n } _{n = 0} . We show that this operator has deficiency indices (0, 0) or (1, 1) and that every self-adjoint extension A in ² has simple spectrum with generating vector e ₀. Let E be the spectral measure of A. Then the measure _{e 0} given by _{e 0}() =<E() e ₀, e ₀< for all Borel sets in , satisfies forf,g. In this way, we obtain a solution _{e 0} of the Strong Hamburger Moment Problem (SHMP) for which is dense in L ²( _{e 0}). Some results concerning the relation between the deficiency indices andthe set of all solutions of the SHMP are established. Finally, we give an analogue of a theorem by M. H. Stone which tells us which self-adjoint operators are generatedby a Laurent–Jacobi matrix with deficiency indices (0, 0).     

Complete lattices of subgroups in compact groups

Summary LetG be a compact group and a sublattice of the lattice of all closed subgroups ofG. In Proposition 1 it is shown that is a complete lattice if it is a closed subset of the spaceG ^c of all closed non empty subsets ofG. In general the converse of this fact is not true (Example 3), but the following result can be obtained (Theorem 5): If is complete and if each element of is normalized by the connected component of the identity ofG, then is a closed, totally disconnected subset ofG ^c. We mention the following corollary: IfG is totally disconnected or abelian, then is complete if and only if it is a closed subset ofG ^c.While writing this paper the author was a fellow of the National Research Council (A 7171).     

Zur Krümmungskennzeichnung der kinematischen Laguerre-Ketten

In the case of certain geometries () [1] over kinematic algebras [5],[6] the -trace of the system of chains can be characterized by constant curvature. The curvature allows an affine interpretation of non-affine points.     

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

Saturation and omitting types

Models which omit a fixed set of types are considered, and notions analogous to those of saturation and compactness are formulated in this context. Conditions are found under which such saturated models exist and are unique; and the preservation of compactness under direct products and homomorphisms is proven. Atomic and positive compactness are shown to be equivalent in this context.In [5] Morley and Vaught give conditions on a class of structuresK which ensure thatK has homogeneous universal models of certain powers. The work is based on the nature of the structures concerned and not on that of the language for which they are assumed to be models.Keisler [2] and [3] considered the notion of a saturated model and showed that for certain cardinals, a complete theoryT in elementary logic has a saturated model of power, which is homogeneous-universal in the sense of Morley and Vaught ifT is neat. Keisler's definition of saturated model is intimately connected with the language involved, and the results are dependent on the semantics of that language.In this paper we consider such problems as the existence of saturated models, and under what conditions they are homogeneous-universal, assuming that a specified set of types is omitted by all the models under consideration.In § 1 we formulate the definition of a-(, J, K)-saturated model for a cardinal, a set of types,J andK sets of formulae, and prove some basic results. In § 2 the existence of ⁺-(, J, K.)-saturated models of power 2 is proven and in § 3 a condition is given for the uniqueness of such a model. We examine (, J, K)-special models in § 4. This work is based on that of Bell and Slomson [1] and Wilmers [10]. In § 5-(, J)-K compact models are defined and we examine closure under direct products and homomorphisms. Lastly, in § 6-(, J)-atomic compactness and-(, J)-positive compactness are shown to be equivalent.     

Zur Darstellung der Automorphismengruppe einer kinematischen Kettengeometrie im Quadrikenmodell

There is a unique projective representation of the group of automorphisms of a geometry () [1] over a kinematic [3] algebra which is compatible with the quadric model [2].     

Normal bundles of rational curves inP 3

LetP ^r=P _k ^r be the projective space over an algebraically closed ground field k. Let X be a rational space cur ve of degree n with only ordinary singularities. Since X is rational, the normal bundleN of X inP ³ splits inN = _{1 2} where ₁, and ₂ are line bundles, and we have deg ₁ + deg ₂ = 4n – 2. We consider the non-negative integer defined by 2 = |deg ₁ – deg ₂|. The aim of this paper is to determine all possible values of and to describe the variety parametrizing all twisted rational curves inP ³ with only ordinary singularities for a fixed degree n and fixed .The paper was supported by C.N.R., while both authors were members of GNSAGA