二元数 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "二元数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年1月） 数学における二元数（にげんすう、英: binarion）とは、2次元の多元数、すなわち実数体上2次元の単位的結合多元環の元のことである。各二元数 x は適当な基底 {1, u} の実数係数の線型結合 x = a + bu (a, b ∈ R) の形に表される。 多元環における積は双線型であるから、2つの二元数 x = a + bu, y = c + du に対して これが再び二元数となる（つまり乗法について閉じている）ためには、u の平方が再び {1, u} の線型
Dammアルゴリズム - Wikipedia
Dammアルゴリズムは、誤り検出の一種であるチェックディジットのアルゴリズムであり、全ての1桁入力誤りと全ての隣り合う2桁の入れ替え誤りを検出することができる。2004年にH. Michael Dammによって発表された[1]。 利点と欠点[編集] Dammアルゴリズムは、Verhoeffアルゴリズムと同様に、最も頻繁に起こる2種類の誤り、すなわち1桁の入力誤りと、（末尾に付け足されたチェックディジットとその直前の数字の入れ値替えを含む）隣り合う2桁の入れ違えの、2種類の誤りを検出できる[1][2]。しかしDammアルゴリズムは、Verhoeffアルゴリズムと異なり、実行に際し、専用に構成された置換表と位置に応じた冪乗表を必要としない。さらに、逆元の表も演算表の主対角成分が0の時は必要ない。 Dammアルゴリズムは10種を超えるチェックディジットを出力しないため、（ISBN10のチェックデ
行列の乗法 - Wikipedia
数学において、行列の対から別の行列を作り出す二項演算としての行列の乗法（ぎょうれつのじょうほう）は、実数や複素数などの数が初等的な四則演算でいうところの乗法を持つことと対照的に、そのような「数の配列」の間の乗法として必ずしも一意的な演算を指しうるものではない。そのような意味では、一般に「行列の乗法」は幾つかの異なる二項演算を総称するものと考えることができる。行列の乗法の持つ重要な特徴には、与えられた行列の行および列の数（行列の型やサイズあるいは次元と呼ばれるもの）が関係して、得られる行列の成分がどのように特定されるかが述べられるということが挙げられる。 例えば、ベクトルの場合と同様に、任意の行列に対してスカラーを掛けるという操作が、その行列の全ての成分に同じ数を掛けるという方法で与えられる。また、加法や減法（英語版）の場合と同様に、同じサイズの行列に対して成分ごとの乗法を入れることによって
関数方程式 - Wikipedia
数学、及びその応用分野において、関数方程式（かんすうほうていしき、functional equation）は、単一の（または複数の）関数のある点と他の点での値の関係を示す方程式である。関数の性質は、与えられた条件を満たす関数方程式の種類などをもとに決定することができる。通常は代数方程式に帰着できない方程式を指す。 リーマンゼータ関数やその類似物が満たす特殊な関数方程式は、関数等式と呼ばれることが多い。 例[編集] リーマンゼータ関数 ζ は関数方程式 を満たす。ただし大文字の Γ はガンマ関数である。 ガンマ関数は以下の関数方程式を満たす。ガンマ関数は、以下の3本の方程式からなる系を満たす唯一の関数である。 関数方程式 は k 次の保型形式を定義する。ただし a、b、c、d は ad − bc = 1 を満たす整数とする。 その他にも多くの例を挙げることができる。 すべての指数関数は を満
二次形式 - Wikipedia
数学における二次形式（にじけいしき、英: quadratic form) は、いくつかの変数に関する次数が 2 の斉次多項式である。例えば、変数が 2 個の二次形式は の形である。 x, y は変数。係数 a, b, c は内少なくとも 1 つは 0 でない。すなわち二次形式は非零多項式である。 二次形式は数学のいろいろな分野（数論、線型代数学、群論（直交群）、微分幾何学（リーマン計量）、微分位相幾何学（4次元多様体の交叉形式）、リー理論（英語版）（キリング形式）など）で中心的な位置を占める概念である。 導入[編集] 二次形式は n-変数の斉二次多項式である。たとえば、変数の数が 1, 2, 3 の二次形式はそれぞれ一元 (unary) 、二元（英語版） (binary) 、三元 (ternary) 二次形式と呼ばれ、具体的にはそれぞれ 一元二次形式 二元二次形式 三元二次形式 という形を
行列ノルム - Wikipedia
線型代数学における行列ノルム（ぎょうれつノルム、英: matrix norm）は、ベクトルのノルムを行列に対し自然に一般化したものである。 性質[編集] 以下では体 K を実数体 R または複素数体 C のいずれかを指すものとして用いる。また、Km×n を、K の元を成分に持つ m 行 n 列の矩形行列の全体が、通常の和とスカラー倍に関してなすベクトル空間とする。Km×n 上の行列のノルムはベクトルとしてのノルムである。すなわち、行列 A のノルムを ‖ A ‖ で表せば 正定値性：‖ A ‖ ≥ 0 かつ等号成立は A = O と同値 斉次性：α ∈ K, A ∈ Km×n ならば ‖ αA ‖ = |α|‖ A ‖ 劣加法性：A, B ∈ Km×n ならば ‖ A + B ‖ ≤ ‖ A ‖ + ‖ B ‖ が全て満たされる。 正方行列 (m = n) に関して、以下に挙げる条件を課す
制御理論 - Wikipedia
制御理論（せいぎょりろん、英：control theory）とは、制御工学の一分野で、数理モデルを対象とした、主に数学を用いた制御に関係する理論である[1]。いずれの理論も「モデル表現方法」「解析手法」「制御系設計手法」を与える。 古典制御論[編集] 古典制御論は、伝達関数と呼ばれる線型の単入出力システムとして表された制御対象を中心に、周波数応答などを評価して望みの挙動を達成する理論である。1950年代に体系化された。代表的な成果物と言えるPID制御は、現在でも産業では主力である（化学プラント等、伝達関数が複雑な生産設備の制御に用いられる）[2][3]。 PID制御[編集] PID制御は、制御工学におけるフィードバック制御の一種であり、 入力値の制御を出力値と目標値との偏差、その積分、および微分の3つの要素によって行う方法のことである。 現代制御論[編集] 現代制御論は、状態方程式と呼ばれ
一元体 - Wikipedia
数学において一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、
半直積 - Wikipedia
群論において、群の半直積（はんちょくせき、英: semidirect product）とは、ふたつの群から新たな群を作り出す方法の一種。 群の直積の一般化であり、通常の直積をその特別な場合として含む。 定義[編集] 内部半直積[編集] ふたつの群 N, H に対して N の H による内部半直積とは、次の性質を満たす群 G のことで、 G = N ⋊ H と表す[1]。 N は群 G の正規部分群かつ H は群 G の部分群であって、G = NH を満たす N と H は自明な共通部分をもつ：N ∩ H = 1 G を群とし、H をその部分群、N を正規部分群 (N ◁ G) とすると、以下は同値である。 G = NH かつ N ∩ H = 1. G のすべての元は積 nh (n ∈ N, h ∈ H) として一意的に書ける。 G のすべての元は積 hn (h ∈ H, n ∈ N) とし
Symmetric group - Wikipedia
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols.[1] Since there are ( factorial) such permutation operation
Tutte polynomial - Wikipedia
This article is about the Tutte polynomial of a graph. For the Tutte polynomial of a matroid, see Matroid. The polynomial is the Tutte polynomial of the bull graph. The red line shows the intersection with the plane , which is essentially equivalent to the chromatic polynomial. The Tutte polynomial, also called the dichromate or the Tutte–Whitney polynomial, is a graph polynomial. It is a polynomi
p-群 - Wikipedia
ソレノイド（英語版） 円周 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) ユークリッド E(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) 斜交 Sp(n) G2（英語版） F4（英語版） E6（英語版） E7（英語版） E8 ローレンツ ポアンカレ 共形（英語版） 微分同相 ループ（英語版） 数学の特に群論において、与えられた素数 p に対する p-準素群（ピーじゅんそぐん、英: p-primary group）あるいは、p-群（ピーぐん、英: p-group）もしくは準素群（じゅんそぐん、英: primary group）とは、任意の元の位数が p の冪になっているようなねじれ群をいう。すなわち p-群において、各元 g は非負整数 n を適当に選べば g の pn-乗が単位元に一致する。 有限群の場合には、それが p-群であることと、その群の位
同型定理 - Wikipedia
数学、特に抽象代数学において、同型定理 (どうけいていり、英: isomorphism theorems) は商、準同型、部分対象の間の関係を描く3つの定理である。定理のバージョンは群、環、ベクトル空間、加群、リー環、そして様々な他の代数的構造に対して存在する。普遍代数学において、同型定理は代数と合同の文脈に一般化することができる。 歴史[編集] 同型定理は加群の準同型に対してEmmy Noetherによって雑誌 Mathematische Annalen に 1927 年に掲載された彼女の論文 Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern においていくらか一般的に定式化された。これらの定理のより一般的でないバージョンは Richard Dedekind の仕事や Noethe
有限生成アーベル群 - Wikipedia
有限生成アーベル群（ゆうげんせいせいアーベルぐん、英：Finitely_generated_abelian_group）とは、抽象代数学において、アーベル群 (G,+) が有限生成 (finitely generated) であるとは、G の有限個の元 x1,...,xs が存在して、G のすべての元 x が n1,...,ns を整数として x = n1x1 + n2x2 + ... + nsxs の形に書けるということである。 この場合、集合 {x1,...,xs} を G の生成系あるいは生成集合 (generating set) といい、 x1, ..., xs は G を 生成する (generate) という。 明らかに、すべての有限アーベル群は有限生成である。有限生成アーベル群は単純な構造をもっており、以下で説明するように完全に分類することができる。 例[編集] 整数全体の成
ホモロジー代数学 - Wikipedia
ホモロジー代数学における基本的な結果である蛇の補題で用いられる図式。 ホモロジー代数学（ホモロジーだいすうがく、英: homological algebra）は、一般の代数的な設定のもとでホモロジーを研究する数学の分野である。それは比較的新しい分野であり、その起源は19世紀の終わりの、組み合わせ論的トポロジー（英語版）（代数トポロジーの前身）と抽象代数学（加群や syzygy（英語版） の理論）の、主にアンリ・ポアンカレとダフィット・ヒルベルトによる研究にまでさかのぼる。 ホモロジー代数学の発展は圏論の出現と密接に結びついている。概して、ホモロジー代数はホモロジー的関手とそれから必然的に生じる複雑な代数的構造の研究である。数学においてきわめて有用で遍在する概念の1つはチェイン複体 (chain complex) の概念であり、これはそのホモロジーとコホモロジーの両方を通じて研究できる。ホモ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Closed-form expression - Wikipedia
Symplectic group - Wikipedia
Projective linear group - Wikipedia
Shuffle algebra - Wikipedia
Universal coefficient theorem - Wikipedia