در حسابان ، حد یک دنباله مقداری است که در صورت وجود، جملههای آن دنباله با پیشروی، به قدر دلخواه به آن نزدیک میشوند؛ اگر چنین مقداری وجود داشته باشد، دنباله را همگرا و در غیر این صورت دنباله را واگرا مینامیم.
یک دنبالهٔ همگرا که به عدد خاصی میل میکند
تعریف
حد در بینهایت
به حد یک دنباله در بینهایت «حد دنباله» میگویند.
در نمایش مختصاتی ، بازهٔ دوبعدی افقی حول مقدار
y
=
A
در نظر بگیرید (به شکل مستطیلی افقی که به سمت راست تا بینهایت ادامه دارد)، اگر دنبالهٔ
{
a
n
}
n
=
1
∞
به
A
میل کند، باید از یک اندیس مشخّص (
N
) به بعد، همهٔ
a
n
ها در این بازه باشند. این گزاره باید برای تمام بازهها (هر چند نازک) (به عرض
2
ε
) صدق کند.
به بیان دقیقتر، برای دنبالهٔ
{
a
n
}
n
=
1
∞
:
lim
n
→
∞
a
n
=
A
⟸
∀
ε
>
0
:
∃
N
∈
N
:
d
(
a
n
,
A
)
<
ε
,
∀
n
≥
N
که
ε
مقدار نازک بودن بازه را نشان میدهد و
d
(
x
,
y
)
در فضای متریک به معنای فاصلهٔ
y
و
x
است و به صورت
|
x
−
y
|
تعریف میشود.
در این صورت مینویسیم:
lim
n
→
∞
a
n
=
A
حدِ بینهایت
نمونهای از یک دنبالهٔ واگرا که به هیچ مقداری میل نمیکند
برای بعضی دنبالههای واگرا نیز عبارتی همچون
lim
n
→
∞
b
n
=
∞
یا
lim
n
→
∞
b
n
=
−
∞
نوشته میشود، یعنی (به ترتیب) دنبالهٔ
{
b
n
}
n
=
1
∞
به بینهایت یا منفی بینهایت میل میکند؛ به عبارتی دیگر، (به ترتیب) دنبالهٔ
{
b
n
}
n
=
1
∞
از بالا یا از پایین کران ندارد. به بیان دقیق:
lim
n
→
∞
b
n
=
∞
⟸
∀
B
∈
N
:
∃
N
∈
N
:
b
n
>
B
,
∀
n
≥
N
دنبالهٔ واگرای
a
n
=
(
−
1
)
n
از جمله مثالهایی ست که به هیچ مقداری میل نمیکند.
ویژگیهای حد دنباله
ویژگیهای حد دنباله مثل ویژگیهای حد تابع هستند.
حد دنباله در صورت وجود، یکتاست. یعنی اگر
lim
n
→
∞
a
n
=
A
1
و
lim
n
→
∞
a
n
=
A
2
آنگاه
A
1
=
A
2
اگر برای دنبالهٔ
{
a
n
}
n
=
1
∞
داشته باشیم
lim
n
→
∞
a
n
=
A
، به ازای هر تابع پیوستهٔ
f
داریم
lim
n
→
∞
f
(
a
n
)
=
lim
n
→
∞
f
(
A
)
lim
n
→
∞
(
a
n
±
b
n
)
=
lim
n
→
∞
a
n
±
lim
n
→
∞
b
n
lim
n
→
∞
(
c
a
n
)
=
c
lim
n
→
∞
a
n
lim
n
→
∞
(
a
n
b
n
)
=
(
lim
n
→
∞
a
n
)
(
lim
n
→
∞
b
n
)
lim
n
→
∞
(
a
n
b
n
)
=
lim
n
→
∞
a
n
lim
n
→
∞
b
n
به شرطی که
lim
n
→
∞
b
n
≠
0
lim
n
→
∞
(
a
n
p
)
=
(
lim
n
→
∞
a
n
)
p
a
n
≤
b
n
⟺
lim
n
→
∞
a
n
≤
lim
n
→
∞
b
n
توجّه کنید که در بسیاری از موارد
a
n
<
b
n
برقرار است امّا
lim
n
→
∞
a
n
=
lim
n
→
∞
b
n
قضایای مرتبط
قضیهٔ تابع
اگر
f
:
R
⟶
R
و همیشه
f
(
n
)
=
a
n
برقرار باشد،
lim
n
→
∞
a
n
=
lim
n
→
∞
f
(
n
)
اگر از یک اندیس به بعد
b
n
≤
a
n
≤
c
n
و همچنین
lim
n
→
∞
c
n
=
lim
n
→
∞
b
n
=
L
آن گاه
lim
n
→
∞
a
n
=
L
دنبالهٔ فوق نزولی ست و همیشه بیش از صفر، پس همگرا ست
قضیهٔ دنبالهٔ یکنوا
اگر
{
a
n
}
کراندار و یکنوا باشد همگرا ست.
حد چند دنبالهٔ مهم
α
>
0
⟹
lim
n
→
∞
1
n
α
=
0
|
c
|
<
1
⟹
lim
n
→
∞
c
n
=
0
c
>
0
⟹
lim
n
→
∞
c
1
n
=
1
a
>
0
,
b
>
0
⟹
lim
n
→
∞
(
log
n
)
a
n
b
=
0
lim
n
→
∞
n
1
n
=
lim
n
→
∞
n
n
=
1
a
∈
R
⟹
lim
n
→
∞
(
1
+
a
n
)
n
=
e
a
c
∈
R
⟹
lim
n
→
∞
c
n
n
!
=
0
جستارهای وابسته
منابع
مشارکتکنندگان ویکیپدیا. «Limit of a sequence ». در دانشنامهٔ ویکیپدیای انگلیسی .
↑ جان کالرن (۱۳۸۷ ). فرهنگ کتاب . تهران: فرهنگ معاصر. صص. ۲۳۱ . شابک ۹۷۸-۹۶۴-۸۶۳۷-۷۹-۳ .
↑ Walter Rudin. Principles of Mathematical Analysis . ص. ۴۷ . شابک ۰-۰۷-۰۵۴۲۳۵-X .
↑ «فصل ۱۰». حسابان توماس Thomas' Calculus (14th Edition) . شابک ۹۷۸-۰۱۳۴۴۳۸۹۸۶ .
↑ «فصل ۱۰». حسابان (اپوستول) Calculus Vol. 1 (2nd ed.) (Tom M. Apostol) . شابک ۹۷۸-۰-۴۷۱-۰۰۰۰۵-۱ .