Bourbaki

Bài tập 16, § 2

Tích phân, VI, p. 66

Xét các ánh xạ umu_m của T=[0,1]T = [0, 1] vào một không gian Hilbert tách được, được xác định trong §1, Bài tập 1, và đặt fk=u1+⋯+ukf_k = u_1 + \cdots + u_k; hãy chứng minh rằng các độ đo vectơ fk⋅μf_k \cdot \mu hội tụ đều trên mọi tập con bị chặn của C(T)C(T) tới một độ đo vectơ mm có giá trị trong FF. Hơn nữa, mm có thể được mở rộng bởi tính liên tục tới không gian L2(μ)L^2(\mu) và, với mọi hàm f∈L2f \in L^2, ta có ∫fdm∈F\int f dm \in F và ∣∫fdm∣≤N2(f)|\int f dm| \leq N_2(f) trong FF; đặc biệt, mm là vô hướng có cơ sở μ\mu và tuyệt đối liên tục đối với μ\mu theo tôpô mạnh (Bài tập 12 c)). Tuy nhiên, mm không có cơ sở ν\nu đối với bất kỳ độ đo dương ν\nu nào trên TT, và a fortiori (No. 5, Hệ quả 4 của Định lý 1) không là majorizable. (Rút gọn về trường hợp ν\nu có cơ sở μ\mu, sử dụng Định lý 3 của Ch. V, §5, No. 7.)

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-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.