2.3 — বাস্তব রেখায় Open ও Closed Set

এই অধ্যায়ে কী শিখব: ℝ-এ open set-এর structure theorem — প্রতিটা open set countably অনেক disjoint open interval-এর union; closed set on ℝ; Cantor set (কান্টর সেট) — closed, uncountable, measure zero, nowhere dense; perfect set ও nowhere dense set-এর সংক্ষিপ্ত পরিচয়।

উৎস (source): Cantor (Cantor set), Borel (ℝ-এর open set)।

---

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

আগের অধ্যায়ে metric space-এ open ও closed set-এর সাধারণ তত্ত্ব শিখেছি। এখন প্রশ্ন: বাস্তব রেখা \(\mathbb{R}\)-এ open set-গুলো ঠিক কেমন দেখতে?

সাধারণ metric space-এ open set যেকোনো আকারের হতে পারে — তত্ত্ব তা permit করে। কিন্তু \(\mathbb{R}\)-এ একটা বিস্ময়কর result আছে:

\(\mathbb{R}\)-এর প্রতিটা nonempty open set হলো countably অনেক pairwise disjoint open interval-এর union।

এটা analysis-এর অন্যতম সুন্দর structure theorem। Lebesgue measure, integration theory — সব জায়গায় এই theorem কাজে লাগে।

আর বিপরীত প্রশ্ন: closed set-গুলো কেমন? সেখানে কোনো এরকম সহজ structure নেই। বরং closed set-এর অদ্ভুততার সেরা উদাহরণ হলো Cantor set — যা একসাথে:

• closed ✓
• uncountable (অগণনীয়) ✓
• measure zero (মাপশূন্য) ✓
• nowhere dense (সর্বত্র পাতলা) ✓

মূল স্বজ্ঞা

ℝ-এ open মানে "disjoint intervals-এর mosaic"। Closed set-গুলো অনেক বৈচিত্র্যময় — Cantor set তার চরম উদাহরণ।

---

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

Open Sets on ℝ — কেন Intervals?

চিত্র: উপরে — open interval \((a,b)\): দুই প্রান্ত ফাঁকা বৃত্ত (hollow endpoint), অর্থাৎ \(a\) ও \(b\) সেটে নেই। নিচে — closed interval \([a,b]\): দুই প্রান্ত ভরা বৃত্ত (filled endpoint), অর্থাৎ \(a\) ও \(b\) সেটে আছে।

ℝ-এর open set-এ যেকোনো বিন্দু \(x\) থেকে কিছু \(r > 0\) নিলে \((x-r, x+r)\) সেটের ভেতরে। তাই open set মানে "ব্যবধান-সমূহের সমষ্টি।"

কিন্তু এই interval-গুলো overlap করলে একসাথে মেলানো যায়। শেষে পাই pairwise disjoint interval-এর union।

ℝ-এর বিশেষ গুণ হলো এর total order এবং separability (countable dense subset আছে — যেমন \(\mathbb{Q}\))। এই দুটো মিলিয়েই disjoint interval-গুলোর সংখ্যা countable হয়।

চিত্র ১: একটি open set \(U = I_1 \cup I_2 \cup I_3 \cup I_4\) — চারটা disjoint open interval-এর union। Open endpoint-গুলো ফাঁকা বৃত্তে। X-চিহ্ন দিয়ে gaps দেখানো — যেগুলো \(U\)-তে নেই।

চিত্র: চারটা রঙিন disjoint open interval \(I_1, I_2, I_3, I_4\) মিলে তৈরি open set \(U\)। interval-গুলোর ফাঁকা অংশগুলো (\(\notin U\)) ধূসরে চিহ্নিত।

Cantor Set — ধাপে ধাপে তৈরি

\([0,1]\) থেকে শুরু করি। প্রতিটা ধাপে প্রতিটা interval-এর মাঝের তৃতীয়াংশ বাদ দিই:

\[C_0 = [0, 1]\]

