Luận văn thạc sĩ khoa học: Chuỗi khoảng trong không gian khoảng - Trần Văn Hiếu

Khám phá luận văn thạc sĩ về khoa học chuỗi khoảng trong không gian khoảng, phân tích và ứng dụng trong nghiên cứu toán học hiện đại.

• Trường học: Trường Đại Học Khoa Học Tự Nhiên
• Chuyên ngành: Khoa Học Chuỗi
• Đề tài: Luận Văn Thạc Sĩ Khoa Học Chuỗi Khoảng Trong Không Gian Khoảng
• Loại tài liệu: Luận Văn
• Năm xuất bản: 2023
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• DANH MỤC CÁC KÝ HIỆU
• MỞ ĐẦU
• 1. CHƯƠNG 1: CHUỖI SỐ
• 1.1. CÁC KHÁI NIỆM CƠ BẢN
• 1.2. CHUỖI SỐ DƯƠNG
• 1.3. CHUỖI ĐAN DẤU
• 2. CHƯƠNG 2: KHÔNG GIAN KHOẢNG
• 2.1. CÁC KHÁI NIỆM CƠ BẢN
• 2.1.1. Tập khoảng
• 2.1.2. Khoảng suy biến
• 2.1.3. Giao, hợp và khoảng đóng của hai khoảng
• 2.1.4. Độ rộng, trị tuyệt đối và giá trị trung bình của khoảng
• 2.1.5. Quan hệ thứ tự trên I(R)
• 2.2. CÁC PHÉP TOÁN SỐ HỌC TRÊN I(R)
• 2.2.1. Phép cộng
• 2.2.2. Phép nhân
• 2.2.3. Phép chia
• 2.3. KHÔNG GIAN METRIC KHOẢNG
• 2.3.1. Metric trên tập khoảng I(R)
• 2.3.2. Sự hội tụ trên I(R)
• 2.3.3. Tính đầy đủ của không gian metric khoảng
• 3. CHƯƠNG 3: CHUỖI KHOẢNG TRONG KHÔNG GIAN KHOẢNG
• 3.1. CÁC KHÁI NIỆM CƠ BẢN
• 3.2. CHUỖI KHOẢNG DƯƠNG
• 3.3. CHUỖI KHOẢNG ĐAN DẤU
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng quan luận văn về chuỗi khoảng trong không gian khoảng

Luận văn thạc sĩ khoa học về chuỗi khoảng trong không gian khoảng là một công trình nghiên cứu chuyên sâu, đặt nền móng cho việc mở rộng lý thuyết chuỗi từ không gian số thực sang không gian các khoảng. Lĩnh vực giải tích khoảng (Interval Analysis), ra đời từ những năm 1960 với công trình của Moore R., đã phát triển mạnh mẽ nhưng các nghiên cứu về chuỗi khoảng vẫn còn hạn chế. Đề tài này tập trung xây dựng các khái niệm cơ bản và chứng minh những kết quả quan trọng về sự hội tụ của chuỗi khoảng, tương tự như lý thuyết chuỗi số kinh điển. Nội dung chính của luận văn đi từ việc hệ thống hóa các khái niệm về tập khoảng, trang bị các phép toán số học, đến việc xây dựng một không gian metric hoàn chỉnh trên tập các khoảng. Đây là tiền đề cốt lõi để định nghĩa và khảo sát sự hội tụ. Luận văn không chỉ dừng lại ở các định nghĩa chung mà còn đi sâu vào hai loại chuỗi đặc biệt: chuỗi khoảng dương và chuỗi khoảng đan dấu. Các tiêu chuẩn hội tụ kinh điển như tiêu chuẩn so sánh, D'Alembert, Cauchy, và Leibniz được mở rộng và chứng minh một cách chặt chẽ trong bối cảnh mới này. Giá trị khoa học của đề tài nằm ở việc bổ sung và làm phong phú thêm cơ sở lý thuyết của giải tích khoảng, cung cấp một tài liệu tham khảo giá trị cho sinh viên và các nhà nghiên cứu toán học. Việc phân tích chuỗi khoảng trong không gian khoảng mở ra nhiều hướng đi mới cho các bài toán ứng dụng, đặc biệt trong các lĩnh vực yêu cầu tính toán với sai số và độ không chắc chắn.

1.1. Giới thiệu lịch sử và lý do chọn đề tài giải tích khoảng

