位相空間論の復習
「微分形式の幾何学」(著:森田茂之)をゆっくり勉強している。 この本の§1.3 (c)の命題1.29の証明で次のような記述がある。
は多様体であるから、もちろん局所コンパクトなHausdorff空間である。 このことからの中でがコンパクトなものだけを集めても 開集合の基になっていることがわかる。
ここで、はの(可算個の元からなる)開基である。 私には全然わからなかったので、関連しそうなことをいくらか調べてここに書く。
用語の整理
Hausdorff空間
位相空間がHausdorff空間であるとは、 任意の相異なる点に対して、 それぞれの開近傍で となるものが存在することである。
多様体
- はHausdorff空間であり、
- は第二可算公理を満たし、かつ
- の任意の点に対してその開近傍での開集合と同相になるものが存在する
ことである。
ここでじゃなくてとしたのは多様体(Manifold)だから。
被覆
集合の部分集合の族がの被覆であるとは、 その和集合がに等しくなることである。
開被覆
を位相空間の部分集合とする。このとき、の開被覆とは、の被覆でその元がすべて開集合のものである。
細分
集合の被覆が被覆の細分であるとは、 任意のに対して、あるが存在して、 となることである。
コンパクト集合
位相空間の部分集合がコンパクト集合であるとは、 の任意の開被覆に対してその有限の細分が存在することである。
コンパクト
位相空間がコンパクトであるとは、 がコンパクト集合であることである。
近傍
位相空間の部分集合が点の近傍であるとは、 ある開集合が存在して、 が成り立つことである。
局所コンパクト
位相空間が局所コンパクトであるとは、 の任意の点に対しての近傍となっているコンパクト集合が存在することである。
基本的な性質
今日調べた基本的な性質を列挙する。
- Hausdorff空間の部分空間はHausdorff空間である。
- 連続写像によるコンパクト集合の像はコンパクト集合である。
- コンパクトな空間の閉集合はコンパクト集合である。
- Hausdorff空間のコンパクト集合は閉集合である。
- は局所コンパクトである。
- はHausdorff空間である。
- 位相多様体は局所コンパクトである。
ちょっと不安な部分もあるから明日証明を書く。
Raspberry Pi Zero WHを素人なりにセットアップ
夢は「リモコン統一」!!
家の照明がリモコン操作になってから、いろんなところにリモコンがある。 中にはボタンを二度押さないと照明が消えないリモコンもあり、なんとも使いづらい。 そんな折、Raspberry Piで安くリモコンを自作する解説記事を見つけた。
この方法なら電子工作初心者の自分でもできそうだし、工夫次第でスマートなリモコンを作れると思い、材料を揃えてみた。 新しく購入した材料は以下の通り。
- 赤外線受信モジュール
- 赤外線LED
- MOSFET (2種類) (どういうものなのか理解していない)
- 抵抗 (2種類)
- ピンソケット
- ユニバーサル基板
- ブレッドボード
- ジャンパ・ワイヤー
- Raspberry Pi Zero WH
- micro SDカード 8GB
総額で4,000円もないけど、たくさん買ったから気持ち的に引き返せない。
で、意気揚々と制作開始しようとしたが、Raspberry Piの開発環境をセットアップするのに結構手間取ったのでメモることにする。
目的
Raspberry Piを使ったことのある人にとっては当然だろうけど、こいつにはディスプレイもマウスもキーボードもついていない。 家に余ってるディスプレイなんてないし、新しく買ったら予算オーバーするのは目に見えている。 しかも、Raspberry Pi ZeroはUSB端子がUSB micro-B、つまりスマホとかによく使う小さい端子しかついていないので、 マウスやキーボードを接続するのも大変そうだ。 そこで、今持ってるパソコンとSSH接続して開発をする環境を構築したい。
参考にした記事
すごく参考になった。 この記事で言うところの「USBケーブル一本で電源供給+ネットワーク接続」を目指す。
環境
Raspberry Pi
Raspberry Pi Zero WH。
SD カード
HIDISCというメーカーのmicroSDHC I規格のカード。 容量は8GB。 型番は字が小さくて読みたくないので省略。
どこかの記事によるとSDカードとRaspberry Piの相性というものがあるらしく、 RPi SD cards - eLinux.org で確認してから購入するのがいいらしい。 私も一応確認した。
パソコン
MacBook Pro (15-inch, 2017)
macOS Mojave ver.10.14
Wi-Fi
2.4GHz帯じゃないとRaspberry Pi Zero Wが対応していない。 規格でいうと802.11 b/g/nのいずれかが必要。
USB ケーブル
以前使っていたスマホの充電ケーブルで代用。 片側がUSB A端子(フツウのUSB)でもう一方がUSB micro-B端子のもの。
合わせて、自分のMacBookにはUSB Type-CしかついていないのでUSB A端子を挿す用のアダプタ。
古いパソコン
やっぱりMacBookにSDカードが挿さらないので大学で使っているちょっと古いMacBookでOSイメージを書き込んだ。 SDカード用のアダプターが欲しい。
手順
OSの準備
SDカードの挿さるパソコンでRaspberry Pi用のOS Raspbianを準備する。 やり方は色々あると思うけど、私は Download Raspbian for Raspberry Pi でRASPBIAN STRETCH WITH DESKTOPをいうのをzipでダウンロードした。 STRETCHというのは現行バージョン4.14の愛称らしい。 もしかしたら、自分の目的だとRASPBIAN STRETCH LITEで事足りたかもしれない。
ダウンロードしたzipファイルはブラウザ(Chrome)の機能で展開した。便利だ。 Etcherっていうのを使うと簡単にインストールできるみたいだったけど、 ちょっとプリミティブにやりたい気分だったのでEtcherは使わずコマンドラインからインストールした。
Installing operating system images on Mac OS - Raspberry Pi Documentation に従えば特に困ることはなかったと思う。
SSHの有効化
イメージファイルがSDカードに書き込めたら、カードを一旦抜いて再度接続するとbootという名前になる。 これがなんでなのかよく分からん。 とにかく、bootができるので、そこにsshという名前のファイルを置いておく。
$ touch /Volumes/boot/ssh
USB経由でのインターネット接続の有効化
/Volumes/boot/cmdline.txtに"modules-load=dwc2,g_ether"を追加するらしい。 場所はrootwaitとquietの間。 全く意味がわからん。 実は必要ないのではないかという気もする。 今度調べてみよう。
さらに、/Volumes/boot/config.txtの末尾に"dtoverlay=dwc2"を追加するらしい。 これまた意味がわからん。 追々調べよう。
ここまでできたら、SDカードをRaspberry Piの方に挿し直す。 こんなちっこいのがちゃんと動くのか不安だけど信じる。
起動!
参考にした記事だと、PCでUSB接続のインターネット共有を有効にせよとあるのだけど、 なんかそれをしなくてもできた。 インターネットの共有をしてなくてもローカルでのSSH接続はできるのかもしれない。
というわけで、USBケーブルでRaspberry Piとパソコンを繋ぐ。 電源が供給されると自動的にRaspberry Piは起動して緑のLEDが光る。 LEDが光るのは楽しい。 Raspberry Piを買って良かった。 LEDは最初のうち点滅しているが、体感1分くらいで安定して光るようになる。 点滅しているのはブート処理をしてることを示しているのかな。
SSHでログイン
[MacBook]$ ssh pi@raspberrypi.local
でできる。 初期ユーザー名はpi、初期パスワードはraspberryになっている。 参考にした記事にはbonjourがどうのと書いてあったけど、よく分からないから無視した。 自分の躓きポイントがここにあって、「ラズベリー」のスペルはrasberryじゃなくてraspberryってこと。 スペルミスっててログインできず、寝た。
ログインパスワードの変更
スペルミスなどせずにログインできたら、パスワードを変更する。 初期パスワードのままインターネットに接続とかしちゃうとたぶんセキュリティ的に良くない。
[pi@raspberrypi]$ sudo raspi-config
とすると、設定をいじれる画面が出てくる。 選択はEnterキー、移動は矢印キーとかEmacsで移動するときのキー(Ctrl+{f, b, n, p})でできる。 ここを一通り眺めるだけで楽しい。 Raspberry Piを買って良かった。
Change User Passwordを選択すると、新しいパスワードを聞かれる。 確認のために二回入力するとパスワードが変更できる。
Wi-Fiの設定
Setting WiFi up via the command line - Raspberry Pi Documentation を見ながらWi-Fiの設定をする。 使うWi-FiのSSIDとパスワードが必要。
設定ファイル(/etc/wpa_supplicant/wpa_supplicant.conf)を書くとき、 emacsやvimがまだインストールされていないのでnanoというエディターで頑張って書いた。 大変であった。 nanoを呼ぶ時にsudoをつけてないと書き込み権限がなくて困る。 私はそれで二度同じ設定を書く羽目になった。 nanoの中で管理者権限で書き込む機能とかもありそうだけど、知らないし調べるより二度書いた方が速かった。
設定ファイルを書いてから、Raspberry Piを再起動するとWi-Fiに接続された。 再起動は
[pi@raspberrypi]$ sudo shutdown -r now
とかでできる。
接続の確認は
[pi@raspberrypi]$ ifconfig wlan0
でIPアドレスが割り当てられているかを見たり、
[pi@raspberrypi]$ ping www.google.com
でグーグルのページに繋がるかを見たりした。 もっといい方法とかもありそうだけどノウハウがない。
SSHの設定
パソコンからログインする時に一々パスワードを入力するのは億劫なので、
[MacBook]$ cat ~/.ssh/id_rsa.pub | ssh pi@raspberrypi.local 'cat >> .ssh/authorized_keys'
のようにしてパソコンの公開鍵を登録しておく。 パソコンの側でも、~/.ssh/configに
Host pi HostName raspberrypi.local User pi
のなどと設定しておくと、
[MacBook]$ ssh pi
でログインできて大変便利。
シャットダウン
Raspberry Piも他のコンピュータと同じく電源をいきなり抜くようにはできていない。 ちゃんとシャットダウンしてからUSBケーブルを抜く。
[pi@raspberrypi]$ sudo shutdown -h now
でシャットダウンできる。 LEDが消えたらケーブルを抜いていいんだと思う。
今後のやりたいこと
- USBを経由しないSSH接続
- Raspberry PiにLEDを繋いでチカチカ
- OSイメージの書き込みからもう一度やり直し
- 不要に思えるステップは飛ばしてみたりしたい
- RaspbianにはMinecraftが入ってるらしいのでそれで遊んでみたい
- もちろん、リモコンの作成
■
微分可能多様体の定義について
位相多様体とは
位相空間が次元位相多様体であるとは、 次の三つの性質をすべて満たしていることである。 すなわち、
- Hausdorffの分離公理が成り立つ。
- 第二可算公理が成り立つ。
- 任意の点に対して、の局所座標系が存在する。 ここで、座標近傍はの開近傍、 局所座標 は同相写像である。
今読んでる本によると、位相多様体は以上のように定義される。 第二可算公理は位相多様体の定義に含めないことも多いらしい。
微分可能多様体とは
位相多様体が微分可能多様体であるとは、 あるアトラス が存在して、 任意の座標変換 が級であることである。
ここで、アトラスというのは、を被覆する局所座標系の集合で、 座標変換はで定義される。
思ったこと
微分可能多様体というのは滑らかな多様体なんだと思うんだけど、 その定義中の局所座標関数には微分可能性を要請しないのがちょっと不思議な感じがした。 よくよく考えると、微分可能多様体を定義する時点では多様体上の関数に微分可能性が定義されていないので当然なのかもしれない。
■
全射と商位相
今日は多様体の例を見ていて商位相が出てきたときにふと引っかかったことを書く。 商位相の定義にはいくつか流儀があるかもしれないけど、 例えば以下のように定義される。
定義
を位相空間、を集合、を全射とする。 このとき、のによる商位相とは、のことである。
引っかかったこと
今朝、定義のが位相であることを証明して、 が全射であることを全然使わなかったことに引っかかった。 集合と位相の教科書(著: 斎藤毅)によると、 が一般の写像のときのこのような位相を像位相と呼び、 が何らかの商集合でが商写像のときに商位相と呼ぶっぽい。 一方、微分形式の幾何学の方ではが全射なら商位相と呼ぶというスタンスな感じ。
開基についてメモ
背景
「微分形式の幾何学」(著: 森田茂之)という本で勉強をしている。 解析学も位相空間論もちゃんとできてないのにこんなのできるのという不安はあるが、 まあ、数学は自由なのでやってみている。 ところで、この本では位相多様体を定義に第二可算公理を含めていて、その関連で開基について以下のように述べられている。
...... の可算個の開集合 があって、任意の開集合 とその上の点 に対し、ある が存在して となるようにできる ......
が可算個と言っているのは第二可算公理の言明なので開基であることとは関係がない。 この表現は私の知っている開基の定義とは違ったので、二つの定義が同値であることを証明してみる。
開基の二つの定義
前提として、 を位相空間、 を の開集合全体の集合、 を の部分集合(つまり の開集合の族)とする。 このとき、次の二つの主張が同値であることを示す。
背景での引用では だったものを と表現していることに注意。
証明
1. 2.
の開集合 とその上の点 を任意にとる。 仮定より となるような が得られる。 より、 で となるものが存在する。 だから でもあり、2.が成り立つ。
2. 1.
の開集合 を任意にとる。 選択公理と仮定により、 上の点 に対して、 を満たす を返す関数 が存在する。 として の による像 を考え、 を示す。 まず、 とすると、 なので である。 一方、 各 は の部分集合であることから が従う。 よって、 であり、1.が成り立つ。
疑問
2.1.の証明で選択公理を使ったけど、本当に必要なのかわからん。
■
以下のツイートが私のTLに流れてきた。
この連ツイは一読推奨。 https://t.co/HkjQrZe1kz
— Kontan_Bigcat (@Kontan_Bigcat) 2018年10月10日
確かに一読の価値があるというか、 投稿者サナギさんの危機感を読み取れるツイート群だった。 このツイート群の概略と、読んだ感想を書く。 当然のことながら、概略は私の主観を通してまとめたものなので、 それがサナギさんの意見なのだと思わないで欲しい。
概略
生活保護ケースワーカー(CW)に任命されたサナギさんは 生活保護やその受給者に良いイメージを持っていなかった。 しかし、CWとして働くうちに人間の弱さを痛感し、 受給者を見下すことはなくなっていた。 そんな中、「生きるべきでない人間がいる」という動機で重度障害者が殺害された事件や、 ネット上でもリアルでも語られる 「生活保護受給者は人権を制限されても仕方がない」 「生活保護は本当に必要な人だけに与えるべきだ」 といった意見から日本社会の不寛容さを感じ取る。 有識者は行き過ぎた自己責任論者の悪質な言論に反論していき、 この不寛容さによる生活保護申請の心理的ハードルを下げるべきだと論じる。
読んだ感想
サナギさんがCWとして働いてきた中で 日々心に積もった日本社会に対する危機感をさらけ出したような印象。 「〜べきだ」という文はあるものの、全体としては意見ではなくて感じたことを書いている感じなので、 ツイッターという媒体に適した内容と言える。 こういう文章を読むと自分以外にも心を持った何者かが存在するように感じられて良い。
特に印象に残った点は、『行き過ぎた自己責任論者の存在』。 私の周りでは直接そのような人たちを観測できていないが、 サナギさんは多くの人たちが重度障害者や生活保護受給者の人権の制限や、 死刑制度を容認していると考えているようだ。 おそらくサナギさんは正しくて、私の観測範囲が偏っているのだろう。 多数派の意見に同調しようとは思わないが、それをちゃんと知っておき、 時には適切に反論できるようになっていないといけない。 そうしないと、社会がおかしな方向に進むことを止められなくなってしまう。