全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 العربية 版。

الرياضيات · 术语表

什么是 نهاية متتالية?

تعريف 11.1 الرياضيات الجامعية — السنة 1 · 第 11 章 — المتتاليات

تتقارب المتتالية (un)(u_n) من الأعداد الحقيقية إلى ℓ∈R\ell \in \R إذا كان

∀ε>0, ∃N∈N, ∀n≥N,∣un−ℓ∣≤ε.\forall \varepsilon > 0,\ \exists N \in \N,\ \forall n \geq N, \qquad \abs{u_n - \ell} \leq \varepsilon .

ويُكتب un→ℓu_n \to \ell أو lim⁡un=ℓ\lim u_n = \ell. وتكون المتتالية التي لا تتقارب (إلى أيّ عدد حقيقي) متباعدة. والتباعد إلى +∞+\infty: ∀M, ∃N, ∀n≥N, un≥M\forall M,\ \exists N,\ \forall n \geq N,\ u_n \geq M (وكذلك −∞-\infty).

示例

مثال 11.2 (برهان ε\varepsilon–NN، مكتوبًا مرة واحدة)

الادعاء: un=n2+12n2−3→12u_n = \dfrac{n^2 + 1}{2n^2 - 3} \to \dfrac12. اعزل الخطأ أولًا:

∣un−12∣=∣2(n2+1)−(2n2−3)2(2n2−3)∣=52 ∣2n2−3∣=52 (2n2−3)(n≥2).\Bigl| u_n - \frac12 \Bigr| = \Bigl| \frac{2(n^2 + 1) - (2n^2 - 3)}{2(2n^2 - 3)} \Bigr| = \frac{5}{2\,\abs{2n^2 - 3}} = \frac{5}{2\,(2n^2 - 3)} \quad (n \geq 2).

ثم سيطر عليه بمقدار بسيط: من أجل n≥2n \geq 2، 2n2−3≥n22n^2 - 3 \geq n^2، ومنه فالخطأ هو ≤52n2≤52n\leq \frac{5}{2n^2} \leq \frac 5{2n}. ومن أجل ε>0\varepsilon > 0، تعطي خاصية أرخميدس N≥max⁡(2,52ε)N \geq \max\bigl(2, \frac{5}{2\varepsilon}\bigr)؛ ومن أجل n≥Nn \geq N يكون الخطأ ≤ε\leq \varepsilon. وانتهى. والفكرة النافذة: لبرهان ε\varepsilon–NN ثلاث حركات بالضبط — احسب الخطأ، وحُدّه بمقدار أوليّ متناقص، وحلّ من أجل العتبة — وبعد مبرهنات هذا الفصل (العمليات والحصر) لا يكاد المرء يكتب مثل هذا البرهان مرة أخرى: إذ تعلّب المبرهنات الحركات الثلاث مرة واحدة وإلى الأبد.

مثال 11.3 (التباعد إلى اللانهاية، مصادَقًا عليه)

الادعاء: un=n2−100n→+∞u_n = n^2 - 100n \to +\infty. عمّل الحد المهيمن: un=n2(1−100n)≥n22u_n = n^2\bigl(1 - \frac{100}{n}\bigr) \geq \frac{n^2}{2} من أجل n≥200n \geq 200. ومن أجل MM معطى، خذ N=max⁡(200,⌈2M⌉)N = \max\bigl(200, \lceil\sqrt{2M}\rceil\bigr): فمن أجل n≥Nn \geq N، un≥n22≥Mu_n \geq \frac{n^2}{2} \geq M. وعادتان معروضتان هنا: تعميل الحد المهيمن يحوّل تنافسًا (n2n^2 ضد −100n-100n) إلى سلّم وحيد مضروب في عامل يؤول إلى 11؛ وقد تكون العتبة هائلة (u100=0u_{100} = 0، بل المتتالية سالبة قبل n=100n = 100) — فالتباعد إلى +∞+\infty عبارة عن الذيل، لا تبالي بأيّ قدر منته من سوء السلوك.

مثال 11.6 (العمليات مع حيلة جبرية واحدة)

احسب lim⁡ (n2+n−n)\lim\,\bigl(\sqrt{n^2 + n} - n\bigr). يؤول الجزآن كلٌّ على حدة إلى +∞+\infty: ولا تقول مبرهنة العمليات شيئًا عن فرقهما (وهو شكل غير محدَّد). اضرب في المرافق:

n2+n−n=(n2+n)−n2n2+n+n=nn2+n+n=11+1n+1.\sqrt{n^2 + n} - n = \frac{(n^2 + n) - n^2}{\sqrt{n^2 + n} + n} = \frac{n}{\sqrt{n^2+n} + n} = \frac{1}{\sqrt{1 + \frac1n} + 1} .

والآن يتقارب كل شيء: 1+1n→1\sqrt{1 + \frac1n} \to 1، لأن 0≤1+h−1=h1+h+1≤h0 \leq \sqrt{1 + h} - 1 = \frac{h}{\sqrt{1+h} + 1} \leq h (بالمرافق مرة أخرى، ثم بالحصر مع h=1nh = \frac1n)؛ وعندئذ تعطي مبرهنة العمليات النهاية 11+1=12\frac{1}{1 + 1} = \frac12. والفكرة النافذة: ليست مبرهنة العمليات حاسبةً لكل النهايات — فالأشكال غير المحدَّدة (∞−∞\infty - \infty و 00\frac00 و 0×∞0 \times \infty و 1∞1^\infty) يجب أولًا أن تُحوَّل بالجبر (المرافقات، وتعميل الحد المهيمن) حتى يتقارب كل جزء؛ والآلة المنهجية للحالات العنيدة هي النشر المقارب في الفصل 16.

在原文中阅读 ←