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

2026年1月4日日曜日

1544: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、およびコタンジェントベクトルたちバンドル(束)上のローカル\(C^\infty\)フレームに対して、プリデュアルローカルフレームは\(C^\infty\)である

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、およびコタンジェントベクトルたちバンドル(束)上のローカル\(C^\infty\)フレームに対して、プリデュアルローカルフレームは\(C^\infty\)であることの記述/証明

話題


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

この記事の目次

1543: ファイナイト(有限)-ディメンショナル(次元)ベクトルたちスペース(空間)に対する、コベクトルたちスペース(空間)のベーシス(基底)のプリデュアルベーシス(基底)

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

ファイナイト(有限)-ディメンショナル(次元)ベクトルたちスペース(空間)に対する、コベクトルたちスペース(空間)のベーシス(基底)のプリデュアルベーシス(基底)の定義

話題


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

この記事の目次

1542: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、およびタンジェント(接)ベクトルたちバンドル(束)上のローカル\(C^\infty\)フレームに対して、デュアルローカルフレームは\(C^\infty\)である

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、およびタンジェント(接)ベクトルたちバンドル(束)上のローカル\(C^\infty\)フレームに対して、デュアルローカルフレームは\(C^\infty\)であることの記述/証明

話題


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

この記事の目次

1541: トポロジカルスペース(空間)およびディスジョイント(互いに素)オープンサブセット(開部分集合)たちに対して、サブセット(部分集合)たちのユニオン(和集合)でサブスペース(部分空間)とみなしたものは、サブセット(部分集合)サブスペース(部分空間)たちのディスジョイント(互いに素な)ユニオン(和集合)トポロジカルスペース(空間)である

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

トポロジカルスペース(空間)およびディスジョイント(互いに素)オープンサブセット(開部分集合)たちに対して、サブセット(部分集合)たちのユニオン(和集合)でサブスペース(部分空間)とみなしたものは、サブセット(部分集合)サブスペース(部分空間)たちのディスジョイント(互いに素な)ユニオン(和集合)トポロジカルスペース(空間)であることの記述/証明

話題


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

この記事の目次

1540: トポロジカルスペース(空間)およびディスジョイント(互いに素)サブセット(部分集合)たちに対して、サブセット(部分集合)たちのユニオン(和集合)でサブスペース(部分空間)とみなしたものは、必ずしも、サブセット(部分集合)サブスペース(部分空間)たちのディスジョイント(互いに素な)ユニオン(和集合)トポロジカルスペース(空間)ではない

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

トポロジカルスペース(空間)およびディスジョイント(互いに素)サブセット(部分集合)たちに対して、サブセット(部分集合)たちのユニオン(和集合)でサブスペース(部分空間)とみなしたものは、必ずしも、サブセット(部分集合)サブスペース(部分空間)たちのディスジョイント(互いに素な)ユニオン(和集合)トポロジカルスペース(空間)ではないことの記述/証明

話題


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

この記事の目次

1539: フリーアーベリアングループ(アーベル群)

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

フリーアーベリアングループ(アーベル群)の定義

話題


About: グループ(群)

この記事の目次

1538: リアル(実)ベクトルたちスペース(空間)、コンベックスサブセット(凸部分集合)、コンベックスサブセット(凸部分集合)上のファイナイト(有限)個ポイントたちに対して、ポイントたちのコンベックスコンビネーションはコンベックスサブセット(凸部分集合)上にある

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

リアル(実)ベクトルたちスペース(空間)、コンベックスサブセット(凸部分集合)、コンベックスサブセット(凸部分集合)上のファイナイト(有限)個ポイントたちに対して、ポイントたちのコンベックスコンビネーションはコンベックスサブセット(凸部分集合)上にあることの記述/証明

話題


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

この記事の目次

1537: アーベリアングループ(アーベル群)のサブグループ(部分群)はノーマルサブグループ(正規部分群)である

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

アーベリアングループ(アーベル群)のサブグループ(部分群)はノーマルサブグループ(正規部分群)であることの記述/証明

話題


About: グループ(群)

この記事の目次

1536: モジュール(加群)のサブモジュール(部分加群)によるクウォシェント(商)モジュール(加群)

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

