2.9 — Separability ও Baire Category Theorem

এই অধ্যায়ে কী শিখব: dense (নিবিড়) সেট কী; separable (পৃথকযোগ্য) metric space কাকে বলে; nowhere dense (কোথাও নিবিড় নয়) সেট; meager (ক্ষুদ্র) বনাম second category — এবং গণিতের অন্যতম শক্তিশালী হাতিয়ার Baire Category Theorem (বেয়ার শ্রেণি উপপাদ্য)।

উৎস (source): Baire (category theorem); Cantor (dense, separable)।

---

১. কেন শিখব? (Motivation)

আগের অধ্যায়গুলোয় আমরা metric space-এর মৌলিক কাঠামো শিখেছি — open set, closed set, completeness। এবার একটু অন্যরকম প্রশ্ন: কোনো metric space-কে কি "ছোট" ছোট টুকরো দিয়ে ভরে ফেলা যায়?

পৃথিবীর মানচিত্র ভাবো। প্রতিটা শহর একটা বিন্দু (point) — কিন্তু শহরগুলো মিলে পুরো পৃথিবীর তলকে ঢেকে ফেলে না, কারণ পাহাড়-সমুদ্র আছে। তেমনি গণিতে মূলদ সংখ্যার সেট \(\mathbb{Q}\) সংখ্যারেখার প্রতিটা ছোট অংশে উঁকি মারে (dense), কিন্তু সেটি নিজে ক্ষুদ্র একটা সেট।

Baire Category Theorem বলে: একটা complete metric space কখনো "ক্ষুদ্র" সেটের countable union হতে পারে না। মনে হচ্ছে সহজ কথা, কিন্তু এর ফলাফল অসাধারণ:

• \(\mathbb{R}\) অগণনযোগ্য (uncountable) — কারণ \(\mathbb{R}\) complete, আর countable union of points একটা meager set।
• এমন continuous function আছে যা কোথাও differentiable নয় — এবং এই function-গুলো আসলে "বেশিরভাগ" continuous function!

Analysis, topology, functional analysis — সব জায়গায় Baire theorem-এর ছায়া পড়ে। এই অধ্যায়ে এর মূলটা বুঝব।

মূল স্বজ্ঞা

"Dense" মানে সর্বত্র উপস্থিতি। "Nowhere dense" মানে সর্বত্র অনুপস্থিতি — closure-ও interior-শূন্য। Baire বলেন: যতই nowhere-dense টুকরো জমাও, একটা complete space-কে পুরো ভরা যায় না।

---

২. মূল ধারণা (Core idea)

Dense সেট — সর্বত্র উপস্থিত

চিত্র: ঘনিষ্ঠ দৃশ্য — \([0,1]\)-এর যেকোনো ক্ষুদ্র খোলা interval-এ (এমনকি \(0.413\)–\(0.418\) মাপের) একটা মূলদ সংখ্যা (কমলা তারা) পাওয়া যায়। Dense মানে: জুম করলেও \(\mathbb{Q}\)-র বিন্দু সর্বদা আশেপাশে।

একটা সেট \(A \subseteq X\) dense (নিবিড়) — যদি \(X\)-এর প্রতিটা open ball-এ \(A\)-র অন্তত একটা বিন্দু পড়ে।

সহজ কথায়: তুমি \(X\)-এ যেখানে দাঁড়াও, আশেপাশেই \(A\)-র কেউ থাকবে।

উদাহরণ: \(\mathbb{Q}\) হলো \(\mathbb{R}\)-তে dense — যেকোনো দুটো বাস্তব সংখ্যার মাঝে একটা মূলদ সংখ্যা আছে। এটা আমরা 1.1-এ প্রমাণ করেছিলাম।

