よくわかる現代数学 位相1「位相」
位相
タイトルに位相と書きましたが、分野として位相が単独で語られることはほとんどありません。もう少し言うと、位相という表題の参考書はそれほど多く存在しないということです。基本的には集合と位相だとか位相空間(論)、位相幾何学といった参考書が大半を占めます。
今並べた三つは前から順に抽象的で基礎的な理論をベースとしていますので、丁寧に勉強するのであれば紹介した順に取り組むといいのではないでしょうか。本にもよるとは思いますが。
位相とは
位相とはざっくり言えば、元々はユークリッド空間のような幾何学的な対象に対してのみ定義されていた開集合や閉集合、距離といった基本的な概念を抽象化してもっと一般的な集合に対しても同じように開集合やら何やらを定義できるようにしようぜ、的な試みの結果生まれた概念です。
数学史に関してはあまり詳しくないので、下手に起源だとか起こりだとかいう話をすると怒られるためこの辺にしておきます。
集合と位相という表題で察しがつきますが、位相とは集合とセットにして用いられる概念です。以下集合の復習です。
さて、過去記事に書いた通り、集合の集まりを一般に集合族と言いました。ここで空でない集合 に対し、その部分集合を全て集めた集合族を冪集合と言い、 と書きます。大文字のPです。冪(power)なので。
の部分集合、即ち集合 の部分集合を適当に集めた集合族 を考えます。たとえばサイコロの出目 であればその部分集合族 を以下のように設定できます。
は空集合です。以前記号を設定し忘れたのでここで書いておきます。一般的に を使うことが多いですが、0に斜線を引いたものも見かけます。形状的には言うて誤差です。高校の時に勉強した
と書けますね。
それでは改めて、ある集合 に対してその冪集合を とします。ここで、 の部分集合 が以下を満たす時、 を位相と呼ぶことにします。実は位相の同値な定義は一通りではありませんが、ここではとりあえず一つだけ扱うことにします。多分。
1.
2.(有限交叉) ならば
3.(無限和) ならば
ここで言う とは添字集合のことで、今回みたいに無限個の何かを用意して番号付けしたい場合に気軽に使える記号だと思ってください。まあ問題がそこでないのは見てもらえれば分かるかと思います。
なんかこう全体的に訳が分かりませんね。普通に微積や線形代数を履修すれば無限和程度の処理はどうとでもなりますが、これこれを満たすものが位相ですと言われてもパっとするものが何一つありません。
ちなみにですが、括弧書きで開集合によるとしたように、この定義は開集合の公理と呼ばれることもあります。ド・モルガンの法則から閉集合の公理も同様にして記述できることを一応頭に入れておいてください。それから、開集合(open set)なので大文字のOですね。
有限位相空間
このまま終わってしまえば訳が分からないままなので、具体例で見ていきます。
上記の条件付けにおいて定義された集合 を位相空間と言い、 で表します。有限位相空間とは集合 が有限集合である位相空間のことを指します。そのまんまです。
というわけで有限集合を考えます。まずは手始めにこちら。
ふざけてんのかという感じですが、これくらい極端なところから始める癖をつけておくと今後役に立つ可能性があります。可能性があるというだけです。
さて定義を順番に確認していきます。そもそも真部分集合が空集合を除いて存在しないので条件2と条件3は無効というか自明ですね、条件1が成り立つのも自明なのでクリアです。
お次は
について調べていきましょう。元の個数が2なので冪集合の元の個数は2の2乗で4となります。
はい四つですね。部分集合族を考えればよいわけですが、条件1から自動的に の二つは に属することとなります。もちろん、 とすれば、これは先の一元集合と同じ状況ですので は位相空間となります。実はこれに名前が付いていて、密着位相と言います。ほとんど使いませんが。
とするとどうでしょうか。
より、これらは全て に入るので条件2も大丈夫そうですね。他方で
となるので、同様に条件3も満たしてくれそうです。定義に無限和と書きましたが、有限集合なので有限個の部分集合のみ確認すればいいことになります。というわけで は位相空間 をなすことが分かりました。
は を入れ替えてあげれば同様の議論で済むので大丈夫ですね。
も確認しなければいけない項目が少し増えますが、まあほとんど同じなので議論は省略します。まあ定義から冪集合は全ての部分集合を内包しているのでそれで自明な位相空間 を作ることができます。これを特別に離散位相と言います。
つまり今回、位相空間が全部で四つあることが分かるかと思います。複数あっても大丈夫です。心配しないでください。
以下同様にして を見ていきましょう。というか、これはお任せします。さあ紙とペンを出してください。
~thinking time~
……どうですか?できましたか?全部で29個ですよ?過不足ありませんか?
さすがに355個を調べ上げさせるような鬼畜ではありませんので、次行ってみようとは言いませんよ?
ところで についてですが、たとえば とすると、 となり、これは の元ではないので条件を満たさないことになります。
開集合と閉集合
前節で散々開集合と言ったので今更ではありますが、改めて位相空間における開集合の定義をしておきます。開集合があるということは閉集合もあるということになります。
閉集合(closed set)なのに何で なんでしょうね、理由は忘れました。どなたか知っていたら教えてください。もちろん、閉集合を 、閉集合系を と書く流派も存在します。
とすれば、開集合は
となり、閉集合はその補集合なので
となります。よく見ると と が開集合の欄にも閉集合の欄にもいますが、位相空間論的に言えばこういうことはごくごく自然にあり得ます。これを開かつ閉集合などと言い、英語だと closed-open set だとか、少し洒落を利かせて clopen set と言ったりします。定義から明らかですが、任意の位相空間に対してその空集合と全体集合は開かつ閉になります。
次回は、近傍系及び写像の連続性、空間の連結性の予定です。あくまで予定です。予定は変更するために存在します。