Bourbaki

Bài tập 6, § 3

Tô pô đại cương, IX, p. 99

Cho E là một không gian vectơ trái trên một trường K, có một cơ sở đếm được (ana_n). Cho (rn)(r_n) là một dãy giảm các số >0> 0, tiến về 0; đặt ∥0∥=0\|0\| = 0, và đối với mọi phần tử x=∑ktkak≠0x = \sum_k t_k a_k \neq 0 của E, đặt ∥x∥=rh\|x\| = r_h, nếu hh là nhỏ nhất trong các chỉ số kk sao cho tk≠0t_k \neq 0. Bây giờ chứng minh rằng ∥x−y∥\|x - y\| là một khoảng cách bất biến trên nhóm cộng E, và rằng tôpô mà nó xác định trên E không phụ thuộc vào dãy (rn)(r_n) (giảm và tiến về 0) được chọn. Suy ra rằng, nếu mở rộng các định nghĩa về chuẩn và không gian chuẩn (IX, p. 31, def. 5 và p. 32, def. 6) sang trường hợp trong đó giá trị tuyệt đối được xét trên trường các vô hướng là không đúng, thì Mệnh đề 8 (IX, p. 32) và Định lý 1 (IX, p. 35) không còn đúng nữa.

Lời giải

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

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.