メトリックスペース（計量付き空間）上のポイントたちのシーケンス（列）に対して、シーケンス（列）はコーシーである、もしも、各\(\epsilon\)に対して、\(N\)で、\((N + 1)\)-番目ポイントと各後続ポイントの間のディスタンス（距離）が\(\epsilon\)より小さいものがある場合、そしてその場合に限って、ことの記述/証明
話題
About: メトリックスペース（計量付き空間）
2025年8月31日日曜日
1274: メトリックスペース（計量付き空間）上のポイントたちのシーケンス（列）に対して、シーケンス（列）はコーシーである、もしも、各\(\epsilon\)に対して、\(N\)で、\((N + 1)\)-番目ポイントと各後続ポイントの間のディスタンス（距離）が\(\epsilon\)より小さいものがある場合、そしてその場合に限って
<このシリーズの前の記事 | このシリーズの目次 |
メトリックスペース（計量付き空間）上のポイントたちのシーケンス（列）に対して、シーケンス（列）はコーシーである、もしも、各\(\epsilon\)に対して、\(N\)で、\((N + 1)\)-番目ポイントと各後続ポイントの間のディスタンス（距離）が\(\epsilon\)より小さいものがある場合、そしてその場合に限って、ことの記述/証明
About: メトリックスペース（計量付き空間）
メトリックスペース（計量付き空間）上のポイントたちのシーケンス（列）に対して、シーケンス（列）はコーシーである、もしも、各\(\epsilon\)に対して、\(N\)で、\((N + 1)\)-番目ポイントと各後続ポイントの間のディスタンス（距離）が\(\epsilon\)より小さいものがある場合、そしてその場合に限って、ことの記述/証明
About: メトリックスペース（計量付き空間）
1273: リーグループ（群）に対して、インバージョン（逆）のアイデンティティ（単位要素）におけるディファレンシャルは引数のインバージョン（逆）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リーグループ（群）に対して、インバージョン（逆）のアイデンティティ（単位要素）におけるディファレンシャルは引数のインバージョン（逆）であることの記述/証明
About: グループ（群）
About: \(C^\infty\)マニフォールド（多様体）
リーグループ（群）に対して、インバージョン（逆）のアイデンティティ（単位要素）におけるディファレンシャルは引数のインバージョン（逆）であることの記述/証明
話題
About: グループ（群）
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1272: リーグループ（群）およびダブルプロダクト（積）\(C^\infty\)マニフォールド（多様体）タンジェント（接）スペース（空間）から構成要素タンジェント（接）スペース（空間）たちのダイレクトサムの上への'ベクトルたちスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）に対して、アイソモーフィズム（同形写像）のインバース（逆）の後にアイデンティティ（単位要素）におけるマルチプリケーション（乗法）のディファレンシャルを行なうコンポジション（合成）は引数たちのアディション（合計）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リーグループ（群）およびダブルプロダクト（積）\(C^\infty\)マニフォールド（多様体）タンジェント（接）スペース（空間）から構成要素タンジェント（接）スペース（空間）たちのダイレクトサムの上への'ベクトルたちスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）に対して、アイソモーフィズム（同形写像）のインバース（逆）の後にアイデンティティ（単位要素）におけるマルチプリケーション（乗法）のディファレンシャルを行なうコンポジション（合成）は引数たちのアディション（合計）であることの記述/証明
About: \(C^\infty\)マニフォールド（多様体）
リーグループ（群）およびダブルプロダクト（積）\(C^\infty\)マニフォールド（多様体）タンジェント（接）スペース（空間）から構成要素タンジェント（接）スペース（空間）たちのダイレクトサムの上への'ベクトルたちスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）に対して、アイソモーフィズム（同形写像）のインバース（逆）の後にアイデンティティ（単位要素）におけるマルチプリケーション（乗法）のディファレンシャルを行なうコンポジション（合成）は引数たちのアディション（合計）であることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1271: リーサブグループ（部分群）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リーサブグループ（部分群）の定義
About: グループ（群）
About: \(C^\infty\)マニフォールド（多様体）
リーサブグループ（部分群）の定義
話題
About: グループ（群）
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1270: リーグループ（群）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リーグループ（群）の定義
About: グループ（群）
About: \(C^\infty\)マニフォールド（多様体）
リーグループ（群）の定義
話題
About: グループ（群）
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1269: ファイナイト（有限）-プロダクト（積）ヒルベルトスペース（空間）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト（有限）-プロダクト（積）ヒルベルトスペース（空間）の定義
About: メトリックスペース（計量付き空間）
ファイナイト（有限）-プロダクト（積）ヒルベルトスペース（空間）の定義
話題
About: メトリックスペース（計量付き空間）
この記事の目次
1268: ファイナイト（有限）-プロダクト（積）ベクトルたちスペース（空間）でファイナイト（有限）-プロダクト（積）インナープロダクト（内積）を持つものに対して、プロダクト（積）インナープロダクト（内積）によってインデュースト（誘導された）トポロジーは、インナープロダクト（内積）たちによってインデュースト（誘導された）トポロジーたちのプロダクトトポロジーである
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト（有限）-プロダクト（積）ベクトルたちスペース（空間）でファイナイト（有限）-プロダクト（積）インナープロダクト（内積）を持つものに対して、プロダクト（積）インナープロダクト（内積）によってインデュースト（誘導された）トポロジーは、インナープロダクト（内積）たちによってインデュースト（誘導された）トポロジーたちのプロダクトトポロジーであることの記述/証明
About: ベクトルたちスペース（空間）
ファイナイト（有限）-プロダクト（積）ベクトルたちスペース（空間）でファイナイト（有限）-プロダクト（積）インナープロダクト（内積）を持つものに対して、プロダクト（積）インナープロダクト（内積）によってインデュースト（誘導された）トポロジーは、インナープロダクト（内積）たちによってインデュースト（誘導された）トポロジーたちのプロダクトトポロジーであることの記述/証明
話題
About: ベクトルたちスペース（空間）
この記事の目次
1267: ファイナイト（有限）-プロダクト（積）インナープロダクト（内積）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト（有限）-プロダクト（積）インナープロダクト（内積）の定義
About: ベクトルたちスペース（空間）
ファイナイト（有限）-プロダクト（積）インナープロダクト（内積）の定義
話題
About: ベクトルたちスペース（空間）
この記事の目次
1266: グループ（群）左アクションに対応するグループ（群）右アクション
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ（群）左アクションに対応するグループ（群）右アクションの定義
About: グループ（群）
About: セット（集合）
グループ（群）左アクションに対応するグループ（群）右アクションの定義
話題
About: グループ（群）
About: セット（集合）
この記事の目次
1265: グループ（群）右アクションに対応するグループ（群）左アクション
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ（群）右アクションに対応するグループ（群）左アクションの定義
About: グループ（群）
About: セット（集合）
グループ（群）右アクションに対応するグループ（群）左アクションの定義
話題
About: グループ（群）
About: セット（集合）
この記事の目次
1264: グループ（群）右アクション
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ（群）右アクションの定義
About: グループ（群）
About: セット（集合）
グループ（群）右アクションの定義
話題
About: グループ（群）
About: セット（集合）
この記事の目次
1263: \(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間サージェクティブ（全射）ローカルディフェオモーフィズムおよびコドメイン（余域）のオープンサブセット（開部分集合）に沿ったセクション（断面）に対して、セクション（断面）は\(C^\infty\)である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間サージェクティブ（全射）ローカルディフェオモーフィズムおよびコドメイン（余域）のオープンサブセット（開部分集合）に沿ったセクション（断面）に対して、セクション（断面）は\(C^\infty\)であることの記述/証明
About: \(C^\infty\)マニフォールド（多様体）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間サージェクティブ（全射）ローカルディフェオモーフィズムおよびコドメイン（余域）のオープンサブセット（開部分集合）に沿ったセクション（断面）に対して、セクション（断面）は\(C^\infty\)であることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1262: \(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たちの恣意的なサブセット（部分集合）たち間のローカルディフェオモーフィズム、ドメイン（定義域）ポイントのオープンネイバーフッド（開近傍）、ポイントイメージ（像）のオープンネイバーフッド（開近傍）に対して、ディフェオモーフィズムはネイバーフッド（近傍）たち内に包含されるように選ぶことができる
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たちの恣意的なサブセット（部分集合）たち間のローカルディフェオモーフィズム、ドメイン（定義域）ポイントのオープンネイバーフッド（開近傍）、ポイントイメージ（像）のオープンネイバーフッド（開近傍）に対して、ディフェオモーフィズムはネイバーフッド（近傍）たち内に包含されるように選ぶことができることの記述/証明
About: \(C^\infty\)マニフォールド（多様体）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たちの恣意的なサブセット（部分集合）たち間のローカルディフェオモーフィズム、ドメイン（定義域）ポイントのオープンネイバーフッド（開近傍）、ポイントイメージ（像）のオープンネイバーフッド（開近傍）に対して、ディフェオモーフィズムはネイバーフッド（近傍）たち内に包含されるように選ぶことができることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
2025年8月24日日曜日
1261: モジュール（加群）のファイナイト（有限）数のサブセット（部分集合）たちの合計
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
モジュール（加群）のファイナイト（有限）数のサブセット（部分集合）たちの合計の定義
About: モジュール（加群）
モジュール（加群）のファイナイト（有限）数のサブセット（部分集合）たちの合計の定義
話題
About: モジュール（加群）
この記事の目次
1260: オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、からコネクテッド（連結された）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、の上への2-シートたち持ち\(C^\infty\)カバリングマップ（写像）に対して、コドメイン（余域）の各イーブンにカバーされたトリビアライジングオープンサブセット（開部分集合）に対して、マップ（写像）の2個のリストリクション（制限）たちは、オープンサブセット（開部分集合）上に統一して同じか異なるオリエンテーションたちをインデュース（誘導）する
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、からコネクテッド（連結された）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、の上への2-シートたち持ち\(C^\infty\)カバリングマップ（写像）に対して、コドメイン（余域）の各イーブンにカバーされたトリビアライジングオープンサブセット（開部分集合）に対して、マップ（写像）の2個のリストリクション（制限）たちは、オープンサブセット（開部分集合）上に統一して同じか異なるオリエンテーションたちをインデュース（誘導）することの記述/証明
About: \(C^\infty\)マニフォールド（多様体）
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、からコネクテッド（連結された）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、の上への2-シートたち持ち\(C^\infty\)カバリングマップ（写像）に対して、コドメイン（余域）の各イーブンにカバーされたトリビアライジングオープンサブセット（開部分集合）に対して、マップ（写像）の2個のリストリクション（制限）たちは、オープンサブセット（開部分集合）上に統一して同じか異なるオリエンテーションたちをインデュース（誘導）することの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1259: オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のローカルディフェオモーフィズムは、コネクテッド（連結された）サブスペース（部分空間）上方においてオリエンテーション-維持またはオリエンテーション-反転である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のローカルディフェオモーフィズムは、コネクテッド（連結された）サブスペース（部分空間）上方においてオリエンテーション-維持またはオリエンテーション-反転であることの記述/証明
About: \(C^\infty\)マニフォールド（多様体）
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のローカルディフェオモーフィズムは、コネクテッド（連結された）サブスペース（部分空間）上方においてオリエンテーション-維持またはオリエンテーション-反転であることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1258: オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のローカルディフェオモーフィズムはローカルにオリエンテーション-維持またはオリエンテーション-反転である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のローカルディフェオモーフィズムはローカルにオリエンテーション-維持またはオリエンテーション-反転であることの記述/証明
About: \(C^\infty\)マニフォールド（多様体）
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のローカルディフェオモーフィズムはローカルにオリエンテーション-維持またはオリエンテーション-反転であることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1257: オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のオリエンテーション-反転ローカルディフェオモーフィズム
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のオリエンテーション-反転ローカルディフェオモーフィズムの定義
About: \(C^\infty\)マニフォールド（多様体）
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のオリエンテーション-反転ローカルディフェオモーフィズムの定義
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1256: オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のオリエンテーション-維持ローカルディフェオモーフィズム
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のオリエンテーション-維持ローカルディフェオモーフィズムの定義
About: \(C^\infty\)マニフォールド（多様体）
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、たち間のオリエンテーション-維持ローカルディフェオモーフィズムの定義
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
1255: オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、の定義
About: \(C^\infty\)マニフォールド（多様体）
オリエンテッド（方向付けされた）\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、の定義
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
登録:
投稿 (Atom)