tag:blogger.com,1999:blog-6843587674260015753Sun, 12 Apr 2026 21:01:09 +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)Blogger2160125tag:blogger.com,1999:blog-6843587674260015753.post-4804915594606787689Sun, 12 Apr 2026 12:11:00 +00002026-04-12T05:11:28.040-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | ダイレクテッド（有向）インデックスセット（集合）によるネットでイベンチュアル（最終的）にトポロジカルスペース（空間）のサブセット（部分集合）内にありスペース（空間）上でコンバージ（収束）するものに対して、コンバージェンス（収束ポイント）はサブセット（部分集合）のクロージャー（閉包）上にあることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、ダイレクテッド（有向）インデックスセット（集合）によるネットでイベンチュアル（最終的）にサブセット（部分集合）内にあるものの定義を知っている。 読者は、ダイレクhttps://thebiasplanetinjapanese.blogspot.com/2026/04/fornetwithdirectedindexseteventuallyinsubsetoftopologicalspacethatconvergesonspaceconvergenceisonclosureofsubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8879025851977793609Sun, 12 Apr 2026 12:10:00 +00002026-04-12T05:10:00.474-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> コンパクトハウスドルフトポロジカルスペース（空間）はノーマル（正規）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、コンパクトトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、ノーマル（正規）トポロジカルスペース（空間）の定義を知っている。 読者は、任意のコンパクトトポロジカルスペース（空間）の任意のクローズドサブセット（閉部分集合）はコンパクトであるという命題を認めている。 https://thebiasplanetinjapanese.blogspot.com/2026/04/compacthausdorfftopologicalspaceisnormal.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3201420006383515263Sun, 12 Apr 2026 12:08:00 +00002026-04-12T05:08:27.139-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> コンパクトトポロジカルスペース（空間）からハウスドルフトポロジカルスペース（空間）の上へのコンティニュアス（連続）バイジェクション（全単射）はホメオモーフィズム（位相同形写像）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、コンパクトトポロジカルスペース（空間）の定義を知っている。 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。 読者は、コンティヌアス（連続）な、トポロジカルスペース（空間）たちマップ（写像）の定義を知っている。 読者は、https://thebiasplanetinjapanese.blogspot.com/2026/04/continuousbijectionfromcompacttopologicalspaceontohausdorfftopologicalspaceishomeomorphism.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1551228781838314491Sun, 12 Apr 2026 12:07:00 +00002026-04-12T05:07:00.282-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> クローズド（閉）コンティニュアス（連続）バイジェクション（全単射）はホメオモーフィズム（位相同形写像）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、クローズドマップ（閉写像）の定義を知っている。 読者は、コンティヌアス（連続）な、トポロジカルスペース（空間）たちマップ（写像）の定義を知っている。 読者は、バイジェクション（全単射）の定義を知っている。 読者は、ホメオモーフィズム（位相同形写像）の定義を知っている。 読者は、任意のインジェクティブ（単射）https://thebiasplanetinjapanese.blogspot.com/2026/04/closedcontinuousbijectionishomeomorphism.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7384100940276033302Sun, 12 Apr 2026 12:05:00 +00002026-04-12T05:05:32.981-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> オープン（開）コンティニュアス（連続）バイジェクション（全単射）はホメオモーフィズム（位相同形写像）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、コンティヌアス（連続）な、トポロジカルスペース（空間）たちマップ（写像）の定義を知っている。 読者は、オープンマップ（開写像）の定義を知っている。 読者は、バイジェクション（全単射）の定義を知っている。 読者は、ホメオモーフィズム（位相同形写像）の定義を知っている。 ターゲットコンテキスト 読者は、https://thebiasplanetinjapanese.blogspot.com/2026/04/opencontinuousbijectionishomeomorphism.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3631719027568097058Sun, 12 Apr 2026 12:04:00 +00002026-04-12T05:04:01.095-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルスペース（空間）、サブスペース（部分空間）、サブスペース（部分空間）上のポイントに対して、ポイントにおけるベーススペース（空間）上におけるネイバーフッド（近傍）たちベーシス（基底）とサブスペース（部分空間）のインターセクション（共通集合）はポイントにおけるサブスペース（部分空間）上におけるネイバーフッド（近傍）たちベーシス（基底）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、トポロジカルスペース（空間）上のポイントにおけるネイバーフッド（近傍）たちベーシス（https://thebiasplanetinjapanese.blogspot.com/2026/04/fortopologicalspacesubspaceandpointonsubspaceintersectionofneighborhoodsbasisatpointonbasespaceandsubspaceisneighborhoodsbasisatpointonsubspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4377342736126365419Sun, 12 Apr 2026 12:02:00 +00002026-04-12T05:02:27.525-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローワーセミコンティニュアスマップ（下方準連続写像）たちのサプリマム（上限）はローワーセミコンティニュアス（下方準連続）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、トポロジカルスペース（空間）から\(1\)-ディメンショナル（次元）エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の中へのローワーセミコンティニュアスマップ（下方準連続写像）の定義を知っている。 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセット（https://thebiasplanetinjapanese.blogspot.com/2026/04/supremumoflowersemicontinuousmapsislowersemicontinuous.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-854729097618277518Sun, 12 Apr 2026 12:01:00 +00002026-04-12T05:01:05.676-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> ローワーセミコンティニュアスマップ（下方準連続写像）のドメイン（定義域）についてのリストリクション（制限）はローワーセミコンティニュアス（下方準連続）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、トポロジカルスペース（空間）から\(1\)-ディメンショナル（次元）エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の中へのローワーセミコンティニュアスマップ（下方準連続写像）の定義を知っている。 読者は、トポロジカルスペース（空間）のサブセット（https://thebiasplanetinjapanese.blogspot.com/2026/04/restrictionoflowersemicontinuousmapondomainislowersemicontinuous.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2993266701628226558Sun, 12 Apr 2026 11:59:00 +00002026-04-12T04:59:30.515-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトトポロジカルスペース（空間）のサブスペース（部分空間）から\(1\)-ディメンショナル（次元）エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の中へのローワーセミコンティニュアスマップ（下方準連続写像）およびサブプロダクトの要素に対して、マップ（写像）のクロスセクション（断面）はローワーセミコンティニュアス（下方準連続）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、プロダクトトポロジカルスペース（空間）の定義を知っている。 読者はhttps://thebiasplanetinjapanese.blogspot.com/2026/04/forlowersemicontinuousmapfromsubspaceofproducttopologicalspaceinto1dimensionalextendedeuclideantopologicalspaceandelementofsubproductcrosssectionofmapislowersemicontinuous.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-7112944372428315353Sun, 12 Apr 2026 11:58:00 +00002026-04-12T04:58:04.938-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトトポロジカルスペース（空間）、サブスペース（部分空間）、サブスペース（部分空間）のオープンサブセット（開部分集合）、サブプロダクトの要素に対して、オープンサブセット（開部分集合）のクロスセクション（断面）はサブスペース（部分空間）のクロスセクション（断面）上でオープン（開）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、プロダクトトポロジカルスペース（空間）の定義を知っている。 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブhttps://thebiasplanetinjapanese.blogspot.com/2026/04/forproducttopologicalspacesubspaceopensubsetofsubspaceandelementofsubproductcrosssectionofopensubsetisopenoncrosssectionofsubspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-80035368383577543Sun, 12 Apr 2026 11:56:00 +00002026-04-12T04:56:36.023-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、サブセット（部分集合）、サブプロダクトの要素に対して、サブセット（部分集合）のクロスセクション（断面）はサブセット（部分集合）のプロジェクション（射影）内に包含されていることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を知っている。 読者は、プロダクトセット（集合）からサブプロダクトセット（集合）の上へのプロジェクション（射影）を知っている。https://thebiasplanetinjapanese.blogspot.com/2026/04/forproductsetsubsetandelementofsubproductcrosssectionofsubsetiscontainedinprojectionofsubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-479255043117801214Sun, 12 Apr 2026 11:55:00 +00002026-04-12T04:55:09.542-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、\(2\)個のサブセット（部分集合）たち、サブプロダクトの要素に対して、第1サブセット（部分集合）マイナス第2サブセット（部分集合）のクロスセクション（断面）は第1サブセット（部分集合）のクロスセクション（断面）マイナス第2サブセット（部分集合）のクロスセクション（断面）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を知っている。 https://thebiasplanetinjapanese.blogspot.com/2026/04/forproductset2subsetsandelementofsubproductcrosssectionof1stsubsetminus2ndsubsetiscrosssectionof1stsubsetminuscrosssectionof2ndsubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1619851257318794202Sun, 05 Apr 2026 13:24:00 +00002026-04-12T04:53:42.288-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、サブセット（部分集合）たち、サブプロダクトの要素に対して、サブセット（部分集合）たちのユニオン（和集合）のクロスセクション（断面）はサブセット（部分集合）たちのクロスセクション（断面）たちのユニオン（和集合）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を知っている。 ターゲットコンテキスト 読者は、任意のプロダクトセット（https://thebiasplanetinjapanese.blogspot.com/2026/04/forproductsetsubsetsandelementofsubproductcrosssectionofunionofsubsetsisunionofcrosssectionsofsubsets.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1769607707023908697Sun, 05 Apr 2026 13:23:00 +00002026-04-05T06:23:11.174-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、サブセット（部分集合）たち、サブプロダクトの要素に対して、サブセット（部分集合）たちのインターセクション（共通集合）のクロスセクション（断面）はサブセット（部分集合）たちのクロスセクション（断面）たちのインターセクション（共通集合）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を知っている。 ターゲットコンテキスト 読者は、https://thebiasplanetinjapanese.blogspot.com/2026/04/forproductsetsubsetsandelementofsubproductcrosssectionofintersectionofsubsetsisintersectionofcrosssectionsofsubsets.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1389809704323506046Sun, 05 Apr 2026 13:21:00 +00002026-04-05T06:21:29.603-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、サブセット（部分集合）、第1サブセット（部分集合）を包含するサブセット（部分集合）、サブプロダクトの要素に対して、第1サブセット（部分集合）のクロスセクション（断面）は第2サブセット（部分集合）のクロスセクション（断面）内に包含されることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を知っている。 ターゲットコンテキスト 読者は、任意https://thebiasplanetinjapanese.blogspot.com/2026/04/forproductsetsubsetsubsetthatcontains1stsubsetandelementofsubproductcrosssectionof1stsubsetiscontainedincrosssectionof2ndsubset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3149374125883318798Sun, 05 Apr 2026 13:20:00 +00002026-04-05T06:20:05.863-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルスペース（空間）から\(1\)-ディメンショナル（次元）エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の中へのローワーセミコンティニュアスマップ（下方準連続写像）の定義 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 開始コンテキスト 読者は、トポロジカルスペース（空間）から\(1\)-ディメンショナル（次元）エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の中へのマップ（写像）でポイントにおいてローワーセミコンティニュアス（下方準連続）であるものの定義を知っている。https://thebiasplanetinjapanese.blogspot.com/2026/04/lowersemicontinuousmapfromtopologicalspaceinto1dimensionalextendedeuclideantopologicalspace.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3069355890952219743Sun, 05 Apr 2026 13:18:00 +00002026-04-05T06:18:30.549-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> トポロジカルスペース（空間）から\(1\)-ディメンショナル（次元）エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の中へのマップ（写像）でポイントにおいてローワーセミコンティニュアス（下方準連続）であるものの定義 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、エクステンデッド（拡張された）ユークリディアントポロジカルスペース（空間）の定義を知っている。 読者は、マップ（写像）の定義を知っている。 ターゲットコンテキスト 読者は、トポロジカルスペース（https://thebiasplanetinjapanese.blogspot.com/2026/04/mapfromtopologicalspaceinto1dimensionalextendedeuclideantopologicalspacelowersemicontinuousatpoint.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3222391037253281903Sun, 05 Apr 2026 13:16:00 +00002026-04-05T06:16:51.630-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトトポロジカルスペース（空間）のプロジェクション（射影）は必ずしもクローズド（閉）でないことの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、プロダクトトポロジカルスペース（空間）の定義を知っている。 読者は、クローズドマップ（閉写像）の定義を知っている。 ターゲットコンテキスト 読者は、あるプロダクトトポロジカルスペース（空間）のあるプロジェクション（射影）は必ずしもクローズド（閉）でないという命題の記述および証明を得る。 https://thebiasplanetinjapanese.blogspot.com/2026/04/projectionofproducttopologicalspaceisnotnecessarilyclosed.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-8065260718559346060Sun, 05 Apr 2026 13:15:00 +00002026-04-05T06:15:10.090-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトトポロジカルスペース（空間）からのプロジェクション（射影）はオープン（開）であることの記述/証明 話題 About: トポロジカルスペース（空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、プロダクトトポロジカルスペース（空間）の定義を知っている。 読者は、オープンマップ（開写像）の定義を知っている。 読者は、任意のマップ（写像）に対して、任意の、セット（集合）たちのユニオン（和集合）、のマップ（写像）イメージ（像）はそれらセット（集合）たちのマップ（写像）イメージ（像）たちのユニオン（和集合）であるという命題https://thebiasplanetinjapanese.blogspot.com/2026/04/projectionofproducttopologicalspaceisopen.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-1556330948690169737Sun, 05 Apr 2026 13:13:00 +00002026-04-05T06:13:41.593-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、サブセット（部分集合）たちに対して、ブセット（部分集合）たちのユニオン（和集合）のプロジェクション（射影）はサブセット（部分集合）たちのプロジェクション（射影）たちのユニオン（和集合）であることの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、プロダクトセット（集合）からサブプロダクトセット（集合）の上へのプロジェクション（射影）の定義を知っている。 ターゲットコンテキスト 読者は、任意のプロダクトセット（集合）、任意のサブセット（部分集合）たちhttps://thebiasplanetinjapanese.blogspot.com/2026/04/forproductsetandsubsetsprojectionofunionofsubsetsisunionofprojectionsofsubsets.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-3734225935513962175Sun, 05 Apr 2026 13:11:00 +00002026-04-05T06:11:55.892-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）、サブセット（部分集合）たちに対して、サブセット（部分集合）たちのインターセクション（共通集合）のプロジェクション（射影）は、サブセット（部分集合）たちのプロジェクション（射影）たちのインターセクション（共通集合）内に包含されるが、必ずしもそれではないことの記述/証明 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 3: 証明 開始コンテキスト 読者は、プロダクトセット（集合）からサブプロダクトセット（集合）の上へのプロジェクション（射影）の定義を知っている。 ターゲットコンテキスト 読者は、任意のhttps://thebiasplanetinjapanese.blogspot.com/2026/04/forproductsetandsubsetsprojectionofintersectionofsubsetsiscontainedinbutnotnecessarilyisintersectionofprojectionsofsubsets.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-2039098056629685072Sun, 05 Apr 2026 13:08:00 +00002026-04-05T06:08:35.749-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）のサブセット（部分集合）からのマップ（写像）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、プロダクトセット（集合）の定義を知っている。 読者は、マップ（写像）の定義を知っている。 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を知っている。 ターゲットコンテキスト 読者は、プロダクトセット（集合）のサブhttps://thebiasplanetinjapanese.blogspot.com/2026/04/crosssectionofmapfromsubsetofproductsetbyelementofsubproductset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-6833682144794743554Sun, 05 Apr 2026 13:05:00 +00002026-04-05T06:05:34.876-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、プロダクトセット（集合）の定義を知っている。 ターゲットコンテキスト 読者は、プロダクトセット（集合）のサブセット（部分集合）の、サブプロダクトセット（集合）の要素によるクロスセクション（断面）の定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてhttps://thebiasplanetinjapanese.blogspot.com/2026/04/crosssectionofsubsetofproductsetbyelementofsubproductset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-808588161107546365Sun, 05 Apr 2026 13:03:00 +00002026-04-05T06:03:54.982-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> プロダクトセット（集合）からサブプロダクトセット（集合）の上へのプロジェクション（射影）の定義 話題 About: セット（集合） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 注 開始コンテキスト 読者は、プロダクトセット（集合）の定義を知っている。 ターゲットコンテキスト 読者は、プロダクトセット（集合）からサブプロダクトセット（集合）の上へのプロジェクション（射影）の定義を得る。 オリエンテーション 本サイトにてこれまで議論された定義たちの一覧があります。 本サイトにてこれまで議論された命題たちの一覧があります。 本体https://thebiasplanetinjapanese.blogspot.com/2026/04/projectionfromproductsetontosubproductset.htmlnoreply@blogger.com (Unknown)tag:blogger.com,1999:blog-6843587674260015753.post-4398174210639875541Sun, 05 Apr 2026 13:01:00 +00002026-04-05T06:01:54.193-07:00定義たちと命題たち <このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事> アンカウンタブル（不可算）数のポジティブ（正）リアルナンバー（実数）たちの合計はインフィニティ（無限）であることの記述/証明 話題 About: メトリックスペース（計量付き空間） この記事の目次 開始コンテキスト ターゲットコンテキスト オリエンテーション 本体 1: 構造化された記述 2: 証明 開始コンテキスト 読者は、アンカウンタブル（不可算）数の非ネガティブ（負）リアルナンバー（実数）たちの合計の定義を知っている。 ターゲットコンテキスト 読者は、任意のアンカウンタブル（不可算）数のポジティブ（正）リアルナンバー（実数）たちの合計はインフィニティ（無限）であるという命題の記述および証明を得る。 https://thebiasplanetinjapanese.blogspot.com/2026/04/sumofuncountablenumberofpositiverealnumbersisinfinity.htmlnoreply@blogger.com (Unknown)