• 検索結果がありません。

幾何学 II/ 幾何学概論 II :レポート問題その 3

N/A
N/A
Protected

Academic year: 2021

シェア "幾何学 II/ 幾何学概論 II :レポート問題その 3"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

幾何学 II / 幾何学概論 II :レポート問題その 3

12

17

17:00

までに理

1

号館

105

号室で出して下さい。

問題

1.

開集合

U ⊂ R n

において、次のように定める微分形式

dx i ∈ Ω 1 ( U )

を思い出す。

dx i (x)(v) = e i (v ) = v i (1 6 i 6 n)

ただし、

x ∈ U

v = ( v 1 , . . . , v n ) ∈ R n

である。さらに、

vol = dx 1 ∧ · · · ∧ dx n ∈ Ω n (U )

とする。このとき、次のように定める線形写像を考える。

∗ : Ω p ( U ) → Ω n p ( U ) , ( ∗ ω )( x ) = ∗ ( ω ( x ))

ここで、右辺の

∗ : Alt p ( R n ) → Alt n p ( R n )

は、

vol( x ) = e 1 ∧ · · · ∧ e n ∈ Alt n ( R n )

に関するホッジの

演算子である。線形写像

∗ : Ω p (U ) → Ω n p (U )

もホッジの

演算子と呼 ばれ、レポート問題

2

より、次の性質

(i)–(ii)

を満たす。

(i)

任意の

0 6 p 6 n、σ ∈ S p,n − p

に対して、

∗ ( dx σ(1) ∧ · · · ∧ dx σ(p) ) = sgn( σ ) dx σ(p+1) ∧ · · · ∧ dx σ(n)

である。

(ii)

任意の

0 6 p 6 n

に対して、

∗ ◦ ∗ = ( − 1) p(n p)

である。

今回、次のように定める線形写像

d : Ω p ( U ) → Ω p −1 ( U )

を考える。

d = ( − 1) np+n 1 ∗ ◦ d ◦ ∗

この写像について、次の命題

(1)–(3)

を示せ。

1

(2)

(1)

合成写像

d ◦ d

は、ゼロ写像と等しい。

(2)

任意の

f ∈ Ω 0 ( U )

に対して、

d ( f ∧ dx 1 ∧ · · · ∧ dx p ) =

p

X

i=1

( − 1) i ∂f

∂x i

∧ dx 1 ∧ · · · ∧ dx i −1 ∧ dx i+1 ∧ · · · ∧ dx p

である。

(3)

任意の

f ∈ Ω 0 ( U )

1 6 i 1 < · · · < i p 6 n

に対して、

d (f ∧ dx i

1

∧ · · · ∧ dx i

p

) =

p

X

s=1

( − 1) s ∂f

∂x i

s

∧ dx i

1

∧ · · · ∧ dx i

s−1

∧ dx i

s+1

∧ · · · ∧ dx i

p

である。

問題

2 .

開集合

U ⊂ R n

において、次のように定める線形写像は、ラプラス演算子とよばれる。

∆ : Ω p (U ) → Ω p (U ), ∆ = d ◦ d + d ◦ d

ただし、

d : Ω q (U ) → Ω q 1 (U )

は、問題

1

で勉強した演算子である。∆(ω) = 0を満たす

ω ∈ Ω p ( U )

は、調和形式と呼ばれる。次の命題を示せ。

(1)

任意の

f ∈ Ω 0 ( U )、1 6 i 1 < · · · < i p 6 n

に対して、

∆(f ∧ dx i

1

∧ · · · ∧ dx i

p

) = − ∂ 2 f

∂x 2 1 + · · · + ∂ 2 f

∂x 2 n

∧ dx i

1

∧ · · · ∧ dx i

p

である。

(2)

ホッジの演算子

∗ : Ω p (U ) → Ω n p (U )

は、調和形式を保つ。すなわち、任意の

ω ∈ Ω p (U )

に対して、∆(

ω ) = 0

なら、∆(

∗ ω ) = 0

が成り立つ。

2

参照

関連したドキュメント

ベクトル計算と解析幾何 移動,移動の加法 移動と実数との乗法 ベクトル空間の概念 平面における基底と座標系

氏名 学位の種類 学位記番号 学位授与の日付 学位授与の要件 学位授与の題目

氏名 学位の種類 学位記番号 学位授与の日付 学位授与の要件 学位授与の題目

学位授与番号 学位授与年月日 氏名

定理 ( 長谷川 ) 直積を持つ圏と、トレース付きモノイダル圏の間のモ ノイダル随伴関手から、 dinaturality

Our translation L M can be extracted by a categorical interpretation on the model Per 0 that is the Kleisli category of the strong monad 0 on the cartesian closed category Per!.

A limiting analysis on regularization of singular SDP and its implication to infeasible interior-point algorithms.. 3.非正則な SDP

特に, “宇宙際 Teichm¨ uller 理論において遠 アーベル幾何学がどのような形で用いられるか ”, “ ある Diophantus 幾何学的帰結を得る