• ベストアンサー

位相空間論って?

位相空間論ってどんな内容の分野ですか? あと、多分関係あると思うんですけど、「ユークリッド空間」っていうのは中学・高校のときから慣れ親しんでる空間の事ですか? 他にどんな空間があるんですか? こちらは大学1年なりたて程度の知識しかないので易しい言葉で説明してください。

質問者が選んだベストアンサー

  • ベストアンサー
  • j_euro
  • ベストアンサー率25% (29/115)
回答No.4

j_euro ふたたびです。 なかなか興味深い内容になってきてますね。 勉強になります。(って回答者がホンネ言ってどうする) >例えばdがユークリッド距離でd'がマンハッタン距離とするとd≦Md’の定数Mの値っていくつになるんでしょう? んと、(x1, y1) と (x2, y2) の2点の距離でいくと、|x1-x2|=|y1-y2| のときのd=Md’じゃないでしょか。

taropoo
質問者

お礼

だんだん分かってきました。 dがユークリッド距離でd'がマンハッタン距離とすると、2次元の場合、点X(x1, y1) と 点Y(x2, y2) について考えると     d(x,y) = sqrt( (x2 - x1)^2 + (y2 - y1)^2 )    …(i)     d'(x,y) = max{|x1-x2|,|y1-y2|}    …(ii) ここでd(x,y) = r (rは定数)と固定して考えると、     x2 - x1 = r cosθ     y2 - y1 = r sinθ と出来て、     r / √2 ≦ max{|r cosθ|,|r sinθ|} ≦ r よって     d(x,y) / √2 ≦ d'(x,y) ≦ d(x,y) 書きかえると     d(x,y) ≦ √2 d'(x,y)     d'(x,y) ≦ d(x,y) これが距離dと距離d'が同値である事の例であり、 > Q4.「dとd'が同値とは常にd≦Md'」とありますが、日本語で「dとd'が同値」と「d'とdが同値」は同じですよね?という事はdとd'を入れ替えても成り立つ訳で、「dとd'が同値とはある定数M,M'があって、つねにd≦Md'かつd'≦M'd」って事になる気がしますがおかしいですか? に対する答えですね。 こうなってくると他にどんな距離があってユークリッド距離と同値なのかどうかも調べてみたいし、 なぜ「d≦Md'のときd'≦M'd」と言えるのか(これが言えないと同値の定義が出来ませんよね?)も気になりますし、 興味は尽きない所ですが、個人的な事情によりあまりここばかりに執着してるわけに行かないので 尻切れトンボの感は否めませんが、この辺りで閉じさせていただこうと思います。 ご回答下さった皆様、ありがとうございました。

その他の回答 (3)

  • prome
  • ベストアンサー率32% (64/196)
回答No.3

A1.位相空間論⊃位相幾何学? この包含関係は理屈の上では間違ってはいないかもしれませんが、 数学をやってきた人の感覚では、かなり違うもののように 思います。 位相幾何学はほとんどの場合多様体を対象にしていて、 幾何学的なイメージがありますが(といっても高次元では イメージングが大変ですが)、 位相空間論はもっと抽象的な空間、図形的イメージがほとんど ないような、場合によっては奇妙な空間(集合)が対象のようです。 他の大学は知りませんが、私の通っていた大学では位相空間論を 専門に研究しているゼミはありませんでしたし、位相空間論を極める のはマイナーな感じがします。ブルバキの数学原論に位相空間論 が載っていましたが、全然面白くなかったです。 A2.「位相」ってなんですか?三角関数でθとθ+2nπは位相が同じ とか言いますが、関係ありますか? これは物理学者が言う位相で、英語でphase。数学者の位相は topologyです。全く関係がありません。 A3.距離dで収束するとは? すみません、忘れました。なにぶん10数年前のことなもので。 A4.dとd’が同値とは? taropooのおっしゃるのが正解と思います。ただd≦Md’から逆が 導けたのかな?これも忘れました(_ _)。