চিত্র ১: বাঁয়ে — \([0,1]\)-এ মূলদ সংখ্যারা (নীল বিন্দু) dense; প্রতিটা ছোট খোলা interval-এ একটা মূলদ আছে। ডানে — Cantor-জাতীয় নির্মাণ: মাঝের এক-তৃতীয়াংশ বারবার সরিয়ে যা বাকি থাকে তা nowhere dense — closure-এর interior খালি।

Separable Space — গণনাযোগ্য ঘন সেট

চিত্র: বাঁয়ে — \(\mathbb{R}^2\)-তে countable গণনাযোগ্য সেট \(\mathbb{Q}^2\) (নীল বিন্দু); যেকোনো বিন্দুর চারপাশে \(\varepsilon\)-ball-এ একটা মূলদ জোড় পড়ে। ডানে — abstract space \((X, d)\)-এ countable dense \(D\); যেকোনো \(x \in X\)-এর ball-এ \(D\)-এর সদস্য পাওয়া যায়।

Separable (পৃথকযোগ্য) metric space হলো এমন metric space \((X, d)\) যেখানে একটা countable (গণনাযোগ্য) dense subset আছে।

অর্থাৎ: এমন একটা গণনাযোগ্য সেট \(D = \{x_1, x_2, x_3, \ldots\}\) আছে যেন \(X\)-এর প্রতিটা বিন্দু \(D\)-এর বিন্দুর কাছাকাছি।

উদাহরণ:

• \(\mathbb{R}\) separable — কারণ \(\mathbb{Q}\) countable এবং \(\mathbb{R}\)-তে dense।
• \(\mathbb{R}^n\) separable — কারণ \(\mathbb{Q}^n = \{(q_1, \ldots, q_n) : q_i \in \mathbb{Q}\}\) countable এবং \(\mathbb{R}^n\)-এ dense।
• \(C[a, b]\) (continuous functions with sup-norm) separable — polynomials with rational coefficients form a countable dense subset (Weierstrass — পরের অধ্যায়!)।

Nowhere Dense — কোথাও নিবিড় নয়

চিত্র: তিনটি তুলনা — (বাঁয়ে) \([0,1]\) nowhere dense নয়, কারণ solid interior আছে; (মাঝে) \(\mathbb{Z}\) nowhere dense, প্রতিটা integer-এর মাঝে ফাঁকা gap; (ডানে) Cantor-জাতীয় সেট — স্তরে স্তরে gap বাড়ে, closure-এর interior শূন্য।

একটা সেট \(A \subseteq X\) nowhere dense (কোথাও নিবিড় নয়) যদি তার closure \(\overline{A}\)-র interior খালি হয়, অর্থাৎ \(\text{int}(\overline{A}) = \emptyset\)।

সহজ অর্থ: \(A\)-র কোনো "solid block" নেই — \(X\)-এর প্রতিটা open ball-এ এমন একটা sub-ball আছে যেটা পুরো \(A\)-মুক্ত।

উদাহরণ:

• \(\mathbb{Z}\) (পূর্ণ সংখ্যার সেট) \(\mathbb{R}\)-তে nowhere dense — \(\overline{\mathbb{Z}} = \mathbb{Z}\), যার interior খালি।
• একটা single point \(\{p\}\) nowhere dense।
• Cantor set nowhere dense (চিত্র ১-এর ডান দিক)।

বিপরীতে: \(\mathbb{Q}\) nowhere dense নয় — কারণ \(\overline{\mathbb{Q}} = \mathbb{R}\), এবং \(\text{int}(\mathbb{R}) = \mathbb{R} \ne \emptyset\)।

Meager বনাম Second Category

চিত্র: বাঁয়ে — \(\mathbb{Q}\) meager: singleton-দের countable union, প্রতিটা nowhere dense; কিন্তু \(\mathbb{Q}\) তবু \(\mathbb{R}\)-তে dense! ডানে — complete space-এ nowhere-dense স্তর যতই জমাও, সর্বদা uncovered অংশ থাকে।

এবার সবকিছু একত্রিত করি:

