樋口三郎の授業情報@龍谷大学理工学部数理情報学科

授業情報@龍谷大学理工学部数理情報学科

同値関係の定義,例えば反射律a¥sim aをチェックするときは,任意のaに対してそうであることを示さなければなりません.大変です.x^2+1¥geq2x を示せといわれたら,平方完成することによって任意のxに対して成立することを示すでしょ.x=2を代入してみてオッケーでしょっていうのはなしでしょ.それと同じです.逆に,条件が満たされないことを言うためには,反例を1個作って見せればいいのです.世の中は不平等なのです.