阿贝尔“可约构形的不可免集”的提法是不正确的

雷明85639720

阿贝尔“可约构形的不可免集”的提法是不正确的
雷  明
（二○一六年九月十日）

阿贝尔在其《四色地图问题的解决》一文中说：“1976年6月，我们完成了构造可约构形的不可免集的工作；四色定理得到证明。”我认为“可约构形的不可免集”的提法是不正确的。
从汉语字面上理解，这个名词应是由可约的构形组成的集合，或者说该集合中的构形都是可约的。但阿贝尔的文章并没有说明他证明了该集合是不可免的。就从上面我所引阿贝尔的话中也可以看出，他们的工作只是“完成了”构造这个集合，并没有说该集合就是不可免的。后面的“四色定理得到证明”就更无头绪，不说四色猜测正确，也不说其不正确，这怎么能是证明的结论呢。
解决四色问题，首先是要找到平面图的不可免集，然后证明这个集合中的所有构形都是可约的，才能使四色猜测得到证明。而现在阿贝尔找到的并不是不可免集，而是由可约构形构成的一个集合，当然他这个集合里的构形一定都是可约的了。但这并不能证明任何平面图都是可4—着色的，四色猜测仍不能得到证明是正确的。要证明四色猜测是正确的，必须证明在这个“可约构形的不可免集”的集合之外，再没有平面图的不可免构形了，但阿贝尔却没有证明这一点。
阿贝尔原来得到的这个集合中的元素将近有2000个，后来一次次的减少，最后又由罗伯逊减少到633个，这是不是可以说是对阿贝尔原来的“证明”的否定呢。若是，就说明了阿贝尔原来的“证明”是错的；否则，现在怎么又说这个“可约构形的不可免集”是由633个构形构成的，而不是由近2000个构形构成的呢。难道平面图的不可免集的大小还会变化吗，道底平面图的不可免集是多大，即由多少个构形构成，有谁又能说清楚呢，是不是还会继续减法下去呢。我认为平面图的不可免集就应是坎泊已经证明了的、由0—轮构形，1—轮构形， 2—轮构形，3—轮构形，4—轮构形，5—轮构形构成的集合。
阿贝尔的“证明”，只不过是用所谓的“放电理论”得到了近2000个图，用了计算机对这2000个图进行了4—着色而已。并没有对四色猜测进行证明。因为人会给图进行4—着色，所以电子计算机也是一定能给图进行4—着色的，但人目前还不能对四色猜测进行证明，当然计算机也就绝不会对四色猜测进行证明的。因为计算机是人创造的，也是在人的指挥下，完全按人的意志，一步也不偏离的去工作的。
要使四色猜测得到证明，还是得要直接对5—轮的可约性进行证明，不能投机取巧，想绕弯走。有关证明5—轮构形的可约性，爱好者已创造了很多的方法。请四色问题的专家们在网上看一看他们的贴切子吧，再不要一听到是爱好者的文章，看也不看就一概的否定了。爱好者的贴子中是有很多的丰富营养的。
雷  明
二○一六年九月十日于长安
注：此文已于二○一六年九月十日在《中国博士网》上发表过，网址是：

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，

雷明85639720

，，，，