• একটা সেট \(A \subseteq X\) meager (ক্ষুদ্র) বা first category (প্রথম শ্রেণি) যদি এটা countably many nowhere-dense সেটের union হয়।
• \(A\) second category (দ্বিতীয় শ্রেণি) যদি এটা meager না হয়।

Intuition: meager = "ছোট", second category = "বড়"। এই "বড়-ছোট" topological, measure-theoretic অর্থে নয় — সম্পূর্ণ আলাদা ধারণা।

---

৩. সংজ্ঞা ও উপপাদ্য (Definitions & Theorems)

আনুষ্ঠানিক সংজ্ঞা

সংজ্ঞা: Dense Subset

\((X, d)\) metric space, \(A \subseteq X\)। \(A\) কে dense in \(X\) বলা হয় যদি \(\overline{A} = X\), অর্থাৎ প্রতিটা \(x \in X\) এবং \(\varepsilon > 0\)-এর জন্য \(B(x, \varepsilon) \cap A \ne \emptyset\)।

সংজ্ঞা: Separable Metric Space

\((X, d)\) metric space কে separable বলা হয় যদি এতে একটা countable dense subset থাকে।

সংজ্ঞা: Nowhere Dense

\(A \subseteq X\) কে nowhere dense বলা হয় যদি \(\text{int}(\overline{A}) = \emptyset\)।

সমতুল্য: প্রতিটা nonempty open set \(U \subseteq X\)-এর মধ্যে এমন একটা nonempty open set \(V \subseteq U\) আছে যেন \(V \cap A = \emptyset\)।

সংজ্ঞা: Meager (First Category) ও Second Category

\(A \subseteq X\) meager (বা first category) যদি \(A = \bigcup_{n=1}^{\infty} A_n\) যেখানে প্রতিটা \(A_n\) nowhere dense।

\(A\) second category যদি \(A\) meager নয়।

Baire Category Theorem

এটাই এই অধ্যায়ের কেন্দ্রীয় উপপাদ্য:

চিত্র: বাঁয়ে — \(\mathbb{Q}\) incomplete এবং meager: সব singleton জুড়লে \(\mathbb{Q}\) পাওয়া যায়। ডানে — \(\mathbb{R}\) complete এবং NOT meager: যতই nowhere-dense স্তর জমাও, ফাঁক থেকে যায় — এটাই Baire-এর মূল কথা।

উপপাদ্য: Baire Category Theorem (René-Louis Baire, 1899)

একটা complete metric space \((X, d)\) second category — অর্থাৎ \(X\) কে countably many nowhere-dense সেটের union হিসেবে লেখা যায় না।

সমতুল্য রূপ: যদি \(X = \bigcup_{n=1}^{\infty} F_n\) যেখানে প্রতিটা \(F_n\) closed, তাহলে অন্তত একটা \(F_n\)-এর interior nonempty।

প্রমাণ (sketch):

ধরো \(X = \bigcup_{n=1}^{\infty} A_n\) যেখানে প্রতিটা \(A_n\) nowhere dense। আমরা দেখাব এটা impossible — একটা বিন্দু পাব যা কোনো \(A_n\)-এ নেই।

ধাপ ১: যেহেতু \(A_1\) nowhere dense, \(\overline{A_1}\)-এর interior খালি। তাই কোনো nonempty open ball \(B(x_1, r_1)\) আছে যেন \(B(x_1, r_1) \cap A_1 = \emptyset\) এবং \(r_1 < 1\)।

ধাপ ২: \(A_2\) nowhere dense, তাই \(B(x_1, r_1)\)-এর মধ্যে এমন একটা \(B(x_2, r_2)\) আছে যেন \(\overline{B(x_2, r_2)} \subseteq B(x_1, r_1)\), \(B(x_2, r_2) \cap A_2 = \emptyset\), এবং \(r_2 < r_1/2 < 1/2\)।

