代数拓扑Ⅰ函子论——齐性空间的实拓扑

自古以来,人们往往以数来刻划形的某些特征,即所谓形的度量,如道路的长短,田地的面积,器物的容量,以致点集的测度等等。在代数拓扑中,拓扑空间、复形、流形这类复杂的“形”难以用通常的数来描述,近代数学则引用群、环、代数等“代数系统”来刻划这些复杂的“形”。代数拓扑中,陆续出现了一些用以度量“形”的“数”。这种度量称为“函子”.现已引进妁函子主要有Η、π、J、Κ等,我们最近引进的函子,记作 I~*。与传统函子相比较优越之处是“能计算”。经过检验,I~*函子对主要十几种几何作法都是能计算的,而传统的函子并非如此。由于 I~*函子“能计算”,因此它比传统函子更易于驾驭,估计会有较广泛的应用。但是,I~*函子目前须把“形”局限于单连通,而“数”只保留了无限部分,这是不足之处,也是今后要解决的重要问题。