<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)エンドモーフィズム(自己準同形写像)に対して、もしも、ドメイン(定義域)の中へのマップ(写像)があってベーシス(基底)に関してサージェクティブ(全射)でありマップ(写像)がマップ(写像)の後にエンドモーフィズム(自己準同形写像)を作用させるのと等しい場合、エンドモーフィズム(自己準同形写像)はアイデンティティ(恒等写像)であることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット(集合)エンドモーフィズム(自己準同形写像)に対して、もしも、ドメイン(定義域)の上へのサージェクション(全射)があってサージェクション(全射)がサージェクション(全射)の後にエンドモーフィズム(自己準同形写像)を作用させるのと等しい場合、エンドモーフィズム(自己準同形写像)はアイデンティティ(恒等写像)であることの記述/証明
話題
About:
セット(集合)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)およびサブベクトルたちスペース(空間)たちのセット(集合)に対して、セット(集合)のインターセクション(共通集合)はサブベクトルたちスペース(空間)であることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)のサブセット(部分集合)によって生成されたサブベクトルたちスペース(空間)の定義
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
インテグラルドメイン(整域)および非ゼロ要素に対して、要素によるマルチプリケーション(乗法)マップ(写像)はインジェクション(単射)であることの記述/証明
話題
About:
リング(環)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
有限数のリアルナンバー(実数)たちで1 (2)に等しいまたはそれより大きいものたちに対して、リアルナンバー(実数)たちの和マイナス有限数プラス1はリアルナンバー(実数)たちのプロダクト(積)に等しいまたはそれより小さい(単により小さい)ことの記述/証明
話題
About:
アナリシス(分析)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
フィールド(体)から0を除いたものはマルチプリカティブ(乗法)グループ(群)であることの記述/証明
話題
About:
フィールド(体)
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト(有限)シクリックグループ(循環群)およびそのオーダーのプライムファクター(素数因子)に対して、ファクター(因子)オーダーのシクリックサブグループ(循環部分群)を特定の方法で抽出できることの記述/証明
話題
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト(有限)シクリックグループ(循環群)およびそのオーダーのプライムファクター(素数因子)に対して、最大1つのファクター(因子)オーダーサブグループ(部分群)があることの記述/証明
話題
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)カーブに沿った\(C^\infty\)ベクトルたちフィールド(場)の定義
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
フロベニウスエンドモーフィズム(自己準同形写像)、コミュータティブ(可換)リング(環)でプライム(素数)キャラクタリスティックを持つものに対する、の定義
話題
About:
リング(環)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
インテグラルドメイン(整域)のキャラクタリスティックは0またはプライムナンバー(素数)であることの記述/証明
話題
About:
リング(環)
この記事の目次