ধাপ \(n\): একইভাবে nested balls \(B(x_n, r_n)\) পাওয়া যায়:

\[\overline{B(x_{n+1}, r_{n+1})} \subseteq B(x_n, r_n), \quad r_n < \frac{1}{n}, \quad B(x_n, r_n) \cap A_n = \emptyset\]

ধাপ (শেষ): কেন্দ্রগুলোর অনুক্রম \(\{x_n\}\) Cauchy — কারণ \(n, m > N\) হলে \(x_n, x_m \in B(x_N, r_N)\), তাই \(d(x_n, x_m) < 2r_N \to 0\)। \(X\) complete বলে \(x_n \to x^*\)।

এই \(x^*\) প্রতিটা \(\overline{B(x_n, r_n)}\)-এ আছে (nested closure-এর intersection), তাই \(x^* \notin A_n\) সব \(n\)-এর জন্য। কিন্তু \(x^* \in X = \bigcup A_n\) — বিরোধ। \(\blacksquare\)

Completeness জরুরি

\(\mathbb{Q}\) (যা complete নয়) meager — কারণ \(\mathbb{Q} = \bigcup_{q \in \mathbb{Q}} \{q\}\) এবং প্রতিটা \(\{q\}\) nowhere dense। তাই Baire theorem \(\mathbb{Q}\)-তে প্রযোজ্য নয়।

গুরুত্বপূর্ণ ফলাফল

ফলাফল ১: \(\mathbb{R}\) uncountable।

ধরো \(\mathbb{R}\) countable। তাহলে \(\mathbb{R} = \{x_1, x_2, x_3, \ldots\}\)। প্রতিটা \(\{x_n\}\) nowhere dense। Baire theorem বলে \(\mathbb{R}\) এদের union হতে পারে না — বিরোধ। অতএব \(\mathbb{R}\) uncountable। \(\blacksquare\)

ফলাফল ২: Nowhere-differentiable continuous function-এর অস্তিত্ব।

\(C[0,1]\)-এ (sup-norm দিয়ে) set \(D_n = \{f \in C[0,1] : \exists x,\; |f(x+h)-f(x)| \le n|h|\ \forall h\}\) প্রতিটা nowhere dense। Baire theorem বলে \(C[0,1] \ne \bigcup D_n\), অতএব এমন continuous function আছে যা কোথাও differentiable নয়। (Weierstrass ১৮৭২-এ একটা নির্দিষ্ট উদাহরণ দিয়েছিলেন; Baire-এর দৃষ্টিভঙ্গি আরও শক্তিশালী — "বেশিরভাগ" continuous function নয়, সব জায়গায় nondifferentiable!)

চিত্র ২: Complete metric space \((X, d)\)-কে nowhere-dense স্তরের countable union দিয়ে ঢাকা যায় না — Baire Category Theorem। প্রতিটা রঙিন গুচ্ছ একটা nowhere-dense layer \(N_i\); এদের সব একত্র করেও পুরো disk-কে ভরা যায় না।

---

৪. উদাহরণ ও Analogy

Analogy — রাতের আকাশের তারা

ধরো \(X =\) পৃথিবীর আকাশ। প্রতিটা নক্ষত্র একটা বিন্দু — অনেক নক্ষত্র, কিন্তু পুরো আকাশ তারায় ভরা নয়। তারার সেট "nowhere dense" — প্রতিটা ছোট অংশেও অধিকাংশ জায়গা তারাশূন্য।

Baire বলেন: যদি আকাশ "complete" (কোনো ফাঁক নেই), তাহলে তুমি countably many এরকম "বিরল" সেট জমিয়েও পুরো আকাশ ভরতে পারবে না।

Worked Example ১: \(\mathbb{Z}\) nowhere dense in \(\mathbb{R}\)

দাবি: \(\mathbb{Z}\) (integer সেট) \(\mathbb{R}\)-তে nowhere dense।

