Giới hạn của một dãy – Wikipedia tiếng Việt

2 π r { \ displaystyle 2 \ pi r }

n { \ displaystyle n }	n ⋅ sin ⁡ 1 n { \ displaystyle n \ cdot \ sin { \ frac { 1 } { n } } }
1	0.841471
2	0.958851
…
10	0.998334
…
100	0.999983

Khi số nguyên

n

{\displaystyle n}

càng lớn, giá trị

n
⋅
sin
⁡

(

1
n

)

{\displaystyle n\cdot \sin {\bigg (}{\frac {1}{n}}{\bigg )}}

trở nên gần một cách tùy ý với

1

{\displaystyle 1}

. Ta nói rằng “giới hạn của dãy số

n
⋅
sin
⁡

(

1
n

)

{\displaystyle n\cdot \sin {\bigg (}{\frac {1}{n}}{\bigg )}}

bằng

1

{\displaystyle 1}

.”

Bạn đang đọc: Giới hạn của một dãy – Wikipedia tiếng Việt

Trong toán học, giới hạn của một dãy là giá trị mà các số hạng của dãy “tiến tới”.[1] Nếu một giới hạn tồn tại, dãy được gọi là hội tụ, nếu không, dãy được gọi là phân kì.[2] Giới hạn của một dãy số là một khái niệm quan trọng trong giải tích.[1]

Giới hạn hoàn toàn có thể được định nghĩa trong bất kể khoảng trống metric hay tôpô nào, nhưng thường được sử dụng thứ nhất với số thực .
Nhà triết học Hy Lap Zeno xứ Elea nổi tiếng với việc hình thành những nghịch lý về giới hạn .Leucippus, Democritos, Antiphon, Eudoxus và Archimedes tăng trưởng giải pháp vét cạn ( method of exhaustion ), dùng chuỗi vô hạn xê dịch để xác lập một diện tích quy hoạnh hay thể tích. Archimedes đã thành công xuất sắc trong việc tính tổng một dạng dãy số gọi là chuỗi hình học .

Newton sử dụng dãy số trong những công trình Giải tích dãy vô hạn (Analysis with infinite series, viết năm 1669, lưu hành qua bản viết tay, xuất bản năm 1711), Phương pháp thông lượng (Method of Fluxions, viết năm 1671, xuất bản bằng tiếng Anh năm 1736, bản gốc Latin xuất bản muộn hơn) và Tractatus de Quadratura Curvarum (viết năm 1693, xuất bản năm 1704 và là phụ lục cho Optiks). Trong những tác phẩm sau này, Newton nghiên cứu khai triển nhị thức của

(
x
+
o

)

n

{\displaystyle (x+o)^{n}}

rồi tuyến tính hóa bằng cách lấy giới hạn (cho

o
→
0

{\displaystyle o\to 0}

).

Đến thế kỷ 18, các nhà toán học như Euler thành công trong việc tính tổng của một số chuỗi phân kỳ bằng cách dừng đúng lúc; họ không quan tâm liệu giới hạn có tồn tại hay không, miễn là nó tính được. Cuối thể kỷ 18, Lagrange trong Théorie des fonctions analytiques (1797) cho rằng sự thiếu tính chặt chẽ ngăn chặn sự phát triển của giải tích. Gauss trong quá trình nghiên cứu những dãy siêu hình học (1813) lần đầu tiên xem xét một cách chặt chẽ dưới những điều kiện nào thì một dãy số hội tụ đến một giới hạn.

Định nghĩa hiện đại của giới hạn (định nghĩa

(
ε
,
δ
)

{\displaystyle (\varepsilon ,\delta )}

) được đưa ra bởi Bernard Bolzano (Der binomische Lehrsatz, Prague năm 1816, ít được chú ý tại thời điểm đó) và Karl Weierstrass trong những năm 1870.

Đồ thị của một dãy hội tụ {an} được tô màu xanh. Ta có thể thấy dãy số hội tụ đến giới hạn là 0 khi n tăng.

Đối với số thực, một số

L

{\displaystyle L}

là giới hạn của một dãy số

(

x

n

)

{\displaystyle (x_{n})}

nếu những số trong dãy trở nên gần một cách tùy ý với

L

{\displaystyle L}

và không phải số nào khác.

• Nếu x n = c { \ displaystyle x_ { n } = c }c là hằng số thì x n → c { \ displaystyle x_ { n } \ to c }[chứng minh 1]
• Nếu x n = 1 n { \ displaystyle x_ { n } = { \ frac { 1 } { n } } }x n → 0 { \ displaystyle x_ { n } \ to 0 }[chứng minh 2]
• Nếu x n = 1 / n { \ displaystyle x_ { n } = 1 / n }n { \ displaystyle n }x n = 1 n 2 { \ displaystyle x_ { n } = { \ frac { 1 } { n ^ { 2 } } } }n { \ displaystyle n }x n → 0 { \ displaystyle x_ { n } \ to 0 }x n + 1 > x n { \ displaystyle x_ { n + 1 } > x_ { n } }n { \ displaystyle n }
• Với bất kì số thực nào, có thể xây dựng một dãy số hội tụ về số đó bằng cách lấy xấp xỉ thập phân. Ví dụ, dãy số 0.3, 0.33, 0.333, 0.3333 ,. .. { \ displaystyle 0.3,0. 33,0. 333,0. 3333, … }1 / 3 { \ displaystyle 1/3 }biểu diễn thập phân 0.3333 … { \ displaystyle 0.3333 … }giới hạn của, xác định bởi

0.3333 … ≜ lim n → ∞ ∑ i = 1 n 3 10 i { \ displaystyle 0.3333 … \ triangleq \ lim _ { n \ to \ infty } \ sum _ { i = 1 } ^ { n } { \ frac { 3 } { 10 ^ { i } } } }

• Tìm giới hạn của một dãy số không phải lúc nào cũng hiển nhiên. Hai ví dụ điển hình là lim n → ∞ ( 1 + 1 n ) n { \ displaystyle \ lim _ { n \ to \ infty } \ left ( 1 + { \ frac { 1 } { n } } \ right ) ^ { n } }số e) và trung bình cộng-nhân. Định lý kẹp thường hữu ích trong những trường hợp này.

Ta gọi

x

{\displaystyle x}

là giới hạn của một dãy số

(

x

n

)

{\displaystyle (x_{n})}

nếu điều kiện sau đây được thỏa mãn:

• Với mọi số thực ε > 0 { \ displaystyle \ varepsilon > 0 }N { \ displaystyle N }n ≥ N { \ displaystyle n \ geq N }| x n − x | < ε { \ displaystyle | x_ { n } - x | < \ varepsilon }

Nói cách khác, với mọi giá trị độ gần

ε

{\displaystyle \varepsilon }

, các số hạng của dãy sẽ tiến gần đến giới hạn trong khoảng đó.

Dãy số

(

x

n

)

{\displaystyle (x_{n})}

khi ấy được gọi là hội tụ về hoặc tiến tới giới hạn

x

{\displaystyle x}

, viết là

x

n

→
x

{\displaystyle x_{n}\to x}

hoặc

lim

n
→
∞

x

n

=
x

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

.

Định nghĩa trên hoàn toàn có thể màn biểu diễn bằng ký hiệu :

• ∀ ε > 0 ( ∃ N ∈ N ( ∀ n ∈ N ( n ≥ N ⟹ | x n − x | < ε ) ) ). { \ displaystyle \ forall \ varepsilon > 0 ( \ exists N \ in \ mathbb { N } ( \ forall n \ in \ mathbb { N } ( n \ geq N \ implies | x_ { n } – x | < \ varepsilon ) ) ). }

Nếu một dãy số có tồn tại giới hạn thì đó là dãy hội tụ; ngược lại nó là dãy phân kỳ.

• 

  Ví dụ về một dãy số hội tụ về

  a

  {\displaystyle a}

  .

• 

  Bất kể giá trị

  ε
  >
  0

  {\displaystyle \varepsilon >0}

  nào ta chọn, tồn tại một số

  N

  0

  {\displaystyle N_{0}}

  , sao cho dãy số đằng sau nó nằm hoàn toàn trong “ống epsilon”

  (
  a
  −
  ε
  ,
  a
  +
  ε
  )

  {\displaystyle (a-\varepsilon ,a+\varepsilon )}

  .

• 

  Với giá trị

  ε

  1

  >
  0

  {\displaystyle \varepsilon _{1}>0}

  , sao cho dãy số sau đó nằm trong phần ống epsilon

  (
  a
  −

  ε

  1

  ,
  a
  +

  ε

  1

  )

  {\displaystyle (a-\varepsilon _{1},a+\varepsilon _{1})}

  .

• 

  Với mọi

  ε
  >
  0

  {\displaystyle \varepsilon >0}

  chỉ có hữu hạn các số hạng của dãy số nằm ngoài ống epsilon.

  Xem thêm: Doanh nghiệp nhỏ và vừa – Wikipedia tiếng Việt

