今回は本書第5章のLemma 5.2.4の証明を見て行くことにします。
本に載っている証明は必要最低限の式変形が提示されているのですが、それを見ていてほんの少しだけ一般化でき、その方が式変形が見やすいことに気がつきました。こういうことができるようになると、ちょっと嬉しいです。
というわけで、いつものようにJupyter notebook形式でお送りします。
今回は本書第5章のLemma 5.2.4の証明を見て行くことにします。
本に載っている証明は必要最低限の式変形が提示されているのですが、それを見ていてほんの少しだけ一般化でき、その方が式変形が見やすいことに気がつきました。こういうことができるようになると、ちょっと嬉しいです。
というわけで、いつものようにJupyter notebook形式でお送りします。