সমাধান: \(\overline{\mathbb{Z}} = \mathbb{Z}\) (কারণ \(\mathbb{Z}\) closed — consecutive integers-এর মাঝে কোনো limit point নেই)। আর \(\text{int}(\mathbb{Z}) = \emptyset\) কারণ \(\mathbb{Z}\)-র কোনো বিন্দুর চারপাশে একটা পুরো খোলা interval নেই (\(\mathbb{Z}\) isolated points-এর সেট)।

সুতরাং \(\text{int}(\overline{\mathbb{Z}}) = \text{int}(\mathbb{Z}) = \emptyset\) — nowhere dense। \(\checkmark\)

Worked Example ২: \(\mathbb{Q}\) meager in \(\mathbb{R}\)

\(\mathbb{Q} = \bigcup_{q \in \mathbb{Q}} \{q\}\) — countable union of singletons। প্রতিটা \(\{q\}\) nowhere dense (closure \(= \{q\}\), interior \(= \emptyset\))। সুতরাং \(\mathbb{Q}\) meager।

কিন্তু এটাও dense in \(\mathbb{R}\)! — এই আপাত-বিরোধ Baire-এর শিক্ষা: dense আর second category সম্পূর্ণ আলাদা।

Worked Example ৩: Open dense sets-এর intersection

Baire-এর সমতুল্য রূপ: একটা complete metric space \(X\)-এ, countably many open dense sets \(U_1, U_2, \ldots\)-এর intersection \(\bigcap_{n=1}^{\infty} U_n\) dense (এবং nonempty) হয়।

এই রূপটা analysis-এ বেশি ব্যবহৃত হয় — "generic" properties বের করতে।

---

৫. সাধারণ ভুল (Common mistakes)

1. Dense আর Second Category গুলিয়ে ফেলা। \(\mathbb{Q}\) dense কিন্তু meager (first category)। Dense মানে সর্বত্র উঁকি মারা; second category মানে "পর্যাপ্ত ঘনত্ব"। দুটো সম্পূর্ণ আলাদা।

2. Baire Theorem সব metric space-এ প্রযোজ্য ভাবা। Completeness ছাড়া theorem মিথ্যা হতে পারে। \(\mathbb{Q}\) meager, কিন্তু \(\mathbb{Q}\) complete নয় — তাই Baire এখানে "খেলে না"।

3. Nowhere dense মানে "closed" ভাবা। Nowhere dense মানে \(\overline{A}\)-র interior খালি। \(A\) closed না-ও হতে পারে। (যদিও সংজ্ঞায় \(\overline{A}\) আসে।)

4. "Meager মানে measure zero" ভাবা। এটা সত্য হতে পারে বা না-ও পারে। Measure (Lebesgue) এবং Baire category সম্পূর্ণ আলাদা ধারণা — একটা সেট measure-zero কিন্তু second category হতে পারে, আবার full measure কিন্তু meager হতে পারে।

5. Baire-এর proof-এ nested balls-এর radius কমানো ভুলে যাওয়া। \(r_n \to 0\) না হলে center অনুক্রম Cauchy নাও হতে পারে।

6. "Complete মানে separable" ভাবা। Complete এবং separable স্বাধীন ধর্ম। \(\ell^\infty\) complete কিন্তু separable নয়; \(\mathbb{Q}\) separable কিন্তু complete নয়।

---

৬. এক্সারসাইজ (Exercises)

নিজে চেষ্টা করো, তারপর নিচের সমাধান খোলো।

1. দেখাও যে \(\{0\}\) (single-point set) \(\mathbb{R}\)-তে nowhere dense।

2. সেট \(A = [0, 1] \cap \mathbb{Q}\) কি nowhere dense? \(\mathbb{R}\)-তে \(A\)-র closure কী?

3. দেখাও \(\mathbb{R}^2\)-তে \(x\)-অক্ষ \(\{(x, 0) : x \in \mathbb{R}\}\) nowhere dense।

