CAD技术在机械制图中的应用

根据山西省煤炭地质一一五勘查院CAD技术的应用实践,阐述了在机修中推广CAD技术的必要性,指出了在CAD应用中所遇到的问题及解决方法。     

The convergence rate of continued fractions representing solutions of a Riccati equation

The aim of this note is to generalize and apply results on matrix continued fractions representing the solution of discrete matrix Riccati equations. Assuming uniform bounds for the norm of the matrix coefficients of the continued fraction, the minimal and maximal solutions of the corresponding algebraic Riccati equation can be accurately enclosed.     

矿区开采沉陷地质灾害防治研究

煤炭开采所引发的地质灾害中,以开采沉陷对人类环境的影响最为严重。文章就矿区开采沉陷所引发的地质灾害与防治对策进行了研究,并开发了相应的建筑群保护煤柱设计软件。     

First countability, tightness, and other cardinal invariants in remainders of topological groups

We consider the following natural questions: when a topological group G has a first countable remainder, when G has a remainder of countable tightness? This leads to some further questions on the properties of remainders of topological groups. Let G be a topological group. The following facts are established. 1. If Gω has a first countable remainder, then either G is metrizable, or G is locally compact. 2. If G has a countable network and a first countable remainder, then either G is separable and metrizable, or G is σ-compact. 3. Under (MA+¬CH) every topological group with a countable network and a first countable remainder is separable and metrizable. Some new open problems are formulated.     

Sur les automorphismes analytiques des variétés hyperboliques

Results of H. Cartan about holomorphic automorphisms on bounded domains are generalized to the case of hyperbolic manifolds in the sense of Kobayashi. In this setting, we give an identity theorem together with its topological version. We show also that a sequence of automorphisms which converges uniformly on some nonempty open set, has a limit on the whole space which is an automorphism. At the end of the paper, conditions are given for the sequence of iterates of a self holomorphic map in order to be an automorphism.     

An asymmetric Ellis theorem

In 1957 Robert Ellis proved that a group with a locally compact Hausdorff topology T making all translations continuous also has jointly continuous multiplication and continuous inversion, and is thus a topological group. The theorem does not apply to locally compact asymmetric spaces such as the reals with addition and the topology of upper open rays. We first show a bitopological Ellis theorem, and then introduce a generalization of locally compact Hausdorff, called locally skew compact, and a topological dual, Tk, to obtain the following asymmetric Ellis theorem which applies to the example above:Whenever (X,⋅,T) is a group with a locally skew compact topology making all translations continuous, then multiplication is jointly continuous in both (X,⋅,T) and (X,⋅,Tk), and inversion is a homeomorphism between (X,T) and (X,Tk).This generalizes the classical Ellis theorem, because T=Tk when (X,T) is locally compact Hausdorff.     

Bounded sets in topological groups and embeddings

We show that the existence of a non-metrizable compact subspace of a topological group G often implies that G contains an uncountable supersequence (a copy of the one-point compactification of an uncountable discrete space). The existence of uncountable supersequences in a topological group has a strong impact on bounded subsets of the group. For example, if a topological group G contains an uncountable supersequence and K is a closed bounded subset of G which does not contain uncountable supersequences, then any subset A of K is bounded in G?(K?A). We also show that every precompact Abelian topological group H can be embedded as a closed subgroup into a precompact Abelian topological group G such that H is bounded in G and all bounded subsets of the quotient group G/H are finite. This complements Ursul's result on closed embeddings of precompact groups to pseudocompact groups.     

A construction of lattices on certain solvable Lie groups

The purpose in this paper is to prove that there exists a lattice on certain solvable Lie groups and to construct a symplectic solvmanifold with the Hard Lefschetz property, and a locally conformal Kähler solvmanifold. We see that minimal models for these solvmanifolds are formal.     

Strongly countable dimensional compacta form the Hurewicz set

The hyperspaces of strongly countable dimensional compacta of positive dimension and of strongly countable dimensional continua of dimension greater than 1 in the Hilbert cube are homeomorphic to the Hurewicz set of all nonempty countable closed subsets of the unit interval [0,1]. These facts hold true, in particular, for covering dimension dim and cohomological dimension dimG, where G is any Abelian group.