\[C_1 = \left[0, \tfrac{1}{3}\right] \cup \left[\tfrac{2}{3}, 1\right]\]

\[C_2 = \left[0, \tfrac{1}{9}\right] \cup \left[\tfrac{2}{9}, \tfrac{1}{3}\right] \cup \left[\tfrac{2}{3}, \tfrac{7}{9}\right] \cup \left[\tfrac{8}{9}, 1\right]\]

\[\vdots\]

Cantor set: \(\mathcal{C} = \bigcap_{n=0}^\infty C_n\)

চিত্র ২: Cantor set-এর প্রথম ৫টা স্তর। নীল অংশ = রাখা হয়েছে। প্রতিটা স্তরে মাঝের তৃতীয়াংশ বাদ যাচ্ছে — কিন্তু অসীম ধাপের পরেও অগণনীয় অনেক বিন্দু টিকে থাকে!

চিত্র: Cantor set তৈরির ৪টা ধাপ zoom করে। প্রতিটা ধাপে মাঝের তৃতীয়াংশ (লাল) বাদ যায়; নীল অংশ থাকে। Level \(n\)-এ \(2^n\) interval, প্রতিটার দৈর্ঘ্য \(1/3^n\)।

---

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

Structure Theorem for Open Sets on ℝ

উপপাদ্য (Heine-Borel structure, ℝ-এর জন্য)

\(\mathbb{R}\)-এর প্রতিটা nonempty open set \(U\) হলো countably অনেক pairwise disjoint open interval-এর union:

\[U = \bigcup_{n=1}^{N \text{ বা } \infty} (a_n, b_n), \quad (a_n, b_n) \cap (a_m, b_m) = \emptyset \text{ যখন } n \ne m\]

যেখানে \(a_n, b_n \in \mathbb{R} \cup \{-\infty, +\infty\}\)।

চিত্র: বাস্তব রেখায় বিন্দু \(x_0\)-এর \(r\)-neighborhood বা open ball: \((x_0-r,\, x_0+r)\) — উভয় প্রান্ত hollow, কেন্দ্র \(x_0\) চিহ্নিত।

প্রমাণের মূল ধারণা (sketch):

ধাপ ১: সংযুক্তাংশ (connected components) সংজ্ঞা। প্রতিটা \(x \in U\)-এর জন্য define করো:

\[I_x = \bigcup \{(a,b) : x \in (a,b) \subseteq U\}\]

অর্থাৎ \(x\) ধারণকারী সবচেয়ে বড় open interval যেটা \(U\)-তে আছে। এই \(I_x\) নিজেও একটা open interval (open interval-দের union এবং সব একটা common বিন্দু \(x\) ভাগ করে, তাই union-ও interval)।

ধাপ ২: যেকোনো দুটো \(I_x\) ও \(I_y\) হয় disjoint, নয়তো সমান। যদি \(I_x \cap I_y \ne \emptyset\), তাহলে \(I_x \cup I_y\)-ও \(U\)-তে open interval — কিন্তু \(I_x\) maximum ছিল, তাই \(I_x = I_y\)।

ধাপ ৩: Countability। প্রতিটা \(I_x\)-তে একটা করে মূলদ সংখ্যা আছে (\(\mathbb{Q}\) dense in \(\mathbb{R}\))। এবং different disjoint interval-এ different মূলদ — তাই interval-এর সংখ্যা \(\le |\mathbb{Q}|\) = countable। ∎

লক্ষ্যণীয়: এই theorem শুধু \(\mathbb{R}\)-এর জন্য। \(\mathbb{R}^2\)-এ open set এরকম সহজ structure দেয় না।

Closed Sets on ℝ

চিত্র: \(F = \{0\} \cup [1,2]\) — একটি closed set যা কোনো interval নয়। বাম: isolated বিন্দু \(\{0\}\) (ভরা বৃত্ত)। ডান: closed interval \([1,2]\) (উভয় প্রান্ত ভরা)। মাঝে gap — যা \(F\)-এ নেই।