4. \(\mathbb{R}\) কি meager? Baire theorem ব্যবহার করে উত্তর দাও।

5. যদি \(F_1 \supseteq F_2 \supseteq F_3 \supseteq \cdots\) closed bounded nonempty sets in \(\mathbb{R}\) এবং \(\text{diam}(F_n) \to 0\), তাহলে \(\bigcap_{n=1}^{\infty} F_n\) ঠিক একটা বিন্দু ধারণ করে। (এটা Baire proof-এর nested closure পদক্ষেপের সাথে কীভাবে সম্পর্কিত?)

6. Baire Category Theorem-এর ব্যবহার করে দেখাও: \([0, 1]\)-এ irrationals (অমূলদ সংখ্যার সেট) nonempty।

7. চ্যালেঞ্জ: \(\mathbb{R}\)-কে কি countably many disjoint closed sets দিয়ে ভাগ করা যায় যেখানে প্রতিটা closed set-এর interior nonempty? Baire theorem ব্যবহার করে উত্তর দাও।

8. \(C[0,1]\) (sup-norm) separable কিনা? কোন countable subset dense?

---

৭. সমাধান (ব্যাখ্যাসহ)

১-নং সমাধান দেখাও

দাবি: \(\{0\}\) nowhere dense in \(\mathbb{R}\)।

প্রমাণ: \(\overline{\{0\}} = \{0\}\) (closed set, নিজেই closure)।

\(\text{int}(\{0\}) = \emptyset\) কারণ একটা single point \(\{0\}\) কোনো open interval ধারণ করে না — \((-\varepsilon, \varepsilon)\) সবসময় \(0 \ne x\) জাতীয় বিন্দু ধারণ করে।

তাই \(\text{int}(\overline{\{0\}}) = \emptyset\) — nowhere dense। \(\checkmark\)

২-নং সমাধান দেখাও

\(A = [0,1] \cap \mathbb{Q}\)-র closure: যেহেতু \(\mathbb{Q}\) dense in \(\mathbb{R}\), এবং \([0,1]\) closed,

\[\overline{[0,1] \cap \mathbb{Q}} = [0,1]\]

(প্রতিটা \(x \in [0,1]\)-এর চারপাশে rational বিন্দু আছে।)

\(A\) nowhere dense? \(\text{int}(\overline{A}) = \text{int}([0,1]) = (0,1) \ne \emptyset\)।

তাই \(A\) nowhere dense নয় — এটা dense in \([0,1]\)। \(\checkmark\)

৩-নং সমাধান দেখাও

\(L = \{(x, 0) : x \in \mathbb{R}\} \subseteq \mathbb{R}^2\) (x-অক্ষ)।

Closure: \(L\) closed (একটা closed subspace), তাই \(\overline{L} = L\)।

Interior: \(\text{int}(L)\)-তে যদি কোনো বিন্দু \((a, 0)\) থাকত, তাহলে কোনো \(\varepsilon > 0\) দিয়ে \(B((a,0), \varepsilon) \subseteq L\)। কিন্তু \(B((a,0), \varepsilon)\) অবশ্যই \((a, \varepsilon/2)\) ধারণ করে, যা \(L\)-এ নেই (\(y\)-coordinate \(\ne 0\))।

সুতরাং \(\text{int}(\overline{L}) = \emptyset\) — nowhere dense। \(\checkmark\)

৪-নং সমাধান দেখাও

\(\mathbb{R}\) meager নয়।

Baire Category Theorem: \(\mathbb{R}\) (standard metric) complete। সুতরাং \(\mathbb{R}\) second category — nowhere-dense sets-এর countable union হতে পারে না।

সরাসরি: ধরো \(\mathbb{R} = \bigcup_{n=1}^{\infty} A_n\) যেখানে প্রতিটা \(A_n\) nowhere dense। Baire theorem বলে এটা অসম্ভব — \(\mathbb{R}\) complete, তাই nested ball argument দিয়ে এমন \(x^* \in \mathbb{R}\) পাওয়া যাবে যা কোনো \(A_n\)-এ নেই। বিরোধ।

তাই \(\mathbb{R}\) meager নয় — second category। \(\checkmark\)

৫-নং সমাধান দেখাও

Nested Closed Sets Theorem:

\(F_1 \supseteq F_2 \supseteq \cdots\) closed bounded nonempty এবং \(\text{diam}(F_n) \to 0\)।

প্রতিটা \(F_n\) থেকে একটা বিন্দু \(x_n\) নিই। যেহেতু \(F_n\) nested এবং \(\text{diam} \to 0\): \(n, m > N\) হলে \(x_n, x_m \in F_N\), তাই \(d(x_n, x_m) \le \text{diam}(F_N) \to 0\)। অতএব \(\{x_n\}\) Cauchy।

\(\mathbb{R}\) complete, তাই \(x_n \to x^*\)। যেহেতু \(F_n\) closed এবং \(x_m \in F_n\) সব \(m \ge n\)-এর জন্য, \(x^* \in F_n\) সব \(n\)-এর জন্য। তাই \(x^* \in \bigcap F_n\)।

Uniqueness: \(\text{diam}(F_n) \to 0\) বলে intersection-এ দুটো ভিন্ন বিন্দু থাকতে পারে না।

Baire-এর সাথে সম্পর্ক: এই nested closed sets lemma হলো Baire proof-এর "হাড়"। Baire-এ আমরা nested closed balls তৈরি করি এবং তাদের radii \(\to 0\) নিশ্চিত করি — ঠিক এই lemma-ই তখন একটা limit point-এর অস্তিত্ব দেয়।

৬-নং সমাধান দেখাও

দাবি: \([0,1]\)-এ irrationals nonempty।

প্রমাণ (Baire দিয়ে): \([0,1]\) complete metric space (closed bounded subset of \(\mathbb{R}\))।

ধরো \([0,1]\)-এর সব বিন্দু rational। তাহলে \([0,1] = [0,1] \cap \mathbb{Q} = \bigcup_{q \in [0,1]\cap\mathbb{Q}} \{q\}\) — countable union of singletons।

প্রতিটা \(\{q\}\) nowhere dense। Baire theorem বলে \([0,1]\) meager হতে পারে না (complete!)। বিরোধ।

সুতরাং \([0,1]\)-এ অবশ্যই irrational আছে। \(\checkmark\)

(অবশ্য \(\sqrt{2}/2 \approx 0.707\) সরাসরি irrational হিসেবে দেখানো যায়, কিন্তু Baire-এর যুক্তি অনেক শক্তিশালী — এমন uncountably many irrational আছে।)

৭-নং সমাধান দেখাও

দাবি: \(\mathbb{R}\)-কে countably many disjoint closed sets দিয়ে ভাগ করা যায় না যেখানে প্রতিটার interior nonempty।

যুক্তি: ধরো \(\mathbb{R} = \bigsqcup_{n=1}^{\infty} F_n\) disjoint closed sets।

যদি প্রতিটা \(F_n\)-এর interior nonempty হয়, তাহলে প্রতিটা \(F_n\) একটা nonempty open interval ধারণ করে।

কিন্তু \(F_n\) disjoint বলে এই open intervals disjoint — \(\mathbb{R}\)-তে countably many disjoint open intervals থাকতে পারে (প্রতিটাতে একটা distinct rational বেছে নাও, rationals countable)। এটা স্বতন্তাবিরোধী নয়।