モジュール(加群)のサブモジュール(部分加群)によるクウォシェント(商)モジュール(加群)の定義

話題


About: モジュール(加群)

この記事の目次

1535: サージェクティブ(全射)ローカルホメオモーフィズム(位相同形写像)(特にカバリングマップ(写像))はクウォシェント(商)である

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

サージェクティブ(全射)ローカルホメオモーフィズム(位相同形写像)(特にカバリングマップ(写像))はクウォシェント(商)であることの記述/証明

話題


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

この記事の目次

1534: ローカルホメオモーフィズム(位相同形写像)はコンティニュアス(連続)である

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

ローカルホメオモーフィズム(位相同形写像)はコンティニュアス(連続)であることの記述/証明

話題


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

この記事の目次

1533: ローカルホメオモーフィズム(位相同形写像)はオープン(開)である

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

ローカルホメオモーフィズム(位相同形写像)はオープン(開)であることの記述/証明

話題


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

この記事の目次

1532: ローカルホメオモーフィズム(位相同形写像)

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

ローカルホメオモーフィズム(位相同形写像)の定義

話題


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

この記事の目次

1531: トポロジカルスペース(空間)たち間マップ(写像)でポイントにおいてローカルにホメオモーフィック(位相同形写像)なもの

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

トポロジカルスペース(空間)たち間マップ(写像)でポイントにおいてローカルにホメオモーフィック(位相同形写像)なものの定義

話題


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

この記事の目次

1530: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、たちの任意のサブセット(部分集合)たち間のローカルディフェオモーフィズム

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

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、たちの任意のサブセット(部分集合)たち間のローカルディフェオモーフィズムの定義

話題


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

この記事の目次

1529: メトリックスペース(計量付き空間)およびサブセット(部分集合)に対して、サブセット(部分集合)へのディスタンス(距離)たちが\(0\)であるポイントたちのセット(集合)はサブセット(部分集合)のクロージャー(閉包)である

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

メトリックスペース(計量付き空間)およびサブセット(部分集合)に対して、サブセット(部分集合)へのディスタンス(距離)たちが\(0\)であるポイントたちのセット(集合)はサブセット(部分集合)のクロージャー(閉包)であることの記述/証明

話題


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

この記事の目次

2025年12月28日日曜日

1528: リーグループ(群)上方の左インバリアント(不変)ベクトルたちフィールド(場)

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

リーグループ(群)上方の左インバリアント(不変)ベクトルたちフィールド(場)の定義

話題


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

この記事の目次

1527: トポロジカルスペース(空間)およびいくつかのコネクテッド(連結された)コンポーネントたちを除いてできたサブスペース(部分空間)に対して、残されたコネクテッド(連結された)コンポーネントたちはサブスペース(部分空間)のコネクテッド(連結された)コンポーネントたちである

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

トポロジカルスペース(空間)およびいくつかのコネクテッド(連結された)コンポーネントたちを除いてできたサブスペース(部分空間)に対して、残されたコネクテッド(連結された)コンポーネントたちはサブスペース(部分空間)のコネクテッド(連結された)コンポーネントたちであることの記述/証明

話題


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

この記事の目次

1526: トポロジカルスペース(空間)およびコネクテッド(連結された)サブスペース(部分空間)たちのセット(集合)に対して、サブスペース(部分空間)は、サブスペース(部分空間)たちのユニオン(和集合)のコネクテッド(連結された)コンポーネント内に包含されている

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

トポロジカルスペース(空間)およびコネクテッド(連結された)サブスペース(部分空間)たちのセット(集合)に対して、サブスペース(部分空間)は、サブスペース(部分空間)たちのユニオン(和集合)のコネクテッド(連結された)コンポーネント内に包含されていることの記述/証明

話題


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

この記事の目次

1525: ローカルにコネクテッド(連結された)トポロジカルスペース(空間)に対して、オープンサブスペース(開部分空間)はローカルにコネクテッド(連結された)である

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

ローカルにコネクテッド(連結された)トポロジカルスペース(空間)に対して、オープンサブスペース(開部分空間)はローカルにコネクテッド(連結された)であることの記述/証明

話題


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

この記事の目次