ブラウザよりも高速アクセス！
93 関係: 単位円、単項式順序、単調写像、反対圏、可換体、双有理幾何学、双曲幾何学、向き付け可能性、多項式の次数、多項式函数、多様体の射、変曲点、小平次元、射影平面、射影作用素、射影空間、交点数 (代数幾何学)、二次曲面、代数多様体、代数多様体の函数体、代数学の基本定理、代数幾何学、代数函数体、代数的な元、代数的閉体、代数方程式、弧 (幾何学)、位相多様体、体の拡大、圏同値、区間 (数学)、ミルナー数、ヤコビ多様体、ヤコビ行列、ユークリッド幾何学、ユークリッド空間、リーマン・ロッホの定理、リーマン・フルヴィッツの公式、リーマン面、ロビン・ハーツホーン、プリンストン大学出版局、ピクセル、テイラー展開、ファルティングスの定理、ベズーの定理、分数イデアル、アメリカ数学会、アーベル群、アフィン空間、クルル次元、...、クロード・シュヴァレー、グラフ (関数)、グレブナー基底、ケンブリッジ大学出版局、コンパクト空間、ジャン＝ピエール・セール、ジョン・ウィラード・ミルナー、円錐曲線、写像度、函数体 (スキーム論)、勾配 (ベクトル解析)、種数、素イデアル、違いを除いて、行列の階数、補有限、複素数、超楕円曲線、関数の零点、重複度 (数学)、臨界点 (数学)、集合、連結空間、陰関数、接ベクトル空間、楕円函数、楕円曲線、概型、標数、正弦波、正則関数、求根アルゴリズム、滑らかな関数、漸近線、有理点、斉次多項式、既約多項式、既約成分、放物線、数学、曲線、曲線の特異点、曲面。 インデックスを展開 (43 もっと) »
単位円
数学において単位円（たんいえん、unit circle）とは、半径が 1 の円のことである。解析幾何学（いわゆる“座標幾何”）では特に原点（すなわち x 軸と y 軸の交点） O(0, 0) を中心とするものをいう。これは、原点からの距離が 1 であるような点の全体が描く軌跡のことと言っても同じことである。 単位円はしばしば S1 で表される（これは n 次元の球面 (sphere) という概念の n.
単項式順序
単項式順序（たんこうしきじゅんじょ、monomial order）は、単項式を順序付けるものであって、いくつかの性質を満たすものである。例えば1変数多項式を記述する場合、昇冪の順または降冪の順に並べるのが通常であるが、多変数の場合はそう単純ではなく、多くの並べ方が考えられる。一般の2変数2次多項式は と記述されることが多いが、これは単項式順序の一種である次数付き辞書式順序で並べられている。 単項式順序は、多項式の割り算アルゴリズムやグレブナー基底の理論において重要な役割を果たす。用いる単項式順序の種類によって、アルゴリズムの効率や得られる結果には違いが生じ得る。.
新しい！!: 代数曲線と単項式順序 · 続きを見る »
単調写像
単調写像（たんちょうしゃぞう、monotonic function, monotone function）または単調関数は、単調性、すなわち順序集合の間の写像が順序を保つような性質を持つ写像のことである。具体的な例としては以下の単調増加関数および単調減少関数がある。 単調増加（たんちょうぞうか、monotonically increasing）とは、狭義には実数の値を持つ関数 が、 の増加につれて常に関数値 も増加することをいい、このような性質を持つ関数を単調増加関数（たんちょうぞうかかんすう、monotonically increasing function）と呼ぶ。同様に、引数 の増加につれて関数値 が常に減少することを単調減少（たんちょうげんしょう、monotonically decreasing）といい、そのような性質を持つ関数を単調減少関数（たんちょうげんしょうかんすう、monotonically decreasing function）と呼ぶ。従って、連続な単調増加関数 を縦軸、その引数 を横軸にとったグラフ上の曲線は常に右上りで、右下がりになっている部分がない。逆に単調減少関数の場合には、常に右下がりであり右上がりの部分がない。 ある関数が単調増加または単調減少する性質をまとめて単調性（たんちょうせい、monotonicity）と呼ぶ。.
反対圏
圏論という数学の分野において，与えられた圏 の反対圏（はんたいけん，opposite category），逆圏（ぎゃくけん）あるいは双対圏（そうついけん，dual category） は射を逆にする，つまり，各射の始域と終域を交換することによって作られる．逆にする操作を2回やるともとの圏になるので，逆圏の逆圏はもとの圏自身である．記号で書けば，(C^)^.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
双有理幾何学
代数幾何学では、双有理幾何学(birational geometry)の目標は、2つの代数多様体が（多様体の次元）より低い次元の部分を除き、どのようなときに同型となるかを決定することである。このことは、多項式というよりも、有理函数により与えられる写像を研究することを意味し、有理函数が極を持つ場合は(写像を）定義することができないかもしれない。.
新しい！!: 代数曲線と双有理幾何学 · 続きを見る »
双曲幾何学
双曲幾何学（そうきょくきかがく、）またはボヤイ・ロバチェフスキー幾何学 とは、まっすぐな空間（ユークリッド空間、放物幾何的空間）ではなく、負の曲率を持つ曲がった空間における幾何学である。ユークリッド幾何学の検証ということでサッケリーなども幾つかの定理を導いているが、完全で矛盾のない公理系を持つユークリッド幾何学ではない新しい幾何学と認識してまとめたのは同時期にそれぞれ独立に発表したロバチェフスキー（1829年発表）、ボヤイ（1832年発表）、およびガウス（発表せず）らの功績である。 ユークリッドのユークリッド原論の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 平行線公準）に対して、それを否定する公理を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である非ユークリッド幾何学の一つである。双曲幾何学の場合には、「ある直線 L とその直線の外にある点 p が与えられたとき、p を通り L に平行な直線は無限に存在する」という公理に支えられて構成される。 双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から証明しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立でほかの公準からは証明できないことが証明された。 例えば、平面においては任意の直線にその直線上にない一点を通る平行線は一本しかないが、無限に開き続ける漏斗のようなものにおいては、任意の直線にその直線上にない一点を通る平行線は無限に存在することになる。 このような面はベルトラミーの擬球面と呼ばれ、双曲幾何学の成立する面（双曲平面）の一種である。また、ベルトラミーの擬球面などの双曲平面は、双曲幾何学が完成した後に発見された。.
新しい！!: 代数曲線と双曲幾何学 · 続きを見る »
向き付け可能性
数学では、向き付け可能性(orientability)とは、ユークリッド空間内の曲面の性質であり、曲面のすべての点で法線の方向を整合性を持って選択できるか否かという性質である。曲面の法線の方向の選択は、例えばストークスの定理に必要であるように、右手の法則を使い曲面内のループの「時計回り」方向を決めことができる。より一般に、抽象的な曲面や多様体の向き付け可能性とは、多様体内のすべてのループの「時計回り」方向を整合性を持って選択可能か否かという性質である。同じことであるが、曲面が向き付け可能であるとは、空間内の のような二次元の図形が、空間の中を（連続的に）動き回って、スタート地点へ戻ってきても、決して自分自身の鏡像 にはならない場合を言う。 向き付け可能性の考え方は、同じように高次元の多様体へ一般化できる。向きの選択が整合性を持つ多様体を向き付け可能といい、連結で向き付け可能な多様体は、ちょうど 2つの異なる向き付けが可能である。この設定で、必要な応用や一般性の度合いに依存した様々な向き付け可能性の同値な定式化が可能である。一般の位相多様体への応用する定式化は、ホモロジー論の方法を活用することが多いのに対し、微分可能多様体(differentiable manifold)に対してはより詳細な構造があり、微分形式の言葉で定式化できる。空間の向き付け可能性の考え方の重要な一般化は、ある他の空間（ファイバーバンドル）にパラメトライズされた空間の族の向き付け可能性である。その際には、向きは、パラメータの値の変化につれて、各々の空間が連続的に変化するよう選択せねばならない。.
新しい！!: 代数曲線と向き付け可能性 · 続きを見る »
多項式の次数
数学、初等代数学における多項式の次数（じすう、degree）は、多項式を不定元の冪積の線型結合からなるに表すとき、そこに現れる項のうち最も高い項の次数を言う。ここに、項の次数とは、それに現れる不定元の冪指数の総和である。次数の同義語として「位数」「階数」(order) が用いられることもあるが、今日的にはに取られるのが普通だろう。 例えば、多項式 は三つの項からなる。多項式の記法に関する通常の規約により、この多項式は厳密には を意味することに注意する。最初の項の次数は （冪指数 と の和）であり、二番目の項の次数は, 最後の項の次数は であるから、この中で最高次の項の次数である がこの多項式の次数ということになる。 上のような標準形になっていない多項式の次数の決定に際しては、たとえば のような場合、積は分配法則に従って展開し、同類項をまとめて、まずは標準形に直さなければならない。いまの例では だから次数は である（二つの二次式の和をとったにもかかわらず、である）。しかし、多項式が標準形の多項式の「積」に書かれている時には、積の次数は各因子の次数の総和として計算できるから、必ずしも展開・整理は要しない。 多項式の次数の日本語名称は、一貫して次数の値に接尾辞「-次」をつける。英語名称は、いくつかの例外はあるが基本的にラテン語の序数詞に形容詞を作る接尾辞の -ic を付けて表す。次数と不定元の数はきちんと区別されるべきであって、こちらには接尾辞「-元」あるいは「-変数」を付ける（英語名称ではラテン語に接尾辞 -ary が付く）。例えば のような二つの不定元に関する次数 の多項式は「二元二次」("binary quadratic") であると言い、二元 (binary) が不定元の数が であることを、二次 (quadratic) 次数が であることを言い表している。もう一つ、項の数も明示するなら「-項式」（英語名称では ラテン配分数詞に接尾辞 -nomial）を付ける。単項式 (monomial), 二項式 (binomial) あるいは三項式 (trinomial) など。つまり、例えば は「二元二次二項式」("binary quadratic binomial") である。 以下しばらくは一元多項式に関して述べる。.
新しい！!: 代数曲線と多項式の次数 · 続きを見る »
多項式函数
代数学における多項式函数（たこうしきかんすう、polynomial function）は、適当な可換環（多くの場合は可換体） に係数を持つ多項式に付随して定まる f\colon x \mapsto a_n x^n + a_ x^ + \cdots + a_1 x + a_0 x^0 なる形の写像を言う。ただし、 は自然数で、 は の係数と呼ばれる の元である。これはまた、和の sum-記法によって のようにも書かれる。このような写像 を に係数を持つ多項式函数と呼ぶ。 ここでは定義を複雑にしないために多項式函数の定義域および終域 については特に限定しないが、事実として は 上の単位的結合多元環の構造を持てば十分である。つまりそのような構造は多項式函数の定義に現れるすべての演算を持っている.
新しい！!: 代数曲線と多項式函数 · 続きを見る »
多様体の射
代数幾何学においてアフィン多様体の間の正則写像（せいそくしゃぞう、regular map）とは、それが多項式によって与えられる写像であることを言う。陽に書けば、 がそれぞれアフィン多様体 の（あるいは代数的集合）であるとき、 から への正則写像 は、各 が座標環 （I は X を定義するイデアル）に属するものとして、 なる形に書ける。ゆえに像 は に含まれる（つまり、 の定義方程式を満たす）。 より一般に、抽象代数多様体間の写像 が一点 において正則 (regular at a point)とは、 の近傍 と の近傍 が存在して、制限写像 が と との 上の写像として正則となることを言う。さらに が の任意の点において正則であるとき、 は正則 (regular) であるという。 代数多様体間の射は、その始域と終域にザリスキー位相を入れたとき連続でなければならない。より厳密に、抽象代数多様体をある種の局所環付き空間として定義するとき（例えば射影多様体に対する「環付き構造」は射影多様体の項を参照せよ）、この定義のもとでの代数多様体間の射とは台とする局所環付き空間の間の射のことを言う（故にたとえばこの射は定義により連続になる）。 となる特別の場合を考えるとき、正則写像 は正則函数 (regular function) と呼ばれ、これは微分幾何におけるスカラー函数に対応するものである。即ち、スカラー函数が一点 において正則 (regular) となるのは、 の適当な近傍においてそれが有理函数（つまり多項式の商）に書けて、かつその分母が において消えていないときに限られる。正則函数環（つまり、座標環あるいはより抽象的に構造層の大域切断の環）はアフィン代数幾何において基本的対象である。一方、連結射影多様体上の正則函数は定数しかない（これは複素解析におけるリウヴィルの定理の類似とみなせる）から、射影代数幾何では（正則函数ではなくて）直線束（あるいは因子）の大域切断を考えるのが普通である。 事実として、既約代数曲線 上の函数体 を取ると、この函数体に属する任意の函数 は から 上の射影直線への射として実現することができる。その像 は一点か、さもなくば射影直線全体である（これはの帰結である）。つまり、 が実際に定数なのでない限り、 は のどこかの点において値が となることを認めなければならない。いま、 のそのような（値が となる）点における振る舞いは、そのほかの点におけるよりも（ある意味で）悪くはならない。つまり、 は射影直線上にとった無限遠点として、それはメビウス変換によってどこでも好きなところに移すことができる。しかし幾何学的な必要により、函数の終域を（射影直線ではなく）アフィン直線に限らねばならないとすれば、有限な値しかとれないので、不十分である。 上の有理函数が正則であるための必要十分条件は、それが極を持たぬことである。これはハルトークスの拡張定理の類似である。 正則写像は定義によりアフィン多様体の圏における射である。特にアフィン多様体の間の正則写像は、その座標環の間の環準同型に反変的に一対一対応する。 逆もまた正則であるような正則写像は双正則（そうせいそく、biregular）であるといい、代数多様体の圏における同型射である。代数多様体間の射で台となる位相空間の間の同相となるものは必ずしも同型射ではない（反例はフロベニウス射 t \mapsto t^p で与えられる）。他方、 が双射双有理かつ の終域が正規代数多様体ならば は双正則である（参照）。 正則および双正則は非常に強い条件（射影空間上の定数でない正則函数は存在しない）から、それより弱い条件であるや双有理写像が同じくらいよく用いられる。 が代数多様体の間の射ならば、 の像はその閉包の稠密開集合を含む（を参照）。 複素代数多様体の間の正則写像は（複素解析的な意味での）正則写像 (holomorphic map) である（実際には少し差異があって、本項に言う代数幾何的な意味で正則 (regular) となるのは特異点が除去可能であるような有理型写像なのであるが、実用上はこの差異は無視されるのが普通）。特に、複素数平面の中への正則写像は、まさに通常の（複素解析的な意味の）正則函数に他ならない。.
新しい！!: 代数曲線と多様体の射 · 続きを見る »
変曲点
変曲点（へんきょくてん）とは、平面上の曲線で曲がる方向が変わる点のこと。幾何学的にいえば、曲線上で曲率の符号（プラス・マイナス）が変化する点（この点では0となる）をいう。これは幾何学的または解析学的に、次の各定義と同値である。.
小平次元
代数幾何学では、小平次元 (Kodaira dimension)（標準次元 (canonical dimension) とも呼ばれる） κ(X) で射影多様体 X の標準モデル (canonical model) の大きさを測る。 は、セミナー Shafarevich 1965 で、代数曲面のある数値的不変量を記号 κ として導入した。飯高茂(Shigeru Iitaka) は、で、この数値的不変量を拡張し、高次元の多様体の小平次元を定義した（このときは標準次元の名称）。後日 で、小平邦彦の名前にちなんで「小平次元」とした。.
射影平面
数学における射影平面（しゃえいへいめん、projective plane）は、初等的な平面の概念を拡張する幾何学的な構成である。通常の平面においては、二直線は典型的には一つの点で交わるが、特定の直線の組（平行線）については交わりを持たない。一つの見方として、射影平面は、通常の平面に平行線の交点として「無限遠点」を追加したものになっている。従って、射影平面では任意の相異なる二直線がただ一点において交わる。 射影平面の定義としてよく用いられるものが二種類ある。ひとつは線型代数学から来るもので、この場合の射影平面は、適当なに対する等質空間として与えられる。この場合の重要な例として、 および が挙げられる。後者はもっと一般のおよび有限幾何学の立場で定義することもできる。これは平面幾何学の接続的性質の研究に適している。 射影平面の概念は、もっと高次元の射影空間の概念に一般化される。射影平面は二次元の射影空間である。.
射影作用素
変換 ''P'' は直線 ''m'' の上への直交射影 線型代数学および函数解析学における射影作用素あるいは単に射影（しゃえい、projection）とは、いわゆる射影（投影）を一般化した概念である。有限次元ベクトル空間 V の場合は、V 上の線型変換 P: V → V であって、冪等律 P2.
新しい！!: 代数曲線と射影作用素 · 続きを見る »
射影空間
射影空間（しゃえいくうかん、projective space） とは、その次元が n であるとき、(n + 1)個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。.
交点数 (代数幾何学)
記載なし。
新しい！!: 代数曲線と交点数 (代数幾何学) · 続きを見る »
二次曲面
二次超曲面（にじちょうきょくめん、quadric surface）とは、円錐曲線の概念を一般次元ユークリッド空間 Rn に拡張したものであり、2次多項式の零点集合として表されるような超曲面のことをさす。3次元空間における二次超曲面は二次曲面ともよばれる。.
代数多様体
代数多様体（だいすうたようたい、algebraic variety）は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。 本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 k は代数的閉体であると仮定する（体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照）。.
新しい！!: 代数曲線と代数多様体 · 続きを見る »
代数多様体の函数体
代数幾何学では、代数多様体 V の函数体(function field)は、V 上の有理函数と解釈される対象から構成される。古典的な代数幾何学では、函数体は多項式の比であり、(complex algebraic geometry)では、函数体は有理型函数とその高次元類似である。現代の代数幾何学では、函数体は環の商体の元である。.
新しい！!: 代数曲線と代数多様体の函数体 · 続きを見る »
代数学の基本定理
代数学の基本定理（だいすうがくのきほんていり、fundamental theorem of algebra）は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。.
新しい！!: 代数曲線と代数学の基本定理 · 続きを見る »
代数幾何学
代数幾何学（だいすうきかがく、algebraic geometry）とは、多項式の零点のなすような図形を代数的手法を用いて（代数多様体として）研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した（代数幾何学のイタリア学派）。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
新しい！!: 代数曲線と代数幾何学 · 続きを見る »
代数函数体
数学では、体 上の 変数の代数函数体 (algebraic function field)（単に、函数体とも言う）は、 上に超越次数 を持つ有限生成な体の拡大 である。同じことであるが、 上の 変数の代数函数体は、 上の 変数の有理函数の体 の有限拡大として定義できる。 Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field k(x1,...,xn) of rational functions in n variables over k.-->.
新しい！!: 代数曲線と代数函数体 · 続きを見る »
代数的な元
体論において、可換体 K の拡大体 L の元は、K 係数の 0 でない多項式 が存在してその根となっているときに、K 上代数的であると言う。K 上代数的でない元は K 上超越的であると言う。 これは代数的数と超越数の概念の一般化である。代数的数は有理数体 Q の拡大体 C の元であって、Q 上代数的な複素数である。したがって \sqrt は Q 上代数的な実数であって、自然対数の底 e や円周率πは Q 上超越的な実数である。Q 上超越的な複素数は存在するが、すべての複素数 a+bi は実数体 R 上代数的である。なぜなら (X - a)2+b2 の根だからである。.
新しい！!: 代数曲線と代数的な元 · 続きを見る »
代数的閉体
数学において、体 が代数的に閉じているまたは代数的閉体（だいすうてきへいたい、; 代数閉体）であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.
新しい！!: 代数曲線と代数的閉体 · 続きを見る »
代数方程式
数学において、代数方程式 (だいすうほうていしき、algebraic equation) とは（一般には多変数の）多項式を等号で結んだ形で表される方程式の総称で、式で表せば の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。.
新しい！!: 代数曲線と代数方程式 · 続きを見る »
弧 (幾何学)
幾何学における弧（こ、arc）とは、おおまかには、曲線のつながった一部分のことであるが、より抽象的な概念に一般化される。初等幾何学においては円周の弧を指すことが多く、そのことを明確にしたい場合には円弧と呼ぶ。 元々、日本語としての「弧」は、木の弓またはその形状を意味する。.
新しい！!: 代数曲線と弧 (幾何学) · 続きを見る »
位相多様体
位相幾何学という数学の分野において，位相多様体（いそうたようたい，topological manifold）とは，以下に定義される意味で実 次元空間に局所的に似ている（分離空間でもある）位相空間である．位相多様体は数学全般に応用を持つ位相空間の重要なクラスをなす． 「多様体」は位相多様体を意味することもあるし，より多くは，追加の構造を持った位相多様体を指す．例えば可微分多様体は可微分構造を備えた位相多様体である．任意の多様体は，単に追加の構造を忘れることによって得られる，台となる位相多様体を持つ．多様体の概念の概観はその記事に与えられている．この記事は純粋に多様体の位相的側面に焦点を当てる．.
新しい！!: 代数曲線と位相多様体 · 続きを見る »
体の拡大
抽象代数学のとくに体論において体の拡大（たいのかくだい、field extension）は、体の構造や性質を記述する基本的な道具立ての一つである。 体の拡大の理論において、通常は非可換な体を含む場合を扱わない（そのようなものは代数的数論に近い非可換環論あるいは多元環論の範疇に属す）。ただし、非可換体（あるいはもっと一般の環）の部分集合が、非可換体の演算をその部分集合へ制限して得られる演算により、その非可換体を上にある体として（可換な）体構造をもつとき、元の非可換体の（可換）部分体と呼び、元の非可換体を（非可換）拡大体と呼ぶことがある。 以下本項では特に断りの無い限り、体として可換体のみを扱い、単に体と呼称する。.
圏同値
数学、とりわけ圏論において、圏同値（けんどうち、equivalence of categories）とはふたつの圏が「本質的には同じである」という関係のことをいう。 多くの分野で圏同値の例がある。 圏同値を示すことで、対象になっている数学的な構造の間に強い相関関係があることがわかる。 場合によっては、その構造は表面的には無関係に見えるので、圏同値は有用である； つまりある定理を異なる数学的構造の定理に「翻訳」できることがある。 もしある圏が別の圏の双対圏と圏同値ならば、ふたつの圏は双対同値と言い、圏双対について論じることができる。 圏同値は圏の間の「可逆な」関手から成る。 しかしながら代数的な設定の下における同型とは異なり、関手とその「逆関手」の合成が恒等写像である必要はない。 その代わりに各対象が合成の像と自然同型であればよい。 そのため、このことはふたつの関手が「同型を除いて逆関手」であると言われたりする。 実際にという概念もあり、こちらは本当に関手が逆関手であることを要求するが、圏同値の概念に比べると実用性を欠く。.
区間 (数学)
数学における（実）区間（じつくかん、(real) interval）は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.
新しい！!: 代数曲線と区間 (数学) · 続きを見る »
ミルナー数
数学では、特にでは、ジョン・ウィラード・ミルナー(John Willard Milnor)の名前にちなんだミルナー数(Milner number)は、函数の芽(germ)の不変量である。 f を複素数に値をとる正則函数の芽とすると、f のミルナー数は μ(f) と書いてゼロかまたは正の整数であるか無限大の値をとる。ミルナー数は微分幾何学的な不変量とも考えられるし、代数幾何学的な不変量とも考えられる。これが何故、代数幾何学やで重要な役割を果たすのであろうか？.
新しい！!: 代数曲線とミルナー数 · 続きを見る »
ヤコビ多様体
数学において、種数 g の非特異代数曲線 C のヤコビ多様体 (Jacobian variety) J(C) とは、次数が 0 の直線束のモジュライ空間を言う。ヤコビ多様体は、C のピカール群の単位元の連結成分であり、従って、アーベル多様体である。.
新しい！!: 代数曲線とヤコビ多様体 · 続きを見る »
ヤコビ行列
数学、特に多変数微分積分学およびベクトル解析におけるヤコビ行列（やこびぎょうれつ、Jacobian matrix）あるいは単にヤコビアンまたは関数行列（かんすうぎょうれつ、Funktionalmatrix）は、一変数スカラー値関数における接線の傾きおよび一変数ベクトル値函数の勾配の、多変数ベクトル値関数に対する拡張、高次元化である。名称はカール・グスタフ・ヤコブ・ヤコビに因む。多変数ベクトル値関数 のヤコビ行列は、 の各成分の各軸方向への方向微分を並べてできる行列で \end\quad (f.
新しい！!: 代数曲線とヤコビ行列 · 続きを見る »
ユークリッド幾何学
ユークリッド幾何学（ユークリッドきかがく、Euclidean geometry）は、幾何学体系の一つであり、古代エジプトのギリシア系・哲学者であるエウクレイデスの著書『ユークリッド原論』に由来する。詳しい説明は『ユークリッド原論』の記事にある。.
新しい！!: 代数曲線とユークリッド幾何学 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 代数曲線とユークリッド空間 · 続きを見る »
リーマン・ロッホの定理
リーマン・ロッホの定理（リーマン・ロッホのていり、Riemann–Roch theorem）とは、複素解析学や代数幾何学などで用いられる、閉リーマン面上の複素解析と曲面の種数とを結びつける定理である。特定の位数の零点と極をもつ有理型関数空間の次元計算に役立つ。 まず、ベルンハルト・リーマンがでリーマンの不等式(Riemann's inequality)を証明した。そして短い間ではあったが、リーマンの学生であったグスタフ・ロッホが、で決定的な形に到達した。その後、この定理は代数曲線上や高次元代数多様体に一般化され、さらにそれを超えた一般化もなされている。.
新しい！!: 代数曲線とリーマン・ロッホの定理 · 続きを見る »
リーマン・フルヴィッツの公式
数学では、ベルンハルト・リーマン(Bernhard Riemann)とアドルフ・フルヴィッツ(Adolf Hurwitz)の名前の付いたリーマン・フルヴィッツの公式(Riemann–Hurwitz formula)は、一方が他方の分岐被覆(ramified covering)となっているとき、2つの曲面のオイラー標数関係を記述した公式である。従って、この場合には、分岐と代数トポロジーを関連付ける。他にも多くの典型的な結果があるが、リーマン・フルヴィッツの公式はリーマン面（これが発生元である）や代数曲線の理論へ適用される。.
新しい！!: 代数曲線とリーマン・フルヴィッツの公式 · 続きを見る »
リーマン面
数学、特に複素解析においてリーマン面（Riemann surface）とは、連結な複素 1 次元の複素多様体のことである。ベルンハルト・リーマンにちなんで名付けられた。 リーマン面は、複素平面を変形したものと考えられる。 各点の近くで局所的には、複素平面の部分に似ているが、大域的位相は大きく異なり得る。例えば、球面、トーラス、または互いに糊付けした二枚の面のように見え得る。 リーマン面の主要な意味合いは、正則関数がそこで定義できることである。 今日、リーマン面は正則関数、特に、平方根や自然対数等の多価関数の大域的振る舞いを研究するための自然な土台と考えられている。 全てのリーマン面は向きづけ可能な実 2 次元の実解析的多様体（従って曲面）であって、正則関数を一義的に定義するために必要な追加的構造（特に複素構造）を含む。2 次元実多様体は、それが向き付け可能な場合、かつその場合に限り、（通常は、等価でない複数の方法により）リーマン面にすることができる。従って、球面やトーラスは複素構造を持ち得るが、メビウスの輪、クラインの壺および射影平面は持ち得ない。 リーマン面は、でき得る限り良い特性を有しているという幾何学的事実から、他の曲線、多様体または代数多様体に対し一般化の直感および動機をしばしばもたらす。リーマン・ロッホの定理は、この影響の第一の例である。.
新しい！!: 代数曲線とリーマン面 · 続きを見る »
ロビン・ハーツホーン
ビン・ハーツホーン（Robin Hartshorne, 1938年3月15日 - ）はアメリカの数学者。「ハートショーン(Hart-shorne)」と発音するとする説があるが、「ハーツホーン(Harts-horne)」が本人も認めている発音。 オスカー・ザリスキ、デヴィッド・マンフォード、ジャン＝ピエール・セール、アレクサンドル・グロタンディークより代数幾何学を学ぶ。1958年秋、Putnamフェロー(Junior Fellow) となり、1963年、ジョン・コールマン・ムーア、オスカー・ザリスキの元でヒルベルト・スキームの連結性に関する論文により博士号を取得し、ハーバード大学フェローとなり、数年間講義を行った。1970年代にカリフォルニア大学バークレー校教授に就任し、現在退職し同大学名誉教授。 世界的に有名な代数幾何学の教科書の著者として有名。 趣味は尺八を吹くこと。.
新しい！!: 代数曲線とロビン・ハーツホーン · 続きを見る »
プリンストン大学出版局
プリンストン大学出版局（Princeton University Press）とは、独立系の出版社でプリンストン大学と近い関係を持っている。広大なや社会においてスカラーシップを広めることを目的にしている。 1905年にホイットニー・ダローによって設立された。その際にプリンストンコミュニティに印刷機を納品する形でチャールズ・スクリブナーが金融面で支援した。最初に出版した本はジョン・ウィザースプーン著「Lectures on Moral Philosophy」の新たな1912年版だった。.
新しい！!: 代数曲線とプリンストン大学出版局 · 続きを見る »
ピクセル
ピクセル（pixel）、または画素とは、コンピュータで画像を扱うときの、色情報 (色調や階調) を持つ最小単位、最小要素。しばしばピクセルと同一の言葉として使われるドットとは、後者が単なる物理的な点情報であることで区別される。例えばディスプレイにおいて320×240ピクセルの画像を100％表示すれば320×240ドットとなるが、200％表示ならば640×480ドットとなる。 ピクセルは、一般的に「写真の要素」を意味する英語の「picture element」からの造語、または「写真の細胞」を意味する英語の「picture cell」からの造語とされる。picture elementのもう一つの略語pelは、絵素（えそ）と表現する場合、画素をサブピクセルとして位置付けることもあったが、歴史的用語となりつつある。 ピクセルの拡大図の例 コンピュータでは連続的な値を扱えない為、画像を扱うにも量子化する必要がある。例えば、640×480ピクセルの画像は、横640個、縦480個の点を並べて表現されていることを示す。ディスプレイなどのデバイスにおいては、一般的なラスタディスプレイでは、ピクセルを単位として画像を表示する。.
テイラー展開
数学において、テイラー級数 (Taylor series) は関数のある一点での導関数たちの値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開という。 テイラー級数の概念はスコットランドの数学者ジェームズ・グレゴリーにより定式化され、フォーマルにはイギリスの数学者ブルック・テイラーによって1715年に導入された。0 を中心としたテイラー級数は、マクローリン級数 (Maclaurin series) とも呼ばれる。これはスコットランドの数学者コリン・マクローリンにちなんでおり、彼は18世紀にテイラー級数のこの特別な場合を積極的に活用した。 関数はそのテイラー級数の有限個の項を用いて近似することができる。テイラーの定理はそのような近似による誤差の定量的な評価を与える。テイラー級数の最初のいくつかの項として得られる多項式はと呼ばれる。関数のテイラー級数は、その関数のテイラー多項式で次数を増やした極限が存在すればその極限である。関数はそのテイラー級数がすべての点で収束するときでさえもテイラー級数に等しいとは限らない。開区間（あるいは複素平面の開円板）でテイラー級数に等しい関数はその区間上の解析関数と呼ばれる。.
新しい！!: 代数曲線とテイラー展開 · 続きを見る »
ファルティングスの定理
数論では、モーデル予想(Mordell conjecture)は、 で提出された予想で、有理数体 Q 上に定義された 1 よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である。後日、この予想は Q を任意の数体へ置き換えた予想へ一般化された。この予想は により証明されたので、ファルティングスの定理(Faltings' theorem)として知られている。.
新しい！!: 代数曲線とファルティングスの定理 · 続きを見る »
ベズーの定理
2つの三次曲線は9つの点で交わる ベズーの定理（ベズーのていり、Bézout's theorem）は、2つの平面代数曲線の交点の個数に関する、代数幾何学における定理である。おおまかには、m 次の曲線と n 次の曲線は mn 個の交点を持つ、という内容である。ただし、複素数の範囲（一般には基礎体の代数閉包）で考えること、無限遠点を考慮に入れた射影平面で考えること、「重複」して交わっている場合を適切に扱うことが必要であり、また、2つの曲線が共通成分を持つような特殊な場合は除かなければならない。定理には18世紀のフランスの数学者、エティエンヌ・ベズーの名が冠されているが、後述のように、厳密な証明を与えたのは別人である。.
新しい！!: 代数曲線とベズーの定理 · 続きを見る »
分数イデアル
数学、特に可換環論において、分数イデアル（fractional ideal）の概念は整域の文脈で導入され、特にデデキント整域の研究において成果が多い。ある意味で、整域の分数イデアルは分母が許されたイデアルのようなものである。分数イデアルと普通の環のイデアルがともに議論に出てくるような文脈では、明確にするために後者を整イデアル (integral ideal) と呼ぶこともある。.
新しい！!: 代数曲線と分数イデアル · 続きを見る »
アメリカ数学会
アメリカ数学会（アメリカすうがくかい、英語：American Mathematical Society、略称：AMS）は、アメリカ合衆国の数学の学会である。現会員数は、32000人。 イギリス滞在中にロンドン数学会の影響を受けたトーマス・フィスクによって1888年に設立された。1894年7月に、現在の名前で再編成された。 AMS は組版処理ソフトウェア TeX の主唱者であり、AmS-TeX や AmS-LaTeX の開発を支援した。また、との合弁事業で MathJax オープンソースプロジェクトを管理している。.
新しい！!: 代数曲線とアメリカ数学会 · 続きを見る »
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.
新しい！!: 代数曲線とアーベル群 · 続きを見る »
アフィン空間
数学において、アフィン空間（あふぃんくうかん、affine space, アファイン空間とも）または擬似空間（ぎじくうかん）とは、幾何ベクトルの存在の場であり、ユークリッド空間から絶対的な原点・座標と標準的な長さや角度などといった計量の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。（代数的な）ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。 1次元のアフィン空間はアフィン直線、2次元のアフィン空間はと呼ばれる。.
新しい！!: 代数曲線とアフィン空間 · 続きを見る »
クルル次元
数学、とくに可換環論において可換環のクルル次元（クルルじげん、Krull dimension）とは、素イデアルのなす減少列の長さの上限である。ヴォルフガング・クルルに因んで名づけられた。文脈から明らかなときには単に次元と呼ぶことも多い。.
新しい！!: 代数曲線とクルル次元 · 続きを見る »
クロード・シュヴァレー
ード・シュヴァレー クロード・シュヴァレー（Claude Chevalley, 1909年2月11日 - 1984年6月28日）は、フランスの数学者、哲学者。ブルバキのメンバーの一人。.
新しい！!: 代数曲線とクロード・シュヴァレー · 続きを見る »
グラフ (関数)
関数のグラフ（graph）は、直観的には、関数を平面内の曲線もしくは空間内の曲面としてダイアグラム状に視覚化したものである。形式的には、関数 のグラフとは、順序対 の集合である。 例えば、 と が常に実数であるような関数の場合、グラフは座標平面上の点の集まりとみなすことができる。このような関数のうち、応用上重要な関数の多くは、グラフを座標平面上に曲線として描くことが可能である。 グラフの概念は、関数のみならず、より一般の写像や対応に対しても定義される。標語的には、グラフは関数や対応を特徴付ける集合であるといえる。.
新しい！!: 代数曲線とグラフ (関数) · 続きを見る »
グレブナー基底
レブナー基底（グレブナーきてい、Gröbner basis）は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される（#計算例参照）。 グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている。.
新しい！!: 代数曲線とグレブナー基底 · 続きを見る »
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: 代数曲線とケンブリッジ大学出版局 · 続きを見る »
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: 代数曲線とコンパクト空間 · 続きを見る »
ジャン＝ピエール・セール
ャン＝ピエール・セール（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理論。その他にリー群などにも業績がある。.
新しい！!: 代数曲線とジャン＝ピエール・セール · 続きを見る »
ジョン・ウィラード・ミルナー
ョン・ウィラード・ミルナー ジョン・ウィラード・ミルナー（John Willard Milnor, 1931年2月20日 - ）はアメリカ合衆国の数学者。微分幾何学、K理論、力学系の研究および、これまで数学の名著の好例と見なされてきた数々の著書で知られる。1962年にフィールズ賞を受賞した。現在はニューヨーク州立大学ストーニブルック校で教授を務めている。妻のDusa McDuffもストーニブルック校の教授である。.
新しい！!: 代数曲線とジョン・ウィラード・ミルナー · 続きを見る »
円錐曲線
円錐曲線（えんすいきょくせん、conic curve, conic section; 円錐断面）とは、円錐面を任意の平面で切断したときの断面としてえられる曲線群の総称である。.
写像度
写像度（しゃぞうど、degree）とは、コンパクト、弧状連結、向き付けられた同次元の多様体間での連続写像を特徴付ける整数のこと。写像のホモトピー不変量のひとつである。.
函数体 (スキーム論)
ーム X の有理函数体の層(sheaf of rational functions) KX は、古典的な代数幾何学での代数多様体の函数体の考え方のスキーム論への一般化である。多様体の場合には、そのような層が、各々の開集合 U へ開集合上の全ての有理函数の環を関連付ける、言い換えると、KX(U) は U 上の正則函数(regular function)の分数の集合である。この「函数体」という名前にも関わらず、一般的なスキームの場合には、KX は、必ずしも体であるとは限らない。 X of a scheme X is the generalization to scheme theory of the notion of function field of an algebraic variety in classical algebraic geometry.
新しい！!: 代数曲線と函数体 (スキーム論) · 続きを見る »
勾配 (ベクトル解析)
ベクトル解析におけるスカラー場の勾配（こうばい、gradient; グラディエント）は、各点においてそのスカラー場の変化率が最大となる方向への変化率の値を大きさにもつベクトルを対応させるベクトル場である。簡単に言えば、任意の量の空間における変位を、傾きとして表現（例えば図示）することができるが、そこで勾配はこの傾きの向きや傾きのきつさを表している。 ユークリッド空間上の関数の勾配を、別なユークリッド空間に値を持つ写像に対して一般化したものは、ヤコビ行列で与えられる。さらに一般化して、バナッハ空間から別のバナッハ空間への写像の勾配をフレシェ微分を通じて定義することができる。.
新しい！!: 代数曲線と勾配 (ベクトル解析) · 続きを見る »
種数
数（しゅすう、genus; ジーナス）は、数学用語で、分野によって似通っているがいくらか異なる意味を持つ。なお、genus の複数形は genera。.
素イデアル
素イデアル（prime ideal）は、環のイデアルで、ある条件を満たすものである。歴史的には、素数（素元）の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環（一般に）のすべてのゼロでない（整）イデアルは、素イデアルの有限個の積として（順序を除いて）一意的に書ける（イデアル論の基本定理）。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.
新しい！!: 代数曲線と素イデアル · 続きを見る »
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
新しい！!: 代数曲線と違いを除いて · 続きを見る »
行列の階数
線型代数学における行列の階数（かいすう、rank; ランク）は、行列の最も基本的な特性数 (characteristic) の一つで、その行列が表す線型方程式系および線型変換がどのくらい「非退化」であるかを示すものである。行列の階数を定義する方法は同値なものがいくつもある。 例えば、行列 の階数 （あるいは または丸括弧を落として ）は、 の列空間（列ベクトルの張るベクトル空間）の次元に等しく、また の行空間の次元とも等しい。行列の階数は、対応する線型写像の階数である。.
新しい！!: 代数曲線と行列の階数 · 続きを見る »
補有限
数学において、集合 X の部分集合 A が補有限（ほゆうげん、cofinite; 余有限）であるとは、A の X における補集合が有限集合であることをいう。すなわち、補有限集合 A は「 ''X'' の'''有限個の例外を除く全て'''の元を含む」ような X の部分集合である。補集合が有限でなく可算である場合、その集合は補可算（あるいは余可算）であるという。 補有限の概念は、有限集合に関するものを無限集合に対して一般化する際に自然に生ずる。特に、直積位相や直和加群などのような無限積について、無限であるのと補有限であるのとで本質的な差異を生むものもある。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
超楕円曲線
代数幾何学では、超楕円曲線(hyperelliptic curve)は、次の形の方程式で与えられる代数曲線である。 ここに、f(x) は n 個の異なった根を持つ次数 n > 4 の多項式である。超楕円函数(hyperelliptic function)は、そのような曲線上の、もしくは曲線上のヤコビ多様体上の函数体の元である。これらの 2つの概念は楕円曲線の場合には一致するが、しかし、現在のケースでは異なっている。図 1 は、 としたときの、C: y^2.
新しい！!: 代数曲線と超楕円曲線 · 続きを見る »
関数の零点
関数 f の 零点（れいてん、zero, 根（こん、）と呼ばれることもある）とは、f の定義域の元 x であって、 を満たすようなもののことである。別の言い方をすれば、関数 f の零点 (zero) とは、x を f で写した結果が 0 (zero) となるような値 x のことである。f(x) が x で消えている (vanish) と表現することもできる。実関数、複素関数、あるいは一般に、環に値を持つ関数やに対して用いられる。 多項式の根 (root) とは、それを多項式関数として考えたときの零点のことである。代数学の基本定理によると、0 でない任意の多項式は根を高々その個だけもち、根の個数と次数は、複素数の根（あるいはより一般に代数的に閉じている拡大における根）を重複度を込めて考えると等しい。例えば、多項式 で定義される2次多項式 f は2つの根 2 と 3 をもつ。なぜなら、 となるからである。 関数が実数を実数に写すならば、その零点はグラフが ''x'' 軸と交わる点の x 座標である。この意味でそのような点 (x, 0) を x 切片 (x-intercept) とも呼ぶ。 複素数の概念は（判別式が負の値となる）二次方程式や三次方程式の根（負の数の平方根等が含まれる）を扱うために発展したものである。 最も重要な未解決問題の1つであるリーマン予想は、リーマンゼータ関数の複素根の位置に関するものである。.
新しい！!: 代数曲線と関数の零点 · 続きを見る »
重複度 (数学)
数学において、多重集合の元の重複度（ちょうふくど、じゅうふくど、multiplicity）は、それがその多重集合において現れる回数である。例えば、与えられた多項式方程式が与えられた点において持つ根の数など。 重複度の概念は、（「二重根」は二個と考えるなどの）例外を指定せずとも「重複度を込めて」(with multiplicity) と表現すれば正確に数えることができるという点で重要である。 重複度を無視する場合には、そのことを「相異なる根の個数」というように相異なる（あいことなる、distinct）と言って強調することもある。ただし、（多重集合ではなく）集合を考える場合には「相異なる」と断らずとも自動的に重複度は無視される。.
新しい！!: 代数曲線と重複度 (数学) · 続きを見る »
臨界点 (数学)
数学において，あるいはの可微分関数の臨界点（りんかいてん，critical point）あるいは（ていりゅうてん，stationary point）とは，微分が 0 あるいは未定義となる定義域内の任意の値である．に対して，臨界点はすべての偏微分が 0 になるような定義域内の値である．関数の臨界点における値は臨界値（りんかいち，critical value）である． この概念の興味は，関数が極値をとる点は臨界点であるという事実にある． この定義は と の間の可微分写像に拡張し，臨界点はこの場合ヤコビ行列の階数が最大でない点である．さらに，可微分多様体の間の可微分写像にも同様に拡張される．この場合，臨界点は とも呼ばれる． 特に， が陰方程式 で定義される平面曲線のとき， 軸に平行な 軸への射影の臨界点は の接線が 軸に平行な点，つまり，\frac(x,y).
新しい！!: 代数曲線と臨界点 (数学) · 続きを見る »
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
陰関数
数学の特に解析学における陰函数（いんかんすう、implicit function; 陰伏函数）は、陰伏方程式すなわち適当な多変数函数（しばしば多変数多項式） によって の形に表される関係によって（その函数の引数のうちの一つの変数のを残りの変数に関係付けることによって）陰伏的 (implicitly) に定義される函数を言う。 例えば、単位円を定める陰伏方程式は であり、このときの に対する陰函数 は、 によって陰伏的に定められる。この陰伏方程式が、 の連続函数として を定めるのは に対してのみ、かつ函数の値として非負の値のみ（あるいは非正の値のみ）を取るものとしたときである（非負または非正の二つの連続な枝がある）。陰函数定理はこのような関係がいつ陰伏函数を定義するのかという十分条件を与えるものである。 が多変数多項式であるときの なる形の関係に対して、この関係を満足する変数の値の組全体の成す集合を、 のときは陰伏曲線、 のときはと呼ぶ。このような陰伏方程式は代数幾何学の基盤であり、古典的な代数幾何学では多項式の零点を記述する陰伏方程式からなる連立方程式の解を研究する。そのようなはアフィン代数的集合と呼ばれる。 微分方程式の解は一般には陰函数の形で得られる。.
接ベクトル空間
多様体上の接ベクトル空間（せつベクトルくうかん、英語：tangent vector space）あるいは 接空間（英語：tangent space）とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。.
新しい！!: 代数曲線と接ベクトル空間 · 続きを見る »
楕円函数
数学の一分野、複素解析における楕円函数（だえんかんすう、elliptic function）は、二方向に周期を持つ有理型のことをいう。歴史的には、楕円函数は楕円積分の逆函数として、ニールス・アーベルによって発見された（楕円積分は楕円の周長を求める問題に関連して研究されていたものである）。.
楕円曲線
数学における楕円曲線（だえんきょくせん、elliptic curve）とは種数 の非特異な射影代数曲線、さらに一般的には、特定の基点 を持つ種数 の代数曲線を言う。 楕円曲線上の点に対し、積に関して、先述の点 を単位元とする（必ず可換な）群をなすように、積を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。 楕円曲線は、代数幾何学的には、射影平面 の中の三次の平面代数曲線として見ることもできる。より正確には、射影平面上、楕円曲線はヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形 により定義された非特異な平面代数曲線に双有理同値である（有理変換によってそのような曲線に変換される）。そしてこの形にあらわされているとき、 は実は射影平面の「無限遠点」である。 また、の標数が でも でもないとき、楕円曲線は、アフィン平面上次の形の式により定義された非特異な平面代数曲線に双有理同値である。 非特異であるとは、グラフが尖点を持ったり、自分自身と交叉したりはしないということである。この形の方程式もヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形という。係数体の標数が や のとき、上の式は全ての非特異を表せるほど一般ではない（詳細な定義は以下を参照）。 が重根を持たない三次多項式として、 とすると、種数 の非特異平面曲線を得るので、これは楕円曲線である。が次数 でとすると、これも種数 の平面曲線となるが、しかし、単位元を自然に選び出すことができない。さらに一般的には、単位元として働く有理点を少なくとも一つ持つような種数 の代数曲線を楕円曲線と呼ぶ。例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。 楕円関数論を使い、複素数上で定義された楕円曲線はトーラスのへの埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。 楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。例えば、アンドリュー・ワイルズにより（リチャード・テイラーの支援を得て）証明されたフェルマーの最終定理で重要な役割を持っている（モジュラー性定理とフェルマーの最終定理への応用を参照）。また、楕円曲線は、楕円暗号(ECC) や素因数分解への応用が見つかっている。 楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。 このように、楕円曲線は次のように見なすことができる。.
概型
数学における概型あるいはスキーム (scheme) とは、可換環に対して双対的に構成される局所環付き空間である。二十世紀半ばにアレクサンドル・グロタンディークによって導入され、以降の代数幾何学において任意標数の代数多様体を包摂し、係数の拡大や図形の「連続的」な変形を統一的に取り扱えるような図形の概念として取り扱われている。さらに、今まで純代数的な対象として研究されてきた環についてもそのアフィンスキームを考えることである種の幾何的対象として、多様体との類推にもとづく研究手法を持ち込むことが可能になる。このため特に数論の分野ではスキームが強力な枠組みとして定着している。 スキームを通じて圏論的に定義される様々な概念は大きな威力を発揮するが、その一方で、古典的な代数幾何においては点とみなされなかった既約部分多様体のようなものまでがスペクトルの「点」になってしまう。このためヴェイユ・ザリスキ流の代数幾何学（これ自体大幅な形式化によって前の世代の牧歌的なイタリア流代数幾何に引導を渡すものだったのだが）を習得して研究していた同時代の学者たちからは戸惑いのこもった反発を受けた。.
標数
標数（ひょうすう、characteristic）は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。.
正弦波
正弦波（赤色）と余弦波（青色）の関数グラフ 正弦波（せいげんは、sine wave、sinusoidal wave）は、正弦関数として観測可能な周期的変化を示す波動のことである。その波形は正弦曲線（せいげんきょくせん、sine curve）もしくはシヌソイド (Sinusoid) と呼ばれ、数学、信号処理、電気工学およびその他の分野において重要な働きをする。.
正則関数
複素解析において、正則関数（せいそくかんすう、regular analytic function）あるいは整型函数（せいけいかんすう、holomorphic function）とは、ガウス平面あるいはリーマン面上のある領域の全ての点で微分可能であるような複素変数のことである。.
求根アルゴリズム
求根アルゴリズムは、与えられた関数f について、f (x).
新しい！!: 代数曲線と求根アルゴリズム · 続きを見る »
滑らかな関数
数学において、関数の滑らかさ（なめらかさ、smoothness）は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.
新しい！!: 代数曲線と滑らかな関数 · 続きを見る »
漸近線
''y''.
有理点
数論において有理点（ゆうりてん、rational point）とは、各座標の値が全て有理数であるような空間の点を言う。 例えば、点 (3, −67/4) は 3 も −67/4 も有理数であるため、2次元空間内の有理点である。有理点の特別な場合は、(integer point)、つまり、その座標が全て整数の点である。例えば、(1, −5, 0) は 3次元空間内の整数点である。より一般的に K を任意の体とするとき、K-有理点は点の各々の座標が体 K に属するような点と定義される。K-有理点に対応する特別な場合は K-整数点、すなわち各座標が（数体） K 内の代数的整数の環の元である場合である。.
斉次多項式
数学において、斉次多項式（せいじたこうしき、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条件.
新しい！!: 代数曲線と既約多項式 · 続きを見る »
既約成分
数学、とりわけ代数幾何学において、既約成分 (irreducible component) の概念は方程式 XY.
放物線
放物線（ほうぶつせん、希:παραβολή「parabolē」、羅、英: parabola、独: Parabel）とは、その名の通り地表（つまり重力下）で投射した物体の運動（放物運動）が描く軌跡のことである。 放物線をその対称軸を中心として回転させた曲面を放物面という。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
曲線
数学における曲線（きょくせん、curve, curved line）は、一般にまっすぐとは限らない幾何学的対象としての「線」を言う。 つまり、曲線とは曲率が零とは限らないという意味での直線の一般化である。 数学の様々な分野において、その研究領域に応じたそれぞれやや異なる意味で「曲線」の語が用いられる（から、精確な意味は文脈に即して捉えるべきである）が、それらの意味の多くは以下に挙げる定義の特別な実例になっているはずである。すなわち、曲線とは局所的に直線と同相であるような位相空間を言う。それは日常語で言えば、曲線は点の集合であって、それらの点が十分近くであれば直線のように見えるが、変形があってもよいというような意味である。数学の各分野で扱われる。 最初に触れる曲線の簡単な例というのはほとんどの場合「平面曲線」（例えば平らな紙の上に描いた曲がった線）であろうが、螺旋のように三次元的なものもある。幾何学的な必要性や、例えば古典力学からの要請で任意次元の空間に埋め込まれた曲線の概念も必要とされる。一般相対論において世界線とは時空内の曲線である。; 注: 一般用語として、「曲線」が（成長曲線やフィリップス曲線の例に見るように）函数のグラフ、あるいはより多様なの意味で用いられることがあるが、本項で言う意味とは（近い関連はあるにせよ）異なるものと理解すべきである。.
曲線の特異点
幾何学において、曲線の特異点（とくいてん、singular point）は曲線がパラメーターの滑らかな埋め込みによって与えられていない点である。特異点の正確な定義は研究している曲線のタイプに依存する。.
新しい！!: 代数曲線と曲線の特異点 · 続きを見る »
曲面
数学、特に位相幾何学における曲面（きょくめん、surface）は二次元位相多様体である。最もよく知られた曲面の例は、古典的な三次元ユークリッド空間 R3 内の立体の境界として得られる曲面である。例えば、球体の境界としての球面はそのようなものの例になっている。他方でクラインの壷などの、特異点や自己交叉を持つことなしに三次元ユークリッド空間に埋め込み不可能な曲面というものも存在する。 曲面が「二次元」であるというのは、それが二次元の座標系を入れた「座標付きのきれはし」の貼り合せになっているということを指し示している。例えば、「地球の表面」は（理想的には）二次元球面であり、経線と緯線はその球面上の二次元座標系を与えている（ただし、両極を180度子午線で結んだ部分を除く）。.
