ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示
ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示

2026年9月21日月曜日

2005: エルミートマトリックス(行列)のユニタリマトリックス(行列)によるコンジュゲート(共役)はエルミートである

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

エルミートマトリックス(行列)のユニタリマトリックス(行列)によるコンジュゲート(共役)はエルミートであることの記述/証明

話題


About: マトリックス(行列)たちスペース(空間)

この記事の目次

2004: ユニタリマトリックス(行列)のユニタリマトリックス(行列)によるコンジュゲート(共役)はユニタリである

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

ユニタリマトリックス(行列)のユニタリマトリックス(行列)によるコンジュゲート(共役)はユニタリであることの記述/証明

話題


About: マトリックス(行列)たちスペース(空間)

この記事の目次

2003: ユニタリマトリックス(行列)に対して、マトリックス(行列)のインバース(逆)のエルミートコンジュゲート(共役)およびマトリックス(行列)のエルミートコンジュゲート(共役)のインバース(逆)はマトリックス(行列)である

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

ユニタリマトリックス(行列)に対して、マトリックス(行列)のインバース(逆)のエルミートコンジュゲート(共役)およびマトリックス(行列)のエルミートコンジュゲート(共役)のインバース(逆)はマトリックス(行列)であることの記述/証明

話題


About: マトリックス(行列)たちスペース(空間)

この記事の目次

2002: マトリックス(行列)のインバーティブル(可逆)マトリックス(行列)によるコンジュゲート(共役)

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

マトリックス(行列)のインバーティブル(可逆)マトリックス(行列)によるコンジュゲート(共役)の定義

話題


About: リング(環)
About: マトリックス(行列)たちスペース(空間)

この記事の目次

2001: モジュール(加群)で同一ファイナイト(有限)カーディナリティ(濃度)の\(2\)個のベーシス(基底)たちを持つものおよびモジュール(加群)エンドモーフィズム(自己準同形写像)に対して、ベーシス(基底)たちの変更に関するエンドモーフィズム(自己準同形写像)マトリックス(行列)たちのトランジション(遷移)はこれである

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

モジュール(加群)で同一ファイナイト(有限)カーディナリティ(濃度)の\(2\)個のベーシス(基底)たちを持つものおよびモジュール(加群)エンドモーフィズム(自己準同形写像)に対して、ベーシス(基底)たちの変更に関するエンドモーフィズム(自己準同形写像)マトリックス(行列)たちのトランジション(遷移)はこれであることの記述/証明

話題


About: モジュール(加群)

この記事の目次

2000: もしも、正方リング(環)マトリックス(行列)がインバース(逆)を持つ場合、インバース(逆)はユニークである

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

もしも、正方リング(環)マトリックス(行列)がインバース(逆)を持つ場合、インバース(逆)はユニークであることの記述/証明

話題


About: マトリックス(行列)たちスペース(空間)

この記事の目次

1999: ユニタリマトリックス(行列)のコンポーネントは絶対値\(1\)以下を持つ

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

ユニタリマトリックス(行列)のコンポーネントは絶対値\(1\)以下を持つことの記述/証明

話題


About: マトリックス(行列)たちスペース(空間)

この記事の目次

1998: \(n \times n\)ユニタリマトリックス(行列)たちグループ(群)

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

\(n \times n\)ユニタリマトリックス(行列)たちグループ(群)の定義

話題


About: グループ(群)
About: マトリックス(行列)たちスペース(空間)

この記事の目次

1997: \(n \times n\)オーソゴーナル(直交)マトリックス(行列)たちグループ(群)

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

\(n \times n\)オーソゴーナル(直交)マトリックス(行列)たちグループ(群)の定義

話題


About: グループ(群)
About: マトリックス(行列)たちスペース(空間)

この記事の目次

1996: モジュール(加群)はユニークな\(0\)要素を持つ

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

モジュール(加群)はユニークな\(0\)要素を持つことの記述/証明

話題


About: モジュール(加群)

この記事の目次

1995: モジュール(加群)たちで同一カーディナリティ(濃度)ベーシス(基底)たちを持つものたち間リニアマップ(線形写像)に対して、マップ(写像)はバイジェクション(全単射)である、もしも、対応するマトリックス(行列)がインバーティブル(可逆)である場合、そしてその場合に限って

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

