双射法

✍ dations ◷ 2025-10-16 06:20:59 #Webarchive模板archiveit链接,组合计数,包含证明的条目,证明

双射法是组合数学中的一种重要的证明方法,用来证明两个有限集合A和B的元素数目相等。证明的思路是构造一个双射映射 : → ,于是根据双射的性质,A和B的元素数目就是相等的。这个证明是构造法证明的一种。由于双射法是给出具体的映射构造,而不是分别点算两个集合,所以不需要知道两个集合的元素个数。这种证明可以用于难以直接对两个集合或其中一个集合进行计数的情况。此外,双射法也可以用来计算一个集合(难以直接计算时),方法是将它映射到一个可以拆分或比较容易计算的集合。而作为构造性证明,双射法用到的也许可以用来更深刻地分析集合本身的性质。

二次项系数具有一定的对称性:

证明:这个等式可以视为两个集合的元素个数。考虑以下个元素的集合: S = { a 1 , a 2 , , a n } {\displaystyle S=\{a_{1},a_{2},\cdots ,a_{n}\}} 把C映射到它在S中的补集(有S中的 n k {\displaystyle n-k} 是一个从 A n {\displaystyle A_{n}} 是一个单射。

对于 B n + 2 {\displaystyle B_{n+2}} 也是一个满射。

也就是说,是一个双射。这就证明了 a n = b n + 2 . {\displaystyle a_{n}=b_{n+2}.}

相关

  • 轮船轮船指用机械发动机推动的船只,多用钢铁制造。旧时轮船是以蒸汽推动外部明轮轮桨的蒸汽船,现代轮船多用涡轮发动机,而内燃机和核动力也成为轮船新的动力来源。。2016年为止,全世
  • 分类械斗分类械斗是指自我认知不同族群间的武装冲突。“分类”的意思除了意指这种以武力为主的冲突有着自我与敌人“分门别类”的特殊性,往往是当地各族群分布状况的原因。(一群人干架
  • BBC世界台英国广播公司世界新闻频道(英语:BBC World News),是英国广播公司(BBC)的一条二十四小时新闻频道,于1995年1月正式启播。它在全球的主要竞争对手为CNN、天空新闻台和半岛电视台英语
  • 序(英语:preface),又称序文、序言、序论、叙、叙文、叙言、叙论、绪、绪文、绪言、绪论、弁言、引、引文、引言、引语、导言、前言,是作品或书籍的一种依附性文章,主要介绍作品的
  • 中华人民共和国出版社列表下面为中国出版社的ISBN前缀号,均以ISBN 978-7开头。下表省略ISBN 978-7。
  • 史宗周史宗周(1902年7月9日-1984年8月30日),字梦莲。河南省杞县人。民国37年(1948年)在河南省第一选区当选第一届立法委员。
  • 米歇尔·罗尔米歇尔·罗尔(法语:Michel Rolle,1652年4月21日-1719年11月8日),法国数学家,以罗尔定理(1691年)闻名。他还发明了现在的标准记法: x
  • 顶真顶真,亦称顶针、连珠、蝉联,是一种文学修辞方法,是指上句的结尾与下句的开头使用相同的字或词,用以修饰两句子的声韵方法。需要注意的是,使用这个方式时,毋须限制上下句的字数或平
  • 川流不息《川流不息》(日语:川の流れのように/かわのながれのように ),是一首由日本歌手美空云雀主唱的歌曲,于1989年1月11日公开发表,本曲是美空云雀生前最后一首发表的单曲,同时也被誉为
  • 巴啦啦小魔仙之魔法的考验《巴啦啦小魔仙之魔法的考验》(英语:)是中华人民共和国真人魔法电影《巴啦啦小魔仙大电影的续集》制作单位于2013年拍摄2014年推出的第二部电影版。魔仙小蓝和美琪、美雪无意闯