Open set-এর complement — তাই closed set = open interval-দের complement-এর intersection। পরিবর্তে বলা যায়:

ℝ-এর closed set হলো সেসব set যারা সব convergent sequence-এর limit ধরে রাখে। Structure নিয়ে closed set অনেক বৈচিত্র্যময় — open set-এর মতো সহজ decomposition নেই।

Cantor Set (কান্টর সেট)

সংজ্ঞা: Cantor Set

\[C_0 = [0,1], \quad C_{n+1} = C_n \setminus \bigcup \text{(middle thirds of each interval in }C_n\text{)}\]

\[\mathcal{C} = \bigcap_{n=0}^{\infty} C_n\]

উপপাদ্য: \(\mathcal{C}\) closed।

প্রমাণ: প্রতিটা \(C_n\) হলো closed interval-দের finite union — তাই closed। \(\mathcal{C}\) হলো closed set-দের arbitrary intersection — তাই closed। ∎

উপপাদ্য: \(\mathcal{C}\) uncountable।

প্রমাণ স্কেচ: \(\mathcal{C}\)-এর প্রতিটা বিন্দু ternary (ভিত্তি ৩) expansion-এ শুধু \(0\) বা \(2\) ব্যবহার করে লেখা যায়:

\[x \in \mathcal{C} \iff x = \sum_{n=1}^\infty \frac{a_n}{3^n}, \quad a_n \in \{0, 2\}\]

এই sequences-গুলোর সাথে \(\{0,1\}^\infty\) (infinite binary sequences) এর bijection আছে — \(a_n = 0 \to 0\), \(a_n = 2 \to 1\)। আর \(\{0,1\}^\infty\) uncountable (diagonalization argument — Part 0.6)। তাই \(\mathcal{C}\) uncountable। ∎

উপপাদ্য: \(\mathcal{C}\)-এর measure শূন্য।

প্রতিটা ধাপে মোট কতটুকু বাদ যায়?

• \(C_0 \to C_1\): বাদ \(1/3\)
• \(C_1 \to C_2\): বাদ \(2 \cdot 1/9 = 2/9\)
• \(C_2 \to C_3\): বাদ \(4 \cdot 1/27 = 4/27\)
• \(\vdots\): \(n\)-তম ধাপে বাদ \(2^{n-1}/3^n\)

মোট বাদ = \(\sum_{n=1}^\infty \frac{2^{n-1}}{3^n} = \frac{1}{3} \cdot \frac{1}{1 - 2/3} = 1\)।

তাই \(\mathcal{C}\)-এর "length" (Lebesgue measure) = \(1 - 1 = 0\)। ∎

Perfect Set ও Nowhere Dense Set

সংজ্ঞা: Perfect Set

একটা set \(P\) perfect যদি সে closed এবং প্রতিটা বিন্দু \(P\)-এর limit point। অর্থাৎ \(P\)-এর কোনো isolated point নেই।

উপপাদ্য: Cantor set \(\mathcal{C}\) perfect।

প্রমাণ স্কেচ: \(\mathcal{C}\) closed দেখিয়েছি। যেকোনো \(x \in \mathcal{C}\) নাও — \(C_n\)-এর কোনো interval-এ \(x\) আছে, ওই interval-এর অন্য endpoint-টাও \(\mathcal{C}\)-তে এবং \(x\)-এর থেকে আলাদা। Endpoints ক্রমাগত \(x\)-এর কাছে আসে। ∎

সংজ্ঞা: Nowhere Dense Set

একটা set \(A\) nowhere dense যদি \(\overline{A}\)-এর interior empty হয়: \(\text{int}(\overline{A}) = \emptyset\)।

অর্থাৎ \(A\) কোনো open interval-এ dense নয়।

