2023年12月30日土曜日

445: カバリングマップ(写像)に対して、コネクテッド(連結された)トポロジカルスペース(空間)からのコンティニュアス(連続)マップ(写像)の2つのリフトたちは全体として一致するか全体として不一致であるかである

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

カバリングマップ(写像)に対して、コネクテッド(連結された)トポロジカルスペース(空間)からのコンティニュアス(連続)マップ(写像)の2つのリフトたちは全体として一致するか全体として不一致であるかであることの記述/証明

話題


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

この記事の目次

444: バナッハスペース(空間)

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

バナッハスペース(空間)の定義

話題


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

この記事の目次

443: セパラブル(可分)トポロジカルスペース(空間)

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

セパラブル(可分)トポロジカルスペース(空間)の定義

話題


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

この記事の目次

442: トポロジカルスペース(空間)のノーホエアデンス(どこでも密でない)サブセット(部分集合)

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

トポロジカルスペース(空間)のノーホエアデンス(どこでも密でない)サブセット(部分集合)の定義

話題


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

この記事の目次

441: トポロジカルスペース(空間)のデンス(密)サブセット(部分集合)

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

トポロジカルスペース(空間)のデンス(密)サブセット(部分集合)の定義

話題


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

この記事の目次

2023年12月24日日曜日

440: nディメンジョナル(次元)ユークリディアンベクトルたちスペース(空間)内のローテーション(回転)は(n - 2)ディメンジョナル(次元)サブスペース(部分空間)アクシス(軸)に沿った同一の2ディメンジョナル(次元)ローテーション(回転)たちである

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

\(n\)ディメンジョナル(次元)ユークリディアンベクトルたちスペース(空間)内のローテーション(回転)は\((n - 2)\)ディメンジョナル(次元)サブスペース(部分空間)アクシス(軸)に沿った同一の\(2\)ディメンジョナル(次元)ローテーション(回転)たちであることの記述/証明

話題


About: ユークリディアンベクトルたちスペース(空間)

この記事の目次

439: ドメイン(定義域)のパスコネクテッド(連結された)サブスペース(部分空間)のコンティニュアス(連続)イメージ(像)はコドメイン(余域)上でパスコネクテッド(連結された)である

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

ドメイン(定義域)のパスコネクテッド(連結された)サブスペース(部分空間)のコンティニュアス(連続)イメージ(像)はコドメイン(余域)上でパスコネクテッド(連結された)であることの記述/証明

話題


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

この記事の目次

438: メトリックスペース(計量付き空間)上のコーシーシーケンス(列)

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

メトリックスペース(計量付き空間)上のコーシーシーケンス(列)の定義

話題


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

この記事の目次

437: メトリックスペース(計量付き空間)上のシーケンス(列)のコンバージェンス(収束点)

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

メトリックスペース(計量付き空間)上のシーケンス(列)のコンバージェンス(収束点)の定義

話題


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

この記事の目次

436: プロダクトセット(集合)

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

プロダクトセット(集合)の定義

話題


About: セット(集合)

この記事の目次

2023年12月17日日曜日

435: サブセット(部分集合)マイナスサブセット(部分集合)は第2サブセット(部分集合)のコンプリメント(補集合)マイナス第1サブセット(部分集合)のコンプリメント(補集合)である

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

サブセット(部分集合)マイナスサブセット(部分集合)は第2サブセット(部分集合)のコンプリメント(補集合)マイナス第1サブセット(部分集合)のコンプリメント(補集合)であることの記述/証明

話題


About: セット(集合)

この記事の目次

434: インデックス付けられたサブセット(部分集合)たちのユニオン(和集合)マイナス同じインデックスたちセット(集合)でインデックス付けられたサブセット(部分集合)たちのユニオン(和集合)は各インデックスに対するサブセット(部分集合)マイナスサブセット(部分集合)のユニオン(和集合)に包含されている

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

インデックス付けられたサブセット(部分集合)たちのユニオン(和集合)マイナス同じインデックスたちセット(集合)でインデックス付けられたサブセット(部分集合)たちのユニオン(和集合)は各インデックスに対するサブセット(部分集合)マイナスサブセット(部分集合)のユニオン(和集合)に包含されていることの記述/証明

話題


About: セット(集合)

この記事の目次

433: バイジェクション(全単射)

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

バイジェクション(全単射)の定義

話題


About: セット(集合)

この記事の目次

432: トポロジカルスペース(空間)のサブセット(部分集合)のインテリア(内部)

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

トポロジカルスペース(空間)のサブセット(部分集合)のインテリア(内部)の定義

話題


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

この記事の目次

431: コンプリート(完備)メトリックスペース(計量付き空間)

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

コンプリート(完備)メトリックスペース(計量付き空間)の定義

話題


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

