<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
プロダクトトポロジカルスペース(空間)に対して、コンパクトサブセット(部分集合)のプロジェクション(射影)はコンパクトであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ローカルにコンパクトなトポロジカルスペース(空間)たちのファイナイト(有限)プロダクトはローカルにコンパクトであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト(有限)プロダクトトポロジカルスペース(空間)に対して、ネイバーフッド(近傍)たちのプロダクトはネイバーフッド(近傍)であることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
2つのホモトピックマップ(写像)たち、ドメイン(定義域)上のポイント、マップ(写像)たちによってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちに対して、第2のホモモーフィズム(準同形写像)は、ホモモーフィズム(準同形写像)たちのコドメイン(余域)間カノニカル(自然な)'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)を第1ホモモーフィズム(準同形写像)の後に作用させるコンポジション(合成)であることの記述/証明
話題
About:
トポロジカルスペース(空間)
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
トポロジカルスペース(空間)上の2つのパスコネクテッド(連結された)ポイントたちに対して、ファンダメンタルグループ(群)たち間'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがあることの記述/証明
話題
About:
トポロジカルスペース(空間)
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コネクテッド(連結された)トポロジカルスペース(空間)からの以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)上で一致し、もしもそれらがポイントにおいて不一致であれば、それらはネイバーフッド(近傍)上で不一致である、は全体として一致するか全体として不一致であることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ホモトピーイクイバレンス(等値写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明
話題
About:
トポロジカルスペース(空間)
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト(有限)プロダクトトポロジカルスペース(空間)上のファンダメンタルグループ(群)から構成要素トポロジカルスペース(空間)ファンダメンタルグループ(群)たちのプロダクトの中へのカノニカル(自然な)マップ(写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ(群)ホモモーフィズム(準同形写像)に対するファンダメンタル(基本的)定理の記述/証明
話題
About:
グループ(群)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ホメオモーフィズム(位相同形写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コンティニュアス(連続)マップ(写像)たちのコンポジション(合成)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)はマップ(写像)たちにインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちのコンポジション(合成)であることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ホモトピックマップ(写像)たちのコンポジション(合成)たちはホモトピックであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルたちバンドル(束)に対して、\(C^\infty\)フレームはトリビアライジングオープンサブセット(開部分集合)上方に、そしてその上方のみに存在することの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルたちバンドル(束)に対して、ベーススペース(空間)上のチャートオープンサブセット(開部分集合)は必ずしもトリビアライジングオープンサブセット(開部分集合)ではない(多分)ことの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
%ストラクチャー(構造)種類名%エンドモーフィズム(自己準同形写像)の定義
話題
About:
ストラクチャー(構造)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルたちバンドル(束)に対して、トリビアライジングオープンサブセット(開部分集合)上方のセクション(断面)は\(C^\infty\)である、もしも、そこ上方の\(C^\infty\)フレームに関する係数たちが\(C^\infty\)である場合、そしてその場合に限って、ことの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルたちバンドル(束)に対して、チャートトリビアライジングオープンサブセット(開部分集合)のトリビアライゼーションはカノニカル(正典)チャートマップ(写像)をインデュース(誘導)することの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルバンドル(束)に対して、チャートトリビアライジングオープンカバー(開被覆)があることの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルたちバンドル(束)に対して、トリビアライジングオープンサブセット(開部分集合)は必ずしもチャートオープンサブセット(開部分集合)ではないが、トリビアライジングオープンサブセット(開部分集合)上の各ポイントにおいてより小さいかもしれないチャートトリビアライジングオープンサブセット(開部分集合)があることの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
%フィールド(体)名%ベクトルたちスペース(空間)の定義
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)ベクトルたちバンドル(束)に対して、グローバルコネクション(接続)を構築することができる、オープンカバー(開被覆)上方のローカルコネクション(接続)たちを使い、オープンカバー(開被覆)にサブオーディネイトな(従属する)ユニティのパーティションを使って、ことの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド(多様体)のオープンサブセット(開部分集合)からユークリディアン\(C^\infty\)マニフォールド(多様体)のオープンサブセット(開部分集合)の上へのマップ(写像)はチャートマップ(写像)である、もしも、それがディフェオモーフィズムである場合、そしてその場合に限って、ことの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リーマニアンバンドル(束)はコンパチブル(互換)コネクション(接続)を持つことの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
メトリックスペース(計量付き空間)はコンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)は\(\omega\)アキューミュレーションポイント(集積点)を持つ場合、そしてその場合に限って、ことの記述/証明
話題
About:
メトリックスペース(計量付き空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(T_1\)トポロジカルスペース(空間)上にて、ポイントはサブセット(部分集合)の\(\omega\)アキューミュレーションポイント(集積点)である、もしも、それがサブセット(部分集合)のアキューミュレーションポイント(集積点)である場合、そしてその場合に限って、ことの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コンプリート(完備)メトリックスペース(計量付き空間)に対して、クローズド(閉)サブスペース(部分空間)はコンプリート(完備)であることの記述/証明
話題
About:
メトリックスペース(計量付き空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
'インディペンデントバリアブル(独立変数)'-バリュー(値)ペアたちデータに対して、オリジン(原点)を通過する近似ライン(直線)でバリュー(値)差異スクウェア(2乗)たち計最小を持つものを選ぶことはバリュー(値)たちベクトルをインディペンデントバリアブル(独立変数)たちベクトルライン(直線)へプロジェクト(射影)することに等しいことの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
トポロジカルスペース(空間)間プロパーマップ(写像)のサチュレイテッド(飽和した)ドメイン(定義域)サブセット(部分集合)およびレンジ(値域)コドメイン(余域)についてのリストリクション(制限)はプロパーであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中へのコンティニュアス(連続)マップ(写像)でコンティニュアス(連続)左インバース(逆)を持つものはプロパーであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次