翻訳と辞書 Words near each other ・ 接ぎ目 ・ 接ぎ穂 ・ 接ぎ芽 ・ 接ぎ足す ・ 接ぐ ・ 接する ・ 接バンドル ・ 接ベクトル ・ 接ベクトルバンドル ・ 接ベクトル束 ・ 接ベクトル空間 ・ 接中辞 ・ 接伴 ・ 接余ベクトル ・ 接写 ・ 接写モード ・ 接写リング ・ 接写撮影 ・ 接写機能 ・ 接収 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 接ベクトル空間 ： ミニ英和和英辞書 接ベクトル空間[せっべくとるくうかん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ベクトル ： [べくとる] 　veotor ・ ベクトル空間 ： [べくとるくうかん] 　(n) vector space ・ 空 ： [そら] 　【名詞】 1. sky　2. the heavens　 ・ 空間 ： [くうかん] 　【名詞】 1. space　2. room　3. airspace　 ・ 間 ： [けん, ま] 　【名詞】 1. space　2. room　3. time　4. pause　 接ベクトル空間 ： ウィキペディア日本語版 接ベクトル空間[せっべくとるくうかん] 多様体上の接ベクトル空間（英語：tangent vector space）あるいは 接空間（英語：tangent space）とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。 == 概要 == 接ベクトル空間は、多様体上の点ごとに定義されるベクトル空間である。接ベクトル空間の元を接ベクトルという。全ての点で接ベクトルが定まっているとベクトル場というものが定義できる。ベクトル場は多様体の形を調べたり、多様体上の粒子の運動を調べたりするのに非常に役立つ概念である。物理学でいえば電磁場や重力場などを記述でき、そのベクトル場の中に置かれた粒子はその点での接ベクトルの向いている方向に沿って移動していく。本項目で扱うのは、そのベクトル場の基礎となるある 1 点の上の接ベクトル空間である。 1 ≤ ''r'' ≤ ∞ とする。 ''m'' 次元 ''C''''r'' 級多様体 ''M'' と、その中の ''C''''r'' 級曲線 : φ :(− ε, ε) → ''M'' を考え φ(0) = ''p'' ∈ ''M'' とする。 ''p'' を含む座標近傍 (''U'';''x''1,…,''x''''m'') において φ(''t'') = ( ''x''1(''t''),…,''x''''m''(''t'')) を ''t'' で微分して、 ''t'' = 0 を代入することにより曲線 φ の点 ''p'' での速度ベクトル :$\backslash frac\; (0)\; =\; \backslash left(\; \backslash frac(0),\; \backslash frac(0)\; \backslash cdots,\; \backslash frac(0)\; \backslash right)$ が求まる。 この速度ベクトルの成分は、座標近傍の局所座標系の表し方に依存する表示になっている。多様体の性質を調べる際には、局所座標系の取り方に依存しない性質を扱いたいという要請があるので、この速度ベクトルは多様体の性質を調べるのには不向きである。そこで ''M'' 上で定義された ''C''''r'' 級関数 :''f'':''M'' → R を利用することを考える。 ''f'' は 座標近傍 (''U'';''x''1,…,''x''''m'') においては、 ''m'' 変数の関数 f (''x''1,…,''x''''m'') として書かれている。この ''f'' を曲線 φ 上で調べる。 ''f''(φ(''t'')) は局所座標系に寄らない関数 :$f\; \backslash circ\; \backslash phi\; :\; (-\backslash epsilon,\backslash epsilon)\; \backslash to\; R$ であり、これを ''t'' で微分した :$\backslash frac\; f\; \backslash circ\; \backslash phi(t)$ もまた局所座標系に依存しない。 ところで ''f''(''x''1(''t''),…,''x''''m''(''t'')) という表示にして ''t'' で微分してみれば、多変数関数の合成関数の微分 として連鎖律の公式から :$\backslash frac\; f\; \backslash circ\; \backslash phi(0)\; =\; \backslash frac\; \backslash frac(0)\; +\; \backslash frac\; \backslash frac(0)\; +\; \backslash cdots\; +\; \backslash frac\; \backslash frac(0)$ となる。 先程の速度ベクトルの式と比べてみるとこれは、速度ベクトルと ''f'' の勾配 :$\backslash frac\; =\; \backslash left(\; \backslash frac(p),\; \backslash frac(p),\; \backslash cdots\; ,\; \backslash frac(p)\; \backslash right)$ の内積と見ることができる。 つまり、速度ベクトルと ''f'' の勾配を組み合わせることによって、局所座標系に依存しないものが得られることになる。ここで、 ''f'' は ''M'' 上の ''C''''r'' 級関数であり、定数関数かもしれないし、 ''x''1 だけを変数にとるといったような必ずしも多様体 ''M'' の性質を反映しない関数かもしれないということを考えると先程の式は :$\backslash frac\; f\; \backslash circ\; \backslash phi(0)\; =\; \backslash left\backslash \; f$ のように関数 ''f'' とそれに作用する作用素とに分け、この作用素を接ベクトルと定義するのである。 すなわち、局所座標系に依存しない速度ベクトルのようなものを探し求めた結果 :$\backslash sum\_^m\; a\_i\; \backslash frac$ という形をした微分作用素の一次結合（接ベクトル）を用いることで解決できる事が分かる。この接ベクトルの全体を接ベクトル空間という。 :作用素をベクトルと呼ぶために、少し抽象的でわかりにくい話になるが、そういう場合は関数 ''f'' に具体的な形をいくつか与えてみて多様体の形を感じ取るのがよい。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「接ベクトル空間」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.