Giải tích khoảng là một nhánh toán học tương đối mới, khởi nguồn từ luận án tiến sĩ của Moore R. tại Đại học Stanford năm 1962. Lĩnh vực này phát triển nhanh chóng, đánh dấu bằng sự ra đời của các tạp chí và hội nghị quốc tế. Tuy nhiên, các nghiên cứu chuyên sâu về chuỗi khoảng trong không gian khoảng vẫn chưa được khai thác triệt để. Luận văn này được thực hiện với mục tiêu lấp đầy khoảng trống đó, xây dựng một cơ sở lý thuyết chuỗi khoảng một cách hệ thống. Lý do chính là dựa trên các phép toán đã được định nghĩa trên không gian khoảng để đưa ra định nghĩa về chuỗi và khảo sát sự hội tụ của chuỗi bằng công cụ metric đã được trang bị. Đây là một bước phát triển tự nhiên và cần thiết cho ngành toán giải tích.

1.2. Mục tiêu đối tượng và phạm vi nghiên cứu của luận văn

Mục tiêu chính của luận văn là xây dựng các khái niệm về chuỗi trên không gian khoảng và chứng minh các kết quả tương tự như chuỗi số thực. Đối tượng nghiên cứu bao gồm lý thuyết chuỗi số, giải tích khoảng, và lý thuyết chuỗi khoảng. Phạm vi nghiên cứu tập trung vào các phép toán số học trên khoảng, metric trên tập khoảng, chuỗi khoảng dương, chuỗi khoảng đan dấu và các tiêu chuẩn hội tụ liên quan. Phương pháp nghiên cứu chủ yếu là tổng hợp, phân tích tài liệu và chứng minh toán học một cách hệ thống. Ý nghĩa của đề tài là cung cấp một tài liệu lý thuyết nền tảng, góp phần vào sự phát triển của lý thuyết điểm bất động và các ứng dụng trong không gian hàm.

II. Thách thức chính trong nghiên cứu sự hội tụ của chuỗi khoảng

Việc nghiên cứu sự hội tụ của chuỗi trong không gian khoảng đặt ra nhiều thách thức so với không gian số thực. Thách thức lớn nhất đến từ bản chất của các phần tử. Một số khoảng X = [x, x] không phải là một điểm đơn lẻ, mà là một tập hợp. Do đó, các phép toán như nhân và chia trở nên phức tạp hơn đáng kể, không còn tuân theo các quy tắc đại số thông thường. Ví dụ, phép nhân hai khoảng đòi hỏi phải xét nhiều trường hợp dựa trên dấu của các điểm đầu mút. Sự phức tạp này ảnh hưởng trực tiếp đến việc định nghĩa và khảo sát tổng riêng của chuỗi. Một thách thức khác là việc định nghĩa một metric phù hợp. Luận văn sử dụng metric Hausdorff d(X, Y) = max{|x - y|, |x - y|}. Mặc dù metric này biến không gian khoảng thành một không gian metric đầy đủ, việc tính toán giới hạn và chứng minh các bất đẳng thức trở nên phức tạp hơn. Điều kiện cần cho sự hội tụ, lim an = 0, trong không gian khoảng có nghĩa là cả hai dãy số thực gồm các điểm đầu mút và cuối mút đều phải tiến về 0. Việc chứng minh các tiêu chuẩn hội tụ đòi hỏi phải làm việc đồng thời trên cả hai dãy thành phần này, đảm bảo tính nhất quán và chặt chẽ. Đặc biệt, khái niệm tính bị chặn trong không gian khoảng và các tính chất liên quan cần được định nghĩa lại một cách cẩn thận để áp dụng cho các chuỗi.

2.1. Phân biệt sự hội tụ trong không gian số thực và không gian khoảng

Trong không gian số thực, sự hội tụ của một dãy {sn} về S nghĩa là khoảng cách |sn - S| tiến về 0. Trong không gian khoảng, sự hội tụ của dãy khoảng {Sn} về khoảng S được xác định thông qua metric d(Sn, S). Định lý 2.2 trong luận văn chỉ ra rằng dãy {Sn = [sn, sn]} hội tụ về S = [s, s] khi và chỉ khi dãy điểm đầu mút {sn} hội tụ về s và dãy điểm cuối mút {sn} hội tụ về s. Điều này có nghĩa là một chuỗi khoảng hội tụ khi và chỉ khi hai chuỗi số thực tương ứng với các điểm đầu mút và cuối mút cùng hội tụ. Sự khác biệt này là nền tảng cho mọi phép chứng minh về giới hạn của chuỗi khoảng.

2.2. Điều kiện cần cho sự hội tụ của một chuỗi khoảng bất kỳ

Tương tự như chuỗi số thực, một điều kiện cần để chuỗi khoảng ∑an hội tụ là lim an = 0 (khoảng không). Điều này được chứng minh trong luận văn dựa trên định nghĩa tổng riêng Sn và an = Sn - Sn-1. Khi Sn hội tụ về S, thì d(Sn, Sn-1) tiến về 0, dẫn đến d(an, 0) cũng tiến về 0. Về bản chất, điều này có nghĩa là cả độ rộng của khoảng an và giá trị tuyệt đối của nó đều phải tiến về 0. Nếu lim an ≠ 0, chuỗi khoảng chắc chắn phân kỳ. Đây là công cụ cơ bản đầu tiên để loại trừ các chuỗi không hội tụ, thiết lập một trong những tính chất topo quan trọng của chuỗi khoảng.

III. Cách xây dựng cơ sở lý thuyết cho chuỗi khoảng toàn diện

Để nghiên cứu chuỗi khoảng trong không gian khoảng, bước đầu tiên và quan trọng nhất là xây dựng một nền tảng lý thuyết vững chắc. Luận văn đã thực hiện điều này một cách bài bản qua hai giai đoạn chính. Giai đoạn một là định nghĩa các phép toán số học trên tập khoảng I(R). Không giống như số thực, phép cộng, trừ, nhân, chia các khoảng được định nghĩa dựa trên tập hợp các kết quả khả dĩ. Chẳng hạn, X + Y = [x + y, x + y]. Phép nhân phức tạp hơn, X · Y = [min(xy, xy, xy, xy), max(xy, xy, xy, xy)]. Việc chuẩn hóa các phép toán này đảm bảo tính nhất quán khi thao tác với các tổng riêng của chuỗi. Giai đoạn hai, và cũng là cốt lõi, là trang bị cho I(R) một cấu trúc không gian metric. Luận văn giới thiệu metric d(X, Y) = max{|x - y|, |x - y|} và chứng minh nó thỏa mãn các tiên đề của một metric. Quan trọng hơn, luận văn đã chứng minh rằng (I(R), d) là một không gian metric đầy đủ. Tính đầy đủ này đảm bảo rằng mọi dãy Cauchy trong không gian khoảng đều hội tụ. Đây là chìa khóa lý thuyết, cho phép áp dụng tiêu chuẩn Cauchy và nhiều kết quả giải tích khác để chứng minh sự hội tụ của chuỗi khoảng. Nền tảng này biến không gian các khoảng từ một tập hợp đơn thuần thành một không gian có cấu trúc topo chặt chẽ, tương tự như một không gian Banach.

3.1. Các phép toán số học và quan hệ thứ tự trên tập số khoảng

Chương 2 của luận văn định nghĩa chi tiết các phép toán cơ bản. Phép cộng và phép trừ tương đối trực quan. Tuy nhiên, phép nhân và chia đòi hỏi sự cẩn trọng. Luận văn cung cấp một bảng công thức rõ ràng để xác định điểm đầu và điểm cuối của khoảng tích, dựa trên dấu của các khoảng thành phần. Ngoài ra, một quan hệ thứ tự riêng phần X ≤ Y khi và chỉ khi x ≤ y và x ≤ y cũng được giới thiệu. Mặc dù đây không phải là quan hệ thứ tự toàn phần, nó rất hữu ích trong việc thiết lập các tiêu chuẩn so sánh cho chuỗi khoảng dương. Các phép toán trên khoảng này là công cụ không thể thiếu để tính toán các tổng riêng của chuỗi.

3.2. Chứng minh I R d là một không gian metric đầy đủ

Điểm nhấn lý thuyết quan trọng của luận văn là chứng minh tính đầy đủ của không gian khoảng. Quá trình chứng minh được trình bày rõ ràng: Lấy một dãy Cauchy {Xn} bất kỳ trong (I(R), d). Từ định nghĩa metric, suy ra hai dãy số thực {xn} (các điểm đầu mút) và {xn} (các điểm cuối mút) cũng là các dãy Cauchy trong R. Vì R là không gian đầy đủ, hai dãy này lần lượt hội tụ về x và x. Từ đó, luận văn chỉ ra rằng dãy {Xn} hội tụ về khoảng X = [x, x]. Việc (I(R), d) là một không gian đầy đủ cho phép khẳng định rằng nếu tổng riêng của một chuỗi khoảng tạo thành một dãy Cauchy, thì chuỗi đó chắc chắn hội tụ.

IV. Phương pháp chứng minh sự hội tụ của chuỗi khoảng dương

Chuỗi khoảng dương, được định nghĩa là chuỗi ∑an với an ≥ 0 (tức là an ≥ 0), là một trường hợp đặc biệt quan trọng trong nghiên cứu chuỗi khoảng trong không gian khoảng. Luận văn đã xây dựng và chứng minh một cách chặt chẽ các tiêu chuẩn hội tụ cho loại chuỗi này, dựa trên sự tương đồng với lý thuyết chuỗi số dương. Phương pháp cốt lõi là quy việc xét sự hội tụ của một chuỗi khoảng về việc xét sự hội tụ của hai chuỗi số thực. Định lý 3.1 khẳng định rằng chuỗi khoảng ∑an hội tụ khi và chỉ khi hai chuỗi số ∑an và ∑an cùng hội tụ. Dựa trên định lý nền tảng này, các tiêu chuẩn so sánh được phát triển. Tiêu chuẩn so sánh 1 phát biểu rằng nếu 0 ≤ an ≤ bn và chuỗi ∑bn hội tụ, thì chuỗi ∑an cũng hội tụ. Tiêu chuẩn so sánh 2 sử dụng giới hạn của thương các số hạng. Ngoài ra, các tiêu chuẩn mạnh hơn như D'Alembert và Cauchy cũng được mở rộng cho không gian khoảng. Tiêu chuẩn Cauchy cho sự hội tụ của chuỗi khoảng dựa trên giới hạn C = lim ⁿ√an, và tiêu chuẩn D'Alembert dựa trên giới hạn D = lim (an+1 / an). Các chứng minh đều dựa trên việc áp dụng các tiêu chuẩn tương ứng cho hai chuỗi thành phần và sử dụng các tính chất của phép toán trên khoảng.

4.1. Ứng dụng tiêu chuẩn so sánh cho các chuỗi khoảng dương

Tiêu chuẩn so sánh là công cụ cơ bản và hiệu quả. Luận văn đưa ra các ví dụ minh họa rõ ràng. Ví dụ, để khảo sát chuỗi ∑[1/(n²(n+2)), cos²n/(n²(n+1))], ta có thể so sánh nó với chuỗi hội tụ ∑[1/n³, 1/n²]. Vì 1/(n²(n+2)) ≤ 1/n³ và cos²n/(n²(n+1)) ≤ 1/n², và chuỗi dùng để so sánh hội tụ (do là tổng của hai chuỗi p-series hội tụ), nên chuỗi ban đầu cũng hội tụ. Phương pháp này đặc biệt hữu ích khi số hạng tổng quát của chuỗi phức tạp nhưng có thể bị chặn bởi các biểu thức đơn giản hơn. Đây là một ứng dụng trực tiếp của việc xây dựng cơ sở lý thuyết chuỗi khoảng.

4.2. Khảo sát chuỗi bằng tiêu chuẩn D Alembert và Cauchy

Khi các số hạng của chuỗi chứa giai thừa hoặc lũy thừa bậc n, tiêu chuẩn D'Alembert và Cauchy trở nên hiệu quả. Luận văn định nghĩa giới hạn của thương D = lim (an+1 / an) và căn bậc n C = lim ⁿ√an trong không gian khoảng. Nếu D < 1 (hoặc C < 1), chuỗi hội tụ; nếu D > 1 (hoặc C > 1), chuỗi phân kỳ. Ví dụ, với chuỗi ∑[(1/3)ⁿ, (n/(2n+1))ⁿ], ta tính lim ⁿ√an. Giới hạn này là khoảng [1/3, 1/2], là một khoảng nhỏ hơn 1. Do đó, chuỗi hội tụ. Các tiêu chuẩn này kế thừa sức mạnh của toán giải tích cổ điển và áp dụng hiệu quả vào không gian metric khoảng.

V. Hướng dẫn phân tích chuỗi khoảng đan dấu và tiêu chuẩn Leibniz

Bên cạnh chuỗi dương, chuỗi khoảng trong không gian khoảng còn có một dạng quan trọng khác là chuỗi đan dấu. Luận văn định nghĩa chuỗi khoảng đan dấu có dạng ∑(-1)ⁿ⁺¹an, trong đó {an} là một dãy khoảng dương. Để khảo sát sự hội tụ của loại chuỗi này, một công cụ kinh điển là tiêu chuẩn Leibniz đã được mở rộng và chứng minh trong bối cảnh không gian khoảng. Tiêu chuẩn Leibniz cho chuỗi khoảng phát biểu rằng: Nếu {an} là một dãy khoảng giảm (tức là an+1 ≤ an với mọi n) và lim an = 0 (khoảng không), thì chuỗi khoảng đan dấu ∑(-1)ⁿ⁺¹an hội tụ. Quá trình chứng minh trong luận văn rất tinh tế. Nó không chỉ đơn giản là áp dụng tiêu chuẩn Leibniz cho hai chuỗi thành phần, mà phải xét tính đơn điệu và bị chặn của các dãy tổng riêng chẵn {S2m} và lẻ {S2m+1}. Cụ thể, luận văn chứng minh rằng dãy tổng riêng các điểm đầu mút {S2m} là dãy tăng và bị chặn trên, trong khi dãy {S2m} là dãy giảm và bị chặn dưới, từ đó cả hai đều hội tụ. Hơn nữa, chúng hội tụ về cùng một giới hạn. Điều này đảm bảo sự hội tụ của chuỗi đan dấu. Đây là một phần mở rộng lý thuyết quan trọng, cho thấy các tính chất tinh vi của dãy số thực vẫn có thể được bảo toàn trong không gian hàm phức tạp hơn.

5.1. Đặc điểm và định nghĩa của một chuỗi khoảng đan dấu

Một chuỗi khoảng được gọi là đan dấu nếu nó có dạng ∑(-1)ⁿ⁺¹an với an > 0. Điều kiện an > 0 có nghĩa là an ≥ 0. Tổng riêng thứ n của chuỗi này được tính bằng Sn = a1 - a2 + a3 - ... + (-1)ⁿ⁺¹an. Sự đan xen giữa phép cộng và phép trừ tạo ra các tính chất hội tụ đặc biệt, khác với chuỗi dương. Khái niệm dãy khoảng giảm {an} là điều kiện then chốt, nghĩa là an+1 ⊂ an hoặc một cách chặt chẽ hơn là an+1 ≤ an theo quan hệ thứ tự đã định nghĩa, tức là an+1 ≤ an và an+1 ≤ an.

5.2. Điều kiện hội tụ theo tiêu chuẩn Leibniz cho chuỗi đan dấu

Tiêu chuẩn Leibniz trong không gian khoảng yêu cầu hai điều kiện: (1) Dãy {an} là dãy khoảng giảm, và (2) lim an = 0. Điều kiện (1) đảm bảo các dãy tổng riêng con {S2m} và {S2m} đơn điệu và bị chặn. Điều kiện (2) đảm bảo các dãy tổng riêng chẵn và lẻ hội tụ về cùng một giới hạn. Luận văn đã chứng minh chi tiết rằng lim S2m = lim S2m+1, từ đó suy ra sự hội tụ của toàn bộ dãy tổng riêng {Sn}. Một ví dụ được nêu trong tài liệu là chuỗi ∑(-1)ⁿ⁺¹[1/(n+1)², 1/n²]. Dãy an = [1/(n+1)², 1/n²] thỏa mãn cả hai điều kiện của tiêu chuẩn Leibniz, do đó chuỗi này hội tụ.

VI. Kết luận Ý nghĩa khoa học của luận văn về chuỗi khoảng

Luận văn thạc sĩ về chuỗi khoảng trong không gian khoảng đã đạt được những mục tiêu đề ra, mang lại ý nghĩa khoa học và thực tiễn quan trọng. Về mặt lý thuyết, công trình đã xây dựng thành công một hệ thống các khái niệm, định lý và tiêu chuẩn hội tụ cho chuỗi khoảng một cách bài bản và chặt chẽ. Bằng việc định nghĩa các phép toán, trang bị metric và chứng minh không gian khoảng là một không gian metric đầy đủ, luận văn đã tạo ra một nền tảng vững chắc cho các nghiên cứu sâu hơn. Việc mở rộng thành công các tiêu chuẩn hội tụ kinh điển từ toán giải tích số thực sang không gian khoảng cho thấy sự tương thích và tiềm năng của lý thuyết này. Đặc biệt, các kết quả về chuỗi khoảng dương và chuỗi đan dấu đã làm phong phú thêm kho tàng tri thức của ngành giải tích khoảng. Về mặt thực tiễn, luận văn có thể được sử dụng làm tài liệu tham khảo chất lượng cao cho sinh viên, học viên cao học và các nhà nghiên cứu chuyên ngành Toán. Các kết quả này mở đường cho những ứng dụng trong các lĩnh vực như tính toán khoa học, mô hình hóa sai số, kinh tế lượng, và kỹ thuật điều khiển, nơi mà các đại lượng không chắc chắn thường được biểu diễn bằng các khoảng. Hướng phát triển trong tương lai có thể bao gồm việc nghiên cứu các loại hội tụ khác (hội tụ đều, hội tụ tuyệt đối), khảo sát chuỗi hàm khoảng và ứng dụng vào việc giải các phương trình vi phân, tích phân trên không gian khoảng.

6.1. Tóm tắt các kết quả nghiên cứu chính về chuỗi khoảng

Luận văn đã thành công trong việc: (1) Hệ thống hóa các khái niệm cơ bản và phép toán trên khoảng. (2) Xây dựng không gian (I(R), d) và chứng minh đây là một không gian đầy đủ. (3) Thiết lập mối liên hệ giữa sự hội tụ của chuỗi khoảng và sự hội tụ của hai chuỗi số thực thành phần. (4) Chứng minh các tiêu chuẩn hội tụ quan trọng: tiêu chuẩn so sánh, D'Alembert, Cauchy cho chuỗi dương và tiêu chuẩn Leibniz cho chuỗi đan dấu. Các kết quả này là đóng góp mới, có giá trị cho cơ sở lý thuyết chuỗi khoảng.

