ブラウザよりも高速アクセス！
36 関係: 加群の長さ、基底変換、基本類、単連結空間、双線型形式、双有理幾何学、対称双線型形式、射影平面、交叉形式 (4次元多様体)、交点数 (代数幾何学)、二次形式、二次曲面、代数多様体、代数多様体の函数体、代数幾何学、代数的位相幾何学、代数的サイクル、代数曲面、位相同型、マイケル・フリードマン、チャーン類、ポアンカレ双対、ベズーの定理、アンドレ・ヴェイユ、カップ積、コンパクト空間、コホモロジー、コホモロジー環、シュプリンガー・サイエンス・アンド・ビジネス・メディア、ジャン＝ピエール・セール、Tor関手、Well-defined、極小モデル、正則局所環、数学、4次元多様体。
加群の長さ
抽象代数学において、加群の長さ (length) は加群の「大きさ」の尺度である。それは部分加群の最長の鎖の長さと定義され、ベクトル空間の次元の概念の一般化である。有限の長さをもつ加群は有限次元ベクトル空間と多くの重要な性質を共有する。 環と加群の理論において「大きさを測る」ために使われる他の概念は深さと高さである。これらは両方とも定義するのが幾分デリケートである。これらはまた有用な次元のさまざまなアイデアである。長さ有限の可換環は形式的な代数幾何学の関手的扱いにおいて本質的な役割を果たす。.
新しい！!: 交叉理論と加群の長さ · 続きを見る »
基底変換
線型代数学において、ある次元 n のベクトル空間に対する基底は、n 個のベクトル α1,..., αn の列で、その空間内のすべてのベクトルがそれら基底ベクトルの線型結合として一意的に表現されるという性質が成り立つ。作用素の行列表示も、同様にその選ばれた基底によって一意的に決定される。しばしば一つのベクトル空間に対して、複数の基底について考えることが望ましいことがあり、したがって線型代数学における本質的に重要な概念として、ある一つの基底に対するベクトルと作用素の座標に関する表現を、他の基底に対する同値な表現へと簡単に変換する、というものが存在する。そのような変換のことを基底変換（きていへんかん、）と呼ぶ。 以下ではベクトル空間の語を用い、記号 R は実数の体を意味するために用いられるが、そこで議論される結果は R が可換環であり「ベクトル空間」が「自由R-加群に置き換えられた場合にも成立する。.
基本類
数学において、基本類(fundamental class)は、向きづけられた多様体 M に付随するホモロジー類 であり、ホモロジー群 H_r(M;\mathbf)\cong\mathbf の生成子に対応する。基本類は、多様体の適切な三角分割の最高次数の単体の向きと考えることができる。 H_r(M;\mathbf)\cong\mathbf.
単連結空間
連結であるが、穴のまわりを1周するループを考えればわかるように単連結ではない。穴を全てふさげば単連結となる。 位相幾何学における単連結空間（たんれんけつくうかん、simply connected space）とは、任意のループを連続的に1点に収縮できるような弧状連結空間のことである。.
新しい！!: 交叉理論と単連結空間 · 続きを見る »
双線型形式
数学の特に抽象代数学および線型代数学における双線型形式（そうせんけいけいしき、bilinear form）とは、スカラー値の双線型写像、すなわち各引数に対してそれぞれ線型写像となっている二変数函数を言う。より具体的に、係数体 上のベクトル空間 で定義される双線型形式 は.
新しい！!: 交叉理論と双線型形式 · 続きを見る »
双有理幾何学
代数幾何学では、双有理幾何学(birational geometry)の目標は、2つの代数多様体が（多様体の次元）より低い次元の部分を除き、どのようなときに同型となるかを決定することである。このことは、多項式というよりも、有理函数により与えられる写像を研究することを意味し、有理函数が極を持つ場合は(写像を）定義することができないかもしれない。.
新しい！!: 交叉理論と双有理幾何学 · 続きを見る »
対称双線型形式
線型代数学における対称双線型形式（たいしょうそうせんけいけいしき、symmetric bilinear form, symmetric bilinear functional）は、ベクトル空間上の対称な双線型形式を言う。平たく言えば、実ベクトル空間上の標準内積を一般化した概念である。対称双線型形式は、直交極性や二次曲面の研究に非常に重要である。 文脈上、双線型形式について述べていると明らかな場合は、単に短く対称形式と呼ぶこともある。対称双線型形式は二次形式と近しい関係にあり、この両者の差異に関する詳細はの項目を参照。.
新しい！!: 交叉理論と対称双線型形式 · 続きを見る »
射影平面
数学における射影平面（しゃえいへいめん、projective plane）は、初等的な平面の概念を拡張する幾何学的な構成である。通常の平面においては、二直線は典型的には一つの点で交わるが、特定の直線の組（平行線）については交わりを持たない。一つの見方として、射影平面は、通常の平面に平行線の交点として「無限遠点」を追加したものになっている。従って、射影平面では任意の相異なる二直線がただ一点において交わる。 射影平面の定義としてよく用いられるものが二種類ある。ひとつは線型代数学から来るもので、この場合の射影平面は、適当なに対する等質空間として与えられる。この場合の重要な例として、 および が挙げられる。後者はもっと一般のおよび有限幾何学の立場で定義することもできる。これは平面幾何学の接続的性質の研究に適している。 射影平面の概念は、もっと高次元の射影空間の概念に一般化される。射影平面は二次元の射影空間である。.
交叉形式 (4次元多様体)
数学において、向き付けられたコンパクト4次元多様体上の交叉形式（こうさけいしき、intersection form）は、4次元多様体の第2コホモロジー群上の特別な対称双線型形式である。この形式は、の存在に関する情報を含む4次元多様体のトポロジーの多くを反映している。.
新しい！!: 交叉理論と交叉形式 (4次元多様体) · 続きを見る »
交点数 (代数幾何学)
記載なし。
新しい！!: 交叉理論と交点数 (代数幾何学) · 続きを見る »
二次形式
数学における二次形式（にじけいしき、quadratic form) は、いくつかの変数に関する次数が 2 の斉次多項式である。たとえば は変数 x, y に関する二次形式である。 二次形式は数学のいろいろな分野（数論、線型代数学、群論（直交群）、微分幾何学（リーマン計量）、微分位相幾何学（四次元多様体の交叉形式）、リー理論（キリング形式）など）で中心的な位置を占める概念である。.
二次曲面
二次超曲面（にじちょうきょくめん、quadric surface）とは、円錐曲線の概念を一般次元ユークリッド空間 Rn に拡張したものであり、2次多項式の零点集合として表されるような超曲面のことをさす。3次元空間における二次超曲面は二次曲面ともよばれる。.
代数多様体
代数多様体（だいすうたようたい、algebraic variety）は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。 本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 k は代数的閉体であると仮定する（体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照）。.
新しい！!: 交叉理論と代数多様体 · 続きを見る »
代数多様体の函数体
代数幾何学では、代数多様体 V の函数体(function field)は、V 上の有理函数と解釈される対象から構成される。古典的な代数幾何学では、函数体は多項式の比であり、(complex algebraic geometry)では、函数体は有理型函数とその高次元類似である。現代の代数幾何学では、函数体は環の商体の元である。.
新しい！!: 交叉理論と代数多様体の函数体 · 続きを見る »
代数幾何学
代数幾何学（だいすうきかがく、algebraic geometry）とは、多項式の零点のなすような図形を代数的手法を用いて（代数多様体として）研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した（代数幾何学のイタリア学派）。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
新しい！!: 交叉理論と代数幾何学 · 続きを見る »
代数的位相幾何学
代数的位相幾何学（だいすうてきいそうきかがく、英語：algebraic topology、代数的トポロジー）は代数的手法を用いる位相幾何学の分野のことをいう。 古典的な位相幾何学は、図形として取り扱い易い多面体を扱っていたが、1900年前後のポワンカレの一連の研究を契機として20世紀に発展した。 ポワンカレは 1895年に出版した "Analysis Situs" の中で、ホモトピーおよびホモロジーの概念を導入した。これらはいまや代数的位相幾何学の大きな柱であると考えられている。 多様体、基本群、ホモトピー、ホモロジー、コホモロジー、ファイバー束などの、位相空間の不変量として代数系を対応させ、位相的性質を代数的性質に移して研究する．.
新しい！!: 交叉理論と代数的位相幾何学 · 続きを見る »
代数的サイクル
数学では、代数多様体 V の上の代数的サイクル(algebraic cycle)とは、大まかには、V 上のホモロジー類(homology class)であり、V の部分多様体の線型結合により表されるものを言う。従って、V 上の代数的サイクルは、代数幾何学に直接関係する V の代数トポロジーである。1950年代から1960年代にかけて、いくつかの基本的な予想が提示され、代数的サイクルの研究が、一般的な多様体の代数幾何学の主要な対象のひとつとなった。 代数的サイクルの持つ難しさは、全く簡単なことであり、代数的サイクルの存在を予想することは容易であるが、それらを構成する今日の方法が不十分である。代数的サイクルの主な予想は、ホッジ予想やテイト予想を含んでいる。ヴェイユ予想の証明の研究から、アレクサンドル・グロタンディーク(Alexander Grothendieck)やエンリコ・ボンビエリは代数的サイクルの標準予想として現在知られていることを定式化した。 代数的サイクルは、代数的K-理論に密接に関連していることが示されている。 良く使われる交叉理論のためには、様々な(equivalence relations on algebraic cycles)が使われる。特に重要なことは、いわゆる有理的同値(rational equivalence)である。有理同値を無視してのサイクルは、次数付き環、(Chow ring)を形成し、積は交叉積により与えられる。さらに基本的な関係には、代数的同値(algebraic equivalence)、数値的同値(numerical equivalence)やホモロジカル同値(homological equivalence)がある。一部は予想に過ぎないが、これらはモチーフの理論への応用を持っている。.
新しい！!: 交叉理論と代数的サイクル · 続きを見る »
代数曲面
数学において、代数曲面(algebraic surface)とは、多様体のが 2 である代数多様体のことを言う。複素数体上の場合には、代数曲面は複素次元 2（複素多様体として）であり、非特異(non-singular)のときには、微分可能多様体としては次元 4 である。 代数曲面の理論は、代数曲線（コンパクトリーマン面で、実次元が 2 の純粋な曲面）と比較して非常に複雑である。しかしながら、およそ 100年前の(Italian school of algebraic geometry)以来、多くの結果が得られている。.
位相同型
位相同型 （いそうどうけい、homeomorphic）、あるいは同相（どうそう）とは、2つの位相空間が位相空間として等しいことを表す概念である。 例えば、球の表面と湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。（直観的には、連続的な変形によって穴の個数が変化することはないということである。） ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。.
マイケル・フリードマン
マイケル・ハートレー・フリードマン（Michael Hartley Freedman, 1951年4月21日 - ）はアメリカ合衆国の数学者。主に合衆国西部のカリフォルニア州と東部のニュージャージー州プリンストンにおいて活動。 トポロジー（位相幾何学）における難問とされるポアンカレ予想が四次元において成立することを証明したことで知られており、1986年にフィールズ賞を授与された。 現在はマイクロソフト社の研究機関マイクロソフトリサーチに所属し、量子コンピュータの開発に携わる。.
新しい！!: 交叉理論とマイケル・フリードマン · 続きを見る »
チャーン類
数学では、特に代数トポロジーや微分位相幾何学や代数幾何学では、チャーン類(Chern classes)は複素ベクトルバンドルに付随する特性類である。 チャーン類は、 で導入された。.
新しい！!: 交叉理論とチャーン類 · 続きを見る »
ポアンカレ双対
数学において，ポワンカレ双対性定理は，多様体のホモロジー群とコホモロジー群の構造に関する基本的な結果である．名前はアンリ・ポワンカレにちなむ．定理の主張は以下のようである． を 次元の向き付けられた閉多様体（コンパクトかつ境界を持たない）とすると， の 次コホモロジー群はすべての整数 に対して 次ホモロジー群と同型である： ポワンカレ双対性は，係数環に関して向きを取る限り，任意の係数環に対して成り立つ．特に，すべての多様体は 2 を法として一意的な向き付けを持つので，ポワンカレ双対性は向きの仮定なしに 2 を法として成り立つ．.
新しい！!: 交叉理論とポアンカレ双対 · 続きを見る »
ベズーの定理
2つの三次曲線は9つの点で交わる ベズーの定理（ベズーのていり、Bézout's theorem）は、2つの平面代数曲線の交点の個数に関する、代数幾何学における定理である。おおまかには、m 次の曲線と n 次の曲線は mn 個の交点を持つ、という内容である。ただし、複素数の範囲（一般には基礎体の代数閉包）で考えること、無限遠点を考慮に入れた射影平面で考えること、「重複」して交わっている場合を適切に扱うことが必要であり、また、2つの曲線が共通成分を持つような特殊な場合は除かなければならない。定理には18世紀のフランスの数学者、エティエンヌ・ベズーの名が冠されているが、後述のように、厳密な証明を与えたのは別人である。.
新しい！!: 交叉理論とベズーの定理 · 続きを見る »
アンドレ・ヴェイユ
アンドレ・ヴェイユ（André Weil, 1906年5月6日 - 1998年8月6日）は、フランスの数学者で、20世紀を代表する数学者の一人である。思想家のシモーヌ・ヴェイユは妹、児童文学者のは娘である。.
新しい！!: 交叉理論とアンドレ・ヴェイユ · 続きを見る »
カップ積
数学、とくに代数トポロジーにおいて、カップ積（cup product）は次数 p, q の2つのから次数 p + q の新しいコサイクルを作る手法である。カップ積はコホモロジーに結合的（かつ分配的）な次数付きの可換な積演算を定義し、空間 X のコホモロジーは次数付き環 H∗(X) となる。これをコホモロジー環と呼ぶ。カップ積は1935年から1938年に、、の研究によって導入され、1944年に Samuel Eilenberg によって完全なる一般性をもって導入された。.
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: 交叉理論とコンパクト空間 · 続きを見る »
コホモロジー
数学、とくにホモロジー論と代数トポロジーにおいて、コホモロジー (cohomology) はコチェイン複体から定義されるアーベル群の列を意味する一般的な用語である。つまり、コホモロジーはコチェイン、コサイクル、そしてコバウンダリの抽象的な研究として定義される。コホモロジーは、を、ホモロジーがもっているよりも洗練された代数的構造をもつ位相空間に割り当てる手法と見ることができる。コホモロジーはホモロジーの構成の代数的な双対から生じる。より抽象的でない言葉で言えば、基本的な意味でのコチェインは'量'をホモロジー論のチェインに割り当てる。 位相幾何学におけるその起源から、このアイデアは20世紀後半の数学において主要な手法となった。チェインについての位相的不変関係としてのホモロジーの最初の考えから、ホモロジーとコホモロジーの理論の応用の範囲は幾何学と抽象代数学に渡って拡がった。用語によって、多くの応用においてコホモロジー、反変理論、がホモロジーよりも自然であるという事実が隠されがちである。基本的なレベルではこれは幾何学的な状況において関数とを扱う。空間 X と Y、そして Y 上のある種の関数 F が与えられたとすると、任意の写像 f: X → Y に対して、f との合成は X 上の関数 F o f を引き起こす。コホモロジー群はまたしばしば自然な積、カップ積をもっており、環の構造を与える。この特徴のために、コホモロジーはホモロジーよりも強い不変量である。ホモロジーでは区別できないある種の代数的対象を区別できるのである。.
新しい！!: 交叉理論とコホモロジー · 続きを見る »
コホモロジー環
数学では、特に代数トポロジーでは、位相空間 X のコホモロジー環 (cohomology ring) は、X のコホモロジー群から作られる環であり、環の積としてカップ積を持つ。ここに「コホモロジー」とは、通常、特異コホモロジーであるが、しかし、環の構造はド・ラームコホモロジーのような他の理論でも存在する。コホモロジー環は函手的でもあり、空間の連続写像に対しコホモロジー環上の環準同型を得る。この函手は反変的である。 特に、可換環 R（典型的には、R は Zn、Z、Q、R、あるいは C）を係数として持つ X 上のコホモロジー群 Hk(X; R) に対し、カップ積を定義できる。 カップ積は次のコホモロジー群の直和の上の積を与える。 この積によって、群 H•(X; R) は環となる。実際、自然に N-次数付き環であり、非負の整数 k が次数の役割を持つ。カップ積はこの次数付けと整合している。 k(X;R) on X with coefficients in a commutative ring R (typically R is Zn, Z, Q, R, or C) one can define the cup product, which takes the form The cup product gives a multiplication on the direct sum of the cohomology groups This multiplication turns H•(X;R) into a ring.
新しい！!: 交叉理論とコホモロジー環 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.
新しい！!: 交叉理論とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
ジャン＝ピエール・セール
ャン＝ピエール・セール（Jean-Pierre Serre, 1926年9月15日 - ）はフランスの数学者。もとブルバキのメンバーの一人。 アンリ・カルタンに学び、はじめは複素解析や代数トポロジーを研究した。28歳の若さでフィールズ賞（最年少）を受賞。その後代数幾何学に傾倒していき、グロタンディークに多くの示唆を与え、4&5で作成された道具がヴェイユ予想に大きく貢献した。 業績として代数トポロジーにおけるを発展させた（–）。SerreのC理論による球面のホモトピー群の研究。 GAGA (Géométrie Algébrique et Géométrie Analytique) で代数幾何において複素解析幾何学的手法を導入し、大きな成功を収めた。FAC (Faisceaux algébriques cohérents)を発表し、代数的連接層を構築。層の言葉とホモロジーを用いて代数幾何学、可換環論の書き直し、層係数コホモロジーを構成した。整数論における 進表現論において、楕円曲線、L関数、モジュラー形式、アーベル多様体などに応用し多くの成果をあげた。 進モジュラー形式の理論の構成、類体論への貢献、代数的K-理論への貢献。アーベル多様体にかんするSerre–Tate理論。その他にリー群などにも業績がある。.
新しい！!: 交叉理論とジャン＝ピエール・セール · 続きを見る »
Tor関手
ホモロジー代数において、Tor 関手 (Tor functor, torsion functor) はテンソル積の関手の導来関手である。それらは最初一般に代数トポロジーにおいてと普遍係数定理を表現するために定義された。 特に R を環とし、R-Mod で左 R-加群の圏を、Mod-R で右 R-加群の圏を表す。R-Mod の加群 B をひとつ選んで固定する。Mod-R の対象 A に対し、T(A).
新しい！!: 交叉理論とTor関手 · 続きを見る »
Well-defined
数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ（定義の整合性）が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない（文脈によっては「定義可能性」などで代用可能である）。.
新しい！!: 交叉理論とWell-defined · 続きを見る »
極小モデル
代数幾何学では極小モデルプログラム(minimal model program)が代数多様体の双有理分類の一部となっている。その目標は、任意の複素射影多様体のできるだけ単純な双有理モデルと構成することである。この主題の起源は、により研究された曲面の古典的双有理幾何学にあり、現在は代数幾何学の活発な研究領域となっている。.
新しい！!: 交叉理論と極小モデル · 続きを見る »
正則局所環
可換環論において、正則局所環（せいそくきょくしょかん、regular local ring）とは、ネーター局所環 (A, \mathfrak) であって、剰余体 k.
新しい！!: 交叉理論と正則局所環 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
4次元多様体
数学において、4次元多様体 (4-manifold) は 4次元の位相多様体である。滑らかな4次元多様体 (smooth 4-manifold) は、をもつ 4次元多様体である。4次元では、低次元では注目すべき対比があり、位相多様体と滑らかな多様体の間で大きな差異がある。滑らかな構造を持たない 4次元多様体が存在し、たとえ、滑らかな構造が存在したとしても、一意であるとは限らない（すなわち、同相であるが微分同相ではない滑らかな多様体が存在する。.
新しい！!: 交叉理論と4次元多様体 · 続きを見る »
ここにリダイレクトされます：
交点理論。
