关于广义导算子的左右本性逆

在本文中,X、Y等表示Banach空间,H、K等表示Hilbert空间,如无特别注明均为无限维的。[X,Y]表示由X到Y的有界线性算子空间,当Y=X时记作B(X)。K(X)表示X上的紧算子全体所成之集。 设A_i∈B(X)、B_i∈B(Y)(i=1,2,…,n),由     

模态谓词演算的判定问题(Ⅱ)——关于Slomson归约

以M表示[2]中讨论过的模态谓词演算S_ε~*(它等价于[5]中的S5~*)的仅含唯一的一目谓词字母K的子系统,以B_o~N表域为N的B_o值全函项一目Boole代数,此处N为全体自然数所成之集,B_o为二元Boole代数、本文证明了如下结果: M中的定理(即在S_ε~*中可证明的语句)所成之集和在一非空有穷集上对B_o~N可驳的语句所成之集是递归不可分的. 后一结果加强了和Slomson分别在[8]和[12]中相互独立地得到的一个结果,即M的判定问题是不可解的;同时否定地解决了M中的语句之是否在一非空有穷域上对B_o~N可驳的判定问题.     

支撑树参数值的分布

本文通过一个基本定理证明了支撑树基本参数(但直径参数例外)值的分布是整数集Z的某个区间(即是连续整数集)。从而,使得G.Chartrand问题的肯定答案[2,3,4]成为该基本定理的推论。对例外的直径参数举了反例。本文所引用的记号均与一致,对[5]中没有的记号作如下的约定。记Ω(G)为G的支撑树全体所成之集,φ是Ω(G)到实数集R的映射,N_a(T)=|{v∈V(T)|d_r(v)≤α,α≥1}|为顶点v的度截尾数。设Z为正整数集,我们称[a,b]={x∈Z|a≤x≤b}为Z的区间(即为连续整数集)。对给定的支撑树T和余树边e,T+e中唯一圈称为基本圈,记为C_r(e)。     

幂等算子乘积的群逆的表示

正1引言设X为Banach空间,B(X)表示Banach空间X上有界线性算子的全体.设A∈B(X),则满足方程ABA=A的有界线性算子B∈B(X)称为A的{1}-逆,记作A~-;满足方程ABA=A,BAB=B的有界线性算子B∈B(X)称为A的自反广义逆或A的{1,2}-逆,通常记作A~+.若B∈B(X)满足下列方程     

平面上n点集的k-子集

平面上有限点集 S 与半平面的交称为 S 的半空间,恰包含 k 个点的半空间称为 S 的k-子集.S 的 k-子集的个数记作 f_k(S),令Edelsbrunner 提出求 f_(k,n)的问题.此后,Goodman 和 Pollack 提出一个与之有关的问题,令     

具有较小直径的三类图的对极色数

对一个连通图G,令d(u,v)表示G中两个顶点间u和v之间的距离,d表示G的直径.G的一个对极染色指的是从G的顶点集到正整数集(颜色集)的一个映射c,使得对G的任意两个不同的顶点u和v满足d(u,v)+|c(u)-c(v)|≥d.由c映射到G的顶点的最大颜色称为c的值,记作ac(c),而对G的所有对极染色c,ac(c)的最小值称为G的对极色数,记作ac(G).本文确定了轮图、齿轮图以及双星图三类图的对极色数,这些图都具有较小的直径d.     

选择公理与连续统假设

§1.引言 选择公理(AC)令s为由互不相交之非空集x所成之集,则必存在集,c与每个x有且仅有一个共同元。 称上述之c为s之“选择集”。当s仅由一个非空集x构成时,由x为非空之定义立见AC成立;从而当s为有限集时AC亦成立。但当s为无限集时,既无法在有限时间内从每个x中任选一元来构成c,又没有一种规则能对每个x都唯一地确定出一个元     

Chartrand问题的若干拓广

记 Ω(G)和π(G)分别为图 G 的全体支撑树和全体悬挂点所成之集.对于子集 S(?)V(G),定义Ω~(S)(G)(?){T∈Ω(G)|π(T)(?)S}.若 G 是赋权图,记Ω_min~(S)(G)为 Ω~(s)(G)中全体最小支撑树所成之集.Chartrand 猜想:若有 T_1,T_2∈Ω(G),其相应的悬挂点数分别为m 和 n,且 m相似文献   

线段连续自映射非游荡集的拓扑结构

<正> 令X为拓扑空间,f:X→X为连续映射.f的不动点集F(f),周期点集P(f),周期点的周期,以及非游荡点集Ω(f)定义如常(例如,参见文献[1]).令x∈X,集合{f~n(x):n=0,1,2,….}称为x的轨迹,并记作O(x,f);当x为f的周期点时,O(x,f)称为x的周期轨迹.记Ω(f)为具有无限轨迹的非游荡点的集合.y∈X称为x∈X     

启发法及其设计——综合报告(四)

4.5候选者的选择——启发法的一个特征启发法的特征就是不对所有被接纳的候选者都作进一步的考察.根据对被接纳的候选者的评估,他们之中只有一些被选中,而其他的则被舍弃.这种舍弃过程使被接纳的候选者所成之集(邻域3)缩减成为选中的候选者之集(邻域4).在启发法中,除了一个被接纳的候选者外全都不要的作法是常见的.这个选中者是具有最好评估的候选者(属性N).尽管这种过程最常用,但也会被滥用.     