この記事の目次

2023年12月10日日曜日

430: コネクテッド(連結された)トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中への以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)で一致する、は全体として一致するか全体として不一致である

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

コネクテッド(連結された)トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中への以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)で一致する、は全体として一致するか全体として不一致であることの記述/証明

話題


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

この記事の目次

429: ハウスドルフトポロジカルスペース(空間)の中への2つのコンティニュアス(連続)マップ(写像)たちでポイントで不一致であるものはポイントのネイバーフッド(近傍)で不一致である

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

ハウスドルフトポロジカルスペース(空間)の中への2つのコンティニュアス(連続)マップ(写像)たちでポイントで不一致であるものはポイントのネイバーフッド(近傍)で不一致であることの記述/証明

話題


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

この記事の目次

428: ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)

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

ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)の定義

話題


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

この記事の目次

427: ユークリディアンベクトルたちスペース(空間)上のユークリディアンノルム

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

ユークリディアンベクトルたちスペース(空間)上のユークリディアンノルムの定義

話題


About: ノルム付きベクトルたちスペース(空間)

この記事の目次

426: ユークリディアンベクトルたちスペース(空間)

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

ユークリディアンベクトルたちスペース(空間)の定義

話題


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

この記事の目次

2023年12月3日日曜日

425: プロダクトトポロジカルスペース(空間)に対して、コンパクトサブセット(部分集合)のプロジェクション(射影)はコンパクトである

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

プロダクトトポロジカルスペース(空間)に対して、コンパクトサブセット(部分集合)のプロジェクション(射影)はコンパクトであることの記述/証明

話題


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

この記事の目次

424: ローカルにコンパクトなトポロジカルスペース(空間)たちのファイナイト(有限)プロダクトはローカルにコンパクトである

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

ローカルにコンパクトなトポロジカルスペース(空間)たちのファイナイト(有限)プロダクトはローカルにコンパクトであることの記述/証明

話題


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

この記事の目次

423: ファイナイト(有限)プロダクトトポロジカルスペース(空間)に対して、ネイバーフッド(近傍)たちのプロダクトはネイバーフッド(近傍)である

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

ファイナイト(有限)プロダクトトポロジカルスペース(空間)に対して、ネイバーフッド(近傍)たちのプロダクトはネイバーフッド(近傍)であることの記述/証明

話題


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

この記事の目次

422: 2つのホモトピックマップ(写像)たち、ドメイン(定義域)上のポイント、マップ(写像)たちによってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちに対して、第2のホモモーフィズム(準同形写像)は、ホモモーフィズム(準同形写像)たちのコドメイン(余域)間カノニカル(自然な)'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)を第1ホモモーフィズム(準同形写像)の後に作用させるコンポジション(合成)である

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

2つのホモトピックマップ(写像)たち、ドメイン(定義域)上のポイント、マップ(写像)たちによってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちに対して、第2のホモモーフィズム(準同形写像)は、ホモモーフィズム(準同形写像)たちのコドメイン(余域)間カノニカル(自然な)'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)を第1ホモモーフィズム(準同形写像)の後に作用させるコンポジション(合成)であることの記述/証明

話題


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

この記事の目次

421: トポロジカルスペース(空間)上の2つのパスコネクテッド(連結された)ポイントたちに対して、ファンダメンタルグループ(群)たち間'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがある

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

トポロジカルスペース(空間)上の2つのパスコネクテッド(連結された)ポイントたちに対して、ファンダメンタルグループ(群)たち間'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがあることの記述/証明

話題


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

この記事の目次

2023年11月26日日曜日

420: コネクテッド(連結された)トポロジカルスペース(空間)からの以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)上で一致し、もしもそれらがポイントにおいて不一致であれば、それらはネイバーフッド(近傍)上で不一致である、は全体として一致するか全体として不一致である

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

コネクテッド(連結された)トポロジカルスペース(空間)からの以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)上で一致し、もしもそれらがポイントにおいて不一致であれば、それらはネイバーフッド(近傍)上で不一致である、は全体として一致するか全体として不一致であることの記述/証明

話題


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

この記事の目次

419: ホモトピーイクイバレンス(等値写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)である

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

