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

2025年12月21日日曜日

1521: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))からノルム付きベクトルたちスペース(空間)でインデュースト(誘導された)トポロジーを持つものの中へのコンティニュアスマップ(連続写像)に対して、もしも、非ゼロたちのプリイメージ(前像)がドメイン(定義域)のコンパクトサブセット(部分集合)内に包含されている場合、マップ(写像)はユニフォームにコンティニュアス(連続)である

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))からノルム付きベクトルたちスペース(空間)でインデュースト(誘導された)トポロジーを持つものの中へのコンティニュアスマップ(連続写像)に対して、もしも、非ゼロたちのプリイメージ(前像)がドメイン(定義域)のコンパクトサブセット(部分集合)内に包含されている場合、マップ(写像)はユニフォームにコンティニュアス(連続)であることの記述/証明

話題


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

この記事の目次

1520: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))からノルム付きベクトルたちスペース(空間)でインデュースト(誘導された)トポロジーを持つものの中へのユニフォームにコンティニュアス(連続)なマップ(写像)

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))からノルム付きベクトルたちスペース(空間)でインデュースト(誘導された)トポロジーを持つものの中へのユニフォームにコンティニュアス(連続)なマップ(写像)の定義

話題


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

この記事の目次

1519: トポロジカルスペース(空間)およびサブスペース(部分空間)のサブセット(部分集合)に対して、サブセット(部分集合)のベーススペース(空間)上におけるクロージャー(閉包)でサブスペース(部分空間)内に包含されているものはサブスペース(部分空間)上におけるクロージャー(閉包)である

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

トポロジカルスペース(空間)およびサブスペース(部分空間)のサブセット(部分集合)に対して、サブセット(部分集合)のベーススペース(空間)上におけるクロージャー(閉包)でサブスペース(部分空間)内に包含されているものはサブスペース(部分空間)上におけるクロージャー(閉包)であることの記述/証明

話題


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

この記事の目次

1518: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、サブセット(部分集合)のクロージャー(閉包)は、サブセット(部分集合)に\(1\)の任意のネイバーフッド(近傍)を左または右から掛けたものに包含されている

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、サブセット(部分集合)のクロージャー(閉包)は、サブセット(部分集合)に\(1\)の任意のネイバーフッド(近傍)を左または右から掛けたものに包含されていることの記述/証明

話題


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

この記事の目次

1517: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、要素を\(1\)の(オープン(開))ネイバーフッド(近傍)によって左または右から掛けたものは要素の(オープン(開))ネイバーフッド(近傍)である

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、要素を\(1\)の(オープン(開))ネイバーフッド(近傍)によって左または右から掛けたものは要素の(オープン(開))ネイバーフッド(近傍)であることの記述/証明

話題


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

この記事の目次

1516: ファイナイト(有限)-ディメンショナル(次元)リアル(実)またはコンプレックス(複素)ベクトルたちスペース(空間)でカノニカル(正典)トポロジーを持つものの中へのダイレクテッド(有向)インデックスセット(集合)によるネットに対して、コンバージェンス(収束ポイント)は存在する、もしも、コンスタントベクトルたちに関するコエフィシェント(係数)たちのコンバージェンス(収束ポイント)たちが存在する場合、そして、その場合、コンバージェンス(収束ポイント)はコンバージェンス(収束ポイント)たちで表わされる

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

ファイナイト(有限)-ディメンショナル(次元)リアル(実)またはコンプレックス(複素)ベクトルたちスペース(空間)でカノニカル(正典)トポロジーを持つものの中へのダイレクテッド(有向)インデックスセット(集合)によるネットに対して、コンバージェンス(収束ポイント)は存在する、もしも、コンスタントベクトルたちに関するコエフィシェント(係数)たちのコンバージェンス(収束ポイント)たちが存在する場合、そして、その場合、コンバージェンス(収束ポイント)はコンバージェンス(収束ポイント)たちで表わされることの記述/証明

話題


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

