ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示
ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示

2026年4月5日日曜日

1721: プロダクトセット(集合)、サブセット(部分集合)たち、サブプロダクトの要素に対して、サブセット(部分集合)たちのユニオン(和集合)のクロスセクション(断面)はサブセット(部分集合)たちのクロスセクション(断面)たちのユニオン(和集合)である

<このシリーズの前の記事 | このシリーズの目次 |

プロダクトセット(集合)、サブセット(部分集合)たち、サブプロダクトの要素に対して、サブセット(部分集合)たちのユニオン(和集合)のクロスセクション(断面)はサブセット(部分集合)たちのクロスセクション(断面)たちのユニオン(和集合)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1720: プロダクトセット(集合)、サブセット(部分集合)たち、サブプロダクトの要素に対して、サブセット(部分集合)たちのインターセクション(共通集合)のクロスセクション(断面)はサブセット(部分集合)たちのクロスセクション(断面)たちのインターセクション(共通集合)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)、サブセット(部分集合)たち、サブプロダクトの要素に対して、サブセット(部分集合)たちのインターセクション(共通集合)のクロスセクション(断面)はサブセット(部分集合)たちのクロスセクション(断面)たちのインターセクション(共通集合)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1719: プロダクトセット(集合)、サブセット(部分集合)、第1サブセット(部分集合)を包含するサブセット(部分集合)、サブプロダクトの要素に対して、第1サブセット(部分集合)のクロスセクション(断面)は第2サブセット(部分集合)のクロスセクション(断面)内に包含される

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)、サブセット(部分集合)、第1サブセット(部分集合)を包含するサブセット(部分集合)、サブプロダクトの要素に対して、第1サブセット(部分集合)のクロスセクション(断面)は第2サブセット(部分集合)のクロスセクション(断面)内に包含されることの記述/証明

話題


About: セット(集合)

この記事の目次

1718: トポロジカルスペース(空間)から\(1\)-ディメンショナル(次元)エクステンデッド(拡張された)ユークリディアントポロジカルスペース(空間)の中へのローワーセミコンティニュアスマップ(下方準連続写像)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

トポロジカルスペース(空間)から\(1\)-ディメンショナル(次元)エクステンデッド(拡張された)ユークリディアントポロジカルスペース(空間)の中へのローワーセミコンティニュアスマップ(下方準連続写像)の定義

話題


About: トポロジカルスペース(空間)

この記事の目次

1717: トポロジカルスペース(空間)から\(1\)-ディメンショナル(次元)エクステンデッド(拡張された)ユークリディアントポロジカルスペース(空間)の中へのマップ(写像)でポイントにおいてローワーセミコンティニュアス(下方準連続)であるもの

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

トポロジカルスペース(空間)から\(1\)-ディメンショナル(次元)エクステンデッド(拡張された)ユークリディアントポロジカルスペース(空間)の中へのマップ(写像)でポイントにおいてローワーセミコンティニュアス(下方準連続)であるものの定義

話題


About: トポロジカルスペース(空間)

この記事の目次

1716: プロダクトトポロジカルスペース(空間)のプロジェクション(射影)は必ずしもクローズド(閉)でない

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトトポロジカルスペース(空間)のプロジェクション(射影)は必ずしもクローズド(閉)でないことの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1715: プロダクトトポロジカルスペース(空間)からのプロジェクション(射影)はオープン(開)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトトポロジカルスペース(空間)からのプロジェクション(射影)はオープン(開)であることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1714: プロダクトセット(集合)、サブセット(部分集合)たちに対して、ブセット(部分集合)たちのユニオン(和集合)のプロジェクション(射影)はサブセット(部分集合)たちのプロジェクション(射影)たちのユニオン(和集合)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)、サブセット(部分集合)たちに対して、ブセット(部分集合)たちのユニオン(和集合)のプロジェクション(射影)はサブセット(部分集合)たちのプロジェクション(射影)たちのユニオン(和集合)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1713: プロダクトセット(集合)、サブセット(部分集合)たちに対して、サブセット(部分集合)たちのインターセクション(共通集合)のプロジェクション(射影)は、サブセット(部分集合)たちのプロジェクション(射影)たちのインターセクション(共通集合)内に包含されるが、必ずしもそれではない

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)、サブセット(部分集合)たちに対して、サブセット(部分集合)たちのインターセクション(共通集合)のプロジェクション(射影)は、サブセット(部分集合)たちのプロジェクション(射影)たちのインターセクション(共通集合)内に包含されるが、必ずしもそれではないことの記述/証明

