Jacobson-Chevalley稠密定理的一个推广

我们在[1]中证明了,一个半环(hemiring)关于它的Jacobson关系根的商同构于完全本原半环的亚直和。这使我们有兴趣对这个特殊的半环类——完全本原半环的结构作进一步的讨论。本文的主要结果是:一个半环是完全本原的当且仅当它是一个半模上的亚稠密自同态半环。这个定理给出了完全本原半环的结构,推广了Jacobson—Chevalley稠密定理。     

Matrices as sums of squares

How many squares are needed to represent elements in a matrix ring? A matrix over a field of characteristic two is a sum of two squares if and only if its trace is a square, otherwise it is not a sum of squares. Any proper matrix over a field of characteristic not two is always a sum of three squares. If the order of a matrix is even the matrix is a sum of two squares, but an odd order matrix which is q times the identity matrix is a sum of two squares if and only ifq is a sum of two squares in the field. Matrices of order 2,3 and 4 over the integers can always be written as the sum of three squares.     

A Chart for Evaluating Product Research and Development Projects

A method of evaluating research and development projects is described. The method is based on the use of an evaluation chart. The main purpose of the chart is to calculate a project score which is a measure of a selected evaluation criterion. A method of constructing a chart is illustrated using a project index as the evaluation criterion. The chart contains a list of twelve questions, the answers to which are assumed to be the main determinants of the variables in the formula of the index. Each question is followed by a set of answers from which a choice is to be made, and underneath each answer is a numerical score. The numerical scores are logarithmic functions of the answers to which they relate, and when added together give a project score which is a logarithmic function of the index. Various methods of using the chart, and a suggested evaluation procedure, are also described.     

U-标算子的结构分析

类似与标型谱算子,U-标算子是否拟仿射相似于自伴算子是一“公开问题”．尽管对具纯离散谱的U-标算子答案是肯定的,但一般情况下并不成立．本文继续探讨这一问题,证明了U-标算子在一强范数拓扑意义下是Hermite算子,或者说U-标算子拟仿射相似于Hermite算子,并给出U-标算子是标型谱算子的充要条件．     

Modelling and control of the motion of a disk rolling on a spherical dome

This work deals with the modelling and control of the motion of a disk rolling without slipping on a rigid spherical dome. It is assumed here that the motion of the disk is controlled by a tilting moment, a directional moment, and a pedalling moment. First, a mathematical model of the motion of the disk rolling on the dome is derived. Then, by using a kind of an inverse control transformation, a control strategy is proposed under which the motion of the disk is stabilized and is able asymptotically to track any smooth trajectory which is located on the spherical dome.     

点是Gδ-集的∑*-空间的构成定理

在林寿与我最近合作的一篇文章中指出了∑*-空间的构成定理需重新考虑.本文就是要证明在空间X的每个点是Gδ-集的条件下该构成定理是成立的,所得的结论是:X是T1且每个点是Gδ-集的∑*-空间,如果f:X→Y是闭的满连续映射,则在Y中有一σ-闭离散子空间Z,使得对每个y∈Y\Z,f-1(y)是X的w1-紧子空间.为得到该主要结果,本文证明了若空间X是每个点是Gδ-集的次亚紧空间.则X中的每个闭离散子集是X中的Gδ-集.     

Evolution to a steady state for a rarefied gas flowing from a tank into a vacuum through a plane channel

A kinetic equation (S-model) is used to solve the nonstationary problem of a monatomic rarefied gas flowing from a tank of infinite capacity into a vacuum through a long plane channel. Initially, the gas is at rest and is separated from the vacuum by a barrier. The temperature of the channel walls is kept constant. The flow is found to evolve to a steady state. The time required for reaching a steady state is examined depending on the channel length and the degree of gas rarefaction. The kinetic equation is solved numerically by applying a conservative explicit finite-difference scheme that is firstorder accurate in time and second-order accurate in space. An approximate law is proposed for the asymptotic behavior of the solution at long times when the evolution to a steady state becomes a diffusion process.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

Formulation of the problem of the flutter of a shell of revolution and a shallow shell in a high-velocity supersonic gas flow

