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

発散 (ベクトル解析)

索引 発散 (ベクトル解析)

ベクトル解析における発散(はっさん、divergence)は、各点においてベクトル場のの大きさを符号付きスカラーの形で測るベクトル作用素である。より技術的に言えば、発散が表すのは与えられた点の無限小近傍領域から出る流束の体積密度である。例えば、空気を熱したり冷ましたりするものとして考えると、各点において空気の移動速度を与えるベクトル場を例にとることができる。領域内で空気を熱すれば空気は全方向へ膨張していくから、速度場は領域の外側をさしていることになり、従って速度場の発散はこの領域で正の値をとり、この領域は流入(あるいは湧き出し、湧出、source)域であることが示される。空気を冷まして収縮させるなら、発散の値は負となり、この領域は流出(あるいは沈み込み、排出、sink)域と呼ばれる。.

45 関係: 基底 (線型代数学)単位ベクトル古典電磁気学境界 (位相空間論)外微分実数作用素体積要素微分積分学ナブラポアンカレの補題ユークリッド空間ラプラス作用素リー微分リーマン多様体レヴィ・チヴィタ接続ヘルムホルツの定理テンソルテンソル場ド・ラームコホモロジードット積ホッジ双対ベクトルの共変性と反変性ベクトル場ベクトルポテンシャルベクトル解析アインシュタインの縮約記法クロス積共変微分勾配 (ベクトル解析)回転 (ベクトル解析)球面座標系積の微分法則直交座標系直交行列相同性発散定理鎖複体面積分記号の濫用電磁ポテンシャル速度法線ベクトル滑らかな関数流束

基底 (線型代数学)

線型代数学における基底(きてい、basis)は、線型独立なベクトルから成る集合で、そのベクトルの(有限個の)線型結合として、与えられたベクトル空間の全てのベクトルを表すことができるものを言う。もう少し緩やかな言い方をすれば、基底は(基底ベクトルに決まった順番が与えられたものとして)「座標系」を定めるようなベクトルの集合である。硬い表現で言うならば、基底とは線型独立な生成系のことである。 ベクトル空間に基底が与えられれば、その空間の元は必ず基底ベクトルの線型結合としてただ一通りに表すことができる。全てのベクトル空間は必ず基底を持つ(ただし、無限次元ベクトル空間に対しては、一般には選択公理が必要である)。また、一つのベクトル空間が有するどの基底も、必ず同じ決まった個数(濃度)のベクトルからなる。この決まった数を、そのベクトル空間の次元と呼ぶ。.

新しい!!: 発散 (ベクトル解析)と基底 (線型代数学) · 続きを見る »

単位ベクトル

