在数学中，有理同伦论是对拓扑空间的有理同伦型的研究，是有理同伦型忽略同伦群的挠。有理同伦论由Dennis Sullivan (1977) 与Daniel Quillen (1969) 首创。对于单连通空间，有理同伦型等同于一种被称作极小苏利文代数的代数对象（的同构类）；这种代数对象是满足特定条件的有理数域上的可交换微分分次代数。有理空间是所有同伦群皆为有理数域上的向量空间的单连通空间。若 是单连通CW复形，则存在一个（在同伦等价的意义下唯一）有理空间 以及映射 ，使得 诱导的所有同伦群的同态与 取张量积后都是同构。此空间 称作 的有理化，同时 也是对于有理数的局部化，并称作 的有理同伦型。通俗的说， 的有理化是由消除 的所有同伦群中的挠子群而得到的。