2015年12月29日火曜日

ルベーグ積分超入門 P9

有限次元の線形空間では二つのノルム||・||1と||・||2があるとき、ある定数C>0が存在して
   1/C||x||1≦||x||≦C||x||
をみたすことを示せ。

解答では 右辺を示している。超入門というタイトルだが、自分にとっては難しい。

e1、,,enを基底とする。独立性から
 δ=  inf        ||c1e1+.......+cnen||1
         Σ|ci|=1
とおくと、δ>0である。 
  (∵独立性から δ=0なら∀iについてci=0  、対偶を考えると Σ|ci|が0でないから
   ∃ciが0でない。よってδ>0)
任意のxについて x=Σaieiと表せるので

||x||=||Σaiei||2
≦max||ei||2×Σ|ai|  
 (∵ ノルムの定義より、三角不等式 ||c1e1+c2e2+...||<=||c1e1||+||c2e2||+....
   =|c1|||e1||+|c2|||e2||...さらにeiのmaxをすべての項かける)
=max||ei||2×Σ|ai|×inf ||Σciei||×1/δ  (?解答は≦となっていたが、=のように思えるが)
            Σ|ci|=1
≦max||ei||2×1/δ×||x||1
  (∵ Σ|ai|×inf ||Σciei|| = inf ||ΣAciei||  ここでΣ|ai|=Aとおいた。
        Σ|ci|=1     Σ|ci|=1
     =inf ||ΣAciei||
      Σ|Aci|=A (∵ A×Σ|ci|=A×1 )
      ここで、AciをXiとおくと
     =inf ||ΣXiei||
      Σ|Xi|=A     A=Σ|ai|だから
     =inf |Σ|Xiei||
      Σ|Xi|=Σ|ai| 
           Xi=aiのときは、 ||ΣXiei||  を満たすが、 この式の下限とは限らない。
                    Σ|Xi|=Σ|ai| 
      したがって、
     ≦||Σaiei||=||x||)


これでいいのだろうか?

2015年12月23日水曜日

5600Cの紙詰まり

 NECのカラーレーザープリンタが紙詰まりしてしまい、無理にとろうとしたら、破れた紙片が、とれないところに残ってしまい、どうすることもできなくなってしまった。最近のプリンタは、安くなった半面ちょっとしたトラブルには苦労することが多い。
 どうやら、ネットで調べたら、蓋の外し方が出ていたので、そのとおりやってみたら解決できた。
以下のサイトに助けられました。
 http://blogs.itmedia.co.jp/tani/2014/12/29_1.html

2015年12月13日日曜日

圏論 P20

任意のモノイドNは台集合|N|をもち、任意の準同型写像f:N→Mは台写像|f|:|N|→|M|をもつ。これが関手であることは容易に分かり、忘却関手と呼ばれる。

ここでは、Nがたとえば{a,b,c..}なら、|N|が{ab,ac,,,,}といった連結を表すことになるのだろうか。

ここでの忘却関手は、f:N→Mという圏(Mon)から|f|:|N|→|M|という圏(Sets)への関手ということだろうか。