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

2026年6月21日日曜日

1844: セカンドカウンタブル(可算)ローカルにコンパクトハウスドルフトポロジカルスペース(空間)は\(\sigma\)-コンパクトでパラコンパクトである

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

セカンドカウンタブル(可算)ローカルにコンパクトハウスドルフトポロジカルスペース(空間)は\(\sigma\)-コンパクトでパラコンパクトであることの記述/証明

話題


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

この記事の目次

1843: パラコンパクトハウスドルフトポロジカルスペース(空間)、スペース(空間)のオープンカバー(開被覆)、ローカルにファイナイト(有限)リファインメントに対して、リファインメントに従属するユニティのパーティションがある

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

パラコンパクトハウスドルフトポロジカルスペース(空間)、スペース(空間)のオープンカバー(開被覆)、ローカルにファイナイト(有限)リファインメントに対して、リファインメントに従属するユニティのパーティションがあることの記述/証明

話題


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

この記事の目次

1842: リニアリーオーダードセット(線形順序集合)に対して、ファイナイトサブセット(有限部分集合)は一列に並べることができる

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

リニアリーオーダードセット(線形順序集合)に対して、ファイナイトサブセット(有限部分集合)は一列に並べることができることの記述/証明

話題


About: セット(集合)

この記事の目次

1841: トポロジカルスペース(空間)およびスペース(空間)からユークリディアントポロジカルスペース(空間)の中へのコンティニュアスマップ(連続写像)たちのセット(集合)で非ゼロのプリイメージ(前像)たちのセット(集合)がローカルにファイナイト(有限)であるものに対して、マップ(写像)たちの合計はコンティニュアス(連続)である

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

トポロジカルスペース(空間)およびスペース(空間)からユークリディアントポロジカルスペース(空間)の中へのコンティニュアスマップ(連続写像)たちのセット(集合)で非ゼロのプリイメージ(前像)たちのセット(集合)がローカルにファイナイト(有限)であるものに対して、マップ(写像)たちの合計はコンティニュアス(連続)であることの記述/証明

話題


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

この記事の目次

1840: セット(集合)およびサブセット(部分集合)に対して、サブセット(部分集合)のファイナイト(有限)カバー(被覆)に対して、サブカバー(部分被覆)でその各要素が不可欠であるものがあり、サブセット(部分集合)のインフィニット(無限)カバー(被覆)に対して、必ずしも、サブカバー(部分被覆)でその各要素が不可欠であるものはない

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

セット(集合)およびサブセット(部分集合)に対して、サブセット(部分集合)のファイナイト(有限)カバー(被覆)に対して、サブカバー(部分被覆)でその各要素が不可欠であるものがあり、サブセット(部分集合)のインフィニット(無限)カバー(被覆)に対して、必ずしも、サブカバー(部分被覆)でその各要素が不可欠であるものはない

話題


About: セット(集合)

この記事の目次

1839: セット(集合)でオーダリング(順序)を包含として持つものは、パーシャリーオーダードセット(半順序集合)である

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

セット(集合)でオーダリング(順序)を包含として持つものは、パーシャリーオーダードセット(半順序集合)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1838: カウンタブルセット(可算集合)に対して、ファイナイトサブセット(有限部分集合)たちのセット(集合)はカウンタブル(可算)である

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

カウンタブルセット(可算集合)に対して、ファイナイトサブセット(有限部分集合)たちのセット(集合)はカウンタブル(可算)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1837: カウンタブルセット(可算集合)のサブセット(部分集合)はカウンタブル(可算)である

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

カウンタブルセット(可算集合)のサブセット(部分集合)はカウンタブル(可算)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1836: インフィニットセット(無限集合)に対して、もしも、ナチュラルナンバー(自然数)たちセット(集合)からセット(集合)の上へのサージェクション(全射)がある場合、ナチュラルナンバー(自然数)たちセット(集合)からセット(集合)の上へのバイジェクション(全単射)がある

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

インフィニットセット(無限集合)に対して、もしも、ナチュラルナンバー(自然数)たちセット(集合)からセット(集合)の上へのサージェクション(全射)がある場合、ナチュラルナンバー(自然数)たちセット(集合)からセット(集合)の上へのバイジェクション(全単射)があることの記述/証明

話題


About: セット(集合)

この記事の目次

