ブラウザよりも高速アクセス！
11 関係: 埋め込み (数学)、はめ込み、単射、可微分多様体、多様体、位相、位相空間、包含写像、リー群、相対位相、部分集合。
埋め込み (数学)
数学において、埋め込み（うめこみ、embedding, imbedding）とは、数学的構造間の構造を保つような単射のことである。 It is suggested by, that the word "embedding" is used instead of "imbedding" by "the English", i.e. the British.
新しい！!: 部分多様体と埋め込み (数学) · 続きを見る »
はめ込み
数学において，はめ込み (immersion) は可微分多様体の間の可微分写像であって微分がいたるところ単射であるもののことである．明示的には， がはめ込みであるとは， が のすべての点 において単射関数であることをいう（ここで は多様体 の点 における接空間を表す）．同じことであるが， がはめ込みであるとは，その微分が の次元に等しい定数を持つことである： 関数 それ自身は単射である必要はない． 関連概念は埋め込みである．滑らかな埋め込みは位相的な埋め込みでもある単射はめ込み であり，したがって は におけるその像に微分同相である．はめ込みはちょうど局所的な埋め込みである――つまり，任意の点 に対して， のある近傍 が存在して， が埋め込みとなり，逆に局所的な埋め込みははめ込みである．無限次元多様体に対して，これははめ込みの定義として取られることもある． がコンパクトならば，単射なはめ込みは埋め込みであるが， がコンパクトでなければ，そうとは限らない；連続全単射と同相を比較せよ．.
新しい！!: 部分多様体とはめ込み · 続きを見る »
単射
数学において、単射あるいは単写（たんしゃ、injective function, injection）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。.
可微分多様体
数学において、可微分多様体（かびぶんたようたい、differentiable manifold）、あるいは微分可能多様体（びぶんかのうたようたい）は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート（座標近傍、局所座標）の集まり、アトラス（座標近傍系、局所座標系）、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば（すなわち1つのチャートから別のチャートへの変換が微分可能であれば）、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus （外微分法/外微分学）のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.
新しい！!: 部分多様体と可微分多様体 · 続きを見る »
多様体
多様体（たようたい、manifold, Mannigfaltigkeit）とは、局所的にはユークリッド空間と見なせるような図形や空間（位相空間）のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.
位相
位相（いそう、）は、波動などの周期的な現象において、ひとつの周期中の位置を示す無次元量で、通常は角度（単位は「度」または「ラジアン」）で表される。 たとえば、時間領域における正弦波を とすると、(ωt + &alpha) のことを位相と言う。特に t.
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
新しい！!: 部分多様体と位相空間 · 続きを見る »
包含写像
A の上位集合である。 数学における包含写像（ほうがんしゃぞう、）または標準単射 は、 を の部分集合とするとき、 の各元 を の元として扱う写像 のことを言う。写像の矢印の部分に「鉤付き矢印」 を用いることで が包含写像であることを意味することがある。 包含写像（およびそれに類するからの単射）はしばしば、自然な単射 とも呼ばれる。 二つの対象 と の間の任意の射 が与えられたとき、域 の中への包含写像射 が存在するならば、 の制限を射の合成 によってつくることができる。多くの例において、 の値域と呼ばれる余域への標準的包含射 も構成できる。.
新しい！!: 部分多様体と包含写像 · 続きを見る »
リー群
リー群（リーぐん、Lie group）は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。.
相対位相
数学の位相空間論周辺分野における部分位相空間（ぶぶんいそうくうかん、subspace）は、位相空間の部分集合でもとの空間から由来する自然な位相を備えたものをいう。そのような位相は、部分空間位相 (subspace topology), 相対位相 (relative topology) あるいは誘導位相 (induced topology) やトレース位相 (trace topology) などと呼ばれる。.
新しい！!: 部分多様体と相対位相 · 続きを見る »
部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.
新しい！!: 部分多様体と部分集合 · 続きを見る »