6.2. Hướng phát triển tương lai cho lĩnh vực giải tích khoảng

Từ nền tảng của luận văn này, các nghiên cứu trong tương lai có thể tập trung vào các vấn đề phức tạp hơn. Ví dụ, nghiên cứu chuỗi hàm khoảng và các điều kiện hội tụ đều, một khái niệm quan trọng trong không gian hàm. Một hướng khác là ứng dụng lý thuyết điểm bất động trong không gian khoảng để giải các phương trình chứa các tham số không chắc chắn. Hơn nữa, việc phát triển các thuật toán số hiệu quả dựa trên lý thuyết chuỗi khoảng để giải quyết các bài toán thực tế cũng là một hướng đi đầy hứa hẹn, kết nối lý thuyết toán giải tích với các ứng dụng kỹ thuật và khoa học máy tính.

Trích đoạn nội dung tài liệu

Chương 1, trình bày lại một số kết quả liên quan đến chuỗi số. Chứng minh chỉ tiết các kết quả đã nêu và đưa ra ví dụ để làm rõ hơn các kết quả ấy. Chương 2, trình bày một số khái niệm cơ bản của tập khoảng. Trang bị các phép toán số học cho tập khoảng.

Phần cuối là trang bị một metric trên p khoảng để từ đó chỉ ra tập khoảng cùng với metric trên là không gian metric đầy đủ. Chương 3, trình bày các khái niệm chung cho chuỗi khoảng, chuỗi khoảng dương và chuỗi khoảng đan dấu. Đưa ra và chứng minh một số tiêu chuẩn hội tụ cho hai loại chuỗi khoảng kể trên. Bên cạnh đó là các ví dụ minh họa nhằm làm rõ thêm các kết quả đã nêu.

CHUONG 1 CHUỖI SỐ 1.CÁC KHÁI NIỆM CƠ BẢN Cho day số ứ, 2, tra,. ta gọi tổng vô hạn Vian Say ten te na (1) al là chuỗi s. Số sư được gọi là số hạng tổng quát hay số hạng thứ n của chuỗi số (1. Tổng ø số hạng đầu tiên Si = You, = được gọi là tổng riêng thứ n của chuỗi số (1.

Nếu tồn tại hữu hạn giới hạn S=limS,, thì chuỗi số (1.1) được gọi là hội tu va S được gọi là :ổng của chuỗi số (1. Khi đó ta ký hiệu s= ác Trong trường hợp ngược lại chuỗi số (1.1) được gọi là phân kỳ. Cho chuỗi số yx — =1 12) 2) 4 Áp dụng công thức tính tổng n s6 hang dau tiên của cấp số nhân, ta có Suy ra 1 lim S, = li 1-—)=1. Vậy chuỗi số (1.

Cho chuỗi số ntl xm = (1.3) Ta có, tổng riêng thứ m của chuỗi số (1.3) được xác định bởi 2.3 n+l $,=Ini+InS+:+tIn n Do đó jim S, = lim In(n+ 1) = +09. 'Vậy chuỗi số (1.3) là phân kỳ. Cho chuỗi số Y(t =-141-.+ ("+ (14) Tổng riêng thứ ø của chuối số (1.4) được xác định bởi s, 0 nếu n=2k, 7 =1 nếu n=2k+l. Do đó, không tồn tai n~ye lim S,.

'Vậy chuỗi số (1.4) là phân kỳ. Néu chuỗi số 3, wy hội tụ, thì Tim uy = 0. Ta có lim S„ = § € Tề và ty = Sy —Sp-1- Do đó lim u, = lim (S, —S,-1) =S—S=0 .1 được gọi là điều kiện cân để chuỗi số hội tu. Do đó: i, Néu ty #0 Khi n > 00, thi chudi sé Yup phân kì.

Nếu lim „ — 0, thì chưa nói gì về sự hội tụ của chuỗi sé Yup. noe not Định nghĩa 1. Giả sử chuỗi sé Fu, hoi tụ và Š là tổng của nó. Khi đó hiệu số " rạ=S—% được gọi là số dư thứ n của chuỗi số đã cho.

Nếu chuỗi số 3 w; hội tụ, thì ml Tn = Yo nek = ng Hn Hove tne toes “ tức là rạ là tổng của chuỗi số }- u„x. mi Ching mink, Goi Sy la tng riêng thin và S là tổng của chuỗi số Eup. Khi đó mt lim S, =S. me Tổng riêng thứ k của chudi sé Y tinge là mt Tye = Uns + Uns2 +o + Unk = Snek —Sn- Suy ra fim T= lim (S44 ~S,) = 8 ~S, =r Vậy chuỗi số }ˆ w„-¿ hội tụ và có tổng 1a rn.

