公理系统ACG的层谱

在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF^#与QM的协调性。本文对ACG建立了一个层谱,B₀,B₁,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF^#与QM的协调性只需在B₀中就可以获得,虽然,在B₀与ACG之间还存在个具有递增强度的公理系统。     

也谈把"0"作为一个自然数

《数学通报》2 0 0 1年第 1期王尚志老师“为什么要把‘0’作为一个自然数”一文用浅显明白的语言阐述了把“0”作为自然数的“解释” ,但我们感觉 :若不用公理集合论的语言说明 ,似乎意犹未尽 ,下面谈谈我们对此问题的看法 .在公理集合论中 ,我们有如下公理 :Ⅰ外延公理 : ｘ ｙ( ｚ(ｚ∈ｘ ｚ∈ｙ) →ｘ=ｙ)即集合是由它的元素所唯一决定的 .Ⅱ空集存在公理 : ｙ ｘ(┐ (ｘ∈ｙ) )即存在一个集合 ,它没有元素 .据外延公理 ,这个集合是唯一的 ,我们将它记作 .Ⅲ二元集公理 : ｕ ｖ ｚ ｘ(ｘ∈ｚ ((ｘ=ｕ)∨ (ｘ=ｖ) )即对任意两集合ｕ和…     

有限超可解群的几个特征性质(英文)

这篇短文的第一部分给出Hupperl定理:“每极大子群有质数指数的有限群为超可解”的一个不用表示论及Gasohiilz定理的证明。该证明得自 定理1 若有限群G有p~α阶极小正规子群N使G/N为超可解,则或者1)G有极大子群M使G=MN,M∩N=E, 或者2)G有质数阶正规子群。. 在可解时Huppert定理推广为: 定理2 设G为有限可解群。于是G为超可解当且仅当每极大子群在G内的指数不含平方因子。 单群A_5说明本定理的假设“G可解”是必要的。 本文第二部分是Molain定理的推广: 定理3 设h=|H|的最小质因子为p_h,最大质因子为q_h,若有限群G的每子群H对其阶h恒存在指数为p_h及q_h的子群,则G为超可解。 更广泛的结论为: 定理4 有限群G为超可解当且仅当存在G的两个子群链 G=G_0>G_1>G_2>…>G_8>E, G=H_0>H_1>H_2>…>H_8>E,使指数列[G_0:G_1],[G_1:G_2],…,[G_8:E]为从小到大的质数,而[H_0:H_1],[H_1:H_2],…,[H_8:E]为从大到小的质数。     

关于拉普拉斯谱半径的一个不等式

设G是一个简单连通图,v是图G的一个割点.G_1,G_2,…,G_s(s≥2)是图G的s个v-分支.令H_1=G_1∪G_2∪…∪G_t,H_2=G_(t+1)∪G_(t+2)∪…∪G_s,其中1≤t相似文献   

区域适时变动时总极值的收敛性和最优性条件

[1]中讨论了变量区域适时变动时总极值问题,构造了如下算法模型: 给定有界闭区域序列{G_k}和c_0,设f(x)为R~n中有下界的连续函数。 令H_0={x|f(x)≤c_0,x∈G_0},若μ(H_0)=0,则c_0即为G_0上总极小值,H_0为总极小点集(证明参见[2]),算法终止,故不妨设μ(H_0)>0, 作     

Some Characterizations of a Finite Supersolvable Group (in English)

这篇短文的第一部分给出Huppert定理：“每极大子群有质数指数的有限群为超可解”的一个不用表示轮及Gaschutz定理的证明。该证明得自 定理1 若有限群G有p^\alpha阶极小正规子群N使G/N为超可解，则或者1）G有极大子群M使G=MN,M\cap N=E,或者2）G有质数阶正规子群。 在可解时Huppert定理推广为： 定理2 设G为有限可解群。于是G为超可解当且仅当每极大子群在G内的指数不含平方因子。 单群A_5说明本定理的假设“G可解”是必要的。 本文第二部分是Mclain定理的推广： 定理3 设h=|H|的最小质因子为p_h,最大质因子为q_h，若有限群G的每子群H对其阶h恒存在指数为p_h及q_h的子群，则G为超可解。 更广泛的结论为： 定理4 有限群G为超可解当且仅当存在G的两个子群链 $G=G_0>G_1>G_2>\cdots >G_s>E$ $G=H_0>H_1>H_2>\cdots >H_s>E$ 使指数列[G_0:G_1],[G_1:G_2],\cdots,[G_s:E]为从小到大的质数，而[H_0:H_1],[H_1:H_2],\cdots,[H_s:E]为从大到小的质数。     

