Bất đẳng thức Minkowski

Bách khoa toàn thư mở Wikipedia

Trong giải tích toán học, bất đẳng thức Minkowski dẫn đến kết luận rằng các không gian L^p là các không gian vector định chuẩn. Giả sử S là một không gian đo, giả sử 1 ≤ p ≤ ∞ , đồng thời f và g là các phần tử của L^p(S). Khi đó f + g cũng thuộc L^p(S), và chúng ta có

dấu đẳng thức xảy ra chỉ khi f và g phụ thuộc tuyến tính.

Bất đẳng thức Minkowski chính là bất đẳng thức tam giác trong L^p(S). Có thể chứng minh nó bằng cách dùng bất đẳng thức Holder.

Cũng như bất đẳng thức Holder, có thể đưa bất đẳng thức Minkowski về các trường hợp đặc biệt cho các dãy và các vector bẳng cách dùng khái niệm độ đo kiểu đếm được:

với mọi số thực (hay số phức) x₁, ..., x_n, y₁, ..., y_n và n là số chiều của S.