半群OCK_n的理想的极大子半群

设X_n={1,2,…,n}并赋予自然数序,OCK_n是X_n上的具有核连续的保序变换半群.将考虑OCK_n的理想OCK(n,r)={α∈OCK_n:|imα|≤r}(3≤r≤n-1),并得到了OCK(n,r)的极大子半群的完全分类.     

一类核具有连续横截面变换半群的秩

设X_n={1,2,…,n}并赋予自然数序,MCK_n是X_n上核具有连续横截面保序或反序变换所构成的半群.K_n是MCK_n的最大正则子半群.本文将考虑K_n的理想K(n,r)={α∈K_n:|im(α)|≤r}(3≤r≤n-1).证明了K(n,r)的秩为(n-r+1)(n-r+2)(n-r+3)/6.     

一类变换半群的秩

设自然数n≥4,X_n={1,2,…,n},证明了X_n上的保序压缩全变换半群W_n的秩为n-1.     

半群CSPO_n中星理想的秩和相关秩

设自然数n≥4,CSPO_n是有限链[n]上的严格部分保序且压缩奇异变换半群.对任意的r(0≤r≤n-1),记N_P~*(n,r)={α∈CSPO_n:|Im(α)|≤r}为半群CSPO_n的双边星理想.通过对秩为r的元素和星格林关系的分析,分别获得了半群N_P~*(n,r)的极小生成集和秩.进一步确定了当0≤l≤r时,半群N_P~*(n,r)关于其星理想N_P~*(n,l)的相关秩.     

一类定点压缩变换半群的幂等元秩

设[n]={1,2,…,n}并赋予自然数序,O_n和PO_n分别是[n]上的保序奇异变换半群和部分保序变换半群(不包含恒等变换).设k,m∈[n],1≤k≤m n,考虑■证明了C_n(m,k),PC_n(m,k)都是由幂等元生成的,并且得到了它们的幂等元秩和秩.     

OI_n的理想K(n,r)的极大逆子半群

Xn为n元有限集,OIn为Xn上的一切保序严格部分一一变换半群.记K(n,r)={α∈OIn∶|Tmα|≤r}(0≤r≤n-1)则K(n,r)(0≤r≤n-1)是OIn的理想.我们刻划了K(n,r)(1≤r≤n-1)的极大逆子半群.     

半群OF_n(Y)的幂等元秩

设OT(X_n)是X_n={1,2,…,n}上的保序变换半群.Y是X_n的非空真子集且|Y|=r,令OT(X_n,Y)={α∈OT(X_n):X_nα?Y},OF(X_n,Y)={α∈OT(X_n,Y):X_nα=Yα}.考虑半群OF_n(Y)={α∈OF(X_n,Y):|im(α)|≤r-1},证明了半群OF_n(Y)是由幂等元生成,并得到了OF_n(Y)的幂等元秩.     

半群CDO_n的每个星理想的秩和相关秩

研究的CDOn是自然序集X_n={1,2,3,…,n}(n≥4)上的保序且保压缩或保反序且保压缩有限奇异变换半群,记K_D~*(n,r)={α∈CDO_n:|Imα|≤r}为半群CDOn的双边星理想.对1≤r≤n一1,刻划了K_D~*(n,r)是由秩为r的元素生成的且当r=1时,rank(K_D~*(n,r))=n;当2≤r≤n一1时,rank(K_D~*(n,r))=C_(n-1)~(r-1).进一步证明了当l=r时,r(K_D~*(n,r),K_D~*(n,l))=0且当1≤lr时,r(K_D~*(n,r),K_D~*(n,l))=C_(n-1)~(r-1)     

单调压缩变换半群的秩

设自然数n≥4,X_n={1,2,…,n},MC_n是X_n上的单调压缩全变换半群,证明了MC_n的秩为n-1.     

半群PO_(n,r)的秩

设POn为Xn上的保序部分变换半群.对任意的2≤r≤n一1,考虑半群PO_(n,r)={α∈PO_n:Im(α)■[r]}([r]={1,2,…,r}),证明了PO_(n,r)的秩为Σn-1k=r(nk)((k-1)(r-1))+r-1.     

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.     

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

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

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

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.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

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.     

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.