tag:blogger.com,1999:blog-6843587674260015753Sun, 16 Aug 2026 14:03:23 +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)Blogger2368125tag:blogger.com,1999:blog-6843587674260015753.post-346306321576458641Sun, 16 Aug 2026 14:03:23 +00002026-08-16T07:03:23.324-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | リニアリーオーダードセット（線形順序集合）に対して、\(2\)個のインターバル（区間）たちのインターセクション（共通集合）はインターバル（区間）である、このように、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素より大きく第2要素より大きい、もしも、当該要素は\(2\)個の要素たちのマキシマム（最大）より大きい場合、そしてそのhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetintersectionof2intervalsisintervalasthis.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1829600316790823785Sun, 16 Aug 2026 14:01:54 +00002026-08-16T07:01:54.665-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、要素は第1要素より小さく第2要素以下である、もしも、これである場合、そして、その場合に限って、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素より小さく第2要素以下である、もしも、（第https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementselementissmallerthan1stelementandisequaltoorsmallerthan2ndelementiffthis.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7331466865511241587Sun, 16 Aug 2026 14:00:32 +00002026-08-16T07:00:32.314-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、要素は第1要素より大きく第2要素以上である、もしも、これである場合、そして、その場合に限って、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素より大きく第2要素以上である、もしも、（第https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementselementislargerthan1stelementandisequaltoorlargerthan2ndelementiffthis.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6763256205783055033Sun, 16 Aug 2026 13:59:10 +00002026-08-16T06:59:10.736-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、要素は第1要素以下で第2要素以下である、もしも、要素は\(2\)個の要素たちのミニマム（最小）以下である場合、そしてその場合に限って、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素以下で第2https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementselementisequaltoorsmallerthan1stelementandisequaltoorsmallerthan2ndelementiffelementisequaltoorsmallerthanminimumof2elements.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7357437837186547909Sun, 16 Aug 2026 13:57:46 +00002026-08-16T06:57:46.574-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、要素は第1要素より小さく第2要素より小さい、もしも、要素は\(2\)個の要素たちのミニマム（最小）より小さい場合、そしてその場合に限って、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素より小https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementselementissmallerthan1stelementandissmallerthan2ndelementiffelementissmallerthanminimumof2elements.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1045622319441585213Sun, 16 Aug 2026 13:56:16 +00002026-08-16T06:56:16.123-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、要素は第1要素以上で第2要素以上である、もしも、要素は\(2\)個の要素たちのマキシマム（最大）以上である場合、そしてその場合に限って、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素以上で第2https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementselementisequaltoorlargerthan1stelementandisequaltoorlargerthan2ndelementiffelementisequaltoorlargerthanmaximumof2elements.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8091914073130960687Sun, 16 Aug 2026 13:54:45 +00002026-08-16T06:54:45.644-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、要素は第1要素より大きく第2要素より大きい、もしも、要素は\(2\)個の要素たちのマキシマム（最大）より大きい場合、そしてその場合に限って、ことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、任意の要素は第1要素よりhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementselementislargerthan1stelementandislargerthan2ndelementiffelementislargerthanmaximumof2elements.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5386021264976150069Sun, 16 Aug 2026 13:53:14 +00002026-08-16T06:53:14.506-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リアルナンバー（実数）に対して、減少シーケンス（列）でラショナル（有理）値たちを持ち分母たちが同一基底を持つようにもできリアルナンバー（実数）にコンバージ（収束）するものがあることの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、メトリックスペース（計量付き空間）上のシーケンス（列）のコンバージェンス（収束ポイント）の定義を知っている。 読者は、任意のリアルナンバー（実数）より大きく別の任意のリアルナンバー（実数）以下であるあるラショナルナンバー（有理数）をシステマチックにhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forrealnumberthereisdecreasingsequencewithrationalvaluespossiblywithdenominatorswithsamebasewhichconvergestorealnumber.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3000941487849921872Sun, 16 Aug 2026 13:51:46 +00002026-08-16T06:51:46.420-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リアルナンバー（実数）に対して、増加シーケンス（列）でラショナル（有理）値たちを持ち分母たちが同一基底を持つようにもできリアルナンバー（実数）にコンバージ（収束）するものがあることの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、メトリックスペース（計量付き空間）上のシーケンス（列）のコンバージェンス（収束ポイント）の定義を知っている。 読者は、任意のリアルナンバー（実数）より大きく別の任意のリアルナンバー（実数）以下であるあるラショナルナンバー（有理数）をシステマチックにhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forrealnumberthereisincreasingsequencewithrationalvaluespossiblywithdenominatorswithsamebasewhichconvergestorealnumber.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4886319457366413342Sun, 16 Aug 2026 13:50:21 +00002026-08-16T06:50:21.265-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(2\)-シンメトリック（対称）-テンソルによるクワドラティックフォーム（2次形式）はテンソルを決定することの記述/証明 話題 About: ベクトルたちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、\(2\)-シンメトリック（対称）-テンソルによるクワドラティックフォーム（2次形式）の定義を知っている。 ターゲットコンテキスト 読者は、任意の\(2\)-シンメトリック（対称）-テンソルによるクワドラティックフォーム（2次形式）は当該テンソルを決定するという命題の記述および証明を得る。 https://thebiasplanetinjapanese.blogspot.com/2026/08/quadraticformby2symmetrictensordeterminestensor.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-319789577624852073Sun, 16 Aug 2026 13:48:56 +00002026-08-16T06:48:56.207-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(2\)-シンメトリック（対称）-テンソルによるクワドラティックフォーム（2次形式）の定義 話題 About: ベクトルたちスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、フィールド（体）、フィールド（体）上方の\(q\)個の同一ベクトルたちスペース（空間）たちおよびベクトルたちスペース（空間）に関するシンメトリック（対称）-テンソルたちスペース（空間）の定義を知っている。 ターゲットコンテキスト 読者は、\(2\)-シンメトリック（対称）-テンソルによるクワドラティックフォーム（2次形式）の定義を得る。 https://thebiasplanetinjapanese.blogspot.com/2026/08/quadraticformby2symmetrictensor.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8724627728630686424Sun, 16 Aug 2026 13:47:30 +00002026-08-16T06:47:30.746-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> シーケンス（列）のサブシーケンス（部分列）たちのユニオンの定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、シーケンス（列）のサブシーケンス（部分列）の定義を知っている。 ターゲットコンテキスト 読者は、シーケンス（列）のサブシーケンス（部分列）たちのユニオンの定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体 1: 構造化された記述 ここに'https://thebiasplanetinjapanese.blogspot.com/2026/08/unionofsubsequencesofsequence.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2491760056430137958Sun, 16 Aug 2026 13:45:43 +00002026-08-16T06:45:43.511-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> シーケンス（列）のサブシーケンス（部分列）に対するカノニカル（正典）サブシーケンス（部分列）の定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、シーケンス（列）のサブシーケンス（部分列）の定義を知っている。 ターゲットコンテキスト 読者は、シーケンス（列）のサブシーケンス（部分列）に対するカノニカル（正典）サブシーケンス（部分列）の定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧がhttps://thebiasplanetinjapanese.blogspot.com/2026/08/canonicalsubsequenceforsubsequenceofsequence.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6753634820281199103Sun, 09 Aug 2026 13:13:07 +00002026-08-16T06:44:20.216-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア（上極限）は要素以上であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアリア（上極限）の定義を知っている。 ターゲットコンテキスト 読者は、任意のパーシャリーオーダードセット（半順序https://thebiasplanetinjapanese.blogspot.com/2026/08/forinfinitesequenceonpartiallyorderedsetandelementofsetifthereisanylargeindexwhosevalueisequaltoorlargerthanelementlimitsuperiorisequaltoorlargerthanelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3160004019021898033Sun, 09 Aug 2026 13:11:30 +00002026-08-09T06:11:30.713-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以下であるものがある場合、リミットインフェリア（下極限）は要素以下であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットインフェリア（下極限）の定義を知っている。 ターゲットコンテキスト 読者は、任意のパーシャリーオーダードセット（半https://thebiasplanetinjapanese.blogspot.com/2026/08/forinfinitesequenceonpartiallyorderedsetandelementofsetifthereisanylargeindexwhosevalueisequaltoorsmallerthanelementlimitinferiorisequaltoorsmallerthanelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1195871041380328601Sun, 09 Aug 2026 13:09:59 +00002026-08-09T06:09:59.326-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットスピアリア（上極限）はシーケンス（列）のレンジ（値域）のインフィマム（下限）以上であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアリア（上極限）の定義を知っている。 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセットhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forsequenceonlinearlyorderedsetlimitsuperiorisequaltoorlargerthaninfimumofrangeofsequence.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6214945931918472457Sun, 09 Aug 2026 13:08:31 +00002026-08-09T06:08:31.248-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットインフェリア（下極限）はシーケンス（列）のレンジ（値域）のサプリマム（上限）以下であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットインフェリア（下極限）の定義を知っている。 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意のサブhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forsequenceonlinearlyorderedsetlimitinferiorisequaltoorsmallerthansupremumofrangeofsequence.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1341227749796670069Sun, 09 Aug 2026 13:06:56 +00002026-08-09T06:06:56.688-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> メジャラブルスペース（測定可能空間）の中へのマップ（写像）およびドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、ドメイン（定義域）上のメジャラブルサブセット（測定可能部分集合）に対して、コドメイン（余域）のポイントで\(1\)-ポイントサブセット（部分集合）がメジャラブル（測定可能）であるものに対して、ポイントプリイメージ（前像）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）であることの記述/証明 話題 About: メジャラブルスペース（測定可能空間） この記事の目次 開始コンテキスト ターゲットhttps://thebiasplanetinjapanese.blogspot.com/2026/08/formapintomeasurablespaceandsigmaalgebrainducedondomainformeasurablesubsetondomainforpointofcodomainst1pointsubsetismeasurablepointpreimageiscontainedinmeasurablesubsetorisdisjointfrommeasurablesubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-5946281063325662163Sun, 09 Aug 2026 13:05:23 +00002026-08-09T06:05:23.068-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> マップ（写像）、ドメイン（定義域）のサブセット（部分集合）、コドメイン（余域）のポイントに対して、もしも、ポイントのプリイメージ（前像）とサブセット（部分集合）のインターセクション（共通集合）がプリイメージ（前像）である場合、ポイントのプリイメージ（前像）は、サブセット（部分集合）内に包含されているまたはサブセット（部分集合）からディスジョイント（互いに素）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、コドメイン（余域）のサブセット（部分集合）のマップ（写像）プリイメージ（https://thebiasplanetinjapanese.blogspot.com/2026/08/formapsubsetofdomainandpointofcodomainifintersectionofpreimageofpointandsubsetispreimagepreimageofpointiscontainedinsubsetorisdisjointfromsubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7617888690166498777Sun, 09 Aug 2026 13:03:56 +00002026-08-09T06:03:56.238-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、メジャラブルサブセット（測定可能部分集合）に対して、ポイントプリイメージ（前像）たちのインターセクション（共通集合）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）であることの記述/証明 話題 About: メジャラブルスペース（測定可能空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始https://thebiasplanetinjapanese.blogspot.com/2026/08/forsigmaalgebrainducedondomainofmapsintomeasurablespaceformeasurablesubsetintersectionofpointpreimagesiscontainedinmeasurablesubsetorisdisjointfrommeasurablesubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7864390310021630795Sun, 09 Aug 2026 13:02:32 +00002026-08-09T06:02:32.143-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第2要素より大きい各要素が第1要素より大きい場合、第1要素は第2要素以下であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、もしも、第2要素より大きい各要素が第1要素より大きい場合、第1要素は第https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementsifeachelementthatislargerthan2ndelementislargerthan1stelement1stelementisequaltoorsmallerthan2ndelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8450838109185010945Sun, 09 Aug 2026 13:01:05 +00002026-08-09T06:01:05.438-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第1要素より小さい各要素が第2要素より小さい場合、第1要素は第2要素以下であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、リニアリーオーダードセット（線形順序集合）の定義を知っている。 ターゲットコンテキスト 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意の\(2\)個の要素たちに対して、もしも、第1要素より小さい各要素が第2要素より小さい場合、第1要素は第https://thebiasplanetinjapanese.blogspot.com/2026/08/forlinearlyorderedsetand2elementsifeachelementthatissmallerthan1stelementissmallerthan2ndelement1stelementisequaltoorsmallerthan2ndelement.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-958131553664616180Sun, 09 Aug 2026 12:59:39 +00002026-08-09T05:59:39.907-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットスピアリア（上極限）が存在する場合、リミットスピアリア（上極限）へコンバージ（収束）するサブシーケンス（部分列）があることの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットスピアリア（上極限）の定義を知っている。 読者は、https://thebiasplanetinjapanese.blogspot.com/2026/08/forsequenceon1dimensionaleuclideanmetricspacewithcanonicalorderingiflimitsuperiorexiststhereissubsequencethatconvergestolimitsuperior.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6081033932724570960Sun, 09 Aug 2026 12:58:16 +00002026-08-09T05:58:16.520-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットインフェリア（下極限）が存在する場合、リミットインフェリア（下極限）へコンバージ（収束）するサブシーケンス（部分列）があることの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、パーシャリーオーダードセット（半順序集合）上のシーケンス（列）のリミットインフェリア（下極限）の定義を知っている。 読者https://thebiasplanetinjapanese.blogspot.com/2026/08/forsequenceon1dimensionaleuclideanmetricspacewithcanonicalorderingiflimitinferiorexiststhereissubsequencethatconvergestolimitinferior.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-9197550744459566976Sun, 09 Aug 2026 12:56:54 +00002026-08-09T05:56:54.611-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> セット（集合）からユークリディアンメジャラブルスペース（測定可能空間）の中へのファイナイト（有限）数マップ（写像）たちに対して、ドメイン（定義域）上にマップ（写像）たちの合計によってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）は、ドメイン（定義域）上にマップ（写像）たちによってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）内に包含されていることの記述/証明 話題 About: メジャラブルスペース（測定可能空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、ユークリディアンメhttps://thebiasplanetinjapanese.blogspot.com/2026/08/forfinitemapsfromsetintoeuclideanmeasurablespacesigmaalgebrainducedondomainbysumofmapsiscontainedinsigmaalgebrainducedondomainbymaps.htmlnoreply@blogger.com (Unknown)