16/08/26 22:20:26.48 ZBsFyxAm.net
>>966
訂正します：
■（１）―（ロ）
成立する。
理由：
a, b, c ∈ {x ∈ R | x > 0} とする。
明らかに、
b ≧ c ⇒ min{a, b)} ≧ min{a, c}
が成り立つ。
また、明らかに、
min{a, min{b, c}} = min{a, b, c}
が成り立つ。
【性質1】より、
v(i, j) ≧ min{v(i, k), v(k, j)}
v(k, j) ≧ min{v(k, l), v(l, j)}
が成り立つ。
よって、
v(i, j) ≧ min{v(i, k), v(k, j)} ≧ min{v(i, k), min{v(k, l), v(l, j)}} ≧ min{v(i, k), v(k, l), v(l, j)}
が成り立つ。