设集合A有n个元素,R是定义在A上的关系 则:
R∞=R∪R2∪...∪Rn
也就是说,幂数大于n的项是无需计算在内的。
证明:
设a,b是集合A中的元素,设a,x1,x2,...,xm,b是R中的一条路径;即(a, x1),(x1, x2),...,(xm, b)都在关系R里面。如果xi和xj是同一个节点,不妨设i<j ,则这条路径可以被划分为三部分。第一部分,一个从a到xi的路径第二部分,一条从xi到xj的路径第三部分,一条从xj到b的路径因为 xi = xj, 所以第二部分是一个循环的路径,因此我们可以简化一下将其去掉并将剩余的两部分合在一起,这样我们就得到了一个更短的从a到b的路径
转载请注明原文地址: https://ju.6miu.com/read-8804.html