在数学中，有理同伦论是对拓扑空间的有理同伦型的研究；粗略地说，有理同伦型忽略同伦群的挠。有理同伦论由 与 首创。对于单连通空间，有理同伦型等同于一种被称作极小苏利文代数的代数对象（的同构类）；这种代数对象是满足特定条件的有理数域上的可交换微分分次代数。有理同伦论的标准教材是。
有理空间.有理空间是所有同伦群皆为有理数域上的向量空间的单连通空间。若 formula_1 是单连通CW复形，则存在一个（在同伦等价的意义下唯一）有理空间 formula_2 以及映射 formula