単位ベクトル(たんい-ベクトル、unit vector)とは、長さ(ノルム)が 1 のベクトルの事である。 二つのベクトル, があって、 が単位ベクトル( |\mathbf|.

新しい!!: 発散 (ベクトル解析)と単位ベクトル · 続きを見る »

古典電磁気学

古典電磁気学または古典電気力学は、電荷と電流の間の電磁気力について研究する理論物理学の一分野である。対応する長さや電磁場の強さが量子力学的効果に影響されないほど十分大きければ、電磁現象をうまく説明できる(量子電磁力学参照)。古典電磁気学の基礎物理学的側面は、『ファインマン物理学』、パノフスキーらの『電磁気学』、『ジャクソン電磁気学』などで紹介されている。 電磁気学は19世紀に発展したが、その中でも特にジェームズ・クラーク・マクスウェルが重要な役割を果たした。電磁気学の歴史については、パウリの『相対性理論』、数学者E・T・ホイッタカーの著書、A・パイスのアインシュタインの伝記などに詳しい。 Ribarič and Šušteršič (1990)では、1903年から1989年までの約240の文献を参照・研究し、古典電気力学の分野で現代においても未解決の1ダースほどの問題を提示している。ジャクソンが古典電気力学最大の問題としたのは、基本方程式について2つの極端な場合においてしか解が得られていないという点である。すなわち、電荷または電流が与えられ、そこから電磁場を計算して求める場合と、外部の電磁場が与えられ、荷電粒子や電流の動きを計算して求める場合である。時折、この2つを組み合わせることもある。しかし、その場合の取り扱いは段階的に行われる。まず、外部電磁場内の荷電粒子の動きをそれ自身の電磁放射を無視して計算し、次いでその軌道に基づいてその電荷の電磁放射を計算する。このような電気力学における問題の扱い方は近似的な妥当性しか持ち得ないことは明らかである。電荷と電流の相互作用やそれらが放射する電磁場は無視することができず、結果としてそうした電気力学系についての我々の理解は限定的なものとなっている。1世紀に渡る努力にもかかわらず、広く受け入れられた荷電粒子の古典的運動方程式は未だに存在しないし、関連する実験データも存在しない。.

新しい!!: 発散 (ベクトル解析)と古典電磁気学 · 続きを見る »

境界 (位相空間論)

一般位相において位相空間 X の部分集合 S の境界(きょうかい、boundary, frontier)とは、S の中からも外からも近づくことのできる点の全体の成す X の部分集合のことである。もうすこし形式的に言えば、S の触点(閉包に属する点)のうち、S の内点(開核に属する点)ではないものの全体の成す集合のことである。S の境界に属する点のことを、S の境界点(boundary point) と呼ぶ。S が境界を持たない (boundaryless) とは、S が自身の境界を包含しないこと、あるいは同じことだが境界点がひとつも S に属さないことをいう。集合 S の境界を表すのに、bd(S), fr(S), ∂S最初のふたつはそれぞれ boundary, frontier の省略形からきている(が、省略の仕方は変えてもいいし省略しなくてもいい)。これ以外の記法としては、松坂では frontier の頭文字を右肩に載せる Sf を用いている。内部 (interior).

新しい!!: 発散 (ベクトル解析)と境界 (位相空間論) · 続きを見る »

外微分

可微分多様体上、外微分(がいびぶん、exterior derivative)は関数の微分の概念を高次の微分形式に拡張する。外微分はエリ・カルタンによって最初に現在の形式で記述された。それによってベクトル解析のストークスの定理、ガウスの定理、グリーンの定理の自然な、距離に依存しない一般化ができる。 形式を無限小 次元平行面体を通る流量を測るものと考えれば、その外微分を -平行面体の境界を通る正味の流れを測るものと考えることができる。.

新しい!!: 発散 (ベクトル解析)と外微分 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: 発散 (ベクトル解析)と実数 · 続きを見る »

作用素

数学における作用素(さようそ、operator)は、しばしば写像、函数、変換などの同義語として用いられる。函数解析学においては主にヒルベルト空間やバナッハ空間上の(必ずしも写像でない部分写像の意味での)線型変換を単に作用素と呼ぶ。そのような空間として特に函数空間と呼ばれる函数の成す無限次元線型空間は典型的であり(同じものを物理学の分野、特に量子力学などでは演算子(えんざんし)と呼ぶ)、このとき、作用素を関数を別の関数にうつす写像として理解することができる。数(定数関数)の集合に値をとる作用素は汎函数(はんかんすう、functional)と呼ばれる。 また、群や環が空間に作用しているとき、群や環の各元が定める空間上の変換、あるいはその変換が引き起こす関数空間上の変換のことを作用素ということがある。.

新しい!!: 発散 (ベクトル解析)と作用素 · 続きを見る »

体積要素

数学において、体積要素(たいせきようそ、)とは、関数を球面座標系や円柱座標系など様々な座標系において体積について積分する際に現われる概念である。次の式により表現される。 ここで、 は座標であり、任意の集合 の体積を次のように計算できるものとする。 たとえば、球面座標系においては であり、従って である。 体積要素という概念は三次元に留まるものではない。二次元では面積要素(めんせきようそ、)と呼ばれることも多く、面積分を行う際に有用である。座標変換の際、(変数変換公式により)体積要素は座標変換のヤコビ行列の行列式の絶対値だけ変化する。この事実から、体積要素は多様体の一種の測度として定義できることが従う。向き付け可能な可微分多様体においては、典型的には体積要素は体積形式、すなわち最高次の微分形式から導かれる。向き付け不可能な多様体においては、典型的には体積要素は(局所的に定義される)体積要素の絶対値であり、を定義する。.

新しい!!: 発散 (ベクトル解析)と体積要素 · 続きを見る »

微分積分学

微分積分学(びぶんせきぶんがく, )とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値関数の微分と積分に関わる事柄(逆関数定理やベクトル解析も)を含んでいる。 微分は、ある関数のある点での接線、或いは接平面を考える演算である。数学的に別の言い方をすると、基本的には複雑な関数を線型近似して捉えようとする考え方である。従って、微分は線型写像になる。但し、多変数関数の微分を線型写像として捉える考え方は 20世紀に入ってからのものである。微分方程式はこの考え方の自然な延長にある。 対して積分は、幾何学的には、曲線、あるいは曲面と座標軸とに挟まれた領域の面積(体積)を求めることに相当している。ベルンハルト・リーマンは(一変数の)定積分の値を、長方形近似の極限として直接的に定義し、連続関数は積分を有することなどを証明した。彼の定義による積分をリーマン積分と呼んでいる。 微分と積分はまったく別の概念でありながら密接な関連性を持ち、一変数の場合、互いに他の逆演算としての意味を持っている(微分積分学の基本定理)。微分は傾き、積分は面積を表す。.

新しい!!: 発散 (ベクトル解析)と微分積分学 · 続きを見る »

ナブラ

ベクトル解析における演算子 ∇(ナブラ、nabla, del)は、ベクトル微分演算を表し、特に一次元の領域で定義された函数に施すとき、微分積分学で定義される通常の微分 D.

新しい!!: 発散 (ベクトル解析)とナブラ · 続きを見る »

ポアンカレの補題

数学において、ポアンカレの補題(ぽあんかれのほだい、Poincaré lemma)とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。.

新しい!!: 発散 (ベクトル解析)とポアンカレの補題 · 続きを見る »

ユークリッド空間

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

新しい!!: 発散 (ベクトル解析)とユークリッド空間 · 続きを見る »

ラプラス作用素

数学におけるラプラス作用素(ラプラスさようそ、Laplace operator)あるいはラプラシアン(Laplacian)は、ユークリッド空間上の函数の勾配の発散として与えられる微分作用素である。記号では,, あるいは で表されるのが普通である。函数 の点 におけるラプラシアン は(次元に依存する定数の違いを除いて)点 を中心とする球面を半径が増大するように動かすときの から得られる平均値になっている。直交座標系においては、ラプラシアンは各独立変数に関する函数の二階(非混合)偏導函数の和として与えられ、またほかに円筒座標系や球座標系などの座興系においても有用な表示を持つ。 ラプラス作用素の名称は、天体力学の研究に同作用素を最初に用いたフランス人数学者のピエール=シモン・ド・ラプラス (1749–1827) に因んでいる。同作用素は与えられた重力ポテンシャルに適用すると質量密度の定数倍を与える。現在ではラプラス方程式と呼ばれる方程式 の解は調和函数と呼ばれ、自由空間において可能な重力場を表現するものである。 微分方程式においてラプラス作用素は電気ポテンシャル、重力ポテンシャル、熱や流体の拡散方程式、波の伝搬、量子力学といった、多くの物理現象を記述するのに現れる。ラプラシアンは、函数の勾配フローの流束密度を表す。.

新しい!!: 発散 (ベクトル解析)とラプラス作用素 · 続きを見る »

リー微分

数学においてリー微分(りーびぶん、Lie derivative)は、多様体 M 上のテンソル場全体の成す多元環上に定義される微分(導分とも)の一種である。ソフス・リーにちなんで名づけられた。M 上のリー微分全体の成すベクトル空間は次で定義されるリー括弧積 について無限次元のリー環を成す。リー微分は M 上の流れ(flow; フロー、activeen な微分同相写像)の無限小生成作用素としてベクトル場によって表される。もう少し別な言い方をすれば、リー群論の方法の直接の類似物ではあるが、M 上の微分同相写像全体の成す群は付随するリー環構造(もちろんそれはリー微分全体のなすリー環のことだが)を持つということができる。.

新しい!!: 発散 (ベクトル解析)とリー微分 · 続きを見る »

リーマン多様体

微分幾何学におけるリーマン多様体(リーマンたようたい、Riemannian manifold)とは、可微分多様体 で 上の各点に基本計量テンソル が与えられているものを言う。ベルンハルト・リーマンによって導入された。.

新しい!!: 発散 (ベクトル解析)とリーマン多様体 · 続きを見る »

レヴィ・チヴィタ接続

リーマン幾何学では、レヴィ・チヴィタ接続 (Levi-Civita connection) は多様体の接バンドル上の特別な接続であり、特別とは捩れをもたない(metric connection)、つまり、捩れを持たない与えられた(擬)リーマン計量を保存する接バンドル上の接続(アフィン接続)である。 リーマン幾何学の基本定理は、これらの性質を満たす接続が一意的に決まることを言っている。 リーマン多様体や擬リーマン多様体の理論では、共変微分はレヴィ・チヴィタ接続のために使われる。局所座標系の観点からは、この接続の成分はクリストッフェル記号と呼ばれる。.

新しい!!: 発散 (ベクトル解析)とレヴィ・チヴィタ接続 · 続きを見る »

ヘルムホルツの定理

ヘルムホルツの定理(ヘルムホルツのていり、Helmholtz's theorem)とは、ベクトル解析における定理の一つ。ヘルムホルツの定理により、任意のベクトル場を回転なしの場と発散なしの場に分解できることが示される。回転なしの場は元の場の波数空間における縦成分、発散なしの場は元の場の波数空間における横成分に対応し、ベクトル場をこれらの成分に分解することをヘルムホルツ分解 と呼ぶ。定理の名はドイツの物理学者ヘルマン・フォン・ヘルムホルツに因む。 ベクトル解析の応用として、物理学の特に電磁気学や流体力学などでしばしば利用されている。.

新しい!!: 発散 (ベクトル解析)とヘルムホルツの定理 · 続きを見る »

テンソル

テンソル(tensor, Tensor)とは、線形的な量または線形的な幾何概念を一般化したもので、基底を選べば、多次元の配列として表現できるようなものである。しかし、テンソル自身は、特定の座標系によらないで定まる対象である。個々のテンソルについて、対応する量を記述するのに必要な配列の添字の組の数は、そのテンソルの階数とよばれる。 例えば、質量や温度などのスカラー量は階数0のテンソルだと理解される。同様にして力や運動量などのベクトル的な量は階数1のテンソルであり、力や加速度ベクトルの間の異方的な関係などをあらわす線型変換は階数2のテンソルで表される。 物理学や工学においてしばしば「テンソル」と呼ばれているものは、実際には位置や時刻を引数としテンソル量を返す関数である「テンソル場」であることに注意しなければならない。いずれにせよテンソル場の理解のためにはテンソルそのものの概念の理解が不可欠である。.

新しい!!: 発散 (ベクトル解析)とテンソル · 続きを見る »

テンソル場

数学、物理学および工学におけるテンソル場(テンソルば、tensor field)は、数学的な空間(典型的にはユークリッド空間や多様体)の各点にテンソルを割り当てるものである。テンソル場は微分幾何学、代数幾何学、一般相対論において用いられ、物質の応力および歪みの解析やその他物理科学および工学における様々な応用に供される。テンソルがスカラー(長さのような値を表す数値)やベクトル(空間内の幾何学的な矢印)の一般化であるのと同様に、テンソル場はスカラー場およびベクトル場(それぞれ空間の各点にスカラーおよびベクトルを割り当てる)の一般化になっている。 一口に「テンソル」と呼ばれている概念でも、実際の数学的構造は「テンソル場」であるという場合も多い。例えばリーマン曲率テンソルなど。.

新しい!!: 発散 (ベクトル解析)とテンソル場 · 続きを見る »

ド・ラームコホモロジー

ド・ラームコホモロジー(de Rham cohomology)とは可微分多様体のひとつの不変量で、多様体上の微分形式を用いて定まるベクトル空間である。多様体の位相不変量である特異コホモロジーとド・ラームコホモロジーは同型になるというド・ラームの定理がある。.

新しい!!: 発散 (ベクトル解析)とド・ラームコホモロジー · 続きを見る »

ドット積

数学あるいは物理学においてドット積(ドットせき、dot product)あるいは点乗積(てんじょうせき)とは、ベクトル演算の一種で、2つの同じ長さの数列から一つの数値を返す演算。代数的および幾何的に定義されている。幾何的定義では、(デカルト座標の入った)ユークリッド空間 において標準的に定義される内積のことである。.

新しい!!: 発散 (ベクトル解析)とドット積 · 続きを見る »

ホッジ双対

数学において、ホッジスター作用素(ホッジスターさようそ、Hodge star operator)、もしくは、ホッジ双対(ホッジそうつい、Hodge dual)は、(Hodge)により導入された線型写像である。ホッジ双対は、有限次元の向き付けられた内積空間の外積代数の上で定義される -ベクトルのなす空間から-ベクトルのなす空間への線形同型である。 他のベクトル空間に対する多くの構成と同様に、ホッジスター作用素は多様体の上のベクトルバンドルへの作用に拡張することができる。 たとえば余接束の外積代数(すなわち、多様体上の微分形式の空間)に対して、ホッジスター作用素を用いてラプラス=ド・ラーム作用素を定義し、コンパクトなリーマン多様体上の微分形式のホッジ分解を導くことができる。.

新しい!!: 発散 (ベクトル解析)とホッジ双対 · 続きを見る »

ベクトルの共変性と反変性

多重線型代数やテンソル解析における共変性(covariance)と反変性(contravariance)とは、ある幾何学的または物理的な対象に基底変換を施した際に、それがどのように変化をするかを表す。物理学では、基底は基準とする座標系の軸としばしば同一視される。 座標系のスケール変換は単位系の変更に関連する。たとえば、メートル m からセンチメートル cm にスケールを変更すると(つまり長さのスケールを 100 で割ると)、速度ベクトルの成分は 倍される。このように、座標系のスケール変換をしたとき、それとは逆 にベクトルのスケールが変換される振る舞いを示すことを反変性という。結果として、ベクトルは長さや長さと他の次元の積の次元を持つ。対照的にその双対ベクトル(余ベクトルと呼ばれる)の次元は一般に、長さの逆かそれに別の次元を掛けたものになる。 双対ベクトルの例としては勾配が挙げられる。勾配は空間微分によって定義され、長さの逆の次元を持つ。双対ベクトルの成分は座標系のスケールと同様に 変換される。このような振る舞いを共変性という。ベクトルおよび余ベクトルの成分は、一般の基底の変換に対しても同じような規則で変換される。.

新しい!!: 発散 (ベクトル解析)とベクトルの共変性と反変性 · 続きを見る »

ベクトル場

ベクトル場(ベクトルば、vector field)とは、数学において、幾何学的な空間の広がりの中でベクトル的な量の分布を表すものである。単純化された設定のもとではベクトル場はユークリッド空間 Rn (またはその開集合)からベクトル空間 Rn への関数として与えられる。(局所的な)座標系のもとでベクトル場を表示するときは座標に対してベクトルを与えるような関数を考えることになるが、座標系を変更したときにこの関数は一定の規則に従って変換を受けることが要請される。 ベクトル場の概念は物理学や工学においても積極的にもちいられ、例えば動いている流体の速さと向きや、磁力や重力などの力の強さと向きなどが空間的に分布している状況を表すために用いられている。 現代数学では多様体論にもとづき、多様体上の接ベクトル束の断面として(接)ベクトル場が定義される。.

新しい!!: 発散 (ベクトル解析)とベクトル場 · 続きを見る »

ベクトルポテンシャル

数学のうちベクトル解析において、3次元ベクトル場A が、3次元ベクトル場v のベクトルポテンシャル(vector potential)であると は、 であることを意味する。3次元以外のベクトル場については、微分形式を用いた拡張(例えば、ポアンカレの補題)が考えられる。.

新しい!!: 発散 (ベクトル解析)とベクトルポテンシャル · 続きを見る »

ベクトル解析

ベクトル解析(ベクトルかいせき、英語:vector calculus)は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。 多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。 物理学では3次元ユークリッド空間上のベクトル解析を特によく用いられるが、ベクトル解析は一般のn次元多様体上で展開できる。.

新しい!!: 発散 (ベクトル解析)とベクトル解析 · 続きを見る »

アインシュタインの縮約記法

アインシュタインの縮約記法(アインシュタインのしゅくやくきほう、Einstein summation convention)またはアインシュタインの記法(アインシュタインのきほう、Einstein notation)は、アインシュタインが 1916 年に用いた添字 の和の記法である 。アインシュタインの規約(アインシュタインのきやく、Einstein convention)とも呼ばれる。 同じ項で添字が重なる場合は、その添字について和を取る、というルールである。この重なる指標を擬標(またはダミーの添字、)、重ならない指標を自由標(またはフリーの添字、)と呼ぶ。 このルールは一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。 アインシュタインはこの記法を自分の「数学における最大の発見」と(冗談めかして)言ったという。.

新しい!!: 発散 (ベクトル解析)とアインシュタインの縮約記法 · 続きを見る »

クロス積

ベクトル積()とは、ベクトル解析において、3次元の向き付けられた内積空間において定義される、2つのベクトルから新たなベクトルを与える二項演算である。2つのベクトル a、b のベクトル積は a×b や で表される。演算の記号からクロス積()と呼ばれることもある。2つのベクトルからスカラーを与える二項演算である内積に対して外積(がいせき)とも呼ばれるが、英語では直積を意味するので注意を要する。ベクトル積を拡張した外積代数があり、ベクトル積はその3次元における特殊な場合である。.

新しい!!: 発散 (ベクトル解析)とクロス積 · 続きを見る »

共変微分

微分幾何学における共変微分(きょうへんびぶん、covariant derivative)とは、可微分多様体上の微分演算を言う。クリストッフェル並びにレヴィ=チヴィタ、リッチによって導入された。局所表示をとった場合その変換規則は共変(covariant)となる。.

新しい!!: 発散 (ベクトル解析)と共変微分 · 続きを見る »

勾配 (ベクトル解析)

ベクトル解析におけるスカラー場の勾配(こうばい、gradient; グラディエント)は、各点においてそのスカラー場の変化率が最大となる方向への変化率の値を大きさにもつベクトルを対応させるベクトル場である。簡単に言えば、任意の量の空間における変位を、傾きとして表現(例えば図示)することができるが、そこで勾配はこの傾きの向きや傾きのきつさを表している。 ユークリッド空間上の関数の勾配を、別なユークリッド空間に値を持つ写像に対して一般化したものは、ヤコビ行列で与えられる。さらに一般化して、バナッハ空間から別のバナッハ空間への写像の勾配をフレシェ微分を通じて定義することができる。.

新しい!!: 発散 (ベクトル解析)と勾配 (ベクトル解析) · 続きを見る »

回転 (ベクトル解析)

ベクトル解析における回転(かいてん、rotation, curl)(または )は、三次元ベクトル場の無限小回転を記述するベクトル演算子である。ベクトル場の各点において、ベクトル場の回転はベクトルとして表され、このベクトルの寄与(大きさと向き)によってその点での回転が特徴付けられる。 回転ベクトルの向きは回転軸に沿って右手系となる方にとり、回転ベクトルの大きさは回転の大きさとなる。例えば、与えられたベクトル場が、動いている流体の流速を表すものであるとき、その回転とはその流体の循環密度のことになる。回転場が 0 となるベクトル場はであると言う。場の回転はベクトル場に対する導函数に相当し、これに対応して微分積分学の基本定理に相当するのは、ベクトル場の回転場の面積分をそのベクトル場の境界曲線上での線積分と関係づけるストークスの定理(ストークス=ケルビンの定理)であると考えられる。 回転演算に相当する用語は curl, rotation の他に rotor や rotational などがあり、記法 に相当する記法は や などがある。前者の rot 系の用語・記法を用いる流儀はヨーロッパ諸国の系統に多く、ナブラや交叉積を用いる記法はそれ以外の系統で使われる傾向にある。 勾配や発散とは異なり、回転の概念を単純に高次元化することはできない。ただし、三次元に限らないある種の一般化は可能で、それはベクトル場の回転がまたベクトル場となるように幾何学的に定義される。これは三次元交叉積がそうであるのと同様の現象であり、このことは回転を "∇×" で表す記法にも表れている。 回転 "curl" の名を最初に提示したものはジェームズ・クラーク・マクスウェルで1871年のことである。.

新しい!!: 発散 (ベクトル解析)と回転 (ベクトル解析) · 続きを見る »

球面座標系

球面座標系(きゅうめんざひょうけい、)とは、3次元ユークリッド空間に定まる座標系の一つで、一つの動径座標と二つの角度座標で表される極座標系である。第一の角度はある軸(通常は -軸を選ぶ)と動径がなす角度で、第二の角度は、その軸に垂直な平面にある別の軸(通常は -軸を選ぶ)とこの平面への動径の射影がなす角度である。通常は動径座標に記号 を用い、第一の角度座標には を、第二の角度座標には を用いて表される。動径座標は で与えられる。第二の角度座標を で与えられる。ここで は符号関数 である。-軸上 において特異性があり、分母がゼロとなるため が定まらない。さらに原点 においては も定まらない。 球面座標 から直交直線座標 への変換の式を微分すれば が得られて、ヤコビ行列とヤコビ行列式は となる。従って球面座標で表した体積素は となる。また、線素の二乗は となる。交叉項が現れないため、球座標は各点において動径が増減する方向と二つの角度が増減する方向がそれぞれに直交している直交座標系である。.

新しい!!: 発散 (ベクトル解析)と球面座標系 · 続きを見る »

積の微分法則

微分積分学における積の法則(せきのほうそく、product rule;ライプニッツ則)は、二つ(あるいはそれ以上)の函数の積の導函数を求めるのに用いる公式で、 あるいはライプニッツの記法では と書くことができる。あるいは無限小(あるいは微分形式)の記法を用いて と書いてもよい。三つの函数の積の導函数は である。.

新しい!!: 発散 (ベクトル解析)と積の微分法則 · 続きを見る »

直交座標系

数学における直交座標系(ちょっこうざひょうけい、, )とは、互いに直交している座標軸を指定することによって定まる座標系のことである。平面上の直交座標系ではそれぞれの点に対して一意に定まる二つの実数の組によって点の位置が指定される。同様にして空間上の直交座標系では三つの実数の組によって座標が与えられる。 1637年に発表された『方法序説』において平面上の座標の概念を確立したルネ・デカルトの名を採ってデカルト座標系 (Cartesian coordinate system) とも呼ぶ。.

新しい!!: 発散 (ベクトル解析)と直交座標系 · 続きを見る »

直交行列

交行列(ちょっこうぎょうれつ, )とは、転置行列と逆行列が等しくなる正方行列のこと。つまりn × n の行列 M の転置行列を MT と表すときに、MTM.

新しい!!: 発散 (ベクトル解析)と直交行列 · 続きを見る »

相同性

同性(そうどうせい)、ホモロジー (homology).

新しい!!: 発散 (ベクトル解析)と相同性 · 続きを見る »

発散定理

散定理(はっさんていり、divergence theorem)は、ベクトル場の発散を、その場によって定義される流れの面積分に結び付けるものである。ガウスの定理(Gauss' theorem)とも呼ばれる。1762年にラグランジュによって発見され、その後ガウス(1813年)、グリーン(1825年)、オストログラツキー(1831年)によってそれぞれ独立に再発見された 。オストログラツキーはまたこの定理に最初の証明を与えた人物でもある。.

新しい!!: 発散 (ベクトル解析)と発散定理 · 続きを見る »

鎖複体

数学において、鎖複体あるいはチェイン複体 (chain complex) と双対鎖複体あるいは余鎖複体、コチェイン複体 (cochain complex) は、元来は代数トポロジーの分野で使われていた。(余)鎖複体は、位相空間の様々な次元の(コ)と(コ)バウンダリの間の関係を表す代数的な手段である。より一般的に、ホモロジー代数では、空間との関係を立ち去った抽象的な鎖複体の研究がされる。ホモロジー代数としての研究では、(余)鎖複体を公理的に代数的構造として扱う。 (余)鎖複体の応用は、通常、ホモロジー群(余鎖複体ではコホモロジー群)を定義し適用する。より抽象的な設定では、様々な同値関係(たとえば、のアイデアで始まるもの)が複体へ適用される。鎖複体は、アーベル圏で定義することも容易にできる。.

新しい!!: 発散 (ベクトル解析)と鎖複体 · 続きを見る »

面積分

ベクトル解析における面積分(めんせきぶん、surface integral)は、曲面上でとった定積分であり、二重積分として捉えることもできる。線積分は一次元の類似物にあたる。曲面が与えられたとき、その上のスカラー場やベクトル場を積分することができる。 面積分は物理学、特に電磁気学の古典論に応用がある。 面積分の定義は、曲面を小さな面素へ分解することによって成される。.

新しい!!: 発散 (ベクトル解析)と面積分 · 続きを見る »

記号の濫用

数学において、記号の濫用(きごうのらんよう、abuse of notation, abus de notation)とは、形式的には正しくないが表記を簡単にしたり正しい直観を示唆するような表記を(間違いのもととなったり混乱を引き起こすようなことがなさそうなときに)用いることである。記号の濫用は記号の誤用とは異なる。誤用は避けなければならない。 関連する概念に用語の濫用(abuse of language, abuse of terminology, abus de langage)がある。これは記号ではなく用語が(形式的には)誤って使われることを指す。記号以外の濫用とほぼ同義である。例えば群 の表現とは正確には から GL(''V'') (ただし はベクトル空間)への群準同型のことであるが、よく表現空間 のことを「 の表現」という。用語の濫用は異なるが自然に同型な対象を同一視する際によく行われる。例えば、定数関数とその値や、直交座標系の入った 次元ユークリッド空間と である。.

新しい!!: 発散 (ベクトル解析)と記号の濫用 · 続きを見る »

電磁ポテンシャル

電磁ポテンシャル(でんじポテンシャル)とは、電磁場のポテンシャル概念で、スカラーポテンシャルとベクトルポテンシャルの総称である。 物理学、特に電磁気学とその応用分野で使われる。 以下断りがない限り、古典電磁気学のケースを想定して説明する。.

新しい!!: 発散 (ベクトル解析)と電磁ポテンシャル · 続きを見る »

速度

速度(そくど、velocity)は、単位時間当たりの物体の位置の変化量である。.

新しい!!: 発散 (ベクトル解析)と速度 · 続きを見る »

法線ベクトル

法線ベクトル(ほうせんベクトル、normal vector)は、2次元ではある線に垂直なベクトル、3次元ではある面に垂直なベクトル。法線(ほうせん、normal)はある接線に垂直な線のことである。.

新しい!!: 発散 (ベクトル解析)と法線ベクトル · 続きを見る »

滑らかな関数

数学において、関数の滑らかさ(なめらかさ、smoothness)は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.

新しい!!: 発散 (ベクトル解析)と滑らかな関数 · 続きを見る »

流束

流束(りゅうそく、flux)とは、流れの場、あるいはベクトル場の強さを表す量である。 英語のままフラックスとも呼ばれる。 様々なベクトル場に対応した流束が用いられる。流束は流体の理論からの類推であるが、何らかの実体が流れているとは限らない。 なお、面積あたりの流束である流束密度()を指して単に流束と呼ばれることも多い。.

新しい!!: 発散 (ベクトル解析)と流束 · 続きを見る »

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