文章插图
。反向极限反向极限(inverse limit)亦称逆向极限或上极限 。它是积与拉回概念的推广 ， 也是正向极限的对偶概念 ， 在範畴论、同调代数、代数K理论、代数几何等学科中有重要套用.设矛为一个範畴 ， 了为一个拟序集所成的範畴 。省的一个带指标集了的反向系是指一个反变函子F 。正向极限的等价刻画第一定义设是一个範畴 ， I,J,L是指标集 ， 集合I与集合J元素之间有关係“≤” 。集合I与集合L元素之间有关係“≤” ， 满足对任意J∈J ， 存在i∈I ， 使得i≤j；对任意l∈L ， 存在i∈I ， 使得i≤l；对任意i∈I ， 存在J∈J,l∈L ， 使得i≤j ， i≤l 。且若i≤j ， 有有确定的
文章插图
；若i≤l ， 有确定的
文章插图
， 称交换图族为广义推出族 。第二定义设A是一个範畴 ，
文章插图
为範畴A中的一个以l为指标集的正向系 ， 若
文章插图
是
文章插图
的广义推出 ， 则称
文章插图
为正向系
文章插图
的正向极限 。正向化限的第二定义与第一定义是等价的 。