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

Lemma 1. For t ∈ O(V ) and 0 6= α ∈ V , we have ts α t −1 = s tα .

N/A
N/A
Protected

Academic year: 2021

シェア "Lemma 1. For t ∈ O(V ) and 0 6= α ∈ V , we have ts α t −1 = s tα ."

Copied!
2
0
0

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

全文

(1)

June 6, 2016

For today’s lecture, we let V be a finite-dimensional vector space over R, with positive- definite inner product. Recall that for 0 6= α ∈ V , s α ∈ O(V ) denotes the reflection

s α (λ) = λ − 2(λ, α)

(α, α) α (λ ∈ V ).

Lemma 1. For t ∈ O(V ) and 0 6= α ∈ V , we have ts α t −1 = s tα .

Definition 2. Let Φ be a root system in V . A subset Π of Φ is called a positive system if there exists a total ordering < of V such that Π = {α ∈ Φ | α > 0}.

Lemma 3. If Π is a positive system in a root system Φ, then Φ = Π ∪ (−Π) (disjoint).

Definition 4. Let ∆ be a subset of a root system Φ. We call ∆ a simple system if ∆ is a basis of the subspace spanned by Φ, and if moreover Φ ⊂ R ≥0 ∆ ∪ R ≤0 ∆ holds.

In what follows, we fix a root system Φ in V , a positive system Π and a simple system

∆ ⊂ Π.

Lemma 5. For α ∈ ∆, s α (Π \ {α}) = Π \ {α}.

Definition 6. For β = P

α∈∆ c α α ∈ Φ, the height of β relative to ∆, denoted ht(β), is defined as

ht(β) = X

α∈∆

c α .

Definition 7. For w ∈ W , we define the length of w, denoted `(w), to be

`(w) = min{r ∈ Z | r ≥ 0, ∃α 1 , . . . , α r ∈ ∆, w = s α

1

· · · s α

r

}.

By convention, `(1) = 0.

Notation 8. For w ∈ W , we write

n(w) = |Π ∩ w −1 (−Π)|.

1

(2)

Definition 9. A linear transformation s : R n → R n is called a reflection if there exists a nonzero vector α such that s(α) = −α and s(h) = h for all h ∈ (Rα) .

Lemma 10. Let s : R n → R n be a reflection. Then the matrix representation S of s is diagonalizable by an orthogonal matrix:

P −1 SP =

−1 1

. ..

1

for some orthogonal matrix P .

Example 11. Let n ≥ 2 be an integer, and let S n denote the symmetric group of degree n. In other words, S n consists of all permutations of the set {1, 2, . . . , n}. Since permuta- tions are bijections from {1, 2, . . . , n} to itself, S n forms a group under composition. Let ε 1 , . . . , ε n denote the standard basis of R n . For each σ ∈ S n , we define g σ ∈ O(R n ) by setting

g σ (

n

X

i=1

c i ε i ) =

n

X

i=1

c i ε σ(i) , and set

G n = {g σ | σ ∈ S n }.

It is easy to verify that G n is a subgroup of O(V ) and, the mapping S n → G n defined by σ 7→ g σ is an isomorphism. It is well known that S n is generated by its set of transposition.

Via the isomorphism σ 7→ g σ , we see that G n is generated by the set of reflections

{s ε

i

−ε

j

| 1 ≤ i < j ≤ n}. (1)

The set

Φ = {±(ε i − ε j ) | 1 ≤ i < j ≤ n}

is a root system, with a positive system

Π = {ε i − ε j | 1 ≤ i < j ≤ n}, (2)

and simple system

∆ = {ε i − ε i+1 | 1 ≤ i < n}.

Exercise 12. Show that (1) is precisely the set of reflections in G n . In other words, for σ ∈ S n , show that g σ is a reflection if and only if σ is a transposition.

Exercise 13. With reference to Notation 8 and (2), show that

n(g σ ) = |{(i, j) | i, j ∈ {1, 2, . . . , n}, i < j, σ(i) > σ(j)}| (σ ∈ S n ).

Exercises 12 and 13 are due on June 13, 2016.

2

参照

関連したドキュメント

The Beurling-Bj ¨orck space S w , as defined in 2, consists of C ∞ functions such that the functions and their Fourier transform jointly with all their derivatives decay ultrarapidly

(4.9) We thus have, from the parametrix expansion of the density and the regularizing property of the kernel, the lower bound on the compact sets of the parabolic metric in short

The initial value problem for the nonlinear Klein-Gordon equation with various cubic nonlinearities depending on v, v t , v x , v xx , v tx and having a suitable nonresonance

By con- structing a single cone P in the product space C[0, 1] × C[0, 1] and applying fixed point theorem in cones, we establish the existence of positive solutions for a system

Let T be a reduced purely two-dimensional scheme, projective over an algebraically closed field of positive characteristic (resp. the algebraic closure of a finite field). Let L be

Key words and phrases: Linear system, transfer function, frequency re- sponse, operational calculus, behavior, AR-model, state model, controllabil- ity,

Massoudi and Phuoc 44 proposed that for granular materials the slip velocity is proportional to the stress vector at the wall, that is, u s gT s n x , T s n y , where T s is the

We obtain some conditions under which the positive solution for semidiscretizations of the semilinear equation u t u xx − ax, tfu, 0 &lt; x &lt; 1, t ∈ 0, T, with boundary conditions