モジュール(加群)たちで同一カーディナリティ(濃度)ベーシス(基底)たちを持つものたち間リニアマップ(線形写像)に対して、マップ(写像)はバイジェクション(全単射)である、もしも、対応するマトリックス(行列)がインバーティブル(可逆)である場合、そしてその場合に限って、ことの記述/証明

話題


About: モジュール(加群)

この記事の目次

1994: \(n \times n\)リング(環)マトリックス(行列)に対して、もしも、マトリックス(行列)に各列または行を掛けたものが元の列または行である場合、そしてその場合に限って、マトリックス(行列)はアイデンティティ(単位行列)である

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

\(n \times n\)リング(環)マトリックス(行列)に対して、もしも、マトリックス(行列)に各列または行を掛けたものが元の列または行である場合、そしてその場合に限って、マトリックス(行列)はアイデンティティ(単位行列)であることの記述/証明

話題


About: リング(環)

この記事の目次

1993: モジュール(加群)たちでベーシス(基底)たちを持つものたちのファイナイト(有限)プロダクトモジュール(加群)はこのベーシス(基底)を持つ

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

モジュール(加群)たちでベーシス(基底)たちを持つものたちのファイナイト(有限)プロダクトモジュール(加群)はこのベーシス(基底)を持つことの記述/証明

話題


About: モジュール(加群)

この記事の目次

1992: フィールド(体)はカノニカル(正典)に\(1\)-ディメンショナル(次元)ベクトルたちスペース(空間)である

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

フィールド(体)はカノニカル(正典)に\(1\)-ディメンショナル(次元)ベクトルたちスペース(空間)であることの記述/証明

話題


About: フィールド(体)
About: ベクトルたちスペース(空間)

この記事の目次

1991: リング(環)はカノニカル(正典)にモジュール(加群)で、\(1\)-要素ベーシス(基底)を持つ

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

リング(環)はカノニカル(正典)にモジュール(加群)で、\(1\)-要素ベーシス(基底)を持つことの記述/証明

話題


About: リング(環)
About: モジュール(加群)

この記事の目次

1990: モジュール(加群)で\(d\)-要素たちベーシス(基底)を持つものおよびモジュール(加群)のジェネラルリニア(線形)グループ(群)に対して、ジェネラルリニア(線形)グループ(群)からインバーティブル(可逆)\(d \times d\)リング(環)マトリックス(行列)たちのグループ(群)の上への、ベーシス(基底)に関するカノニカル(正典)'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)がある

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

モジュール(加群)で\(d\)-要素たちベーシス(基底)を持つものおよびモジュール(加群)のジェネラルリニア(線形)グループ(群)に対して、ジェネラルリニア(線形)グループ(群)からインバーティブル(可逆)\(d \times d\)リング(環)マトリックス(行列)たちのグループ(群)の上への、ベーシス(基底)に関するカノニカル(正典)'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)があることの記述/証明

話題


About: モジュール(加群)
About: グループ(群)

この記事の目次

1989: モジュール(加群)のジェネラルリニア(線形)グループ(群)

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

モジュール(加群)のジェネラルリニア(線形)グループ(群)の定義

話題


About: モジュール(加群)
About: グループ(群)

この記事の目次

2026年9月13日日曜日

1988: クォータニオン(4元数)たちディビジョン(除算持ち)アソシアティブ(結合的)アルジェブラ(多元環)は\(2 \times 2\)コンプレックス(複素)マトリックス(行列)たちリング(環)のサブリング(部分環)へ'リング(環)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)である

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

クォータニオン(4元数)たちディビジョン(除算持ち)アソシアティブ(結合的)アルジェブラ(多元環)は\(2 \times 2\)コンプレックス(複素)マトリックス(行列)たちリング(環)のサブリング(部分環)へ'リング(環)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)であることの記述/証明

話題


About: リング(環)

この記事の目次

1987: \(n \times n\)リング(環)マトリックス(行列)たちのリング(環)

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

\(n \times n\)リング(環)マトリックス(行列)たちのリング(環)の定義

話題


About: リング(環)
About: マトリックス(行列)たちスペース(空間)

この記事の目次

1986: リング(環)に対して、リング(環)上方のマトリックス(行列)たちのマルチプリケーション(乗法)たちはアディション(加法)に関してディストリビューティブ(分配的)である

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

リング(環)に対して、リング(環)上方のマトリックス(行列)たちのマルチプリケーション(乗法)たちはアディション(加法)に関してディストリビューティブ(分配的)であることの記述/証明

話題


About: リング(環)

この記事の目次