KDOC 40: 『数学書の読みかた』を読んだ
数学書の読みかた
は、タイトルの通り数学書の読み方を紹介する本。
メモ。
一意性の証明は存在すること+ただ1つ存在することに分けて証明する
ただ1つ存在することを証明するには、条件を満たすものが2つあるとして、その2つが実は等しいことを証明すればよい
全称と存在を区別する
全称はすべてに成り立つ
存在はある場合に成り立つ
全称と存在の順番で意味は全く異なる。証明方法も異なる