2.5 — Completeness ও Completion¶
এই অধ্যায়ে কী শিখব: Cauchy sequence (কশি অনুক্রম) কী; complete metric space (পূর্ণ মেট্রিক স্পেস) কী — কখন কোনো Cauchy sequence তার সীমা হারায় না; কোন space পূর্ণ (ℝ, ℝⁿ, C[a,b]) আর কোনটা নয় (ℚ); completion (পূর্ণকরণ) দিয়ে কীভাবে অপূর্ণ space পূরণ করা যায়।
উৎস (source): Cauchy (complete space); Hausdorff (completion)।
১. কেন শিখব? (Motivation)¶
Part 1.3-এ (অধ্যায় 1.3) আমরা দেখেছিলাম: ℝ-তে Cauchy sequence সবসময় converge করে। কিন্তু ℚ-তে এমন sequence আছে (যেমন \(\sqrt{2}\)-এর rational approximations) যেটা Cauchy, তবু ℚ-তে কোনো সীমা নেই।
Metric space-এর দুনিয়ায় এই সমস্যাটা আরও সাধারণ আকারে দেখা দেয়। ধরো তুমি analysis করছো কোনো function space-এ। Cauchy sequence তৈরি করলে — অনুভব হচ্ছে কোথাও converge করছে — কিন্তু সেই limit কি তোমার space-এর মধ্যেই আছে?
যে space-এ "Cauchy sequence সবসময় converge করে" তাকে বলি complete metric space (পূর্ণ মেট্রিক স্পেস)। এই ধর্মটাই analysis-এর মেরুদণ্ড — existence theorems, fixed point theorems, function spaces — সব কিছু এর উপর নির্ভর করে।
আর যদি space পূর্ণ না হয়? তাহলে সেটাকে একটা বড় complete space-এ "ঢুকিয়ে দিয়ে" পূর্ণ করা যায় — এই প্রক্রিয়াকে বলে completion (পূর্ণকরণ)।
মূল স্বজ্ঞা
Complete space = কোনো Cauchy sequence তার space ছেড়ে পালাতে পারে না। Incomplete space = এমন Cauchy sequence আছে যার limit space-এর বাইরে — "ছিদ্র" আছে। Completion = সেই ছিদ্রগুলো বুজিয়ে দেওয়া।
২. মূল ধারণা (Core idea)¶
Cauchy Sequence — মূল ধারণা¶
Convergent sequence মানে জানি: \(x_n \to L\) মানে সব বিন্দু কোনো একটা লক্ষ্য \(L\)-এর দিকে যাচ্ছে। কিন্তু Cauchy sequence-এ আমরা জিজ্ঞেস করি: sequence-এর নিজের বিন্দুগুলো কি ক্রমশ কাছে আসছে — limit না জেনেই?
কল্পনা করো একটা গোয়েন্দা এগিয়ে যাচ্ছে। সে জানে না ঠিক কোথায় পৌঁছাবে, কিন্তু প্রতিটা পদক্ষেপে নিজের আগের অবস্থান থেকে কম সরছে। এই "ক্রমশ কাছে আসা"-ই Cauchy property।
ℝ-তে এটা convergence-এর সমতুল্য (Cauchy = convergent in ℝ)। কিন্তু সাধারণ metric space-এ Cauchy sequence convergent নাও হতে পারে — সেখানেই completeness-এর প্রয়োজন।
চিত্র: Cauchy অনুক্রমের বিন্দুগুলো ক্রমশ কাছে আসছে — প্রতিটা \(\varepsilon\)-এর জন্য একটা \(N\) পাওয়া যায় যার পরে সব বিন্দু একটা ক্ষুদ্র ব্যান্ডের মধ্যে।
চিত্র ১: বাঁয়ে — ℝ-তে Cauchy sequence \(a_n = \lfloor n\sqrt{2} \rfloor / n\) converge করে \(\sqrt{2}\)-তে — ℝ complete। ডানে — একই sequence ℚ-তে থাকলে limit absent (\(\sqrt{2} \notin \mathbb{Q}\)) — ℚ incomplete।
৩. সংজ্ঞা ও উপপাদ্য (Definitions & Theorems)¶
Cauchy Sequence — আনুষ্ঠানিক সংজ্ঞা¶
সংজ্ঞা: Cauchy Sequence (কশি অনুক্রম)
Metric space \((X, d)\)-তে একটা sequence \(\{x_n\}\) হলো Cauchy sequence যদি:
অর্থাৎ: \(n\) বড় হলে sequence-এর যেকোনো দুটো বিন্দু যত ইচ্ছা কাছে চলে আসে।
Convergent \(\Rightarrow\) Cauchy:
উপপাদ্য
প্রতিটা convergent sequence Cauchy।
প্রমাণ: ধরো \(x_n \to L\)। দেওয়া \(\varepsilon > 0\), \(\exists N\) যেন \(n > N \Rightarrow d(x_n, L) < \varepsilon/2\)। তাহলে \(m, n > N\)-এর জন্য:
কিন্তু বিপরীত সাধারণ metric space-এ সত্য নয় — সেটাই নিচের সংজ্ঞায়।
Complete Metric Space — সংজ্ঞা¶
সংজ্ঞা: Complete Metric Space (পূর্ণ মেট্রিক স্পেস)
Metric space \((X, d)\) complete যদি: \(X\)-এর প্রতিটা Cauchy sequence \(X\)-এ কোনো \(L \in X\)-এ converge করে।
অর্থাৎ: Cauchy \(\Rightarrow\) Convergent (in \(X\))।
চিত্র: বাঁয়ে — \(\mathbb{R}\) (complete): \(x_n = 1/n\)-এর সীমা \(0 \in \mathbb{R}\) বিদ্যমান। ডানে — \((0,1)\) (incomplete): সীমা \(0\) স্পেসের বাইরে।
উদাহরণ: কোন কোন space পূর্ণ?¶
পূর্ণ (Complete) space:
| Space | Metric | Complete? | কারণ/মন্তব্য |
|---|---|---|---|
| \(\mathbb{R}\) | \(\lVert x - y \rVert\) | ✅ হ্যাঁ | Completeness Axiom (অধ্যায় 1.1) |
| \(\mathbb{R}^n\) | Euclidean | ✅ হ্যাঁ | coordinatewise ℝ-এর completeness |
| \(C[a,b]\) | \(\sup\) metric | ✅ হ্যাঁ | নিচে দেখো |
| \(\ell^2\) | \(\sqrt{\sum x_n^2}\) | ✅ হ্যাঁ | Hilbert space |
| \(\{\)finite set\(\}\) | যেকোনো | ✅ হ্যাঁ | Cauchy \(\Rightarrow\) eventually constant |
অপূর্ণ (Incomplete) space:
| Space | Metric | Complete? | কারণ |
|---|---|---|---|
| \(\mathbb{Q}\) | \(\lVert x - y \rVert\) | ❌ না | \(\sqrt{2}\)-এর rational approximations |
| \((0, 1)\) | \(\lVert x - y \rVert\) | ❌ না | \(x_n = 1/n \to 0 \notin (0,1)\) |
| polynomials \(\mathcal{P}[a,b]\) | \(\sup\) | ❌ না | limit function may not be polynomial |
\(\mathbb{R}\) কেন complete? (Sketch) এটা সরাসরি Completeness Axiom (অধ্যায় 1.1) থেকে আসে: ℝ-তে Cauchy sequence bounded, bounded sequence-এর Bolzano-Weierstrass দিয়ে convergent subsequence আছে, আর Cauchy হলে পুরো sequence ওই limit-এর দিকে যায়।
\(C[a,b]\) কেন complete?¶
\(C[a,b]\) = \([a,b]\)-তে সব continuous function, metric \(d(f,g) = \sup_{x \in [a,b]} |f(x) - g(x)|\)।
উপপাদ্য: \(C[a,b]\) is complete
\((C[a,b], d_\infty)\) যেখানে \(d_\infty(f,g) = \sup|f-g|\) — একটা complete metric space।
প্রমাণ (sketch):
ধরো \(\{f_n\}\) Cauchy in \(C[a,b]\)। তাহলে প্রতিটা \(x\)-এর জন্য \(\{f_n(x)\}\) Cauchy in ℝ (কারণ \(|f_m(x) - f_n(x)| \leq d_\infty(f_m, f_n)\)), সুতরাং \(\exists f(x) = \lim_{n \to \infty} f_n(x)\) pointwise।
- এই pointwise limit \(f\) কি continuous? হ্যাঁ, কারণ uniform Cauchy \(\Rightarrow\) uniform convergence \(\Rightarrow\) limit continuous।
- \(d_\infty(f_n, f) \to 0\)? হ্যাঁ, কারণ \(|f_n(x) - f(x)| = \lim_{m\to\infty} |f_n(x) - f_m(x)| \leq \sup_{m,n > N} d_\infty(f_m, f_n) \to 0\)।
সুতরাং \(f_n \to f\) in \(C[a,b]\)। \(\blacksquare\)
Completeness ও Closure¶
উপপাদ্য
Complete metric space-এর যেকোনো closed subset নিজেও complete (closed metric subspace হিসেবে)।
প্রমাণ: ধরো \(A \subseteq X\) closed এবং \(\{x_n\} \subseteq A\) Cauchy। \(X\) complete বলে \(x_n \to L \in X\)। \(A\) closed বলে \(L \in A\)। সুতরাং \(A\) complete। \(\blacksquare\)
ব্যবহার: \([0,1] \subseteq \mathbb{R}\) closed, তাই \(([0,1], |\cdot|)\) complete। কিন্তু \((0,1)\) closed নয়, তাই complete নয়।
চিত্র: ক্রমশ ছোট হওয়া বন্ধ বলগুলো (\(r_n \to 0\)) একটিমাত্র বিন্দু \(x^*\)-এ মিলিত হয় — Cantor Intersection Theorem।
Completion — অপূর্ণকে পূর্ণ করা¶
সংজ্ঞা: Completion (পূর্ণকরণ)
Metric space \((X, d)\)-এর একটা completion হলো একটা complete metric space \((\hat{X}, \hat{d})\) এবং একটা isometric embedding \(\varphi: X \to \hat{X}\) যেন:
- \(\varphi(X)\) dense in \(\hat{X}\) — অর্থাৎ \(\overline{\varphi(X)} = \hat{X}\)।
- \(\hat{d}(\varphi(x), \varphi(y)) = d(x, y)\) সব \(x, y \in X\)-এর জন্য।
সরল কথায়: \(\hat{X}\) হলো \(X\)-কে সব missing limit-সহ পূরণ করা — \(X\) যেন \(\hat{X}\)-এর ভেতরে ঘন হয়ে বসে আছে।
উপপাদ্য: Existence and Uniqueness of Completion
প্রতিটা metric space \((X, d)\)-এর একটা completion \((\hat{X}, \hat{d})\) আছে, এবং এটা isometry পর্যন্ত unique।
Intuition — কীভাবে তৈরি হয়?
ধারণাটা সুন্দর: \(\hat{X}\) তৈরি হয় \(X\)-এর সব Cauchy sequence-এর equivalence class নিয়ে। দুটো Cauchy sequence \(\{x_n\}\) ও \(\{y_n\}\) equivalent যদি \(d(x_n, y_n) \to 0\)। তাহলে প্রতিটা equivalence class একটা "potential limit" — সেটা \(X\)-এ থাকুক বা না থাকুক।
Metric: \(\hat{d}([\{x_n\}], [\{y_n\}]) = \lim_{n \to \infty} d(x_n, y_n)\) (এই limit সবসময় আছে)।
Embedding: \(\varphi(x) = [\{x, x, x, \ldots\}]\) — constant sequence-এর class।
চিত্র: বাঁয়ে — অসম্পূর্ণ স্পেস \(X\)-এ "ছিদ্র" (অনুপস্থিত সীমা-বিন্দু)। ডানে — completion \(\hat{X}\)-এ সেই বিন্দুগুলো যোগ করে ছিদ্র বুজিয়ে দেওয়া হয়েছে।
উদাহরণ: ℚ-এর completion হলো ℝ! ℝ তৈরিই হয়েছে ℚ-এর Cauchy sequence-এর equivalence class নিয়ে (Cantor's construction)।
চিত্র ২: \(\hat{X}\) (বাইরের এলাকা) হলো \(X\)-এর completion। \(X\) (ভেতরের এলাকা) \(\hat{X}\)-এ ঘনভাবে বসে আছে। লাল বিন্দু = \(\hat{X}\)-এ যোগ হওয়া নতুন limit। কমলা curve = \(X\)-এর একটা Cauchy sequence যার limit \(\hat{X}\)-এ আছে।
Connection to Part 1 (অধ্যায় 1.3)¶
অধ্যায় 1.3-এ আমরা দেখেছিলাম ℝ-তে "Cauchy \(\Leftrightarrow\) Convergent"। এটা ছিল completeness axiom-এর ফলাফল। এখন metric space framework-এ সেটা:
- ℝ একটা complete metric space — তাই Cauchy \(\Rightarrow\) Convergent।
- ℚ incomplete — Cauchy \(\not\Rightarrow\) Convergent।
- ℝ হলো ℚ-এর completion।
এই connection-টাই দেখায় যে Part 1-এর ভিত্তি আসলে একটা নির্দিষ্ট metric space-এর completeness-এর ফলাফল — এবং এই ধারণা অনেক বড় পরিসরে কাজ করে।
৪. উদাহরণ ও Analogy¶
Analogy: অসম্পূর্ণ জিগস পাজল¶
ধরো তুমি একটা জিগস পাজল সাজাচ্ছ। প্রতিটা পদক্ষেপে পাজলটা বেশি সম্পূর্ণ হচ্ছে — পরের টুকরো আগেরটার কাছেই বসছে (Cauchy property)। কিন্তু শেষ টুকরোটা হয়তো তোমার বাক্সে নেই (incomplete space)। তুমি জানো কোথায় বসার কথা — কিন্তু আসলে নেই। Completion মানে সেই অনুপস্থিত টুকরোটা তৈরি করে জায়গামতো বসিয়ে দেওয়া।
Worked Example ১: \((0,1)\) incomplete¶
দাবি: \((0,1)\) with usual metric \(d(x,y) = |x-y|\) incomplete।
প্রমাণ: \(x_n = 1/n\) নাও। \(m, n > N\) হলে \(|x_m - x_n| = |1/m - 1/n| < 2/N \to 0\) — Cauchy ✓। কিন্তু \(x_n \to 0 \notin (0,1)\) — convergent কিন্তু limit outside space। অতএব incomplete। \(\blacksquare\)
Completion: \((0,1)\)-এর completion হলো \([0,1]\) — endpoints যোগ করলেই হয়।
Worked Example ২: ℚ incomplete — \(\sqrt{2}\)-এর approximation¶
\(a_1 = 1,\; a_{n+1} = \frac{a_n}{2} + \frac{1}{a_n}\) (Newton's method for \(\sqrt{2}\))।
চিত্র: সংখ্যারেখায় \(\mathbb{Q}\)-র বিন্দুগুলো \(\sqrt{2}\)-এর দিকে ধাবিত হচ্ছে, কিন্তু \(\sqrt{2} \notin \mathbb{Q}\) — ওই জায়গায় একটা "ছিদ্র" আছে।
এই sequence Cauchy in ℚ, কিন্তু \(a_n \to \sqrt{2} \notin \mathbb{Q}\)। এটাই দেখায় ℚ incomplete।
Worked Example ৩: বন্ধ subspace complete¶
\(A = [0,1] \subset \mathbb{R}\), metric \(|x-y|\)। প্রতিটা Cauchy sequence \(\{x_n\} \subset [0,1]\) converges in ℝ। Limit \(L \in [0,1]\) (কারণ \([0,1]\) closed)। সুতরাং \([0,1]\) complete।
৫. সাধারণ ভুল (Common mistakes)¶
-
"Cauchy = Convergent" সব space-এ ভাবা। শুধু complete space-এ Cauchy \(\Rightarrow\) Convergent। ℚ-তে এটা ব্যর্থ।
-
"Convergent হলেই Cauchy" ভুলে যাওয়া। এটা সবসময় সত্য — convergent সবসময় Cauchy। কিন্তু বিপরীত শুধু complete space-এ।
-
"Bounded Cauchy sequence converge করে" ভাবা। ℝ-তে হ্যাঁ, কিন্তু সাধারণ metric space-এ না।
-
Closed subspace মানে complete ভাবা — incomplete ambient space-এ ভুল। "Closed subspace complete" তখনই সত্য যখন ambient space complete। ℚ-তে সব subset closed (discrete topology বিবেচনা করলে), কিন্তু ℚ নিজেই incomplete।
-
Completion unique মনে না রাখা। Completion isometry পর্যন্ত unique — দুটো completion সবসময় isometric।
-
ℝ আর ℝⁿ-এর completeness আলাদাভাবে মুখস্থ রাখা। ℝⁿ-এর completeness ℝ-এর completeness থেকে আসে — coordinate-wise argument।
৬. এক্সারসাইজ (Exercises)¶
নিজে চেষ্টা করো, তারপর সমাধান খোলো।
-
দেখাও যে \(X = (1, \infty)\) with usual metric incomplete। কোন sequence witness হিসেবে কাজ করে?
-
\(C[0,1]\) with metric \(d_1(f,g) = \int_0^1 |f-g|\,dx\) (L¹-metric) — এটা complete কি না? (Hint: ভাবো step function sequence কি continuous function দিয়ে ধরা যায়?)
-
ধরো \((X, d)\) complete এবং \(A \subseteq X\)। প্রমাণ করো: \(A\) complete (subspace হিসেবে) \(\Leftrightarrow\) \(A\) closed in \(X\)।
-
ধরো \(\{x_n\}\) Cauchy in \(X\) এবং কোনো subsequence \(x_{n_k} \to L\)। প্রমাণ করো \(x_n \to L\)।
-
\(\ell^\infty\) = bounded sequences with \(d(\{a_n\}, \{b_n\}) = \sup_n |a_n - b_n|\) — এটা complete? প্রমাণ দাও বা counterexample দাও।
-
\(X = \{f \in C[0,1] : f(0) = 0\}\) with sup metric — এটা complete?
-
(চ্যালেঞ্জ) ℚ-তে metric \(d(p/q, r/s) =\) usual absolute value। দেখাও এই metric space-এর completion হলো ℝ — অর্থাৎ ℚ dense in ℝ এবং ℝ complete।
-
বলো কোনটা সত্য/মিথ্যা এবং কারণ দাও: "প্রতিটা compact metric space complete।"
৭. সমাধান (ব্যাখ্যাসহ)¶
১-নং সমাধান দেখাও
\(x_n = 1 + 1/n \in (1, \infty)\)।
Cauchy: \(|x_m - x_n| = |1/m - 1/n| \leq 1/m + 1/n \to 0\) — Cauchy ✓।
Limit: \(x_n \to 1\), কিন্তু \(1 \notin (1, \infty)\)।
সুতরাং \(\{x_n\}\) Cauchy কিন্তু convergent in \((1, \infty)\) নয় — incomplete। \(\blacksquare\)
Completion হলো \([1, \infty)\)।
২-নং সমাধান দেখাও
\((C[0,1], d_1)\) incomplete।
Witness: \(f_n(x) = \begin{cases} 0 & 0 \leq x \leq 1/2 - 1/n \\ n(x - 1/2 + 1/n) & 1/2 - 1/n < x < 1/2 \\ 1 & 1/2 \leq x \leq 1 \end{cases}\)
প্রতিটা \(f_n \in C[0,1]\) (piecewise linear, continuous)।
\(d_1(f_m, f_n) = \int |f_m - f_n| \leq 1/m + 1/n \to 0\) — Cauchy ✓।
কিন্তু pointwise limit হলো Heaviside step function \(H(x - 1/2)\) — যা \(x = 1/2\)-তে discontinuous, তাই \(\notin C[0,1]\)।
অতএব \(d_1\)-metric-এ \(C[0,1]\) incomplete।
৩-নং সমাধান দেখাও
(\(\Rightarrow\)): ধরো \(A\) complete। দেখাতে হবে \(A\) closed, অর্থাৎ \(A\)-তে converge করা প্রতিটা sequence-এর limit \(A\)-তে।
ধরো \(x_n \in A\) এবং \(x_n \to L\) in \(X\)। তাহলে \(\{x_n\}\) convergent, সুতরাং Cauchy (in \(A\))। \(A\) complete বলে \(\{x_n\}\) converges in \(A\) — call limit \(L'\)। কিন্তু limits unique, তাই \(L' = L \in A\)। সুতরাং \(A\) closed। ✓
(\(\Leftarrow\)): ধরো \(A\) closed এবং \(\{x_n\} \subseteq A\) Cauchy। \(X\) complete বলে \(x_n \to L \in X\)। \(A\) closed বলে \(L \in A\)। সুতরাং \(A\) complete। ✓ \(\blacksquare\)
৪-নং সমাধান দেখাও
দাবি: \(\{x_n\}\) Cauchy এবং \(x_{n_k} \to L\) হলে \(x_n \to L\)।
ধরো \(\varepsilon > 0\)।
- Cauchy: \(\exists N_1\) যেন \(m, n > N_1 \Rightarrow d(x_m, x_n) < \varepsilon/2\)।
- \(x_{n_k} \to L\): \(\exists K\) যেন \(k > K \Rightarrow d(x_{n_k}, L) < \varepsilon/2\)।
নাও \(N = \max(N_1, n_K)\) (এমন \(K\) যেন \(n_K > N_1\))।
\(n > N\) হলে এমন \(k\) বেছে নাও যেন \(n_k > n > N\):
সুতরাং \(x_n \to L\)। \(\blacksquare\)
৫-নং সমাধান দেখাও
\(\ell^\infty\) complete।
প্রমাণ: ধরো \(\{a^{(k)}\}\) Cauchy in \(\ell^\infty\), যেখানে \(a^{(k)} = (a_1^{(k)}, a_2^{(k)}, \ldots)\)।
প্রতিটা coordinate \(n\)-এর জন্য: \(|a_n^{(k)} - a_n^{(l)}| \leq d(a^{(k)}, a^{(l)}) \to 0\) — তাই \(\{a_n^{(k)}\}\) Cauchy in ℝ, সুতরাং \(a_n^{(k)} \to a_n\) for some \(a_n \in \mathbb{R}\)।
\(a = (a_1, a_2, \ldots)\) নাও। \(a\) bounded? Cauchy বলে eventually \(d(a^{(k)}, a^{(N)}) < 1\), তাই \(\|a^{(k)}\|_\infty \leq \|a^{(N)}\|_\infty + 1\) — \(a\) bounded। \(a \in \ell^\infty\)।
\(d(a^{(k)}, a) = \sup_n |a_n^{(k)} - a_n| \to 0\)? প্রতিটা coordinate যায়; uniform control Cauchy দেয়। Yes — \(d(a^{(k)}, a) \to 0\)।
সুতরাং \(\ell^\infty\) complete। \(\blacksquare\)
৬-নং সমাধান দেখাও
\(X = \{f \in C[0,1] : f(0) = 0\}\) with sup metric — complete।
\(X\) হলো \(C[0,1]\) (যা complete) এর একটা subspace।
\(X\) closed in \(C[0,1]\)? হ্যাঁ: ধরো \(f_n \in X\) এবং \(f_n \to f\) uniformly। তাহলে \(f(0) = \lim f_n(0) = \lim 0 = 0\) — তাই \(f \in X\)। সুতরাং \(X\) closed।
Complete space-এর closed subset complete। সুতরাং \(X\) complete। ✓
৭-নং সমাধান দেখাও
দুটো অংশ দেখাতে হবে: (i) ℝ complete, (ii) ℚ dense in ℝ।
(i) ℝ complete: অধ্যায় 1.3-এর Cauchy completeness theorem: ℝ-তে Cauchy \(\Leftrightarrow\) Convergent। এটা Completeness Axiom (অধ্যায় 1.1) ও Bolzano-Weierstrass-এর ফলাফল। ✓
(ii) ℚ dense in ℝ: অধ্যায় 1.1-এর Density of ℚ in ℝ: যেকোনো দুটো বাস্তব সংখ্যার মাঝে একটা মূলদ সংখ্যা আছে। তাই \(\overline{\mathbb{Q}} = \mathbb{R}\)। ✓
এই দুটো মিলে ℝ হলো ℚ-এর completion (isometry হলো inclusion map)। \(\blacksquare\)
৮-নং সমাধান দেখাও
সত্য: প্রতিটা compact metric space complete।
প্রমাণ: ধরো \((X, d)\) compact এবং \(\{x_n\}\) Cauchy।
Compact space-এ যেকোনো sequence-এর একটা convergent subsequence আছে (sequential compactness = compactness in metric spaces)।
তাই \(\{x_n\}\)-এর একটা convergent subsequence \(x_{n_k} \to L \in X\) আছে।
কিন্তু \(\{x_n\}\) Cauchy এবং subsequence converge করে — Exercise 4-এর ফলাফল থেকে পুরো sequence \(x_n \to L\)।
সুতরাং compact space complete। \(\blacksquare\)
উদাহরণ: \([0,1]\) compact এবং complete; \(\mathbb{R}\) complete কিন্তু compact নয়।
৮. সারসংক্ষেপ ও Checklist¶
এই অধ্যায়ের পর নিজেকে যাচাই করো:
- [ ] Cauchy sequence (কশি অনুক্রম)-এর সংজ্ঞা: \(\forall \varepsilon > 0,\, \exists N: m,n > N \Rightarrow d(x_m, x_n) < \varepsilon\) — মুখে বলতে পারি।
- [ ] Convergent \(\Rightarrow\) Cauchy, কিন্তু Cauchy \(\not\Rightarrow\) Convergent (শুধু complete space-এ)।
- [ ] Complete metric space (পূর্ণ মেট্রিক স্পেস): Cauchy \(\Rightarrow\) Convergent।
- [ ] ℝ ও ℝⁿ complete; ℚ ও \((0,1)\) incomplete — উদাহরণ দিতে পারি।
- [ ] \(C[a,b]\) with sup metric complete — statement জানি।
- [ ] Complete space-এর closed subset complete; open subset সাধারণত নয়।
- [ ] Completion (পূর্ণকরণ): প্রতিটা metric space-এর একটা completion আছে, isometry পর্যন্ত unique; ℝ = completion of ℚ।
- [ ] Compact \(\Rightarrow\) Complete।
➡️ পরের অধ্যায়: 2.6 — Contraction Mapping Principle — completeness-এর সবচেয়ে শক্তিশালী প্রয়োগ: Banach Fixed Point Theorem। যেকোনো contraction mapping-এর একটা অনন্য স্থির বিন্দু থাকে — differential equation থেকে numerical computation পর্যন্ত এর ব্যবহার।