トップ «前の日記(2003-11-27) 最新 次の日記(2003-11-30)» 月表示 編集

日々の流転


2003-11-28 [長年日記]

λ. 学校に行く途中で、バスがバス停に止まり忘れてUターンしてた。

λ. 借りた本

『容赦なき戦争 ─ 太平洋戦争における人種差別』
ジョン・ダワー (John W. Dower) [著] 猿谷 要, 斉藤 元一 [訳]
『国益とは何か』
今野 耿介 [著]

小熊さんに紹介された『容赦なき戦争』を借りてきた。

Tags:

λ. A topological sum of localic systems is still localic.

Topology via Logic (p.79) の「A topological sum of localic systems is still localic.」の証明で、「To show that pt p is onto, take z ∈ pt Loc(∑λDλ). Then z ⊨ true = ∨λjλ(true), so for some μ, z ⊨ jμ(true).」の後の「It follows that if λ≠μ then z ⊭ jλ(true).」がどうやって導かれるのか2週間前から悩んでいたのだけど、ようやく解決した。

λ≠μ で z ⊨ jμ(true) かつ z ⊨ jλ(true) ならば、z ⊨ jμ(true)∧jλ(true) = false であり、これは矛盾。