双锁谜题所用拓扑学的直观解释

poe

我以双锁谜题为例对所用代数式给出一个比较直观的说明。
按顺时针观察绳子。
从下往上穿越黄锁记作a，从上往下穿越黄锁记作a^(-1)；
从下往上穿越绿锁记作b，从上往下穿越绿锁记作b^(-1)。
图中绳子对应代数式aba^(-1)b^(-1)。
将两把锁扣住，效果为字母乘积可交换：aba^(-1)b^(-1)=aa^(-1)bb^(-1)=e (单位元)；
将黄锁打开，效果为字母a,a^(-1)可从式子中拿去，从而：aba^(-1)b^(-1)=bb^(-1)=e(单位元)。
若绳子对应单位元，则可能取下来；若绳子没对应单位元，则绝不可能取下来。

[ 本帖最后由 poe 于 2011-5-4 23:49 编辑 ]

忧天杞人

欲穷千里目更上一层楼

忧天杞人

我用画图的方法来解释，更直观

poe

呵呵，注意我所谓的直观解释针对的是代数式，而不是直观解释绳子为什么能出来。
目的当然是帮助大家理解基本群的定义和构造方法，以洞察绳圈拓扑谜题之本质。

忘记

数学枯燥无味的 总会令人远离 解环是有味道的 令人着迷 这可能是大多数人的心态

忧天杞人

非也非也。解环充其量算“术”，数学才是至“道”。如果能用数学来指导解环，必能高屋建瓴，所向披靡。

[ 本帖最后由 忧天杞人 于 2012-3-16 19:09 编辑 ]

poe

鉴于版主已经燃起对巧环相关数学的兴趣，我强烈建议你看点基本群和纽结方面的初等知识。在此先给出通俗的说明。为区分两个物体，我们一般不必知道它们的所有信息。例如根据性别、身高、体重等可以区分两个人，根据曲面上洞的个数区分开球面、救生圈、眼镜框（考察数字）。为区分纽结、巧环等，则赋予它们一种代数结构（如基本群），这种代数结构在对它们进行拓扑变形时保持不变。虽然基本群不能涵盖它们的全部信息，但足以判断巧环的可解性（考察代数结构）。通过考察初始巧环与绳梁分离后的巧环的代数结构的异同即知是否可解。

[ 本帖最后由 poe 于 2012-3-16 20:49 编辑 ]

poe

补充： 对于魔方、滑块谜题和拓扑谜题，“群”极为有用，可以直接刻画谜题的对称结构。

[ 本帖最后由 poe 于 2012-3-16 21:17 编辑 ]

忧天杞人

将两把锁扣住，效果为字母乘积可交换
对这句话不大理解

poe

原帖中的式子也可以写成aba^(-1)b^(-1)=baa^(-1)b^(-1)=bb^(-1)
将两个锁视为三维空间中的两个环。没扣在一起的环对应的基本群为a ，b，a^(-1)，b^(-1) 做乘法得到的代数结构，群中的元素为 ab，bab^(-1)，aaba，bab^(-1)b^(-1)abaa等等，也就是任意用a ，b，a^(-1)，b^(-1)作乘法得到的元素（对应绳圈在两个锁上所有的缠绕方式（绳圈要标上方向）），这里的乘法无交换律。扣在一起的环的基本群也由 a ，b，a^(-1)，b^(-1)  做乘法得到，但此时乘法有交换律。
此群当然与上面的群不同构。

为什么会这样呢，当然有严格的数学证明，你看过基本的参考书自然明了，书里一般以例子或习题的形式出现。此处我不可能几句话就解释清楚，需要你对群及基本群的概念有所了解才行。双锁谜题的效果即是其直观解释。

[ 本帖最后由 poe 于 2012-3-17 04:39 编辑 ]