ここ数日は執筆活動にのめり込んでいて、
ブログもあまり更新してなかったが、
かなり進捗した
--------
仮定 B から 定理 DKM を導ける、と仄めかしてる論文だが、(それはその論文の主定理ではない) 準備の章の部分が色んな命題が書いてあるが、証明があまりきちんと書いてなく、(出版されてるが…)
自分で証明しようとすると証明にこの条件必要だろうという条件が仮定になく、その代わり、他の条件から従う様な条件、或いはその条件なくても示せる様な条件が書いてあったりして、引用先とか見ると、やっぱり引用には思っていた条件が書いてあり、不要だ思った条件は書いてなかったり…
という事があったので、逐一自分で全部、書いてある様な事を適度にstatementを作り直しながら再現してたら、相当時間を食った
然し、かなり色んな事が勉強になり、
DKM定理を証明するのに必要な事柄達を恐らく知られてる場合より一般的な条件下で色々と証明したり、
更にそう言った結果を系に含む様なもっと一般的な定理も色々と編み出す事ができた
まだ打ち込みきれてないが、
かなり、仮定 BからDKM定理と主定理が出るは、(自分から見たら)自然に証明できる形になってきた
ここ迄を週末を利用して打ち込みきりたい、というのが一つの目標ではある
が今週末は晴れるそうなので散歩しようかなとも思っている
