tag:blogger.com,1999:blog-6843587674260015753Tue, 16 Jun 2026 16:34:59 +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)Blogger2261125tag:blogger.com,1999:blog-6843587674260015753.post-4737133732926502815Sun, 14 Jun 2026 14:59:25 +00002026-06-14T07:59:25.748-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | トポロジカルスペース（空間）およびスペース（空間）のオープンカバー（開被覆）に対して、もしも、オープンカバー（開被覆）のローカルにファイナイト（有限）リファインメントおよびリファインメントにに従属する、ユニティのパーティションがある場合、元のカバー（被覆）に従属する、ユニティーのパーティションがあることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、トポロジカルスペース（空間）のサブセット（部分集合）のオープンカバー（開被覆）のリファインメントの定義を知っている。 読者は、ユニティのパーティションhttps://thebiasplanetinjapanese.blogspot.com/2026/06/fortopologicalspaceandopencoverofspaceiftherearelocallyfiniterefinementofopencoverandpartitionofunitysubordinatetorefinementthereispartitionofunitysubordinatetooriginalcover.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4351496798462568417Sun, 14 Jun 2026 14:58:02 +00002026-06-14T07:58:02.434-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルスペース（空間）およびスペース（空間）からリング（環）またはモジュール（加群）の中へのマップ（写像）たちのセット（集合）で非ゼロのプリイメージ（前像）たちのセット（集合）がローカルにファイナイト（有限）であるものに対して、マップ（写像）たちの合計のサポートはマップ（写像）たちのサポートたちのユニオン（和集合）内に包含されていることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、トポロジカルスペース（空間）からリング（環）またはモジュール（加群）の中へのマップ（https://thebiasplanetinjapanese.blogspot.com/2026/06/fortopologicalspaceandsetofmapsfromspaceintoringormodulestsetofpreimagesofnonzeroislocallyfinitesupportofsumofmapsiscontainedinunionofsupportsofmaps.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4958944565812279675Sun, 14 Jun 2026 14:56:40 +00002026-06-14T07:56:40.160-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パラコンパクトハウスドルフトポロジカルスペース（空間）はノーマル（正規）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、パラコンパクトトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、ノーマル（正規）トポロジカルスペース（空間）の定義を知っている。 読者は、任意のトポロジカルスペース（空間）のサブセット（部分集合）たちのローカルにファイナイト（有限）な任意のセット（集合）に対して、https://thebiasplanetinjapanese.blogspot.com/2026/06/paracompacthausdorfftopologicalspaceisnormal.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5671341176478277949Sun, 14 Jun 2026 14:55:18 +00002026-06-14T07:55:18.324-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パラコンパクトトポロジカルスペース（空間）のクローズド（閉）サブスペース（部分空間）はパラコンパクトであることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 3: 注 開始コンテキスト 読者は、パラコンパクトトポロジカルスペース（空間）の定義を知っている。 読者は、トポロジカルサブスペース（部分空間）の定義を知っている。 読者は、トポロジカルスペース（空間）のクローズドサブセット（閉部分集合）の定義を知っている。 読者は、任意のトポロジカルスペース（空間）および任意のサブスペース（部分空間）上のhttps://thebiasplanetinjapanese.blogspot.com/2026/06/closedsubspaceofparacompacttopologicalspaceisparacompact.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5325550473017918618Sun, 14 Jun 2026 14:53:53 +00002026-06-14T07:53:53.813-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パラコンパクトトポロジカルスペース（空間）の定義 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、トポロジカルスペース（空間）のサブセット（部分集合）たちのローカルにファイナイト（有限な）セット（集合）の定義を知っている。 読者は、トポロジカルスペース（空間）のサブセット（部分集合）のオープンカバー（開被覆）のリファインメントの定義を知っている。 ターゲットコンテキスト 読者は、パラコンパクトトポロジカルスペース（空間）の定義を得る。 オリエンテーション 本サイトにてこれまでhttps://thebiasplanetinjapanese.blogspot.com/2026/06/paracompacttopologicalspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3133354548612592811Sun, 14 Jun 2026 14:52:32 +00002026-06-14T07:52:32.894-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルスペース（空間）のサブセット（部分集合）のオープンカバー（開被覆）のリファインメントの定義 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、トポロジカルスペース（空間）の定義を知っている。 ターゲットコンテキスト 読者は、トポロジカルスペース（空間）のサブセット（部分集合）のオープンカバー（開被覆）のリファインメントの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちのhttps://thebiasplanetinjapanese.blogspot.com/2026/06/refinementofopencoverofsubsetoftopologicalspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5517482495740971463Sun, 14 Jun 2026 14:51:11 +00002026-06-14T07:51:11.278-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにコンパクトハウスドルフトポロジカルスペース（空間）はその\(1\)-ポイントコンパクト化のオープンサブスペース（開部分空間）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、ローカルにコンパクトなトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、トポロジカルサブスペース（部分空間）の定義を知っている。 読者は、任意のローカルにコンパクトハウスドルフトポロジカルスペース（空間）https://thebiasplanetinjapanese.blogspot.com/2026/06/locallycompacthausdorfftopologicalspaceisopensubspaceofits1pointcompactification.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7000939122683140038Sun, 14 Jun 2026 14:49:43 +00002026-06-14T07:49:43.512-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ハウスドルフトポロジカルスペース（空間）に対して、もしも、ローカルにコンパクトハウスドルフトポロジカルスペース（空間）でスペース（空間）がそのローカルにクローズド（閉）サブスペース（部分空間）であるものがある場合、スペース（空間）はローカルにコンパクトであることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、ローカルにコンパクトなトポロジカルスペース（空間）の定義を知っている。 読者は、ローカルにhttps://thebiasplanetinjapanese.blogspot.com/2026/06/forhausdorfftopologicalspaceifthereislocallycompacthausdorfftopologicalspaceofwhichspaceislocallyclosedsubspacespaceislocallycompact.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6604946867716535096Sun, 14 Jun 2026 14:48:17 +00002026-06-14T07:48:17.498-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにクローズド（閉）トポロジカルサブスペース（部分空間）の定義 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、トポロジカルサブスペース（部分空間）の定義を知っている。 読者は、トポロジカルスペース（空間）のクローズドサブセット（閉部分集合）の定義を知っている。 読者は、トポロジカルスペース（空間）上のポイントのネイバーフッド（近傍）の定義を知っている。 ターゲットコンテキスト 読者は、ローカルにクローズド（閉）トポロジカルサブスペース（部分空間）の定義を得る。 https://thebiasplanetinjapanese.blogspot.com/2026/06/locallyclosedtopologicalsubspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2900413056001049952Sun, 14 Jun 2026 14:46:46 +00002026-06-14T07:46:46.786-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにコンパクトハウスドルフトポロジカルスペース（空間）たち間プロパーコンティニュアスマップ（連続写像）はクローズド（閉）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、ローカルにコンパクトなトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、プロパーマップ（写像）の定義を知っている。 読者は、コンティヌアス（連続）な、トポロジカルスペース（空間）たちマップ（写像）の定義を知ってhttps://thebiasplanetinjapanese.blogspot.com/2026/06/propercontinuousmapbetweenlocallycompacthausdorfftopologicalspacesisclosed.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1014784716636331614Sun, 14 Jun 2026 14:45:26 +00002026-06-14T07:45:26.496-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> マップ（写像）およびそのエクステンション（拡張）で拡張されたエリアを元のコドメイン（余域）の外へマップするものに対して、元のドメイン（定義域）のサブセット（部分集合）の元のマップ（写像）イメージ（像）は、サブセット（部分集合）と拡張されたエリアのユニオン（和集合）のエクステンション（拡張）イメージ（像）と元のコドメイン（余域）のインターセクション（共通集合）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、コドメイン（余域）のサブセット（部分集合）のマップ（写像）プリイメージ（前像）のhttps://thebiasplanetinjapanese.blogspot.com/2026/06/formapanditsextensionthatmapsextendedareaoutsideoriginalcodomainoriginalmapimageofsubsetoforiginaldomainisintersectionofextensionimageofunionofsubsetandextendedareaandoriginalcodomain.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7980789404747973440Sun, 14 Jun 2026 14:44:00 +00002026-06-14T07:44:00.049-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> マップ（写像）およびそのエクステンション（拡張）で拡張されたエリアを元のコドメイン（余域）の外へマップするものに対して、サブセット（部分集合）のエクステンション（拡張）プリイメージ（前像）は、サブセット（部分集合）と元のコドメイン（余域）のインターセクション（共通集合）の元のマップ（写像）プリイメージ（前像）とサブセット（部分集合）マイナス元のコドメイン（余域）のエクステンション（拡張）プリイメージ（前像）のユニオン（和集合）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、https://thebiasplanetinjapanese.blogspot.com/2026/06/formapanditsextensionthatmapsextendedareaoutsideoriginalcodomainextensionpreimageofsubsetisunionoforiginalmappreimageofintersectionofsubsetandoriginalcodomainandextensionpreimageofsubsetminusoriginalcodomain.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6876648944284628385Sun, 14 Jun 2026 14:42:36 +00002026-06-14T07:42:36.098-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> 空サブセット（部分集合）のマップ（写像）プリイメージ（前像）は空セット（集合）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、コドメイン（余域）のサブセット（部分集合）のマップ（写像）プリイメージ（前像）の定義を知っている。 ターゲットコンテキスト 読者は、任意のマップ（写像）に対して、空サブセット（部分集合）の当該マップ（写像）プリイメージ（前像）は空セット（集合）であるという命題の記述および証明を得る。 オリエンテーション 本サイトにてこれまで議論されたhttps://thebiasplanetinjapanese.blogspot.com/2026/06/mappreimageofemptysubsetisemptyset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8081494763735074905Sun, 14 Jun 2026 14:41:10 +00002026-06-14T07:41:10.929-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> コドメイン（余域）のサブセット（部分集合）のマップ（写像）プリイメージ（前像）の定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、マップ（写像）の定義を知っている。 ターゲットコンテキスト 読者は、コドメイン（余域）のサブセット（部分集合）のマップ（写像）プリイメージ（前像）の定義を得る。. オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 https://thebiasplanetinjapanese.blogspot.com/2026/06/mappreimageofsubsetofcodomain.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1184648687854114489Sun, 14 Jun 2026 14:39:52 +00002026-06-14T07:39:52.505-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにコンパクトハウスドルフトポロジカルスペース（空間）に対して、\(1\)-ポイントコンパクト化のトポロジーは、\(1\)-ポイントが追加されたセット（集合）をコンパクトハウスドルフにし元のスペース（空間）をサブスペース（部分空間）として持つ唯一のトポロジーであることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、ローカルにコンパクトハウスドルフトポロジカルスペース（空間）の\(1\)-ポイントコンパクト化の定義を知っている。 読者は、コンパクトトポロジカルスペース（空間https://thebiasplanetinjapanese.blogspot.com/2026/06/forlocallycompacthausdorfftopologicalspacetopologyof1pointcompactificationisonlytopologythatmakes1pointaugmentedsetcompacthausdorffwithoriginalspaceassubspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4236691413097251110Sun, 14 Jun 2026 14:38:14 +00002026-06-14T07:38:14.426-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにコンパクトハウスドルフトポロジカルスペース（空間）の\(1\)-ポイントコンパクト化の定義 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、ローカルにコンパクトなトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、コンパクトトポロジカルスペース（空間）の定義を知っている。 読者は、任意のセット（集合）マイナス任意のセット（集合）と任意のセット（集合）のインターセクション（共通集合）は第1セット（集合）https://thebiasplanetinjapanese.blogspot.com/2026/06/1pointcompactificationoflocallycompacthausdorfftopologicalspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3706597414457288419Sun, 07 Jun 2026 13:34:22 +00002026-06-14T07:36:54.479-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにコンパクトハウスドルフトポロジカルスペース（空間）はコンプリート（完全）にレギュラー（正則）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、ローカルにコンパクトなトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、コンプリート（完全）にレギュラー（正則）トポロジカルスペース（空間）の定義を知っている。 読者は、任意のローカルにコンパクトなハウスドルフトポロジカルhttps://thebiasplanetinjapanese.blogspot.com/2026/06/locallycompacthausdorfftopologicalspaceiscompletelyregular.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4039189136231002293Sun, 07 Jun 2026 13:32:33 +00002026-06-07T06:32:33.362-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローカルにコンパクトハウスドルフトポロジカルスペース（空間）および第1のオープンサブセット（開部分集合）でそのクローズド（閉包）がコンパクトで第2のオープンサブセット（開部分集合）内に包含されているものに対して、第1のサブセット（部分集合）のクロージャー（閉包）を包含するオープンサブセット（開部分集合）でそのクロージャー（閉包）がコンパクトで第2のサブセット（部分集合）内に包含されているものがあることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、ローカルにコンパクトなトhttps://thebiasplanetinjapanese.blogspot.com/2026/06/forlocallycompacthausdorfftopologicalspaceand1stopensubsetwhoseclosureiscompactandcontainedin2ndopensubsetthereisopensubsetthatcontainsclosureof1stsubsetwhoseclosureiscompactandcontainedin2ndsubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4794245276664493947Sun, 07 Jun 2026 13:31:08 +00002026-06-07T06:31:08.814-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ハウスドルフトポロジカルスペース（空間）に対して、もしも、各ポイントがコンパクトネイバーフッド（近傍）を持つ場合、そしてその場合に限って、スペース（空間）はローカルにコンパクトであることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、任意のハウスドルフトポロジカルスペース（空間）の任意のコンパクトサブセット（部分集合）はクローズド（閉）であるという命題を認めている。 読者は、任意のトポロジカルサブスペースhttps://thebiasplanetinjapanese.blogspot.com/2026/06/forhausdorfftopologicalspaceiffeachpointhascompactneighborhoodspaceislocallycompact.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-734439510987079534Sun, 07 Jun 2026 13:29:13 +00002026-06-07T06:29:13.989-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）上の\(2\)個のシーケンス（列）たちで同一ドメイン（定義域）を持ちリミットスピアリア（上極限）たちを持つものたちに対して、もしも、後者シーケンス（列）が前者以上である場合、後者リミットスピアリア（上極限）は前者リミットスピアリア（上極限）以上であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアhttps://thebiasplanetinjapanese.blogspot.com/2026/06/for2sequenceswithsamedomainonlinearlyorderedsetthathavelimitssuperioriflattersequenceisequaltoorlargerthanformerlatterlimitsuperiorisequaltoorlargerthanformerlimitsuperior.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-310002122705867619Sun, 07 Jun 2026 13:27:54 +00002026-06-07T06:27:54.172-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットスピアリア（上極限）は先行ファイナイト（有限）要素たちに依存しないことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアリア（上極限）の定義を知っている。 読者は、任意のリニアリーオーダードセット（線形順序集合）に対して、任意の非空ファイナイト（有限）サブセット（https://thebiasplanetinjapanese.blogspot.com/2026/06/forsequenceonlinearlyorderedsetlimitsuperiorisindependentofleadingfiniteelements.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3643642012818299863Sun, 07 Jun 2026 13:26:29 +00002026-06-07T06:26:29.010-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パーシャリーオーダードセット（半順序集合）およびサブセット（部分集合）に対して、もしも、サブセット（部分集合）のミニマム（最小）が存在する場合、ミニマム（最小）はインフィマム（下限）であり、もしも、サブセット（部分集合）のマキシマム（最大）が存在する場合、マキシマム（最大）はサプリマム（上限）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、パーシャリーオーダードセット（半順序集合）のサブセット（部分集合）でインデュースト（誘導された）パーシャルオーダリング（半順序）を持つものの定義を知https://thebiasplanetinjapanese.blogspot.com/2026/06/forpartiallyorderedsetandsubsetifminimumofsubsetexistsminimumisinfimumandifmaximumofsubsetexistsmaximumissupremum.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1960402912834333449Sun, 07 Jun 2026 13:24:54 +00002026-06-07T06:24:54.711-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアリア（上極限）の定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、パーシャリーオーダードセット（半順序集合）のサブセット（部分集合）のサプリマム（上限）の定義を知っている。 読者は、パーシャリーオーダードセット（半順序集合）のサブセット（部分集合）のインフィマム（下限）の定義を知っている。 ターゲットコンテキスト 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアリア（上極限）https://thebiasplanetinjapanese.blogspot.com/2026/06/limitsuperiorofsequenceonpartiallyorderedset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3269839169905066343Sun, 07 Jun 2026 13:23:25 +00002026-06-07T06:23:25.406-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）上のコンバージェント（収束する）シーケンス（列）およびリアルナンバー（実数）に対して、シーケンス（列）で要素たちを対応する要素たちにナンバー（数）に掛けたものたちとして持つものは、コンバージェンス（収束ポイント）にナンバー（数）を掛けたものを持ってコンバージ（収束）することの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、メトリックスペース（計量付き空間）上のシーケンス（列）のコンバージェンスhttps://thebiasplanetinjapanese.blogspot.com/2026/06/forconvergentsequenceon1dimensionaleuclideanmetricspaceandrealnumbersequencewithelementsascorrespondingelementsmultipliedbynumberconvergeswithconvergencemultipliedbynumber.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-9062384364347140874Sun, 07 Jun 2026 13:21:50 +00002026-06-07T06:21:50.418-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）上の\(2\)個のコンバージェント（収束する）シーケンス（列）たちで同一ドメイン（定義域）を持つものたちに対して、シーケンス（列）で要素たちを対応する要素たちの合計たちとして持つものは、コンバージェンス（収束ポイント）たちの合計を持ってコンバージ（収束）することの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、メトリックスペース（計量付き空間）上のシーケンス（列）のコンバージェンス（収束https://thebiasplanetinjapanese.blogspot.com/2026/06/for2convergentsequenceswithsamedomainon1dimensionaleuclideanmetricspacesequencewithelementsassumsofcorrespondingelementsconvergeswithsumofconvergences.htmlnoreply@blogger.com (Unknown)