<このシリーズの前の記事 | このシリーズの目次 |
\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、上方の\(C^\infty\) \(q\)-フォームのダブルエクステリアデリバティブ(微分係数)は\(0\)であることの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、上方の\(C^\infty\) \(q_1\)-フォームと\(C^\infty\) \(q_2\)-フォームのウェッジプロダクト(楔積)のエクステリアデリバティブ(微分係数)は、\(q_1\)-フォームのエクステリアデリバティブ(微分係数)と\(q_2\)-フォームのウェッジプロダクト(楔積)プラス\(q_1\)-フォームと\(q_2\)-フォームのエクステリアデリバティブ(微分係数)のウェッジプロダクト(楔積)に\(-1\)を\(q_1\)乗したものを掛けたものであることの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、上方の\(C^\infty\) \(q\)-フォームのエクステリアデリバティブ(微分係数)の定義
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、たち間\(C^\infty\)マップ(写像)に対して、マルチコベクトルたちのウェッジプロダクト(楔積)のプルバックはマルチコベクトルたちのプルバックたちのウェッジプロダクト(楔積)であることの記述/証明
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)でインナープロダクト(内積)を持ちインデュースト(誘導された)トポロジーを持つものから同一ベクトルたちスペース(空間)の中へのユニタリマップ(写像)に対して、マップ(写像)のアジョイントはユニタリであり、マップ(写像)のダブルアジョイントはマップ(写像)であることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)でインナープロダクト(内積)を持ちインデュースト(誘導された)トポロジーを持つものから同一ベクトルたちスペース(空間)の中へのマップ(写像)に対して、もしも、マップ(写像)がユニタリである場合、それは、ノルムを維持する、そして、もしも、マップ(写像)がノルムを維持する任意のリニア(線形)サージェクション(全射)である場合、それは、ユニタリであることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)でインナープロダクト(内積)を持ちインデュースト(誘導された)トポロジーを持つものから同一ベクトルたちスペース(空間)の中へのユニタリマップ(写像)の定義
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ベクトルたちスペース(空間)でインナープロダクト(内積)を持ちインデュースト(誘導された)トポロジーを持つもののデンス(密)サブセット(部分集合)から同一ベクトルたちスペース(空間)の中へのマップ(写像)のアジョイントマップ(写像)の定義
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、上方のトップ-フォームの定義
話題
About:
\(C^\infty\)マニフォールド(多様体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コンプレックス(複素)ユークリディアンベクトルたちスペース(空間)でコンプレックス(複素)ユークリディアンノルムを持つものおよび同一ノルムを持つ\(2\)個のベクトルたちに対して、オーソゴーナル(直交)リニアマップ(線形写像)でベクトルたちの1つを他方にマップしそのカノニカルレプリゼンタティブ(代表)レプリゼンタティブ(代表)マトリックス(行列)はユニタリであるものがある、そして、ディメンショナル(次元)が\(2\)以上である時は、デターミナント(行列式)は\(1\)にできることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ユークリディアンベクトルたちスペース(空間)でユークリディアンノルムを持つものおよび同一ノルムを持つ\(2\)個のベクトルたちに対して、オーソゴーナル(直交)リニアマップ(線形写像)でベクトルたちの1つを他方にマップしそのカノニカルレプリゼンタティブ(代表)マトリックス(行列)がオーソゴーナル(直交)であるものがあり、ディメンショナル(次元)が\(2\)以上の時は、デターミナント(行列式)は\(1\)にできることの記述/証明
話題
About:
ベクトルたちスペース(空間)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コンプレックス(複素)ユークリディアンノルム付きコンプレックス(複素)ユークリディアンベクトルたちスペース(空間)からそれ自体の中へのリニアマップ(線形写像)に対して、マップ(写像)はオーソゴーナル(直交)である、もしも、カノニカルレプリゼンタティブ(代表)マトリックス(行列)はユニタリである場合、そしてその場合に限って、ことの記述/証明
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ユークリディアンノルム付きユークリディアンベクトルたちスペース(空間)からそれ自体へのリニアマップ(線形写像)に対して、マップ(写像)はオーソゴーナル(直交)である、もしも、レプリゼンタティブ(代表)マトリックス(行列)はオーソゴーナル(直交)である場合、そしてその場合に限って、ことの記述/証明
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト(有限)-ディメンショナル(次元)ベクトルたちスペース(空間)たち間リニアマップ(線形写像)のベーシス(基底)たちに関するレプリゼンタティブ(代表)マトリックス(行列)の定義
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
フィールド(体)のコピーたちのファイナイト(有限)プロダクトベクトルたちスペース(空間)たち間のマップ(写像)に対して、マップ(写像)はリニア(線形)である、もしも、マップ(写像)はカノニカルベーシス(基底)たちに関するマトリックス(行列)によって代表される場合、そしてその場合に限って、ことの記述/証明
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
フィールド(体)のコピーたちのファイナイト(有限)プロダクトベクトルたちスペース(空間)たち間のリニアマップ(線形写像)のカノニカルレプリゼンタティブ(代表)マトリックス(行列)の定義
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ファイナイト(有限)数変数たちおよびそれらのコンプレックスコンジュゲート(複素共役)たちを持つコンプレックス(複素)ポリノミアル(多項式)に対して、もしも、ポリノミアル(多項式)はコンスタントに\(0\)である場合、コエフィシェント(係数)たちは\(0\)であることの記述/証明
話題
About:
フィールド(体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
フィールド(体)上方のファイナイト(有限)数変数たちを持つポリノミアル(多項式)に対して、もしも、ポリノミアル(多項式)がコンスタントに\(0\)である場合、コエフィシェント(係数)たちは\(0\)であることの記述/証明
話題
About:
フィールド(体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
サインたちとコサインたちで互いに素な角速度たちを持つものたちのリニアコンビネーション(線形結合)に対して、もしも、それがコンスタントである場合、コエフィシェント(係数)たちは\(0\)であることの記述/証明
話題
About:
フィールド(体)
この記事の目次
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
バンデルモンデデターミナント(行列式)の定義
話題
About:
マトリックス(行列)たちスペース(空間)
この記事の目次