Giả sử È uy và} vụ là hai chuỗi số hội tụ và có mn tổng tương ứng là S và T. Chuỗi số 3, (uụ + vụ) hội tụ và có tổng là S+ T.€ R là một hằng số thi chuỗi số 3, Xu, hội tụ và có tổng là AS. mi Chứng mình. Gọi S„, 7,, theo thứ tự là tổng riêng của các chuỗi số Ta có Bq = (ur tv) + (uot v2) +++ (tn + Yn) = (uy Huy tees ty) + (Vị + Và + e+ Vụ) =Sn+Th Do đó lim 8, = lim (S,+T,) = lim S, + lim T, = §+7.

Vậy chuỗi số © (un+ vụ) hội tụ và có tổng là $ + 7. Gọi K, là tổng riêng thứ ø của chuỗi số } ` Ax,„ ta có Ky = May + Aug to + Atty = Mui +ue+---+un) =ASn. Do đó lim Ky = lim AS, = A lim Sy = AS. me = 7 Vậy chuỗi số } Âu, hội tụ và có tổng là A5.

wl Dinh lý đã được chứng minh. Cho chuỗi số ¥ un va sé. Khi dé, chuỗi số mi ^¥ tụ hội tụ khi và chỉ khi chudisé nom ¥ ty hOi tu. Goi S,,T; theo thứ tự là tổng riêng thứ ø và thứ k của các chuỗi số } mg và } mạ Tàcó ml nome La an = (uy pug toe + tinge) = (ta + tte +o tm) = Sn —Sm.

Do đó, nếu chuỗi số. 3ˆ ø„ hội tụ thì i lim S, =5, suy ra fimT, = fim (Syst Sn) = 8 ~ Sw Vay chudi sé Eu, hoitu. noms Ngược lại, néu chudi sé Eup hoi tu thi — lim 7¡ =7, mm suy ra lim 8, = lim (Tym +S) = T + Sy Vậy chuỗi số }- ø„ hội tụ. Chuỗi só yr uy, hoi tu n=l khi và chỉ khi với mỗi e > 0 bắt kì, tôn tại số N € Ñ sao cho [Em+i + Én+2 +.

+ Untp| < E,Vn > N,Wp EN. Gọi {S,} là dãy các tổng riêng của chuỗi số }ˆ w„. Khi đó chuỗi mt 10 Ta xét các trường hợp sau: i. Néu œ < 0, thì uy = ne "2% e nên theo Định lý 1.1, suy ra chuối số (1.

Nếu œ = 0 thi u, = 1 “1 nén theo Dinh ly 1.1, suy ra chuỗi số (1. Nếu œ > 0, thì hàm ƒ( thỏa mãn các điều kiện của Định lý 1. tee Mặt khác, theo kết quả của tích phân suy rộng ta có ƒ ƒ(x)dx hội tụ khi 1 > 1 và phânkỳ khi œ < 1 nên chuỗi số (1.7) hội tụ khi œ > 1 và phân kỳ khi 0< œ< 1. Theo (i)-Ciii), ta c6 chuỗi số (1.7) hội tụ khi œ > 1 và phân kỳ khi œ < 1.

Cho chuỗi số Ya (18) Đặt ƒ(x) ing: T# 6 f không âm, liên tục và đơn điệu giảm trén [3, +22). Mặt khác [ ƒ@)dx= oalim J xi =. lim (Injlnb| —Inin3) = Vậy theo tiêu chuẩn tích phân thì chuỗi số (1. Gid si? ¥ uy va E vq là hai cẩn chuỗi số dương và tạ < vụ, Yn > nụ, khi đó i.

Nếu chuỗi số } vạ hội tụ thì chuỗi số } u„ hội tụ. Nếu chuỗi số Ề tu phân kỳ thì chuỗi số Ễ vụ phân kỳ.4, ta có thể giả sử nọ = 1 (nghia 1 u, < vp, Vn). Goi S„,7„ theo thứ tự là tổng riêng của các chuỗi số YF un, Y vn, theo giả thiết nt” nat ta có Sp < Ty, Vn EN d9) i. Nếu chuỗi số xế}` vụ hội tụ và có tổng là 7, nghĩa là =u lim 7„ = 7.

Khi đó SiS Ty ST, Vn EN.1, suy ra chuỗi số 3 um, hoi tụ. Suy ra tit (i) bằng phép phản chứng. Định lý đã được chứng minh. Cho chuỗi số bị (1.10) Khi đó, với mọi ø € Ñ, ta có nl<n" = Inn! <Inn".