taropoo
質問者

補足

Q3の答えは多分分かりました。距離と一言に言ってもユークリッド距離とかマンハッタン距離とかあって、 ユークリッド距離で考えて収束するとか、マンハッタン距離で考えて収束するとか、そう言うのを「距離dで収束する」と表現するのかなと思いました。 そう考えるとQ4の意味も分かってくるので。 > A4.dとd’が同値とは? > > taropooのおっしゃるのが正解と思います。 とすると、例えばdがユークリッド距離でd'がマンハッタン距離とするとd≦Md’の定数Mの値っていくつになるんでしょう?

  • prome
  • ベストアンサー率32% (64/196)
回答No.2

j_euroさんがおっしゃってるのは、(代数的)位相幾何学Algebraic Topologyで、 位相空間論はGenaral Topologyです。 位相幾何学は位相空間(多様体)の分類を目的にしたもので、 ホモロジー群、ホモトピー群などを分類のための手段に用います。 位相空間論は位相幾何学や解析学を学ぶための知識として必要なものです。 ハイネ・ボレルの被覆定理(コンパクト性)などは解析学にも使いますから。 私も10数年前数学科に入り、位相空間論は鍛えられました。 これがわかってないと他の数学の理解もできないし、 またこの位相空間論が数学科1回生にとって一番とっつきにくい 「曲者」ですが、逆にこれが理解できれば他の代数、解析などは 何のことはないという感じです。 > で、結局「位相空間論」=「トポロジー」なんですか? に対する答えは、トポロジーを位相幾何学と解釈すると、 上記の説明の通り少し違います。 1950~60年代、数学の世界ではAlgebraic Topologyが全盛で、 フィールズ賞受賞者といえば、ほとんどがこの分野からでした。 しかし70年代以降、代数幾何学Algebraic Geometryが頭角を現し、 フィールズ賞受賞者はこちらの方が増えました。 日本のフィールズ賞受賞者の3人、小平邦彦、広中平祐、森氏(フルネームを 失念しました)はすべて代数幾何学の分野です。フェルマの最終定理を 解いたワイルズ氏もこの分野です。ちなみに数学を代数、解析、幾何と 3分類した時、代数幾何学は代数の分野です。 話が脱線してきたので、この辺で。

taropoo
質問者

補足

Q1.位相空間論⊃位相幾何学 ってことですか? それと、下にも書きました別質問でのoodaikoさんのご回答の中に > もっと一般の位相空間論では、「同値な距離による位相は同値である」ということがいえます。 > つまり距離dとd'が同値なら、距離dで収束する点列はd'でも収束し、逆も言えるということです。 > なお、距離dとd'が同値であると言うのは、ある定数Mがあって、常にd≦Md' となると言う意味です。 という記述があるのですが、まず Q2.「位相」ってなんですか?三角関数でθとθ+2nπは位相が同じとか言いますが、関係ありますか? Q3.「距離dで収束する」ってどう言う事ですか?言葉の意味が分かりません。「点列a_nがbへ収束する」とかなら分かるのですが。 Q4.「dとd'が同値とは常にd≦Md'」とありますが、日本語で「dとd'が同値」と「d'とdが同値」は同じですよね?という事はdとd'を入れ替えても成り立つ訳で、「dとd'が同値とはある定数M,M'があって、つねにd≦Md'かつd'≦M'd」って事になる気がしますがおかしいですか?

  • j_euro
  • ベストアンサー率25% (29/115)
回答No.1

