ブラウザよりも高速アクセス！
22 関係: 半環、単位元、単位的多元環、可換体、多項式、実数、二項演算、シュワルツ超函数、サージ・ラング、環 (数学)、環論、畳み込み、複素数、解析学、関数の台、集合、Well-defined、有理数、有限体、擬環、数学、整数。
半環
抽象代数学において、半環（はんかん、semi-ring）とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたようなもののことである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。.
単位元
数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.
単位的多元環
数学における多元環（必ずしも結合的でない）が単位的（たんいてき、unitary）または単型 (unital) であるとは、それが内部乗法 に対する単位元 （すなわちその多元環の任意の に対して を満たす元）を持つときに言う。この単位元は右単位元および左単位元として一意である。 さらに多元環が結合的ならば、単位的であることはその多元環の元全体が乗法に関してモノイドを成すことと言っても同じである。.
新しい！!: 単位的環と単位的多元環 · 続きを見る »
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
多項式
数学における多項式（たこうしき、poly­nomial）は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元（略式ではしばしば変数と呼ぶ）の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項（こう、）と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数（あるいは必要に応じてより狭く有理数、整数、自然数）を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
二項演算
数学において、二項演算（にこうえんざん、binary operation）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。.
シュワルツ超函数
解析学におけるシュワルツ超函数（シュワルツちょうかんすう、distribution; 分布）あるいは超函数（generalized function; 広義の函数）は、函数の一般化となる数学的対象である。シュワルツ超函数の概念は、古典的な意味での導函数を持たない函数に対しても微分を可能とする。特に、任意の局所可積分函数は超函数の意味で微分可能である。シュワルツ超函数は偏微分方程式の弱解（広義の解）の定式化に広く用いられる。古典的な意味での解（真の解）が存在しないか構成が非常に困難であるような場合でも、その微分方程式の超函数解はしばしばより容易に求まる。シュワルツ超函数の概念は、多くの問題が自然に解や初期条件がディラック・デルタのような超函数となるような偏微分方程式として定式化される物理学や工学においても重要である。 広義の函数としての超函数 (generalized function) は1935年セルゲイ・ソボレフによって導入されたが、その後1940年代になって一貫した超函数論を展開するローラン・シュヴァルツによって再導入される。 超函数(distribution)の拡張の一つとして、佐藤超函数があるとみなすことができる。.
新しい！!: 単位的環とシュワルツ超函数 · 続きを見る »
サージ・ラング
ージ・ラング（Serge Lang, 1927年5月19日 - 2005年9月12日）は、フランスパリ生まれのアメリカの数学者。イェール大学名誉教授。10代の頃に家族でアメリカへ移住し、1946年カリフォルニア工科大学を卒業、1951年プリンストン大学にて博士号を取得。1955年からシカゴ大学教授、コロンビア大学教授、イェール大学教授を歴任した。整数論分野の仕事および多くの教科書の執筆者として知られる。ニコラ・ブルバキのメンバー。.
新しい！!: 単位的環とサージ・ラング · 続きを見る »
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
新しい！!: 単位的環と環 (数学) · 続きを見る »
環論
数学において、環論（かんろん、ring theory）は（加法と乗法が定義され、整数の持つ性質とよく似た性質を満足する代数的構造である）環を研究する学問分野である。環論の研究対象となるのは、環の構造や環の表現（環上の加群）などについての一般論、および（群環、可除環、普遍展開環などの）具体的な特定の環のクラスあるいは理論と応用の両面で興味深い様々な環の性質（たとえばホモロジー的性質や多項式の等式）などである。 可換環は非可換の場合と比べてその性質はよく調べられている。可換環の自然な例を多く提供する代数幾何学や代数的数論は可換環論の発展の大きな原動力であった。この二つは可換環に密接に関係する分野であるから、一般の環論の一部というよりは、可換環論や可換体論の一部と考えるほうが普通である。 非可換環は可換の場合と比べて奇妙な振る舞いをすることが多くあるので、その理論は可換環論とは極めて毛色の異なったものとなる。非可換論は、それ自身の独自の方法論を用いた発展をする一方で、可換環論の方法論に平行する形で（仮想的な）「非可換空間」上の函数環として幾何学的な方法である種の非可換環のクラスを構築するという方法論が新興している。このような傾向は1980年代の非可換幾何学の発展と量子群の発見に始まる。こうした新たなパラダイムは、非可換環（特に非可換ネーター環）のよりよい理解を導くこととなった 。.
畳み込み
畳み込み（たたみこみ、convolution）とは関数 を平行移動しながら関数 に重ね足し合わせる二項演算である。畳み込み積分、合成積、重畳積分、あるいは英語に倣いコンボリューションとも呼ばれる。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
解析学
解析学（かいせきがく、英語：analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.
関数の台
数学における、ある函数の台（だい、）とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。.
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
Well-defined
数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ（定義の整合性）が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない（文脈によっては「定義可能性」などで代用可能である）。.
新しい！!: 単位的環とWell-defined · 続きを見る »
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
擬環
抽象代数学において必ずしも単位元を持たない環 (rng) あるいは擬環（ぎかん、pseudo-ring）、非単位的環（ひたんいてきかん、non-unital ring）は、乗法単位元の存在以外の環の公理をすべて満たすような代数的構造を言う。英語では少しおどけて、「単位元」（identity, これをしばしば 1 で表す）の無い「環」 (ring) だからということで、「rng」と呼称することもある。 環の公理に乗法単位元の存在を含めない文献もあり、この文脈では本項に云う概念は単に「環」と呼称される。また、修飾辞「非単位的」は「必ずしも単位的でない」という意味で用いられるが、本項ではその意味では専ら「擬環」を（あるいは直接的に「必ずしも」を付けて）用い、単独の「単位的」・「非単位的」を単位元の有無を強調する意味でのみ用いる（つまり、非単位的であるといった場合には実際に単位元を持たない）。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
整数
数学における整数（せいすう、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
