Bourbaki

Bài tập 30, § 6

Nhãn 02FX, cố định. Trích dẫn là [Bourbaki, Tag 02FX].

Các lý thuyết phổ, I, p. 185

Bourbaki marks this one as harder than the rest.

Cho AA là một đại số Banach có một phần tử đơn vị xấp xỉ. Ký hiệu bởi A~\widetilde{A} đại số Banach thu được từ AA bằng phép nối một phần tử đơn vị, ký hiệu bởi 1.

a) Cho x∈Ax\in A. Khi đó xx thuộc iđêan trái đóng sinh bởi xx. b) Với mọi ε>0\varepsilon >0 và mọi họ hữu hạn (xi)i∈I(x_i)_{i\in I} các phần tử của A, tồn tại e∈Ae\in A sao cho ∥e∥⩽1\|e\|\leqslant 1 và ∥exi−xi∥<ε\|ex_i-x_i\|< \varepsilon với mọi i∈Ii\in I.

c) Cho x∈A,ε>0x\in A,\varepsilon >0 và 0<γ⩽1/80< \gamma \leqslant 1/8. Tồn tại η>0\eta >0 sao cho với mọi e∈Ae\in A thỏa mãn ∥e∥⩽1\|e\|\leqslant 1 và ∥ex−x∥<η\|ex-x\|< \eta, thì α=(1−γ)⋅1+γe\alpha = (1-\gamma )\cdot 1+\gamma e khả nghịch trong A~\widetilde{A} và ∥x−α−1x∥<ε\|x-\alpha^{-1}x\|< \varepsilon.

d) Cho x∈A,ε>0,δ>0x\in A,\varepsilon >0,\delta >0 và 0<γ⩽1/80< \gamma \leqslant 1/8. Tồn tại một dãy (en)n⩾1(e_n)_{n\geqslant 1} trong A có các tính chất sau:

(i) Ta có ∥en∥<2\|e_n\|<2 với mọi n⩾1n\geqslant 1 ;

(ii) Phần tử

yn=∑k=1nγ(1−γ)k−1ek+(1−γ)n⋅1 y_n=\sum_{k=1}^n\gamma (1-\gamma )^{k-1}e_k+ (1-\gamma )^n\cdot 1

khả nghịch trong A~\widetilde{A} với mọi n⩾1n\geqslant 1 và

∥yn−1x−yn−1−1x∥<δ2−n(n⩾2),∥y1−1x−x∥<δ/2 \|y_n^{-1}x-y_{n-1}^{-1}x\|< \delta 2^{-n}(n\geqslant 2),\|y^{-1}_1x-x\|< \delta /2

(Giả sử rằng (e1,...,en)(e_1, . . . , e_n) đã được định nghĩa, xét một phần tử tùy ý en+1e_{n+1} có chuẩn <2<2 ; nhận thấy rằng

yn+1=((1−γ)⋅1+en+1)(∑k=1nγ(1−γ)k−1ek′+(1−γ)n⋅1) y_{n+1}= ((1-\gamma )\cdot 1 +e_{n+1})(\sum_{k=1}^n\gamma (1-\gamma )^{k-1}e'_k+ (1-\gamma )^n\cdot 1)

trong đó ek′=((1−γ)⋅1+en+1)−1eke'_k= ((1-\gamma )\cdot 1 +e_{n+1})^{-1}e_k, và xác định en+1e_{n+1} thỏa mãn các điều kiện đòi hỏi bằng cách khai thác sự kiện rằng tập hợp các phần tử khả nghịch của A~\widetilde{A} là mở, và ánh xạ a↦a−1a\mapsto a^{-1} là liên tục.)

e) Với mọi x∈Ax\in A, tồn tại yy và zz trong A sao cho x=yzx=yz (“định lý phân tích nhân tử Cohen”). Cho δ>0\delta >0. Ta có thể giả sử rằng zz thuộc iđêan trái đóng sinh bởi xx và ∥y−z∥<δ\|y-z\|< \delta. (Xét một dãy (en)n⩾1(e_n)_{n\geqslant 1} như trên và định nghĩa yny_n như trước; dãy zn=yn−1xz_n=y_n^{-1}x hội tụ tới một phần tử z∈Az\in A, và znz_n thuộc iđêan trái đóng sinh bởi xx; dãy (yn)(y_n) hội tụ tới y∈Ay\in A và x=yz.x=yz.)

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Không có.

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4. Chưa được người kiểm tra.