In article
<5d7b6199-d3ca-4bff-93ec-da27a49c88b8@[EMAIL PROTECTED]
>,
chan <chalong08@[EMAIL PROTECTED]
> wrote:
[snip]
> another question. Suppose that the composition of realtion * is
> associative. (r*s) * T = R*(S*T) for all binary realtions, R, S, T.
> how do i use for inductive proof that R^n * R = R* R^n , when n is
> greater 1?
The key is that R(k+1) * R
= (R^k * R) * R
= (R * R^k) * R
= R * (R^k * R)
= R * R^(k+1)
Now, you fill in the justification for each of those steps.
--
---------------------------
| BBB b \ Barbara at LivingHistory stop co stop uk
| B B aa rrr b |
| BBB a a r bbb | Quidquid latine dictum sit,
| B B a a r b b | altum viditur.
| BBB aa a r bbb |
-----------------------------
|
