关于Weil猜想

1949年法国数学家 A.Weil 公布了有关有限域上多项式方程组解的数目的猜想。这个猜想揭示了定义于有限域上代数簇的算术性质同定义于复数域上代数簇的拓扑性之间的深刻联系。Weil 指出若有适当的关于抽象簇的上同调理论,类似于定义于 C 上的簇的寻常上同调,则可能从上同调论的多种标准性质推演出他的猜想。1963年,Grothendieck 证明他的 l—adic 上同调具有 Weil 猜想内蕴部分的充分性(zeta 函数的有理性),1973年 Delign 完成了 Weil 猜想的全部证明。     

模糊商空间理论两个定理的补充

张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符号和序代数理论的方法和观点对其进行修正和补充,给出两个定理的完整证明,使得相关结果的表达更简洁和规范,完善了模糊商空间理论.     

阶化平移Toroidal李代数L4的导子和泛中心扩张

Toroidal李代数(加适当的中心和导子)是以Laurent多项式代数为坐标环面的扩张仿射李代数.阶化平移toroidal李代数(L)n(n≥3)是B型和D型toroidal李代数的自然推广.考虑n=4时的导子和泛中心扩张,给出(L)4的导子,并通过一类特殊的阶化给予证明.也给出L4的所有的2-上循环,从而得到它的泛中心扩张.可以看出结论与孔和谭文章中n≠4时有很大的不同.     

粗糙集的BCK-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(＜下近似集,上近似集＞)表示入手,通过定义偶序对性质的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对的性质的一般代数结构.其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数.文章讨论了近似空间中粗糙集的代数性质,通过所给的粗糙并、交、补的定义,定义了粗糙集的全体所组的集合B的一个二元运算*.并证明B是一个蕴涵的BCK-代数.     

一类双有理对应的诱导同态的映上性质

1.周炜良(W.L.Chow)在[1]中证明:对代数簇V到V’的双有理对应T,如果是所谓许可的(admissible),则自然诱导出V’上任一维数循环(Cycles)的有理(代数)等价群到V上同一维数相应群的同态。探讨这个同态的性质是有用的。例如,自从O.Zariski提出正规簇(normal variety)的概念并且构造了正规化手续后([2]),很多作者都以正规簇     

法向消元和线性规划强多项式算法

为了求最优集(不只是求零维的最优点),提出了行满秩线性代数方程组的法向消元解法,指出它与点和法向量组的逐次投影等价,并进一步将其发展成最小投影法,用来判定原始等式约束平面和若干坐标超平面的交的可行性;通过逐次投影在等式约束平面上建立序结构,逐维选优和判定可行性,使线性规划单纯形迭代解法所进行的Rn空间中平面组合穷举的计算变成逐次降维的等式约束平面上低维平面的形和位判定的代数计算,得到线性规划问题的低于O(mn3)的强多项式直接算法.     

关于代数几何中的概型理论

引言:设 P~n、P~m 为复射影空间则消去法理论指出,投射P_2:P~n×P~m→P~m为封闭的.即若 ZP~n×P~m 为闭的代数集.则 P_2(Z)也是闭的代数集.由此可以推出,若 X、Y,Z 都是射影簇,AX×Y,BY×Z 为两个对应关系,则必有:BoA={(x,z)∈X×Z|y∈Y 致(x,y)∈A,(y,z)∈B}也是 X 至 Z 的对应关系.由是可以说两个正则对应的合成仍然是一正则对应.因而一切射影簇的集合和正则对应形成一个范畴。然而在代数几何中这个范畴长期被忽视,正则映射似乎传统地被作为独特的东西。本世纪五十年代末,Grothendiek 注意到这个范畴,用层论为工具从推广仿射簇上的正则函数环入手来形成他的概型(Schemes)观念,给代数几何加进更坚实的代数基石,影响深远。     

行列式理论的外代数方法

外代数理论在近代数学中有许多重要应用,本文用外代数的方法统一处理行列式理论,它比起线性代数中传统的处理方法,则要更加简洁、明了。一、外代数的定义与基本性质定义1 设F是域,A是一个环,同时又是域F上的向量空间,且适合:     

着色李超代数的构造

讨论着色李超代数的构造。将首先给出这种代数结构的定义，然后证明一个阶化向量空间作成着色李超代数的等价条件，它把着色李超代数的研究归结为一般李代数及其表示理论的研究，并根据该等价条件构造了3种形式的着色李超代数。     

半结合3-代数的双模结构

定义半结合3-代数的双模,并研究其双模结构和正则双模结构.对任意一个半结合3-代数(A,{,,}),证明A的三元运算{,,}的循环和[,,]c是线性空间A上的3-李运算,并研究半结合3-代数的导子与其伴随3-李代数的导子之间的关系.     