ホモトピーイクイバレンス(等値写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明

話題


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

この記事の目次

418: ファイナイト(有限)プロダクトトポロジカルスペース(空間)上のファンダメンタルグループ(群)から構成要素トポロジカルスペース(空間)ファンダメンタルグループ(群)たちのプロダクトの中へのカノニカル(自然な)マップ(写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)である

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

ファイナイト(有限)プロダクトトポロジカルスペース(空間)上のファンダメンタルグループ(群)から構成要素トポロジカルスペース(空間)ファンダメンタルグループ(群)たちのプロダクトの中へのカノニカル(自然な)マップ(写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明

話題


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

この記事の目次

417: グループ(群)ホモモーフィズム(準同形写像)に対するファンダメンタル(基本的)定理

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

グループ(群)ホモモーフィズム(準同形写像)に対するファンダメンタル(基本的)定理の記述/証明

話題


About: グループ(群)

この記事の目次

416: ホメオモーフィズム(位相同形写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)である

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

ホメオモーフィズム(位相同形写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明

話題


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

この記事の目次

2023年11月19日日曜日

415: コンティニュアス(連続)マップ(写像)たちのコンポジション(合成)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)はマップ(写像)たちにインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちのコンポジション(合成)である

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

コンティニュアス(連続)マップ(写像)たちのコンポジション(合成)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)はマップ(写像)たちにインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちのコンポジション(合成)であることの記述/証明

話題


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

この記事の目次

414: ホモトピックマップ(写像)たちのコンポジション(合成)たちはホモトピックである

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

ホモトピックマップ(写像)たちのコンポジション(合成)たちはホモトピックであることの記述/証明

話題


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

この記事の目次

413: \(C^\infty\)ベクトルたちバンドル(束)に対して、\(C^\infty\)フレームはトリビアライジングオープンサブセット(開部分集合)上方に、そしてその上方のみに存在する

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

\(C^\infty\)ベクトルたちバンドル(束)に対して、\(C^\infty\)フレームはトリビアライジングオープンサブセット(開部分集合)上方に、そしてその上方のみに存在することの記述/証明

話題


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

この記事の目次

412: \(C^\infty\)ベクトルたちバンドル(束)に対して、ベーススペース(空間)上のチャートオープンサブセット(開部分集合)は必ずしもトリビアライジングオープンサブセット(開部分集合)ではない(多分)

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

\(C^\infty\)ベクトルたちバンドル(束)に対して、ベーススペース(空間)上のチャートオープンサブセット(開部分集合)は必ずしもトリビアライジングオープンサブセット(開部分集合)ではない(多分)ことの記述/証明

話題


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

この記事の目次

411: %ストラクチャー(構造)種類名%エンドモーフィズム(自己準同形写像)

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

%ストラクチャー(構造)種類名%エンドモーフィズム(自己準同形写像)の定義

話題


About: ストラクチャー(構造)

この記事の目次

2023年11月12日日曜日

410: \(C^\infty\)ベクトルたちバンドル(束)に対して、トリビアライジングオープンサブセット(開部分集合)上方のセクション(断面)は\(C^\infty\)である、もしも、そこ上方の\(C^\infty\)フレームに関する係数たちが\(C^\infty\)である場合、そしてその場合に限って

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

\(C^\infty\)ベクトルたちバンドル(束)に対して、トリビアライジングオープンサブセット(開部分集合)上方のセクション(断面)は\(C^\infty\)である、もしも、そこ上方の\(C^\infty\)フレームに関する係数たちが\(C^\infty\)である場合、そしてその場合に限って、ことの記述/証明

話題


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

この記事の目次

409: \(C^\infty\)ベクトルたちバンドル(束)に対して、チャートトリビアライジングオープンサブセット(開部分集合)のトリビアライゼーションはカノニカル(正典)チャートマップ(写像)をインデュース(誘導)する

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

\(C^\infty\)ベクトルたちバンドル(束)に対して、チャートトリビアライジングオープンサブセット(開部分集合)のトリビアライゼーションはカノニカル(正典)チャートマップ(写像)をインデュース(誘導)することの記述/証明

話題


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

この記事の目次

408: \(C^\infty\)ベクトルバンドル(束)に対して、チャートトリビアライジングオープンカバー(開被覆)がある

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

\(C^\infty\)ベクトルバンドル(束)に対して、チャートトリビアライジングオープンカバー(開被覆)があることの記述/証明

話題


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

この記事の目次

407: \(C^\infty\)ベクトルたちバンドル(束)に対して、トリビアライジングオープンサブセット(開部分集合)は必ずしもチャートオープンサブセット(開部分集合)ではないが、トリビアライジングオープンサブセット(開部分集合)上の各ポイントにおいてより小さいかもしれないチャートトリビアライジングオープンサブセット(開部分集合)がある

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

\(C^\infty\)ベクトルたちバンドル(束)に対して、トリビアライジングオープンサブセット(開部分集合)は必ずしもチャートオープンサブセット(開部分集合)ではないが、トリビアライジングオープンサブセット(開部分集合)上の各ポイントにおいてより小さいかもしれないチャートトリビアライジングオープンサブセット(開部分集合)があることの記述/証明

話題


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

この記事の目次

406: %フィールド(体)名%ベクトルたちスペース(空間)

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

%フィールド(体)名%ベクトルたちスペース(空間)の定義

話題


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

この記事の目次

2023年11月5日日曜日

403: C^\inftyベクトルたちバンドル(束)に対して、グローバルコネクション(接続)を構築することができる、オープンカバー(開被覆)上方のローカルコネクション(接続)たちを使い、オープンカバー(開被覆)にサブオーディネイトな(従属する)ユニティのパーティションを使って

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

\(C^\infty\)ベクトルたちバンドル(束)に対して、グローバルコネクション(接続)を構築することができる、オープンカバー(開被覆)上方のローカルコネクション(接続)たちを使い、オープンカバー(開被覆)にサブオーディネイトな(従属する)ユニティのパーティションを使って、ことの記述/証明

話題


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

この記事の目次

405: C^\inftyマニフォールド(多様体)のオープンサブセット(開部分集合)からユークリディアンC^\inftyマニフォールド(多様体)のオープンサブセット(開部分集合)の上へのマップ(写像)はチャートマップ(写像)である、もしも、それがディフェオモーフィズムである場合、そしてその場合に限って

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

\(C^\infty\)マニフォールド(多様体)のオープンサブセット(開部分集合)からユークリディアン\(C^\infty\)マニフォールド(多様体)のオープンサブセット(開部分集合)の上へのマップ(写像)はチャートマップ(写像)である、もしも、それがディフェオモーフィズムである場合、そしてその場合に限って、ことの記述/証明

話題


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

この記事の目次

404: リーマニアンバンドル(束)はコンパチブル(互換)コネクション(接続)を持つ

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

リーマニアンバンドル(束)はコンパチブル(互換)コネクション(接続)を持つことの記述/証明

話題


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

この記事の目次

402: メトリックスペース(計量付き空間)はコンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)は\omegaアキューミュレーションポイント(集積点)を持つ場合、そしてその場合に限って

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

