[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
96(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:14 ID:qSerb9O3(6/7) AAS
>>93
つづき
外部ﾘﾝｸ:ja.wikipedia.org
微分形式
(抜粋)
数学における微分形式（びぶんけいしき、英: differential form）とは、微分可能多様体上に定義される共変テンソル場である。
微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。
微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。
また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。
概要
省5
105(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)07:53 ID:iKDSmfWl(7/31) AAS
>>96
>余接ベクトル場 f1 dx1 + f2 dx2 + … + fn dxn の事を 微分 1 形式という。
外部ﾘﾝｸ:ja.wikipedia.org
接束
（接ベクトル束から転送）
(抜粋)
微分幾何学において、可微分多様体 M の接束（せっそく、英: tangent bundle, 接バンドル、タンジェントバンドル) は M の接空間の非交和[注釈 1]である。つまり、
{\displaystyle TM:=\bigsqcup _{x\in M}T_{x}M=\bigcup _{x\in M}(\{x\}\times T_{x}M)=\bigcup _{x\in M}\{(x,v)\mid v\in T_{x}M\}.}{\displaystyle TM:=\bigsqcup _{x\in M}T_{x}M=\bigcup _{x\in M}(\{x\}\times T_{x}M)=\bigcup _{x\in M}\{(x,v)\mid v\in T_{x}M\}.}
ただし TxM は M の点 x における接空間を表す。なので、TM の元は対 (x, v)、ただし x は M の点で v は M の x における接ベクトル、と考えることができる。π(x, v) = x で定義される自然な射影
{\displaystyle \pi :TM\twoheadrightarrow M}
省10
152(2): 2019/11/25(月)18:06 ID:5k7RI9yy(1/2) AAS
おっちゃんです。
>>96
微分形式のことは書かれていない。まあ、一応解析の本なんで。
>>99
バナッハ空間における微分は、その存在性を示さなくても定義可能。
実数体R上のユークリッドノルムが入った有限次元のバナッハ空間 R^n で、偏微分や全微分が実質的に定義されている。
実数体R上のユークリッドノルムが入った有限次元のバナッハ空間 R^n での
一変数微積分や多変数微積分は、関数解析を使わずに理論展開出来る。
大体、絶対値の記号 |…| をユークリッドノルム ||…|| の記号で置き換えればいい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.570s*