泛代数上的Gr迸bner-Shirshov基理论

综述了域上或交换代数上的线性（Ω-）代数的相应的簇（范畴）的Gr迸bner-Shirshov基理论的新成果,如：结合代数（包括群（半群）代数）,自由代数的张量积,李代数,Di-代数,pre-李代数,Rota-Baxter代数,metabelian李代数,L-代数,半环代数,范畴代数,等。其中包含了许多应用,尤其是给出了一些著名结论的新的证明。     

解析几何中向量代数运算的坐标表示和运算律

根据向量代数运算的几何定义先推出各代数运算的坐标表示。利用这些坐标表示可简化所有运算律的证明；从而为解析几何中向量代数有关部分的教学处理提供了一个简明易懂的新方法。     

共轭空间性质的一个证明

提供共轭空间一性质较代数化的证明 ,该性质常用于算子代数的同调与上同调理论中。有别于以前较复杂的拓扑方法的证明 ,该证明较简洁且显示了该性质代数特征。     

泛代数上的Groebner-Shirshov基理论

综述了域上或交换代数上的线性（-）代数的相应的簇（范畴）的 Groebner-Shirshov 基理论的新成果，如:结合代数（包括群（半群）代数），自由代数的张量积，李代数，Di-代数，pre-李代数，Rota-Baxter代数，metabelian李代数，L-代数，半环代数，范畴代数，等．以上结果包含了许多应用，尤其是给出了一些著名结论的新的证明．     

对称BCI—代数类是一个BCI—代数簇的充要条件

1980年日本数学家K.Iséki提出这样的问题[1],即一个BCI一代数类是否是一个BCI一代数簇?文[2]中举出一例,说明这个问题的回答是否定的,並指出可结合BCI—代数类一定是BCI—代数簇。本文指出对称BCI—代数类是一个BCI—代数簇的充要条件是可结合的。并得到拟左(右)交错对称BCI—代数类都是BCI—代数簇。并证明了对称     

投影代数簇上截丛的几何性质

V是n维投影空间[n]中的代数簇。对给定的d(d=1,…,n),称∑_d={(x,[d])|x∈V, x∈[d]?[n]}为V在[n]中d维平面的截丛。当V是非奇复代数流形时,∑_d是V上纤维为Grassmann簇G_(n-1,d-1)的纤维丛。最近,G.H.Galbura研究了∑_d的拓扑性质,得到了∑_d的上调群的结构。在抽象代数几何的情形,不难看出(§1,1.1),∑_d是V上A.Weil意义下的代数纤维丛。本文研究截丛∑_d的代数几何性质,更确切地说,将研究∑_d的周炜良环和     

工程可变模糊集理论与模型--模糊水文水资源学数学基础

系统阐述了作者创建的模糊水文水资源学新学科的数学基础——工程可变模糊集理论、模型及其建立的思维过程.指出1965年Zadeh创立的模糊集合隶属函数概念惟一化或静态化的理论缺陷,建立了以相对隶属函数为基础的相对差异函数与模糊可变集合的概念、定义与模型,拓展了模糊集合隶属函数的静态概念与定义,是工程可变模糊集理论的核心内容,不仅可用于模糊水文水资源学,同样可用于其他工程领域.最后论述了相对差异函数与可拓集合中关联函数的区别,指出并证明1983年蔡文在《科学探索》上发表的、以后又多次在可拓学论著中介绍的关联函数公式的错误,遗漏了重要约束条件,不能用于工程领域.     

阶化Cartan型李代数的阶化模

1.阶化李代数的正、负阶化模域F上李代数称为一阶化李代数,如(子空间直和)且显然这时是的子代数。模V称为正(负)阶化模如V=V_i(子空间直和)且必要时改变足标,总设V_o≠0_o V_o是模,称为V的底(顶)空间。我们定义了阶化模V的根R,它是V的一个子模。V为可迁当且仅当R=0_o利用根的概念,我们证明了     

量子矩阵空间M_q(2)及量子群sl_q(2)的坐标代数的Gr?bner-Shirshov基

本文用合成运算方法给出量子矩阵空间M_q(2)的坐标代数O(M_q(2))及量子群sl_q(2)的坐标代数O(sl_q(2))的Gr?bner-Shirshov基,并且作为一个应用,我们还给出了量子矩阵空间M_q(2)的坐标代数O(M_q(2))及量子群sl_q(2)的坐标代数O(sl_q(2))的一组线性基.     

von Neumann代数上保持投影的映射

设A是复Hilbert空间H上的一个von Neumann代数,P(A)表示A中投影的全体.本文证明了连续满射Φ:A→A如果满足A+λB∈P(A)Φ(A)+λΦ(B)∈P(A),A,B∈A和λ∈C,则Φ是A上的一个Jordan同构.