ブラウザよりも高速アクセス！
97 関係: 埋め込み (数学)、単位行列、単項式、可逆元、可換体、可換環、多変数多項式、多元環、多項式の展開、多項式の根、多項式の次数、多項式列、多項式環、多項式補間、多重指数、変数 (数学)、定義域、定数、定数多項式、実数、対称代数、不定元、三項式、三角多項式、三角関数、一次関数、二項式、二次関数、代数学、代数的閉体、代数的閉包、代数的構造、代数方程式、引数、形式的冪級数、微分、係数、像 (数学)、モニック多項式、ユークリッド環、ローラン級数、ビクトル・ピュイズー、テンソル代数、フーリエ級数、初等代数学、分離多項式、分数、周期関数、アリティ、アイザック・ニュートン、...、ケンブリッジ大学出版局、コーシー積、スカラー (数学)、冪級数、内挿、剰余環、積分法、空積、算術、線型写像、線型結合、総和、環 (数学)、環準同型、点ごと、無理数、畳み込み、階数、行列、行列多項式、行列環、複素平面、解析学、解析関数、関数 (数学)、重根、自由加群、自由代数、自然数、零多項式、零写像、零点、除法の原理、抽象代数学、次数、準同型、有理関数、有理数、方程式、既約多項式、数学、数学的対象、数式、整関数、整数、普遍性、0の0乗。 インデックスを展開 (47 もっと) »
埋め込み (数学)
数学において、埋め込み（うめこみ、embedding, imbedding）とは、数学的構造間の構造を保つような単射のことである。 It is suggested by, that the word "embedding" is used instead of "imbedding" by "the English", i.e. the British.
新しい！!: 多項式と埋め込み (数学) · 続きを見る »
単位行列
数学、特に線型代数学において、単位行列（たんいぎょうれつ、identity matrix）とは、単位的環上で定義される同じ型の正方行列同士の、積演算における単位元のことである。.
単項式
数学における単項式（たんこうしき、monomial）とは、大ざっぱに言えばただひとつの項しかもたない多項式のことをいう。単項式は多項式（あるいは形式冪級数）の項として、一般の多項式（形式冪級数）を構成する構成ブロックの役割を果たす。"polynomial"（多項式）という単語は「多数」を意味する接頭辞 "poly-" に（「部分」を意味する）ギリシャ語 "νομός" (nomós) を足したものに由来するので、monomial（単項式）は理論上は "mononomial" と呼ばれるべきであり、"monomial" は "mononomial" の語中音消失である。.
可逆元
数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
可換環
数学、特に抽象代数学の一分野である環論における可換環（かかんかん、commutative ring）は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。.
多変数多項式
代数学における適当な単位的可換環 に係数を持つ多変数多項式（たへんすうたこうしき、multi­variable polynomial; multi­variate polynomial, polynôme en plusieurs indéterminées, 多元多項式）は、不定元 に関する一変数多項式環 を一般化する -結合多元環の元を言う。有限個の不定元に関する多項式環 は に関して帰納的に構成できる。すなわち、この多項式環は、一つの不定元 の多項式環 に係数を持つ多項式全体の成す環である。任意の添字集合 （無限集合でもよい）で添字付けられた任意個数の不定元 に関する多項式環 は、 の任意の有限部分集合 に対する多項式環 を亙る「合併」として定義される。より精確には、 が有限でも無限でも、 はモノイド環として定義できる。それはつまり、モニック単項式（つまり有限個の不定元 からなる冪積）全体の成すモノイドを考え、それら単項式の -係数の形式線型結合として多項式は定義されるということである。 以下本項では、 は単位的可換環とし、-多元環は結合的かつ単位的な多元環を意味するものとする。.
新しい！!: 多項式と多変数多項式 · 続きを見る »
多元環
数学において、多元環（たげんかん、algebra）とは可換環上の加群としての構造を持ち、その構造と両立しているような積を持つ代数的構造のことである。algebra を直訳して代数（だいすう）と呼ぶことも多い。また、ブルバキの数学原論では（結合的なものを）線型環（せんけいかん）と呼んでいる。 双対概念である余代数（双対多元環）も参照。.
多項式の展開
数学において、多項式の展開 (たこうしきのてんかい、polynomial expansion) とは、複数の多項式の積をひとつの多項式で表すことをいう。これは、因数分解と逆の操作である。式の見た目として括弧が無くなるため、展開することを俗に「括弧を外す」ということもある。因数分解には統一的な方法論が無いのに対し、展開は分配法則を用いて機械的に行うことができる。この法則は、級数に対するものに自然に拡張される。.
新しい！!: 多項式と多項式の展開 · 続きを見る »
多項式の根
数学における多項式 の根（こん、root）は、 を満たす値 を言う。すなわち、根は未知数 の多項式方程式 の解であり、また対応する多項式函数の零点である。例えば、多項式 の根は および となる。 ある体に係数を持つ非零多項式は、「より大きい」体の中にしか根を持たないこともあるが、根の数はその多項式の次数より多くなることはない。例えば は次数 で有理数係数だが、有理根を持たず、二つの根を実数体 に（したがって 複素数体 の中に）おいて持つ。ダランベール–ガウスの定理は次数 の任意の複素係数多項式が（必ずしも異ならない） 個の根を持つことを述べるものである。 多項式の根の概念は、多変数多項式の零点の概念に一般化される。.
多項式の次数
数学、初等代数学における多項式の次数（じすう、degree）は、多項式を不定元の冪積の線型結合からなるに表すとき、そこに現れる項のうち最も高い項の次数を言う。ここに、項の次数とは、それに現れる不定元の冪指数の総和である。次数の同義語として「位数」「階数」(order) が用いられることもあるが、今日的にはに取られるのが普通だろう。 例えば、多項式 は三つの項からなる。多項式の記法に関する通常の規約により、この多項式は厳密には を意味することに注意する。最初の項の次数は （冪指数 と の和）であり、二番目の項の次数は, 最後の項の次数は であるから、この中で最高次の項の次数である がこの多項式の次数ということになる。 上のような標準形になっていない多項式の次数の決定に際しては、たとえば のような場合、積は分配法則に従って展開し、同類項をまとめて、まずは標準形に直さなければならない。いまの例では だから次数は である（二つの二次式の和をとったにもかかわらず、である）。しかし、多項式が標準形の多項式の「積」に書かれている時には、積の次数は各因子の次数の総和として計算できるから、必ずしも展開・整理は要しない。 多項式の次数の日本語名称は、一貫して次数の値に接尾辞「-次」をつける。英語名称は、いくつかの例外はあるが基本的にラテン語の序数詞に形容詞を作る接尾辞の -ic を付けて表す。次数と不定元の数はきちんと区別されるべきであって、こちらには接尾辞「-元」あるいは「-変数」を付ける（英語名称ではラテン語に接尾辞 -ary が付く）。例えば のような二つの不定元に関する次数 の多項式は「二元二次」("binary quadratic") であると言い、二元 (binary) が不定元の数が であることを、二次 (quadratic) 次数が であることを言い表している。もう一つ、項の数も明示するなら「-項式」（英語名称では ラテン配分数詞に接尾辞 -nomial）を付ける。単項式 (monomial), 二項式 (binomial) あるいは三項式 (trinomial) など。つまり、例えば は「二元二次二項式」("binary quadratic binomial") である。 以下しばらくは一元多項式に関して述べる。.
新しい！!: 多項式と多項式の次数 · 続きを見る »
多項式列
数学における多項式列（たこうしきれつ、）は、非負の整数 によって添字付けられた多項式の列であって、各添字が対応する多項式の次数と等しいものを言う。多項式列は、数え上げ組合せ論やの他、応用数学において興味の持たれているトピックの一つである。.
多項式環
数学、殊に抽象代数学における多項式環（たこうしきかん、polynomial ring）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。.
多項式補間
多項式補間（たこうしきほかん、polynomial interpolation）は、数値解析において、与えられたデータ群を多項式で内挿（補間）することである。言い換えれば、標本調査などで得たデータ群について、それらを正確に通る多項式を見つけることである。.
多重指数
数学において多重指数記法（たじゅうしすうきほう、multi-index notation; 多重添字記法）は、添字記法を順序組を用いて多重化（多変数に一般化）する表記法であり、多変数微分積分学、偏微分方程式論、シュヴァルツ超関数論などの分野において、主に整数冪の冪指数などの添字を多重化した多重指数、多重添字を用いて様々な式の表記を簡潔にする。.
変数 (数学)
数学、特に解析学において変数（へんすう、variable）とは、未知あるいは不定の数・対象を表す文字記号のことである。代数学の文脈では不定元（ふていげん、indeterminate）の意味で変数と言うことがしばしばある。方程式において、特別な値をとることがあらかじめ期待されている場合、（みちすう）とも呼ばれる。また、記号論理学などでは（変数の表す対象が「数」に限らないという意味合いを込めて）変項（へんこう）とも言う。.
新しい！!: 多項式と変数 (数学) · 続きを見る »
定義域
数学における写像の定義域（ていぎいき、domain of definition）あるいは始域（しいき、domain; 域, 領域）とは、写像の値の定義される引数（「入力」）の取り得る値全体からなる集合である。つまり、写像はその定義域の各元に対して（「出力」としての）値を与える。 例えば、実数の範囲での議論において、余弦函数の定義域はふつう実数全体の成す集合（実数直線）であるし、正の平方根函数の定義域は 以上の実数全体の成す集合であるものとする。定義域が実数から成る集合（実数全体の成す集合の部分集合）であるような実数値函数は、その定義域が -軸上にあるものとして -直交座標系に表すことができる。.
定数
数学における定数（ていすう、じょうすう、constant; 常数）あるいは定項 (constant term) は、二つの異なる意味を示し得る。そのひとつは固定 (fix) され、矛盾なく定義された数（またはもっとほかの数学的対象）であり、この意味で言う定数であることをはっきりさせるために「数学定数」（あるいは「物理定数」もそうだが）という語を用いることもある。もう一つの意味は、定数函数またはその（これらはふつうたがいに同一視される）を指し示すもので、この意味での「定数」は扱う問題における主変数に依存しない変数という形で表されるのが普通である。後者の意味での例として、は、与えられた函数の原始函数をすべて得るために特定の原始函数に加えられる、任意の（積分変数に依存しないという意味での）定数函数を言う。 例えば、一般の二次函数はふつう を定数（あるいはパラメタ）として のようにあらわされる。ここに変数 は考えている函数の引数のプレースホルダとなるものである。より明示的に のように書けば がこの函数の引数であることが明瞭で、しかも暗黙の裡に が定数であることを提示できる。この例では、定数 はこの多項式の係数と呼ばれる。 の項は を含まないからと呼ばれ（これを の係数と考えることができる）、多項式において次数が零の任意の項または式は定数である。.
定数多項式
数学における定数多項式（ていすうたこうしき、constant polynomial）は、以外の全ての項に関して、その係数が零であるような多項式を言う。 零多項式は定数項も含めたすべての項の係数が零となるような多項式で、もちろん定数多項式に含む。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
対称代数
数学において、体 K 上のベクトル空間 V 上で定義される対称代数（たいしょうだいすう、symmetric algebra）S(V) あるいは Sym(V) は、V を含む K 上の自由可換単位的結合代数である。 対称代数の元は、座標の取り方に依らず V の元を不定元とする多項式に対応する。このとき、対称代数の双対 S(V&lowast) の元は V 上の多項式（函数）に対応する。 対称代数と V 上の対称テンソル空間とを混同してはならない。.
不定元
不定元 (indeterminate) は多項式や形式的冪級数に現れる記号であり、しばしば変数と呼ばれる。正式には、不定元は変数ではなく、多項式環や形式的冪級数環の定数である。しかしながら、多項式や形式的級数とそれらの定義する関数との間の強い関係のために、多くの著者は不定元を変数の特別な種類と考える。 例えば、二元体 F2 において多項式 X2 + X を考えると、これは 0 ではないが、この多項式の表す多項式関数は 0 である。 Category:抽象代数学 Category:数学に関する記事.
三項式
初等代数学における三項式（さんこうしき、trinomial）は、三つの項からなる多項式を言う。より一般には、三つの項からなる（三項代数式: trinomial expression）を単に三項式 と呼ぶこともある（これと対照に、三項からなる多項式の方は「三項多項式」と呼んで区別する）。.
三角多項式
数学の一分野である数値解析および解析学における三角多項式（さんかくたこうしき、trigonometric polynomial）は、一つ以上の自然数 に対する函数 の有限線型結合である。実数値函数に対しては、結合の係数は実数に取ることができる。複素係数の場合には、三角多項式とはフーリエ多項式（有限フーリエ級数）の事に他ならない。 三角多項式は、例えば周期函数の補間に適用できるに利用されるなど、広く用いられる。離散フーリエ変換にも用いられる。 「三角多項式」という名称は、実数値の場合には「多項式の空間に対するの代わりに を用いたもの」というアナロジーによって理解することができる。複素係数の場合には、三角多項式全体の成す空間は の正負の整数冪によって張られる。.
三角関数
三角関数（さんかくかんすう、trigonometric function）とは、平面三角法における、角の大きさと線分の長さの関係を記述する関数の族および、それらを拡張して得られる関数の総称である。三角関数という呼び名は三角法に由来するもので、後述する単位円を用いた定義に由来する呼び名として、円関数（えんかんすう、circular function）と呼ばれることがある。 三角関数には以下の6つがある。.
一次関数
y-切片を持つ。 数学、特に初等解析学における（狭義の）一次関数（いちじかんすう、linear function）は、（の）一次（）、つまり次数 の多項式が定める関数 をいう。ここで、係数 は に依存しない定数であり、矢印は各値 に対して を対応させる関数であることを意味する。特に解析幾何学において、係数および定義域は実数の範囲で扱われ、その場合一次関数のグラフは平面直線である。 より広義には、係数や定義域として複素数やその他の環を考えたり、多変数の一次多項式函数や、あるいは一次式をベクトル空間や作用を持つ加群の文脈で理解することもある。 一次関数は線型関数（ の直訳）やアフィン関数 とも呼ばれ、この場合しばしば定数関数 も含む。ベクトルを変数とする広義の一次関数はアフィン写像と呼ばれ、これはベクトルにベクトルを対応させる写像であるが、ふつう線型写像はその特別な場合 で斉一次函数で与えられる。 以下、解析幾何学における実函数としての一次函数について述べる。.
二項式
代数学における二項多項式あるいは二項式（にこうしき、bi­nomial）は、二つの項（各項はつまり単項式）の和となっている多項式をいう。二項式は単項式に次いで最も簡単な種類の多項式である。.
二次関数
二次関数はグラフでは放物線を表す。図はy.
代数学
代数学（だいすうがく、algebra）は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」や「方程式の解法の学問」という理解の仕方は必ずしも適当ではない。現代数学においては、方程式の研究は方程式論（代数方程式論）という代数学の古典的一分野として捉えられている。現在は代数学と言えば以下の抽象代数学をさすのが普通である。 現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は代数系がもつ代表的な代数的構造である。 群・環・多元環・体の理論はガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 半群は、群・環・多元環・体・束に共通する最も原始的な構造である。 現代日本の大学では 1, 2 年次に、微分積分学と並んで、行列論を含む線型代数学を教えるが、線型代数学は線型空間という代数系を対象とすると共に、半群・群・環・多元環・体と密接に関連し、集合論を介して、また公理論であるために論理学を介して、束とも繋がっている。 現代ではまた、代数学的な考え方が解析学・幾何学等にも浸透し、数学の代数化が各方面で進んでいる。ゆえに、代数学は数学の諸分野に共通言語を提供する役割もあるといえる。.
代数的閉体
数学において、体 が代数的に閉じているまたは代数的閉体（だいすうてきへいたい、; 代数閉体）であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.
代数的閉包
数学、特に抽象代数学において、体 K の代数的閉包（だいすうてきへいほう、algebraic closure）は、代数的に閉じている K の代数拡大である。数学においてたくさんある閉包のうちの1つである。 ツォルンの補題を使って、すべての体は代数的閉包をもつMcCarthy (1991) p.21Kaplansky (1972) pp.74-76ことと、体 K の代数的閉包は K のすべての元を固定するような同型の違いを除いてただ1つであることを証明できる。この本質的な一意性のため、an algebraic closure of K よりむしろ the algebraic closure of K と呼ばれることが多い。 体 K の代数的閉包は K の最大の代数拡大と考えることができる。このことを見るためには、次のことに注意しよう。L を K の任意の代数拡大とすると、L の代数的閉包は K の代数的閉包でもあり、したがって L は K の代数的閉包に含まれる。K の代数的閉包はまた K を含む最小の代数的閉体でもある。なぜならば、M が K を含む任意の代数的閉体であれば、K 上代数的な M の元全体は K の代数的閉包をなすからだ。 体 K の代数的閉包の濃度は、K が無限体ならば K と同じで、K が有限体ならば可算無限である。.
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
代数方程式
数学において、代数方程式 (だいすうほうていしき、algebraic equation) とは（一般には多変数の）多項式を等号で結んだ形で表される方程式の総称で、式で表せば の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。.
引数
引数（ひきすう）は、数学における関数やコンピュータプログラムにおける手続きにおいて、その外部と値をやりとりするための特別な変数、あるいはその変数の値のことである。 数学や最適化問題に関するそれ（「パラメータ」とカタカナで表現されることが多い）については「媒介変数」の記事を参照のこと。以下は専らコンピュータプログラミングに関して説明する。 関数・サブルーチン・メソッド等を定義する時に、外部から値を渡される特別な変数として指定されるのが仮引数。関数（等）を呼出す式において、仮引数に対応する式（あるいはその値）が実引数である。実行時には、実引数の値を仮引数が受け取る。 「引数」を「いんすう」と読む読み方もあるが、術語としては変則的に湯桶読みして「ひきすう」としている。数学分野で因数との取違えを防ぐためといった理由もある。.
形式的冪級数
数学において、形式的冪級数（けいしきてきべききゅうすう、formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。例えば、（ を不定元として） は（多項式ではない）冪級数である。.
新しい！!: 多項式と形式的冪級数 · 続きを見る »
微分
数学におけるの微分（びぶん）、微分係数、微分商または導函数（どうかんすう、derivative）は、別の量（独立変数）に依存して決まるある量（函数の値あるいは従属変数）の変化の感度を測るものである。微分は微分積分学の基本的な道具である。例えば、動く物体の位置の時間に関する導函数はその物体の速度であり、これは時間が進んだときその物体の位置がどれほど早く変わるかを測る。 一変数函数の適当に選んだ入力値における微分係数は、その点における函数のグラフの接線の傾きである。これは導函数がその入力値の近くでその函数の最適線型近似を記述するものであることを意味する。そのような理由で、微分係数はしばしば「瞬間の変化率」として記述される。瞬間の変化率は独立変数に依存する従属変数である。 微分はにも拡張できる。この一般化において、導函数はそのグラフが（適当な変換の後）もとの函数のグラフを最適線型近似する線型変換と解釈しなおされる。ヤコビ行列はこの線型変換を独立および従属変数を選ぶことで与えられる基底に関して表現する行列であり、独立変数に関する偏微分を用いて計算することができる。多変数実数値函数に対して、ヤコビ行列は勾配に簡約される。 導函数を求める過程を微分あるいは微分法、微分演算 (differentiation) と言い、その逆の過程（原始函数を求めること）をという。微分積分学の基本定理は反微分が積分と同じであることを主張する。一変数の微分積分学において微分と積分は基本的な操作の二本柱である。.
係数
係数（けいすう、coefficient）は、多項式の各項（単項式）を構成する因子において、変数（不定元）を除いた、定数等の因子である。例えば、4α+3β+2における、4と3と2である。この例では2がそれであるが、それ自体で項全体となっている項（あるいは、形式的には 1に掛かっている係数）を、特に定数項と呼ぶ。.
像 (数学)
'''f''' は始域 '''X''' から終域 '''Y''' への写像。'''Y''' の内側にある小さな楕円形が '''f''' の像である。 数学において、何らかの写像の像（ぞう、image）は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による（または f に関する、f のもとでの、f を通じた）X の像という。また、写像の終域の何らかの部分集合 S の逆像（ぎゃくぞう、inverse image）あるいは原像（げんぞう、preimage）は、S の元に写ってくるような始域の元全体からなる集合である。 像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。.
新しい！!: 多項式と像 (数学) · 続きを見る »
モニック多項式
代数学におけるモニック多項式（モニックたこうしき、monic polynomial; モノ多項式、単多項式）はが の一変数多項式を言う。変数 に関する次数 の多項式は、その一般形を c_nx^n+c_x^+\dotsb+c_2x^2+c_1x+c_0 の形に書くことができる。ただし はこの多項式の係数と呼ばれる定数で、特に係数 は最高次係数と言う。したがって -次多項式がモニックとは x^n+c_x^+\dotsb+c_2x^2+c_1x+c_0 の形に書けることである。 モニック多項式に付随する多項式方程式の性質は、係数環 に極めて依存する。.
新しい！!: 多項式とモニック多項式 · 続きを見る »
ユークリッド環
数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、Euclidean domain）あるいはユークリッド環（ユークリッドかん、Euclidean ring）とは、「ユークリッド写像（次数写像）」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される（ベズーの等式）。また、ユークリッド環の任意のイデアルは主イデアル（つまり、単項生成）であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。 ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環（あるいは実際には有理整数環を考えるので十分だが）と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。 そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。.
新しい！!: 多項式とユークリッド環 · 続きを見る »
ローラン級数
ーラン級数（ローランきゅうすう、Laurent series）とは負冪の項も含む形での冪級数としての関数の表示のことである。テイラー級数展開できない複素関数を表示する場合に利用される。ローラン級数の名は、最初の発表が1843年にピエール・アルフォンス・ローランによってなされたことに由来する。ローラン級数の概念自体はそれより先の1841年にカール・ワイエルシュトラスによって発見されていたが公表されなかった。 特定の点 ''c'' および閉曲線 γ に関して定義されたローラン級数。 積分路である γ は赤で塗ったアニュラスの内側に載っており、アニュラスの内側で ''f''(''z'') は正則である.
新しい！!: 多項式とローラン級数 · 続きを見る »
ビクトル・ピュイズー
Victor Puiseux. ビクトル・ピュイズー（Victor Alexandre Puiseux、1820年4月16日 – 1883年9月9日）はフランスの数学者、天文学者。 アルジャントゥイユに生まれた。高等師範学校で学んだ。1855年から1859年までパリ天文台で働き、1857年からコーシーの後をついで、ソルボンヌ大学の天体力学の教授を務めた。月の運動の理論の発展に貢献した。数学の分野では楕円関数の分野などに業績がある。.
新しい！!: 多項式とビクトル・ピュイズー · 続きを見る »
テンソル代数
数学におけるベクトル空間 上のテンソル代数（テンソルだいすう、tensor algebra） または は 上の任意階のテンソル全体がテンソル積を乗法として成す体上の多元環である。これは多元環をベクトル空間とみなすの左随伴となるという意味において 上の自由多元環、すなわち普遍性を満たすという意味で を含む多元環として「最も一般」のものである。 テンソル代数はまた二種類の余代数構造を持つ。一つは簡素で双代数を定めないが、もう一つはより複雑なもので双代数を導き、さらに対蹠射を以ってホップ代数へ拡張することができる。; 注意: 本項において多元環（代数）は単位的かつ結合的なものと仮定する。.
新しい！!: 多項式とテンソル代数 · 続きを見る »
フーリエ級数
フーリエ級数（フーリエきゅうすう、Fourier series）とは、複雑な周期関数や周期信号を、単純な形の周期性をもつ関数の（無限の）和によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。 熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の和として考え、解を固有解の和として表すものであった。 この重ね合わせがフーリエ級数と呼ばれる。 最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。 フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学などの分野で用いられている。.
新しい！!: 多項式とフーリエ級数 · 続きを見る »
初等代数学
初等代数学（しょとうだいすうがく、英: elementary algebra）は、数学の主要な部門の1つである代数学の基本概念のいくつかを含む。典型的には、中学校の生徒に教えられ、算数の理解を基礎にしている。算数が具体的な数を扱うのに対し、代数学は変数と呼ばれる固定値のない量を導入する。この変数を使うには、代数表記を使うことと算数で導入された演算子の一般的な規則を理解することが必要である。抽象代数学とは異なり、初等代数学は実数と複素数の領域外の代数的構造には関係しない。 量を意味するために変数を使うことで、量と量の間にある一般的な関係を形式的かつ簡潔に表現することができ、より広い範囲の問題を解決することができるようになる。科学と数学における多くの量的関係は、代数方程式として表される。.
分離多項式
数学において、与えられた体 K 上の多項式 P(X) が分離的 (separable) であるとは、K の代数的閉包においてその根が、つまり、重複を考えない根の個数が多項式の次数に等しいことをいう。 この概念はと密接に関係している。K が完全体であれば2つの概念は一致する。一般に、P(X) が分離的であることと、K を含む任意の体上で平方因子をもたないことは同値であり、これは P(X) がその P '(X) と互いに素なとき、かつそのときに限り成り立つ。.
分数
分数（ぶんすう、fraction）とは 2 つの数の比を用いた数の表現方法のひとつである。.
周期関数
数学における周期関数（しゅうきかんすう、periodic function）は、一定の間隔あるいは周期ごとに取る値が繰り返す関数を言う。最も重要な例として、 ラジアンの間隔で値の繰り返す三角関数を挙げることができる。周期関数は振動や波動などの周期性を示す現象を記述するものとして自然科学の各分野において利用される。周期的でない任意の関数は非周期的（ひしゅうきてき、aperiodic）であるという。.
アリティ
アリティ (arity) とは、代数学、論理学、計算機科学などにおいて、関数や算法(演算) が取る引数（オペランド）の個数を意味する用語である。 項数のような訳語が当てられる場合もあるが、arityと英単語のまま用いられることも多い。 複合語としてならば、「変数」（例えば二変数函数、多変数函数）や単に「項」（二項演算、多項関係など）あるいはまた（不定元の数という意味で）「(-)元」（例えば二元連立一次方程式）などはアリティに言及する訳語として存外よく用いられるものである。（しかし同じ語でも、例えば数列や多項式などに用いられる「項」や「項数」はアリティではなく "term" に関する言及である。）.
アイザック・ニュートン
ウールスソープの生家 サー・アイザック・ニュートン（Sir Isaac Newton、ユリウス暦：1642年12月25日 - 1727年3月20日、グレゴリオ暦：1643年1月4日 - 1727年3月31日ニュートンの生きていた時代のヨーロッパでは主に、グレゴリオ暦が使われ始めていたが、当時のイングランドおよびヨーロッパの北部、東部ではユリウス暦が使われていた。イングランドでの誕生日は1642年のクリスマスになるが、同じ日がグレゴリオ暦では1643年1月4日となる。二つの暦での日付の差は、ニュートンが死んだときには11日にも及んでいた。さらに1752年にイギリスがグレゴリオ暦に移行した際には、3月25日を新年開始の日とした。）は、イングランドの自然哲学者、数学者、物理学者、天文学者。 主な業績としてニュートン力学の確立や微積分法の発見がある。1717年に造幣局長としてニュートン比価および兌換率を定めた。ナポレオン戦争による兌換停止を経て、1821年5月イングランド銀行はニュートン兌換率により兌換を再開した。.
新しい！!: 多項式とアイザック・ニュートン · 続きを見る »
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: 多項式とケンブリッジ大学出版局 · 続きを見る »
コーシー積
数学の特に初等解析学におけるコーシー積（コーシーせき、Cauchy product）は、二つの無限級数に対する離散的な畳み込み積である。名称はフランス人数学者のオーギュスタン・ルイ・コーシーに因む。 コーシー積が適用できるのは、無限級数あるいは冪級数である。冪級数のコーシー積は冪級数を単に無限級数とみてとったコーシー積であるから、ことさら区別を強調することはないけれども、収束性を考える上では分けておくことは便利である。 コーシー積は数列を添字集合上の離散的な函数と見たときの函数の畳み込みであり、また有限数列または有限級数を、台が有限（つまり、有限個を除くすべての項が零）な無限数列または無限級数と見てコーシー積をとることもできるけれども、その場合は離散畳み込みと呼ぶほうが普通であろう。.
スカラー (数学)
線型代数学では、ベクトル空間のベクトルに対比するものとしての実数をスカラー（scalar）と呼び、ベクトルを定数倍して別のベクトルを作り出す演算としてスカラー乗法（スカラー倍）が定義される。より一般に、実数全体に替えて任意の体、例えば複素数全体を用いてベクトル空間を定義することができるが、そのときのベクトル空間のスカラーとはその体の元のことを示すものということになる。 ベクトル空間の上にスカラー積演算（スカラー倍と混同してはいけない）が定義されれば、二つのベクトルを掛けてスカラーを得ることができる。スカラー積を備えたベクトル空間は内積空間と呼ばれる。 四元数の実部（実成分）のことをスカラー部（スカラー成分）とも呼ぶ。 厳密な言い方ではないが、例えばベクトルや行列、テンソルなどの一般には「複合的」な値で決まる量が、実際には一つの成分に還元されてしまうとき、例えば 1 × n 行列と n × 1 行列の積は厳密には 1 × 1 行列となるが、これをスカラーと見做すことがよく行われる。 行列のスカラー倍を行列の積として実現する「スカラー行列」は、単位行列の適当なスカラー k-倍 kI の形に書ける行列の総称として用いられる。.
新しい！!: 多項式とスカラー (数学) · 続きを見る »
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.
内挿
内挿（ないそう、、補間とも言う）とは、ある既知の数値データ列を基にして、そのデータ列の各区間の範囲内を埋める数値を求めること、またはそのような関数を与えること。またその手法を内挿法（補間法）という。内挿するためには、各区間の範囲内で成り立つと期待される関数と境界での振舞い（境界条件）を決めることが必要である。 最も一般的で容易に適用できるものは、一次関数（直線）による内挿（直線内挿）である。ゼロ次関数（ステップ関数）によってデータ列を埋めること（0次補間）を内挿と呼ぶことはあまりないが、内挿の一種である。 内挿と外挿（補外）とのアルゴリズムの類似性から、それぞれ内挿補間、外挿補間と誤って呼称されることがある。本来、補間と内挿は同義であり、内挿補間と重ねて呼ぶ必要はない。.
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。.
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
空積
数学における空積（くうせき、empty product）あるいは零項積 (nullary product) は、 個の因子を掛けた結果である。（考えている乗法演算に単位元が存在する場合に限り）「空積の値は単位元 1 に等しい」という規約を設ける。このことは、空和（すなわち0個の数を足した結果）が零元 0 に等しいと約束することと同様である。 用語 "空積" は算術的演算を議論するときに上の意味で使われることが多い。しかしながら、この用語は集合論の共通部分、圏論の積、コンピュータプログラミングにおける積に対しても使われる。これらは以下で議論される。.
算術
算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.
線型写像
数学の特に線型代数学における線型変換（せんけいへんかん、linear transformation、一次変換）あるいは線型写像（せんけいしゃぞう、linear mapping）は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像（自己準同型）の意味で用いていることも少なくない。また函数解析学の分野では、（特に無限次元空間上の）線型写像のことを「線型作用素」（せんけいさようそ、linear operator）と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」（いちじけいしき、linear form, one-form; 線型形式; 1-形式）とも呼ばれる一次の微分形式（一次微分形式もしくは微分一次形式; differential one-form）を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.
線型結合
線型結合（せんけいけつごう、）は、線型代数学およびその関連分野で用いられる中心的な概念の一つで、平たく言えば、ベクトルの定数倍と加え合わせのことである。一次結合あるいは線型和とも呼ぶ。 いくつかのベクトルを組み合わせると他のベクトルを作ることができる。例えば、2次元数ベクトルを例にとれば、ベクトル v.
総和
数学において、総和（そうわ、summation）とは与えられた数を総じて加えることである。.
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
新しい！!: 多項式と環 (数学) · 続きを見る »
環準同型
論や抽象代数学において、環準同型（ring homomorphism）は2つの環の間の構造を保つ関数である。 きちんと書くと、R と S が環であれば、環準同型は以下を満たす関数 である。.
点ごと
数学において，点ごとということばは，ある性質がある関数 の各値 を考えることによって定義されることを指し示すために用いられる．点ごとの概念の重要なクラスは点ごとの演算である，つまり，関数に演算を関数の値に定義域の各点に対して別々に適用することによって定義される演算である．重要なもまた点ごとに定義できる．.
無理数
無理数（むりすう、 irrational number）とは、有理数ではない実数、つまり分子・分母ともに整数である分数（比.
畳み込み
畳み込み（たたみこみ、convolution）とは関数 を平行移動しながら関数 に重ね足し合わせる二項演算である。畳み込み積分、合成積、重畳積分、あるいは英語に倣いコンボリューションとも呼ばれる。.
階数
記載なし。
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
行列多項式
数学の分野において、行列多項式（ぎょうれつたこうしき、）とは、行列を変数とする多項式のことを言う。以下に例を挙げる： 行列多項方程式（matrix polynomial equation）とは、ある特定の行列に対して、二つの行列多項式の間に等号が成立するような方程式のことを言う。ある体上の行列 A に対し、P(A).
行列環
抽象代数学において、行列環 (matrix ring) は、および行列の乗法のもとで環をなす、行列の任意の集まりである。別の環を成分に持つ n×n 行列全体の集合や無限次行列環 (infinite matrix ring) をなす無限次行列のある部分集合は行列環である。これらの行列環の任意の部分環もまた行列環である。 R が可換環のとき、行列環 Mn(R) は行列多元環 (matrix algebra) と呼ばれる結合多元環である。この状況において、M が行列で r が R の元であれば、行列 Mr は行列 M の各成分に r をかけたものである。 行列環は単位元をもたない環上作ることができるが、終始 R は単位元 1 ≠ 0 をもつ結合的環であると仮定する。.
複素平面
複素平面 数学において、数平面（すうへいめん、Zahlenebene）あるいは複素数­平面（ふくそすう­へいめん、Komplexe Zahlenebene, complex plane）は、数直線あるいは実数直線 (real line) を実軸 (real axis) として含む。 が実数であるとき、複素数 を単に実数の対とみなせば、平面の直交座標 の点に対応付けることができる。xy-平面上の y-軸は純虚数の全体に対応し、虚軸 (imaginary axis) と呼ばれる。-平面上の点 に複素数 を対応させるとき、-平面とも言う。 1811年頃にガウスによって導入されたため、ガウス平面 (Gaussian plane) とも呼ばれる。一方、それに先立つ1806年に も同様の手法を用いたため、アルガン図 (Argand Diagram) とも呼ばれている。さらに、それ以前の1797年の の書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである。三者の名前をとってガウス・アルガン平面、ガウス・ウェッセル平面などとも言われる。 英語名称 complex plane を「直訳」して複素平面と呼ぶことも少なくないが、ここにいう complex は「複素数上の—」という意味ではなく複素数そのものを意味している（複素数の全体を "the complexes" と呼んだり、" is a complex" などのような用例のあることを想起せよ）。したがって、語義に従った complex plane の直訳は「複素数平面」と考えるべきである（実数全体の成す real line についても同様であり、これは通例「実数直線」と訳され、実直線は多少異なる意味に用いられる）。.
解析学
解析学（かいせきがく、英語：analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.
解析関数
複素変数 z の複素数値関数 f(z) が1点 z.
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 多項式と関数 (数学) · 続きを見る »
重根
重根.
自由加群
数学において、自由加群(じゆうかぐん、free module) とは、加群の圏におけるである。集合 が与えられたとき、 上の自由加群とは を基底 にもつ自由加群である。たとえば、すべてのベクトル空間は自由であり、集合上の自由ベクトル空間は集合上の自由加群の特別な場合である。任意の加群はある自由加群の準同型像である。.
自由代数
数学、とくに環論という抽象代数学の分野において、自由代数（じゆうだいすう、free algebra）は多項式環の非可換類似である、なぜならばその元は可換でない変数の「多項式」として書けるからである。同様に、多項式環は自由可換代数 (free commutative algebra) と見ることができる（多項式環#多項式環の普遍性参照）。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
零多項式
数学における零多項式（れいたこうしき、ゼロたこうしき、zero polynomial, null polynomial）は全ての係数が の多項式を言う。しばしば、零多項式自身をやはり で表す。零多項式は、一変数または多変数の多項式環における零元である。 零多項式を定数多項式や任意次数の斉次多項式と見ることもできるし、そうしないこともあり得る。.
零写像
数学における零写像（れいしゃぞう、ゼロしゃぞう、zero mapping）は、零元を持つ適当な代数系への写像であって、その定義域の全ての元を終域の零元へ写すものを言う。殊に、解析学における零函数 (zero function) は、変数の値によらず函数値が常に零となるような函数を言う。より一般に、線型代数学におけるベクトル空間の間の零（線型）写像 (zero map) または零（線型）作用素 (zero operator) は、全てのベクトルを零ベクトルに写す。 零写像は多くの性質を満足し、数学において例や反例としてしばしば用いられる。零写像は斉次線型微分方程式や積分方程式などの数学の一連の問題において、自明なになる。.
零点
複素解析における正則函数 の零点（れいてん、ぜろてん、zero）は函数が非自明でない限り孤立する。零点が孤立することは、一致の定理あるいは解析接続の一意性の成立において重要である。 孤立零点には重複度 (order of multiplicity) が定まる。代数学における類似の概念として非零多項式の根の重複度（あるいは重根）が定義されるが、多項式函数はその不定元を複素変数と見れば整函数を定めるから、これはその一般化である。.
除法の原理
数学の特に算術において、自然数や整数に対する通常の剰余付き除法（じょうよつきじょほう、division with remainder; 余りのある割り算）は、ユークリッド除法（ユークリッドじょほう、Euclidean division）または整除法（せいじょほう、entire division）とも呼ばれ、「被除数と除数と呼ばれる二つの自然数に対して、商と剰余と呼ばれる二つの自然数が、与えられた性質を満たして一意的に存在する」ことを主張する定理として明確に規定することができる。このような定理を「除法の原理」（じょほうのげんり、division algorithm; 除法の算法）という。即ち、その主張は「二つの自然数 n および m ≠ 0 に対してある自然数 a および b が存在して n.
抽象代数学
抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
次数
数学において次数とは、位数・階数などと同じくある種の指標 (index) として働く数に用いられる。degree（もしくはorder）の和訳語 degree.
準同型
準同型（じゅんどうけい、homomorphic）とは、複数の対象（おもに代数系）に対して、それらの特定の数学的構造に関する類似性を表す概念で、構造を保つ写像である準同型写像（じゅんどうけいしゃぞう、homomorphism) を持つことを意味する。構造がまったく同じであることを表すときは、準同型・準同型写像の代わりに同型（どうけい、isomorphic）および同型写像（どうけいしゃぞう、isomorphism）という術語を用いる。しばしば、準同型写像・同型写像のことを指して単に準同型・同型と呼ぶ。いずれも、「型」の代わりに「形」が用いられることが稀にある。.
有理関数
数学における有理関数（ゆうりかんすう、rational function）は、二つの多項式をそれぞれ分子と分母に持つ分数として書ける関数の総称である。抽象代数学においては変数と不定元とを区別するので、後者の場合を有理式と呼ぶ。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
方程式
14''x'' + 15.
既約多項式
代数学において既約多項式（きやくたこうしき、irreducible polynomial）とは、多項式環の既約元のことである。より冗長には次のようになる。 を単位元をもつ可換環とし、その単数全体を 、一変数多項式環を とおく。多項式 が2条件.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的対象
数学および数学の哲学において、数学的対象（すうがくてきたいしょう、mathematical object）は数学の中から生じてくる抽象的対象である。 一般的に遭遇する数学的対象として、数、順列、分割、行列、集合、関数、および関係などが挙げられる。数学の分科としての幾何学は、六角形、点、線、三角形、円、球、多面体、位相空間、および多様体のような対象を持つ。別の分科の代数学は、群、環、体、格子、および束といった対象を持つ。圏は、数学的対象を一斉に生じさせるものであるとともに、それ自体がひとつの数学的対象である。 数学的対象の存在論的な立場は、数学の哲学で調査および議論される重要な主題である。この議論については、論文を参照のこと。.
数式
数式（すうしき、）は、数・演算記号・不定元などの数学的な文字・記号（および約物）が一定の規則にのっとって結合された、文字列である。 一般に数式には、その値 が定められており、数式はその値を表現すると考えられている。数式の値の評価 は、その数式に用いられる記号の定義あるいは値によって決まる。すなわち、数式はそれが現れる文脈に完全に依存した形で決まる。.
整関数
複素解析における整函数（せいかんすう、entire function）は、複素数平面の全域で定義される正則函数を言う。そのような函数の例として、特に複素指数函数や多項式函数およびそれらの和、積、合成を用いた組合せとしての三角函数および双曲線函数などを挙げることができる。 二つの整函数の商として有理型函数が与えられる。 解析函数論の特定の場合として考えれば「整函数の基本理論」は一般論からの単に帰結であり、それは本質的に複素素関数論の初歩（しばしばヴァイヤシュトラスの因数分解定理によって詳しく調べられる）である。しかしその研究は、19世紀半ばごろのコーシー,, ヴァイヤシュトラスらから始まり、ボレル, アダマール,, ピカール,, ら（そしてネヴァンリンナを忘れることはできない）によって著しく豊かに推し進められ、いまや堂々たる理論となった。 整函数の理論は、整函数をその増大度によって分類しようとするもので、整函数のテイラー係数と増大度の間の関係、取りうる零点と整函数の振る舞いの間の関係、整函数とその導函数の間の関係を特定する。 整函数の理論におけるこれらの側面は、有理型函数に対するものに拡張される。.
整数
数学における整数（せいすう、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
普遍性
数学の様々な分野において、ある特定の状況下にて一意に射を定めるような抽象的性質が、特定の構成を定義、あるいは特徴づけたりする事がしばしばある。このような性質を普遍性（universal property）と呼ぶ。普遍性は圏論を用いて抽象的に論考される。 結果として、我々は普遍性の一般的な扱い方を得ることになる。例えば、群の直積や直和、自由群、積位相, ストーン－チェックのコンパクト化, テンソル積, 逆極限 と 順極限, 核と余核, 引き戻し, 押し出し および イコライザ、など。.
0の0乗
の 乗（ぜろのぜろじょう、zero to the power of zero, 0 to the 0th power）は、累乗あるいは指数関数において、底を 、指数を としたものである。通常、指数関数 は実数 と に対して定義されているため、 はこの意味では定義されていない。その値は、指数の が「非負整数の 」であるような場合には と定義しておくと便利であることが多い一方で、0 と定義するのが便利である場合もある。少なくとも「実数あるいは複素数としての 0」であるような場合には、例えば二変数関数 を考えれば分かるように、原点 において自然な（二変数関数として連続となる）定義は存在しないから、連続性や解析性による延長はこの議論において有効でない。.
