tag:blogger.com,1999:blog-6843587674260015753Sun, 18 Oct 2026 12:51:52 +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)Blogger2496125tag:blogger.com,1999:blog-6843587674260015753.post-7304025425346754069Sun, 18 Oct 2026 12:51:52 +00002026-10-18T05:51:52.344-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | ハウスドルフトポロジカルスペース（空間）上のコンパクトトポロジカルグループ（群）右アクションに関するポイントのスタビライザーに対して、スタビライザーの右コセット（剰余類）たちクオシエント（商）トポロジカルスペース（空間）からポイントのオービット（軌道）トポロジカルサブスペース（部分空間）の中へのカノニカル（正典）マップ（写像）はホメオモーフィズム（位相同形写像）であることの記述/証明 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、コンパクトトポロジカルhttps://thebiasplanetinjapanese.blogspot.com/2026/10/forstabilizerofpointwrtcompacttopologicalgrouprightactiononhausdorfftopologicalspacecanonicalmapfromrightcosetsofstabilizerquotienttopologicalspaceintoorbitofpointtopologicalsubspaceishomeomorphism.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-125018573338310546Sun, 18 Oct 2026 12:50:24 +00002026-10-18T05:50:24.733-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ハウスドルフトポロジカルスペース（空間）上のコンパクトトポロジカルグループ（群）左アクションに関するポイントのスタビライザーに対して、スタビライザーの左コセット（剰余類）たちクオシエント（商）トポロジカルスペース（空間）からポイントのオービット（軌道）トポロジカルサブスペース（部分空間）の中へのカノニカル（正典）マップ（写像）はホメオモーフィズム（位相同形写像）であることの記述/証明 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト https://thebiasplanetinjapanese.blogspot.com/2026/10/forstabilizerofpointwrtcompacttopologicalgroupleftactiononhausdorfftopologicalspacecanonicalmapfromleftcosetsofstabilizerquotienttopologicalspaceintoorbitofpointtopologicalsubspaceishomeomorphism.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5976318526167023262Sun, 18 Oct 2026 12:49:00 +00002026-10-18T05:49:00.353-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルグループ（群）右アクションに関するポイントのスタビライザーに対して、スタビライザーの右コセット（剰余類）たちクオシエント（商）トポロジカルスペース（空間）からポイントのオービット（軌道）トポロジカルサブスペース（部分空間）の中へのカノニカル（正典）マップ（写像）はコンティニュアス（連続）バイジェクション（全単射）であることの記述/証明 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、トポロジカルグループ（群）右https://thebiasplanetinjapanese.blogspot.com/2026/10/forstabilizerofpointwrttopologicalgrouprightactioncanonicalmapfromrightcosetsofstabilizerquotienttopologicalspaceintoorbitofpointtopologicalsubspaceiscontinuousbijection.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7928088766823653232Sun, 18 Oct 2026 12:47:40 +00002026-10-18T05:47:40.931-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルグループ（群）左アクションに関するポイントのスタビライザーに対して、スタビライザーの左コセット（剰余類）たちクオシエント（商）トポロジカルスペース（空間）からポイントのオービット（軌道）トポロジカルサブスペース（部分空間）の中へのカノニカル（正典）マップ（写像）はコンティニュアス（連続）バイジェクション（全単射）であることの記述/証明 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、トポロジカルグループ（群）左https://thebiasplanetinjapanese.blogspot.com/2026/10/forstabilizerofpointwrttopologicalgroupleftactioncanonicalmapfromleftcosetsofstabilizerquotienttopologicalspaceintoorbitofpointtopologicalsubspaceiscontinuousbijection.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-9135136131734704784Sun, 18 Oct 2026 12:46:19 +00002026-10-18T05:46:19.305-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）右アクションに関するポイントのスタビライザーに対して、スタビライザーの右コセット（剰余類）たちクオシエント（商）セット（集合）からポイントのオービット（軌道）の中へのカノニカル（正典）マップ（写像）はバイジェクション（全単射）であることの記述/証明 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、グループ（群）右アクションに関するポイントのスタビライザーの定義を知っている。 読者は、グループ（群）の要素によるサブグループ（部分群）の左または右コセット（剰余類）の定義を知ってhttps://thebiasplanetinjapanese.blogspot.com/2026/10/forstabilizerofpointwrtgrouprightactioncanonicalmapfromrightcosetsofstabilizerquotientsetintoorbitofpointisbijection.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5669386231209948806Sun, 18 Oct 2026 12:44:56 +00002026-10-18T05:44:56.292-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）左アクションに関するポイントのスタビライザーに対して、スタビライザーの左コセット（剰余類）たちクオシエント（商）セット（集合）からポイントのオービット（軌道）の中へのカノニカル（正典）マップ（写像）はバイジェクション（全単射）であることの記述/証明 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、グループ（群）左アクションに関するポイントのスタビライザーの定義を知っている。 読者は、グループ（群）の要素によるサブグループ（部分群）の左または右コセット（剰余類）の定義を知ってhttps://thebiasplanetinjapanese.blogspot.com/2026/10/forstabilizerofpointwrtgroupleftactioncanonicalmapfromleftcosetsofstabilizerquotientsetintoorbitofpointisbijection.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3259348194529244883Sun, 18 Oct 2026 12:43:29 +00002026-10-18T05:43:29.809-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> エフェクティブ（効果的）グループ（群）右アクションの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、グループ（群）右アクションに関するポイントのスタビライザーの定義を知っている。 ターゲットコンテキスト 読者は、エフェクティブ（効果的）グループ（群）右アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここにhttps://thebiasplanetinjapanese.blogspot.com/2026/10/effectivegrouprightaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4818350434237443644Sun, 18 Oct 2026 12:42:14 +00002026-10-18T05:42:14.531-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> エフェクティブ（効果的）グループ（群）左アクションの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、グループ（群）左アクションに関するポイントのスタビライザーの定義を知っている。 ターゲットコンテキスト 読者は、エフェクティブ（効果的）グループ（群）左アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここにhttps://thebiasplanetinjapanese.blogspot.com/2026/10/effectivegroupleftaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5712744740298999938Sun, 18 Oct 2026 12:40:53 +00002026-10-18T05:40:53.315-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> フリーグループ（群）右アクションの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、グループ（群）右アクションに関するポイントのスタビライザーの定義を知っている。 ターゲットコンテキスト 読者は、フリーグループ（群）右アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化された記述'のルールたちがある。 https://thebiasplanetinjapanese.blogspot.com/2026/10/freegrouprightaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1432927803544845327Sun, 18 Oct 2026 12:39:31 +00002026-10-18T05:39:31.291-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> フリーグループ（群）左アクションの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、グループ（群）左アクションに関するポイントのスタビライザーの定義を知っている。 ターゲットコンテキスト 読者は、フリーグループ（群）左アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化された記述'のルールたちがある。 https://thebiasplanetinjapanese.blogspot.com/2026/10/freegroupleftaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4918202535965091434Sun, 18 Oct 2026 12:38:07 +00002026-10-18T05:38:07.160-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トランジティブ（推移的）グループ（群）右アクションの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、グループ（群）右アクションに関するポイントのオービット（軌道）の定義. ターゲットコンテキスト 読者は、トランジティブ（推移的）グループ（群）右アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化https://thebiasplanetinjapanese.blogspot.com/2026/10/transitivegrouprightaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4150676113769134663Sun, 18 Oct 2026 12:36:37 +00002026-10-18T05:36:37.673-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トランジティブ（推移的）グループ（群）左アクションの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、グループ（群）左アクションに関するポイントのオービット（軌道）の定義を知っている。 ターゲットコンテキスト 読者は、トランジティブ（推移的）グループ（群）左アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 https://thebiasplanetinjapanese.blogspot.com/2026/10/transitivegroupleftaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1061249990400805588Sun, 18 Oct 2026 12:35:10 +00002026-10-18T05:35:10.418-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）右アクションに関するポイントのスタビライザーの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、グループ（群）右アクションの定義を知っている。 ターゲットコンテキスト 読者は、グループ（群）右アクションに関するポイントのスタビライザーの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化されたhttps://thebiasplanetinjapanese.blogspot.com/2026/10/stabilizerofpointwrtgrouprightaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3421459974916059013Sun, 18 Oct 2026 12:33:47 +00002026-10-18T05:33:47.697-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）左アクションに関するポイントのスタビライザーの定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、グループ（群）左アクションの定義を知っている。 ターゲットコンテキスト 読者は、グループ（群）左アクションに関するポイントのスタビライザーの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化されたhttps://thebiasplanetinjapanese.blogspot.com/2026/10/stabilizerofpointwrtgroupleftaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1145334088313273529Sun, 18 Oct 2026 12:32:19 +00002026-10-18T05:32:19.801-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）右アクションに関するポイントのオービット（軌道）の定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、グループ（群）右アクションの定義を知っている。 ターゲットコンテキスト 読者は、グループ（群）右アクションに関するポイントのオービット（軌道）の定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化された記述https://thebiasplanetinjapanese.blogspot.com/2026/10/orbitofpointwrtgrouprightaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8641025669472894943Sun, 18 Oct 2026 12:30:50 +00002026-10-18T05:30:50.887-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> グループ（群）左アクションに関するポイントのオービット（軌道）の定義 話題 About: グループ（群） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、グループ（群）左アクションの定義を知っている。 ターゲットコンテキスト 読者は、グループ（群）左アクションに関するポイントのオービット（軌道）の定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'構造化された記述https://thebiasplanetinjapanese.blogspot.com/2026/10/orbitofpointwrtgroupleftaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5943199364669913641Sun, 18 Oct 2026 12:29:28 +00002026-10-18T05:29:28.236-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルグループ（群）右アクションの定義 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、トポロジカルグループ（群）の定義を知っている。 読者は、グループ（群）右アクションの定義を知っている。 ターゲットコンテキスト 読者は、トポロジカルグループ（群）左アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧がありますhttps://thebiasplanetinjapanese.blogspot.com/2026/10/topologicalgrouprightaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8255814858145687536Sun, 18 Oct 2026 12:28:07 +00002026-10-18T05:28:07.705-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルグループ（群）左アクションの定義 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、トポロジカルグループ（群）の定義を知っている。 読者は、グループ（群）左アクションの定義を知っている。 ターゲットコンテキスト 読者は、トポロジカルグループ（群）左アクションの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧がありますhttps://thebiasplanetinjapanese.blogspot.com/2026/10/topologicalgroupleftaction.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5571195631873535759Sun, 11 Oct 2026 12:40:34 +00002026-10-18T05:26:39.359-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> クォータニオン（4元数）ユークリディアントポロジカルスペース（空間）は、対応するユークリディアントポロジカルスペース（空間）へカノニカル（正典）にホメオモーフィック（位相同形写像）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: Proof 開始コンテキスト 読者は、クォータニオン（4元数）ユークリディアントポロジカルスペース（空間）の定義を知っている。 読者は、ユークリディアントポロジカルスペース（空間）の定義を知っている。 読者は、ホメオモーフィズム（位相同形写像）の定義を知っているhttps://thebiasplanetinjapanese.blogspot.com/2026/10/quaternioneuclideantopologicalspaceiscanonicallyhomeomorphictocorrespondingeuclideantopologicalspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5894096817183376627Sun, 11 Oct 2026 12:39:09 +00002026-10-11T05:39:09.707-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リアル（実）マトリックス（行列）たちトポロジカルスペース（空間）たちのファイナイト（有限）-プロダクト上のマルチプリケーション（乗法）はコンティニュアス（連続）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。 読者は、\(m \times n\)リアル（実）マトリックス（行列）たちトポロジカルスペース（空間）の定義を知っている。 読者は、プロダクトトポロジカルスペース（空間）の定義https://thebiasplanetinjapanese.blogspot.com/2026/10/multiplicationonfiniteproductofrealmatricestopologicalspacesiscontinuous.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2022763774574054081Sun, 11 Oct 2026 12:37:48 +00002026-10-11T05:37:48.170-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> クォータニオン（4元数）マトリックス（行列）たちトポロジカルスペース（空間）たちのファイナイト（有限）-プロダクト上のマルチプリケーション（乗法）はコンティニュアス（連続）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。 読者は、\(m \times n\)クォータニオン（4元数）マトリックス（行列）たちトポロジカルスペース（空間）の定義を知っている。 読者は、プロダクトトポhttps://thebiasplanetinjapanese.blogspot.com/2026/10/multiplicationonfiniteproductofquaternionmatricestopologicalspacesiscontinuous.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7170950639840210787Sun, 11 Oct 2026 12:36:22 +00002026-10-11T05:36:22.989-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> コンプレックス（複素）マトリックス（行列）たちトポロジカルスペース（空間）たちのファイナイト（有限）-プロダクト上のマルチプリケーション（乗法）はコンティニュアス（連続）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: Proof 開始コンテキスト 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。 読者は、\(m \times n\)コンプレックス（複素）マトリックス（行列）たちトポロジカルスペース（空間）の定義を知っている。 読者は、プロダクトトポロジカルhttps://thebiasplanetinjapanese.blogspot.com/2026/10/multiplicationonfiniteproductofcomplexmatricestopologicalspacesiscontinuous.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7427846302111002315Sun, 11 Oct 2026 12:34:51 +00002026-10-11T05:34:51.046-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ファイナイト（有限）-ディメンショナル（次元）リアル（実）ベクトルたちスペース（空間）のジェネラルリニア（線形）トポロジカルグループ（群）の定義 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、ベクトルたちスペース（空間）のジェネラルリニア（線形）グループ（群）の定義を知っている。 読者は、ベクトルたちスペース（空間）のディメンション（次元）の定義を知っている。 読者は、\(n \times n\)インバーティブル（可逆）リアル（実）https://thebiasplanetinjapanese.blogspot.com/2026/10/generallineartopologicalgroupoffinitedimensionalrealvectorsspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7695119560092941032Sun, 11 Oct 2026 12:33:29 +00002026-10-11T05:33:29.486-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> クォータニオン（4元数）モジュール（加群）でファイナイト（有限）ベーシス（基底）を持つもののジェネラルリニア（線形）トポロジカルグループ（群）の定義 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、クォータニオン（4元数）たちディビジョン（除算持ち）アソシアティブ（結合的）アルジェブラ（多元環）の定義を知っている。 読者は、モジュール（加群）のジェネラルリニア（線形）グループ（群）の定義を知っている。 読者は、\(n \times n\https://thebiasplanetinjapanese.blogspot.com/2026/10/generallineartopologicalgroupofquaternionmodulewithfinitebasis.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4231068440316758632Sun, 11 Oct 2026 12:31:47 +00002026-10-11T05:31:47.922-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ファイナイト（有限）-ディメンショナル（次元）コンプレックス（複素）ベクトルたちスペース（空間）のジェネラルリニア（線形）トポロジカルグループ（群）の定義 話題 About: グループ（群） About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、ベクトルたちスペース（空間）のジェネラルリニア（線形）グループ（群）の定義を知っている。 読者は、ベクトルたちスペース（空間）のディメンション（次元）の定義を知っている。 読者は、\(n \times n\)インバーティブル（可逆）https://thebiasplanetinjapanese.blogspot.com/2026/10/generallineartopologicalgroupoffinitedimensionalcomplexvectorsspace.htmlnoreply@blogger.com (Unknown)