tag:blogger.com,1999:blog-6843587674260015753Sun, 27 Sep 2026 13:31:08 +0000定義たちと命題たち情報テーブル群あるオープンソースオフィススイートを活用するUNO拡張機能（LibreOffice拡張機能またはApache OpenOffice拡張機能）を開発するC++を理解することをお許しくださいPythonプログラミング言語を理解することをお許しくださいGradleを理解することをお許しくださいわかりにくい用語や説明をひもとく学校数学をより高い視点からJavaのつかみどころJavaプログラミング言語を理解することをお許しくださいC#を理解することをお許しくださいGitを理解することをお許しくださいプロジェクトビルドシステムBasicマクロでUNOを使用することについての覚え書きバイアス惑星外部JavaプログラムでUNOを使用する（LibreOfficeまたはApache OpenOfficeのドキュメントを操作する）方法UNOディスパッチコマンドたちhttps://thebiasplanetinjapanese.blogspot.com/noreply@blogger.com (Unknown)Blogger2448125tag:blogger.com,1999:blog-6843587674260015753.post-4846162277700938508Sun, 27 Sep 2026 13:29:52 +00002026-09-27T06:29:52.823-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、ベーシス（基底）に要素を追加してリニアにインディペンデント（線形独立）に保つことはできないことの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、モジュール（加群）のベーシス（基底）の定義を知っている。 読者は、任意のモジュール（加群）に対して、各要素のインバース（逆）は当該要素に\(- 1\)-スカラーを掛けたものであるという命題を認めている。 ターゲットコンテキスト 読者は、任意のモジュール（加群）に対して、任意のベーシス（基底）https://thebiasplanetinjapanese.blogspot.com/2026/09/formodulebasiscannotbesupplementedwithelementtokeeplinearlyindependent.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-9113808157512925048Sun, 27 Sep 2026 13:19:07 +00002026-09-27T06:19:07.731-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | \(n \times n\)シンプレクティックグループ（群）の定義 話題 About: グループ（群） About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、クォータニオン（4元数）たちディビジョン（除算持ち）アソシアティブ（結合的）アルジェブラ（多元環）の定義を知っている。 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。 読者は、グループ（群）の定義を知っている。 ターゲットコンテキスト 読者は、\(n \times n\)シンプレクティッhttps://thebiasplanetinjapanese.blogspot.com/2026/09/ntimesnsymplecticgroup.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2979143561352829622Sun, 27 Sep 2026 13:17:45 +00002026-09-27T06:17:45.970-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ファイナイト（有限）-ディメンショナル（次元）ベクトルたちスペース（空間）のスペシャルリニア（線形）グループ（群）の定義 話題 About: ベクトルたちスペース（空間） About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、%フィールド（体）名%ベクトルたちスペース（空間）の定義を知っている。 読者は、グループ（群）の定義を知っている。 読者は、リニアマップ（線形写像）の定義を知っている。 読者は、バイジェクション（全単射）の定義を知っている。 読者は、任意のモジュール（加群）でhttps://thebiasplanetinjapanese.blogspot.com/2026/09/speciallineargroupoffinitedimensionalvectorsspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6337932042672999165Sun, 27 Sep 2026 13:16:22 +00002026-09-27T06:16:22.950-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）に対して、非空サブセット（部分集合）はサブグループ（部分群）である、もしも、それはオペレーションおよびインバージョン（逆算）下に閉じている場合、そしてその場合に限って、ことの記述/証明 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、グループ（群）の定義を知っている。 ターゲットコンテキスト 読者は、任意のグループ（群）に対して、任意の非空サブセット（部分集合）はあるサブグループ（部分群）である、もしも、それはオペレーションおよびインバージョン（逆算）下に閉じているhttps://thebiasplanetinjapanese.blogspot.com/2026/09/forgroupnonemptysubsetissubgroupiffitisclosedunderoperationandinversion.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4885625629519011677Sun, 27 Sep 2026 13:14:49 +00002026-09-27T06:14:49.607-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> 'モジュール（加群）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）に対して、ドメイン（定義域）のリニアにインディペンデント（線形独立）サブセット（部分集合）またはベーシス（基底）はリニアにインディペンデント（線形独立）サブセット（部分集合）またはベーシス（基底）へマップされることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 読者は、リニアマップ（線形写像）の定義を知っている。 読者は、%https://thebiasplanetinjapanese.blogspot.com/2026/09/formoduleslinearmorphismsisomorphismlinearlyindependentsubsetorbasisofdomainismappedtolinearlyindependentsubsetorbasis.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6667077005489819204Sun, 27 Sep 2026 13:13:30 +00002026-09-27T06:13:30.367-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）でファイナイト（有限）ベーシス（基底）を持つものに対して、モジュール（加群）はコンポーネントたちモジュール（加群）へ'モジュール（加群）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィック（同形写像）であることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、モジュール（加群）のベーシス（基底）の定義を知っている。 読者は、プロダクトモジュール（加群）の定義を知っている。 読者は、任意のリング（環）はカノニカル（正典）にあるモジュール（加群）で、https://thebiasplanetinjapanese.blogspot.com/2026/09/formodulewithfinitebasismoduleismoduleslinearmorphismsisomorphictocomponentsmodule.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7013577155032304357Sun, 27 Sep 2026 13:10:16 +00002026-09-27T06:31:08.473-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）リニアにインディペンデント（線形独立）サブセット（部分集合）たちまたはベーシス（基底）たちは、必ずしも、ベクトルたちスペース（空間）リニアにインディペンデント（線形独立）サブセット（部分集合）たちまたはベーシス（基底）たちのいくつかのプロパティたちを持たないことの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof (imperfect) 開始コンテキスト 読者は、モジュール（加群）のベーシス（基底）の定義を知っている。 読者は、モジュール（加群）のジェネレイター（作成元たち）の定義を知https://thebiasplanetinjapanese.blogspot.com/2026/09/modulelinearlyindependentsubsetsorbasesdonotnecessarilyhavesomepropertiesofvectorsspacelinearlyindependentsubsetsorbases.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3128188623675311448Sun, 27 Sep 2026 13:08:45 +00002026-09-27T06:08:45.416-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ディビジョン（除算持ち）リング（環）上方のモジュール（加群）に対して、非ゼロ要素に非ゼロスカラーを掛けたものは非ゼロであることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 読者は、任意のモジュール（加群）に対して、\(0\)に各スカラーを掛けたものは\(0\)であるという命題を認めている。 ターゲットコンテキスト 読者は、任意のディビジョン（除算持ち）リング（環）上方の任意のモジュール（加群）https://thebiasplanetinjapanese.blogspot.com/2026/09/formoduleoverdivisionringnonzeroelementnonzeroscalarmultipliedisnonzero.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7483137819454754495Sun, 27 Sep 2026 13:07:23 +00002026-09-27T06:07:23.041-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、非ゼロ要素に非ゼロスカラーを掛けたものは必ずしも非ゼロでないことの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 読者は、インテジャー（整数）たちモジュロナチュラルナンバー（自然数）リング（環）の定義を知っている。 読者は、任意のリング（環）はカノニカル（正典）にあるモジュール（加群）で、ある\(1\)-要素ベーシス（基底）を持つという命題を認めている。 ターゲットコンテキストhttps://thebiasplanetinjapanese.blogspot.com/2026/09/formodulenonzeroelementnonzeroscalarmultipliedisnotnecessarilynonzero.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1820125967616604014Sun, 27 Sep 2026 13:06:02 +00002026-09-27T06:06:02.902-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、\(0\)にスカラーを掛けたものは\(0\)であることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 ターゲットコンテキスト 読者は、任意のモジュール（加群）に対して、\(0\)に各スカラーを掛けたものは\(0\)であるという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論されたhttps://thebiasplanetinjapanese.blogspot.com/2026/09/formodule0scalarmultipliedis0.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6667714442026960947Sun, 27 Sep 2026 13:04:47 +00002026-09-27T06:04:47.238-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、要素のインバース（逆）は要素に\(- 1\)-スカラーを掛けたものであることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 読者は、任意のモジュール（加群）に対して、各要素に\(0\)-スカラーを掛けたものは\(0\)であるという命題を認めている。 読者は、任意のモジュール（加群）に対して、各要素はユニークなインバース（逆）を持つという命題を認めている。 ターゲットコンテキスト https://thebiasplanetinjapanese.blogspot.com/2026/09/formoduleinverseofelementiselement1scalarmultiplied.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4285784421623760930Sun, 27 Sep 2026 13:03:25 +00002026-09-27T06:03:25.559-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、各要素はユニークなインバース（逆）を持つことの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 ターゲットコンテキスト 読者は、任意のモジュール（加群）に対して、各要素はユニークなインバース（逆）を持つという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧がありますhttps://thebiasplanetinjapanese.blogspot.com/2026/09/formoduleeachelementhasuniqueinverse.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6336777230041404469Sun, 27 Sep 2026 13:02:08 +00002026-09-27T06:02:08.673-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、要素に\(0\)-スカラーを掛けたものは\(0\)であることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 ターゲットコンテキスト 読者は、任意のモジュール（加群）に対して、各要素に\(0\)-スカラーを掛けたものは\(0\)であるという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまでhttps://thebiasplanetinjapanese.blogspot.com/2026/09/formoduleelement0scalarmultipliedis0.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5753084478728578353Sun, 27 Sep 2026 13:00:49 +00002026-09-27T06:00:49.058-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）に対して、非ゼロ要素のインバース（逆）は非ゼロ要素であることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 ターゲットコンテキスト 読者は、任意のモジュール（加群）に対して、任意の非ゼロ要素のインバース（逆）はある非ゼロ要素であるという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論されたhttps://thebiasplanetinjapanese.blogspot.com/2026/09/formoduleinverseofnonzeroelementisnonzeroelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6814142493519776727Sun, 27 Sep 2026 12:59:30 +00002026-09-27T05:59:30.321-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リング（環）に対して、非ゼロ要素のアディティブ（加法）インバース（逆）は非ゼロ要素であることの記述/証明 話題 About: リング（環） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、リング（環）の定義を知っている。 読者は、任意のグループ（群）に対して、任意の非アイデンティティ（単位）要素のインバース（逆）はある非アイデンティティ（単位）要素であるという命題を認めている。 ターゲットコンテキスト 読者は、任意のリング（環）に対して、任意の非ゼロ要素のアディティブ（加法）インバース（逆）はある非ゼロ要素であるというhttps://thebiasplanetinjapanese.blogspot.com/2026/09/forringadditiveinverseofnonzeroelementisnonzeroelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2920728397011619144Sun, 27 Sep 2026 12:58:11 +00002026-09-27T05:58:11.664-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）に対して、非アイデンティティ（単位）要素のインバース（逆）は非アイデンティティ（単位）要素であることの記述/証明 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、グループ（群）の定義を知っている。 ターゲットコンテキスト 読者は、任意のグループ（群）に対して、任意の非アイデンティティ（単位）要素のインバース（逆）はある非アイデンティティ（単位）要素であるという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧がありますhttps://thebiasplanetinjapanese.blogspot.com/2026/09/forgroupinverseofnonidentityelementisnonidentityelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1044351416864716391Mon, 21 Sep 2026 13:09:43 +00002026-09-27T05:56:37.260-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> エルミートマトリックス（行列）のユニタリマトリックス（行列）によるコンジュゲート（共役）はエルミートであることの記述/証明 話題 About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、エルミートマトリックス（行列）の定義を知っている。 読者は、ユニタリマトリックス（行列）の定義を知っている。 読者は、マトリックス（行列）のインバーティブル（可逆）マトリックス（行列）によるコンジュゲート（共役）の定義を知っている。 読者は、任意のリング（環）に対して、当該リング（環）上方の任意のhttps://thebiasplanetinjapanese.blogspot.com/2026/09/conjugateofhermitianmatrixbyunitarymatrixishermitian.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4633065214727078309Mon, 21 Sep 2026 13:08:18 +00002026-09-21T06:08:18.784-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ユニタリマトリックス（行列）のユニタリマトリックス（行列）によるコンジュゲート（共役）はユニタリであることの記述/証明 話題 About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、ユニタリマトリックス（行列）の定義を知っている。 読者は、マトリックス（行列）のインバーティブル（可逆）マトリックス（行列）によるコンジュゲート（共役）の定義を知っている。 読者は、任意のリング（環）に対して、当該リング（環）上方の任意のマトリックス（行列）たちのマルチプリケーション（乗法）たちはhttps://thebiasplanetinjapanese.blogspot.com/2026/09/conjugateofunitarymatrixbyunitarymatrixisunitary.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7945869594876533857Mon, 21 Sep 2026 13:06:59 +00002026-09-21T06:06:59.123-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ユニタリマトリックス（行列）に対して、マトリックス（行列）のインバース（逆）のエルミートコンジュゲート（共役）およびマトリックス（行列）のエルミートコンジュゲート（共役）のインバース（逆）はマトリックス（行列）であることの記述/証明 話題 About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、ユニタリマトリックス（行列）の定義を知っている。 読者は、任意のコンプレックス（複素）マトリックス（行列）のエルミートコンジュゲート（共役）のエルミートコンジュゲート（共役）は当該マトリックス（https://thebiasplanetinjapanese.blogspot.com/2026/09/forunitarymatrixhermitianconjugateofinverseofmatrixandinverseofhermitianconjugateofmatrixismatrix.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6872463228736969640Mon, 21 Sep 2026 13:05:34 +00002026-09-21T06:05:34.366-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> マトリックス（行列）のインバーティブル（可逆）マトリックス（行列）によるコンジュゲート（共役）の定義 話題 About: リング（環） About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、\(n \times n\)リング（環）マトリックス（行列）たちのリング（環）の定義を知っている。 ターゲットコンテキスト 読者は、マトリックス（行列）のインバーティブル（可逆）マトリックス（行列）によるコンジュゲート（共役）の定義を得る。 オリエンテーション https://thebiasplanetinjapanese.blogspot.com/2026/09/conjugateofmatrixbyinvertiblematrix.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2925877827378713122Mon, 21 Sep 2026 13:04:13 +00002026-09-21T06:04:13.939-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> モジュール（加群）で同一ファイナイト（有限）カーディナリティ（濃度）の\(2\)個のベーシス（基底）たちを持つものおよびモジュール（加群）エンドモーフィズム（自己準同形写像）に対して、ベーシス（基底）たちの変更に関するエンドモーフィズム（自己準同形写像）マトリックス（行列）たちのトランジション（遷移）はこれであることの記述/証明 話題 About: モジュール（加群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、%リング（環）名%モジュール（加群）の定義を知っている。 読者は、%ストラクチャー（構造）種類名%エンドモーフhttps://thebiasplanetinjapanese.blogspot.com/2026/09/formodulewith2basesofsamefinitecardinalityandmoduleendomorphismtransitionofendomorphismmatriceswrtchangeofbasesisthis.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5584817585763759429Mon, 21 Sep 2026 13:02:59 +00002026-09-21T06:02:59.668-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> もしも、正方リング（環）マトリックス（行列）がインバース（逆）を持つ場合、インバース（逆）はユニークであることの記述/証明 話題 About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、\(n \times n\)リング（環）マトリックス（行列）たちのリング（環）の定義を知っている。 読者は、任意のリング（環）に対して、もしも、ある要素があるインバース（逆）を持つ場合、当該インバース（逆）はユニークであるという命題を認めている。 ターゲットコンテキスト 読者は、もしも、任意https://thebiasplanetinjapanese.blogspot.com/2026/09/ifsquareringmatrixhasinverseinverseisunique.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6139355571372493305Mon, 21 Sep 2026 13:00:57 +00002026-09-21T06:00:57.230-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ユニタリマトリックス（行列）のコンポーネントは絶対値\(1\)以下を持つことの記述/証明 話題 About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、ユニタリマトリックス（行列）の定義を知っている。 ターゲットコンテキスト 読者は、任意のユニタリマトリックス（行列）の各コンポーネントは絶対値\(1\)以下を持つという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論されたhttps://thebiasplanetinjapanese.blogspot.com/2026/09/componentofunitarymatrixhasabsolutevalueequaltoorsmallerthan1.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7422185767522449110Mon, 21 Sep 2026 12:58:57 +00002026-09-21T05:58:57.999-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(n \times n\)ユニタリマトリックス（行列）たちグループ（群）の定義 話題 About: グループ（群） About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。 読者は、ユニタリマトリックス（行列）の定義を知っている。 読者は、グループ（群）の定義を知っている。 ターゲットコンテキスト 読者は、\(n \times n\)ユニタリマトリックス（行列）たちグループ（https://thebiasplanetinjapanese.blogspot.com/2026/09/ntimesnunitarymatricesgroup.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5326830066864216792Mon, 21 Sep 2026 12:57:38 +00002026-09-21T05:57:38.935-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(n \times n\)オーソゴーナル（直交）マトリックス（行列）たちグループ（群）の定義 話題 About: グループ（群） About: マトリックス（行列）たちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。 読者は、オーソゴーナル（直交）マトリックス（行列）の定義を知っている。 読者は、グループ（群）の定義を知っている。 ターゲットコンテキスト 読者は、\(n \times n\)オーソゴーナルhttps://thebiasplanetinjapanese.blogspot.com/2026/09/ntimesnorthogonalmatricesgroup.htmlnoreply@blogger.com (Unknown)