「位相空間論」で検索すると、だいたいわかると思うんですが・・・ 好きな人にはおもしろいです。  トポロジってのがあって、一言でいうなら、「しわを伸ばして、ゴムみたく縮める」ということだと考えています。 僕はその辺(位相幾何とか)が好きなんで、ちょっと書きますね。 (1)線って、ゴムみたいなものだと縮んだら短い線になる。でも円は、縮んでも円のまま。 8の字は、円が2個なので、線や点、閉曲線とは違う。 (2)紙って、うらと表がありますね。新聞紙も名刺も切手も縮んだらサイズは関係なくなって、「裏と表」ということだけになる。三角の紙も、四角の紙も同じ仲間。 丸めても、伸ばしても「うらと表がある2次元もの」で、同じです。 (3)メビウスの環は、裏と表がくっついています。これは紙(2次元)を3次元の世界で扱ったためにできる技なのです。3次元と4次元では、クラインの壷ってのがそれにあたります。 なんかとりとめなくなってきました。 このへんで・・・ 「ユークリッド空間」や「他の空間」については、また今度・・(あるのか?) では、

taropoo
質問者

補足

「位相空間論」で出てくるたった1件の質問が、この質問のきっかけです。 つまり、私のした質問「続、2変数関数の極限」に対するご回答の中に位相空間論という言葉が出てきて、 聞いた事はあるけど中身は知らなかったのと、その質問の中で位相空間論について聞いてしまうとそっちの質問の方が混乱状態になりそうでしたので別質問にしました。 トポロジーってのも聞いた事はあって、伸ばしたり縮めたり曲げたりして同じに出来るものは同じとみなすみたいな学問ですよね? クラインの壷なんて高校の時「数学セミナー」でしってはまりましたね。ちょっと数学オタクでしたから。 で、結局「位相空間論」=「トポロジー」なんですか? 参考URL:「続、2変数関数の極限」 http://oshiete1.goo.ne.jp/kotaeru.php3?q=93778

