Bourbaki

Bài tập 2, § 6

Tag 041T, permanent. Cite it as [Bourbaki, Tag 041T].

Tô pô đại số, IV, p. 478

Cho HH là một không gian tiền Hilbert tách biệt có chiều vô hạn. Cho (ei)i⩾0(e_i)_{i\geqslant 0} là một họ trực chuẩn các vectơ của HH sinh ra một không gian con trù mật của HH. Với mọi số nguyên n⩾1n\geqslant 1, ký hiệu bởi Vn(H)V_n(H) không gian con của HnH^n gồm các dãy (u1,...,un)(u_1, . . . , u_n) trực chuẩn.

a) Chứng minh rằng tồn tại một và chỉ một ánh xạ tuyến tính liên tục T:H→HT: H\rightarrow H, sao cho T(ei)=ei+1T(e_i) =e_{i+1} với mọi số nguyên ii. Chứng minh rằng ta có ∥T(x)∥=∥x∥\|T(x)\|=\|x\| với mọi x∈Hx\in H.

b) Cho H′H' là không gian con của H gồm các vectơ trực giao với eie_i, với i<ni < n. Chứng minh rằng các điều kiện sau là tương đương: (i) xx và Tn(x)T^n(x) phụ thuộc tuyến tính ; (ii) T(x)=xT(x) =x; (iii) x∈H′x\in H'.

c) Chứng minh rằng tồn tại một đồng luân duy nhất σ:Vn(H)×I→Vn(H)\sigma : V_n(H)\times \mathbf{I}\rightarrow V_n(H) sao cho, với mọi (u1,...,un)∈Vn(H)(u_1, . . . , u_n)\in V_n(H) và mọi t∈I,σ((u1,...,un),t)t\in \mathbf{I},\sigma ((u_1, . . . , u_n), t) là dãy suy ra từ họ (1−t)(u1,...,un)+t(Tn(u1),...,Tn(un))(1-t)(u_1, . . . , u_n) +t(T^n(u_1), . . . ,T^n(u_n)) bằng quá trình trực chuẩn hóa (EVT, V, p. 23, mệnh đề 6).

d) Chứng minh rằng tồn tại một đồng luân duy nhất τ:Vn(H′)×I→Vn(H)\tau : V_n(H')\times \mathbf{I}\rightarrow V_n(H) sao cho, với mọi (u1,...,un)∈Vn(H′)(u_1, . . . , u_n)\in V_n(H') và mọi t∈I,σ((u1,...,un),t)t\in \mathbf{I},\sigma ((u_1, . . . , u_n), t) là dãy suy ra từ họ (1−t)(u1,...,un)+t(e1,...,en)(1-t)(u_1, . . . , u_n) +t(e_1, . . . , e_n) bằng quá trình trực chuẩn hóa.

e) Chứng minh rằng không gian Vn(H)V_n(H) là co được.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.