首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 38 毫秒
1.
Let M be any quasivariety of Abelian groups, (H) be the dominion of a subgroup H of a group G in M, and Lq(M) be the lattice of subquasivarieties of M. It is proved that (H ) coincides with a least normal subgroup of the group G containing H, the factor group with respect to which is in M. Conditions are specified subject to which the set L(G,H,M) = { (H) | N Lq(M)} forms a lattice under set-theoretic inclusion and the map : Lq(M) L(G,H,M) such that (N) = (H) for any quasivariety N Lq(M)is an antihomomorphism of the lattice L q (M) onto the lattice L(G, H, M).__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 238–251, March–April, 2005.  相似文献   

2.
A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of Gödel'sT as well as Kleene/Feferman's) is applied to systems of intuitionistic and classical arithmetic (H andH c) in all finite types with full induction as well as to the corresponding systems with restricted induction andc.
1)  H and are closed under a generalized fan-rule. For a restricted class of formulae this also holds forH c andc.
2)  We give a new and very perspicuous proof that for each one can construct a functional such that is a modulus of uniform continuity for on {1n(nn)}. Such a modulus can also be obtained by majorizing any modulus of pointwise continuity for .
3)  The type structure of all pointwise majorizable set-theoretical functionals of finite type is used to give a short proof that quantifier-free choice with uniqueness (AC!)1,0-qf. is not provable within classical arithmetic in all finite types plus comprehension [given by the schema (C):y 0x (yx=0A(x)) for arbitraryA], dependent -choice and bounded choice. Furthermore separates several -operators.
  相似文献   

3.
4.
Letd be a finite positive Borel measure on the interval [0, 2] such that >0 almost everywhere; andW n be a sequence of polynomials, degW n =n, whose zeros (w n ,1,,w n,n lie in [|z|1]. Let d n <> for eachnN, whered n =d/|W n (e i )|2. We consider the table of polynomials n,m such that for each fixednN the system n,m,mN, is orthonormal with respect tod n . If
  相似文献   

5.
(X k ),k=1,2,... — k 2 >1; (X k ) , E(X k X t )=0 p k<>(p+1) (p,k,l=1, 2, ...) , , ,
  相似文献   

6.
According to the Hobby-Rice theorem for anyn-dimensional subspaceU n ofL 1([a, b], ) ( positive, finite, nonatomic) there exist points =s 0x 1x m+1=b, where 0mn, such that
  相似文献   

7.
, (fz) , ,
  相似文献   

8.
. . , , : f — ,
  相似文献   

9.
Let j be the eigenvalues of a positive elliptic pseudodifferential operator of order m > 0 on a closed compact d-dimensional C-manifold and let N()=#{j:jm}. It is shown that for each > 0 we have
  相似文献   

10.
A 2-periodic continuous real functionf is said to beperiodically monotone if it has the following property: there exist numbert 1t 2t 3t 1+2 such thatf is nonincreasing fort 1t 2 and nondecreasing int 2tt 3. For any 2-periodic, integrable real functiong with 0 2 |g(t|dt) we define
  相似文献   

11.
We show that the percolation transition for the two-dimensional Ising model is sharp. Namely, we show that for every reciprocal temperature >0, there exists a critical valueh c () of external magnetic fieldh such that the following two statements hold.
(i)  Ifh>h c (), then the percolation probability (i.e., the probability that the origin is in the infinite cluster of + spins) with respect to the Gibbs state ,h for the parameter (,h) is positive.
(ii)  Ifhh c (), then the connectivity function ,h + (0,x) (the probability that the origin is connected by + spins tox with respect to ,h ) decays exponentially as |x|.
We also shows that the percolation probability is continuous in (,h) except on the half line {(, 0); c }.  相似文献   

12.
Consider a (complex) Banach spaceX, such thatX CO, and vectors(X i ) i ofX. Consider an independent standard normal sequence(g i ) i . Then if anX-valued random Fourier series |k| n e ikt g k x k satisfies
  相似文献   

13.
, , , . ., . — s- , . , s- (,s- ) ; n (T), ¦ l (T)¦¦ 2 (T)¦...0, T:EE .
  相似文献   

14.
, {p n} n=0 (p0=1, n2 n2). : x f(t) V(G)
  相似文献   

15.
[0, 1],fL(0,2),
  相似文献   

16.
Let B n be a domain and (y), y B and arbitrary positive, continuous function. If p, s (0, +), denote byH s, p (T B ) the class of the functionsf(z)f(x+iy), holomorphic in the tube domain
  相似文献   

17.
We obtain upper and lower bounds for Christoffel functions for Freud weights by relatively new methods, including a new way to estimate discretization of potentials. We then deduce bounds for orthogonal polynomials on thereby largely resolving a 1976 conjecture of P. Nevai. For example, let W:=e –Q, whereQ: is even and continuous in, Q" is continuous in (0, ) andQ '>0 in (0, ), while, for someA, B,
  相似文献   

18.
In an Lp-formulation (1 < p="><>) there is constructed for a function (z) analytic in a multiconnected domain with a piecewise-Lyapunov boundary a Noether theory of the boundary-value problem
  相似文献   

19.
R n n- , : RnPRn/ o - . —
  相似文献   

20.
Let be a domain in C, 0, and let n 0 () be the set of polynomials of degreen such thatP(0)=0 andP(D), whereD denotes the unit disk. The maximal range n is then defined to be the union of all setsP(D),P n 0 (). We derive necessary and, in the case of ft convex, sufficient conditions for extremal polynomials, namely those boundaries whose ranges meet n . As an application we solve explicitly the cases where is a half-plane or a strip-domain. This also implies a number of new inequalities, for instance, for polynomials with positive real part inD. All essential extremal polynomials found so far in the convex cases are univalent inD. This leads to the formulation of a problem. It should be mentioned that the general theory developed in this paper also works for other than polynomial spaces.Communicated by J. Milne Anderson.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号