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

:\ln\left(\prod_i x_i\right)=\sum_i \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 :

:\prod_{i \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_\varnothing\colon \varnothing \to \varnothing, tức là một tập rỗng \varnothing

:\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

## Xem thêm
* Tổng rỗng
* Tập hợp rỗng

## Tham khảo

## Liên kết ngoài
* Bài viết về tích rỗng trên PlanetMath