2024年4月14日日曜日

532: モジュール(加群)のリニア(線形)にインディペンデント(独立)なサブセット(部分集合)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

モジュール(加群)のリニア(線形)にインディペンデント(独立)なサブセット(部分集合)の定義

話題


About: モジュール(加群)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、モジュール(加群)のリニア(線形)にインディペンデント(独立)なサブセット(部分集合)の定義を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
R: { 全ての%リング(環)たち }
M: { 全ての R モジュール(加群)たち }
S: M, { 全てのアンカウンタブル(不可算)かもしれないセット(集合)たち }
//

コンディションたち:
SS,S{ 全てのファイナイト(有限)セット(集合)たち }
(
pjSrjpj=0,rjR

j(rj=0)
)
//


2: 自然言語記述


任意の%リング(環)R上方の任意のモジュール(加群)Mに対して、以下を満たす任意の(アンカウンタブル(不可算)かもしれない)サブセット(部分集合)SM、つまり、各ファイナイト(有限)サブセット(部分集合)SSに対して、pjSrjpj=0は 各jに対してrj=0を含意する、ここで、rjRの任意の要素


3: 注


任意のベクトルたちスペース(空間)はモジュール(加群)であるから、'ベクトルたちスペース(空間)のリニア(線形)にインディペンデント(独立)なサブセット(部分集合)'は'モジュール(加群)のリニア(線形)にインディペンデント(独立)なサブセット(部分集合)'に他ならない。

インフィニット(無限)かもしれないSのリニア(線形)コンビネーションではなくて各ファイナイト(有限)サブセット(部分集合)のリニア(線形)コンビネーションのことを考えなければならない、なぜなら、任意のインフィニット(無限)要素たちのリニア(線形)コンビネーションのコンバージェンス(収束)は、トポロジーやメトリック(計量)のような付加的ストラクチャー(構造)なしには定義されていない。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>