樋口三郎の授業情報@龍谷大学先端理工学部数理・情報科学課程

樋口三郎の授業情報@龍谷大学理工学部数理情報学科(滋賀県大津市瀬田)

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