Giới hạn của dãy số có những tính chất tương tự như những phép tính số học thông thường. Nếu

a

n

→
a

{\displaystyle a_{n}\to a}

và

b

n

→
b

{\displaystyle b_{n}\to b}

thì

a

n

+

b

n

→
a
+
b

{\displaystyle a_{n}+b_{n}\to a+b}

,

a

n

⋅

b

n

→
a
b

{\displaystyle a_{n}\cdot b_{n}\to ab}

và, nếu

b

{\displaystyle b}

và tất cả

b

n

{\displaystyle b_{n}}

đều khác 0,

a

n

b

n

→

a
b

{\displaystyle {\frac {a_{n}}{b_{n}}}\to {\frac {a}{b}}}

.

Với mọi hàm số liên tục f, nếu

x

n

→
x

{\displaystyle x_{n}\to x}

thì

f
(

x

n

)
→
f
(
x
)

{\displaystyle f(x_{n})\to f(x)}

. Thực ra, bất kỳ hàm số f nào có giá trị thực liên tục khi và chỉ khi nếu nó bảo toàn giới hạn của dãy số (điều này không nhất thiết đúng với những định nghĩa tổng quát hơn của tính liên tục).

Một số đặc thù quan trọng của giới hạn cho dãy số thực như sau ( với điều kiện, trong mỗi đẳng thức ở dưới, giới hạn ở vế phải sống sót ) .

• Giới hạn của một dãy số là duy nhất.
• lim n → ∞ ( a n ± b n ) = lim n → ∞ a n ± lim n → ∞ b n { \ displaystyle \ lim _ { n \ to \ infty } ( a_ { n } \ pm b_ { n } ) = \ lim _ { n \ to \ infty } a_ { n } \ pm \ lim _ { n \ to \ infty } b_ { n } }
• lim n → ∞ c a n = c ⋅ lim n → ∞ a n { \ displaystyle \ lim _ { n \ to \ infty } ca_ { n } = c \ cdot \ lim _ { n \ to \ infty } a_ { n } }
• lim n → ∞ ( a n ⋅ b n ) = ( lim n → ∞ a n ) ⋅ ( lim n → ∞ b n ) { \ displaystyle \ lim _ { n \ to \ infty } ( a_ { n } \ cdot b_ { n } ) = ( \ lim _ { n \ to \ infty } a_ { n } ) \ cdot ( \ lim _ { n \ to \ infty } b_ { n } ) }
• lim n → ∞ ( a n b n ) = lim n → ∞ a n lim n → ∞ b n { \ displaystyle \ lim _ { n \ to \ infty } \ left ( { \ frac { a_ { n } } { b_ { n } } } \ right ) = { \ frac { \ lim \ limits _ { n \ to \ infty } a_ { n } } { \ lim \ limits _ { n \ to \ infty } b_ { n } } } }lim n → ∞ b n ≠ 0 { \ displaystyle \ lim _ { n \ to \ infty } b_ { n } \ neq 0 }
• lim n → ∞ a n p = [ lim n → ∞ a n ] p { \ displaystyle \ lim _ { n \ to \ infty } a_ { n } ^ { p } = \ left [ \ lim _ { n \ to \ infty } a_ { n } \ right ] ^ { p } }
• Nếu a n ≤ b n { \ displaystyle a_ { n } \ leq b_ { n } }n > N { \ displaystyle n > N }lim n → ∞ a n ≤ lim n → ∞ b n { \ displaystyle \ lim _ { n \ to \ infty } a_ { n } \ leq \ lim _ { n \ to \ infty } b_ { n } }
• (Định lý kẹp) Nếu a n ≤ c n ≤ b n { \ displaystyle a_ { n } \ leq c_ { n } \ leq b_ { n } }n > N { \ displaystyle n > N }lim n → ∞ a n = lim n → ∞ b n = L { \ displaystyle \ lim _ { n \ to \ infty } a_ { n } = \ lim _ { n \ to \ infty } b_ { n } = L }lim n → ∞ c n = L { \ displaystyle \ lim _ { n \ to \ infty } c_ { n } = L }
• Nếu một dãy số bị chặn và đơn điệu thì nó hội tụ.
• Một dãy số hội tụ khi và chỉ khi mọi dãy con của nó hội tụ.