边界层的奇性分析

设 λ∈[λ_0,∞)(0<λ_0<<1),H_1=H_0~2(Ω)∩H~3(Ω),H_2=H_0~1(Ω)∩H~3(Ω),H_3=H~3(Ω),k_1=1/4,k_2=1/12,k_3=1/36,J_6(λ)=integral d(x,Γ)≥a~λlog(1+a~(-β) |△▽(u_e-u)|~2dx,α(ε)=1/6×log_ε1/C(C>1).我们考虑问题(?)定理.若 u=f∈H_i,对问题(1),有如下三种情形成立:i)正规区域 当 λ_0≤λ≤1/6-α(ε)时,有J_6(λ)≤C‖f‖_(H~3(Ω))~2;ii)奇性增长区域当1/6-α(ε)<λ<1/6+k_i/6时,有J_6(λ)≤Cε~(-6λ+2k_i)‖f‖_(H~3(Ω))~2;iii)奇性稳定区域当 λ≥1/6+(k_i)/6时,有J_6(λ)≤Cε~(-1+k_i)‖f‖_(H~3(Ω))~2;其中 i=1,2,3,β≥(45)/(32),C 为同 ε 无关的常数(见图1).     

聚合公理系统的布尔值模型

本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型ＶＯｎ＾（Ｂ）是聚合公理系统的布尔值模型〔ＶＯＮ＾（Ｂ）〕的子模型，并且ＺＦ集合公理组在〔ＶＯＮ＾（Ｂ）〕中满足。     

有准备时间的最小带权误工工件数问题的最优解

设有工件集合N={J_1,…,J_n}要在一台机器上加工,已知J_i的准备时间、加工时间、应交工期和权分别为r_i、p_i、d_i和w_i(i=1,…,n)。问如何安排工件的加工顺序,使带权的误工工件数最小? 加工顺序确定了J_i的完工时间C_i(i=1,…,n)。当C_i≤d_i定义U_i=0,否则U_i=1本文假定r_i满足:对于我们的问题记为: (P) 当w_i≡1时,Kise等给出O(n~2)的算法求其最优解。当r_i≡0时该问题已被证明是完全的。Lawler曾用动态规划方法求其最优解。我们对r_i不为零的(P),建立了消去准则,构造了分支定界算法求其最优解,并在微机上进行了试算。     

非线性约束凸规划的一个解法及其收敛性

引言 我们讨论如下的非线性约束的数学规划问题(P): 假定f(x)=f(x_1,x_2,…x_n),x=(x_1,x_2,…x_n)~T∈E~n,是一阶连续可微的凸函数,g_j(x)=g_j(x_1,x_2,…x_n)是一阶连续可做的凹函数。对约束集合R,我们作如下假定:对任一x∈R,存在β>0,使得对应于指标集J_β(x)={j|g_j(x)≤β}的指标j,     

什么是层叠集合观

七十年代布罗斯利用层叠集合对策梅洛集合论(简称Z)的公理系统作了推导.对集合的层叠观定性,一度被认为是完全自恰的.基于此,文中引入层叠集合观并重新刻画Z公理系统,对原文一些疏漏和不当之处作了补正,使之简明易懂.最后对层叠集合观提出了若干自己的认识.     

一个最小可行图的判定条件

设有n个集合X_1,…,X_n,一个以X=U_(i=1)~nX_i为顶点集的图G称为是一个关于(X_1,…,X_n)的可行图,如果对每一个X_i(i=1,…,n),导出子图G_i=G[Xi]是连通的。关于集合序列(X_1,…,X_n),含最少边数的可行图称为是最小可行图。本文证明,关于(X_1,X_2,X_3)的可行图G=G_1∪G_2∪G_3是最小可行图的充分必要条件是:当X_i∩X_j∩X_k≠φ(i,j,k)=1,2,3)时,G_i∩G_j∩G_k是树。它发展了由D.-Z.Du(堵丁柱)在1986年得到的一个结果。     

