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

幾何学 IV /幾何学概論 IV :レポート問題その 1

N/A
N/A
Protected

Academic year: 2021

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

Copied!
2
0
0

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

全文

(1)

幾何学 IV /幾何学概論 IV :レポート問題その 1

11

7

17:00

までに理

1

号館

105

号室で出して下さい。

問題

1. (1)

次のように定める線形写像は、同型であることを示せ。

i : R 3 → Alt 1 ( R 3 ), i(w)(v) = hw, vi

j : R 3 → Alt 2 ( R 3 ), j (w)(v 1 , v 2 ) = det(w, v 1 , v 2 )

ここで、h−,

−i

は、

R 3

の標準内積である。

(2)

任意の

v 1 , v 2 ∈ R 3

に対して、

i(v 1 ) ∧ i(v 2 ) = j (v 1 × v 2 )

であることを示せ。ここで、− × −とは、

R 3

のクロス積である。

問題

2.

線形写像

f : V → W

と交代式

ω 1 ∈ Alt p ( W )、 ω 2 ∈ Alt q ( W )

に対して、

Alt p+q (f )(ω 1 ∧ ω 2 ) = Alt p (f )(ω 1 ) ∧ Alt q (f )(ω 2 )

を示せ。

問題

3.

内積

h−, −i

つき有限次元

n

ベクトル空間

V

とその正規直交基底

{b 1 , . . . , b n } ⊂ V

を おいておく。

(1)

次のように定める線形写像は同型であることを示せ。

i : V → Alt 1 ( V ) , i ( v )( w ) = h v, w i

(ヒント:i(b

j ) = b j

を示せばよい。ここで、{b

1 , . . . , b n } ⊂ Alt 1 (V )

は反対基底である。)

与えられた

V

上内積

h−, −i

は、次のように定める

Alt p (V )

上内積

h−, −i p

を誘導する。

X

σ ∈ S

p,n−p

λ σ b σ(1) ∧ · · · ∧ b σ(p) , X

σ ∈ S

p,n−p

λ σ b σ(1) ∧ · · · ∧ b σ(p)

p = X

σ ∈ S

p,n−p

λ σ λ σ

誘導された内積

h− , −i p

p > 1)に対して、以下の性質 (2)–(3)

を示せ。

(2)

任意の

v, w ∈ V

に対して、

hi(v), i(w)i 1 = hv, wi

1

(2)

である。

(3)

任意の

ω 1 , . . . , ω p , τ 1 , . . . , τ p ∈ Alt 1 ( V )

に対して、

hω 1 ∧ · · · ∧ ω p , τ 1 ∧ · · · ∧ τ p i p = det

hω 1 , τ 1 i 1 . . . hω 1 , τ p i 1

. . .

. . . . . . hω p , τ 1 i 1 . . . hω p , τ p i 1

である。

2

参照

関連したドキュメント

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 幾何学的帰結を得る

[34] , Quiver varieties and t–analogs of q–characters of quantum affine algebras, preprint, arXiv:math.QA/0105173. [35] , t–analogs of q–characters of Kirillov-Reshetikhin modules

[r]

These objects, which are two different generalizations of ordinary symmetric functions [9, 10], build up two Hopf algebras dual to each other, and have been shown to provide a

191 IV.5.1 Analytical structure of the stop-loss ordered minimal distribution 191 IV.5.2 Comparisons with the Chebyshev-Markov extremal random variables 194 IV.5.3 Small

– proper & smooth base change ← not the “point” of the proof – each commutative diagram → Ð ÐÐÐ... In some sense, the “point” of the proof was to establish the