Aero-elastic vibration is investigated in the case of a shallow shell of revolution or a cylindrical panel, which respectively occupy a part of a thin cylindrical body or a thin profile, in a high-velocity supersonic gas flow at zero angle of attack. Particular attention is paid to finding the pressure interaction and this problem is solved within the framework of the law of plane sections in boundary-layer theory. An expression is obtained which refines and supplements the well-known formula of “piston” theory. A linearized formulation of the problem of the panel flutter of a shallow shell is presented. Using the example of a plate located on one of the sides of a wedge, it is shown that the formula of “piston” theory is complemented with a term which has the meaning of a compressive force in the plane of the plate. It is shown that, when account is taken of this term, there is a reduction in the critical flow velocity.     

Maximal and Minimal Semilattices on Ordered Sets

The map which takes an element of an ordered set to its principal ideal is a natural embedding of that ordered set into its powerset, a semilattice. If attention is restricted to all finite intersections of the principal ideals of the original ordered set, then an embedding into a much smaller semilattice is obtained. In this paper the question is answered of when this construction is, in a certain arrow-theoretic sense, minimal. Specifically, a characterisation is given, in terms of ideals and filters, of those ordered sets which admit a so-called minimal embedding into a semilattice. Similarly, a candidate maximal semilattice on an ordered set can be constructed from the principal filters of its elements. A characterisation of those ordered sets that extend to a maximal semilattice is given. Finally, the notion of a free semilattice on an ordered set is given, and it is shown that the candidate maximal semilattice in the embedding-theoretic sense is the free object.     

Modelling and control of the motion of a disk rolling on a sloping plane

This work deals with the stabilization and control of the motion of a disk rolling on a sloping plane. It is assumed here that the motion of the disk is controlled by a tilting moment, a directional moment, and a pedalling moment. By using a kind of an inverse control transformation a control strategy is proposed under which the motion of the disk is stabilized and is able asymptotically to track any smooth trajectory which is located on the sloping plane.     

几种类型的K~*空间的特征

<正> §1.引言 假设非平坦的 n 维黎曼空间的曲率张量 R_(hijk)在每一点恒满足下列关系(?)其中(?)是某一向量场,同时也满足     

Adaptive Control of a Partially Observed Discrete Time Markov Process

An adaptive control problem of a discrete time Markov process that is completely observed in a fixed recurrent domain and is partially observed elsewhere is formulated and a solution is given by constructing an approximately self-optimal strategy. The state space of the Markov process is either a closed subset of Euclidean space or a countable set. Another adaptive control problem is solved where the process is always only partially observed but there is a family of random times when the process evaluated at these times is a family of independent, identically distributed random variables. Accepted 26 April 1996     

关于伪准素环的注记

一个有单位元的交换环Ｒ称为伪准素环，如果Ｒ的每个非零理想都是某个准素理想之幂．本文证明了环Ｒ是伪准素环当且仅当Ｒ是准素环或Ｒ是两个域的直和或Ｒ是至多具有三个素理想的一维局部环，并且每个非零理想或是某个极小素理想之幂或是某个属于极大理想的准不比理想之幂.     

Trace and integrable operators affiliated with a semifinite von Neumann algebra

New properties of the space of integrable (with respect to the faithful normal semifinite trace) operators affiliated with a semifinite von Neumann algebra are found. A trace inequality for a pair of projections in the von Neumann algebra is obtained, which characterizes trace in the class of all positive normal functionals on this algebra. A new property of a measurable idempotent are determined. A useful factorization of such an operator is obtained; it is used to prove the nonnegativity of the trace of an integrable idempotent. It is shown that if the difference of two measurable idempotents is a positive operator, then this difference is a projection. It is proved that a semihyponormal measurable idempotent is a projection. It is also shown that a hyponormal measurable tripotent is the difference of two orthogonal projections.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

Coorbits of Quantum Homogeneous Spaces

The notion of coorbits for spaces with quantum group actions is introduced. A space with a quantum group action is given by a pair of algebras: an associative algebra which is the analog of a classical topological space, and a Hopf algebra which is the analog of a classical topological group. The Hopf algebra acts on the associative algebra via a comodule structure mapping which is also an algebra homomorphism. For a space with a quantum group action, a coorbit is a pair of spaces given by the image and the kernel of an algebra homomorphism from the associative algebra to the Hopf algebra. The coorbits of several types of quantum homogeneous spaces are discussed. In the case when the associative algebra is the group algebra of a group and the Hopf algebra is a quotient of the group algebra, the connection between the set of coorbits and the character group is established.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

关于凸子集和（绝对）收缩核

讨论了线性度量空间中凸子集在什么情况下为该空间的收缩核，以及在什么情况下为绝对收缩核。