セッションのイントロためのスライドを準備しました。

関数解析を復習しました。 Dual space of L_1 is L_inf if domain is sigma-finite. Moreover, if the domain is locally compact, C_0 is dense in L_p (p1). l(f)=0 for any l in L^* implies f=0 due to the Hahn-Banach theorem. などを使うと、we can d…