可微分多様体と陰関数間の類似点
可微分多様体と陰関数は(ユニオンペディアに)共通で9ものを持っています: 同値、代数幾何学、微分積分学、全微分、部分多様体、連鎖律、逆写像、接ベクトル空間、滑らかな関数。
同値
同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。 英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、.
代数幾何学
代数幾何学(だいすうきかがく、algebraic geometry)とは、多項式の零点のなすような図形を代数的手法を用いて(代数多様体として)研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した(代数幾何学のイタリア学派)。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
微分積分学
微分積分学(びぶんせきぶんがく, )とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値関数の微分と積分に関わる事柄(逆関数定理やベクトル解析も)を含んでいる。 微分は、ある関数のある点での接線、或いは接平面を考える演算である。数学的に別の言い方をすると、基本的には複雑な関数を線型近似して捉えようとする考え方である。従って、微分は線型写像になる。但し、多変数関数の微分を線型写像として捉える考え方は 20世紀に入ってからのものである。微分方程式はこの考え方の自然な延長にある。 対して積分は、幾何学的には、曲線、あるいは曲面と座標軸とに挟まれた領域の面積(体積)を求めることに相当している。ベルンハルト・リーマンは(一変数の)定積分の値を、長方形近似の極限として直接的に定義し、連続関数は積分を有することなどを証明した。彼の定義による積分をリーマン積分と呼んでいる。 微分と積分はまったく別の概念でありながら密接な関連性を持ち、一変数の場合、互いに他の逆演算としての意味を持っている(微分積分学の基本定理)。微分は傾き、積分は面積を表す。.
全微分
微分積分学における多変数函数の全微分商、全微分係数あるいは単に全微分(ぜんびぶん、total derivative)は、外生的な変数の(任意に小さな)変分に対する函数の変分の割合(差分商)の極限である。このとき、外生的な変数による直接的な影響のみならず函数が持つ他の内生的変数を通じてもたらされる影響をも考慮する必要がある。これは(差分商の極限として定義される通常の実函数の微分を形式的に多変数化して得られる)より弱い概念である偏微分を用いるのでは有効な結果を得られないような解析学的主張に対して、より多くの結果を得られるということであり。またこの意味において、微分積分学の様々な概念がこの全微分をもとにして定義される。現代数学の多くの文献において、全微分(全微分可能)を単に微分(微分可能)のように言うことはよくある。 多変数函数に対する全微分可能性は、多変数の微分積分学における基本性質の一つである。函数の与えられた点における全微分可能性は、函数が局所的に線型変換で近似されることを意味している。これに対し、(任意方向の)偏微分は、任意方向を持つ直線上における線形近似に過ぎず、全体としては線型近似になるとは限らない。函数 の変数 に関する全微分の計算において、 以外の変数を定数と見なすことは必要でなく、実際他の変数が に依存することが許される。全微分では の に対する依存関係として、このような変数間の陰伏的な従属関係も含めて考えるのであるChiang, Alpha C. Fundamental Methods of Mathematical Economics, McGraw-Hill, third edition, 1984.
全微分と可微分多様体 · 全微分と陰関数 ·
部分多様体
部分多様体(submanifold)とは多様体 M の部分集合 S であって、それ自体も多様体構造を持つものを指す。このとき、包含写像 i: S → M の性質によって、部分多様体はいくつかの種類に分けられる。.
連鎖律
微分法において連鎖律(れんさりつ、chain rule)とは、複数の関数が合成された合成関数を微分するとき、その導関数がそれぞれの導関数の積で与えられるという関係式のこと。.
可微分多様体と連鎖律 · 連鎖律と陰関数 ·
逆写像
数学における逆写像(ぎゃくしゃぞう、inverse mapping)は一口に言えば写像の与える元の対応関係を「反対」にして得られる写像である。すなわち、写像 が を に写すならば、 の逆写像は を に写し戻す。 函数と呼ばれる種類の写像の逆写像は、逆函数 (inverse function) と呼ばれる。.
可微分多様体と逆写像 · 逆写像と陰関数 ·
接ベクトル空間
多様体上の接ベクトル空間(せつベクトルくうかん、英語:tangent vector space)あるいは 接空間(英語:tangent space)とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。.
可微分多様体と接ベクトル空間 · 接ベクトル空間と陰関数 ·
滑らかな関数
数学において、関数の滑らかさ(なめらかさ、smoothness)は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.
上記のリストは以下の質問に答えます
- 何可微分多様体と陰関数ことは共通しています
- 何が可微分多様体と陰関数間の類似点があります
可微分多様体と陰関数の間の比較
陰関数が38を有している可微分多様体は、176の関係を有しています。 彼らは一般的な9で持っているように、ジャカード指数は4.21%です = 9 / (176 + 38)。
参考文献
この記事では、可微分多様体と陰関数との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: