什么是非交换几何(非交换拓扑).docVIP

什么是非交换几何(非交换拓扑) 圣诞节的聚会上某人问我什么是非交换几何。我后悔当时给了个巨扯淡无比的解释，所以现在重新解释一遍，算作（给不止一人）的补偿。因为我只知道非交换几何最初的动机，我觉得那个更应该叫做非交换拓扑，所以我只能够解释什么是非交换拓扑。 什么是拓扑。经典的描述是说如果有一条橡皮带子，把它拿过来任意弯曲，拉伸，压缩，只要保证不撕开一个口子，不把带子的不同部分粘在一起就行。那些在各种形变下不变的性质叫做拓扑性质。要了解一个东西的拓扑性质，我们只需要两类信息：1.这个东西由哪些点组成。2.哪些点相互靠得非常近（这件事情可以说得非常清楚）。更技术一点，第1类信息就是要描述这个东西作为一个集合，里面的元素是什么。第2类信息是所谓的拓扑结构，已知的有好多种方法可以描述这类信息。如果知道了一个东西作为一个集合是什么，它上面的拓扑结构是什么，那么它就是一个拓扑空间，可以研究它的拓扑性质。 比如三维空间中的一个曲面。显然我们知道它作为一个集合是什么（三维空间中的一些点），并且我们直观地知道哪些点靠的比较近。所以曲面是一个拓扑空间。事实上我们有方法把许多东西都变成拓扑空间。比如，把区间[0,1]上的所有多项式函数放在一起，就把它叫做P吧。就有方法在P上加一个（有意义的）拓扑结构，使得P成为一个拓扑空间。 有许多东西是拓扑结构就能够决定的了。还是考虑区间[0,1]。直观的我们知道[0,1]上的连续函数是什么。就是那些函数图像是一条连续曲线的函数。类似的，平面[0,1]*[0,1]上的连续函数就是那些图像是连续曲面的函数。有意思的事情是，随便给一个[0,1]上的函数，比如叫它f。只要知道[0,1]的拓扑结构就能判断这个函数f是不是连续的。这句话听起来有些奇怪，需要解释一下。当我们说[0,1]区间的时候，我们知道的信息就不仅仅是它有那些元素。比如我们知道[0,1]区间上面的数可以相加，相乘，可以比大小，可以算两个数之间的距离。但是这些信息我们一概不关心。我们只要知道[0,1]区间中的那些元素和那些元素靠得比较近，就可以判断函数f是不是连续。说得抽象一点，如果我们知道一个集合，并且知道它的元素哪些靠得比较近，那给一个从这个集合到实数/复数的映射，我们就能说这个函数是不是连续的。或者用术语来说，给一个拓扑空间，我们就知道它上面的连续函数是什么。 总结一下，我们解释了什么是拓扑空间，并且说明了说一个拓扑空间上的连续函数是有意义的。或者更直观的，[0,1],[0,1]*[0,1]是拓扑空间，它们上面有连续函数。 现在我们把某个拓扑空间（就比如说[0,1]）上的复的连续函数拿过来，放在一起，成为一个集合。这不单单是一个大杂烩。我们可以做一些有意思的事情，就比如说把两个函数相加，相乘等等。我们甚至还可以定义两个连续函数间的距离！我们把集合，以及它里面元素相加、相乘、距离等许多信息放在一起，就可以说我们有一个C*-代数。 某一大类的拓扑空间（紧Hausdorff）上的连续函数全体都构成C*-代数。也就是说，给一个拓扑空间，就有一个对应的C*-代数。再给一个拓扑空间，就得到另一个C*-代数。[0,1]上的所有复的连续函数是C*-代数，[0,1]*[0,1]上的所有连续函数也是。 下一个惊喜是一个拓扑空间上的连续函数构成的C*-代数反过来决定了这个拓扑空间！这句话初看起来一点都不激动人心，甚至有些扯淡。我都知道C*-代数中的元素是一个拓扑空间上的连续函数了，我还能不知道这个拓扑空间是什么吗？如果一开是就不知道这个拓扑空间是什么的话，那这C*-代数怎么来的？现在假设两个人在打赌，A说这件事情能做，B说这件事情不能。于是他们决定，让B从[0,1]和[0,1]*[0,1]种挑一个拓扑空间，然后算出它上面所有的复的连续函数。C*-代数的所有信息A都可以问。但是为了避免作弊，A不能问某个特定函数，比如f(x)=x+1在不在这个C*-代数里面。所有B造出来的函数，A只能用符号代替。但是A能够问这样的问题：是不是存在某个函数g使得对于任意函数f,f*g=g？因为元素相乘是C*-代数包含的信息中有的。这段开头的那句话的意思是说，无论B怎么选，只要他回答了A问的一些抽象的问题，那A就能够确定B选的是[0,1]还是[0,1]*[0,1]！ 如果你在圣诞节被大雪关在屋子里面，没事情做，对着这个问题想上一会儿的话，你就会发觉，从今往后你都不用再和紧Hausdorff空间打交道了。你只要研究C*-代数就好了。因为连续函数的C*-代数决定了紧Hausdorff空间，紧Hausdorff空间上的所有信息都被编码保存到了那个C*-代数里面去了。当然，你可能觉得这个想法虽然听上去很炫，但是有自找麻烦之嫌。拓扑空间听上去比C*-代数简单很多，为什么要舍近求远，去搞一个不这么简单的东西。但