উদাহরণ: Cantor set nowhere dense — কারণ \(\mathcal{C}\) closed এবং \(\text{int}(\mathcal{C}) = \emptyset\) (প্রতিটা open interval-এ \(\mathcal{C}\)-র বাইরের বিন্দু আছে, কারণ অসংখ্য middle third বাদ গেছে)।

তুলনামূলক: \(\mathbb{Q}\) nowhere dense নয় (এটা dense in \(\mathbb{R}\))। কিন্তু \(\mathcal{C}\) nowhere dense — অথচ uncountable!

---

৪. উদাহরণ ও Analogy

Worked Example ১: একটা open set ভাঙো

\(U = (-1, 0) \cup (0, 2) \cup (3, 5)\)। এটা কি structure theorem মানে?

হ্যাঁ — তিনটা disjoint open interval। এখানে:

• \(I_x = (-1,0)\) সব \(x \in (-1,0)\)-এর জন্য
• \(I_x = (0,2)\) সব \(x \in (0,2)\)-এর জন্য
• \(I_x = (3,5)\) সব \(x \in (3,5)\)-এর জন্য

Worked Example ২: \(\mathbb{R} \setminus \mathbb{Q}\) closed? open?

\(\mathbb{R} \setminus \mathbb{Q}\) = irrationals।

• Open নয়: যেকোনো irrational \(x\)-এর যেকোনো ball-এ rational আছে (\(\mathbb{Q}\) dense)। তাই কোনো ball সম্পূর্ণ \(\mathbb{R} \setminus \mathbb{Q}\)-তে নেই।
• Closed নয়: \(\mathbb{Q}\)-র complement closed হতে হলে \(\mathbb{Q}\) open হতো, কিন্তু \(\mathbb{Q}\) open নয়।
• তাই neither open nor closed।

Worked Example ৩: Cantor set-এ কোন কোন বিন্দু থাকে?

ternary expansion দিয়ে:

• \(0 = 0.000\ldots_3\) ✓ (শুধু \(0\)-রা)
• \(1 = 0.222\ldots_3\) ✓ (শুধু \(2\)-রা)
• \(1/3 = 0.1000\ldots_3\) — কিন্তু \(1/3 = 0.0222\ldots_3\)-ও লেখা যায়! ✓
• \(2/3 = 0.2000\ldots_3 = 0.1222\ldots_3\) — \(0.2000\)-এ কিন্তু \(0\) ও \(2\) ছাড়া নেই। ✓
• \(1/2 = 0.111\ldots_3\) — এখানে \(1\) আছে! ✗ তাই \(1/2 \notin \mathcal{C}\)।

Analogy: Cantor set — "মহাবিশ্বের ধূলিকণা"

ভাবো \([0,1]\) একটা দেশ। প্রথমে মাঝখানের শহর বাদ দাও, তারপর বাকি দুই টুকরোর মাঝখান, তারপর... অসীমবার। শেষে যা থাকে — সেই Cantor set — মোট "এলাকা" শূন্য, কিন্তু জনসংখ্যা (বিন্দুর সংখ্যা) \([0,1]\)-এর সমান — uncountable!

Cantor set প্রমাণ করে: "small in measure" ≠ "small in size (cardinality)"।

---

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

1. "Open set-এর structure theorem সব metric space-এ প্রযোজ্য।" মোটেও না — এটা শুধু \(\mathbb{R}\)-এর জন্য। \(\mathbb{R}^2\)-এ open set-গুলোর এরকম সহজ interval-decomposition নেই।

2. "Countable union মানে finite।" Countable মানে \(\mathbb{N}\)-এর সাথে bijection আছে — এটা infinite হতে পারে। যেমন \(\mathbb{Q} = \{q_1, q_2, \ldots\}\) — infinite কিন্তু countable।

3. "Measure zero মানে empty।" Cantor set-ই এর পাল্টা উদাহরণ: measure zero কিন্তু uncountably infinite।

