おはようございます、satoです。
この頃ブログを結構書いていますが、あまり仕事の話をしていない事に気づきました(´・ω:;.:…このブログ「摂理のワークスタイル」って名前なのにね…笑
私の仕事の一つにして、最も大きなウェイトを占めるのが「数学研究」です。これは趣味も兼ねていまして(笑)、私は時間が空くと数学をしたり、考えたり、ネットを見たりしています。(ネットは数学に関係ないものも含む)
今日はある数学の問題を考えた時に面白かったことがあったので、それを書きたいと思います。
なお、今日の内容は完全に数学ネタです。専門的な内容であることにご留意ください。
層の射は層の構造を保つのか?
数学には「層」という概念があります。
これは位相空間に対して定義される数学的対象で、最先端の数学ではバリバリ使われるようなものです。
以下に、その定義を書いていきます。
が位相空間
上の層である、というのは、
の開集合ごとに「集合」があって、それが綺麗につながっている、というような対象です。
これを数式で表現すると次のようになります。
まずとして次のような組を考えます。
・の開集合
に対応する集合
・の開集合
が
となっている時、以下(1), (2)を満たす写像
(1) は恒等写像
(2) となっている時、
以上を満たす組(もう少し言うと、位相空間
導かれる開集合の圏
から集合の圏への反変関手)を
上の前層と言います。
さらに、前層が条件[Ⅰ]、[Ⅱ]を満たしている時にX上の層といいます。
[Ⅰ] 開集合に対して
とする。
が、任意の
に対して
が成り立つならば
である。
[Ⅱ] 開集合に対して
とする。
が
を満たすならば、ある
が存在して、
が成り立つ。
感覚としては、[Ⅰ]は「部分を調べて全部同じなら、全体として同じ」ということを、[Ⅱ]は「部分同士を張り合わせられる」ということを表していると感じます。
さらに、2つのX上の層に対して、層の射
を
上の開集合
に対して、(a)を満たすような写像
の組
(a) となるX上の開集合
に対して、
とします。
実はこの層の射はが前層であっても定義することができます。
そこで浮かんだのが、見出しにある「層の射は層の構造を保つのか?」という疑問です。
この疑問を数式を使って具体的に表しますと
開集合に対して
とおく。
が
が成り立つとする。
このとき、[Ⅱ]よりあるが存在して、
が成り立つ。
ここで問題。
(1) を層の射
で移したもの
に対して
が成り立つか?
(2) から
が成り立つので、層
で[Ⅱ]の条件を用いると
で
を満たすものが得られる。
この時、が成り立つか?
つまり「層の射によって一部を張り合わせた時に、その張り合わせが保たれるのか」ってことを知りたかったので、このような問題を考えました。
証明
さて、こちらの二問はどちらも成り立ちます。以下、証明です。
(1) 層の射の条件(a)より
となるので成り立つ。
(2) まず、条件が成り立つことを確かめる。
ここで、で
となるものを取る。
(1)よりが成り立つので、
に対して
が成り立つ。
すると層の条件[Ⅰ]からが得られる。
以上より、層の射は構造を保つ、ということが示せた。
感想
私がこの証明をして一番面白いと思ったのは(2)の問題を考える際に条件[Ⅰ]が出てきたことです。
はじめは条件[Ⅱ]しか使わないのではないか、と考えていたのですが、貼り合わせたものが同じになるかどうかを確かめる際に使うんだな、と分かって面白かったです。
また、この問題を改めて考えてみると、意外と数式化して問題を記述するのが難しかったです。(当たり前の結果になる…ということが分かったり、そもそも何が疑問だったのか分からなくなったりしました)
現に、今回の記述で果たして私の確かめたかったことが表現できているのかは疑問が残ります。
こんな感じで、数学の研究というのは気になることがあったら数式化して、それで本当に表現できているのかを考えながら解いていく…という試行錯誤を経て成されているのです。
この記事を書いたブロガー
-
「素直に、深く、面白く」がモットーの摂理男子。霊肉ともに生粋の道産子。30代になりました。目指せ数学者。数学というフィールドを中心に教育界隈で色々しています。
軽度の発達障害(ADHD・PD)&HSP傾向あり。
最近の投稿
日常生活2021.01.25動画作成も試行錯誤
日常生活2021.01.15【数学小説】真理の森の数学セミナーSS:原始ピタゴラス数③
数学2020.12.14【真理の森の数学セミナー】SS:原始ピタゴラス数②
数学2020.12.13【真理の森の数学セミナー】SS:原始ピタゴラス数のお話