1835: カウンタブルセット(可算集合)

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

カウンタブルセット(可算集合)の定義

話題


About: セット(集合)

この記事の目次

2026年6月14日日曜日

1834: トポロジカルスペース(空間)およびスペース(空間)のオープンカバー(開被覆)に対して、もしも、オープンカバー(開被覆)のローカルにファイナイト(有限)リファインメントおよびリファインメントにに従属する、ユニティのパーティションがある場合、元のカバー(被覆)に従属する、ユニティーのパーティションがある

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

トポロジカルスペース(空間)およびスペース(空間)のオープンカバー(開被覆)に対して、もしも、オープンカバー(開被覆)のローカルにファイナイト(有限)リファインメントおよびリファインメントにに従属する、ユニティのパーティションがある場合、元のカバー(被覆)に従属する、ユニティーのパーティションがあることの記述/証明

話題


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

この記事の目次

1833: トポロジカルスペース(空間)およびスペース(空間)からリング(環)またはモジュール(加群)の中へのマップ(写像)たちのセット(集合)で非ゼロのプリイメージ(前像)たちのセット(集合)がローカルにファイナイト(有限)であるものに対して、マップ(写像)たちの合計のサポートはマップ(写像)たちのサポートたちのユニオン(和集合)内に包含されている

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

トポロジカルスペース(空間)およびスペース(空間)からリング(環)またはモジュール(加群)の中へのマップ(写像)たちのセット(集合)で非ゼロのプリイメージ(前像)たちのセット(集合)がローカルにファイナイト(有限)であるものに対して、マップ(写像)たちの合計のサポートはマップ(写像)たちのサポートたちのユニオン(和集合)内に包含されていることの記述/証明

話題


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

この記事の目次

1832: パラコンパクトハウスドルフトポロジカルスペース(空間)はノーマル(正規)である

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

パラコンパクトハウスドルフトポロジカルスペース(空間)はノーマル(正規)であることの記述/証明

話題


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

この記事の目次

1831: パラコンパクトトポロジカルスペース(空間)のクローズド(閉)サブスペース(部分空間)はパラコンパクトである

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

パラコンパクトトポロジカルスペース(空間)のクローズド(閉)サブスペース(部分空間)はパラコンパクトであることの記述/証明

話題


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

この記事の目次

1830: パラコンパクトトポロジカルスペース(空間)

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

パラコンパクトトポロジカルスペース(空間)の定義

話題


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

この記事の目次

1829: トポロジカルスペース(空間)のサブセット(部分集合)のオープンカバー(開被覆)のリファインメント

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

トポロジカルスペース(空間)のサブセット(部分集合)のオープンカバー(開被覆)のリファインメントの定義

話題


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

この記事の目次

1828: ローカルにコンパクトハウスドルフトポロジカルスペース(空間)はその\(1\)-ポイントコンパクト化のオープンサブスペース(開部分空間)である

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

ローカルにコンパクトハウスドルフトポロジカルスペース(空間)はその\(1\)-ポイントコンパクト化のオープンサブスペース(開部分空間)であることの記述/証明

話題


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

この記事の目次

1827: ハウスドルフトポロジカルスペース(空間)に対して、もしも、ローカルにコンパクトハウスドルフトポロジカルスペース(空間)でスペース(空間)がそのローカルにクローズド(閉)サブスペース(部分空間)であるものがある場合、スペース(空間)はローカルにコンパクトである

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

ハウスドルフトポロジカルスペース(空間)に対して、もしも、ローカルにコンパクトハウスドルフトポロジカルスペース(空間)でスペース(空間)がそのローカルにクローズド(閉)サブスペース(部分空間)であるものがある場合、スペース(空間)はローカルにコンパクトであることの記述/証明

話題


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

この記事の目次

1826: ローカルにクローズド(閉)トポロジカルサブスペース(部分空間)

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

ローカルにクローズド(閉)トポロジカルサブスペース(部分空間)の定義

話題


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

この記事の目次

1825: ローカルにコンパクトハウスドルフトポロジカルスペース(空間)たち間プロパーコンティニュアスマップ(連続写像)はクローズド(閉)である

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

ローカルにコンパクトハウスドルフトポロジカルスペース(空間)たち間プロパーコンティニュアスマップ(連続写像)はクローズド(閉)であることの記述/証明

話題


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

この記事の目次