4. Cantor set-এ শুধু endpoint থাকে — ভুল। সব endpoint থাকে, কিন্তু আরও অনেক বিন্দু থাকে। যেমন \(1/4 \in \mathcal{C}\) (ternary: \(0.02020\ldots_3\)) — কিন্তু \(1/4\) কোনো \(C_n\)-এর endpoint নয়।

5. "Nowhere dense মানে countable।" Cantor set nowhere dense কিন্তু uncountable।

6. Structure theorem-এ \(a_n = -\infty\) বা \(b_n = +\infty\) হতে পারে। যেমন \(U = (1, +\infty)\) — এটা একটা open interval যার এক endpoint \(+\infty\)।

---

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

1. Structure theorem apply করো: নিচের প্রতিটা set-কে disjoint open interval-দের union হিসেবে লেখো। (ক) \(U = \{x \in \mathbb{R} : |x-1| < 2 \text{ বা } |x+3| < 1\}\) (খ) \(V = \mathbb{R} \setminus \{0, 1, 2\}\)

2. দেখাও যে \(\mathbb{R}\)-এ \(F = \{1/n : n \in \mathbb{N}\} \cup \{0\}\) closed।

3. Cantor set-এ \(1/4\) আছে কিনা নির্ণয় করো ternary expansion ব্যবহার করে।

4. সংক্ষেপে explain করো: কেন \(\mathbb{R}^2\)-এ "প্রতিটা open set = disjoint open disks-এর countable union" — এটা সত্য না?

5. Cantor set-এ কতগুলো বিন্দু আছে? ধাপে ধাপে যুক্তি দাও — মানে countable নাকি uncountable?

6. \(F \subseteq \mathbb{R}\) closed হলে দেখাও \(\mathbb{R} \setminus F\) লেখা যায় countably অনেক disjoint open interval-এর union হিসেবে।

7. \(\mathbb{R}\)-এ \(A = [0,1] \cup \{2\}\)। এটা open? Closed? \(A^\circ\) (interior) কী? \(\overline{A}\) কী?

8. "Modified Cantor set" তৈরি করো: \(C_0 = [0,1]\), কিন্তু প্রতিটা ধাপে মাঝের \(1/3\)-এর বদলে মাঝের \(1/4\) বাদ দাও। এই set কি এখনো closed? এর measure কত?

---

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

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

(ক) \(U = \{x : |x-1| < 2\} \cup \{x : |x+3| < 1\}\)।

\(|x-1| < 2 \Leftrightarrow -1 < x < 3\), তাই প্রথম অংশ \(= (-1, 3)\)। \(|x+3| < 1 \Leftrightarrow -4 < x < -2\), তাই দ্বিতীয় অংশ \(= (-4, -2)\)।

দুটো disjoint (কারণ \((-4,-2) \cap (-1,3) = \emptyset\))।

\(U = (-4, -2) \cup (-1, 3)\) — দুটো disjoint open interval। ✓

(খ) \(V = \mathbb{R} \setminus \{0, 1, 2\} = (-\infty, 0) \cup (0, 1) \cup (1, 2) \cup (2, +\infty)\)।

চারটা disjoint open interval (শেষ দুটোয় endpoint \(\pm\infty\) আছে)। ✓

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

\(F = \{0, 1, 1/2, 1/3, 1/4, \ldots\}\)।

\(F\) closed কিনা দেখাই: \(F\)-এর সব limit point \(F\)-এ আছে কিনা check করো।

• \(0\) একটা limit point (\(1/n \to 0\)), এবং \(0 \in F\)। ✓
• অন্য কোনো \(x \ne 0, x \notin F\): \(x\)-এর থেকে \(F\)-এর বিন্দুগুলো কতটা দূরে? \(F \setminus \{0\}\)-এর বিন্দু \(1/n\) এবং \(x\)-এর মধ্যে minimum distance \(> 0\) (কারণ \(x \ne 1/n\) সব \(n\)-এর জন্য এবং \(|x - 1/n| \ge\) কিছু positive bound)।