Những tính chất trên được sử dụng rất nhiều để chứng minh giới hạn mà không cần sử dụng định nghĩa cồng kềnh trên. Chẳng hạn, một khi chứng minh được

1
n

→
0

{\displaystyle {\frac {1}{n}}\to 0}

ta dễ dàng chứng minh được

a

b
+

c
n

→

a
b

{\displaystyle {\frac {a}{b+{\frac {c}{n}}}}\to {\frac {a}{b}}}

, (

b
≠
0

{\displaystyle b\neq 0}

), sử dụng những tính chất trên.

Giới hạn vô cùng[sửa|sửa mã nguồn]

Một dãy số

(

x

n

)

{\displaystyle (x_{n})}

được gọi là tiến tới vô cùng, viết là

x

n

→
∞

{\displaystyle x_{n}\to \infty }

hay

lim

n
→
∞

x

n

=
∞

{\displaystyle \lim _{n\to \infty }x_{n}=\infty }

nếu, với mọi

K

{\displaystyle K}

, tồn tại

N

{\displaystyle N}

sao cho với mọi

n
≥
N

{\displaystyle n\geq N}

thì

x

n

>
K

{\displaystyle x_{n}>K}

nếu, với mọi

K

{\displaystyle K}

, tồn tại

N

{\displaystyle N}

sao cho với mọi

n
≥
N

{\displaystyle n\geq N}

thì

x

n

