离散数学（7）——关系幂运算和关系闭包、等价关系和划分、序关系

一、关系的幂运算

1、关系的n次幂

• R⊆A×A，n∈N

  R⁰=I_A

  Rⁿ⁺¹=Rⁿ○R

• 显然Rⁿ⊆A×A，n∈N

• 定理：设，R⊆A×A，n,m∈N，则（1）Rⁿ○R^m=R^n+m；（2）(R^m)ⁿ=R^nm

二、关系闭包

闭包：包含给定的一些元素，并且具有某种指定性质的最小的集合

1、自反闭包r( R )

• R⊆r( R )
• r( R )是自反的
• ∀S((R⊆S∧S自反)→r( R )⊆S)

2、对称闭包s( R )

• R⊆s( R )
• s( R )是对称的
• ∀S((R⊆S∧S对称)→s( R )⊆S)

3、传递闭包t( R )

• R⊆t( R )
• t( R )是传递的
• ∀S((R⊆S∧S传递 )→t( R )⊆S)

定理1：设R⊆A×A，且A≠Φ，则（1）R自反⟺r( R )=R；