আরও সহজে: দেখিয়েছিলাম \(\overline{\{1/n\}} = \{0\} \cup \{1/n\} = F\)। তাই \(F = \overline{F}\), অর্থাৎ \(F\) closed। ✓

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

\(1/4\) ternary-তে: \(1/4 = ?\)

\(1/4 \times 3 = 3/4\) → digit \(0\), remainder \(3/4\) \(3/4 \times 3 = 9/4 = 2.25\) → digit \(2\), remainder \(0.25 = 1/4\) (pattern repeats: \(02\) বারবার)

তাই \(1/4 = 0.020202\ldots_3\)।

এই expansion-এ শুধু \(0\) এবং \(2\) আছে (কোনো \(1\) নেই)।

তাই \(1/4 \in \mathcal{C}\)। ✓

এটা কোনো endpoint নয়: \(C_n\)-এর endpoints হলো \(k/3^n\) form-এর সংখ্যা। \(1/4 = 1/4\) — কোনো \(k/3^n\) আকারে লেখা যায় না (\(3^n\) ও \(4\) coprime)। তাই \(1/4 \in \mathcal{C}\) কিন্তু কোনো \(C_n\)-এর endpoint নয়।

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

\(\mathbb{R}^2\)-তে open disk-দের union নিলে overlap-গুলো merge করা যায়, কিন্তু merge করা set সবসময় "disk" হয় না।

পাল্টা উদাহরণ: \(U = B((0,0), 1) \cup B((1.5, 0), 1) =\) দুটো overlapping disk। এটা কোনো disk-ও নয়, disk-দের disjoint union-ও নয় (দুটো overlap করছে)।

ℝ-এর বিশেষত্ব হলো: ℝ-এর "সংযুক্ত open subset" মানেই interval। ℝ²-এ connected open subset অনেক বৈচিত্র্যময় shape নিতে পারে। তাই interval-এর মতো সহজ "atom" নেই ℝ²-এ।

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

Cantor set uncountable।

পদক্ষেপে: \(\mathcal{C}\)-এর বিন্দু \(\leftrightarrow\) sequences \((a_1, a_2, \ldots)\) যেখানে প্রতিটা \(a_n \in \{0, 2\}\)।

এই bijection: \(x = \sum_{n=1}^\infty a_n/3^n\)।

এরকম sequence-দের সেট \(S = \{0,2\}^{\mathbb{N}}\)। এর সাথে \(\{0,1\}^{\mathbb{N}}\) (infinite binary sequences) এর bijection: \(a_n \mapsto a_n/2\)।

\(\{0,1\}^{\mathbb{N}}\) uncountable: Cantor's diagonal argument — ধরো countable list \(s_1, s_2, \ldots\) আছে। \(s = (1-s_1(1), 1-s_2(2), \ldots)\) তৈরি করো — এটা list-এ নেই। তাই সব list exhaustive নয়।

তাই \(\mathcal{C}\) uncountable। কার্যত \(|\mathcal{C}| = |\mathbb{R}|\) (continuum cardinality)। ∎

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

\(F\) closed \(\Rightarrow\) \(U = \mathbb{R} \setminus F\) open।

Structure theorem apply করো \(U\)-তে: \(U\) হলো countably অনেক disjoint open interval \((a_n, b_n)\)-এর union।

তাই \(\mathbb{R} \setminus F = \bigcup_n (a_n, b_n)\)।

এটাই চাই ছিলাম। ✓

উদাহরণ: \(F = \mathcal{C}\) (Cantor set) হলে \(\mathbb{R} \setminus \mathcal{C}\)-তে countably অনেক open interval আছে — ঠিক যেগুলো Cantor set construction-এ বাদ দেওয়া হয়েছিল।

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

\(A = [0,1] \cup \{2\}\)।

Open? \(0\) interior নয়: \(B(0, r)\) সবসময় \((-r, r)\)-এ negative numbers ধারণ করে, যা \(A\)-তে নেই। তাই \(A\) open নয়।