Inn! ~ nlnn Theo Ví dụ 1.3, thì chuỗi séae il—— phan kj. Ấp‘ dụng tiêu. chuẩn° so sánh 1, "=2 ta suy ra chuối số (1. Giả sử }- w và 5 vn là hai x4 ¬D.

a me chuỗi số dương thỏa mãn lìm — = k. Khi đó mm Vn i Néu 0 <k < +00 thì hai chuỗi số }-, ưa và }- va cùng hội tụ hoặc cùng Thẩm phân kỳ. Nếu k= 0 và chuỗi số }- vụ hội tự thì chuỗi số} u hội tụ. wi oi ii.

Nếu k= +œ và chuỗi số }, vạ phân kỳ thì chuỗi số } uy phan ky. net mt Chứng mình. Ty fim “* =k, ta 06 Ve > 0,3m € Ñ : Vn > nọ => a i|<e Vn Do đó “ <k+e>uy < (k+£)v„, Vn > no. n +) Nếu chuỗi số }' v„ hội tụ thì chuỗi số } (k-+£)v„ cũng hội tụ.

Theo „ ml Định ly 1.3, ta suy ra chudi sé Yun hoi tu. mt +) Nếu chuỗi sé 5 v, phan ky thì ta cũng làm tương tự, tuy nhiên chú ý n= từ lìm “*Vm = k suy ra 1lim“ty = 2,1 Vì 0 < k< +s9 nên: 0 < 71 < +, Do dé «oknéu In cả Yn chuỗi sé Yu, hội tụ ta suy ra chuỗi số }- vụ hội tụ. Vậy chuỗi sé Y „ phân mi ml ml kỳ. ii, Giả sử k— 0 và chuỗi số }- vụ hội tụ.

Khi đó từ giả thiết lim = =0tacó n=l me Vụ Un Ve > 0,4ing > 0: Vn > m9 > <es ces < Ev, Ÿn > nọ Vn Yn Vi chudi sé 5 vy hoi tụ nên chuỗi số } ev„ hội tụ. Do đó chuỗi }- „ hội tụ. mt mi m4 Chứng minh hoàn toàn tương tự như (ii). Giả it k = +00 va chudi sé Y vy phân kỳ thì từ lim “*vq = +005 — lim“ =0.

Do đó chuỗi số 3 x„ phân kỳ, vì nếu chuỗi số }- w; hội tụ thì theo (ii) chuỗi =i ¬ số }- v„ hội tụ. n mi Vi du 1. Cho chuỗi số yu (ld mỊ "Ta nhận thấy, khi ø + 00 in”w+2 SF ain (14 n+1 4 ) =. Cho chuỗi số <3 (2nt+3)\" Yr (5).

vin nhân +1 “Theo tiêu chuẩn Cauchy, ta suy ra chuỗi số (1. Giá sử 3ˆ ưu là chuỗi số dương net va Khi đó ¡. Nếu D< 1 thì chuỗi sé ¥ uy hoi me. Nếu D > 1 thì chuỗi số }, uạ phân kỳ.

wl Chứng mình. Ta chọn số e > 0 đủ bé sao cho +£ — g < l. Vì lim “*! = D < I nên tồn tại nọ € Ñ sao cho với mọi ø > nọ, ta có. Un Un ! <D+‡e=4 Un =F Ung < Ming Ung? < Mag $1 < Mg Uns <n Vi0 <q <1 nén chudi số Fung hoi tụ, từ đó suy ra chuỗi số Eu, hoi kel n=l tu.

ii, Nếu D> lim“Uy = D> I thi tit ne I suy ra tén tại nọ € Ñ sao cho với mọi n> nụ, tà có Un+1 > Un 15 Suy ra ứy z2 0 khi „ —> se. Do vậy theo điều kiện cần ta suy ra chuỗi số Ð 1, phân kỳ. ml Dinh lý đã được chứng minh. Cho chuỗi số = 3g LS.13) m1 "n! - Dat uy, = mm .3"n! Mel Taye (att ly (atl) nên Uns 38ml nh — ân (c1 Un ! (n+1)”3m (n+ 1)" n+1/)° suy ra " "3 tim 2” = lim mâm no ae 3(L~ n+l! ) = e>1 Theo tiêu chuẩn D’Alembert, ta suy ra chuỗi số (1.

CHUỖI DAN DAU Định nghĩa 1. Chuỗi đan dấu là chuỗi số có dạng + CD = E(u tte (AD +.) dA) trong đó 1, > 0 véi moi n. Để đơn giản ta xét chuỗi đan dấu có dạng (TU) te = ty — 8+.