< K {\displaystyle x_{n}. Nếu một dãy số tiến tới cộng hoặc trừ vô cùng thì nó phân kỳ (tuy nhiên, một chuỗi phân kỳ có thể không tiến tới cộng hay trừ vô cùng: ví dụ như dãy số

x

n

=
(
−
1

)

n

{\displaystyle x_{n}=(-1)^{n}}

).

Không gian metric[sửa|sửa mã nguồn]

Một điểm

x

{\displaystyle x}

trong không gian metric

(
X
,
d
)

{\displaystyle (X,d)}

là giới hạn của dãy

(

x

n

)

{\displaystyle (x_{n})}

nếu, với mọi

ε
>
0

{\displaystyle \varepsilon >0}

, tồn tại

N

{\displaystyle N}

sao cho với mọi

n
≥
N

{\displaystyle n\geq N}

,

d
(

x

n

,
x
)
< ε {\displaystyle d(x_{n},x)<\varepsilon } . Định nghĩa này trỏ thành định nghĩa cho số thực khi

X
=

R

{\displaystyle X=\mathbb {R} }

và

d
(
x
,
y
)
=

|

x
−
y

|

{\displaystyle d(x,y)=|x-y|}

.

Với hàm số liên tục f bất kỳ, nếu

x

n

→
x

{\displaystyle x_{n}\to x}

thì

f
(

x

n

)
→
f
(
x
)

{\displaystyle f(x_{n})\to f(x)}

. Thực chất, hàm số f liên tục khi và chỉ khi nó bảo toàn giới hạn của dãy số.

Giới hạn của dãy số, nếu sống sót, là duy nhất, do những điểm khác nhau cách nhau một khoảng chừng dương. Nếu dãy số có hai giới hạn khác nhau, với ε { \ displaystyle \ varepsilon } nhỏ hơn 50% khoảng cách giữa chúng, những số hạng của dãy không thể cách mỗi giới hạn một khoảng chừng đều bé hơn ε { \ displaystyle \ varepsilon } .

Không gian tôpô[sửa|sửa mã nguồn]

Một điểm

x

{\displaystyle x}

trong không gian tôpô

(
X
,
τ
)

{\displaystyle (X,\tau )}

là giới hạn của dãy số (xn) nếu, với mọi lân cận

U

{\displaystyle U}

của

x

{\displaystyle x}

, tồn tại

N

{\displaystyle N}

sao cho, với mọi

n
≥
N

{\displaystyle n\geq N}

,

x

n

∈
U

{\displaystyle x_{n}\in U}

. Định nghĩa này trở thành định nghĩa cho không gian metric nếu

(
X
,
d
)

{\displaystyle (X,d)}

là một không gian metric và

τ

{\displaystyle \tau }

là tôpô tạo ra bởi

d

{\displaystyle d}

.

Giới hạn của một dãy các điểm

(

x

n

:
n
∈

N

)

{\displaystyle \left(x_{n}:n\in \mathbb {N} \right)\;}

trong không gian tôpô

T

{\displaystyle T}

là một trường hợp đặc biệt của giới hạn của một hàm số: tập xác định là

N

{\displaystyle \mathbb {N} }

trong không gian

N

∪
{
+
∞
}

{\displaystyle \mathbb {N} \cup \lbrace +\infty \rbrace }

với tôpô cảm sinh của tập số thực mở rộng, miền giá trị là

T

{\displaystyle T}

, và đối số

n

{\displaystyle n}

tiến tới

+
∞

{\displaystyle +\infty }

, ở đây là một điểm giới hạn của

N

{\displaystyle \mathbb {N} }

.

Nếu

X

{\displaystyle X}

là một không gian Hausdorff thì giới hạn của dãy số là duy nhất nếu chúng tồn tại. Tuy nhiên điều này không đúng trong tổng quát; cụ thể, nếu

x

{\displaystyle x}

và

y

{\displaystyle y}

là không thể phân biệt tôpô (tức chúng có cùng lân cận), bất kỳ chuỗi nào hội tụ đến

x

{\displaystyle x}

cũng phải hội tụ đến

y

{\displaystyle y}

và ngược lại.

Đồ thị của dãy Cauchy (xn), màu xanh, với trục tung là xn và trục hoành n. Ta thấy, một cách trực quan, dãy số tiến dần đến một giới hạn khi các số hạng của dãy trở nên gần nhau hơn khi n tăng. Trong tập số thực mọi dãy Cauchy hội tụ về một giới hạn.

Một dãy Cauchy là một dãy có các số hạng trở nên gần nhau một cách tùy ý, sau khi bỏ qua những số hạng đầu. Dãy Cauchy có vai trò quan trọng trong việc nghiên cứu các dãy trong không gian metric, và cụ thể là trong giải tích thực. Một kết quả đặc biệt quan trong giải tích thực là tiêu chuẩn Cauchy về tính hội tụ của dãy số: một dãy số hội tụ khi và chỉ khi nó là một dãy Cauchy. Kết quả này vẫn đúng trong những không gian metric đầy đủ khác.

Định nghĩa cho số siêu thực[sửa|sửa mã nguồn]

Định nghĩa của giới hạn cho số siêu thực cụ thể hóa cảm nhận rằng với số thứ tự “rất lớn”, số hạng tương ứng “rất gần” với giới hạn. Chính xác hơn, một dãy số thực

(

x

n

)

{\displaystyle (x_{n})}

hội tụ về

L

{\displaystyle L}

nếu với mọi số siêu nguyên vô hạn H, số hạng

x

H

{\displaystyle x_{H}}

gần vô hạn với

L

{\displaystyle L}

, tức là hiệu

x

H

−
L

{\displaystyle x_{H}-L}

nhỏ vô cùng. Nói cách khác,

L

{\displaystyle L}

là phần chuẩn của

x

H

{\displaystyle x_{H}}

:

L = s t ( x H ). { \ displaystyle L = { \ rm { st } } ( x_ { H } ). \, }

Do đó, giới hạn hoàn toàn có thể được định nghĩa bằng công thức

lim n → ∞ x n = s t ( x H ), { \ displaystyle \ lim _ { n \ to \ infty } x_ { n } = { \ rm { st } } ( x_ { H } ), }

và giới hạn tồn tại khi và chỉ khi vế phải không phụ thuộc vào cách chọn một số H vô cùng.

1. ^ a b Courant ( 1961 ), trang 29
2. ^ Courant ( 1961 ), trang 39 .

1. ^ Chứng minh: chọn N = 1 { \ displaystyle N = 1 }n ≥ N { \ displaystyle n \ geq N }| x n − c | = 0 < ε { \ displaystyle | x_ { n } - c | = 0 < \ varepsilon }: chọn. Với mỗi
2. ^ Chứng minh: chọn

   N
   =

   ⌊

   1
   ε

   ⌋

   {\displaystyle N=\left\lfloor {\frac {1}{\varepsilon }}\right\rfloor }

   Xem thêm: TIẾP THỊ & QUẢNG CÁO | Business Owner Space

   n ≥ N { \ displaystyle n \ geq N }| x n − 0 | ≤ x N = 1 ⌊ 1 / ε ⌋ + 1 < ε { \ displaystyle | x_ { n } - 0 | \ leq x_ { N } = { \ frac { 1 } { \ lfloor 1 / \ varepsilon \ rfloor + 1 } } < \ varepsilon }: chọn + 1 ( hàm phần nguyên ). Với mỗi

Liên kết ngoài[sửa|

sửa mã nguồn]

Source: https://vh2.com.vn
Category : Doanh Nghiệp