Bản dịch tự động sơ bộ, chất lượng thấp: có thể còn lỗi và câu chữ chưa tự nhiên. Bản này sẽ được thay bằng bản dịch tốt hơn. Bản gốc →
7
Trình tự lặp lại
G. A. Gurevich
Trình tự Arshon
Hãy gọi một chuỗi các chữ số là chuỗi lặp lại nếu nó chứa ít nhất một cặp nhóm chữ số giống hệt nhau. Ví dụ: các chuỗi 1, 2, 3, 4, 2, 3, 4, 2, 1 và 1, 2, 2, 7, 6, 2, 7, 6, 8 được lặp lại, nhưng các chuỗi 4, 2, 1, 2, 3, 4, 2, 3 và 3, 2, 3, 1, 2, 7 không được lặp lại. Chúng ta sẽ gọi các chuỗi không lặp lại là không lặp lại. Đặt B(n) biểu thị tập hợp các chuỗi có độ dài n và |B(n)| - số của họ.
Bằng trực giác thì rõ ràng: dãy số càng dài thì càng có nhiều khả năng nó chứa hai nhóm số giống hệt nhau đứng cạnh nhau. Và trên thực tế, nếu bạn viết ra một chuỗi đủ dài một cách khoa học thì rất có thể chuỗi này sẽ được lặp lại.
Hãy để chúng tôi cung cấp cho tuyên bố này một ý nghĩa chính xác.
Bài 1. Chứng minh rằng với mọi số ε > 0, có thể xác định n sao cho trong số tất cả các chuỗi có độ dài n thì tỷ lệ các chuỗi không lặp lại sẽ nhỏ hơn ε, tức là
Dễ dàng chứng minh rằng mọi dãy có độ dài lớn hơn ba, gồm hai chữ số 1 và 2, đều lặp lại.
Tuy nhiên, từ ba chữ số khác nhau đã có thể tạo ra một chuỗi góc cạnh, không lặp lại.
Thực tế này đã được chứng minh vào năm 1937 bởi nhà toán học Liên Xô S. E. Arshon, người đã đề xuất một phương pháp quy nạp để xây dựng các chuỗi không lặp lại như sau.
Chúng ta hãy biểu thị bằng chuỗi không lặp lại 1, 2, 3. Giả sử rằng chuỗi không lặp lại đã được xây dựng. Trình tự thu được từ nó như thế này.
Nếu số là số chẵn và vị trí thứ trong dãy là 1 thì dãy được gán một bộ ba chữ số 3, 2, 1; nếu nó có giá 2 thì bộ ba là 1, 3, 2; nếu nó có giá 3 thì bộ ba là 2, 1, 3.
Nếu số là số lẻ và vị trí thứ trong dãy là 1 thì bộ ba 1, 2, 3 sẽ được thêm vào dãy ; nếu nó có giá 2 thì bộ ba là 2, 3, 1; nếu nó có giá 3 thì bộ ba là 3, 1, 2.
Một phần,
( là số chẵn và vị trí thứ hai trong là 2),
( là số chẵn và vị trí thứ ba trong là 3),
( là số chẵn và vị trí thứ tư trong là 1), v.v.
Bằng chứng về sự không lặp lại của các chuỗi thu được bằng phương pháp của Arshon là khá đáng tin cậy.
8
Nó cồng kềnh và chúng tôi sẽ không trình bày ở đây *).
Bây giờ chúng ta hãy thử ước tính số của các chuỗi không lặp lại có độ dài (gồm mười chữ số). Nếu chúng ta có thể chỉ ra rằng với bất kỳ số nguyên dương nào thì số này lớn hơn 0, thì chúng ta sẽ có một bằng chứng khác—không còn mang tính xây dựng—về sự tồn tại của các chuỗi không lặp lại dài tùy ý. Trên thực tế, bây giờ chúng ta sẽ rút ra bất đẳng thức mạnh hơn đáng kể , (1)
Bằng cách này, chúng ta sẽ không chỉ chứng minh sự tồn tại của các chuỗi không lặp lại có độ dài tùy ý mà còn đưa ra giới hạn dưới đủ tốt cho số lượng của chúng.
Bài toán M310
Bây giờ chúng ta hãy nhớ bài toán M310 từ “Bài toán Kvant - xem «Kvant» số 2 cho năm 1975.
Chứng minh rằng trong số chữ số có nhiều hơn châm ngôn; trong ký hiệu thập phân của hợp số, không có nhóm chữ số nào (cụ thể là không có chữ số nào) xuất hiện hai lần liên tiếp.
Rõ ràng lời giải bài toán M310 bao hàm việc chứng minh bất đẳng thức (1). Đầu tiên chúng ta sẽ chứng minh một số bất đẳng thức phụ trợ, chúng sẽ có ích cho chúng ta sau này.
Bất bình đẳng phụ trợ. Giả sử rằng tất cả các chuỗi có độ dài không lặp lại đã được viết ra — tổng cộng có phần và chúng tôi muốn viết ra tất cả các chuỗi có độ dài không lặp lại .
Chúng ta hãy lấy một chuỗi tùy ý từ tập hợp . Hãy viết số mười mới như sau - độ dài :
Chúng tôi thực hiện việc này với tất cả các chuỗi từ bộ . Chúng tôi có được một tập hợp các trình tự nhất định; hãy biểu thị nó bằng . Trong số các chuỗi của tập hợp , chúng tôi chọn những chuỗi có hai chữ số giống nhau ở cuối. Chúng tôi biểu thị tập hợp các chuỗi như vậy bằng . Tương tự, bằng , chúng ta biểu thị tập hợp các chuỗi như vậy từ kết thúc bằng cùng một chuỗi con có độ dài hai lần liên tiếp. Vì tất cả các chuỗi của đều có độ dài , nên tối đa mà tập hợp không trống là .
Tất cả các chuỗi thuộc bộ đều được lặp lại. Hãy chứng minh rằng các chuỗi không khớp này đã bị cạn kiệt bởi các chuỗi lặp lại của tập hợp và tập hợp chứa tất cả các chuỗi có độ dài không lặp lại có độ dài .
Do đó, nếu từ tập chúng ta xóa tất cả các chuỗi thuộc tập thì chúng ta thu được tập . Kể từ đây,
(2)
9
Bằng cách xây dựng tập hợp , chúng ta có: và chúng ta chỉ cần ước tính số phần tử của mỗi tập hợp . Hóa ra . (3)
Từ bất đẳng thức (2) và (3) suy ra một bất đẳng thức quan trọng mà chúng ta gọi là phụ trợ: . (4)
Vì vậy, ta cần chứng minh bất đẳng thức (3).
Vắng mặt nhẹ
Giả sử và là hai tập hữu hạn và chúng ta muốn biết tập nào có nhiều phần tử hơn. Điều đầu tiên bạn nghĩ đến là đếm số phần tử của tập hợp và tập hợp , sau đó so sánh các số kết quả. Nhưng nếu một tập hợp chứa nhiều phần tử hoặc có phần nào đó “khó tính” trong thiết kế, thì việc tính toán số phần tử của nó có thể khá khó khăn. Và không còn rõ phải làm gì nếu các tập hợp và là vô hạn. Hóa ra có một cách phổ quát cho phép bạn so sánh các tập hợp thậm chí vô hạn. Hãy mô tả phương pháp này bằng một ví dụ.
Gọi là tập hợp học sinh được đưa đến rạp hát, và là tập hợp các địa điểm trong rạp hát. Hãy để học sinh ngồi vào chỗ của chúng. Nếu vẫn còn chỗ trống thì . Nếu tất cả các chỗ đã hết chỗ và một số học sinh không có chỗ thì . Và cuối cùng, nếu hóa ra tất cả các địa điểm đều đã kín chỗ và tất cả học sinh đã được thông báo, thì .
Phương pháp được mô tả ở trên là gì? Chúng tôi đã gán các phần tử của tập hợp cho các phần tử của tập hợp . Nếu các phần tử của tập hợp là phần tử cạn kiệt đầu tiên thì và nếu các phần tử của tập hợp là phần tử cạn kiệt đầu tiên thì . Điều quan trọng là các phần tử khác nhau từ phải khớp với các phần tử khác nhau từ (chúng tôi không cho phép một học sinh học các địa điểm cùng một lúc) và ngược lại, các phần tử khác nhau từ tương ứng với các phần tử khác nhau từ (chúng tôi không cho phép mỗi học sinh chiếm một vị trí cùng một lúc). Sự tương ứng này được gọi là có giá trị cd.
Chứng minh bất đẳng thức (3)
Bây giờ chúng ta hãy thử thiết lập sự tương ứng một-một giữa các tập hợp và một phần của tập hợp (). Hãy nhớ lại rằng các chuỗi từ bộ có dạng - không dây. Điều này có nghĩa là chuỗi cũng không dây. Chúng ta hãy liên kết chuỗi (5) từ bộ với chuỗi từ bộ :
Rõ ràng, sự tương ứng này là một đối một và với mỗi chuỗi từ có một chuỗi tương ứng từ . Điều này có nghĩa là và bất đẳng thức (3), và do đó (4), đã được chứng minh.
Lời giải bài toán M310
Bây giờ chúng ta hãy chứng minh (bằng quy nạp theo ) một bất đẳng thức khác:
; (6)
10
rõ ràng là chúng ta cần bất đẳng thức (1); nó theo sau nó, vì
và .
Cơ sở cảm ứng. .
kể từ và .
Bước cảm ứng. Giả sử nó đã được chứng minh rằng
ta cần chứng minh bất đẳng thức (6).
Từ bất đẳng thức (7) suy ra rằng
hoặc
Chúng ta hãy thay thế các ước tính tìm được (7’) cho , thành bất đẳng thức (4); chúng tôi nhận được
Bởi vì
thì .
Bây giờ chúng ta hãy xây dựng một số bài toán.
-
Xây dựng một chuỗi không dây sao cho khi bạn thêm bất kỳ số nào vào cuối chuỗi đó, bạn sẽ luôn nhận được một chuỗi lặp lại.
-
Sử dụng dãy số S. E. Arshon, chứng minh sự tồn tại của dãy số dài có góc cạnh gồm các số 1 và 2 không có ba nhóm số liền kề giống hệt nhau.
-
Chứng minh rằng với mọi số tự nhiên dãy không dây có độ dài gồm bốn chữ số 1, 2, 3, 4 đều lớn hơn .
Từ bài toán 4, nó tồn tại dưới dạng góc của một chuỗi không dây dài gồm bốn chữ số khác nhau. S. E. Arshon đã chỉ ra rằng trên thực tế, sự tồn tại của một chuỗi không dây có độ dài bất kỳ là đủ ngay cả đối với ba chữ số.
Chuỗi không dây vô tận
Vì vậy, chúng tôi đã chứng minh được sự tồn tại của chuỗi không dây dài có góc cạnh. Trong phần này chúng ta sẽ chứng minh sự tồn tại của một chuỗi không dây vô tận (lưu ý rằng chuỗi đầu tiên chưa bao hàm chuỗi thứ hai).
Bài tập 5. Chứng minh rằng nếu có ít nhất một dãy không dây vô tận thì có vô số dãy như vậy.
Đặt biểu thị tập hợp tất cả các chuỗi không dây hữu hạn. Vì tập hợp là vô hạn và có số hữu hạn các chữ số khác nhau (tổng cộng là 10), nên có ít nhất một chữ số mà tập hợp vô hạn của bắt đầu. Hãy biểu thị số này bằng . Hãy xóa khỏi những chuỗi không bắt đầu bằng số . Chúng ta thu được một tập hợp vô hạn . Tương tự, có một chữ số đứng ở vị trí thứ hai trong vô số dãy . Chúng ta hãy xóa khỏi những chuỗi có chữ số thứ hai khác với . Chúng ta nhận được một tập hợp vô hạn , v.v.
Bây giờ chúng ta hãy xem xét dãy vô hạn ; Hãy chứng minh rằng nó là không dây.
Để làm được điều này, chúng ta chỉ cần chứng minh rằng với mọi số tự nhiên thì dãy hữu hạn không dây là . Nhưng theo cách xây dựng, tất cả các chuỗi của tập hợp đều bắt đầu bằng chuỗi và tập hợp là tập hợp con của tập hợp
11
va B, và do đó tất cả các chuỗi từ B^{(n)} đều không lặp lại. Bất kỳ phần đầu nào của chuỗi không lặp lại đều là chuỗi không lặp lại.
Bài toán 6. Chứng minh rằng trong số các phân số thập phân vô hạn thứ mười một bất kỳ, bạn có thể chọn hai phân số có cùng các chữ số với vô số chữ số.
Khái quát hóa
Chúng ta hãy biểu thị bằng chữ P đặc tính “là một chuỗi không lặp lại”. Khi đó mệnh đề vừa chứng minh có cấu trúc như sau:
Hậu quả tiền đề
Có một dãy dài tùy ý có tính chất P
Có một dãy vô hạn có tính chất P
Liệu tuyên bố này có đúng không nếu chúng ta giả sử rằng P là thuộc tính tùy ý của dãy số? Nói chung là không. Hãy đưa ra một ví dụ: coi tính chất “là một dãy hữu hạn”. Rõ ràng là có những chuỗi hữu hạn có độ dài tùy ý, nhưng không có thứ gọi là chuỗi hữu hạn vô hạn.
Bây giờ chúng ta hãy lưu ý rằng, khi chứng minh sự tồn tại của một chuỗi vô hạn không lặp lại, chúng ta chỉ dựa vào hai sự kiện sau đây, dẫn trực tiếp từ định nghĩa về chuỗi không lặp lại.
1°. Mọi phần đầu của dãy có thuộc tính P cũng có thuộc tính này.
2°. một dãy vô hạn có phần đầu dài tùy ý có tính chất P cũng có tính chất này.
Về giới hạn. Thuộc tính tùy ý của dãy số thỏa mãn điều kiện 1°
và 2°, chúng tôi gọi đó là tài sản di truyền.
Ví dụ: thuộc tính “không chứa số 3”, “chỉ gồm các số 1, 2, 3”, “bắt đầu bằng số 7” là thuộc tính di truyền, nhưng thuộc tính “chứa vô số số 4”, “kết thúc bằng số 7” không phải là thuộc tính di truyền.
Định lý. Cho P là tài sản di truyền tùy ý. Khi đó, nếu có các dãy dài tùy ý có tính chất P thì cũng tồn tại một dãy vô hạn có tính chất này.
Chúng ta sẽ không tập trung vào việc chứng minh định lý này vì nó hoàn toàn lặp lại chứng minh đã đưa ra ở đoạn trước.
Ứng dụng
Hãy xem xét các dãy số gồm có ba chữ số: 1, 2, 3. Hãy đặt một số dãy số (có độ dài từ hai chữ số trở lên) là bị cấm. Được biết, tất cả các chuỗi bị cấm đều có độ dài khác nhau.
Chúng ta hãy làm cho các chuỗi không chứa các chuỗi bị cấm là chính xác.
Chúng ta hãy quay lại “Sách Vấn đề «Kvant» - tới Vấn đề M300 (xem «Kvant» Số 12 cho năm 1974).
Từ câu lệnh bài toán M300 suy ra có các dãy đều đặn dài tùy ý. Bây giờ chúng ta hãy lưu ý rằng tính chất “là một dãy đều đặn” luôn là một thuộc tính kế thừa (có thể chứng minh được!) Điều này có nghĩa là phát biểu về sự tồn tại của các dãy chính quy có độ dài tùy ý có thể được thay thế bằng một phát biểu mạnh hơn - về sự tồn tại của một dãy số chính quy vô hạn, và phát biểu bài toán M300 là phát biểu về sự tồn tại của một từ vô hạn không có sự kết hợp các chữ cái bị cấm.