手打小说网>数学心算技巧 > 第二百九十四章 四色定理拓扑学（第1页）
第二百九十四章 四色定理拓扑学（第1页）
1852年，毕业于伦敦大学的格斯里（FrancisGuthrie）来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。
这个现象能不能从数学上加以严格证明呢？他和他正在读大学的弟弟决心试一试，但是稿纸已经堆了一大叠，研究工作却是没有任何进展。
即1890年，人们发现他们实际上证明了一个较弱的命题——五色定理。
就是说对地图着色，用五种颜色就够了。
不过，让数学家感到欣慰的是，郝伍德没有彻底否定肯普论文的价值，运用肯普发明的方法，郝伍德证明了较弱的五色定理。
肯普是用归谬法来证明的，肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。
第一个概念是“构形”
。
他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”
是不可避免的，每张地图至少含有这四种构形中的一个。
肯普提出的另一个概念是“可约”
性。
“可约”
这个词的使用是来自肯普的论证。
他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。
自从引入“构形”
，“可约”
概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”
的重要依据。
但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
1913年，美国着名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
相邻推荐:我与仙子不两立 一本杂录 糟了，那妖女也重生了！ 重生79，离婚后知青老婆她后悔了 聊天群：开局获得赛亚人血脉 重生1961，开局相亲对象就被截胡！ 离婚后，傅先生对她俯首称臣 全家逼我离婚，现在后悔有用么 苟在末日，独自修仙 死亡来信 从流民到皇帝，朕这一生如履薄冰 带白月光回家，我离婚你悔啥？ 直播科普帝皇铠甲，国家疯狂打榜 要离婚你高冷，再婚又发疯？ 弃我选白月光？我离婚你疯什么！ CS：不是，你的残局靠请神啊？ 系统盯上龙椅后，公主天天作死 重回97：你说青花瓷是破烂，三毛一斤卖不 末世降临：我招收下属，获得百倍物资 和扶弟魔老婆离婚后，我送她全家升天
