Bourbaki

Bài tập 13, § 6

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

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

Cho AA là một đại số Banach có đơn vị trên C,x∈A\mathbf{C},x\in A, và đặt S = SpA(x)_A(x). Giả sử tồn tại một cấu xạ φ\varphi của C(S)\mathscr{C}(S) vào A biến 1 thành 1 và zz thành xx, trong đó ký hiệu zz là ánh xạ đồng nhất của S. Khi đó ∥φ(f)∥⩾∥f∥\|\varphi (f)\|\geqslant \|f\| đối với mọi f∈C(S)f\in \mathscr{C}(S). Đặc biệt, nếu cấu xạ φ\varphi liên tục, thì φ\varphi là một đồng phôi lên ảnh của nó. (Ta có thể giả sử A giao hoán. Cho λ∈S\lambda \in S. Tồn tại χ∈X(A)\chi \in \mathsf{X}(A) sao cho λ=χ(x)=χ(φ(z))=(X(φ)(χ))(z)\lambda =\chi (x) =\chi (\varphi (z)) = (\mathsf{X}(\varphi )(\chi ))(z). Do đó X(φ)(χ)\mathsf{X}(\varphi )(\chi ) là đặc trưng f↦f(λ)f\mapsto f(\lambda ) của C(S)\mathscr{C}(S). Cho f∈C(S)f\in \mathscr{C}(S). Từ điều đã nêu trước đó, tồn tại χ∈X(A)\chi \in \mathsf{X}(A) sao cho ∣f∣|f| đạt giá trị cực đại của nó tại X(φ)(χ)\mathsf{X}(\varphi )(\chi ). Khi đó ∣χ(φ(f))∣=∥f∥|\chi (\varphi (f))|=\|f\|, do đó ∥φ(f)∥⩾∥f∥.\|\varphi (f)\|\geqslant \|f\|.)

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-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.