Dãy Số Thực – Wikipedia Tiếng Việt

"Dãy số" đổi hướng tới đây. Đối với các định nghĩa khác, xem Dãy số (định hướng).

Dãy số thực là một danh sách (hữu hạn hoặc vô hạn) liệt kê các số thực theo một thứ tự nào đó.

Định nghĩa

[sửa | sửa mã nguồn]

Theo quan điểm của lý thuyết tập hợp dãy số là một ánh xạ a: N → R {\displaystyle \mathbb {N} \to \mathbb {R} } , trong đó N {\displaystyle \mathbb {N} } là tập hợp số tự nhiên, hoặc tập con của tập số tự nhiên nhỏ hơn / lớn hơn một số tự nhiên m nào đó. Khi đó thay cho a(n) ta dùng ký hiệu an.

an = a(n)

Nếu X là hữu hạn ta có dãy hữu hạn:

am,..., an.

Ngược lại nó được xem là vô hạn.

a0, a1,..., an,...

Đôi khi, dãy hữu hạn cũng có thể được xem là vô hạn với các phần tử từ thứ m trở đi là bằng nhau.

Khi bắt đầu từ phần tử a n 0 {\displaystyle a_{n_{0}}} dãy thường được ký hiệu:

( x n ) n ≥ n 0 {\displaystyle (x_{n})_{n\geq n_{0}}} với xn là phần tử thứ n.

Người ta thường xét hơn các dãy bắt đầu từ phần tử a 1 {\displaystyle a_{1}} .

( x n ) n ≥ 1 {\displaystyle (x_{n})_{n\geq 1}} với xn là phần tử thứ n

Sau đây sẽ chủ yếu đề cập đến các dãy số thực vô hạn. Nhiều định nghĩa và kết quả dưới đây có thể mở rộng cho dãy các phần tử trong không gian metric hoặc không gian topo.

Ý nghĩa thực tế

[sửa | sửa mã nguồn]

Trong nhiều bài toán, dãy số có thể được tạo dựng qua quá trình thu thập dữ liệu. Các dữ liệu thu thập có thể gồm nhiều số từ x1, x2,...xn. Tập hợp các số này có thứ tự, nghĩa là có số đầu tiên (x1), số thứ 2 (x2) và các số tiếp theo.

Biên của dãy

[sửa | sửa mã nguồn]

Cho dãy ( x n ) n ≥ 1 {\displaystyle (x_{n})_{n\geq 1}} . Tập hợp các giá trị của dãy:

( x 1 , x 2 , x 3 , ⋯ )   =   ( x n ; n = 1 , 2 , 3 , ⋯ ) {\displaystyle (x_{1},x_{2},x_{3},\cdots )\ =\ (x_{n};n=1,2,3,\cdots )}

được gọi là biên của dãy đó.

Biên này không có thứ tự. Ví dụ, cho dãy ( − 1 ) n n ≥ 1 {\displaystyle {(-1)^{n}}_{n\geq 1}} , có biên là {-1,1}. Nó có 2 phần tử thay đổi là 1 và -1.

Dãy số thực đơn điệu

[sửa | sửa mã nguồn]

Định nghĩa

[sửa | sửa mã nguồn]

Cho dãy số thực ( x n ) n ≥ 1 {\displaystyle (x_{n})_{n\geq 1}} với xn là các số thực. Nó là

• Không tăng khi và chỉ khi x n ≥ x n + 1 {\displaystyle x_{n}\geq x_{n+1}} với mọi n ≥ 1 {\displaystyle n\geq 1} .
• Không giảm khi và chỉ khi x n ≤ x n + 1 {\displaystyle x_{n}\leq x_{n+1}} với mọi n ≥ 1 {\displaystyle n\geq 1} .

Nếu dãy có được một trong hai tính chất này, ta gọi dãy đó là dãy đơn điệu.

Ví dụ, với dãy ( 2 n ) n ≥ 1 {\displaystyle (2^{n})_{n\geq 1}} , ta có 2 n + 1 = 2 n .2 {\displaystyle 2^{n+1}=2^{n}.2} . Do 2 > 1 nên 1.2 n < 2.2 n {\displaystyle 1.2^{n}<2.2^{n}} , hay 2 n < 2 n + 1 {\displaystyle 2^{n}<2^{n+1}} . Suy ra ( 2 n ) n ≥ 1 {\displaystyle (2^{n})_{n\geq 1}} là dãy tăng.

