用語・記号の定義

群・環・体

準同型写像・同型写像の定義と基本的な性質【群・環・体】

代数学における「準同型写像・同型写像」とは,代数の演算の構造を保つ写像のことを指します。とくに,同じ代数構造を持つ2つの集合に同型写像が定まれば,その2つは「同じもの」として扱うことが可能です。準同型写像・同型写像の定義・性質について,群・環・体それぞれについて分けて解説していきましょう。
群・環・体

剰余群(商群)とは~定義・具体例・性質の証明~

剰余群(商群)とは,群の剰余類の商集合に演算を入れて再び「群」と思ったものを指します。意味不明かもしれませんが,順を追って解説していきます。剰余群(商群)の定義にあたっては,well-defined の概念が非常に大事になってきますから,そこも踏まえてしっかりと理解していきましょう。
群・環・体

剰余類と部分群の指数~定義と具体例~

群論における剰余類(左剰余類・右剰余類)と剰余集合(左剰余集合・右剰余集合)と部分群の指数の概念を,手順を追って解説していきます。少々長いですが,群論における基本的で重要な概念ですから,ゆっくりと理解していきましょう。
数論

メビウス関数とメビウスの反転公式の証明

メビウス関数(Möbius function)とは,数論的関数の1つで,重要な役割を果たします。メビウス関数の定義と,メビウスの反転公式(Möbius inversion formula)の証明を行いましょう。
測度論

ほとんどいたるところ(almost everywhere, a.e.)の議論

測度論においては,ほとんどいたるところ(almost everywhere, a.e.)を用いた議論が頻繁に出てきます。 「ほとんどいたるところ」の定義と具体例について,丁寧に解説しましょう。
群・環・体

正規部分群の定義と基本的な判定方法・具体例

正規部分群 (normal subgroup) とは,gNg^{-1} ⊂ N が成立する部分群 H ⊂ G のことを言います。正規部分群の定義と準同型写像の核を用いた判定方法,具体例と大事な性質まで紹介します。
測度論

ディンキン族定理(π-λ定理)とその証明

ディンキン族定理あるいはπ-λ定理とは,測度論の深い・複雑な議論を展開するにあたって重要な定理です。本記事では,まずディンキン族定理に必要なπシステム(乗法族)とλシステム(ディンキン族)の概念について定義し,ディンキン族定理を証明します。
測度論

測度の定義と具体例4つ・性質5つを証明付きで徹底解説

測度論の基盤である「測度 (measure) 」について,その定義と具体例4つ・基本的な性質5つを順番に解説していきましょう。どれも測度論の最も基本的な概念ですから,しっかり理解していきましょう。可測空間・可測集合の概念は既知とします。
統計学

コサイン類似度とは~定義と具体例~

コサイン類似度 (cosine similarity) とは,ベクトルの向きの類似度を測る指標で,内積を用いて定義されます。コサイン類似度の定義と,2次元の場合の具体例を述べましょう。
数論

約数関数とは~定義と基本的な性質とその証明~

約数関数 (divisor function) とは,ある数に対し,その数の正の約数の累乗の和を計算する関数です。約数関数について,その定義と基本的な性質とその証明を行いましょう。
タイトルとURLをコピーしました