数域上的向量空间的单连通空间。若 formula_1 是单连通CW复形，则存在一个（在同伦等价的意义下唯一）有理空间 formula_2 以及映射 formula_3，使得 formula_4 诱导的所有同伦群的同态与 formula_5 取张量积后都是同构。此空间 formula_2 称作 formula_1 的有理化，同时也是 formula_1 对于有理数的局部化，并称作 formula_1 的有理同伦型。通俗的说， formula_1 的有理化是由消除 formula_1 的所有同伦群中的挠子群而得