乘方的指数与其幂的位数的关系

为了探究乘方的指数与其幂的位数的关系,定义了几个有关的新概念,并且证明了两个关于乘方以及进制进位的定理,由此建立起关于乘方以及进制进位的理论体系,其中包括进位理论中判定乘方的指数与其幂的位数是否存在周期规律的判别法,以及进位规律的求解法和四条相关的性质.     

树的最大特征值的上界的一个注记

设T是一个树,V是T的顶点集．记dv是υ∈V的度,△是T的最大顶点度．设υ∈V且dw=1．记k=ew+1,这里ew是w的excentricity．设δj′= max{dυ:dist(υ,w)=j},j=1,2,…,k-2,我们证明和这里μ1(T)和λ1(T)分别是T的Laplacian矩阵和邻接矩阵的最大特征值．特别地,记δo′=2．     

纯正的群的正则带的构造

本文研究纯正的群的正则带.在给出这类半群的若干特征后,建立了纯正的群的正则带的构造定理.作为应用,同时给出了纯正的群的右拟正规带的构造定理.     

计算Hamilton矩阵特征值的一个稳定的有效的保结构的算法

提出了一个稳定的有效的保结构的计算Hamilton矩阵特征值和特征不变子空间的算法,该算法是由SR算法改进变形而得到的。在该算法中,提出了两个策略,一个叫做消失稳策略,另一个称为预处理技术。在消失稳策略中,通过求解减比方程和回溯彻底克服了Bunser Gerstner和Mehrmann提出的SR算法的严重失稳和中断现象的发生,两种策略的实施的代价都非常低。数值算例展示了该算法比其它求解Hamilton矩阵特征问题的算法更有效和可靠。     

不同的公理不同的几何

一位语文老师在博客上写反思.他在教《自相矛盾》这则寓言时,有学生站起来反驳:有这么傻的人么?太不可信了吧.面对这样大胆质疑的学生,这位老师不知如何处理为好! 现在的学生比以前更敢想敢做了.     

多维的一般的BBM-Burgers方程解的逐点估计

研究R~n中一般的BBM-Burgers方程解的渐进行为.运用Green函数法和Fourier分析方法得到了在非零常状态u~*附近小扰动解的逐点估计,作为一个推论,又得到了L~p(R~n)(1≤p∞)空间解的最佳的衰减估计.     

自由群的直积的检验元素的注记

本文研究了自由群的直积的检验元素,通过对直积的自同态的分解,得到了直积中的元素为检验元素的充分必要条件,改进了O'neill和Turner的结果.此外,构造了两类具体的检验元素.     

某类群的增广理想的基底及其商群的结构

本文研究了一类具有完全正规子群的有限群之增广理想及增广商群结构的问题.利用完全群的一些性质及数学归纳法,得到了此类群任意次增广理想的一组基底,并且解决了增广商群的结构问题.     

不同的视角 别样的精彩

<正>解析几何是高中数学的重要内容,也是高考考查的热点与难点.其知识综合性强,对学生的逻辑思维能力与计算能力等要求都较高.特别在计算能力方面,面对许多解析几何题学生常常因为复杂的计算而"知繁而退".所以解题方法的选择就显得特别重要,它体现了思考问题的角度.一、"设点的坐标"还是"设直线方程"     

相同的性质不同的表述

文[1]《2010年四川卷理科20题的引申》一文给出并证明了这样一个性质(表述1.1),这里以焦点在x轴上的椭圆为例.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Estimate of growth of Lebesgue functions of linear methods of summation

Sufficient conditions are obtained in terms of matrix elements for the boundedness of Lebesgue functions of linear methods of summation of expansions in orthogonal systems of polynomial type.Translated from Matematicheskie Zametki, Vol. 6, No. 3, pp. 277–286, September, 1969.     

Variant of statistical interpretation of the formation of viscoelastic deformations of polymers

A variant of a statistical probability interpretation of elementary micromechanisms of formation of viscoelastic deformations of polymers is examined with the aid of the concept of dissymmetric media and the dissymmetry coefficient. A new rheological relationship is obtained, a particular case of which is the known equation of a typical linear viscoelastic body. A method is given for determining the relaxation spectrum for different intensity functions figuring in the rheological relationships. The results of the calculation are compared with the experimental data, exemplified by the creep of polyamide P-68.Institute of Polymer Mechanics, Academy of Sciences of the Latvian SSR, Riga. Translated from Mekhanika Polimerov, Vol. 9, No. 3, pp. 392–396, May–June, 1973.     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Stable cohomologies of the complements of the discriminants of deformations of singularities of smooth functions

Complements to discriminants of singularities of smooth functions are far generalizations of the classifying spaces of Artin and Brieskorn braid groups. A group of stable cohomologies (i.e., cohomologies preserved under adjacency of singularities) is described for these spaces. A relationship between these cohomologies and Gauss-Manin connectivity of singularities is indicated. A cellular realization of cohomologies of symmetric groups with coefficients in Z₂ is described.Translated from Itogi Nauki i Tekhniki, Seriya Sovermennye Problemy Matematiki, Noveishie Dostizheniya, Vol. 33, pp. 3–29, 1988.     

Structure of genera of representations of nonsemisimple rings

The investigation of integral representations of arbitrary rings is shown to be equivalent to the case of orders in semisimple algebras. An example is constructed showing that, for an order in a nonsemisimple algebra, the number of representations in the genus may increase without limit with varying genera.Translated from Matematicheskie Zametki, Vol. 10, No. 1, pp. 63–87, July, 1971.     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Determination of asymptotic solutions of problems of nonlinear theories of thermoviscoelasticity

It is shown that the asymptotic solution of a problem of the nonlinear theory of thermoviscoelasticity, if it exists, can be found directly from the solution of the asymptotic boundary-value problem without completely solving the starting problem.M. V. Lomonosov Moscow State University. Translated from Mekhanika Polimerov, No. 3, pp. 395–400, May–June, 1976.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.