含幺交换环R上有限生成模不同基的势相等的证明

定理设R为含幺的交换环,S和T是有限生成自由R—模M的两个基,则|S|=|T|。证法1 设S={x_1,x_2,…,x_n},T={y_1,y_2,…,y_m}为R—模M的两个不同基。由于R是含幺交换环,知存在R极大理想m,使k=R/m为域。下边考虑R—模M的子模:而M/mM可视为R—模,但,故M/mM可作为R/m—模。另一方面,S={x_1,x_2,…,x_n}是M的基,可知是R/m—模M/mM的生成元而且是k=R/m线性无关的。     

Riemann可积的充要条件

设 f:[a,b]→R,P={x_i|a≤x_0相似文献   

关于拓扑Boole格的积（Ⅰ）

[1]指出.拓扑空间的积能否推广到古典拓扑Boole格上是一个未解决的问题.本文证明这一推广是可以的. 设{B_1}_1∈△是一族Boole格,用IB表示一切形式为x={x_1)_1∈△(x_1∈B_1)的元的集.设y={y_1}_1∈△(y∈_1∈B_1)是IB的另一元,规定xI=y当且仅当对1∈△,有x_=y_1,规定了这样相等关系的集IB称作{B_1}_1∈△作为集族时的(I)积,记作:IB=(I) B_(1或IB= B_1)·如果(I)积IB中元x={x_1}_1∈△.对某个l_0∈△,有x_(10)=O_(10)是B_(10)中最小元),把所有这样的x看成是相同元,     

R_ρ积分与Riemann积分