可逼近集及投影界的某些问题及新结果

§1.超平面及闭子空间可近性的研究在赋范空间X中给定集合G(叫逼近集),来研究G中元对任意给定元最佳逼近问题。首先当然希望对任意x∈X(不妨设xG)都相应存在g0∈G为佳逼元,具有此性质的G叫可近集(proximinal sets)。x的佳逼元(如果存在)全体记作P_Gx。映射P_G     

关于一道复数题答案的对白

高中课本代数下册复习参考题八的 2 ( 2 )题 :判断命题“复数集Ｃ与复平面内所有向量的集合一一对应”的真假 ,并说明理由 .有人给出答案 :假 ,因为实际上是复数集Ｃ与复平面内所有以原点Ｏ为起点的向量所成的集合一一一对应 .下面就是教师 (Ｂ)与学生 (Ａ)关于这个答案的讨论 .Ａ :这个答案很有道理 .复数集与平面内以原点为起点的向量集 (记作Ｖ)一一对应 .平面内所有向量的集合 (记作Ｖ′)的元素比集合Ｖ的元素多得多 ,所以集合Ｃ与Ｖ′就不能一一对应 .Ｂ :似是而非 .首先 ,向量 (ｖｅｃｔｏｒ ,亦称矢量 )有且只有两个要素———方向与…     

A-XGY的Moore-Penrose逆的表示

<正>设H,K,H_1,H_2为Hilbert空间,B(H,K)为从H到K上的有界线性算子的全体.B(H,H)缩写为B(H).设A∈B(H,K).R(A),N(A)分别表示A的值域和零空间.若B∈B(K,H)满足方程ABA=A,则称B为A的{1}-逆,记作A~-.满足方程ABA=A,BAB=B的有界线性算子B称为A的广义逆,记作A~+.若B∈B(K,H)满足下列方程     

有关循环图C(n;{1,k})的独立数的一些结果

令G=(V(G),E(G))是一个简单有限无向图.如果V(G)的子集S中任意两个顶点均不相邻,则S是图G的一个独立集.顶点独立集大小的最大值,称为图G的独立数,记作α(G).本文研究了循环图C(n;{1,k})的独立数问题,并给出了当k=2,3,4,5时的准确值.     

完全群的几个例子

设G是一个群。G到其自身的一个满单映射σ称为G的一个自同构,如果对任意G_1,g_2∈G有(g_1g_1)~σ=g_1~σg_2~σ。群G的自同构的全体对映射乘法形成一个群,称为G的自同构群,记作Aut G。特别,对任意α∈G映射是G的一个自同构,它称为由G中的元素α所决定的群G的内自同构。我们知     

停时折扣总报酬以分布最优模型

从实际需要出发,林元烈提出了以分布最优模型,作者在[1]基础上考虑更广泛的模型. 假定在时刻t=1,2,3,…处观察系统.该模型由如下意义的五重体(S,(A(i),i∈S),q,r,v)组成。其中S是所有状态组成的Polish空间,H为失效集,H=S-H为工作集.A(i)(i∈S)为状态i可用的行动集且有限.q是系统状态的齐次转移律。r(·,·)是定义在S×A上的单值实函数且0≤r(·,·)≤M,其中M是一正数.目标函数V_i(π,x)是定义在∏×S×R上的单值实函数,其中∏是全体策略集.     

关于非齐次线性方程组解的结构的进一步讨论

一、子空间的陪集定义1.设V是数域F上的向量空间,W是V的子空间。若v是V中任意向量,把和v w(w∈W)组成的集记作v W,即v W={v w|w∈W},则这些集称为V中W的陪集。 容易证明下面定理 定理1.V中W的陪集将V分成互不相交的集,即:(ⅰ)任何两个陪集u W与v W或重合或不相交;(ⅱ)每个v∈V属于一个陪集,事实上v∈v W     

圆周自映射的回归点和非游荡点

<正> 设S~1为圆周,并设f:S~1→S~1为连续映射.f的周期点集、回归点集和非游荡集分别记作P(f)、R(f)和Ω(f).f的拓扑熵记作ent(f).本文将证明: 定理 设f:S~1→S~1为连续映射.若P(f)≠φ,则 (1)P(f)=R(f).     

零理想边界的素端上某类椭圆型方程的非负解

考虑具有零理想边界的非紧镶边Riemann曲面Ω=Ω∪ aΩ及其上的Dirichlet积分有限的非负局部Holder连续的二重共变量P.用F表示方程△u=Pu在aΩ取极限值0的非负连续解全体.本文讨论拟Picard原理成立的充要条件并证明若Ω的每一理想边界点都有端邻域满足广义Heins条件,则Martin函数全体所成之集是F中的极小正解全体所支撑的子半线性空间P的一个Hamel基,而且F可表示为与P相关的直和形式.     

路及其相关图的序列性

设G是一个简单图,在G上当且仅当两个顶点的距离为2时增加一条边,所得的图称为G的平方,记作G2;在G上每个顶点都增加一条悬挂边所得的图称为G的冠,记作I(G).设Pn是n个顶点的路,本文给出了I(Pn2)、I(Fn)、F2n徊和I(Fn2)的序列标号.