Bourbaki

Bài tập 13, § 7

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

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

Cho E là một không gian Hilbert phức. Cho N là một ánh xạ từ L(E)\mathscr{L}(E) vào P(C)\mathfrak{P}(\mathbf{C}) sao cho

a) N(u)N(u) là compact với mọi u∈L(E)u\in \mathscr{L}(E) ;

b) N(αu+β1E)=αN(u)+βN(\alpha u+\beta 1_E) =\alpha N(u) +\beta với mọi u∈L(E)u\in \mathscr{L}(E) và mọi (α,β)∈C2(\alpha , \beta )\in \mathbf{C}^2;

c) N(u)⊂{z∈C∣R(z)⩾0}N(u)\subset \{z\in \mathbf{C}|\mathscr{R}(z)\geqslant 0\} khi và chỉ khi u+u∗u+u^* là dương.

Khi đó N(u)=ι(u)N(u) =\iota (u) với mọi u∈L(E)u\in \mathscr{L}(E). (Chứng minh rằng u↦ι(u)u\mapsto \iota (u) có các tính chất đã chỉ ra; cho N1N_1 và N2N_2 là các ánh xạ thỏa mãn chúng; giả sử rằng N1(u)N_1(u) không được chứa trong N2(u)N_2(u), hãy tìm α\alpha và β\beta trong C\mathbf{C} sao cho N2(αu+β)N_2(\alpha u+\beta ) được chứa trong nửa mặt phẳng R(z)⩾0\mathscr{R}(z)\geqslant 0, nhưng N1(αu+β)N_1(\alpha u+\beta ) thì không, và kết luận là mâu thuẫn nhờ c).)

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.