おはようございます、satoです。
この頃ブログを結構書いていますが、最近数学の話を全然してないですよね。
「摂理研究所」って名前なのに…聖書の研究はたくさん書いてますね笑笑
私の研究スタイルとして様々なことを実践によって確認し、それを分析することで理解していくというものがあります。
信仰もこのスタイルでして、色々なことを試してみながら、より自分に合った信仰生活を模索している段階です。
私の仕事の一つにして、最も大きなウェイトを占めるのが「数学研究」です。これは趣味も兼ねていまして(笑)、私は時間が空くと数学をしたり、考えたり、ネットを見たりしています。(ネットは数学に関係ないものも含む)
今日はある数学の問題を考えた時に面白かったことがあったので、それを書きたいと思います。
なお、今日の内容は完全に数学ネタです。専門的な内容であることにご留意ください。
目次 非表示
層の射は層の構造を保つのか?
数学には「層」という概念があります。
これは位相空間に対して定義される数学的対象で、最先端の数学において議論の土台となる道具の一つです。
以下に、その定義を書いていきます。
が位相空間
上の層である、というのは、
の開集合ごとに「集合」があって、それが綺麗につながっている、というような対象です。
これを数式で表現すると次のようになります。
まずとして次のような組を考えます。
・の開集合
ごとに定められた集合
・の開集合
が
となる時、次の(1), (2)を満たす写像
(1) は恒等写像
(2) となっている時、
以上を満たす組(もう少し言うと、位相空間
から導かれる開集合の圏
から集合の圏への反変関手)を
上の前層と言います。
さらに、前層が条件[Ⅰ]、[Ⅱ]を満たしている時にX上の層といいます。
![Rendered by QuickLaTeX.com U_\lambda\subset X\ (\lambda\in\Lambda)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-3e12a08cbd9be76143f556b02af5afa7_l3.png)
![Rendered by QuickLaTeX.com U=\bigcup_{\lambda\in\Lambda}U_\lambda](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-feee38ae9c6641ee045b2d6314853b29_l3.png)
![Rendered by QuickLaTeX.com s,\ t\in\ F(U)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-aa27e2152c544bc385fad67c38254dc8_l3.png)
![Rendered by QuickLaTeX.com \lambda\in\Lambda](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-e29584f72d5d0028ccfed59410777826_l3.png)
![Rendered by QuickLaTeX.com \rho_{U,U_\lambda}^F(s)=\rho_{U,U_\lambda}^F(t)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-a060fce8df3044036c0125dd28157520_l3.png)
![Rendered by QuickLaTeX.com s=t](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-759a067689a29c173035205c57269a23_l3.png)
![Rendered by QuickLaTeX.com U_1,\ U_2\subset X](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-869e33df3d27fcf2ab6dd96f63205e39_l3.png)
![Rendered by QuickLaTeX.com U=U_1\cup U_2](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-87bc872024619160386e934c429c1a9b_l3.png)
![Rendered by QuickLaTeX.com s_i\in F(U_i)\ (i=1,2)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-6b607e2eac9743c04722ed4e09dc5ff7_l3.png)
![Rendered by QuickLaTeX.com \rho_{U_1,U_1\cap U_2}^F(s_1)=\rho_{U_2,U_1\cap U_2}^F(s_2)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-ccaf2af38d0490e6052ed8ae112bb3ab_l3.png)
![Rendered by QuickLaTeX.com s\in F(U)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-6ec4d32bdb9fed7e1e5a230442020e32_l3.png)
![Rendered by QuickLaTeX.com \rho_{U,U_i}^F(s)=s_i](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-7fdd78c3376760cb7f194aa96adf072f_l3.png)
さらに、2つのX上の層に対して、層の射
を
上の開集合
に対して、(a)を満たすような写像
の組
(a) となるX上の開集合
に対して、
とします。
実はこの層の射はが前層であっても定義することができます。
そこで浮かんだのが、見出しにある「層の射は層の構造を保つのか?」という疑問です。
この疑問を数式を使って具体的に表しますと
開集合に対して
とおく。
が
が成り立つとする。
このとき、[Ⅱ]よりあるが存在して、
が成り立つ。
ここで問題。
(1) を層の射
で移したもの
に対して
が成り立つか?
(2) から
が成り立つので、層
で[Ⅱ]の条件を用いると
で
を満たすものが得られる。
この時、が成り立つか?
(1)は「層の射は制限を保つか」、(2)は「各部分を移した時、移した部分の張り合わせは大本の移したものと一致するか」という問題です。
「層の射によって一部を張り合わせた時に、その張り合わせが保たれるのか」ということを知りたかったので、このような問題を考えました。
証明
さて、こちらの二問はどちらも成り立ちます。以下、証明です。
(1) 層の射の条件(a)より
となるので成り立つ。
(2) まず、条件が成り立つことを確かめる。
ここで、
![Rendered by QuickLaTeX.com s'\in G(U)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-9272bb4f09fd658659397d5ca8a142c6_l3.png)
![Rendered by QuickLaTeX.com \rho_{U,U_i}^G(s')=\phi_{U_i}(s_i)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-d6ea9080c8ef5e50844aff562332cc66_l3.png)
(1)より
![Rendered by QuickLaTeX.com \rho_{U,U_i}^G(\phi_U(s))=\phi_{U_i}(s_i)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-d7d239f92b97aede55c8d922e7f4b4db_l3.png)
![Rendered by QuickLaTeX.com i=1,2](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-8a8c1897882873600432fbeb9ac742aa_l3.png)
![Rendered by QuickLaTeX.com \rho_{U,U_i}^G(\phi_U(s))=\rho_{U,U_i}^G(s')](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-48576fea6885af4469451251000ffe37_l3.png)
すると層の条件[Ⅰ]から
![Rendered by QuickLaTeX.com s'=\phi_U(s)](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-ccc6b46f4bd75f4febd94fe20e38f247_l3.png)
以上より、層の射は構造を保つ、ということが示せた。
感想
私がこの証明をして一番面白いと思ったのは(2)の問題を考える際に条件[Ⅰ]が出てきたことです。
はじめは条件[Ⅱ]しか使わないのではないか、と考えていたのですが、貼り合わせたものが同じになるかどうかを確かめる際に使うんだな、と分かって面白かったです。
また、この問題を改めて考えてみると、意外と数式化して問題を記述するのが難しかったです。(当たり前の結果になる…ということが分かったり、そもそも何が疑問だったのか分からなくなったりしました)
現に、今回の記述で果たして私の確かめたかったことが表現できているのかは疑問が残ります。
今回の話は現在研究している内容とは異なりますが、こうやって数学の些細な問題について考えるのは割と楽しいです。
こういうことをやることで数学を含めた物事の考え方を鍛えられたり、書く練習になるので今後も時々こういう記事を書きたいなと思います。
この記事を書いたブロガー
-
「素直に、深く、面白く」がモットーの摂理男子。霊肉ともに生粋の道産子。30代になりました。目指せ数学者。数学というフィールドを中心に教育界隈で色々しています。
軽度の発達障害(ADHD・PD)&HSP傾向あり。
最近の投稿
月明洞2024年9月7日「理不尽」で自分の努力が崩れたとき。
聖書&御言葉2024年9月6日吹雪の中で広がる摂理歴史。~鄭明析先生による明け方の箴言から~
聖書&御言葉2024年9月5日心と思いと命尽くして。~鄭明析先生による明け方の箴言から~
日常生活2024年9月4日自分に自信を持つことについて