Thuộc tính phân phối

Trong toán học, thuộc tính phân phối của các phép toán nhị phân tổng quát hóa luật phân phối từ đại số Bool và đại số sơ cấp. Trong logic mệnh đề, phân phối đề cập đến hai quy tắc thay thế hợp lệ. Các quy tắc cho phép một để tái cấu trúc liên từ và disjunctions trong chứng minh logic.

Ví dụ trong số học:

 , nhưng .

Ở phía bên trái của phương trình thứ nhất, 2 nhân tổng của 1 và 3; ở phía bên tay phải, nó nhân 1 và 3 riêng lẻ, với các sản phẩm được cộng vào sau đó. Bởi vì những cách tính này cho cùng một kết quả cuối cùng (8), phép nhân với 2 được cho là phân phối trên phép cộng giữa 1 và 3. Kể từ khi người ta có thể đã đặt bất kỳ số thực thay cho 2, 1, 3 trên đây, và vẫn thu được một phương trình đúng, phép nhân số thực phân phối đối với phép cộng số thực.

Định nghĩa 
Cho một tập  và hai toán tử nhị phân ∗ và + trên , phép toán ∗:

là có tính phân phối trái với phép + nếu, với bất kỳ phần tử  và  của ,

 

là phân phối phải với phép + nếu, với bất kỳ phần tử  và  của ,

  và

là phân phối với phép + nếu nó là phân phối cả trái và phải.

Lưu ý rằng khi * có tính giao hoán, ba điều kiện trên là tương đương logic.

Ý nghĩa 
Các toán tử được sử dụng cho các ví dụ trong phần này là các toán tử phép cộng () và phép nhân () thông thường.

Nếu hoạt động ký hiệu  là không giao hoán, có sự phân biệt giữa phân phối trái và phân phối phải:

    (phân phối trái) 
    (phân phối phải)

Trong cả hai trường hợp, thuộc tính phân phối có thể được mô tả bằng các từ như: Để nhân một tổng số (hoặc hiệu số) với một số nhân, mỗi thành phần của tổng số (hoặc số bị trừ và số trừ) được nhân với số nhân này và các tích thu được sẽ được cộng vào (hoặc trừ đi).

Mặt khác, phép chia chỉ có tính phân phối phải, không có tính phân phối trái:

tuy nhiên . Ví dụ , nhưng .

Tham khảo

Đại số sơ cấp
Phép toán hai ngôi
Đại số trừu tượng