話題


About: セット(集合)

この記事の目次

1712: プロダクトセット(集合)のサブセット(部分集合)からのマップ(写像)の、サブプロダクトセット(集合)の要素によるクロスセクション(断面)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)のサブセット(部分集合)からのマップ(写像)の、サブプロダクトセット(集合)の要素によるクロスセクション(断面)の定義

話題


About: セット(集合)

この記事の目次

1711: プロダクトセット(集合)のサブセット(部分集合)の、サブプロダクトセット(集合)の要素によるクロスセクション(断面)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)のサブセット(部分集合)の、サブプロダクトセット(集合)の要素によるクロスセクション(断面)の定義

話題


About: セット(集合)

この記事の目次

1710: プロダクトセット(集合)からサブプロダクトセット(集合)の上へのプロジェクション(射影)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトセット(集合)からサブプロダクトセット(集合)の上へのプロジェクション(射影)の定義

話題


About: セット(集合)

この記事の目次

1709: アンカウンタブル(不可算)数のポジティブ(正)リアルナンバー(実数)たちの合計はインフィニティ(無限)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

アンカウンタブル(不可算)数のポジティブ(正)リアルナンバー(実数)たちの合計はインフィニティ(無限)であることの記述/証明

話題


About: メトリックスペース(計量付き空間)

この記事の目次

1708: アンカウンタブル(不可算)数の非ネガティブ(負)リアルナンバー(実数)たちの合計

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

アンカウンタブル(不可算)数の非ネガティブ(負)リアルナンバー(実数)たちの合計の定義

話題


About: メトリックスペース(計量付き空間)

この記事の目次

1707: ダイレクテッド(有向)インデックスセット(集合)によるユニバーサルネットのサブネットはユニバーサルである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ダイレクテッド(有向)インデックスセット(集合)によるユニバーサルネットのサブネットはユニバーサルであることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1706: ダイレクテッド(有向)インデックスセット(集合)によるネットはユニバーサルサブネットを持つ

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ダイレクテッド(有向)インデックスセット(集合)によるネットはユニバーサルサブネットを持つことの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1705: ダイレクテッド(有向)インデックスセット(集合)によるユニバーサルネット

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ダイレクテッド(有向)インデックスセット(集合)によるユニバーサルネットの定義

話題


About: トポロジカルスペース(空間)

この記事の目次

1704: ダイレクテッド(有向)インデックスセット(集合)によるネットでイベンチュアル(最終的)にサブセット(部分集合)内にあるもの

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ダイレクテッド(有向)インデックスセット(集合)によるネットでイベンチュアル(最終的)にサブセット(部分集合)内にあるものの定義

話題


About: トポロジカルスペース(空間)

この記事の目次

1703: ダイレクテッド(有向)インデックスセット(集合)によるネットでフリークエント(頻繁)にサブセット(部分集合)内にあるもの

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ダイレクテッド(有向)インデックスセット(集合)によるネットでフリークエント(頻繁)にサブセット(部分集合)内にあるものの定義

話題


About: トポロジカルスペース(空間)

この記事の目次

2026年3月29日日曜日

1702: グループ(群)、サブセット(部分集合)、サブセット(部分集合)を包含するサブセット(部分集合)に対して、第1サブセット(部分集合)のインバース(逆)は第2サブセット(部分集合)のインバース(逆)内に包含されている

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

グループ(群)、サブセット(部分集合)、サブセット(部分集合)を包含するサブセット(部分集合)に対して、第1サブセット(部分集合)のインバース(逆)は第2サブセット(部分集合)のインバース(逆)内に包含されていることの記述/証明

話題


About: グループ(群)

この記事の目次