3.2 — σ-algebra ও Borel Set

এই অধ্যায়ে কী শিখব: আগের অধ্যায়ে দেখলাম outer measure সব set-এ additive নয়। সমাধান হলো "ভালো behave করা" sets-এর একটা পরিবার — σ-algebra (সিগমা-বীজগণিত)। এই অধ্যায়ে σ-algebra-র সংজ্ঞা ও উদাহরণ; সবচেয়ে গুরুত্বপূর্ণ উদাহরণ Borel set (বোরেল সেট) — \(\mathbb{R}\)-এর open sets থেকে generate করা σ-algebra; আর কেন এই framework-ই measure theory-র ভিত্তি।

উৎস (source): Borel (Borel set ও σ-algebra)।

---

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

আগের অধ্যায়ের (3.1) শেষ কথা ছিল: outer measure সব set-এ additive নয় (Vitali set)। তাহলে কি কোনো "size function" আছে যেটা সব set-এ additive? উত্তর — না, নেই।

উপপাদ্য: Extension সম্ভব নয়

এমন কোনো function \(\mu\) নেই যাতে একসাথে:

• (a) \(\mu\) সব subsets of \(\mathbb{R}\)-এ defined।
• (b) \(\mu(I) = \ell(I)\) প্রতিটা open interval-এর জন্য।
• (c) \(\mu\!\left(\bigcup_{k=1}^{\infty} A_k\right) = \sum_{k=1}^{\infty} \mu(A_k)\) প্রতিটা disjoint sequence-এর জন্য (countable additivity)।
• (d) \(\mu(t + A) = \mu(A)\) সব \(t \in \mathbb{R}\), \(A \subseteq \mathbb{R}\)-এর জন্য (translation invariance)।

তাহলে কোনটা ছেড়ে দিতে হবে?

• (b) ছাড়া যাবে না — interval-এর "আকার" তার দৈর্ঘ্যই হওয়া উচিত।
• (c) ছাড়া যাবে না — limits নিতে হলে countable additivity লাগে (analysis-এর প্রাণ!)।
• (d) ছাড়া যাবে না — intuitive notion of "size" translation-invariant হওয়া উচিত।

তাহলে শুধু (a) ছেড়ে দিতে হবে — অর্থাৎ আমরা সব subset-এ size define করব না, শুধু একটা বিশেষ পরিবার of subsets-এ।

সেই পরিবারের নামই σ-algebra।

মূল ধারণা

σ-algebra হলো subsets-এর একটা পরিবার যেটা complement ও countable union-এ বন্ধ — এই শর্তগুলোই guarantee করে যে measure theory কাজ করবে।

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

Set algebra থেকে σ-algebra

চিত্র: R-এর যেকোনো open set হলো countable union of open intervals। তাই সব open set Borel।

সাধারণ "algebra of sets" বলতে বোঝায় এমন একটা পরিবার \(\mathcal{S}\) যেখানে:

• \(\emptyset \in \mathcal{S}\)
• \(E \in \mathcal{S}\) হলে \(X \setminus E \in \mathcal{S}\) (complement-এ বন্ধ)
• \(D, E \in \mathcal{S}\) হলে \(D \cup E \in \mathcal{S}\) (finite union-এ বন্ধ)

σ-algebra এই শেষ শর্তটা শক্তিশালী করে: finite union-এর বদলে countable union-এ বন্ধ। এই "σ" মানে countable।

চিত্র ১: একটি σ-algebra \(\mathcal{S}\) হলো subsets-এর এমন একটি পরিবার যেখানে \(\emptyset\) আছে, complement নিলে ভেতরেই থাকে, এবং countably many sets-এর union নিলেও ভেতরেই থাকে।

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

σ-algebra-র সংজ্ঞা

চিত্র: "Good sets" in σ-algebra S: complement, countable union, এবং countable intersection — তিনটি operation-এই S-এর ভেতরে থাকে।

সংজ্ঞা: σ-algebra (সিগমা-বীজগণিত)

\(X\) একটা set। \(X\)-এর subsets-এর একটা পরিবার \(\mathcal{S}\) কে \(X\)-এর উপর একটা σ-algebra বলা হয় যদি:

• (i) \(\emptyset \in \mathcal{S}\)
• (ii) \(E \in \mathcal{S}\) হলে \(X \setminus E \in \mathcal{S}\) (complement-এ বন্ধ)
• (iii) \(E_1, E_2, \ldots \in \mathcal{S}\) হলে \(\bigcup_{k=1}^{\infty} E_k \in \mathcal{S}\) (countable union-এ বন্ধ)

জোড়া \((X, \mathcal{S})\)-কে বলে measurable space (পরিমাপযোগ্য স্থান)।

σ-algebra-র উদাহরণ

উদাহরণ ১: \(\mathcal{S} = \{\emptyset, X\}\) — সবচেয়ে ছোট σ-algebra। শর্তগুলো সহজে যাচাই হয়।

উদাহরণ ২: \(\mathcal{S} = 2^X\) (সব subsets) — সবচেয়ে বড় σ-algebra।

উদাহরণ ৩: \(X = \mathbb{R}\), \(\mathcal{S} = \{E \subseteq \mathbb{R} : E \text{ countable বা } \mathbb{R} \setminus E \text{ countable}\}\) — এটাও একটা σ-algebra।

σ-algebra-র গুরুত্বপূর্ণ ধর্ম

চিত্র: σ-algebra closure: (বাম) complement, (মধ্য) countable union, (ডান) De Morgan দিয়ে countable intersection।

উপপাদ্য

\(\mathcal{S}\) যদি \(X\)-এ একটা σ-algebra হয়, তাহলে:

(a) \(X \in \mathcal{S}\)। (b) \(D, E \in \mathcal{S}\) হলে \(D \cup E \in \mathcal{S}\), \(D \cap E \in \mathcal{S}\), \(D \setminus E \in \mathcal{S}\)। (c) \(E_1, E_2, \ldots \in \mathcal{S}\) হলে \(\bigcap_{k=1}^{\infty} E_k \in \mathcal{S}\) (countable intersection-এও বন্ধ)।

Proof sketch:

• (a): \(X = X \setminus \emptyset\), আর \(\emptyset \in \mathcal{S}\), তাই complement-closure থেকে \(X \in \mathcal{S}\)।
• (b): \(D \cup E\) = \(D, E, \emptyset, \emptyset, \ldots\)-এর countable union। \(D \cap E = X \setminus ((X \setminus D) \cup (X \setminus E))\) — De Morgan ব্যবহার করো।
• (c): De Morgan: \(\bigcap_k E_k = X \setminus \bigcup_k (X \setminus E_k)\)।

Generated σ-algebra

চিত্র: Generated σ-algebra σ(A): দেওয়া family A-কে contain করে এমন সবচেয়ে ছোট σ-algebra।

উপপাদ্য ও সংজ্ঞা: Generated σ-algebra

\(X\) একটা set এবং \(\mathcal{A}\) হলো \(X\)-এর subsets-এর একটা পরিবার। তাহলে \(\mathcal{A}\) contain করে এমন সব σ-algebra-র intersection হলো একটা σ-algebra — একে বলে \(\mathcal{A}\) দ্বারা generated σ-algebra (উৎপন্ন σ-algebra), লেখা \(\sigma(\mathcal{A})\)।

এটাই "\(\mathcal{A}\) contain করে এমন সবচেয়ে ছোট σ-algebra।"প্রমাণের ধারণা: যেকোনো collection of σ-algebras-এর intersection আবার একটা σ-algebra — কারণ তিনটা শর্ত (i)-(iii) intersection-এ অপরিবর্তিত থাকে।

Borel Set (বোরেল সেট) — সবচেয়ে গুরুত্বপূর্ণ উদাহরণ

চিত্র: Borel hierarchy: open intervals থেকে শুরু করে ধাপে ধাপে Gδ, Fσ, তারপর পুরো Borel σ-algebra B।

সংজ্ঞা: Borel set ও Borel σ-algebra

\(\mathbb{R}\)-এর সব open subsets দ্বারা generated σ-algebra-কে বলে Borel σ-algebra (বোরেল σ-বীজগণিত), চিহ্নিত করা হয় \(\mathcal{B}\) দিয়ে।

\(\mathcal{B}\)-এর যেকোনো member-কে বলে Borel set (বোরেল সেট)।

Borel set-এর উদাহরণ:

• প্রতিটা open subset (সংজ্ঞা থেকেই, কারণ open sets থেকে generate করা হয়েছে)।
• প্রতিটা closed subset: কারণ closed set = open set-এর complement, আর σ-algebra complement-এ বন্ধ।
• প্রতিটা countable subset: কারণ \(\{x\} = \mathbb{R} \setminus ((-\infty,x) \cup (x,\infty))\) closed, আর countable union of closed sets Borel।
• Half-open interval \([a,b)\): কারণ \([a,b) = \bigcap_{k=1}^{\infty} \left(a - \tfrac{1}{k}, b\right)\) — countable intersection of open sets।
• যেকোনো function-এর continuity points: এটা একটা countable intersection of open sets।

Borel sets-এর শ্রেণীবিন্যাস

Open sets (\(G\)-sets) → countable intersections = \(G_\delta\)-sets → countable unions of those = \(G_{\delta\sigma}\)-sets → ... এভাবে infinite hierarchy তৈরি হয়। সব Borel!

কেন Borel set-এর বাইরেও set আছে?

\(\mathcal{B}\) অনেক বড় — \(\mathbb{R}\)-এর প্রায় সব "natural" subsets Borel। কিন্তু \(\mathbb{R}\)-এর subsets-এর মোট সংখ্যা \(2^{|\mathbb{R}|}\), আর Borel sets-এর সংখ্যা \(|\mathbb{R}|\) — তাই non-Borel sets আছে (Vitali set তার একটা উদাহরণ)।

পরের অধ্যায়ে দেখব এই \((X, \mathcal{S})\) framework-এ "measurable function" কীভাবে define হয়।

৪. উদাহরণ ও Analogy

Worked Example: \(\mathcal{S} = \{\emptyset, (0,1), \mathbb{R} \setminus (0,1), \mathbb{R}\}\)

এটা \(\mathbb{R}\)-এ একটা σ-algebra কি? যাচাই করি:

• \(\emptyset \in \mathcal{S}\) ✓
• Complements: \(\mathbb{R} \setminus \emptyset = \mathbb{R}\) ✓; \(\mathbb{R} \setminus (0,1) \in \mathcal{S}\) ✓; \(\mathbb{R} \setminus (\mathbb{R} \setminus (0,1)) = (0,1)\) ✓; \(\mathbb{R} \setminus \mathbb{R} = \emptyset\) ✓।
• Countable unions: সব possible unions দেখতে হবে। \(\emptyset \cup (0,1) = (0,1) \in \mathcal{S}\) ✓। \((0,1) \cup (\mathbb{R} \setminus (0,1)) = \mathbb{R} \in \mathcal{S}\) ✓। ইত্যাদি।

তাই হ্যাঁ, এটা একটা valid σ-algebra। এটা \(\{(0,1)\}\) দ্বারা generated: \(\sigma(\{(0,1)\}) = \{\emptyset, (0,1), \mathbb{R} \setminus (0,1), \mathbb{R}\}\)।

Analogy: σ-algebra যেন একটা "বন্ধ ক্লাব" ধরো একটা ক্লাব-এ কিছু সদস্য আছে। নিয়ম হলো:

• শূন্য সদস্যের "বিপরীত" টিম (সবাই) ক্লাবে।
• যদি তুমি ক্লাবে থাকো, তোমার "প্রতিপক্ষ" (complement)-ও ক্লাবে।
• অসীম সদস্যের যেকোনো group তৈরি করলে সেই group-ও ক্লাবে।

এটাই σ-algebra-র নিয়ম। Borel σ-algebra হলো \(\mathbb{R}\)-এর open sets দিয়ে শুরু করে এই নিয়মে যত set যোগ করতে থাকো — শেষে যা পাও সেটাই Borel σ-algebra।

Worked Example: \([0,1]\) Borel set

\([0,1] = \bigcap_{k=1}^{\infty} \left(-\tfrac{1}{k}, 1 + \tfrac{1}{k}\right)\) — countable intersection of open sets, তাই Borel। অথবা সহজভাবে: \([0,1]\) closed, আর প্রতিটা closed set Borel।

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

1. σ-algebra-তে শুধু countable union, finite union নয়।"Algebra of sets "-এ finite union যথেষ্ট। কিন্তু σ-algebra-তে countable (সম্ভবত infinite) union চাই।" σ"মানে countable।

2. Countable intersection ও union — দুটোই σ-algebra-তে আছে। সংজ্ঞায় শুধু countable union আছে, কিন্তু De Morgan-এ countable intersection স্বয়ংক্রিয়ভাবে আসে।

3. Borel set = open বা closed set ভাবা। Borel σ-algebra অনেক বড় — open, closed, \(G_\delta\), \(F_\sigma\), তাদের countable combinations — সব Borel।

4. Generated σ-algebra "বড়" মনে করা। \(\sigma(\mathcal{A})\) হলো "সবচেয়ে ছোট" σ-algebra যেটা \(\mathcal{A}\)-কে contain করে।

5. সব subset Borel ভাবা। Vitali set Borel নয় (এমনকি Lebesgue measurable-ও নয়)। "প্রায় সব natural set" Borel, কিন্তু সব নয়।

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

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

1. দেখাও \(\mathcal{S} = \{A \subseteq \mathbb{R} : A \text{ countable অথবা } \mathbb{R} \setminus A \text{ countable}\}\) একটা σ-algebra।
2. \(X = \{1, 2, 3\}\)। \(X\)-এর উপর কতটা σ-algebra আছে? সব গুলো লিস্ট করো।
3. \(\mathcal{A} = \{(a, b] : a, b \in \mathbb{R}, a < b\}\) ধরো। দেখাও \(\sigma(\mathcal{A}) = \mathcal{B}\) (Borel σ-algebra)।
4. দেখাও প্রতিটা half-open interval \([a,b)\) (\(a < b\)) একটা Borel set।
5. যদি \(\mathcal{S}_1\) ও \(\mathcal{S}_2\) দুটো σ-algebra হয় \(X\)-এ, তাহলে কি \(\mathcal{S}_1 \cup \mathcal{S}_2\) σ-algebra? কি \(\mathcal{S}_1 \cap \mathcal{S}_2\) σ-algebra?
6. \(X = \mathbb{R}\) এবং \(\mathcal{S} = \{\emptyset, \mathbb{R}\}\) নাও। এটা কি একটা σ-algebra? এর measurable sets-গুলো কী?
7. Borel σ-algebra \(\mathcal{B}\) নিয়ে: দেখাও \([a, \infty)\) এবং \((-\infty, b]\) প্রতিটাই Borel set।
8. ব্যাখ্যা করো: outer measure সব subset-এ "measure" হতে পারে না — কিন্তু কোন শর্ত শিথিল করলে measure theory সম্ভব হয়?

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

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

তিনটা শর্ত যাচাই করি।

(i) \(\emptyset \in \mathcal{S}\): \(\emptyset\) countable (finite), তাই \(\emptyset \in \mathcal{S}\)। ✓

(ii) Complement: যদি \(A \in \mathcal{S}\), তাহলে হয় \(A\) countable, নয় \(\mathbb{R} \setminus A\) countable।

• যদি \(A\) countable: \(\mathbb{R} \setminus (\mathbb{R} \setminus A) = A\) countable। তাই \(\mathbb{R} \setminus A \in \mathcal{S}\) (এর complement \(A\) countable)। ✓
• যদি \(\mathbb{R} \setminus A\) countable: \(\mathbb{R} \setminus A \in \mathcal{S}\) কারণ \(\mathbb{R} \setminus A\) countable। ✓

(iii) Countable union: ধরো \(A_1, A_2, \ldots \in \mathcal{S}\)। দুটো case:

• যদি সব \(A_k\) countable: \(\bigcup_k A_k\) countable union of countable sets = countable। তাই \(\bigcup_k A_k \in \mathcal{S}\)। ✓
• যদি কোনো \(A_j\)-এর জন্য \(\mathbb{R} \setminus A_j\) countable: তাহলে \(\mathbb{R} \setminus \bigcup_k A_k \subseteq \mathbb{R} \setminus A_j\) countable, তাই \(\bigcup_k A_k \in \mathcal{S}\)। ✓

সব শর্ত পূরণ, তাই \(\mathcal{S}\) একটা σ-algebra। \(\square\)

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

\(X = \{1,2,3\}\)। σ-algebra-তে \(\emptyset\) ও \(X\) থাকতেই হবে।

মোট \(2^3 = 8\)টা subset। একটা σ-algebra বলতে হয় এমন একটা পরিবার যেখানে complement ও countable (এখানে finite) union আছে।

সম্ভব σ-algebra-গুলো:

1. \(\{\emptyset, X\}\) — trivial।
2. \(\{\emptyset, \{1\}, \{2,3\}, X\}\)।
3. \(\{\emptyset, \{2\}, \{1,3\}, X\}\)।
4. \(\{\emptyset, \{3\}, \{1,2\}, X\}\)।
5. \(\{\emptyset, \{1\}, \{2\}, \{3\}, \{1,2\}, \{1,3\}, \{2,3\}, X\} = 2^X\) — power set।

মোট ৫টা σ-algebra।

(Note: \(\{\emptyset, \{1\}, \{2\}, \{1,2\}, \{3\}, \{1,3\}, \{2,3\}, X\}\) = \(2^X\) — সেটাই ৫নং। \(\{1,2,3\}\)-এর মতো তিনটা singleton থেকে generated always gives \(2^X\).)

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

দেখাতে হবে \(\sigma(\mathcal{A}) = \mathcal{B}\) যেখানে \(\mathcal{A} = \{(a,b] : a < b\}\)।

\(\sigma(\mathcal{A}) \subseteq \mathcal{B}\): প্রতিটা \((a,b]\) Borel কি? হ্যাঁ: \((a,b] = \bigcap_{k=1}^{\infty} (a, b+\frac{1}{k})\) — countable intersection of open sets। তাই \(\mathcal{A} \subseteq \mathcal{B}\)। যেহেতু \(\mathcal{B}\) একটা σ-algebra, \(\sigma(\mathcal{A}) \subseteq \mathcal{B}\)।

\(\mathcal{B} \subseteq \sigma(\mathcal{A})\): যেকোনো open set \((c,d)\)-কে দেখাতে হবে \(\sigma(\mathcal{A})\)-তে আছে। \((c,d) = \bigcup_{k=1}^{\infty} (c, d - \frac{1}{k}]\) — countable union of elements of \(\mathcal{A}\)। তাই \((c,d) \in \sigma(\mathcal{A})\)। সব open sets \(\sigma(\mathcal{A})\)-তে, তাই \(\mathcal{B} = \sigma(\text{open sets}) \subseteq \sigma(\mathcal{A})\)।

সব মিলিয়ে \(\sigma(\mathcal{A}) = \mathcal{B}\)। \(\square\)

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

\([a,b)\) Borel দেখাতে হবে।

পদ্ধতি ১: \([a,b) = \bigcap_{k=1}^{\infty} \left(a - \tfrac{1}{k},\, b\right)\) — countable intersection of open intervals। প্রতিটা \((a-\frac{1}{k}, b)\) open এবং Borel। Borel σ-algebra countable intersection-এ বন্ধ (De Morgan)। তাই \([a,b)\) Borel। ✓

পদ্ধতি ২: \([a,b) = [a,b] \setminus \{b\}\)। \([a,b]\) closed = Borel, \(\{b\}\) closed = Borel। তাই \([a,b) = [a,b] \cap (\mathbb{R} \setminus \{b\})\) Borel। ✓

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

\(\mathcal{S}_1 \cap \mathcal{S}_2\): হ্যাঁ, σ-algebra।

যাচাই: (i) \(\emptyset \in \mathcal{S}_1\) ও \(\emptyset \in \mathcal{S}_2\), তাই \(\emptyset \in \mathcal{S}_1 \cap \mathcal{S}_2\)। (ii) যদি \(E \in \mathcal{S}_1 \cap \mathcal{S}_2\), তাহলে \(X \setminus E \in \mathcal{S}_1\) ও \(X \setminus E \in \mathcal{S}_2\), তাই \(X \setminus E \in \mathcal{S}_1 \cap \mathcal{S}_2\)। (iii) Countable union একইভাবে। ✓

\(\mathcal{S}_1 \cup \mathcal{S}_2\): সাধারণত না।

Counterexample: \(X = \{1,2,3\}\)। \(\mathcal{S}_1 = \{\emptyset, \{1\}, \{2,3\}, X\}\), \(\mathcal{S}_2 = \{\emptyset, \{2\}, \{1,3\}, X\}\)। \(\mathcal{S}_1 \cup \mathcal{S}_2 = \{\emptyset, \{1\}, \{2\}, \{1,3\}, \{2,3\}, X\}\)। কিন্তু \(\{1\} \cup \{2\} = \{1,2\} \notin \mathcal{S}_1 \cup \mathcal{S}_2\) — তাই এটা σ-algebra নয়।

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

\(\mathcal{S} = \{\emptyset, \mathbb{R}\}\) যাচাই:

• \(\emptyset \in \mathcal{S}\) ✓
• \(\mathbb{R} \setminus \emptyset = \mathbb{R} \in \mathcal{S}\) ✓; \(\mathbb{R} \setminus \mathbb{R} = \emptyset \in \mathcal{S}\) ✓
• Countable union: \(\emptyset \cup \emptyset \cup \ldots = \emptyset \in \mathcal{S}\) ✓; যেকোনো \(\mathbb{R}\)-এর উপস্থিতিতে union = \(\mathbb{R} \in \mathcal{S}\) ✓

তাই \(\{\emptyset, \mathbb{R}\}\) একটা σ-algebra — trivial σ-algebra।

Measurable sets শুধু \(\emptyset\) ও \(\mathbb{R}\)। এই σ-algebra-তে measure সংজ্ঞায়িত করতে হলে শুধু \(\mu(\emptyset)\) ও \(\mu(\mathbb{R})\) ঠিক করলেই চলে।

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

\([a, \infty)\): এটা closed (যেকোনো limit point ধরে — সহজে দেখা যায়)। প্রতিটা closed set Borel। তাই \([a, \infty)\) Borel। ✓

অথবা: \([a, \infty) = \mathbb{R} \setminus (-\infty, a)\) — open set-এর complement, Borel। ✓

\((-\infty, b]\): \((-\infty, b] = \mathbb{R} \setminus (b, \infty)\) — open set-এর complement, Borel। ✓

এই ধরনের "ray" sets-গুলো Borel এবং measure theory-তে বারবার কাজে লাগে।

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

: চারটা property (a)-(d) একসাথে থাকতে পারে না।

• (b) ছাড়া যায় না: interval-এর size = length।
• (c) ছাড়া যায় না: countable additivity ছাড়া limit theorems হয় না।
• (d) ছাড়া যায় না: translation invariance ছাড়া "length"-এর intuition হারিয়ে যায়।

তাই শুধু (a) শিথিল করা হয়: সব subset-এ নয়, শুধু একটা σ-algebra \(\mathcal{S}\)-এর elements-এ measure সংজ্ঞায়িত করা হয়।

\(\mathbb{R}\)-এ Borel σ-algebra \(\mathcal{B}\) বা Lebesgue σ-algebra \(\mathcal{L}\) বেছে নিলে properties (b)-(d) রক্ষা করে একটা measure তৈরি করা সম্ভব হয়।

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

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

• [ ] σ-algebra (সিগমা-বীজগণিত) সংজ্ঞা বলতে পারি — তিনটা শর্ত: \(\emptyset\), complement-closure, countable union-closure।
• [ ] Measurable space \((X, \mathcal{S})\) কী বুঝি।
• [ ] σ-algebra countable intersection-এও বন্ধ — De Morgan-এর মাধ্যমে।
• [ ] Generated σ-algebra \(\sigma(\mathcal{A})\) কী — সবচেয়ে ছোট σ-algebra containing \(\mathcal{A}\)।
• [ ] Borel set (বোরেল সেট) কী — open sets দ্বারা generated \(\mathcal{B}\)-এর members।
• [ ] Borel sets-এর উদাহরণ: open, closed, half-open intervals, countable sets।
• [ ] কেন σ-algebra দরকার: outer measure সব subset-এ additive নয়, তাই "ভালো" subsets-এর পরিবার দরকার।
• [ ] : সব subset-এ length-extending measure অসম্ভব — তাই domain restriction করা হয়।

---

➡️ পরের অধ্যায়: 3.3 — Measurable Function — এখন যখন \((X, \mathcal{S})\) আছে, তখন কোন functions "পরিমাপযোগ্য"? preimage condition, equivalent characterizations, আর continuous functions কেন সবসময় Borel measurable।