Closed? \(A\)-র limit point-গুলো: \([0,1]\)-এর limit point = \([0,1]\) (যেসব বিন্দু \([0,1]\)-এর কাছে)। \(\{2\}\)-র limit point: discrete singleton, কোনো limit point নেই। তাই \(A\)-র সব limit point \(A\)-তে আছে। \(A\) closed।

Interior \(A^\circ\): \([0,1]\)-এর interior = \((0,1)\)। \(\{2\}\)-র interior = \(\emptyset\) (singleton-এর কোনো ball \(A\)-তে নেই, \(2.001 \notin A\))।

তাই \(A^\circ = (0,1)\)।

Closure \(\overline{A}\): \(A\) already closed, তাই \(\overline{A} = A = [0,1] \cup \{2\}\)।

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

Modified Cantor set: প্রতিটা ধাপে মাঝের \(1/4\) বাদ দিই।

Closed? হ্যাঁ — প্রতিটা \(C_n\) closed interval-দের finite union (closed), আর closed set-দের intersection closed। ✓

Measure কত?

ধাপে বাদ যাওয়া:

• ধাপ ১: \(1 \times 1/4 = 1/4\)
• ধাপ ২: \(2 \times 1/16 = 1/8\)
• ধাপ \(n\): \(2^{n-1} \times (1/4)^n \times (1/2) = 2^{n-1}/(2 \cdot 4^n)\)

একটু সাবধানে হিসেব: \(n\)-তম ধাপে আছে \(2^{n-1}\) interval, প্রতিটার দৈর্ঘ্য \((3/4)^{n-1}/1 \times\)... আরও সঠিকভাবে:

\(C_n\)-এ আছে \(2^n\) interval, প্রতিটার দৈর্ঘ্য \(= (3/8)^n\)... আসলে নির্ভর করে ঠিক কতটুকু নেওয়া হচ্ছে। সহজ হিসেবে:

মোট বাদ = \(\sum_{n=1}^\infty 2^{n-1} \cdot \frac{1}{4} \cdot \left(\frac{3}{4}\right)^{n-1} = \frac{1/4}{1 - 3/4} \cdot \frac{1}{1} = \frac{1/4}{1/4} \cdot ...\)

সহজ পথ: \(C_n\)-এর মোট দৈর্ঘ্য = \((3/4)^n \to 0\)। তাই modified Cantor set-এর measure = \(0\)। ✓

কিন্তু এই set-ও uncountable (ternary argument-এর analogous চতুর্ভিত্তিক argument দিয়ে)।

---

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

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

• [ ] Structure theorem: ℝ-এর প্রতিটা nonempty open set = countably অনেক disjoint open interval-এর union — statement ও proof-idea জানি।
• [ ] Proof-এর তিনটা ধাপ বলতে পারি: connected component \(I_x\) সংজ্ঞা, disjointness, countability (ℚ ব্যবহার করে)।
• [ ] Cantor set কীভাবে তৈরি হয় (iterative middle-third removal) জানি।
• [ ] Cantor set closed — proof (closed sets-এর intersection)।
• [ ] Cantor set uncountable — proof-idea (ternary expansion, bijection with \(\{0,2\}^\mathbb{N}\))।
• [ ] Cantor set measure zero — calculation (\(\sum 2^{n-1}/3^n = 1\))।
• [ ] Perfect set (closed + no isolated point) এবং nowhere dense সংজ্ঞা জানি।
• [ ] "Measure zero ≠ countable" — Cantor set দিয়ে বলতে পারি।
• [ ] Structure theorem কেন ℝ²-এ কাজ করে না — একটা উদাহরণ দিতে পারি।

---

➡️ পরের অধ্যায়: 2.4 — Continuous Mapping, Homeomorphism, Isometry — metric space-এর মধ্যে continuous function কী, homeomorphism দিয়ে "একই আকার" কী বোঝায়, isometry দিয়ে "একই দূরত্ব কাঠামো" — topology-র দৃষ্টিভঙ্গি।