আসল সমস্যা: এই partition-এর সীমানা বিন্দুগুলো কোথায় যাবে? \(F_n\) closed এবং disjoint — যেকোনো সীমানা বিন্দু অন্য কোনো \(F_n\)-এ পড়বে। কিন্তু Baire theorem বলে: যদি প্রতিটা \(F_n\) closed এবং \(\mathbb{R} = \bigcup F_n\), তাহলে কমপক্ষে একটা \(F_n\)-এর interior nonempty — এটা সম্ভব। তাই such partition নিষিদ্ধ নয় in general।

চাবিকাথি: Baire বলে আপনি countably many closed nowhere-dense sets দিয়ে \(\mathbb{R}\) ভরতে পারবেন না। কিন্তু closed sets with nonempty interior দিয়ে কীভাবে \(\mathbb{R}\) ভাগ হয় সেটা একটা পৃথক (সূক্ষ্ম) প্রশ্ন।

৮-নং সমাধান দেখাও

\(C[0,1]\) separable।

Countable dense subset: সব polynomials with rational coefficients-এর সেট \(P_{\mathbb{Q}}\) নাও।

\(P_{\mathbb{Q}}\) countable: প্রতিটা polynomial \(a_0 + a_1 x + \cdots + a_n x^n\), যেখানে \(a_i \in \mathbb{Q}\), একটা finite tuple of rationals দিয়ে encode হয়। Finite tuples of rationals countable।

\(P_{\mathbb{Q}}\) dense: পরের অধ্যায়ে Weierstrass theorem প্রমাণ করব — প্রতিটা \(f \in C[0,1]\) এবং \(\varepsilon > 0\)-এর জন্য এমন polynomial \(p\) আছে যেন \(\|f - p\|_\infty < \varepsilon/2\)। এই \(p\)-এর coefficients rational দিয়ে approximate করলে (প্রতিটা coefficient-কে \(\varepsilon/2n\) দূরত্বের rational দিয়ে replace করো) আরেকটা rational-coefficient polynomial \(p_{\mathbb{Q}}\) পাওয়া যায় যেন \(\|f - p_{\mathbb{Q}}\|_\infty < \varepsilon\)।

সুতরাং \(C[0,1]\) separable। \(\checkmark\)

---

৮. সারসংক্ষেপ ও Checklist

এই অধ্যায়ের পর নিজেকে যাচাই করো:

• [ ] Dense মানে বুঝি: \(\overline{A} = X\) — প্রতিটা open ball-এ \(A\)-র বিন্দু আছে। উদাহরণ: \(\mathbb{Q}\) dense in \(\mathbb{R}\)।
• [ ] Separable metric space মানে বুঝি: countable dense subset আছে। \(\mathbb{R}\), \(\mathbb{R}^n\), \(C[a,b]\) separable।
• [ ] Nowhere dense: \(\text{int}(\overline{A}) = \emptyset\) — closure-এর interior শূন্য। উদাহরণ: \(\mathbb{Z}\), single points।
• [ ] Meager (first category): countably many nowhere-dense sets-এর union।
• [ ] Second category: meager নয় — "big" topological অর্থে।
• [ ] Baire Category Theorem বলতে পারি: complete metric space second category; countably many nowhere-dense sets-এর union হতে পারে না।
• [ ] Proof sketch বলতে পারি: nested balls তৈরি করো (radii \(\to 0\)), Cauchy অনুক্রম পাও, completeness দিয়ে limit নাও — limit point কোনো \(A_n\)-এ নেই।
• [ ] ফলাফল জানি: \(\mathbb{R}\) uncountable (Baire দিয়ে); nowhere-differentiable continuous function-এর অস্তিত্ব।
• [ ] Dense vs Second Category পার্থক্য বুঝি: \(\mathbb{Q}\) dense কিন্তু meager — এই দুটো সম্পূর্ণ আলাদা ধারণা।

---

➡️ পরের অধ্যায়: 2.10 — Stone–Weierstrass Theorem — polynomial approximation থেকে শুরু করে সবচেয়ে সাধারণ approximation theorem — যা Fourier analysis-এরও দরজা খুলে দেয়।