ブラウザよりも高速アクセス！
43 関係: 加法、単位元、可算集合、対称群、岩波新書、岩波書店、帰納、交換法則、ペーター・グスタフ・ディリクレ、チェザロ和、ローラン級数、テイラー展開、フーリエ級数、ベルンハルト・リーマン、ベルヌーイ数、オーギュスタン＝ルイ・コーシー、再帰、冪級数、元 (数学)、積分法、空和、空集合、算術、算法、級数、線型性、総乗、絶対収束、発散、発散級数、順序数、自由変数と束縛変数、零元、集合、Σ、条件収束、極限、濃度 (数学)、有限集合、族 (数学)、数学、数学者、数列。
加法
加法（かほう、addition, summation）とは、数を合わせることを意味する二項演算あるいは多項演算で、四則演算のひとつ。足し算（たしざん）、加算（かさん）、あるいは寄せ算（よせざん）とも呼ばれる。また、加法の演算結果を和（わ、）という。記号は「+」。 自然数の加法は、しばしば物の個数を加え合わせることに喩えられる。また数概念の拡張にしたがって、別の意味を持つ加法を考えることができる。たとえば実数の加法は、もはや自然数の加法のように物の個数を喩えに出すことはできないが、曲線の長さなど別の対象物を見出すことができる。 減法とは互いに逆の関係にあり、また例えば、負の数の加法として減法が捉えられるなど、加法と減法の関連は深い。これは代数学において加法群の概念として抽象化される。 無限個の数を加えること（総和法）については総和、級数、極限、ε–δ 論法などを参照。.
単位元
数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.
可算集合
可算集合（かさんしゅうごう、countable set 又は denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合と呼び、可算無限集合と有限集合を合わせて高々可算の集合と呼ぶ。可算でない無限集合を非可算集合という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。.
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
岩波新書
岩波新書（いわなみしんしょ）は、1938年（昭和13年）11月20日に岩波書店が創刊した新書赤版として。創刊の辞は、「岩波新書創刊50年、新版の発足に際して」（1998年1月）に「道義の精神に則らない日本の行動を深慮し、権勢に媚び偏狭に傾く風潮と他を排撃する驕慢な思想を戒め、批判的精神と良心的行動に拠る文化日本の躍進を求めての出発である」と引用されている。シリーズである。.
岩波書店
株式会社岩波書店（いわなみしょてん、Iwanami Shoten, Publishers. ）は、日本の出版社。.
帰納
帰納（きのう、、）とは、個別的・特殊的な事例から一般的・普遍的な規則・法則を見出そうとする論理的推論の方法のこと。演繹においては前提が真であれば結論も必然的に真であるが、帰納においては前提が真であるからといって結論が真であることは保証されない。 なお数学的帰納法・構造的帰納法・整礎帰納法・完全帰納法・累積帰納法・超限帰納法などの帰納法は、名前と違い帰納ではなく演繹である。.
交換法則
交換法則（こうかんほうそく、Commutative property) は数学における法則の一つ。可換則（かかんそく）や交換律（こうかんりつ）ともいう。.
ペーター・グスタフ・ディリクレ
ヨハン・ペーター・グスタフ・ルジューヌ・ディリクレ（Johann Peter Gustav Lejeune Dirichlet, 1805年2月13日 - 1859年5月5日）はドイツの数学者で、現代的形式の関数の定義を与えたことで知られている。.
新しい！!: 総和とペーター・グスタフ・ディリクレ · 続きを見る »
チェザロ和
解析学におけるチェザロ総和法（チェザロそうわほう、Cesàro summation）とは無限級数に「和」と呼ばれる値を結びつける総和法の一種である。無限級数が通常の意味で収束して値 A を持つならば、その級数はチェザロの意味でも総和可能であり、同じ A をチェザロ和として持つ。チェザロ和の重要性は、収束しない級数のなかにもチェザロ和が矛盾なく定義できるものがありうるという点にある。ただし、たとえば無限大に収束する正項級数などはいかなる場合も有限の値の和を持つことはない。 名称は19世紀のイタリアの数学者アーネスト・チェザロに因む。.
ローラン級数
ーラン級数（ローランきゅうすう、Laurent series）とは負冪の項も含む形での冪級数としての関数の表示のことである。テイラー級数展開できない複素関数を表示する場合に利用される。ローラン級数の名は、最初の発表が1843年にピエール・アルフォンス・ローランによってなされたことに由来する。ローラン級数の概念自体はそれより先の1841年にカール・ワイエルシュトラスによって発見されていたが公表されなかった。 特定の点 ''c'' および閉曲線 γ に関して定義されたローラン級数。 積分路である γ は赤で塗ったアニュラスの内側に載っており、アニュラスの内側で ''f''(''z'') は正則である.
テイラー展開
数学において、テイラー級数 (Taylor series) は関数のある一点での導関数たちの値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開という。 テイラー級数の概念はスコットランドの数学者ジェームズ・グレゴリーにより定式化され、フォーマルにはイギリスの数学者ブルック・テイラーによって1715年に導入された。0 を中心としたテイラー級数は、マクローリン級数 (Maclaurin series) とも呼ばれる。これはスコットランドの数学者コリン・マクローリンにちなんでおり、彼は18世紀にテイラー級数のこの特別な場合を積極的に活用した。 関数はそのテイラー級数の有限個の項を用いて近似することができる。テイラーの定理はそのような近似による誤差の定量的な評価を与える。テイラー級数の最初のいくつかの項として得られる多項式はと呼ばれる。関数のテイラー級数は、その関数のテイラー多項式で次数を増やした極限が存在すればその極限である。関数はそのテイラー級数がすべての点で収束するときでさえもテイラー級数に等しいとは限らない。開区間（あるいは複素平面の開円板）でテイラー級数に等しい関数はその区間上の解析関数と呼ばれる。.
フーリエ級数
フーリエ級数（フーリエきゅうすう、Fourier series）とは、複雑な周期関数や周期信号を、単純な形の周期性をもつ関数の（無限の）和によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。 熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の和として考え、解を固有解の和として表すものであった。 この重ね合わせがフーリエ級数と呼ばれる。 最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。 フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学などの分野で用いられている。.
ベルンハルト・リーマン
ルク・フリードリヒ・ベルンハルト・リーマン（Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日）は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー＝リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン＝ロッホの定理、リーマン予想などがある。.
新しい！!: 総和とベルンハルト・リーマン · 続きを見る »
ベルヌーイ数
ベルヌーイ数 (ベルヌーイすう、Bernoulli number) は数論における基本的な係数を与える数列であり、もともと、連続する整数のべき乗和を定式化する際の展開係数として1713年にヤコブ・ベルヌーイが著書 Ars Conjectandi (推測術) にて導入したことからこの名称がついた。ベルヌーイ数は、べき乗和の展開係数にとどまらず、級数展開の係数や剰余項、リーマンゼータ関数においても登場する。また、ベルヌーイ数はすべてが有理数である。.
オーギュスタン＝ルイ・コーシー
ーギュスタン＝ルイ・コーシー（Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日）はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.
新しい！!: 総和とオーギュスタン＝ルイ・コーシー · 続きを見る »
再帰
再帰（さいき）は、あるものについて記述する際に、記述しているものそれ自身への参照が、その記述中にあらわれることをいう。定義において、再帰があらわれているものを再帰的定義という。 主に英語のrecursionとその派生語の訳にあてられる。他にrecurrenceの訳（回帰#物理学及び再帰性を参照のこと）や、reflexiveの訳として「再帰」が使われることがある。数学的帰納法との原理的な共通性から、recursionの訳として数学では「帰納」を使うことがある。.
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.
元 (数学)
数学において元（げん、element）とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する（ぞくする、membership）、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合（あるいは一般にクラス）との間に定まる非対称な関係（帰属関係）である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない（帰属関係は反対称関係である）。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
空和
数学における空和（くうわ、empty sum）または零項和 (nullary sum) は、（被加数の）項数が零であるような和を言う。規約として、「数からなる任意の空和は（和をとる際のいかなる条件が空に退化したものであっても） に等しい」と取り決める。例えば、 である。 数列 に対して、最初の -項の和を と書く。このとき が全ての に対し成り立つものとするには、 および という規約を設ける必要がある。これはつまり、ただひとつの項からなる "和" の値はその項の値であり、項を持たない "和" の値は と考えるのである。このようなひとつだけあるいは 0 個の項の "和" を許すことで、多くの数学的な公式において考慮すべき場合の数を減らすことができる。また、そのような "和" は数学的帰納法やアルゴリズムの起点として自然に現れる。これらの理由のため、「空和の値は であるものと約束する」ことは数学やコンピュータプログラミングにおいて標準的な慣習である。（同様の理由で、空積は乗法単位元である に等しいと約束する。） 項が数以外のもの（例えばベクトル、行列、多項式など）の場合に定義された和に対して、一般には項が何らかのアーベル群や加法的に書かれる可換モノイドに値を取る場合に、空和の値はその群の零元に等しいものと扱われる。.
空集合
集合（くうしゅうごう、empty set）は、要素を一切持たない集合の事である。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。空集合を表す記号として、∅ または \emptyset、 がある。記号 ∅ はノルウェー語等で用いられるアルファベット Ø に由来しており、形の似ているギリシャ文字φ, Φ（ファイ）とは全く関係がない。.
算術
算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.
算法
n 項算法（エヌこうさんぽう）とは、広義には、集合 A の直積集合 An の部分集合 D から A への写像 f のことをいい、D をこの算法の定義域という。n は任意の順序数でよい。 これを（仮に）f の項数とよぶ。 An は i < n をみたす順序数 i を添数とする A の元の族 (ai)i<n すべてからなる集合を表す。 集合 A とそこにおける算法の族 R との組み (A, R) を代数系という。.
級数
数学における級数 (きゅうすう、series) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える（#級数の収束性の節を参照）ことができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。 級数を表す記法として、和記号 を用いた表現 や三点リーダ を用いた表現 などがある。 有限個の項以外は とすることで有限個の対象の和を表すこともでき、無限項の和であることを特に強調する場合には無限級数とも言う。無限の項の和の形に表された級数が何を表しているかということは一見必ずしも明らかではないため、何らかの意味付けを与えなければならない。最もよく採用される理解の方法は、有限個の項の和が収束する先を無限級数の値とすることである。例えば、 より となる。このほかに、解析接続などの手法により、みかけ上発散している級数に対して のような等式が意味付けされることもある。.
線型性
線型性（せんけいせい、英語: linearity）あるいは線型、線形、線状、リニア（せんけい、英語: linear、ラテン語: linearis）とは、直線そのもの、または直線のようにまっすぐな図形やそれに似た性質をもつ対象および、そのような性質を保つ変換などを指して用いられている術語である。対義語は非線型性（英語：Non-Linearity）である。 英語の数学用語のlinear にあてる日本語訳としては、線型が本来の表記であると指摘されることもあるが、他にも線形、線状などといった表記もしばしば用いられている。また一次という表記・表現もしばしば用いられている。というのはlinearは、（多変数の）斉一次函数を指していると考えて間違っていない場合も多いためである。.
総乗
総乗（そうじょう）とは、積の定義される集合における多項演算の一つで、元の列の全ての積のことである。.
絶対収束
数学において、級数が絶対収束（ぜったいしゅうそく、converge absolutely）するとは、その各項の絶対値を取って得られる級数の和が有限の値になるときにいう。きちんと述べれば、実または複素数の級数 は となるとき、絶対収束すると言う。 絶対収束が無限級数の研究において重要であるのは、それが有限和の場合に成立する（が必ずしも全ての収束級数が持つわけではない）性質を持つようにするためにきわめて強力な条件であるとともに、それ自身が一般的な内容を議論するのに（その強い制約条件にもかかわらず）十分広範な級数のクラスを定めるからである。.
発散
散（はっさん、Divergence）は、; 数学.
発散級数
数学において発散級数（はっさんきゅうすう、divergent series）とは、収束しない級数である、つまり、部分和の成す無限列が有限な極限を持たない級数である。 級数が収束するならば、級数の各項の成す数列は必ず 0 に収束する。したがって、0 に収束しないような数列を項に持つ級数はいずれも発散する。しかし、級数の収束性はそれよりも強い条件で、級数の項が 0 に収束するからといって必ずしもその級数自身は収束しない。最も簡単な反例として、調和級数 が挙げられる。調和級数の発散性は、中世の数学者ニコル・オレームによって示された。 数学の特別な文脈では、部分和の列が発散するようなある種の列について、その和として意味のある値を割り当てることができる。総和法 (summability method, summation method) とは、級数の部分和の列全体の成す集合から「和の値」の集合への部分写像である。例えば、チェザロ総和法ではグランディの発散級数 に 1/2 を値として割り当てる。チェザロ総和法は平均化法 (averaging method) の一種で、部分和の列の算術平均をとることに基づいている。他の方法としては、関連する級数の解析接続として和を定める方法などがある。物理学では、非常に多種多様な総和法が用いられる（詳細はの項を参照）。.
順序数
数学でいう順序数（じゅんじょすう、ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数を拡張させた概念である。.
自由変数と束縛変数
数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数（または自由変項、free variable）は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数x は、例えば次のように書くと 束縛変数（または束縛変項、bound variable）になる。 あるいは これらの命題では、x の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照される局所変数や引数以外の変数を意味する。.
新しい！!: 総和と自由変数と束縛変数 · 続きを見る »
零元
数学において、零元（れいげん、ぜろげん）とは、.
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
Σ
Σ, σ, ς （シグマ、σίγμα / σῖγμα, sigma）は、ギリシア文字の一つ。伝統的な配列では 18 番目の文字。数価は200。現代ギリシア語では、語末形の "ς" を 6を表す "ϛ" （スティグマ）の代用として用いる。ラテンアルファベットの "S"、キリル文字の "С" は、この文字に由来する。.
条件収束
数学において，級数あるいは積分が条件収束（じょうけんしゅうそく）するとは，収束するが絶対収束しないことをいう．.
極限
数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、limit）がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。 極限を表す記号として、次のような lim (英語：limit, リミット、ラテン語：limes)という記号が一般的に用いられる。.
濃度 (数学)
数学、とくに集合論において、濃度（のうど）あるいは基数（きすう）（cardinal number, cardinality, power）とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.
新しい！!: 総和と濃度 (数学) · 続きを見る »
有限集合
数学において、集合が有限（ゆうげん、finite）であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n.
族 (数学)
数学における族（ぞく、family）は、添字付けされた元（要素）の（一般には非可算無限個の）集まりで、対、n-組、列などの概念の一般化である。系（けい、collection）と呼ぶこともある。元がどのような対象であるかによって、点族、集合族（集合系）、関数族（関数系）などと呼ばれる。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
数列
数学において数列（すうれつ、numerical sequence）とは、数が列になったもの (sequence of numbers) を言う。 ある数はそれ単独で興味深い性質や深い意味を持っているかもしれない。単独ではそれほど面白くはない数たちもまとめて考えると興味深い性質を持つかもしれない。数列を考える意識は後者に属する。数列とは例えば正の奇数を小さい順に並べた のような数の“並び”である。並べる数に制限を加えて、たとえば自然数のみを並べるならば、これを自然数列と略称する。整数、有理数、実数などのほかの数体系を用いる場合も同様の略称を用いる。各々の数の“置かれるべき場所”は数列の項 (こう、term) と呼ばれる。数の並びが数列と呼ばれるためには、数列の各項を“順番に並べる”こと、つまりそれぞれの数が何番目の項に配置されているのかを一意に示すように番号付けができなければならない。したがって、“最も簡単”な数列は自然数を小さい順に並べた数列 ということになる（これは自然数が順序数であることによる）。 考える数列に端が存在する場合がある。数列の端に存在する項は、その数列の最初の項、または最後の項であると考えることができる。数列の最初の項をその数列の初項（しょこう、first term）といい、最後の項を数列の末項（まっこう、last term）と呼ぶ。 数列に対して必ずしも初項と末項を定めることはできない。たとえば「すべての自然数」を表わす数列の項の数は「自然数の個数」に等しいが、自然数は無限に存在するため、その末項は存在しない。このように末項が定まらないような数列は、無限数列（むげんすうれつ、infinite sequence）と呼ばれ、末項を持つ数列は有限数列（ゆうげんすうれつ、finite sequence）と呼ばれる。 初項を表わす添字は自由に与えることができ、議論や計算を簡単にするように選ばれるが、慣習的に 0 または 1 が与えられることも多い。たとえば有限数列の初項の添字を 1 から始めた場合、末項は項数に等しい添字 が与えられるため、記述が簡単になる。 特別な数列には、項の並びに規則性のあるものがある。代表的なものは、等差数列や等比数列あるいはフィボナッチ数列のように漸化式で定義される数列である。.
