数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 2927|回复: 8

四色猜测的最简短证明方法

[复制链接]
发表于 2015-3-3 11:40 | 显示全部楼层 |阅读模式
雷  明
(二○一四年十二月二十三日)

我们已多次说过,任何图的色数就等于其同化时的最小完全同态的顶点数。而图的最小完全同态的亏格一定是小于等于原图的亏格的。对于亏格为0的任何平面图来说,它的最小完全同态的亏格也一定是等于0的。完全同态也就是一个完全图,根据库拉图斯基定理,顶点数大于等于5的完全图就已经不是平面图了,所以其亏格也一定是大于0的;而只有顶点数小于等于4的完全图的亏格是等于0的。顶点数小于等于4的完全图共有K1、K2、K3和K4四种,任何平面图同化时的最小完全同态也只可能有这四种,它们的顶点数分别是1、2、3和4,都是小于等于4的,这也就可以证明四色猜测是正确的。

                              雷  明
                   二○一四年十二月二十三日于长安

    注:此文已于二○一四年十二月二十三日在《中国博士网》上发表过。


收藏0 评分 转播 分享 淘帖0 .
发表于 2015-3-3 20:17 | 显示全部楼层
本帖最后由 maoguicheng 于 2015-3-5 12:29 编辑

我给出一个特殊的圆环的图形,我这个图形是否能用四色证明,我用这个图形否定了庞加莱猜想。请看题:在X轴上画一个圆,圆切于Y轴,若让圆沿Y轴转动一周,得到的是一个圆环,这个圆环的外面是两个圆球,中间是两个圆的切点相连着两个圆球,能否在这两个圆球只有唯一切点连接处证明这个圆环可以用四色完成作图。
这个切点处相当于是两个球面的交界点。也就是说能否在两个相邻的球体上只有切点连接的圆环上作出四色地图。
发表于 2015-3-4 09:26 | 显示全部楼层
本帖最后由 maoguicheng 于 2015-3-5 20:49 编辑

有人说:“你的图形简言之就是有两个圆的切点,平面染色中不包括对点的染色,两个圆分别染色即可,不存在一个游离于两个圆以外的点”。
这里我说明,我的这个图只是一个圆环,不是两个圆加一个点,这个点是两个圆的公共交点。


 楼主| 发表于 2015-3-4 20:56 | 显示全部楼层
毛桂成朋友,
1、你说“在X轴上画一个圆,圆切于Y轴,若让圆沿Y轴转动一周,得到的是一个圆环,这个圆环的外面是两个圆球,中间只有一个圆点,你如果能在这个唯一的圆点处证明可以用四色完成作图,那在其他的图形上都可以作出四色证明了。”这个题中“这个圆环的外面是两个圆球”看不明白是在说什么,还有“如果能在这个唯一的圆点处证明可以用四色完成作图,那在其他的图形上都可以作出四色证明了。”这句话就更离谱了,你要在这个“园点处”作图,作什么图,你没有说,还要用什么“四色完成”,就更没法理解了,“在其他的图形上都可以作出四色证明了”,这里的“其他的图形”是指什么呢,“其他的图形”与四色猜测又有什么关系呢。
2、你这个问题本身就非常不明白,我也不可能给你作这个图。四色问题研究的范围只限于平面图,你连这点都不懂,你还叫别人给你在“环面”上用什么四色作图呢。我也不想研究你这个难题,平面图的四色问题已经够我研究了。你若是能作出你说的图来,你可以把它发表出来,让大家看看,也不需要你来看我们的功夫如何了。你能作出来,我们一定佩服你。
3、你又说“这个圆点处相当于是两个球面的交界点”,这就不对了,上面的园沿Y轴转一圈得到的园环面的剖面明明是两个相切园的切点,你怎么说是“相当于是两个球面的交界点”呢。你还说,“在两个相邻的球体上能否作出四色地图”,这也不对,四色问题研究的是平面或球面上的连通图,你这样的在两个球面上的图就不可能是连通的。这样的我可是作不出来。若你能作出来,请你教给我们。你还说如果能在上面的“两个相邻的球体上”“作出四色图形,就可以得到四色定理,如果做不出来,以后四色地图就不是难题了,就否定了四色地图作图。”你这里的提法有错误,“四色地图作图”是什么意思,你说的“以后四色地图就不是难题了”,应说成“以后四色猜测(或四色问题)就不是难题了”。
4、你说,“有人说,你的图形简言之就是有两个圆的切点,平面染色中不包括对点的染色,两个圆分别染色即可,不存在一个游离于两个圆以外的点。”你这是指谁说的话呢,我可是没有说过这样的离谱的话的。你说的这话我本根本也不知道你是在说什么。四色问题可以是对平面图的面的染色,也可以是对平面图的顶点的着色。对平面图的对偶图的顶点着色就相当于对原平面图的面的染色,因为平面图的对偶图仍是平面图。你一会儿是“园”,一会儿又是“球”的,不知你道底是在说什么。也回答不了你提出的问题。
雷明,2015,3,4,
发表于 2015-3-4 22:44 | 显示全部楼层
这个圆环确实只有一个切点连接着,这个圆环只在理论上存在,这个切点连接着两个圆球面,我的说法可能是错误的,不要见怪,等一会我删除错误的说法。在此致歉。你看懂了我的图形,有的人看不懂。
 楼主| 发表于 2015-3-5 09:33 | 显示全部楼层
朋友,你写文章一定要把自已要说的话说得叫别人明白是在说什么,这样才有利于互相沟通。我等着你。
发表于 2015-3-5 20:44 | 显示全部楼层
雷明85639720 发表于 2015-3-5 09:33
朋友,你写文章一定要把自已要说的话说得叫别人明白是在说什么,这样才有利于互相沟通。我等着你。

我已经重新编辑了,你看看。
 楼主| 发表于 2015-3-5 21:57 | 显示全部楼层
本帖最后由 雷明85639720 于 2015-3-5 23:35 编辑

毛桂成朋友,我明白了你的图。就是画一个园与一条直线相切,使园绕切点旋转一周,形成了一个园环面(即轮胎面),但这个园环面的中间并没有“孔”,而只有旋转轴与园环面的切点,即我昨天说的这个园环面的剖面是两个相切的园,两园的切点就是上面说的旋转轴与园环面的切点,而不是你说的“这个切点处相当于是两个球面的交界点”。朋友,四色问题研究的对象是平面或球面上的图,而你所说的图却不是球面,所以与四色猜测是格格不入的。你说的图只是一个园环面,并不是球面。“能否在这两个圆球只有唯一切点连接处证明这个圆环可以用四色完成作图。”这句话说得不但很不专业,从汉语语法角度讲也是讲不通的。什么是“在这两个圆球只有唯一切点连接处证明这个圆环可以用四色完成作图”呢。告示诉你,可嵌入平面(球面)上的图的色数一定是小于等于4的,这就是四色猜测;而可嵌入园环面上的图的色数则一定是小于等于5的,那么你这个园环面上的图一定是可以4—着色的。你说的“用四色完成作图”这个术语是错误的。着色是在已有图的基础上进行的,目的是要使所用的颜色数最少,对于平面图来说,有些图的色数也可能是小于4的;你这里用了“用四色完成作图”,这个说法是错误的。
雷明,2015,3,5,
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-18 13:29 , Processed in 0.085421 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: