- ベストアンサー
位相とは？
複素解析の本に 『複素数の絶対値の性質から明らかなように、複素数z, z'に対してd(z,z') = | z' - z | とすれば、dはＣ上の'距離関数'を与える: (M1) d(z, z')≧0; d(z, z') = 0 は z = z' の時に限る (M2) d(z, z') = d(z', z) (M3) d(z, z'') ≦ d(z, z') + d(z', z'') したがってＣは距離空間となって、通常の方法で位相が定義され、それを元に極限、連続性などの議論を進めることが出来る。』 とあったのですが、位相ってなんですか？ 実は前にもちょっと似た質問をしたことがあってその時はトポロジーの和訳、くらいに思っていたんですが、 この文脈からするとやっぱり分かってない事を改めて認識させられました。 「位相とは」について教えてください。
- みんなの回答 （17）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
その他の回答 (16)
- prome
- ベストアンサー率32% (64/196)
こんなサイトがありました。 http://www.math.meiji.ac.jp/staffs/ahara/Kgairon/ http://home.hiroshima-u.ac.jp/nyoho/mathenglish.html http://www.libe.nara-k.ac.jp/~ikenaga/topology.html http://infoshako.sk.tsukuba.ac.jp/~hamada80/math/math01.html http://www.ma.noda.sut.ac.jp/~hiraba/ilect/index.html 数学を独学するのに役立つかもしれません。
お礼
http://www.math.meiji.ac.jp/staffs/ahara/Kgairon/ はとても参考になりそうです。ありがとうございました。
- motsuan
- ベストアンサー率40% (54/135)
- motsuan
- ベストアンサー率40% (54/135)
私は数学を専門にしていないのであまり細かいことはわかりませんが（＾＾； >> したがってＣは距離空間となって、通常の方法で位相が定義され > >という記述ですが、この場合集合ＳがＣに相当しますよね？ >Ｄとしては例えばどんなものが考えられるのですか そうですね。ＣはＳに相当します。 私を含めて距離空間と位相空間がごっちゃになっているかも知れません。（＾＾； 直感的にはＤに相当するものはｄだと書きたいのですが、ＤはＳの部分集合系なので本当は違います。でも大体あっています。上の質問の場合ｄでよいです。 (M1) d(z, z')≧0; d(z, z') = 0 は z = z' の時に限る (M2) d(z, z') = d(z', z) (M3) d(z, z'') ≦ d(z, z') + d(z', z'') ：三角不等式 で定義されるｄ「距離関数」は暗黙裡にｄはＳ（１つの空でない集合）で定義された２変数実数値（ｚ：実数値）関数、Ｓ×Ｓから実数Ｒへの写像であるということが考えられています。今の質問の場合だとｚを複素数としてd(z,z') = | z' - z | と定義しているので、ｄはＲへの写像となってます。（Ｓ、ｄ）を距離空間（Ｓ、ｄ）といいます。略して距離空間Ｓとも書きます。（Ｓ、ｄ）においてｄを距離と言います。 本当はＳの以下の条件をみたす部分集合系Ｄ_d（距離空間（Ｓ、ｄ）を与えている）を定義して、距離空間（Ｓ、ｄ）にはいつも位相Ｄ_dが付随していると考えます。ですから位相空間は（Ｓ、Ｄ_d）です。このＤ_ｄを踏み台にして、距離空間（Ｓ、ｄ）を位相空間とみなします。（ただし、離散位相空間・・・ＤをＳの部分集合全体からなる集合系としたものです） ＊条件＊ （Ｓ、ｄ）を一つの距離空間として、aをＳの任意の1点、εを任意の正の実数 集合Ｂ（a；ε）＝{ｘ｜ｘ∈Ｓ、ｄ（a、ｘ）＜ε}：球体 を定義して、Ｓの空でない部分集合Ｙが∃ａに対しＢ（ａ；ε）⊂ＹとなるＢが存在するような部分集合Ｙの全体および空集合からなる集合系をＤ_dとする こんなものでよろしいでしょうか？・・・ゼイゼイ promeさんの補足の通りＳの濃度は規定していません。Λもその通りです。
お礼
やっぱり例を挙げるとなると距離になっちゃいますか。 下のほうでどなたかが「位相≒距離」みたいな事をおっしゃってましたが、 その微妙な違いとは何なのか気になっていましたが この場でそれをご説明頂くのは大変なようです。 まずは「位相≒距離」でもちょっと違う、位相のほうが抽象的、くらいに捉えておいて、 やっぱり理解しないとまずいと言う場面になったらご紹介頂いた本で勉強しようと思います。 inukoroさん、promeさんを始め沢山の方々、長々とお付き合いいただきありがとうございました。
- prome
- ベストアンサー率32% (64/196)
>> したがってＣは距離空間となって、通常の方法で位相が定義され > >という記述ですが、この場合集合ＳがＣに相当しますよね？ >Ｄとしては例えばどんなものが考えられるのですか？ >（こんな質問してる事自体分かってない事を露呈しているのかな？） inukoroさんが答えられるのかもしれませんが、ちょっと横から。 どうしても理解したいのなら、専門書をひもとくか、 御自分で考えられた方がいいのでは？数日かけて。 あるいはさらっと流しておくか。 大学レベルの数学関係の本にはよくこういう表現があります。 文中で深く論じることが、本来の目的から逸脱するとか、 （この場合だと複素解析がメインだから） あるいは知っている人には退屈する議論になるなどの理由で、 一言でさらっと流してしまう。 私もそうでしたが、初心者にはこれがわからない。 詰まってしまうんですね。 私はさらっと流してしまったクチです。 位相の講義でもっと勉強して理解しようとしました。 でないとメインの複素解析が進まなくなるから。 >それと、定義は明確になったとは言いつつ１つ分からない記号がありました。 > >> λ∈Λ > >ってどう言う意味ですか？ これは添字集合というものです。例えばn個の集合Y_1,Y_2,...,Y_nを表現する時、 S={1,2,...,n}として、Y_i(i∈S)と書く方法です。この時Sを添字集合といいます。 ここで書かれている添字集合Λは、ある特定の集合を示しているのではありません。 集合が有限個なら上記の通りで、無限個例えば自然数の個数と同じだけある 集合を表現する時は、Ｎ（印刷物ではよく太字のＮになってます）を 自然数全体の集合とすると、Y_n(n∈Ｎ)と書きます。 なぜΛの文字を使うかは知りませんが、Ｎだと自然数、Ｒだと実数、 Ｃだと複素数、と暗黙のうちにそう解釈されるので、他の用途にあまり使わない Λの文字を使っているのではないか、程度の認識しかありません。 多くの文献でΛを使っているので、数学を専門にやっている人は、 黙ってΛと書いても任意の添字集合だな、と理解します。 添字集合のことは集合論の本に書いてあると思います。 集合論は深入りすると結構大変ですが、 集合の濃度についてはさらっと勉強された方がいいかと思います。 実はinukoroさん記述の位相空間の定義の３つ目は、添字集合Λの濃度に 依存せず、成り立つということを言っているので。 （濃度とは集合の元の個数です。1,2,3と数えられない無限集合の場合 「個数」というと語弊があるのであえて「濃度」という用語を使います）
補足
> どうしても理解したいのなら、専門書をひもとくか、 > 御自分で考えられた方がいいのでは？数日かけて。 > あるいはさらっと流しておくか。 教えて！ｇｏｏでは良くこう言った回答を目にします。 しかし僕はそれよりも教えて！ｇｏｏで聞いた方がいいと思うからそうするのです。 きっと上のような事をおっしゃる方は大都市圏で専門書を扱ってる書店に手軽に足を向ける事の出来る方か、 大学や市立や区立の図書館が近くにあって内容が充実していると言う恵まれた環境にいらっしゃる方なのではないでしょうか？ そう言った事が出来ない環境にいる者にとって、教えて！ｇｏｏはとてもありがたい存在です。 わざわざ交通費と時間を割いて探しに行かなくても情報を与えてくれる方が沢山いらっしゃるのですから。 もちろん、その回答の全てが内容に不備がないと言うわけではない事も知っていますし そのために却って混乱させられる事もしばしばです。 それでも教えて！ｇｏｏは自分にとって最善の選択なのです。 それはさておき、 >> したがってＣは距離空間となって、通常の方法で位相が定義され > >という記述ですが、この場合集合ＳがＣに相当しますよね？ >Ｄとしては例えばどんなものが考えられるのですか？ についてのinukoroさんの回答が待たれる所です。
- prome
- ベストアンサー率32% (64/196)
>>> ａ）有限個の開集合の積集合はまた開集合 >>> ｂ）任意個の開集合の和集合はまた開集合 > >「ａ）で言う所の開集合って何？」となると、Ｘの部分集合についてそのまた >部分集合を考えなきゃいけなくて、定義が再帰的に見えるのですが。 >やはり開集合を定義するには開集合と言う概念を使わずに定義する必要がある >ように思えます。 いえいえ、このａ），ｂ）の部分は、ユークリッド空間の開集合の性質を 説明したときに書いたものです。 混乱しないように書くと、 ａ）有限個のΘの元の積集合はΘの元 ｂ）任意個のΘの元の和集合がΘの元 です。これにｃ）φ∈Θ，Ｘ∈Θという条件を付加して、 この３つの性質を持つΘをＸの位相と定義します。 そしてΘの元をＸの開集合と呼びます。 これでいいでしょうか？ 現代数学の多くは定義や性質を抽象的に述べているので、字面だけを追っていると 何を言ってるかわかりません。しっかりと自分の頭で考えて、自分なりのイメージを 持たないと理解できません。本を読むのに１時間かかったとすると、自分の頭で 考えて理解するのに４～５時間、場合によっては何日もかかるつもりでいた方が いいでしょう。特に最初のころは慣れてないので。 位相の定義を作った人だって、きっと２０～３０分で考えついたのではないでしょう。 先人の蓄積の上に自分の考えを重ねて、何日も何ヶ月も考えたのではないでしょうか。 もっとも数学者の中には稀有の大天才がいるので、一瞬で思いついたなんていう人も いるのでしょうけどね。 >位相についてはそれ自体を突き詰める気はなく、何かと出てくる言葉として違和感なく >接する事が出来れば程度に思っています。 それでしたら、あまり深入りせずにさらっと流せばいいのでは？ これまでのレベルの議論をするでしたら、本格的な位相空間論の本を読んでください。 読まずに位相の議論をしても、たぶん空回りでしょう。 私は読んでいらっしゃるとばかり思っていたので、上記のａ），ｂ）の部分で 端折って書きました。手元に本があるので端折っても理解していただけると．．．
補足
> ａ）有限個のΘの元の積集合はΘの元 > ｂ）任意個のΘの元の和集合がΘの元 > > です。これにｃ）φ∈Θ，Ｘ∈Θという条件を付加して、 > この３つの性質を持つΘをＸの位相と定義します。 > そしてΘの元をＸの開集合と呼びます。 > これでいいでしょうか？ もちろんこれならＯＫです。やはりＡを定義する時にＡを使ってはいけないと思います。それは古典数学だろうが現代数学だろうが同じだと思いますが。素人考えですか？ > それでしたら、あまり深入りせずにさらっと流せばいいのでは？ 始めから下のinukoroさんみたいな回答が頂ければ長引かずに済んだのですがね。
- prome
- ベストアンサー率32% (64/196)
鋭い突っ込みに少しタジタジのpromeです。 一度実家へ帰って大学時代のテキストを見てみますが、 とりあえずわかる範囲で回答を。 >> 一般の集合Ｘで上記のａ），ｂ）の性質を持つＸの部分集合を、 >> Ｘの開集合と定義します。 >> φ（空集合）とＸ自身もこの２つの性質をもちます。 > >開集合の定義の中に開集合と言う言葉が出てきてはまずいんじゃないでしょうか？ Ｘの開集合の定義：上記ａ），ｂ）の性質を持つＸの部分集合 ですから、まずくはないです。 >それと、仮に開集合と言う言葉が定義されたとしてそれが上のａ），ｂ）を満たして >いるとするならば > >> 開集合の族をΘとすると、 >> １）φ∈Θ，Ｘ∈Θ >> ２）有限個のОn∈Θに対し、∩Оn∈Θ >> ３）任意個のОλ∈Θに対し、∪Оλ∈Θ > >は当然成り立つ条件なんじゃないですか？ これは私の書き方がまずかったのでしょう。この部分は改めて位相空間の定義を 書いたものです。「上記１）～３）の性質を持つΘをＸの位相という」というのが 位相空間の定義です。 現代数学の抽象化のパターンとして、「ユークリッド空間の○○は△△なる性質 を持つ」場合、一般の集合で「○○の定義を△△とする」というのがよくあります。 今の場合、○○が開集合で、△△が条件ａ）とｂ）です。 >それ以前に、上の「Ｘ自身もこの２つの性質をもちます。 」ってどう言う意味ですか これは私の間違いです。「Ｘ自身とφもΘの元とします」と書くのが正解でした。 ところでtaropooさんはどういう本で数学を勉強されているんでしょうか？ 私は大学時代に、菅原正博著「位相への入門」朝倉書店刊で勉強しました。 図解がほとんど（全く？）なくて、当時の私にはとっつきにくい本でしたが、 抽象化に慣れる意味ではいい本だと思います。 ただ理解のためには図解入りの本をサブで読んだ方がいいかもしれません。
補足
> Ｘの開集合の定義：上記ａ），ｂ）の性質を持つＸの部分集合 > ですから、まずくはないです。 との事ですが、 >> ａ）有限個の開集合の積集合はまた開集合 >> ｂ）任意個の開集合の和集合はまた開集合 「ａ）で言う所の開集合って何？」となると、Ｘの部分集合についてそのまた部分集合を考えなきゃいけなくて、定義が再帰的に見えるのですが。 やはり開集合を定義するには開集合と言う概念を使わずに定義する必要があるように思えます。 > これは私の書き方がまずかったのでしょう。この部分は改めて位相空間の定義を > 書いたものです。「上記１）～３）の性質を持つΘをＸの位相という」というのが > 位相空間の定義です。 ということはΘは開集合の族である必要はないと言う事ですか？ > 現代数学の抽象化のパターンとして、「ユークリッド空間の○○は△△なる性質 > を持つ」場合、一般の集合で「○○の定義を△△とする」というのがよくあります。 > 今の場合、○○が開集合で、△△が条件ａ）とｂ）です。 は何となく分かる気がします。 > ところでtaropooさんはどういう本で数学を勉強されているんでしょうか？ 質問に登場した『複素解析』（高橋礼司著 東大出版会）のほか、『微分積分学』（笠原晧司著 サイエンス社）、『線形代数入門』（斎藤正彦著 東大出版会）など、理系全般のの大学１年生が授業で使ってるような教科書です。 位相についてはそれ自体を突き詰める気はなく、何かと出てくる言葉として違和感なく接する事が出来れば程度に思っています。
- prome
- ベストアンサー率32% (64/196)
>>それとそもそもここでいう開集合ってどう定義されたものですか？ >>私は距離に基づいて定義された開集合しか知らないので。 > >これ、教えてください。イメージは良いので定義を。 まずユークリッド空間の開集合から行きます。１次元ユークリッド空間Ｒは、 ご存知の通り実数の数直線です。 Ｒにはユークリッド距離（いわゆる通常の距離です）が存在するので、 点ｘ∈Ｒのε近傍を（ε＞０とする） Ｖε（ｘ）＝｛ｙ｜ｙ∈Ｒ，｜ｘ－ｙ｜＜ε｝ と定義します（簡単にいうとｘを中心とした半径εの円の内部です）。 Ｒの部分集合（ａ，ｂ）＝｛ｘ｜ａ＜ｘ＜ｂ，ａ，ｂ∈Ｒ｝を考えた時、 （ａ，ｂ）の各点は、十分小さなε近傍を作ってやると、 必ずＶε（ｘ）⊂（ａ，ｂ）になります。 こういう性質を持つＲの部分集合を開集合といいます。 （距離に基づいた定義をご存知なら、わかりますよね？） ではＲの開集合はほかにどういう形のものがあるかというと、 １）（ａ，ｂ） ２）（－∞，ｂ） ３）（ａ，∞） ４）（－∞，∞） ５）φ です。これがＲの開集合のすべてです。 Ｒの開集合はほかにどういう性質を持つかというと、 ａ）有限個の開集合の積集合はまた開集合 ｂ）任意個の開集合の和集合はまた開集合 です。ａ）で任意個の積集合が開集合にならない例は ｎを自然数とした時、可算無限個の積集合∩（－１，１／ｎ）＝（－１，０] です。ｂ）は上記の開集合の定義（ε近傍云々の部分）から証明できます。 ここからが現代数学特有の抽象化です。 一般の集合Ｘで上記のａ），ｂ）の性質を持つＸの部分集合を、 Ｘの開集合と定義します（ここにはもはや「開いた」というイメージは ありません）。φ（空集合）とＸ自身もこの２つの性質をもちます。 ここから位相空間の定義、すなわち、開集合の族をΘとすると、 １）φ∈Θ，Ｘ∈Θ ２）有限個のОn∈Θに対し、∩Оn∈Θ ３）任意個のОλ∈Θに対し、∪Оλ∈Θ なる性質を持つとき、ΘをＸの位相といい、位相空間（Ｘ，Θ） あるいは単に位相空間Ｘという。 が出てきます。
補足
シンプルで無駄のない、それでいて飛躍のないご回答、ありがとうございます。 しかし済みません、taropoo、まだ分かってないです。(;_;) > ａ）有限個の開集合の積集合はまた開集合 > ｂ）任意個の開集合の和集合はまた開集合 > 一般の集合Ｘで上記のａ），ｂ）の性質を持つＸの部分集合を、 > Ｘの開集合と定義します。 > φ（空集合）とＸ自身もこの２つの性質をもちます。 開集合の定義の中に開集合と言う言葉が出てきてはまずいんじゃないでしょうか？ それと、仮に開集合と言う言葉が定義されたとしてそれが上のａ），ｂ）を満たしているとするならば > 開集合の族をΘとすると、 > １）φ∈Θ，Ｘ∈Θ > ２）有限個のОn∈Θに対し、∩Оn∈Θ > ３）任意個のОλ∈Θに対し、∪Оλ∈Θ は当然成り立つ条件なんじゃないですか？ つまり、Θが開集合の族である以上、Оn、Оλ∈Θは開集合であり、よってa),b)より、∩Оnも開集合 、∪Оλ も開集合、これらの開集合がΘの要素である事は自明に思えるのですが。 それ以前に、上の「Ｘ自身もこの２つの性質をもちます。 」ってどう言う意味ですか。Ｘは一般の集合だったはずです。それが開集合（？？）。そもそも「Ｘ自身がａ），ｂ）を満たす」という意味が分かりません。 しつこくて申し訳ありませんがよろしくお願いします。
- prome
- ベストアンサー率32% (64/196)
私の回答に対する補足を今読んだところです。ごめんなさい。気がつかなくて。 補足について返事をします。 >「セット」って集合の集合のことですか？つまり集合を要素に持つ集合。 >本で読んだことがある気がするのですが日本語ではなんて言うんでしたっけ？ はい、集合の集合のことです。集合族って言いませんでしたっけ？ >それとそもそもここでいう開集合ってどう定義されたものですか？ >私は距離に基づいて定義された開集合しか知らないので。 > >１）～３）で位相が定義される事は紙の上では分かったのですがどうも >今一ぴんと来ません。 >１）～３）はそれぞれ感覚的に言うとどういう意味があるんでしょう 位相空間の定義は極めて抽象的なものです。開集合といっても「開いた」 というイメージはありません。ですから感覚的な意味はありません。 元々ユークリッド空間の開集合が持っている性質を抽象化したものです。 初めはユークリッド空間をイメージしてもいいですが、徐々にユークリッド 空間のイメージから離れていった方がいいでしょう。でないと そのうち習うことになる抽象的な空間の理解ができなくなります。 例えば写像空間。「コンパクト開位相」は勉強されましたか？ これなど図形的なイメージは全くありません。
補足
>それとそもそもここでいう開集合ってどう定義されたものですか？ >私は距離に基づいて定義された開集合しか知らないので。 これ、教えてください。イメージは良いので定義を。 それと、 > １）φ∈Θ，Ｘ∈Θ > ２）有限個のОn∈Θに対し、∩Оn∈Θ > ３）任意個のОλ∈Θに対し、∪Оλ∈Θ って、 全ての集合は空集合を要素に持つからφ∈Θは自明だし 部分集合達の積集合はやっぱり部分集合だから２）も自明、 同じく部分集合達の和集合も部分集合だから３）も自明で 結局Ｘ∈Θ以外に何も言っていないのと同じに見えるのですが。 当然言ってる事が間違ってる事は予想がついていますが、何が間違っているか分かりません。 教えてください。
- 1
- 2
補足
ありがとうございます。定義はこれで明確になりました。 ところで元の問題に戻って > したがってＣは距離空間となって、通常の方法で位相が定義され という記述ですが、この場合集合ＳがＣに相当しますよね？ Ｄとしては例えばどんなものが考えられるのですか？ （こんな質問してる事自体分かってない事を露呈しているのかな？） それと、定義は明確になったとは言いつつ１つ分からない記号がありました。 > λ∈Λ ってどう言う意味ですか？