向量空间上恒等式的q-模拟与组合证明.pdfVIP

独锈魏说弱 作者郑重声明；本硕士学僚论文是我个人在导师指龆下进行的研究工作及取得研究 成聚．尽我所知，除了文中特嬲加以标注和致谢的地方外，论文中不识岔其他人已缀发 表袋撰写簿硬究蔽采，逮不惫禽为获褥大遂疆王夭学凌莛德擎位静学豫凌{菱警瑟爱藤过 的材料． 作者签名；钕整率日潮；逸丛!!盖丘＆ 大连理工大学学位论文版权使用授权书 本学位论文作者及指导教师完全了解”大连理工大学硕士、博士学位论文版权使用 规定”，同意大连理工大学保留并向国家有关部门或机构送交学位论文的复印件和电子 ‘版，允许论文被查阅和借阅．本人授权大连理工大学可以将本学位论文的全部或部分内 容编入有关数据库进行检索，也可采用影印、缩印或扫描等复制手段保存和汇编学位论 文． 作者签名： 赵垫辱 导师签名； 黝p 大连理工必学硬士学位谂史 1善|害 李疆究瀑蝴戆研究方囊是组合数学．组舍数学，叉黎努离散数学，毽蠢时逸把 缀合数学衣霞沦由日在一起稚菇离散数学，它是计算机穗现戳后迅速发展越来毂一门数学 分支，计算机科学是算法的科学，计算机所处理的对象是离散的数据，而研究离散数据 的科学恰恰就是组合数学．组合数学不仅在计算机科学中有重要的应用，而且猩企业管 攥，交逶规麓，金聚分费等镁壤罄骞重瑟黪应曩馀基，缎台羲学黪方法，晷想黧撰垄蓑 术已经逐渐渗遴懿了各个学辩领域。组会数学研究静镁域有很多，魏；计数组会学，代 数组合学，图论及其算法，缀合优化，缀合设计，恒等式的q模拟及其组合证明簿等． 本课题所属的研究领域是恒等式的口模拟及其组龠证明，它对于组合数学的研究有 葛≥鬻重要熬黎义，赋予了燧等式一定懿谤数意义，秀囊爱数学嚣务学势囊识与缀套数学 有机遗结合农—起，一壹以采都深受组合学家们的譬褫． 性地研究，他们给出了一些铲恒等式饺子空间格上的缀合解释，并说明当g一1时就是 一簸懿二瑗式蕊数霍等式。糙蛾矗斓予1971年缮爨g嚣有疆壤上懿珏维良量察瓣戆基 出了一些从予擞间格到n辩榘上的布尔格的保序映射．之后王军【5≈于1999年擞保序映 射黪基础上搀旋了从子空阉捺的某一商捞舔l布尔格的格映射，这对憾等式的窖-模拟和子 蕊一予奎戆摸羧产生了缓大瓣贾藏，疆霪，冯红喇叉怒宅搀广蘩多蘩集上。1992年， Y．G．Chen和Rota{141还给出了包含排除藤邂在子空闻格上的P模拟． (”善1)。的—个争模拟及窖．模拟的组合证嘴，之后珊鼢挑材叫又给出丁它的—个黧筒单的 的q_模拟形式．但是还没有义章从向量空间的角度给嬲它的于模拟，所以对于逡炭恒等 斌在向量空间上的哥模拟掇研究的—个新思路． 大连域蔗大学硕士学位论文 2绪论 本文烹获扶龛量空翘建发给出了一些毽等式鲍q模拟及其缀会证骧，首先我弼奔绍 一些与之耀荧酶基本翔谈裾基本褫念。 2．1偏序巢 偏穿枭蹙一稀特定瓣察，它是—樊生要嚣彦关豢集。吴雾遮滋，集合E涟淹其主邃 性，反对称性和传递性地：元关系，例如，数之间地不大于关系，自然数之间地整除关 系，集合之怒遮包食关累镣．把寨台E戆基数嚣为馕痔集P翦黔，跨为有隈缀熬镶序集 称为有限壤謦集。磊在P上，对手经慧元素罨瓠酝闽沁捌垮隽有限偏枣集崤，称P鸯 局部有限偏序集．这两类偏序集是组合理论中的奎簧研究对象．偏序集上所有链的长度 的最小上界竣上确界，称为偏序集的长度，记为z(聊． 骟彦集戆最大元，栽小元； 的极小元．若取s=刀，则分剐称。为偏序集P的极大元，n为偏序集．P的檄小元．当 尹秀毒疆壤警察时，箕极太元，毂夺嚣慧是毒在鹣，若对予P戆爨有元素墨坶有。≤a， 序集P的最小元．偏序熊并不总有最火元，最小元．若它时有限金序集，则宦总有最大 元和最小张． 2．2格 造兹蘩下嚣令集会Ⅳ1(茗，坊=扛∈E|茹≤毛YS 它们作为P的子集均为编序集，—般不一定有最大浠或最夺元．游对P的任慧元素为Y， Ⅳ1(z，Y)均有最小元，Ⅳ2(￡，Y)均有最火元，则称F为格，并记为￡． 在格c上，把Ⅳ10，Y)和其最小元的对应关系视为一类二元避算，称为。和Y的交， 们是格上撼最基本的运算．这两类运算满足； (1)同——律霉v霉篇∞；zAz=霉． (2)垄蹬熟律#V