関連するQ&A

  • 位相空間論について質問です。来週、大学で位相空間論のテストがあります。

    位相空間論について質問です。来週、大学で位相空間論のテストがあります。一通り学習範囲を終え、ある程度の基本問題も解け、仕上げの段階に近づいてきました。昨年、必修で単位を落としてしまい、今年は猛勉強して間違えてなかったとテスト前の今の段階でさえ思います。(それだけ私にとっては苦手とする難しい分野なのです。)なので、今回は、一度解いた問題を別の切り口から見れないか?(別解はないか?)ということで、質問します。例えば、「コンパクト集合の直積はコンパクトであることを証明せよ」という問いに対し、私は「(X,Ox),(Y,Oy)を位相空間とし、A⊂X,B⊂Y(ともにコンパクト集合)。直積空間(X*Y,Ox*Oy)において、その部分集合A*Bはコンパクトであること」を示し、A=X,B=Yのような流れで行きます。他に証明のアプローチがありましたら、どうか教えて下さい。よろしくお願いいたします。

  • 2つの位相が一致することの証明

    こんにちは。位相についての質問です。 二次元ユークリッド空間上の単位円周  S = { (x,y) ∈ E^2 | x^2 + y^2 = 1 } を考え、 S上の二点 p , q に対し、   d(p,q) = op と oq のなす角度 ∈ [0 , π]  (op , oq はそれぞれ原点と p , q を結ぶ線分) として、S上の距離を定めます。  このとき、ユークリッド空間からSに定まる相対位相 U と、距離dから定まる位相 Ud が一致することを示せ、というのが問題です。 まず、Ud⊂ U を示そうと思い、任意にA∈Udを取りました。 A∈Uを言うためには、あるユークリッド空間の開集合Bが存在して 「A = B ∩ S」 となっていることを言えばいいのですが、そのBの作り方がいまいち分かりません。 逆に U⊂ Ud を示そうと思いましたが、こちらもBの形がよく分からず示すことができませんでした。 イメージとしては同じようなものになることは分かるのですが... うまく言葉にできず困っています。 分かる方がいましたら回答よろしくお願いします。

  • アフィン空間 ユークリッド空間 ベクトル空間

    アフィン空間についていろいろ勉強しているのですが、なかなかわからなくて・・・もう何度質問したことか>< アフィン空間はベクトル空間ではないと思っているのですが、アフィン空間とベクトル空間が同じになる場合があるのでしょうか? 一次結合の係数和が1の時、アフィン空間=ベクトル空間となるのでしょうか? また、アフィン空間はユークリッド空間から絶対的な原点・座標を取り除いた空間ですよね(wiki参照)。以前の質問で、計量の有無はアフィン空間であるか否かには関係無いとの事でした。 ということは、アフィン空間はベクトル空間ではないが位相空間、計量を定義すれば距離空間となるのでしょうか? 私のイメージでは、 ある集合→(ベクトルを定義)→ベクトル空間→(位相を入れる)→位相空間→(ノルム・内積を定義)→距離空間 なんですが・・・ アフィン空間はこのイメージから外れてしまって良くわからないのです・・・

  • 位相って何?

    最近計測器を扱う会社に就職したのですが、文系出身で電気のことが全然わかっていません。 「基礎からわかる電気の本」みたいなものを読んで勉強しているのですが、そんなにすぐにも理解しきれません。 新人研修などでも、交流の話のあたりで「位相」という言葉がしばしば出てきて、しかも重要そうだったのですが、全然わかっていません。 そこで、どなたか「位相」についてお教えいただけませんでしょうか? きちんと正しい知識を理解し切れなくてもかまわないので、小・中学生でもなんとなくつかめる程度で、わかりやすく「こんな感じで捉えておけば大丈夫だよ」ということを教えてください。 現在は、「位相って何?」「位相ってどんなものか知るとどう役に立つの?」ということもわかっていません。 どなたか、電気に詳しくて、なおかつ難しい言葉を使わないでも説明できる方、お願いいたします

  • 位相空間の基本群

    大学の授業内容がわからず困っています。 次の位相空間の基本群を求めよ。 ただしS^nはn次元球面、Aはアニュラス、D^2は円板とする。 (1) S^1 * A (2) S^2 * D^2 (3)S^1 * ・・・ * S^1 (S^1をn個かけあわせています) よろしくお願いします。

  • 空間デザイナーになるために。

    空間デザイナーになるために。 今年、大学新3回生になる者です。 突然ですが大学にかよって3年が立とうとしている今、私は将来について考えるようになりました。 自分が本当にしたいことはなんなのだろうか? 興味があることはなんなのだろうか? と、この春休みに色々試行錯誤しました。 その結果、私はカフェなどの空間が大好きで、そのような空間を創ってみたい、と思うようになりました。 もともと、「何かを自分の手で創りだすこと」「インテリア」が好きだったので、それらも考慮した結果、私は「空間デザイナー」という職に興味がわきました。 そこでまずは、現在私が通っている大学の詳細を記します。 ・卒業年数:4年生 ・学部:都市開発、環境デザイン系(建築系というよりも都市における問題を解決する分野です) ・所在地:関西 私が「空間デザイナー」を知ったのも、現在通っている大学が少なからず関係しているからです。 3回生になり、専門的な授業が増えるので、もちろん私は少しでも「空間デザイナー」に関係する分野の授業を受講するつもりです。 しかし、設計や製図等の専門的な授業等は少ないので、この大学で得られる知識だけでは足りないと感じています。 決して、美術・芸術系の大学ではありません。 そこで、みなさんに質問です。 「空間デザイナー」になるために、いま私に何ができるでしょうか? できれば、詳しく教えていただければうれしいです。 よろしくお願いします。

  • 歴史的位相の意味

    国語か歴史かカテゴリーを迷ったのですが、こちらに投稿致します。 『歴史的位相』って簡単に説明するとどういう意味のことですか? 論文で歴史的位相の考察、という内容が出てきたのですが、 位相という言葉を調べても数学だか理科の専門用語のような 意味しか出てこず非常に困っています。。。 どなたかこんな馬鹿に簡単にこの言葉の意味を教えて下さい!

  • ユークリッド空間 ユークリッド変換

    ユークリッド空間とはユークリッド変換の対象となる空間であると認識 しています。 ユークリッド変換は、回転、鏡映、平行移動です。 ユークリッド変換は、直交変換+平行移動と説明されたりしますが、 直交変換とはなんでしょうか?直交行列と関係あるのでしょうか? 直交行列は、ある行列Aの転置行列がAの逆行列と等しい行列で ある事は理解できています。 回転行列は直交行列の一つだと認識しています。 線形変換(回転、鏡映、拡大・縮小、剪断)のなかで直交変換に あたるものは回転以外になにがありますでしょうか?鏡映も回転と ほとんど同意なので含まれると考えています。 ユークリッド変換の数学的な定義は調べたのですがわかりませんでした。 ユークリッド変換の数学的な定義を以下のように教えて頂けませんか? ちなみに、 線形変換の定義は、 K上の線形空間V上の変換fで、x,y∈V,a,b∈Kについて常に、 f(ax+by)=af(x)+bf(y)が成り立つもの。 アフィン変換の定義は、 K上のアフィン空間W(線形空間を含む)上の変換fで、x,y∈W,a,b∈Kについてa+b=1のとき、 f(ax+by)=af(x)+bf(y)が成り立たちかつ全単射であるもの。 よく私たちが生活している空間を3次元ユークリッド空間などと呼んだりしますが、 これはなぜでしょうか?ユークリッド空間では、回転と鏡映(対称移動)、平行移動が 定義された空間で私たちが生活している空間とは無関係な気がします・・・ 私たちが生活している空間には、~空間といったような名称があるのですか? 長々と失礼しました。 質問を整理させて頂きます。以下に質問順に番号をふりました。 (1)直交変換とはなんでしょうか? (2)線形変換の中で直交変換であるものはなんでしょうか? (3)ユークリッド変換の定義を教えて貰えないでしょうか? (4)ユークリッド空間と私たちが日常生活している空間は関係あるのでしょうか? 以上、ご回答よろしくお願い致します。

  • 商空間とハウスドルフ空間

    初めて投稿させていただきます。言葉足らずな点も多々あるかと思いますがよろしくお願いいたします。質問したいのは以下の問題です。 通常の位相を持った数直線Rから原点0を除いた位相空間をXとする。X上の2点に対しして。関係~をx‘~x⇔n∈Zが存在してx‘=2^nx (←2のn乗とxの積です)として定義する。商集合X/~をYとおく。次の各問に答えよ。 (1)π;X→Yを写像とするとき、Y上の商位相の定義を述べ、πが連続であることを示せ。 (2)Yは第2可算公理を満たすことを示せ。 (3)商空間Yはハウスドルフ空間になることを示せ まず(1)はできました。次に(2)なのですがこれはちょっとやり方がわからず困っています。可分な位相空間であることを示して第2可算公理を満たすという感じにすれば良いのでしょうか?できれば模範的な解答を示していただければ嬉しいです。それと最後に(3)なのですが、まったくわからず・・・という状態です。これも解答していただければ助かります。解答を他人任せにしていることに申し訳なさを感じているのですが、どうしてもこの問題だけは理解したいと思います。ですからどうかお願いいたします。

  • 空間について

     空間というのはニュートンの提唱する絶対空間だけではないとのことです。たとえば、ライプニッツは、ものが存在していて、ものが他のものとの間に関係を持つとき、そこに空間が存在すると言いました。  ところで、こうした言い方が成り立つためには、「もの」が人間に知覚できる「もの」でなければならないのでしょうか。目に見えない抽象的なものでもいいのでしょうか。  論理空間とか想像空間とかいう言葉を聞きます。空間とは「共時的に存在するどのようなものであっても、それが他のものとの間で関係または秩序を作るときに同時に生じるもの」 と考えてもいいのでしょうか。