本、标合阵在自旋下的范数

定理1 设F(P_n,δ)为区间[a,b]的映生函数p_n(x)的自然范,F(q_n,δ)为概率函数q_n(x)=f(demp_n)的(这里f是取样函数)自然范,P_n,q_n是对合的,p_n,q_n在自旋下变为h_n,g_n,则h_n,g_n的本合阵的范数为[1!2!…n!)~2。 系1 设,(p_n,δ)为区间[a,b]的映生函数p_n(x)的自然范,F(q_n,δ)为概率函数q_n(x)=f(demp_n.)的(这里f是取样函数)自然范,p_n,q_n是对合的,则p_n,q_n在     

Singh-Sharma定理的拓广

如果q_n→0,q_n>0,Δq_n≥-δ_n(δ_n>0),则称{q_n}为δ拟单调序列;如果{q_n}还满足∑δ_n(?)_n<∞((?)_n>0↑),则称它为((?),δ)单调序列.取δ_n=an~(-1)q_n(a>0),易见拟单调序列也是δ拟单调序列及((?),δ)单调序列(满足     

带边紧致曲面上自同胚的不动点集

设S是一个连通紧致曲面(以下简称曲面)。一个问题是S的任一闭子集A能否作为S的某个自同胚g的不动点集以及g是否同伦于恒同映射.H.Schirmer(1971)对无边曲面证明了当A≠φ时,存在S的自同胚以A为不动点集;当A=φ时,除有不动点性质的射影平面外,存     

平均模型的Bellman最优原理

本文讨论的平均模型为{S,(A(i),i∈S),q,r,(?)/(?)},其中状态空间S与每个行动集A(i)均为非空可数集;q为平稳的状态一步转移概率簇;r为报酬函数,一致有界。设Π、Π_s~d分别表示一般策略类和平稳策略类。     

连续时间MDP及其与离散时间MDP的关系

本文讨论的连续时间MDP(Continuous Time MDP,简记为CTMDP)折扣模型为{S,(A(i),(i),i∈S),q,r,a},其中状态集S可列;行动集A(i)为任意非空集,(i)为其上的σ-代数,它包含A(i)的所有单点集;转移速率族q(j|i,a)满足:i∈S,a∈A(i)均有—∞相似文献   

折扣马尔可夫决策规划最优策略的结构

本文所研究的马尔可夫决策规划:{S,(A(t),i∈S),q,r,V_s},其中状态空间S、每个状态可用的行动集A(i)(i∈S)均为可列集,转移律q是时齐的,报酬函数r是有界的,折扣目标是V_β(β∈(0,1))。其主要结果如下:     

减算子的一个不动点定理及其应用

设算子A:P→P,这里P是实Banach空间E中一个锥。A叫做减算子,如果θ≤x≤y蕴涵Ax≥Ay,这里θ表E的零元素。A叫做凝聚算子,如果A连续、有界,并且对于P中任何非相对紧的有界集S,有r(A(S))相似文献   

矩阵dI_βJ的性质及其应用

设v>2,又设v元集S的一个子集系(?)={B_1,B_2,…,B_b}是S上的一个平衡不完全区组设计,其参数为b、v、r、k、λ。记该设计的关联矩阵为A,于是     

E-析取逆半群

对于半群S,由其任一子集A所决定的句法同余是.以E为幂等元集的逆半群S是E-析取的,如果P_E=1s.可以证明每个逆半群都是E-析取逆半群与基本逆半     

关于 L(S)的一点结果

设A_(m×n)是行和为R=(r_1,r_2,…,r_m)、列和为Q=(q_1,q_2 …,q_n)的(0,1)矩阵。设δ_i=(1,…,1,0,…,0),其中前r_i个位置为1,其余为0,A_(m×n)=称为A_(m×n)的极左矩阵,记其列和向量为S.设L(S)={S|SS,S的分量递降且为非负整数}。若S、TεL(S),S≠T,ST,且不存在V L(S),V≠S,V≠T,满足SVT,则称S是T的直接后继。设S=(S_1,S_2,…,S_n),T=(t_1,t_2,…,t_n),我们有定理1 若S是T的直接后继,则存在i、j’满足S_i+1=t_i,S_j-l=t_j,S_k=t_k(1≤k≤n,     

无界报酬折扣模型中ε(≥0)最优策略的性质

我们研究绝对平均相对有界折扣模型{S,(A(i),i∈S),q,r,V_β},其中S,A(i)(i∈S)均为可列集,q是时齐的,r满足 (1)存在数集{r(i):r(i)>0,i∈S}使得 (2)存在数d>0,使得以及V_β是折扣准则。 本文证明的关键是我们引入了如下概念:在策略π下,于时刻n可达的状态;可实现的历史。并引     

低度Cayley图的同构

设G是一个有限群,G的非空子集S称为一个Cayley子集,如果G的单位元1S.给定G的Cayley子集S,G关于S的Cayley有向图X=X(G,S)定义为     

无界报酬半马氏折扣模型的初等方法

半马氏决策规划折扣模型已由许多作者所研究(如文献[1—5])。从所用的方法来看,有的用不动点定理(如文献[4]),有的用马氏位势理论(如文献[5]),有的先给出一些条件,然后从最优方程获得通常的结果(如文献[2])。这些证明均较冗长。本文是文献[6]的继续,对文献[4]中无界报酬半马氏折扣模型{S, (A(i), (i), i∈S), q, r, t, V_α},我们用初等的证明方法,反而比前述方法更快地获得了结果。这里S为一可列集;A(i)为非空集,(A(i),     

Blokh的一个断言的证明及其推广

记I为[0,1],S′为单位圆周,C~0(I,I)和C~0(S,S′)分别是I和S′上的连续自映射全体.设f∈C~0(I,I)或C~0(S,S′),以P(f)和R(f)分别记f的周期点集和回复点集。     

能行禁集与超禁集

李祥引进了能行禁集的概念(参见计算机学报,1982,4;273—279),并证明若A为能行禁集,则非禁集。我们知道超禁集是禁集,故若A为能行禁集,则不是超禁集,此即是说存在的递归的优超函数。本文给出了一个一致能行地构造出的递归的优超函数的方法。这里表示A的余集。     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分     

正常返长程排它过程不变测度集与可逆测度集的构造及遍历性定理

设S是可数集,X {0,1}~S,其上赋乘积拓扑({0,1}赋散拓扑),σ(X)表x上的Bovel σ域,P(X)表X上全体概率测度,p(u,v)u,v∈S是转移概率矩阵,长程排它过程P(t,η,A)t≥0,η∈X,A∈σ(X)是描述如下模型的马氏过程:以η_t∈X表时     

非线性抛物型方程的有限元方法

条件(A)(ⅰ)对,x∈Q,p∈R~1中某有界区域,存在常数C_0>0,使得a(x,p)≥C_0。(ⅱ)对 (x,t)∈Q×[0,T],(p,q)∈R~1×R~n中的某有界区域, a(x,p)及其一阶导数和对p的二阶导数一致有界,f(x,t,p,q)及其一阶、二阶和三阶导数一致有界,此处q=(q_1,q_2,…,q_n)∈R~n。     

偶阶交换3-DCl群

设G是有限群,G的非空子集S称为一个Cayley子集,如果1G,给定G的Cayley子集S,定义Cayley有向图如下:     

使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。