Trong lý thuyết số, một **dãy Sidon** (hay **tập hợp Sidon**), đặt theo tên của nhà toán học Hungary Simon Sidon, là một dãy các số tự nhiên *A* = {*a*0, *a*1, *a*2, ...} sao cho các tổng của hai số bất kì trong dãy *a**i* + *a**j* (*i* ≤ *j*) đôi một khác nhau. Sidon đưa ra khái niệm này trong nghiên cứu của ông về chuỗi Fourier. Tổng quát hơn, một dãy *g*-Sidon là một dãy số tự nhiên sao cho một số tự nhiên bất kì có không quá *g* cách biểu diễn dưới dạng tổng hai số trong dãy.

Vấn đề chính, đặt ra bởi Sidon, là *A* chứa tối đa bao nhiêu phần tử nhỏ hơn hoặc bằng một giá trị *x* cho trước. Mặc dù đã có nhiều nghiên cứu về vấn đề này, câu hỏi cho trường hợp *g* tổng quát vẫn chưa được giải đáp sau gần 80 năm. Gần đây, lời giải cuối cùng đã được tìm ra  bởi J. Cilleruelo, I. Ruzsa và C. Vinuesa.

Paul Erdős và Pál Turán chứng minh số phần tử của *A* không quá *x* nhiều nhất là {\displaystyle {\sqrt {x}}+O({\sqrt[{4}]{x}})} và bằng một ví dụ xây dựng bởi J. Singer, họ thu được chặn dưới {\displaystyle {\sqrt {x}}(1-o(1))}.

Tuy nhiên, nếu ta xét dãy Sidon vô hạn *A* và đặt *A*(*x*) là số phần tử nhỏ hơn hoặc bằng *x*, thì Erdos chứng minh rằng

{\displaystyle \liminf {\frac {A(x){\sqrt {\log x}}}{\sqrt {x}}}\leq 1}
nghĩa là, dãy Sidon vô hạn có mật độ thấp hơn chặn thu được ở trên cho dãy hữu hạn.

Cho chặn ở phía còn lại, Chowla và Mian nhận thấy thuật toán tham lam xây dựng được một dãy Sidon vô hạn có {\displaystyle A(x)>c{\sqrt[{3}]{x}}} với mọi *x*. Ajtai, Komlós, và Szemerédi xây dựng được một dãy Sidon tốt hơn với

{\displaystyle A(x)>{\sqrt[{3}]{x\log x}}.}
Chặn dưới tốt nhất hiện nay là của Imre Z. Ruzsa, chỉ ra rằng tồn tại dãy Sidon có

{\displaystyle A(x)>x^{{\sqrt {2}}-1-o(1)}}
Erdős giả thuyết rằng tồn tại tập hợp Sidon vô hạn *A* với {\displaystyle A(x)>x^{1/2-o(1)}}. Ông cùng với Rényi chứng minh rằng tồn tại dãy *a*0,*a*1,... với một tính chất yếu hơn là với mọi số tự nhiên *n* tồn tại không quá *c* lời giải cho phương trình *a**i*+*a**j*=*n* với *c* là một hằng số.

Erdős còn đưa ra một giả thuyết khác là tồn tại một đa thức với hệ số nguyên sao cho giá trị của đa thức ở các số tự nhiên tạo thành một dãy Sidon vô hạn. Cụ thể hơn, ông đưa ra câu hỏi liệu tập hợp các lũy thừa bậc 5 có là một tập hợp Sidon. Ruzsa đã chứng minh được rằng tồn tại số thực 0<*c*<1 sao cho tập giá trị của hàm 
*f*(*x*)=*x*5+[*cx*4] là một dãy Sidon, trong đó [.] ký hiệu hàm phần nguyên.

Liên hệ với thước Golomb
------------------------

Mọi tập hợp Sidon hữu hạn đều là một thước Golomb và ngược lại.

Có thể chứng minh bằng phản chứng mệnh đề trên như sau. Giả sử *S* là một tập hợp Sidon và không là thước Golomb. Do nó không là thước Golomb, tồn tại 4 phần tử sao cho {\displaystyle a\_{i}-a\_{j}=a\_{k}-a\_{l}}. Do đó {\displaystyle a\_{i}+a\_{l}=a\_{k}+a\_{j}}, mâu thuẫn với giả thuyết *S* là một tập hợp Sidon. Vì vậy mọi tập hợp Sidon đều là một thước Golomb. Bằng một chứng minh tương tự, mọi thước Golomb đều là một tập hợp Sidon.

Xem thêm
--------

* Tập hợp tổng

Tham khảo
---------

1. ↑  Erdős, P.; Turán, P. (1941), "On a problem of Sidon in additive number theory and on some related problems" (PDF), *J. London Math. Soc.*, **16**: 212–215, doi:10.1112/jlms/s1-16.4.212. Addendum, **19** (1944), 208.
2. ↑  O'Bryant, K. (2004), "A complete annotated bibliography of work related to Sidon sequences" (PDF), *Electronic Journal of Combinatorics*, **11**: 39, Bản gốc (PDF) lưu trữ ngày 6 tháng 6 năm 2011, truy cập ngày 8 tháng 4 năm 2012
3. ↑  Cilleruelo, J.; Ruzsa, I.; Vinuesa, C. (2010), "Generalized Sidon sets" (PDF), *Advances in Mathematics*, **225**: 2786–2807
4. ↑  Ajtai, M.; Komlós, J.; Szemerédi, E. (1981), "A dense infinite Sidon sequence", *European Journal of Combinatorics*, **2** (1): 1–11, MR 0611925.
5. ↑  Ruzsa, I. Z. (1998), "An infinite Sidon sequence", *Journal of Number Theory*, **68**: 63–71, doi:10.1006/jnth.1997.2192, MR 1492889.
6. ↑  Erdős, P.; Rényi, A. (1960), "Additive properties of random sequences of positive integers" (PDF), *Acta Arithmetica*, **6**: 83–110, MR 0120213.