✨Tích rỗng

Trong toán học, tích rỗng là kết quả của phép nhân không nhân tử. Theo quy ước tích rỗng bằng nhân tử đơn vị (nếu như phép nhân đang xét có đơn vị), cũng giống như tổng rỗng – tổng của không số hạng – theo quy ước bằng 0 hoặc bằng đơn vị cộng.

Thuật ngữ "tích rỗng" thường được sử dụng theo nghĩa trên khi bàn luận về các phép toán số học. Tuy vậy, thuật ngữ này đôi khi được dùng trong những ngành khác như phép giao trong lý thuyết tập hợp, tích phạm trù và các tích trong lập trình máy tính.

Tích số học khả rỗng

Lập luận

Xét dãy số và đặt

:$P$m = \prod{i=1}^m a_i = a_1 \cdots a_m

là tích của số hạng đầu tiên của dãy. Khi ấy

:$P\_m\; =\; a$m \cdot P{m-1}

với mọi nếu ta cho và (đây là số duy nhất thỏa mãn hệ thức trên). Nói cách khác, "tích" với chỉ một nhân tử bằng nhân tử đó, còn "tích" với không nhân tử thì bằng 1. Quy ước một "tích" của một hoặc không nhân tử làm đơn giản hóa nhiều công thức toán học. Những "tích" như thế thường làm điểm bắt đầu cho những chứng minh quy nạp, cũng như trong thuật toán. Do đó, tích rỗng bằng một là một quy ước thường được dùng trong toán học và khoa học máy tính.

Sử dụng

Khái niệm tích rỗng cũng hữu ích như số không và tập rỗng: tuy có vẻ không quan trọng, chúng giúp đơn giản hóa nhiều biểu thức và chứng minh trong toán học và những ngành liên quan.

Ví dụ, các tích rỗng cho ta (ký hiệu giai thừa) và , làm gọn ký hiệu chuỗi Taylor (xem không mũ không trong trường hợp ). Tương tự, nếu là một ma trận thì là ma trận đơn vị , nghĩa là áp dụng một ánh xạ tuyến tính không lần thì tương đương với việc áp dụng một biến đổi đồng nhất.

Một ví dụ khác, định lý cơ bản của số học nói rằng mọi số nguyên dương lớn hơn 1 đều có thể được biểu diễn duy nhất dưới dạng tích của các số nguyên tố. Tuy nhiên, nếu ta không cho phép tích của 0 hay 1 thừa số thì định lý và chứng minh sẽ trở nên dài và phức tạp hơn.

Một số ví dụ khác của tích rỗng trong toán học có thể được thấy trong định lý nhị thức (coi với mọi ), số Stirling, Định lý König, chuỗi nhị thức và ký hiệu Pochhammer.

Logarit

Do logarit biến tích thành tổng

:$\backslash ln\backslash left(\backslash prod\_i\; x\_i\backslash right)=\backslash sum\_i\; \backslash ln\; x\_i$

chúng biến tích rỗng thành tổng rỗng. Do đó nếu ta định nghĩa tích rỗng bằng thì tổng rỗng phải bằng Ngược lại, hàm lũy thừa biến tổng thành tích, do đó nếu ta định nghĩa tổng rỗng bằng thì tích rỗng phải bằng

Tích Descartes khả rỗng

Xét định nghĩa tổng quát của tích Descartes các tập :

:$\backslash prod\_\{i\; \backslash in\; I\}\; X$i = \left{\, g: I \to \bigcup{i \in I} X_i \mid \forall i\ g(i) \in X_i \,\right}.

Nếu là tập rỗng, duy nhất thỏa điều kiện trên là hàm rỗng $f\_\backslash varnothing\backslash colon\; \backslash varnothing\; \backslash to\; \backslash varnothing$, tức là một tập rỗng $\backslash varnothing$

:$\backslash prod$\varnothing{} = \left{\, f\varnothing: \varnothing \to \varnothing \,\right} = {\varnothing}.

Do đó, lực lượng của tích Descartes rỗng là .

Trong logic

Logic cổ điển định nghĩa phép hội, được tổng quát thành định lượng với mọi trong logic bậc nhất, thường được coi là phép nhân logic vì ta thường coi đúng là 1 và sai là 0, khiến kết quả của phép hội giống với phép nhân. Trong trường hợp có 0 nhân tử, ta có một phép hội rỗng, và cho kết quả đúng.

Trong lập trình máy tính

Nhiều ngôn ngữ lập trình, ví dụ như Python hay Julia, có hàm tích có thể trả về tích của các số trong mảng. Ví dụ như trong Python (bản 3.8 trở lên):

math.prod([2, 3, 5]) # = 30 math.prod([2, 3]) # = 6 math.prod([2]) # = 2 math.prod([]) # = 1

Quy ước này giúp tránh phải xét trường hợp riêng biệt nếu độ dài mảng là hay .

Do phép nhân là toán tử trung tố, tức chúng nằm giữa hai nhân tử, làm phức tạp hóa ký hiệu của tích rỗng. Một số ngôn ngữ lập trình có các hàm chấp nhận số ẩn số thay đổi. Ví dụ, ký hiệu tiền tố đóng ngoặc của Lisp cho ta biểu diễn tự nhiên sau

( 2 3 4) ; bằng 24 ( 2 3) ; bằng 6 ( 2) ; bằng 2 () ; bằng 1