关于子群的两种广义正规性的注记

群 G 的一个子群 H 称为在 G 中具有半覆盖远离性,如果存在 G 的一个主群列1=G_0＜ G_1＜…＜G_1=G,使得对每一 i=1,…,l 或者 H 覆盖 G_j/G_(j-1)或者 H 远离 G_j/G_(j-1)．本文证明了予群的半覆盖远离性是子群 C-正规性和子群的覆盖远离性之推广．进一步应用极大子群和 Sylow 子群给出了有限群为可解群的一些特征．     

构造Banach空间上非线性方程解的预解式迭代过程

一 设X是实Banach空间,X是它的对偶空间。A:X→2~X为一集合值非线性映象,0∈A_x称为关于A的非线性映象方程。对于任一确定的正实数λ,设逆映象 J_λ=(I λA)~(-1)存在并单值,称J_λ为A的预解式算子,并称     

模糊逻辑系统公理真度分析

分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系.     

关于M/M/1系统方程的瞬态解

经典的M/M/1随机服务系统的排队方程是{G_0~＇(t)=-λG_0(t)+μG_1(t),G_k~＇(t)=λG_(k-1)(t)-(λ+μ)G_k(t)+μG_(k+1)(t),k=1,2,…,其中G_k(t)表示在时刻t系统内恰有k个顾客的概率.在一般初始条件下方程(1)的解已由Clarke用母函数方法求出:G_k(t)=e~(-(λ+μ)t)[(λ/μ)~(k/2)I_k(2t(λμ~(1/2))+(λ/μ)~((k-1)/2)I_(k+1)(2t(λμ~(1/2))     

群的形变收缩及Toeplitz代数

设G为一个离散群,(G,G_ )为一个拟偏序群使得G_ ~0=G_ ∩G_ ~(-1)为G的非平凡子群。令[G]为G关于G_ ~0的左倍集全体,|G_ |为[G]的正部。记T~(G_ )和T~([G_ ])为相应的Toeplitz代数。当存在一个从G到G_ ~0上的形变收缩映照时,我们证明了T~(G_ )酉同构于T~([G_ ])×C_r~*(G_ ~0)的一个C_-~*c子代数。若进一步,G_ ~0还为G的一个正规子群,则T~(G_ )与T~([G_ ])×C_r~*(G_ ~0)酉同构。     

剖分点一边冠图的电阻距离和Kirchhoff指标（英文）

图G的剖分图S(G)是在图G的每条边上加一个顶点.这些新添加的点的集合称为I(G).在三个图G_1,G_2和G_3的基础上引进了一种新的图运算,称为剖分点一边冠图,记作G_1~So(G_2~V∪G_3~E),它由S(G_1),|V(G_1|个G_2的拷贝和|I(G_1|个G_3的拷贝组成,将V(G_1)中的第i个顶点和第i个G_2的拷贝中的每个顶点连接,同时将I(G1)中的第i个顶点和第i个G_3的拷贝中的每个顶点连接.本文给出了剖分点一边冠图的电阻距离和Kirchhoff指标.     

非交换自共轭算子组的联合谱

<正> 设A_1,A_2,…,A_n是Hilbert空间K上交换的线性有界算子组,A_j=H_j+iJ_i是直角分解.研究非交換自共轭算子组(H_1,…,H_n,J_1,…,J_n)对非正常交换算子组的研究十分有益.     

Russell悖论的变形与ZFC的正则公理——对无根基悖论和多值逻辑悖论的评析与介绍

§0 引言 沈有鼎先生在[1]中构造了几个著名的悖论,即所谓‘无根基和有根基悖论’、‘循环与非循环悖论’和‘n循环与非n循环悖论’。我们首先用通俗的自然语言把这几个悖论陈述出来,再介绍ZFC系统中正则公理AxR的几种等价形式,然后利用AxR的这些等价命题对上述三个悖论进行分析,即可看出它们都是变了形的Russell悖论,并且很自然地得到结论;Russell悖论和上述三个悖论中所构造的集合,皆不在ZFC系统中,因而这些悖论将不在ZFC系统中出现。