ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

アトラス (多様体)

索引 アトラス (多様体)

数学の特に微分位相幾何学におけるアトラス (atlas; 地図帳) あるいは座標近傍系(ざひょうきんぼうけい、co­ordinate neighbourhood system)は多様体を記述するために必要である。アトラスはチャート (chart; 地図) あるいは座標近傍 (co­ordinate neighbourhood) と呼ばれる元の族であり、各チャートは簡単に言えば多様体の各点の周りの適当な領域に座標を入れて考えられるようにするものである。例えば地表を多様体と見なせば、アトラスとその各チャートは日常的な意味で言う地図帳と各地図と考えられる。一般には、アトラスは多様体の厳密な定義の一部として含まれ、あるいは多様体と関連深いベクトル束などのファイバー束においても同様である。.

16 関係: 可微分多様体多様体位相同型位相多様体位相空間微分可能関数微分位相幾何学ユークリッド空間ファイバー束ベクトル束写像の微分開集合Well-defined接ベクトル方向微分数学

可微分多様体

数学において、可微分多様体(かびぶんたようたい、differentiable manifold)、あるいは微分可能多様体(びぶんかのうたようたい)は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート(座標近傍、局所座標)の集まり、アトラス(座標近傍系、局所座標系)、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば(すなわち1つのチャートから別のチャートへの変換が微分可能であれば)、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus (外微分法/外微分学)のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.

新しい!!: アトラス (多様体)と可微分多様体 · 続きを見る »

多様体

多様体(たようたい、manifold, Mannigfaltigkeit)とは、局所的にはユークリッド空間と見なせるような図形や空間(位相空間)のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.

新しい!!: アトラス (多様体)と多様体 · 続きを見る »

位相同型

位相同型 (いそうどうけい、homeomorphic)、あるいは同相(どうそう)とは、2つの位相空間が位相空間として等しいことを表す概念である。 例えば、球の表面と湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。(直観的には、連続的な変形によって穴の個数が変化することはないということである。) ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。.

新しい!!: アトラス (多様体)と位相同型 · 続きを見る »

位相多様体

位相幾何学という数学の分野において,位相多様体(いそうたようたい,topological manifold)とは,以下に定義される意味で実 次元空間に局所的に似ている(分離空間でもある)位相空間である.位相多様体は数学全般に応用を持つ位相空間の重要なクラスをなす. 「多様体」は位相多様体を意味することもあるし,より多くは,追加の構造を持った位相多様体を指す.例えば可微分多様体は可微分構造を備えた位相多様体である.任意の多様体は,単に追加の構造を忘れることによって得られる,台となる位相多様体を持つ.多様体の概念の概観はその記事に与えられている.この記事は純粋に多様体の位相的側面に焦点を当てる..

新しい!!: アトラス (多様体)と位相多様体 · 続きを見る »

位相空間

数学における位相空間(いそうくうかん, topological space)とは、集合にある種の情報(位相、topology)を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.

新しい!!: アトラス (多様体)と位相空間 · 続きを見る »

微分可能関数

数学の一分野である微分積分学において、可微分函数あるいは微分可能関数(びぶんかのうかんすう、)とは、その定義域内の各点において導関数が存在するような関数のことを言う。微分可能関数のグラフには、その定義域の各点において非垂直な接線が存在しなければならない。その結果として、微分可能関数のグラフは比較的なめらかなものとなり、途切れたり折れ曲がったりせず、や、垂直接線を伴う点などは含まれない。 より一般に、ある関数 f の定義域内のある点 x0 に対し、導関数 f′(x0) が存在するとき、f は x0 において微分可能であるといわれる。そのような関数 f はまた、点 x0 の近くでは線型関数によってよく近似されるため、x0 において局所線型(locally linear)とも呼ばれる。.

新しい!!: アトラス (多様体)と微分可能関数 · 続きを見る »

微分位相幾何学

微分位相幾何学もしくは微分トポロジー(英語:differential topology)は、多様体の微分可能構造に注目する幾何学の一分野。微分可能構造という位相のみでは 決まらないものを扱うため純粋な位相幾何学として扱うのは難しい部分もあるが,位相が与えられている多様体の微分可能構造つまり微積分ができる ような構造を調べるということで位相多様体を調べるもので,微分可能構造まで込めた多様体に距離や曲率を定めて 研究を行う微分幾何学に比べ自由度は高いことから位相幾何学であるとされている。解析学や微分幾何学と位相幾何学の学際研究が非常に有益なことは初期から知られており、局所的な性質を扱う微分幾何学と大域的な性質を扱う位相幾何学の対照的な2分野による多様体の研究は双方の発展を促した。古くはフェリックス・クラインやアンリ・ポアンカレまで遡れ、現在微分位相幾何学と呼ばれているものはルネ・トムやジョン・ミルナーといった数学者によって創り出された。.

新しい!!: アトラス (多様体)と微分位相幾何学 · 続きを見る »

ユークリッド空間

数学におけるユークリッド空間(ユークリッドくうかん、Euclidean space)は、エウクレイデス(ユークリッド)が研究したような幾何学(ユークリッド幾何学)の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や(三次元)ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、(標準的なモデルを与えるものという意味で)しばしば とかかれるが、(余分な構造を想起させない)ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.

新しい!!: アトラス (多様体)とユークリッド空間 · 続きを見る »

ファイバー束

ファイバー束(ファイバーそく、fiber bundle, fibre bundle)とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である。.

新しい!!: アトラス (多様体)とファイバー束 · 続きを見る »

ベクトル束

数学において、ベクトル束(べくとるそく、vector bundle; ベクトルバンドル)は、ある空間 (例えば、 は位相空間、多様体、代数多様体等)により径数付けられたベクトル空間の族を作るという方法で与えられる幾何学的構成である。.

新しい!!: アトラス (多様体)とベクトル束 · 続きを見る »

写像の微分

数学の一分野、微分幾何学における多様体間の写像の微分(びぶん、differential)または全微分 は、通常の解析学における全微分の概念を可微分写像に対して一般化するもので、可微分多様体間の可微分写像のある意味での最適線型近似を各点において与えるものである。より具体的に、可微分多様体 の間の可微分写像 に対し、 の における微分(係数) は、 における の接空間から における の接空間への線型写像として与えられる。 各点における微分係数 は、接束を考えることにより、 を動かして微分写像(導写像) にすることができる。 は接写像とも呼ばれ、可微分多様体の接束をとる操作(接構成)は接写像を伴って可微分多様体の圏からベクトル束の圏への函手(接函手)を定める。.

新しい!!: アトラス (多様体)と写像の微分 · 続きを見る »

開集合

開集合(かいしゅうごう、open set)は、実数直線の開区間の考えを一般化した抽象的な概念である。最も簡単な例は距離空間におけるものであり、開集合をその任意の点に対しそれを(元として)含む開球を(部分集合として)含むような集合(あるいは同じことだが境界点を全く含まないような集合)として定義できる。例えば、数直線上で不等式 2 < x < 5 によって定まる開区間は開集合である。この場合の境界とは数直線上の点 2 と 5 であって、不等式を 2 ≤ x ≤ 5 としたものや 2 ≤ x < 5 としたものは、境界を含んでいるので開集合ではない。また、 2 < x < 5 によって定まる開区間内のどの点に対しても、その点の開近傍として十分小さなものを選べば、それがもとの開区間に含まれるようにできる。 しかしながら、開集合は一般にはとても抽象的になりうる(詳しくは位相空間の項を参照されたい)。開集合とは全体集合を形成する基本要素達のようなものであり、位相の特殊な定義の仕方によっては、例えば実数において(普通の意味での)境界上を含む集合が“開集合”と呼ばれることになる場合もある。極端な例では、すべての部分集合を開集合としたり(離散位相)、開集合は空集合と空間全体だけとしたり(密着位相)することもできる。.

新しい!!: アトラス (多様体)と開集合 · 続きを見る »

Well-defined

数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義(における公理の組)が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ(定義の整合性)が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない(文脈によっては「定義可能性」などで代用可能である)。.

新しい!!: アトラス (多様体)とWell-defined · 続きを見る »

接ベクトル

数学において、接ベクトル(tangent vector)とは、曲線や曲面に接するようなベクトルのことである。.

新しい!!: アトラス (多様体)と接ベクトル · 続きを見る »

方向微分

数学において、多変数微分可能関数のある与えられた点 x におけるある与えられたベクトル v に沿った方向微分(ほうこうびぶん、)とは、直感的には、v によって特徴づけられた速度で x を通過する時の、その関数の即時的な変化率を意味する。したがって、他のすべての座標は定数として、ある一つのに沿った変化率を取るような、偏微分の概念を一般化するものである。 方向微分は、ガトー微分の特別な場合である。.

新しい!!: アトラス (多様体)と方向微分 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: アトラス (多様体)と数学 · 続きを見る »

ここにリダイレクトされます:

チャート (トポロジー)チャート (位相幾何学)チャート (多様体)チャート (数学)アトラス (トポロジー)アトラス (位相幾何学)アトラス (数学)変換関数局所座標系座標の貼り合わせ座標チャート座標変換 (多様体)座標変換写像座標近傍座標近傍 (位相幾何学)座標近傍 (多様体)座標近傍系座標近傍系 (位相幾何学)座標近傍系 (多様体)地図 (位相幾何学)地図 (多様体)地図帳 (位相幾何学)地図帳 (多様体)

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »