かじもとにっき

ゆるふわなおはなしをかきます

2014-07-04から1日間の記事一覧

2項関係(11)

定義 reflexive transitive closure*1 。 定理 。 証明 。 定理 。 証明 を仮定。 を示すには、を示せば良い。基底ケース。 。帰納ケース。 を仮定すると、 定理 。 証明 。 より。 より。 よって。 よって。、、を満たす任意のについて、。 よって。 よって…

2項関係(10)

定理*1 endorelation に対し、 。証明は前回を参照。 定義 transitive closure 定理 証明 とが共に成り立つので、。 よって。を満たす任意のについて、を数学的帰納法により容易に示せる。 よって任意のについて。 よって。 *1:先にこの定理を証明しておけば…