引言本文引入了函数f(x)在[a,b]上R_φ积分概念,研究R_φ积分的性质以及R_φ积分与Riemann积分的关系,并得出函数f(x)在[a,b]上Riemann积分的几个等价定义。在本文中,[a,b]是实数轴上的有界闭区间;f(x)是定义在[a,b]上的实值函数;I是实常数,[a,b]上的分法T是有限点集T={x_0,x_1,…,x_n:a=x_0相似文献   

定义在多重互素GCD封闭集上Smith矩阵行列式的整除性

设f为算术函数,S={x_1,x_2,…,x_n}是由n个不同的正整数构成的集合.用(f(S))=(f(x_i,x_j)(1≤i,j≤n)表示一个n阶方阵,其i行j列处的元素为f在x_i和x_j的最大公因子(x_i,x_j)处的取值.用(f[S])=(f[x_i,x_j])(1≤i,j≤n)表示另一个n阶方阵,其i行j列处的元素为f在x_i和x_j的最小公倍数[x_i,x_j]处的取值.设h为正整数,如果S可划分为■,其中S_i(1≤i≤h)为最大公因子封闭集,且满足1≤i≠j≤h,(lcm(S_i),lcm(S_j))=1,则称S为多重互素最大公因子封闭集.给出定义在多重互素最大公因子封闭集上Smith矩阵(f(S))与Smith矩阵(f[S])行列式之间的关系.     

关于交换映射的几个公共不动点定理

文〔1〕对于交换映射给出了一些较一般的公共不动点定理,本文的目的是将〔1〕中的主要结果加以推广,从而使得〔2—3〕中的许多重要结果得到进一步的统一和推广。在本文中,N,ω和R_ 分别表示自然数集,非负整数集和非负实数集,并将沿用〔11〕中关于L—空间(X,→)的某些术语。特别,映射f:(X,→)→(X′,→′)称为是连续的,是指序列{x_n}_(n∈)(?)X,x_n→x∈X 蕴涵对{(x_n}_(nω)的某一子序列{x_(n_1)}_(iω)有f(x_(n_i))→′f(x)。对于连续     

关系的划分及其矩阵描述

讨论了有限集合X上的二元关系R及关系运算的划分,并利用关系划分的矩阵表示,给出了关系闭包及关系性质的矩阵描述．     

两个互素因子链上的幂GCD矩阵的行列式与幂LCM矩阵的行列式的整除性

设S={x_1,x_2,…,x_n}是由n个不同的正整数组成的集合,并设整数a≥1. 如果n阶矩阵的第i行j列元素是S中元素x_i和x_j的最大公因子的a次幂(x_i,x_j)~a,则称该矩阵是定义在S上的a次幂最大公因子(GCD)矩阵,用(S~a)表示. 类似可定义a次幂LCM矩阵[S~a].作者证明了:设S由两个互素的因子链构成并且1∈S. 若a|b,则det(S~a)|det(S~b),det[S~a]|det[S~b]和det(S~a)|det[S~b].若S由两个不互素的因子链构成, 则如此分解定理不成立.     

有限Fuzzy集的熵的另一种定义

本文普遍设K={x_1,x_2,…,x_(?)}为有限集,(X)是X 上全体Fuzzy 子集的集合族,即(X)=〔0,1〕~(?)。又记R~ 为非负实数集。熵在信息论中是用来描述试验结果的不确定性的大小。这里,Fuzzy 集f 的熵是Fuzzy 子集f:X→〔0,1〕的Fuzzy 程度在数量上的一种表示,也即Fuzzy 集的“不确定性”在整体上的一种度量。这种“不确定性”与经典数学中随机事件的不确定性,在意义上是不同的。     

幂GCD矩阵与幂LCM矩阵的行列式的整除性

设S={x_1,x_2,…,x_n)是由n个不同的正整数组成的集合,并设整数a≥1,如果n阶矩阵的第i行j列元素是S中元素x_i和x_j的最大公因子的a次幂(x_i,x_j)~a,则称该矩阵是定义在S上的口次幂GCD矩阵,用(S~a)表示.类似定义幂LCM矩阵[S~a].本文证明了:设S是由n个不同的正整数组成的一个最大公因子封闭集,且正整数a∣b.如果n≤3,那么det(S~a)I det[S~b];如果max{x_i)＜12,那么det(S~a)f det[S~b].x_i∈S     

关于张量空间上的非负定算子

设A_1,…,A_n为n阶复矩阵,=A_1…A_n,令W~()={(x_1…x_n,x_1…x_n)|x_1,…,x_n规格化正交}。本文证明了当n≥3时有:1)为非负定的充要条件是W~()R~+;2)为正定的充要条件是W~()R~+(正实数)。     

关于高级诱导极限的连续映象定理

在这里我们所要讨论的是有关能量空间中高级(有穷的)诱导极限的连续映象定理,首先叙述这样一个定义(徐利治,1951;数学学报,88-97):假定X={X_n}的a级导集X~(a)只包含一个点x_0,则便称叙列{X_n}收歛于a级的诱导极限x_0,记作对于一个已经知道具有诱导极限的叙作{X_n}来说,其诱导极限的级也可以表作a=〈x_n〉现在我们来证明下面一个命题:定理1.假设K个叙列{X_1,n},{X_2,n},…,{X_k,n}分别是完全能量空间S_1,S_2…,S_k,中的各含相異元素的紧致集,又设这些叙列都有着高级诱导极限点并且{(X_1,n,X_2,n,…,X_k,n)}是乘积空间S_1×S_2×…×S_k中的阴集,那末〈x_1,n〉=〈x_2,n〉     

有限集上可传递二元关系的矩阵判别方法

用关系矩阵研究二元关系及其性质的方法既简洁又高效。在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中,前四种性质已有了关系矩阵判别方法。一般认为有限集上可传递二元关系的特征较为复杂,故不容易从其关系矩阵中直接判别。文章对可传递关系进行了相应的讨论,并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。     

向量空间F~n或F~∞的一些特性

本文所讨论的空间F~n是指点集{X|X=(x_1,x_2,……,x_n)0≤x_i≤1,i=1,2,……,n}具有下列各种运算:1.X+Y(?)X∨Y=(x_1∨y_1,……,x_n∨y_n)2.X·Y(?)X∧Y=(x_1∧y_1,……,x_n∧y_n)3.λ·X(?)λ∧X=(λ∧x_1,……,λ∧x_n)其中X,Y∈F~n,λ∈[0,1],且X=(x_1,x_2,……,x_n),Y=(y_1,y_2,……,y_n)若n=∞,则空间F~n变为F~∞.本文初步地探讨空间F~n或F~∞的一些特性,例如:F~n的线性子空间的秩可以无限增大;F~n的线性子空间(?)m不一定具有凸性,但是(?)m具有连通性和列紧性;而作为半序集的F~n是一个无穷的可分配格.     

集合上二元关系运算的理论研究

基于集合上的二元关系,讨论了如何从关系矩阵的特征来判断二元关系的传递性,并给出了一个求集合 X 上二元关系 R 的传递闭包的算法以及关于集合上二元关系的几点结论.     

A KIND OF BOUNDARY VALUE PROBLEMS FOR THE REGULAR FUNCTIONS WITH VALUES IN A REAL CLIFFORD ALGEBRA

Let A. (R) be a real Clifford algebra and Gan open connected set in R~n . By [1], the function with val-ues in A_n (R) may be written aswhere B ={r_1,r_2,…,r_h} {1,2,…,n}represent that from the sum for'lst and 2nd indi-sates respectively, and we have the following result.Theorem A Function f (x) with values in A. (R) is regular in G if and only ifLet G be the unit hyperball and L the unit hypersphere. Cutting G by the plane: x_3= a_3, …,x_n = a_n(n3) , we obtain a section domain G_a in the x_1x_2 plane. Let L_a be the boundary of G_a, and its center is writ-ten as 0_ = (0,0,α_3,...,α_n) .     

关于MATROID的一个特征性质

本文给出了 Matroid 的一个特征性质,即给出了以下定理:设 S 是集合, 2~,Φ∈, 为子集闭的,则(S,)为 Matroid 当且仅当下列条件满足:对X={x_1,x_2…x_n)∈,Y={y_1,y_2,…y_m)∈,X、Y 在 F中极大,则 n=m,且适当调整 x_i的顺序,可使i,{y_1…y_(i-1),x_i,y_(i+1)…,y_m}∈(i=1,2,…n)     

基于关联Petri网和遗传算法的约束Web服务组合优化

1基本概念和性质定义1 APN(关联Petri网)是一个13元组:APN=(P,T,S,D,Λ,Γ,I,O,C,α,β,W,Th)其中P={P1,P2,…,Pn}是库所的有限集T={T1,T2,…,Ti}是变迁的有限集S={S1,S2,…,Sm}是支持的有限集D={D1,D2,…,Dn}是命题的有限集合Λ={τ1,τ2,…,τm}是一组支持的临界值的有限集Γ={γ,γ,…,γ}是一组信任临界值的有限集     

半个传递半群M(A)的Green~*-关系

设I_n是有限集X_n={1,2,…,n}上的对称逆半群,M(A)是I_n的半个传递子半群.本文研究了M(A)的Green-关系和Green~*-关系,并证明了它是类A半群.     

代换序列的部分和研究（Ⅰ）

设σ为集合A={1,-1}上的代换,x=x_1,…x_n…∈(1,-1}~N为σ的不动点,s(N)=sum from j=1 to N(x_j)为x的前N项的和.本文首先确定σ的第n次迭代σ~n(1)的部分和的极大值与极小值。然后利用这些结果完全确定了s(N)的渐近性质。