Bourbaki

Bài tập 17, § 2

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

Cho μ\mu là độ đo Lebesgue trên T=[0,1]T = [0, 1]; ánh xạ f↦f⋅μf \mapsto f \cdot \mu của C(T)C(T) vào M(T)M(T) là liên tục đối với tôpô mạnh trên M(T)M(T), do đó là một độ đo vectơ mm với các giá trị trong không gian Banach đó. Chứng minh rằng mm có cơ sở vô hướng μ\mu và tuyệt đối liên tục đối với μ\mu đối với tôpô mạnh, nhưng mm không có cơ sở μ\mu (đối với tôpô mạnh trên M(T)M(T)). (Nhận thấy rằng mm có cơ sở μ\mu đối với tôpô yếu σ(M(T),C(T))\sigma(M(T), C(T)), và suy ra từ đó rằng nếu có m=g⋅μm = g \cdot \mu, với gg khả tích μ\mu vô hướng (đối với tôpô mạnh trên M(T)M(T)), thì tất yếu phải có g(t)=εtg(t) = \varepsilon_t hầu khắp nơi. Chứng minh rằng điều này dẫn đến một mâu thuẫn, bằng cách nhận thấy rằng với mọi hàm số số bị chặn θ\theta trên TT, dạng tuyến tính z′:λ↦∑t∈Tθ(t)λ({t})z' : \lambda \mapsto \sum_{t \in T} \theta(t) \lambda(\{t\}) trên M(T)M(T) là liên tục nhưng ⟨g,z′⟩\langle g, z' \rangle không nhất thiết là μ\mu-đo được.)

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.