ブラウザよりも高速アクセス！
48 関係: 単項イデアル整域、可換体、可換環、可換環論、多項式環、多様体、多様体の射、実数、射影多様体、射影空間、代数多様体、代数幾何学、代数的閉体、位相体、位相空間、位相空間論、体上有限生成環の理論、ネーター的位相空間、ネーター環、ハウスドルフ空間、判別式、アレクサンドル・グロタンディーク、アトラス (多様体)、アフィン多様体、アフィン空間、イデアル (環論)、オスカー・ザリスキ、クルルの単項イデアル定理、クルル次元、コンパクト空間、シュプリンガー・サイエンス・アンド・ビジネス・メディア、商体、剰余体、稠密、素イデアル、素元、素数、環のスペクトル、相対位相、複素数、閉集合、連続 (数学)、連結空間、極大イデアル、概型、斉次多項式、既約多項式、整数。
単項イデアル整域
代数学において単項イデアル整域（たんこうイデアルせいいき、あるいは主イデアル整域、principal ideal domain; PID）あるいは主環（しゅかん、anneau principal）とは、任意のイデアルが単項イデアルであるような（可換）整域のことである。 より一般に、任意のイデアルが単項イデアルであるような（零環でない）可換環を単項イデアル環と呼ぶ（この場合、整域とは限らない、つまり零因子をもつかもしれない）が、文献によっては（例えばブルバキなどでは）「主（イデアル）環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。.
新しい！!: ザリスキー位相と単項イデアル整域 · 続きを見る »
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
新しい！!: ザリスキー位相と可換体 · 続きを見る »
可換環
数学、特に抽象代数学の一分野である環論における可換環（かかんかん、commutative ring）は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。.
新しい！!: ザリスキー位相と可換環 · 続きを見る »
可換環論
可換環論（かかんかんろん、英語：commutative algebra、commutative ring theory）は、その乗法が可換であるような環（これを可換環という）に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。.
新しい！!: ザリスキー位相と可換環論 · 続きを見る »
多項式環
数学、殊に抽象代数学における多項式環（たこうしきかん、polynomial ring）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。.
新しい！!: ザリスキー位相と多項式環 · 続きを見る »
多様体
多様体（たようたい、manifold, Mannigfaltigkeit）とは、局所的にはユークリッド空間と見なせるような図形や空間（位相空間）のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.
新しい！!: ザリスキー位相と多様体 · 続きを見る »
多様体の射
代数幾何学においてアフィン多様体の間の正則写像（せいそくしゃぞう、regular map）とは、それが多項式によって与えられる写像であることを言う。陽に書けば、 がそれぞれアフィン多様体 の（あるいは代数的集合）であるとき、 から への正則写像 は、各 が座標環 （I は X を定義するイデアル）に属するものとして、 なる形に書ける。ゆえに像 は に含まれる（つまり、 の定義方程式を満たす）。 より一般に、抽象代数多様体間の写像 が一点 において正則 (regular at a point)とは、 の近傍 と の近傍 が存在して、制限写像 が と との 上の写像として正則となることを言う。さらに が の任意の点において正則であるとき、 は正則 (regular) であるという。 代数多様体間の射は、その始域と終域にザリスキー位相を入れたとき連続でなければならない。より厳密に、抽象代数多様体をある種の局所環付き空間として定義するとき（例えば射影多様体に対する「環付き構造」は射影多様体の項を参照せよ）、この定義のもとでの代数多様体間の射とは台とする局所環付き空間の間の射のことを言う（故にたとえばこの射は定義により連続になる）。 となる特別の場合を考えるとき、正則写像 は正則函数 (regular function) と呼ばれ、これは微分幾何におけるスカラー函数に対応するものである。即ち、スカラー函数が一点 において正則 (regular) となるのは、 の適当な近傍においてそれが有理函数（つまり多項式の商）に書けて、かつその分母が において消えていないときに限られる。正則函数環（つまり、座標環あるいはより抽象的に構造層の大域切断の環）はアフィン代数幾何において基本的対象である。一方、連結射影多様体上の正則函数は定数しかない（これは複素解析におけるリウヴィルの定理の類似とみなせる）から、射影代数幾何では（正則函数ではなくて）直線束（あるいは因子）の大域切断を考えるのが普通である。 事実として、既約代数曲線 上の函数体 を取ると、この函数体に属する任意の函数 は から 上の射影直線への射として実現することができる。その像 は一点か、さもなくば射影直線全体である（これはの帰結である）。つまり、 が実際に定数なのでない限り、 は のどこかの点において値が となることを認めなければならない。いま、 のそのような（値が となる）点における振る舞いは、そのほかの点におけるよりも（ある意味で）悪くはならない。つまり、 は射影直線上にとった無限遠点として、それはメビウス変換によってどこでも好きなところに移すことができる。しかし幾何学的な必要により、函数の終域を（射影直線ではなく）アフィン直線に限らねばならないとすれば、有限な値しかとれないので、不十分である。 上の有理函数が正則であるための必要十分条件は、それが極を持たぬことである。これはハルトークスの拡張定理の類似である。 正則写像は定義によりアフィン多様体の圏における射である。特にアフィン多様体の間の正則写像は、その座標環の間の環準同型に反変的に一対一対応する。 逆もまた正則であるような正則写像は双正則（そうせいそく、biregular）であるといい、代数多様体の圏における同型射である。代数多様体間の射で台となる位相空間の間の同相となるものは必ずしも同型射ではない（反例はフロベニウス射 t \mapsto t^p で与えられる）。他方、 が双射双有理かつ の終域が正規代数多様体ならば は双正則である（参照）。 正則および双正則は非常に強い条件（射影空間上の定数でない正則函数は存在しない）から、それより弱い条件であるや双有理写像が同じくらいよく用いられる。 が代数多様体の間の射ならば、 の像はその閉包の稠密開集合を含む（を参照）。 複素代数多様体の間の正則写像は（複素解析的な意味での）正則写像 (holomorphic map) である（実際には少し差異があって、本項に言う代数幾何的な意味で正則 (regular) となるのは特異点が除去可能であるような有理型写像なのであるが、実用上はこの差異は無視されるのが普通）。特に、複素数平面の中への正則写像は、まさに通常の（複素解析的な意味の）正則函数に他ならない。.
新しい！!: ザリスキー位相と多様体の射 · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
新しい！!: ザリスキー位相と実数 · 続きを見る »
射影多様体
代数幾何学において，代数閉体 上の射影多様体（しゃえいたようたい，projective variety）とは， 上の（ 次元）射影空間 の部分集合であって，素イデアルを生成する 係数 変数斉次多項式の有限族の零点集合として書けるものをいう．そのようなイデアルは多様体の定義イデアルと呼ばれる．あるいは同じことだが，代数多様体が射影的であるとは， のザリスキ閉部分多様体として埋め込めるときにいう． 1次元の射影多様体は射影曲線と呼ばれ，2次元だと射影曲面，余次元 1 だと射影超曲面と呼ばれる．射影超曲面は単独の斉次式の零点集合である． 射影多様体 が斉次素イデアル によって定義されているとき，商環 は の斉次座標環と呼ばれる．次数や次元のような基本的な不変量は，この次数環のヒルベルト多項式から読み取ることができる． 射影多様体は多くの方法で生じる．それらはであり，荒っぽく言えば「抜けている」点がない．逆は一般には正しくないが，はこの2つの概念の近い関係を記述する．多様体が射影的であることは直線束や因子を調べることによって示される． 射影多様体の顕著な性質の1つは，層コホモロジーの有限性である．滑らかな射影多様体に対して，セール双対性はポワンカレ双対性の類似と見なせる．それはまた射影曲線，すなわち 1 の射影多様体に対するリーマン・ロッホの定理を導く．射影曲線の理論は特に豊かで，曲線のによる分類を含む．高次元の射影多様体の分類問題は自然に射影多様体のモジュライの構成を導く．ヒルベルトスキームは所定のヒルベルト多項式をもつ の閉部分スキームをパラメトライズする．ヒルベルトスキームは，グラスマン多様体は特別な場合であるが，それ自身射影スキームでもある．幾何学的不変式論は別のアプローチを提供する．古典的なアプローチはタイヒミュラー空間やを含む． 古典にさかのぼる特に豊かな理論が，複素射影多様体，すなわち を定義する多項式が複素係数を持つ場合にある．大まかには，GAGA の原理により，射影複素解析空間（あるいは多様体）の幾何学は射影複素多様体の幾何学と等しい．例えば， 上の正則ベクトル束（より一般に連接解析的層）の理論は，代数的ベクトル束の理論と一致する．Chow の定理により，射影空間の部分集合が正則関数の族の零点集合であることと斉次多項式の零点集合であることは同値である．複素射影多様体に対する解析的な手法と代数的な手法の組合せはホッジ理論のような分野に通じる．.
新しい！!: ザリスキー位相と射影多様体 · 続きを見る »
射影空間
射影空間（しゃえいくうかん、projective space） とは、その次元が n であるとき、(n + 1)個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。.
新しい！!: ザリスキー位相と射影空間 · 続きを見る »
代数多様体
代数多様体（だいすうたようたい、algebraic variety）は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。 本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 k は代数的閉体であると仮定する（体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照）。.
新しい！!: ザリスキー位相と代数多様体 · 続きを見る »
代数幾何学
代数幾何学（だいすうきかがく、algebraic geometry）とは、多項式の零点のなすような図形を代数的手法を用いて（代数多様体として）研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した（代数幾何学のイタリア学派）。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
新しい！!: ザリスキー位相と代数幾何学 · 続きを見る »
代数的閉体
数学において、体 が代数的に閉じているまたは代数的閉体（だいすうてきへいたい、; 代数閉体）であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.
新しい！!: ザリスキー位相と代数的閉体 · 続きを見る »
位相体
位相体（いそうたい、topological field）とは、密着位相ではない位相が入った位相空間であり、加法、乗法、および 0 以外の元に対する除法が連続となる体のことである。従って、位相体 K は加法に対する位相群であり、K× は乗法に対する位相群となる。.
新しい！!: ザリスキー位相と位相体 · 続きを見る »
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
新しい！!: ザリスキー位相と位相空間 · 続きを見る »
位相空間論
数学における位相空間論（いそうくうかんろん、general topology; 一般位相幾何学）または点集合トポロジー（てんしゅうごうトポロジー、point-set topology; 点集合論的位相幾何）は、位相空間の性質やその上に定義される構造を研究対象とする位相幾何学の一分野である。位相幾何学のほかの分野が多様体などの特定の構造や具体的な構造を前提とすることと異なり、現れる位相空間としては病的なものも含めた極めて広範かつ一般のものを扱い、その一般論を形成するのが位相空間論の主目的である。.
新しい！!: ザリスキー位相と位相空間論 · 続きを見る »
体上有限生成環の理論
体上有限生成環 (たいじょうゆうげんせいせいかん; finitely generated ring over a field）とは、ある（可環な）体 k 上有限個の元で生成される可換環の事を言う。k 上の多項式環 k の剰余環として得られる環といっても同じである。体上有限生成環は、可換環論的見地からはネーター環の重要な例でありヴォルフガング・クルルらによるネーター環のイデアル論のひな形であった。また体上有限生成環の理論は代数幾何学におけるアフィン代数多様体の理論、すなわち、代数多様体の局所理論と本質的に等価である点からも重要である。本項では、ネーターの正規化補題 (Noether normalization lemma)、有限生成整域の次元論、ヒルベルトの零点定理 (Hilbert's Nullstellensatz) について説明する。.
新しい！!: ザリスキー位相と体上有限生成環の理論 · 続きを見る »
ネーター的位相空間
数学において、ネーター的位相空間（noetherian topological space）とは、閉部分集合について降鎖条件を満たす位相空間のことである。.
新しい！!: ザリスキー位相とネーター的位相空間 · 続きを見る »
ネーター環
数学においてネーター環（ネーターかん、Noetherian ring）は、イデアルの昇鎖条件などのある種の有限性を持つ環の一種。エミー・ネーターによって提唱された。すべてのイデアルは有限生成という条件から単項イデアル整域の一般化と見ることもできる。.
新しい！!: ザリスキー位相とネーター環 · 続きを見る »
ハウスドルフ空間
数学におけるハウスドルフ空間（ハウスドルフくうかん、Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列（あるいはより一般に、フィルターやネット）の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。.
新しい！!: ザリスキー位相とハウスドルフ空間 · 続きを見る »
判別式
代数学において、多項式の判別式（はんべつしき、discriminant）はその係数たちの関数であり、一般には大文字の 'D' あるいは大文字のギリシャ文字デルタ (Δ) で表記される。それは根の性質についての情報を与えてくれる。例えば、二次多項式 の判別式は である。ここで、実数,, に対して、Δ > 0 であれば、多項式は 2 つの実根を持ち、Δ.
新しい！!: ザリスキー位相と判別式 · 続きを見る »
アレクサンドル・グロタンディーク
アレクサンドル・グロタンディーク（Alexander Grothendieck, 1928年3月28日 - 2014年11月13日）は主にフランスで活躍した、ドイツ出身のユダヤ系フランス人の数学者である。 日本の数学界では彼は「グロタンディク」、「グロタンディック」、「グロタンディエク」、「グロタンディエック」、「グロテンディーク」、「グローテーンディーク」などと表記されているGrothendieck という名は、オランダ起源です。オランダにはこの名と類似の名（en dyck など）はよくあるものです。それは『大きな堤防』の意味です。私は（オランダ語よみやフランス語よみでなく）ドイツ語の発音―グロテンディーク―にしたがっています。。.
新しい！!: ザリスキー位相とアレクサンドル・グロタンディーク · 続きを見る »
アトラス (多様体)
数学の特に微分位相幾何学におけるアトラス (atlas; 地図帳) あるいは座標近傍系（ざひょうきんぼうけい、co­ordinate neighbourhood system）は多様体を記述するために必要である。アトラスはチャート (chart; 地図) あるいは座標近傍 (co­ordinate neighbourhood) と呼ばれる元の族であり、各チャートは簡単に言えば多様体の各点の周りの適当な領域に座標を入れて考えられるようにするものである。例えば地表を多様体と見なせば、アトラスとその各チャートは日常的な意味で言う地図帳と各地図と考えられる。一般には、アトラスは多様体の厳密な定義の一部として含まれ、あるいは多様体と関連深いベクトル束などのファイバー束においても同様である。.
新しい！!: ザリスキー位相とアトラス (多様体) · 続きを見る »
アフィン多様体
代数幾何学において，代数閉体 上のアフィン多様体とは， 次元アフィン空間 において， 係数の 変数の多項式の素イデアルを生成する有限族の零点集合である．素イデアルを生成するという条件を外したときの集合は（アフィン）代数的集合と呼ばれる．アフィン多様体のザリスキ開部分多様体はと呼ばれる． が素イデアル によって定義されるアフィン多様体のとき，商環 は の座標環と呼ばれる．この環はちょうど 上のすべての体の射|正則関数がなす集合である．言い換えると， の構造層の大域切断の空間である．はアフィン多様体のコホモロジー的特徴づけを与える．定理により代数多様体がアフィンであることと がすべての と 上のすべての準連接層 に対して成り立つことは同値である（cf.
新しい！!: ザリスキー位相とアフィン多様体 · 続きを見る »
アフィン空間
数学において、アフィン空間（あふぃんくうかん、affine space, アファイン空間とも）または擬似空間（ぎじくうかん）とは、幾何ベクトルの存在の場であり、ユークリッド空間から絶対的な原点・座標と標準的な長さや角度などといった計量の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。（代数的な）ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。 1次元のアフィン空間はアフィン直線、2次元のアフィン空間はと呼ばれる。.
新しい！!: ザリスキー位相とアフィン空間 · 続きを見る »
イデアル (環論)
抽象代数学の分野である環論におけるイデアル（ideal, Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。.
新しい！!: ザリスキー位相とイデアル (環論) · 続きを見る »
オスカー・ザリスキ
ー・ザリスキ（Oscar Zariski, 1899年4月24日 - 1986年7月4日 ）は、ロシア帝国（現ベラルーシ）の出身でのちにアメリカ合衆国で活躍した数学者。専門は代数幾何学で、ヴェイユと並び多大な影響を及ぼした。 アメリカに移住後、ジョンズ・ホプキンス大学、ハーバード大学などで教鞭を執った。1981年ウルフ賞数学部門受賞。 主な業績は、ザリスキ位相の導入やの証明を含む可換環論と代数幾何の融合である。 弟子に、広中平祐、デヴィッド・マンフォード、ロビン・ハーツホーンら著名な数学者がたくさんおり、優れた指導者でもあった。.
新しい！!: ザリスキー位相とオスカー・ザリスキ · 続きを見る »
クルルの単項イデアル定理
可換環論（次元論）において、クルルの単項イデアル定理（Krull's principal ideal theorem, Krulls Hauptidealsatz）は、ネーター環の素イデアルの高さについての基本的な定理である。.
新しい！!: ザリスキー位相とクルルの単項イデアル定理 · 続きを見る »
クルル次元
数学、とくに可換環論において可換環のクルル次元（クルルじげん、Krull dimension）とは、素イデアルのなす減少列の長さの上限である。ヴォルフガング・クルルに因んで名づけられた。文脈から明らかなときには単に次元と呼ぶことも多い。.
新しい！!: ザリスキー位相とクルル次元 · 続きを見る »
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: ザリスキー位相とコンパクト空間 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（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）」。.
新しい！!: ザリスキー位相とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
商体
数学における整域の分数体（ぶんすうたい、field of fractions）あるいは商体（しょうたい、field of quotients）とは、与えられた整域に対してそれを部分環として含む最小の体である。整域 R の商体の元は a ≠ 0 および b なる整域 R の元によって分数 b/a の形に表される。環 R の商体が K であることを K.
新しい！!: ザリスキー位相と商体 · 続きを見る »
剰余体
数学において、剰余体（じょうよたい、residue field）は可換環論における基本的な構成である。R を可換環、m を極大イデアルとしたとき、剰余体は剰余環 k.
新しい！!: ザリスキー位相と剰余体 · 続きを見る »
稠密
密（ちゅうみつ、ちょうみつ、dense）とは、一般に密集しているさま・ぎっしり詰まっているさまを表す語である。.
新しい！!: ザリスキー位相と稠密 · 続きを見る »
素イデアル
素イデアル（prime ideal）は、環のイデアルで、ある条件を満たすものである。歴史的には、素数（素元）の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環（一般に）のすべてのゼロでない（整）イデアルは、素イデアルの有限個の積として（順序を除いて）一意的に書ける（イデアル論の基本定理）。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.
新しい！!: ザリスキー位相と素イデアル · 続きを見る »
素元
数学、特に抽象代数学において、可換環の素元（prime element）は整数における素数や既約多項式と似たある性質を満たす対象である。素元と既約元を区別するよう注意しなければならない。既約元はUFDにおいては素元と同じ概念であるが、一般には異なる。.
新しい！!: ザリスキー位相と素元 · 続きを見る »
素数
素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.
新しい！!: ザリスキー位相と素数 · 続きを見る »
環のスペクトル
抽象代数学と代数幾何学において，可換環 のスペクトル とは， のすべての素イデアルからなる集合である．通常ザリスキー位相と構造層をともに考え，それにより は局所環付き空間である．この形の局所環付き空間はアフィンスキームと呼ばれる．.
新しい！!: ザリスキー位相と環のスペクトル · 続きを見る »
相対位相
数学の位相空間論周辺分野における部分位相空間（ぶぶんいそうくうかん、subspace）は、位相空間の部分集合でもとの空間から由来する自然な位相を備えたものをいう。そのような位相は、部分空間位相 (subspace topology), 相対位相 (relative topology) あるいは誘導位相 (induced topology) やトレース位相 (trace topology) などと呼ばれる。.
新しい！!: ザリスキー位相と相対位相 · 続きを見る »
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
新しい！!: ザリスキー位相と複素数 · 続きを見る »
閉集合
閉集合（へいしゅうごう、closed set）は、その補集合が開集合となる集合のこと。距離空間の場合はその部分集合の元からなる任意の収束点列の極限がその部分集合の元であることと一致するので、それを定義としてもよい。 例えば、数直線上で不等式 0 ≤ x ≤ 1 によって定まる集合は閉区間と呼ばれるが、これは閉集合である。なぜならば、その補集合である x < 0 または x > 1 を満たす区間が開集合となるからである。 不等式を 0 < x < 1 としたものや 0 ≤ x < 1 としたものは、閉集合ではない。 また、連続関数 f(x,y) を使って、\ と表される集合は平面の閉集合である。円周も平面の閉集合である。 次の性質を満たす集合 X の部分集合の族 F があると、 F の元が閉集合であるような位相が X に定まる。.
新しい！!: ザリスキー位相と閉集合 · 続きを見る »
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: ザリスキー位相と連続 (数学) · 続きを見る »
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
新しい！!: ザリスキー位相と連結空間 · 続きを見る »
極大イデアル
の極大左イデアル（きょくだいひだりいである、maximal left ideal）とは、 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。すなわち、左イデアル を真に含む左イデアルが しかないときに を の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証される。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。.
新しい！!: ザリスキー位相と極大イデアル · 続きを見る »
概型
数学における概型あるいはスキーム (scheme) とは、可換環に対して双対的に構成される局所環付き空間である。二十世紀半ばにアレクサンドル・グロタンディークによって導入され、以降の代数幾何学において任意標数の代数多様体を包摂し、係数の拡大や図形の「連続的」な変形を統一的に取り扱えるような図形の概念として取り扱われている。さらに、今まで純代数的な対象として研究されてきた環についてもそのアフィンスキームを考えることである種の幾何的対象として、多様体との類推にもとづく研究手法を持ち込むことが可能になる。このため特に数論の分野ではスキームが強力な枠組みとして定着している。 スキームを通じて圏論的に定義される様々な概念は大きな威力を発揮するが、その一方で、古典的な代数幾何においては点とみなされなかった既約部分多様体のようなものまでがスペクトルの「点」になってしまう。このためヴェイユ・ザリスキ流の代数幾何学（これ自体大幅な形式化によって前の世代の牧歌的なイタリア流代数幾何に引導を渡すものだったのだが）を習得して研究していた同時代の学者たちからは戸惑いのこもった反発を受けた。.
新しい！!: ザリスキー位相と概型 · 続きを見る »
斉次多項式
数学において、斉次多項式（せいじたこうしき、homogeneous polynomial）あるいは同次多項式（どうじたこうしき）、あるいは略して斉次式、同次式とは、非零項がすべて同じ次数であるような多項式のことである。例えば、x^5 + 2 x^3 y^2 + 9 x y^4 は2変数の5次の斉次多項式である。各項の指数の和は常に5だからである。多項式 x^3 + 3 x^2 y + z^7 は斉次ではない。項によって指数の和が異なるからである。多項式が斉次であることと斉次関数を定義することは同値である。（代数的）形式 ((algebraic) form) とは、斉次多項式によって定まる関数のことである。binary form とは二変数の形式である。形式はベクトル空間上定義される、任意の基底上座標の斉次関数として表せる関数でもある。 0次多項式は常に斉次である。これは単に係数の体や環の元であり、通常定数やスカラーと呼ばれる。1次の形式は線型形式である。2次の形式は二次形式である。幾何学において、ユークリッド距離は二次形式の平方根である。 斉次多項式は数学や物理学のいたるところであらわれる。斉次多項式は代数幾何学において基本的な役割を果たす。射影代数多様体は斉次多項式のある集合の共通零点全体の集合として定義されるからである。.
新しい！!: ザリスキー位相と斉次多項式 · 続きを見る »
既約多項式
代数学において既約多項式（きやくたこうしき、irreducible polynomial）とは、多項式環の既約元のことである。より冗長には次のようになる。 を単位元をもつ可換環とし、その単数全体を 、一変数多項式環を とおく。多項式 が2条件.
新しい！!: ザリスキー位相と既約多項式 · 続きを見る »
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
新しい！!: ザリスキー位相と整数 · 続きを見る »