この記事の目次

1515: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、コンパクトサブセット(部分集合)のインバース(逆)はコンパクトであり、コンパクトサブセット(部分集合)たちのファイナイト(有限)積はコンパクトである

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、コンパクトサブセット(部分集合)のインバース(逆)はコンパクトであり、コンパクトサブセット(部分集合)たちのファイナイト(有限)積はコンパクトであることの記述/証明

話題


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

この記事の目次

1514: トポロジカルスペース(空間)たち間コンティニュアスマップ(連続写像)に対して、ドメイン(定義域)のコンパクトサブセット(部分集合)のイメージ(像)はコドメイン(余域)のコンパクトサブセット(部分集合)である

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

トポロジカルスペース(空間)たち間コンティニュアスマップ(連続写像)に対して、ドメイン(定義域)のコンパクトサブセット(部分集合)のイメージ(像)はコドメイン(余域)のコンパクトサブセット(部分集合)であることの記述/証明

話題


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

この記事の目次

1513: トポロジカルグループ(群)および\(2\)個のディスジョイント(互いに素)コンパクトサブセット(部分集合)たちに対して、\(1\)のシンメトリック(対称)ネイバーフッド(近傍)でコンパクトサブセット(部分集合)たちにネイバーフッド(近傍)を左からネイバーフッド(近傍)のインバース(逆)を右から掛けたものたちがディスジョイント(互いに素)であるものがある

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

トポロジカルグループ(群)および\(2\)個のディスジョイント(互いに素)コンパクトサブセット(部分集合)たちに対して、\(1\)のシンメトリック(対称)ネイバーフッド(近傍)でコンパクトサブセット(部分集合)たちにネイバーフッド(近傍)を左からネイバーフッド(近傍)のインバース(逆)を右から掛けたものたちがディスジョイント(互いに素)であるものがあることの記述/証明

話題


About: トポロジカルグループ(群)

この記事の目次

1512: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))およびコンパクトサブセット(部分集合)でオープンサブセット(開部分集合)内に包含されているものに対して、\(1\)のシンメトリック(対称)ネイバーフッド(近傍)でコンパクトサブセット(部分集合)にネイバーフッド(近傍)を左からネイバーフッド(近傍)のインバース(逆)を右から掛けたものがオープンサブセット(開集合)内に包含されているものがある

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))およびコンパクトサブセット(部分集合)でオープンサブセット(開部分集合)内に包含されているものに対して、\(1\)のシンメトリック(対称)ネイバーフッド(近傍)でコンパクトサブセット(部分集合)にネイバーフッド(近傍)を左からネイバーフッド(近傍)のインバース(逆)を右から掛けたものがオープンサブセット(開集合)内に包含されているものがあることの記述/証明

話題


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

この記事の目次

1511: グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、オープンサブセット(開部分集合)にサブセット(部分集合)を左または右から掛けたものはオープンサブセット(開部分集合)である

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

グループ(群)でトポロジーを持ちコンティニュアス(連続)オペレーションたちを持つもの(特に、トポロジカルグループ(群))に対して、オープンサブセット(開部分集合)にサブセット(部分集合)を左または右から掛けたものはオープンサブセット(開部分集合)であることの記述/証明

話題


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

この記事の目次

1510: グループ(群)に対して、シンメトリック(対称)サブセット(部分集合)たちのインターセクション(共通集合)はシンメトリック(対称)である

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

グループ(群)に対して、シンメトリック(対称)サブセット(部分集合)たちのインターセクション(共通集合)はシンメトリック(対称)であることの記述/証明

話題


About: グループ(群)

この記事の目次

1509: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、たち間\(C^\infty\)カバリングマップ(写像)に対して、\(C^\infty\)ユニティのパーティション、コドメイン(余域)上方のイーブンにカバーされたチャートたちカバーに従属する、のプルバックは、\(C^\infty\)ユニティのパーティション、ドメイン(定義域)上方のチャートたちカバーに従属する、である

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、たち間\(C^\infty\)カバリングマップ(写像)に対して、\(C^\infty\)ユニティのパーティション、コドメイン(余域)上方のイーブンにカバーされたチャートたちカバーに従属する、のプルバックは、\(C^\infty\)ユニティのパーティション、ドメイン(定義域)上方のチャートたちカバーに従属する、であることの記述/証明

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

1508: トポロジカルスペース(空間)、クローズドサブセット(閉部分集合)、オープンサブセット(開部分集合)たちのディスジョイント(互いに素)セット(集合)でそのユニオン(和集合)がクローズドサブセット(閉部分集合)を包含するものに対して、クローズドサブセット(閉部分集合)と各オープンサブセット(開部分集合)のインターセクション(共通集合)はスペース(空間)上でクローズド(閉)である

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

トポロジカルスペース(空間)、クローズドサブセット(閉部分集合)、オープンサブセット(開部分集合)たちのディスジョイント(互いに素)セット(集合)でそのユニオン(和集合)がクローズドサブセット(閉部分集合)を包含するものに対して、クローズドサブセット(閉部分集合)と各オープンサブセット(開部分集合)のインターセクション(共通集合)はスペース(空間)上でクローズド(閉)であることの記述/証明

話題


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

この記事の目次

2025年12月14日日曜日

1507: トポロジカルスペース(空間)たちのプロダクトたちはホメオモーフィズム(位相同形写像)の意味でアソシアティブ(結合的)である

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

トポロジカルスペース(空間)たちのプロダクトたちはホメオモーフィズム(位相同形写像)の意味でアソシアティブ(結合的)であることの記述/証明

話題


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

この記事の目次

1506: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、イマーストサブマニフォールド、バウンダリー(境界)付き、オープンサブマニフォールド、バウンダリー(境界)付き、に対して、イマーストサブマニフォールド、バウンダリー(境界)付き、とオープンサブマニフォールド、バウンダリー(境界)付き、のインターセクション(共通集合)は、オープンサブマニフォールド、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、である

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、イマーストサブマニフォールド、バウンダリー(境界)付き、オープンサブマニフォールド、バウンダリー(境界)付き、に対して、イマーストサブマニフォールド、バウンダリー(境界)付き、とオープンサブマニフォールド、バウンダリー(境界)付き、のインターセクション(共通集合)は、オープンサブマニフォールド、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、であることの記述/証明

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

1505: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、に対して、イマーストサブマニフォールド、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、はマニフォールド(多様体)、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、である

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、に対して、イマーストサブマニフォールド、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、はマニフォールド(多様体)、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、であることの記述/証明

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

1504: \(C^\infty\)イマージョンたちのコンポジション(合成)は\(C^\infty\)イマージョンである

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

\(C^\infty\)イマージョンたちのコンポジション(合成)は\(C^\infty\)イマージョンであることの記述/証明

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

1503: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、に対して、サブセット(部分集合)でサブスペース(部分空間)トポロジーによってオープン(開)であるものはオープン(開)であり、それはエンベデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である、もしも、オープンサブセット(開部分集合)はサブスペース(部分空間)トポロジーによってオープン(開)である場合、そしてその場合に限って

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、のイマーストサブマニフォールド、バウンダリー(境界)付き、に対して、サブセット(部分集合)でサブスペース(部分空間)トポロジーによってオープン(開)であるものはオープン(開)であり、それはエンベデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である、もしも、オープンサブセット(開部分集合)はサブスペース(部分空間)トポロジーによってオープン(開)である場合、そしてその場合に限って、ことの記述/証明

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

1502: ノルム付きベクトルたちスペース(空間)たちのファイナイト(有限)-'ダイレクトサム'上のプロダクトノルム

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

ノルム付きベクトルたちスペース(空間)たちのファイナイト(有限)-'ダイレクトサム'上のプロダクトノルムの定義

話題


About: ベクトルたちスペース(空間)

この記事の目次