メトリックスペース(計量付き空間)はコンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)は\(\omega\)アキューミュレーションポイント(集積点)を持つ場合、そしてその場合に限って、ことの記述/証明

話題


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

この記事の目次

401: T_1トポロジカルスペース(空間)上にて、ポイントはサブセット(部分集合)の\omegaアキューミュレーションポイント(集積点)である、もしも、それがサブセット(部分集合)のアキューミュレーションポイント(集積点)である場合、そしてその場合に限って

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

\(T_1\)トポロジカルスペース(空間)上にて、ポイントはサブセット(部分集合)の\(\omega\)アキューミュレーションポイント(集積点)である、もしも、それがサブセット(部分集合)のアキューミュレーションポイント(集積点)である場合、そしてその場合に限って、ことの記述/証明

話題


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

この記事の目次

2023年10月29日日曜日

400: コンプリート(完備)メトリックスペース(計量付き空間)に対して、クローズド(閉)サブスペース(部分空間)はコンプリート(完備)である

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

コンプリート(完備)メトリックスペース(計量付き空間)に対して、クローズド(閉)サブスペース(部分空間)はコンプリート(完備)であることの記述/証明

話題


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

この記事の目次

399: 'インディペンデントバリアブル(独立変数)'-バリュー(値)ペアたちデータに対して、オリジン(原点)を通過する近似ライン(直線)でバリュー(値)差異スクウェア(2乗)たち計最小を持つものを選ぶことはバリュー(値)たちベクトルをインディペンデントバリアブル(独立変数)たちベクトルライン(直線)へプロジェクト(射影)することに等しい

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

'インディペンデントバリアブル(独立変数)'-バリュー(値)ペアたちデータに対して、オリジン(原点)を通過する近似ライン(直線)でバリュー(値)差異スクウェア(2乗)たち計最小を持つものを選ぶことはバリュー(値)たちベクトルをインディペンデントバリアブル(独立変数)たちベクトルライン(直線)へプロジェクト(射影)することに等しいことの記述/証明

話題


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

この記事の目次

398: トポロジカルスペース(空間)間プロパーマップ(写像)のサチュレイテッド(飽和した)ドメイン(定義域)サブセット(部分集合)およびレンジ(値域)コドメイン(余域)についてのリストリクション(制限)はプロパーである

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

トポロジカルスペース(空間)間プロパーマップ(写像)のサチュレイテッド(飽和した)ドメイン(定義域)サブセット(部分集合)およびレンジ(値域)コドメイン(余域)についてのリストリクション(制限)はプロパーであることの記述/証明

話題


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

この記事の目次

397: トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中へのコンティニュアス(連続)マップ(写像)でコンティニュアス(連続)左インバース(逆)を持つものはプロパーである

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

トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中へのコンティニュアス(連続)マップ(写像)でコンティニュアス(連続)左インバース(逆)を持つものはプロパーであることの記述/証明

話題


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

この記事の目次