Tính đơn điệu và dấu của đạo hàm

[sửa | sửa mã nguồn]

Một cách để xác định một dãy có đơn điệu hay không là dựa vào đạo hàm của hàm số tương ứng.

Ví dụ như cho dãy ( ln ⁡ ( n ) n ) n ≥ 1 {\displaystyle \left({\frac {\ln(n)}{n}}\right)_{n\geq 1}} . Xét hàm số:

f ( x ) = ln ⁡ ( x ) x {\displaystyle f(x)={\frac {\ln(x)}{x}}} với x ≥ 1 {\displaystyle x\geq 1}

Lấy đạo hàm của nó, ta thu được:

f ′ ( x ) = ln ′ ⁡ ( x ) x − ( x ) ′ ln ⁡ ( x ) x 2 = 1 − ln ⁡ ( x ) x 2 {\displaystyle f'(x)={\frac {\ln '(x)x-(x)'\ln(x)}{x^{2}}}={\frac {1-\ln(x)}{x^{2}}}}

Đạo hàm này nhỏ hơn không khi x > e. Điều này xảy ra với mọi n > 2, nên dãy ( ln ⁡ ( n ) n ) n ≥ 3 {\displaystyle \left({\frac {\ln(n)}{n}}\right)_{n\geq 3}} là dãy giảm.

Dãy số thực bị chặn

[sửa | sửa mã nguồn]

Dãy ( x n ) n ≥ 1 {\displaystyle (x_{n})_{n\geq 1}} bị chặn trên khi và chỉ khi tồn tại T ở đó x n ≤ T {\displaystyle x_{n}\leq T} , với mọi n ≥ 1 {\displaystyle n\geq 1} . Số T được gọi là giá trị chặn trên.

Ngược lại, dãy ( x n ) n ≥ 1 {\displaystyle (x_{n})_{n\geq 1}} bị chặn dưới khi và chỉ khi tồn tại D ở đó x n ≥ D {\displaystyle x_{n}\geq D} , với mọi n ≥ 1 {\displaystyle n\geq 1} . Số D được gọi là giá trị chặn dưới.

Nếu một dãy có cả hai tính chất trên thì dãy đó được gọi là dãy bị chặn.

Ví dụ, dãy ( 3 n ) n ≥ 1 {\displaystyle (3^{n})_{n\geq 1}} bị chặn dưới bởi 3 vì nó luôn có giá trị dương lớn hơn hoặc bằng 3.

Giới hạn của một dãy số thực

[sửa | sửa mã nguồn]

Khái niệm giới hạn của dãy số bắt nguồn từ việc khảo sát một số dãy số thực, có thể tiến "rất gần" một số nào đó. Chẳng hạn, xét dãy số thực:

2 , 3 2 , 4 3 , … , n + 1 n , … {\displaystyle 2,{\frac {3}{2}},{\frac {4}{3}},\dots ,{\frac {n+1}{n}},\dots } hay 2 , 1 + 1 2 , 1 + 1 3 , … , 1 + 1 n , … {\displaystyle 2,1+{\frac {1}{2}},1+{\frac {1}{3}},\dots ,1+{\frac {1}{n}},\dots }

Khi cho n tăng lên vô hạn thì phân số 1 n {\displaystyle {\frac {1}{n}}} trở nên nhỏ tuỳ ý, do đó số hạng thứ n của dãy 1 + 1 n {\displaystyle 1+{\frac {1}{n}}} có thể tiến gần đến 1 với khoảng cách nhỏ tuỳ ý. Người ta diễn đạt điều đó bằng định nghĩa sau

Đinh nghĩa

Cho dãy số thực (xn) và một số thực x. Khi đó nếu:

∀ ϵ > 0 , ∃ n 0 ∈ N {\displaystyle \forall \;\epsilon \;>\;0,\exists \;n_{0}\in \mathbb {N} \,} , ∀ n > n 0 {\displaystyle \forall \;n>\;n_{0}} , | x n − x | < ϵ {\displaystyle |x_{n}-x|<\;\epsilon \;} .

thì x được gọi là giới hạn của dãy (xn). Khi đó ta cũng nói dãy (xn) hội tụ.

Giới hạn của dãy thường được ký hiệu:

lim n → ∞ x n = x {\displaystyle \lim _{n\to \infty }x_{n}=x} .

Hoặc

lim x n = x ( k h i n → ∞ ) {\displaystyle \lim x_{n}=x\;(khi\;n\rightarrow \infty )}

Các định lý cơ bản

[sửa | sửa mã nguồn]

1. Nếu dãy ( x n ) {\displaystyle (x_{n})} có giới hạn hữu hạn thì nó bị chặn.
2. Dãy hội tụ chỉ có một giới hạn.
3. Nếu lim n → ∞ x n = a , lim n → ∞ y n = b {\displaystyle \lim _{n\to \infty }x_{n}=a,\lim _{n\to \infty }y_{n}=b} và x n ≤ y n , ∀ n ∈ N {\displaystyle x_{n}\leq y_{n},\forall n\in \mathbb {N} } thì a ≤ b {\displaystyle a\leq b} .
4. Nếu lim n → ∞ x n = lim n → ∞ y n = a {\displaystyle \lim _{n\to \infty }x_{n}=\lim _{n\to \infty }y_{n}=a} và x n ≤ z n ≤ y n , ∀ n ∈ N {\displaystyle x_{n}\leq z_{n}\leq y_{n},\forall n\in \mathbb {N} } thì lim n → ∞ z n = a {\displaystyle \lim _{n\to \infty }z_{n}=a} .
5. Dãy đơn điệu tăng (giảm) hội tụ khi và chỉ khi nó bị chặn trên (dưới).

Tính chất

[sửa | sửa mã nguồn]

Nếu các dãy (xn) và (yn) hội tụ và

lim n → ∞ x n = L 1 {\displaystyle \lim _{n\to \infty }x_{n}=L_{1}} and lim n → ∞ y n = L 2 {\displaystyle \lim _{n\to \infty }y_{n}=L_{2}}

thì

lim n → ∞ ( x n + y n ) = L 1 + L 2 {\displaystyle \lim _{n\to \infty }(x_{n}+y_{n})=L_{1}+L_{2}} lim n → ∞ ( x n y n ) = L 1 L 2 {\displaystyle \lim _{n\to \infty }(x_{n}y_{n})=L_{1}L_{2}}

và (nếu L2 khác 0)

lim n → ∞ ( x n / y n ) = L 1 / L 2 {\displaystyle \lim _{n\to \infty }(x_{n}/y_{n})=L_{1}/L_{2}}

Một số giới hạn cơ bản

[sửa | sửa mã nguồn] lim n → ∞ 1 n p = 0  nếu  p > 0 {\displaystyle \lim _{n\to \infty }{\frac {1}{n^{p}}}=0{\hbox{ nếu }}p>0} lim n → ∞ a n = 0  nếu  | a | < 1 {\displaystyle \lim _{n\to \infty }a^{n}=0{\hbox{ nếu }}|a|<1} lim n → ∞ n 1 n = 1 {\displaystyle \lim _{n\to \infty }n^{\frac {1}{n}}=1} lim n → ∞ a 1 n = 1  nếu  a > 0 {\displaystyle \lim _{n\to \infty }a^{\frac {1}{n}}=1{\hbox{ nếu }}a>0}

Vô cùng bé, vô cùng lớn

[sửa | sửa mã nguồn]

• Nếu một dãy số có giới hạn là 0 thì nó được gọi là một vô cùng bé.
• Nếu: ∀ M > 0 , ∃ n 0 ∈ N {\displaystyle \forall \;M>\;0,\exists \;n_{0}\in \mathbb {N} \,} , ∀ n > n 0 {\displaystyle \forall \;n>\;n_{0}} , | x n | > M ; {\displaystyle |x_{n}|>\;M;} . thì dãy x n {\displaystyle x_{n}} được gọi là vô cùng lớn. Khi đó ta cũng viết:

lim n → ∞ x n = ∞ {\displaystyle \lim _{n\rightarrow \infty }x_{n}=\infty }

Xem thêm

[sửa | sửa mã nguồn]

• Dãy Farey
• Dãy Thue-Morse
• Dãy Fibonacci
• Cấp số cộng
• Cấp số nhân
• Dãy (toán học)

Tham khảo

[sửa | sửa mã nguồn]

Liên kết ngoài

[sửa | sửa mã nguồn]

(bằng tiếng Anh)

• The On-Line Encyclopedia of Integer Sequences Lưu trữ 2005-04-19 tại Wayback Machine