4.2 — Banach Space (Completeness)¶
এই অধ্যায়ে কী শিখব: Cauchy sequence (কশি ধারা) in a normed space কী; complete (পূর্ণ) normed space মানে Banach space (বানাখ স্পেস); উদাহরণ — \(\mathbb{R}^n\), \(C[a,b]\), \(\ell^p\) complete; একটা incomplete normed space (\(C[0,1]\) under \(\lVert \cdot \rVert_1\)) এবং তার "hole"; series in Banach spaces — absolutely convergent ⇒ convergent (Banach-এর characterisation); Part 2.5-এর complete metric space-এর সাথে সম্পর্ক।
উৎস (source): Banach (complete normed space)।
১. কেন শিখব? (Motivation)¶
আগের অধ্যায়ে normed space শিখলাম — vector যোগ আর norm আছে, metric তৈরি হয়। এখন একটা গভীর প্রশ্ন: এই space-এ Cauchy sequence-এর limit কি সবসময় space-এর মধ্যেই থাকে?
মনে করো রাস্তায় হাঁটছ। প্রতিটা পদক্ষেপ আগের চেয়ে ছোট হচ্ছে — মনে হচ্ছে কোথাও পৌঁছাবে। কিন্তু সেই "কোথাও" কি আদৌ আছে?
- \(\mathbb{Q}\) (মূলদ সংখ্যা)-তে এই সমস্যাটা ঘটে: \(1, 1.4, 1.41, 1.414, \ldots\) একটা Cauchy sequence, কিন্তু limit \(\sqrt{2} \notin \mathbb{Q}\)। Space-এ একটা "hole" আছে।
- \(\mathbb{R}\)-এ এই সমস্যা নেই — যেকোনো Cauchy sequence-এর limit \(\mathbb{R}\)-এ আছেই।
Normed space-এ এই "hole নেই" মানে হলো completeness (পূর্ণতা)। আর complete normed space-এর নামই Banach space — Stefan Banach-এর নামে।
কেন এত গুরুত্বপূর্ণ?
Analysis-এর সবচেয়ে শক্তিশালী theorem-গুলো (fixed point theorem, open mapping theorem, Hahn-Banach) Banach space-এ কাজ করে। Incomplete space-এ এগুলো ব্যর্থ হতে পারে।
এই ধারণাটা Part 2.5-এ complete metric space-এর নির্দিষ্ট রূপ — শুধু এখানে metric টা norm থেকে এসেছে, তাই অতিরিক্ত linear structure আছে।
২. মূল ধারণা (Core idea)¶
Cauchy sequence (কশি ধারা) — পুনরাবৃত্তি¶
Normed space \((V, \lVert \cdot \rVert)\)-এ একটা sequence \((x_n)\) Cauchy হয় যদি terms গুলো পরস্পরের কাছাকাছি আসতে থাকে:
স্বজ্ঞা: শুধু দেখছি পরবর্তী terms পরস্পরের কাছে আসছে কিনা — কোথায় যাচ্ছে তা না দেখেই।
চিত্র ১: বাঁয়ে — Cauchy sequence-এর terms ধীরে ধীরে একটা limit-এর কাছে জমছে (\(\varepsilon\)-band দিয়ে দেখানো)। ডানে — geometric picture: nested neighbourhoods ছোট হতে হতে একটা বিন্দুতে মিলছে।
Convergent ⇒ Cauchy সবসময় সত্য। কিন্তু Cauchy ⇒ Convergent শুধু complete space-এ সত্য।
Complete মানে: কোনো hole নেই¶
চিত্র ২: বাঁয়ে — \(\mathbb{R}\)-এ Newton's method দিয়ে \(\sqrt{2}\)-এর Cauchy approximation, limit সবসময় পাওয়া যায় (complete)। ডানে — \(\mathbb{Q}\)-তে একই sequence কিন্তু limit \(\sqrt{2} \notin \mathbb{Q}\) — "hole" দিয়ে দেখানো।
৩. সংজ্ঞা ও উপপাদ্য (Definitions & Theorems)¶
Banach Space-এর সংজ্ঞা¶
সংজ্ঞা: Banach Space (বানাখ স্পেস)
একটা normed vector space \((V, \lVert \cdot \rVert)\) কে Banach space বলা হয় যদি এটা complete (পূর্ণ) হয় — অর্থাৎ যেকোনো Cauchy sequence \((x_n)\) in \(V\)-এর limit \(V\)-তেই থাকে:
Stefan Banach ১৯২০ সালের আশেপাশে এই কাঠামো নিয়ে পদ্ধতিগতভাবে কাজ করেন। তাঁর ১৯৩২ সালের "Théorie des opérations linéaires" বইটিকে functional analysis-এর ভিত্তিপাথর হিসেবে ধরা হয়।
কোন space গুলো Banach?¶
উপপাদ্য: \(\mathbb{R}^n\) Banach
\(\mathbb{R}^n\), যেকোনো norm (\(\ell^1, \ell^2, \ell^\infty\) বা অন্য যেকোনো norm)-সহ, একটা Banach space।
প্রমাণের ধারণা: \(\mathbb{R}^n\)-এর Cauchy sequence মানে coordinate-wise Cauchy। Real numbers-এর completeness থেকে প্রতিটা coordinate converge করে। Limit-টা \(\mathbb{R}^n\)-এ আছেই। \(\square\)
উপপাদ্য: \(C[a,b]\) with Sup Norm is Banach
\((C[a,b], \lVert \cdot \rVert_\infty)\) একটা Banach space।
প্রমাণ স্কেচ: ধরো \((f_n)\) Cauchy in \((C[a,b], \lVert \cdot \rVert_\infty)\)। তাহলে প্রতিটা fixed \(x\)-এ \((f_n(x))\) একটা Cauchy sequence in \(\mathbb{R}\), তাই \(f(x) = \lim_{n \to \infty} f_n(x)\) define করা যায়। Cauchy condition থেকে convergence uniform, তাই \(f\) continuous। সুতরাং \(f \in C[a,b]\) এবং \(\lVert f_n - f \rVert_\infty \to 0\)। \(\square\)
উপপাদ্য: \(\ell^p\) is Banach
প্রতিটা \(p \ge 1\)-এর জন্য \((\ell^p, \lVert \cdot \rVert_p)\) একটা Banach space।
প্রমাণ ধারণা: \(\ell^p\)-তে Cauchy sequence নিলে coordinate-wise convergence পাওয়া যায়। তারপর দেখাতে হয় limit sequence-টাও \(\ell^p\)-এ আছে এবং norm-convergence হচ্ছে। (বিস্তারিত: Axler, Chapter 6।)
Incomplete Normed Space — "hole"-এর উদাহরণ¶
\(C[0,1]\)-কে \(\lVert \cdot \rVert_1 = \int_0^1 \lvert f \rvert\) norm দিয়ে দেখি।
এই space-এ নিচের sequence নাও:
এটা ramp function — \(1/2\)-এর কাছে ধীরে ধীরে \(0\) থেকে \(1\)-এ ওঠে।
\((f_n)\) Cauchy in \(\lVert \cdot \rVert_1\): বড় \(m, n\)-এর জন্য \(\lVert f_m - f_n \rVert_1 \to 0\) (ramp region ছোট হয়)।
কিন্তু "limit" হওয়া উচিত Heaviside step function \(H(x) = \mathbf{1}_{[1/2, 1]}\) — যা \(x < 1/2\)-এ \(0\) এবং \(x \ge 1/2\)-এ \(1\)।
সমস্যা: \(H\) discontinuous, তাই \(H \notin C[0,1]\)! এই Cauchy sequence-এর limit continuous function-এর space-এ নেই — "hole"!
সমাধান: \(L^1[0,1]\)-এ (Lebesgue integrable functions-এর space, Part 3-এর বিষয়) এই space complete।
Series in Banach Spaces — Completeness-এর Characterisation¶
Banach space-এর একটা মজার characterisation আছে series দিয়ে।
উপপাদ্য: Absolutely Convergent ⇒ Convergent
একটা normed space \((V, \lVert \cdot \rVert)\) Banach space হওয়ার necessary and sufficient শর্ত হলো:
যখনই \(\sum_{n=1}^\infty \lVert x_n \rVert < \infty\) (absolutely convergent), তখন \(\sum_{n=1}^\infty x_n\) converges in \(V\)।
অর্থাৎ absolutely convergent series সবসময় convergent।
প্রমাণ স্কেচ (⇒): ধরো space Banach এবং \(\sum \lVert x_n \rVert < \infty\)। Partial sums \(S_N = \sum_{n=1}^N x_n\) Cauchy: \(m > N\) হলে \(\lVert S_m - S_N \rVert \le \sum_{n=N+1}^m \lVert x_n \rVert \to 0\)। Completeness থেকে \(S_N\) converges।
প্রমাণ স্কেচ (⟸): Converse দেখাতে হলে — যদি এই property থাকে, তাহলে যেকোনো Cauchy sequence converge করে (subsequence দিয়ে যুক্তি)। \(\square\)
চিত্র ৩: বাঁয়ে — \(\sum 1/n^2\) absolutely convergent; partial sums \(\to \pi^2/6\)। ডানে — \(\sum 1/n\) diverges (absolute), \(\sum (-1)^n/n\) converges conditionally to \(\ln 2\)। Banach space-এ absolutely convergent মানেই convergent, কিন্তু incomplete space-এ তা নাও হতে পারে।
Banach Space-এর তালিকা¶
| Space | Norm | Banach? |
|---|---|---|
| \(\mathbb{R}^n\) | \(\ell^1, \ell^2, \ell^\infty\) যেকোনো | ✅ হ্যাঁ |
| \(\mathbb{C}^n\) | যেকোনো norm | ✅ হ্যাঁ |
| \(C[a,b]\) | sup norm \(\lVert \cdot \rVert_\infty\) | ✅ হ্যাঁ |
| \(C[a,b]\) | \(L^1\) norm \(\int \lvert f \rvert\) | ❌ না (incomplete) |
| \(\ell^p\) (\(p \ge 1\)) | \(\lVert \cdot \rVert_p\) | ✅ হ্যাঁ |
| Polynomials \(\mathcal{P}[a,b]\) | sup norm | ❌ না (incomplete) |
| \(L^p(\mu)\) | \(\lVert f \rVert_p = (\int \lvert f \rvert^p)^{1/p}\) | ✅ হ্যাঁ (Part 3-এ) |
Completion (পূর্ণতার পরিপূরক)¶
যেকোনো normed space \((V, \lVert \cdot \rVert)\)-এর একটা completion (পূর্ণতার সম্পূর্ণতা) থাকে — একটা Banach space \(\hat{V}\) যেখানে \(V\) isometrically embedded এবং \(V\) dense। উদাহরণ: \(\mathbb{Q}\) এর completion হলো \(\mathbb{R}\); polynomials-এর completion হলো \(C[a,b]\) (Weierstrass theorem থেকে)।
৪. উদাহরণ ও Analogy¶
Analogy: complete space যেন "শূন্য ছাদের ঘর"¶
একটা incomplete space ভাবো যেমন ছাদে বড় ফুটো আছে এমন একটা ঘর — বৃষ্টি পড়লে বাইরে বেরিয়ে যায়। Cauchy sequence গুলো যেন ঘরের ভেতর দৌড়াচ্ছে, কিন্তু কোথাও কোথাও ফুটো দিয়ে বেরিয়ে যাওয়ার জায়গা আছে। Banach space হলো সেই ঘর যার ছাদে কোনো ফুটো নেই — sequence ভেতরেই থাকে।
Worked example 1: \(\ell^2\)-এ Cauchy sequence¶
\((x^{(n)})\) sequence define করি: \(x^{(n)} = (1, 1/2, 1/3, \ldots, 1/n, 0, 0, \ldots)\) — প্রথম \(n\) term আছে, বাকি শূন্য।
প্রতিটা \(x^{(n)} \in \ell^2\) (finite sum)।
কারণ \(\sum 1/k^2\) converges। তাই \((x^{(n)})\) Cauchy।
Limit: \(x = (1, 1/2, 1/3, \ldots) \in \ell^2\) কারণ \(\sum 1/k^2 = \pi^2/6 < \infty\)। Space complete।
Worked example 2: \(C[0,1]\) under \(\lVert \cdot \rVert_1\) — incomplete¶
আগে বর্ণিত ramp sequence \((f_n)\) নাও।
Cauchy — কিন্তু limit হওয়া উচিত Heaviside function, যা \(C[0,1]\)-এ নেই।
তাই \((C[0,1], \lVert \cdot \rVert_1)\) incomplete।
Worked example 3: polynomials under sup norm — incomplete¶
\([0,1]\)-এ polynomial-গুলোর space \(\mathcal{P}[0,1]\) নাও।
এটা \(\arctan(x)\)-এর Taylor polynomial। \(\lVert p_m - p_n \rVert_\infty \to 0\) (Cauchy), কিন্তু limit \(\arctan(x)\) কোনো polynomial নয়!
তাই \((\mathcal{P}[0,1], \lVert \cdot \rVert_\infty)\) incomplete। Completion হলো \(C[0,1]\) (Weierstrass approximation theorem — Part 2-এ দেখেছি)।
৫. সাধারণ ভুল (Common mistakes)¶
-
"Cauchy = Convergent" সব space-এ ভাবা। এটা শুধু complete space-এ সত্য। \(\mathbb{Q}\)-তে, বা \(C[0,1]\) under \(\lVert \cdot \rVert_1\)-এ — Cauchy হলেই convergent নয়।
-
Completeness আর bounded গুলানো। Closed bounded set-এ sequence থাকলে তা converge করবে — এটা শুধু finite-dimensional Banach space-এ (Heine-Borel)। Infinite-dimensional-এ ভুল।
-
"Norm equivalent মানে Banach-ও equivalent।" হ্যাঁ — finite-dimensional space-এ দুটো norm equivalent হলে একটায় Cauchy হলে অন্যটায়ও। কিন্তু infinite-dimensional-এ norm equivalence fail করতে পারে।
-
Series convergence মানে absolute convergence ভাবা। \(\mathbb{R}\) বা Banach space-এ absolutely convergent ⇒ convergent, কিন্তু conditionally convergent series exist করে (যেমন \(\sum (-1)^n/n\))।
-
Completion "extend" করার ভুল ধারণা। Incomplete space-এর completion unique (up to isometry), কিন্তু পুরনো space-এর বাইরে elements যোগ হয় — এটা নতুন space, পুরনো space নয়।
-
"\(C[a,b]\) সবসময় incomplete"। Sup norm-এ \(C[a,b]\) complete (Banach)। শুধু \(L^1\) norm-এ incomplete। Norm পরিবর্তনে completeness পরিবর্তন হতে পারে।
৬. এক্সারসাইজ (Exercises)¶
নিজে চেষ্টা করো, তারপর সমাধান খোলো।
-
\(\mathbb{R}^2\)-এ \((x_n, y_n) = \left(\frac{1}{n}, \frac{(-1)^n}{n}\right)\) sequence-টা Cauchy কিনা দেখাও। এর limit কোথায়?
-
\(\ell^1\)-এ sequence \((x^{(n)})\) define করো: \(x^{(n)}_k = 1/2^k\) যদি \(k \le n\), এবং \(0\) যদি \(k > n\)। এটা Cauchy কিনা দেখাও এবং limit বের করো।
-
\((C[0,1], \lVert \cdot \rVert_\infty)\)-এ \(f_n(x) = x^n\) sequence কি Cauchy? [ইঙ্গিত: \(\lVert f_n - f_m \rVert_\infty\) হিসেব করো।]
-
Banach space-এ দেখাও: \(\sum_{n=1}^\infty \frac{x_n}{2^n}\) converges যদি \((x_n)\) একটা bounded sequence in the space with \(\lVert x_n \rVert \le M\) for all \(n\)। [ইঙ্গিত: absolute convergence পরীক্ষা করো।]
-
\((C[0,1], \lVert \cdot \rVert_\infty)\)-এ \(f_n(x) = \frac{x}{1 + nx}\) (\(n \ge 1\)) দেখাও এটা Cauchy কিনা। Limit function কী? সেটা কি \(C[0,1]\)-এ আছে?
-
\(\ell^\infty\)-এ \(e^{(n)} = (1/1, 1/2, \ldots, 1/n, 0, 0, \ldots)\) (প্রথম \(n\) term \(1/k\), বাকি শূন্য) একটা Cauchy sequence কিনা? Limit কী?
-
দেখাও: \((\ell^1, \lVert \cdot \rVert_1)\) Banach space — অর্থাৎ \(\ell^1\)-এর যেকোনো Cauchy sequence-এর limit \(\ell^1\)-এ। [ইঙ্গিত: coordinate-wise limit নাও, তারপর দেখাও sum finite।]
-
\(V = \{f \in C[0,1] : f(0) = 0\}\) sup norm-সহ। এটা কি Banach space?
৭. সমাধান (ব্যাখ্যাসহ)¶
১-নং সমাধান দেখাও
\((x_n, y_n) = (1/n,\, (-1)^n/n)\)।
\(\lVert (x_m, y_m) - (x_n, y_n) \rVert_2^2 = (1/m - 1/n)^2 + ((-1)^m/m - (-1)^n/n)^2\)।
বড় \(m, n\)-এর জন্য প্রতিটা term \(\to 0\)। তাই Cauchy।
Limit: \(x_n = 1/n \to 0\); \(y_n = (-1)^n/n\), \(\lvert y_n \rvert = 1/n \to 0\), তাই \(y_n \to 0\)।
Limit \(= (0, 0) \in \mathbb{R}^2\)। \(\mathbb{R}^2\) complete, তাই সব ঠিক।
২-নং সমাধান দেখাও
\(x^{(n)}_k = 1/2^k\) যদি \(k \le n\), নইলে \(0\)।
\(m > n\) হলে:
তাই Cauchy।
Limit: \(x^* = (1/2^k)_{k=1}^\infty\)। \(\lVert x^* \rVert_1 = \sum_{k=1}^\infty 1/2^k = 1 < \infty\), তাই \(x^* \in \ell^1\)।
\(\lVert x^{(n)} - x^* \rVert_1 = \sum_{k=n+1}^\infty 1/2^k = 1/2^n \to 0\) ✓।
৩-নং সমাধান দেখাও
\(f_n(x) = x^n\)।
\(m > n\) নাও। \(\lVert f_m - f_n \rVert_\infty = \max_{x \in [0,1]} \lvert x^m - x^n \rvert\)।
\(x = 1\)-এ: \(\lvert 1^m - 1^n \rvert = 0\)। কিন্তু \(x\) কাছে \(1\)-এর — ধরো \(x = (1-\varepsilon)\):
\(\lvert (1-\varepsilon)^n - (1-\varepsilon)^m \rvert\) বড় \(n\)-এর জন্য ছোট হয়।
Actually: সর্বোচ্চ \(\lvert x^n - x^m \rvert = \lvert x^n(1 - x^{m-n}) \rvert\)। \(g(x) = x^n(1-x^{m-n})\), \(g'(x) = 0\) দিলে \(x^* = (n/m)^{1/(m-n)}\)। বড় \(m, n\)-এ \(x^* \to 1\), কিন্তু \(g(x^*) \to ?\)
এই sequence pointwise \(\to f(x)\) যেখানে \(f(x) = 0\) যদি \(x \in [0,1)\) এবং \(f(1) = 1\) — discontinuous।
\(\lVert f_m - f_n \rVert_\infty\): \(x\) কাছে \(1\)-এ, এটা \(\to 1\) হয় না।
More carefully: \(\max_{x\in[0,1]} \lvert x^n - x^m \rvert\)। \(x \in [0,1)\)-এ উভয়ই \(0\)-এর দিকে, \(x=1\)-এ \(0\)। Maximum কোথাও মাঝে।
Derivative set = 0: \(nx^{n-1} - mx^{m-1} = 0 \Rightarrow x^{m-n} = n/m \Rightarrow x = (n/m)^{1/(m-n)}\)।
\(m, n \to \infty\) নিলে এই maximum \(\not\to 0\)। বিশেষত \(n\) fixed, \(m \to \infty\): \(\lVert f_m - f_n \rVert_\infty = \lVert f_n \rVert_\infty = 1\) (কারণ \(f_n(1) = 1\), কিন্তু \(f_m(1) = 1\) সবসময়)।
তাই \(\lVert f_m - f_n \rVert_\infty = \max \lvert x^n - x^m \rvert\)। \(x=1\)-এ \(= 0\)। মাঝে maximum কত? Numerical check করলে দেখা যায় \(\ge c > 0\)।
সংক্ষেপে: \((f_n)\) Cauchy নয় \((C[0,1], \lVert \cdot \rVert_\infty)\)-এ। (কারণ limit \(f\) discontinuous, আর sup norm-এ limit discontinuous হতে পারে না।)
৪-নং সমাধান দেখাও
\(\lVert x_n \rVert \le M\)। Absolute convergence:
Banach space-এ absolutely convergent ⇒ convergent (characterisation theorem), তাই \(\sum x_n/2^n\) converges। ✓
৫-নং সমাধান দেখাও
\(f_n(x) = x/(1+nx)\), \(x \in [0,1]\)।
Pointwise limit: \(x = 0\)-এ \(f_n(0) = 0\)। \(x > 0\)-এ: \(f_n(x) = \frac{x}{1+nx} = \frac{1}{1/x + n} \to 0\)। তাই pointwise limit \(f \equiv 0\)।
\(\lVert f_n - f \rVert_\infty = \lVert f_n \rVert_\infty = \max_{x \in [0,1]} \frac{x}{1+nx}\)।
\(g(x) = x/(1+nx)\), \(g'(x) = 1/(1+nx)^2 > 0\) — বাড়ছে। Maximum at \(x=1\): \(g(1) = 1/(1+n) \to 0\)।
তাই \(\lVert f_n \rVert_\infty = 1/(1+n) \to 0\)। Uniform convergence to \(f \equiv 0 \in C[0,1]\)। Cauchy ✓, limit \(\in C[0,1]\) ✓।
৬-নং সমাধান দেখাও
\(e^{(n)}_k = 1/k\) যদি \(k \le n\), নইলে \(0\)।
\(m > n\): \(\lVert e^{(m)} - e^{(n)} \rVert_\infty = \sup_k \lvert e^{(m)}_k - e^{(n)}_k \rvert = \sup_{k > n} 1/k = 1/(n+1) \to 0\)।
Cauchy ✓।
Limit candidate: \(x^* = (1/k)_{k=1}^\infty\)। এটা bounded: \(\lVert x^* \rVert_\infty = \sup_k 1/k = 1 < \infty\)।
\(\lVert e^{(n)} - x^* \rVert_\infty = \sup_{k > n} 1/k = 1/(n+1) \to 0\)। ✓
তাই limit \(x^* = (1/k) \in \ell^\infty\)। \(\ell^\infty\) complete।
৭-নং সমাধান দেখাও
ধরো \((x^{(n)})\) Cauchy in \(\ell^1\), মানে \(\lVert x^{(m)} - x^{(n)} \rVert_1 \to 0\)।
Step 1: প্রতিটা coordinate \(k\)-এর জন্য: \(\lvert x^{(m)}_k - x^{(n)}_k \rvert \le \lVert x^{(m)} - x^{(n)} \rVert_1 \to 0\)। তাই \((x^{(n)}_k)_n\) Cauchy in \(\mathbb{R}\), তাই \(x^{(n)}_k \to x_k\) as \(n \to \infty\) (কিছু \(x_k \in \mathbb{R}\))।
Step 2: দেখাতে হবে \(x = (x_k) \in \ell^1\)। \(\varepsilon > 0\) নাও। \(N\) choose করো যাতে \(n \ge N\) হলে \(\lVert x^{(n)} - x^{(N)} \rVert_1 < \varepsilon\)। যেকোনো finite \(K\):
\(K \to \infty\): \(\lVert x - x^{(N)} \rVert_1 \le \varepsilon\)। তাই \(x - x^{(N)} \in \ell^1\), এবং \(x = (x - x^{(N)}) + x^{(N)} \in \ell^1\)।
Step 3: \(\lVert x^{(n)} - x \rVert_1 \le \lVert x^{(n)} - x^{(N)} \rVert_1 + \lVert x^{(N)} - x \rVert_1 \to 0\)। ✓
তাই \(\ell^1\) Banach। \(\square\)
৮-নং সমাধান দেখাও
\(V = \{f \in C[0,1] : f(0) = 0\}\), sup norm।
এটা \(C[0,1]\)-এর একটা closed subspace: যদি \(f_n \to f\) uniformly এবং প্রতিটা \(f_n(0) = 0\), তাহলে \(f(0) = \lim f_n(0) = 0\)। তাই limit \(V\)-তে।
Closed subspace of a Banach space is Banach (standard result: Cauchy sequence in \(V\) ⊆ Cauchy in \(C[0,1]\), limit in \(C[0,1]\), এবং limit \(\in V\) closed হওয়ায়)।
তাই হ্যাঁ, \(V\) Banach। ✓
৮. সারসংক্ষেপ ও Checklist¶
এই অধ্যায়ের পর নিজেকে যাচাই করো:
- [ ] Cauchy sequence-এর সংজ্ঞা বলতে পারি — কোন দুটো index-এর জন্য norm ছোট হয়।
- [ ] Convergent ⇒ Cauchy সবসময়, কিন্তু বিপরীতটা শুধু complete space-এ।
- [ ] Banach space = complete normed space — সংজ্ঞা ও উদাহরণ (\(\mathbb{R}^n\), \(C[a,b]\) sup norm, \(\ell^p\)) জানি।
- [ ] Incomplete normed space-এর উদাহরণ দিতে পারি (\(C[0,1]\) under \(\lVert \cdot \rVert_1\), polynomials) এবং কোথায় "hole" আছে দেখাতে পারি।
- [ ] Absolutely convergent ⇒ convergent — এটা Banach space-এর characterisation, প্রমাণের ধারণা জানি।
- [ ] Part 2.5-এর complete metric space-এর সাথে সম্পর্ক: Banach space এর metric \(d(x,y) = \lVert x-y \rVert\) complete।
- [ ] Closed subspace of Banach = Banach — এই basic fact জানি।
➡️ পরের অধ্যায়: 4.3 — Bounded Linear Map — দুটো Banach space-এর মধ্যে যে ফাংশন linear এবং continuous, তাকেই বলে bounded linear map — এটাই functional analysis-এর কেন্দ্রীয় বিষয়।