Dystrybucja jest pojęciem z algebry: mówi, jak operacje binarne mają być traktowane. Najprostszym przypadkiem jest dodawanie i mnożenie liczb. Na przykład, w arytmetyce:
2 ⋅ (1 + 3) = (2 ⋅ 1) + (2 ⋅ 3), ale 2 / (1 + 3) ≠ (2 / 1) + (2 / 3).
Po lewej stronie pierwszego równania 2 mnoży sumę 1 i 3; po prawej stronie mnoży pojedynczo 1 i 3, a następnie dodaje ich iloczyny. Ponieważ dają one tę samą końcową odpowiedź (8), mówi się, że mnożenie przez 2 rozkłada się na dodawanie 1 i 3. Ponieważ można było wstawić dowolne liczby rzeczywiste w miejsce 2, 1 i 3 powyżej i nadal otrzymać prawdziwe równanie, mówimy, że mnożenie liczb rzeczywistych rozkłada się na dodawanie liczb rzeczywistych.
Definicja formalna
Niech S będzie zbiorem z dwiema operacjami dwuargumentowymi + i ⋅ (nazwijmy je dodaniem i mnożeniem). Mówimy, że ⋅ jest lewo-rozkładalne (lewostronnie dystrybutywne) względem +, jeśli dla wszystkich a,b,c ∈ S zachodzi
a ⋅ (b + c) = (a ⋅ b) + (a ⋅ c).
Analogicznie, ⋅ jest prawo-rozkładalne (prawostronnie dystrybutywne) względem +, jeśli
(a + b) ⋅ c = (a ⋅ c) + (b ⋅ c).
Jeśli obie równości obowiązują dla wszystkich a,b,c ∈ S, mówimy po prostu, że ⋅ jest dystrybutywne względem +.
Własności wynikające z dystrybucji
- Anihilacja przez zero: w strukturze z dystrybutywnością zawsze zachodzi 0 ⋅ a = 0 oraz a ⋅ 0 = 0. Dowód: 0 = 0 + 0, więc 0 ⋅ a = (0 + 0) ⋅ a = 0 ⋅ a + 0 ⋅ a; odejmując 0 ⋅ a po obu stronach otrzymujemy 0 = 0 ⋅ a.
- Przenoszenie minusów: (-a) ⋅ b = -(a ⋅ b) oraz a ⋅ (-b) = -(a ⋅ b). Wynika to z dystrybucji i własności elementu odwrotnego względem dodawania: 0 = (a + (-a)) ⋅ b = a ⋅ b + (-a) ⋅ b.
- Rozkład wielokrotny: dystrybutywność pozwala rozkładać mnożenie względem sum dowolnie wielu składników, np. a ⋅ (b1 + b2 + ... + bn) = a⋅b1 + a⋅b2 + ... + a⋅bn.
- Możliwość organizowania obliczeń: dzięki dystrybucji można upraszczać i przekształcać wyrażenia algebraiczne, rozkładać nawiasy i grupować wyrazy w wygodny sposób.
Przykłady struktur z dystrybucyjnością
- Liczby całkowite, wymierne, rzeczywiste, zespolone: zwykłe mnożenie jest dystrybutywne względem dodawania.
- Macierze: mnożenie macierzy jest dystrybutywne względem dodawania macierzy: A(B + C) = AB + AC i (A + B)C = AC + BC. Ważne: mnożenie macierzy jest zwykle niekomutatywne (AB ≠ BA), ale mimo to zachowuje dystrybucję.
- Wielomiany: mnożenie wielomianów rozkłada się na sumę iloczynów wyrazów (rozkład przez dystrybutywność daje reguły mnożenia wielomianów).
- Przestrzenie liniowe (operacje liniowe): działanie mnożenia przez skalar jest dystrybutywne względem dodawania wektorów i dodawania skalarów (to część aksjomatów liniowości).
- Algebry Boole’a i zbiory: w algebrze Boola operacje AND i OR spełniają dystrybucję (zarówno AND względem OR, jak i OR względem AND). W teorii zbiorów przecięcie dystrybuuje względem sumy (A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)) i suma względem przecięcia (A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)).
Przykłady i kontrprzykłady
Przykład prawdziwej dystrybucji dla liczb:
3 ⋅ (4 + 5) = 3 ⋅ 9 = 27, a (3 ⋅ 4) + (3 ⋅ 5) = 12 + 15 = 27 — równość zachodzi.
Kontrprzykłady — operacje niedystrybutywne:
- Dzielenie względem dodawania: jak w pierwotnym przykładzie: 2 / (1 + 3) = 2/4 = 0.5, natomiast (2/1) + (2/3) ≈ 2 + 0.666... = 2.666..., więc nie ma dystrybucji.
- Odejmowanie względem dodawania: 2 - (1 + 3) = 2 - 4 = -2, ale (2 - 1) + (2 - 3) = 1 + (-1) = 0 — brak zgodności.
- Potęgowanie względem dodawania: ogólnie (a + b)^n ≠ a^n + b^n (chyba że w trywialnych przypadkach), więc potęgowanie nie dystrybuuje się po dodawaniu.
Kilka krótkich dowodów używających dystrybucji
Dowód, że 0 ⋅ a = 0 (przykład już wspomniany):
0 ⋅ a = (0 + 0) ⋅ a = 0 ⋅ a + 0 ⋅ a. Odejmując 0 ⋅ a od obu stron (czyli dodając element odwrotny) otrzymujemy 0 = 0 ⋅ a.
Dowód, że (-a) ⋅ b = -(a ⋅ b):
0 = (a + (-a)) ⋅ b = a ⋅ b + (-a) ⋅ b, więc element (-a) ⋅ b jest elementem przeciwnym do a ⋅ b, czyli (-a) ⋅ b = -(a ⋅ b).
Uwagi końcowe
Dystrybutywność to jedno z kluczowych własności algebraicznych, pozwalające na rozszerzanie obliczeń i dowodów w wielu strukturach matematycznych. Rozróżnienie na lewo- i prawostronną dystrybucję jest istotne w niekomutatywnych strukturach (np. macierze, pewne pierścienie). W praktyce rozpoznanie, które operacje są dystrybutywne względem których innych, pomaga unikać błędów (jak próba „rozkładania” dzielenia czy odejmowania) i umożliwia upraszczanie wyrażeń algebraicznych.