Độ đo - Measure

1. $sigma$

Cho một tập \Omega. Một σ-algebra (hay σ-đại số) \mathcal{F} là một họ các tập con của \Omega thoả mãn: 1. Chứa toàn tập: \Omega \in \mathcal{F}. 2. Đóng dưới phép bù: A \in \mathcal{F} \quad\Rightarrow\quad A^c := \Omega \setminus A \in \mathcal{F}. 3. Đóng dưới hợp đếm được: Nếu A_1, A_2, A_3, \dots \in \mathcal{F} thì \bigcup_{n=1}^\infty A_n \in \mathcal{F}.

⸻

2. Hệ quả

Từ ba tiên đề trên, suy ra: • \varnothing \in \mathcal{F} (lấy bù của \Omega). • Đóng dưới giao đếm được (vì giao = bù của hợp các bù). • Đóng dưới hiệu tập hợp (vì A \setminus B = A \cap B^c).

⸻

3. Ý nghĩa • σ-algebra là bộ khung để làm measure theory: đảm bảo khi bạn áp dụng các phép toán cơ bản (hợp/giao/bù) hữu hạn hoặc đếm được, bạn không thoát ra ngoài lớp tập đã chọn. • Nếu không yêu cầu đóng dưới hợp đếm được thì chỉ là algebra, và khi đó measure chỉ cần finitely additive chứ chưa phải countably additive.

⸻

💡 Tóm gọn: σ-algebra = “bộ sưu tập tập con” ổn định trước bù và hợp vô hạn đếm được, chứa \Omega, và là cấu trúc nhỏ nhất đủ để gắn measure mà vẫn xử lý được các phép toán tập hợp cơ bản trong phân tích và xác suất.

1. Độ đo (measure)

Cho $(\Omega, \Sigma)$ là một $\sigma$-đại số ($\sigma$-algebra) các tập con của $\Omega$.

Hàm $\mu : \Sigma \to [0, \infty]$ được gọi là độ đo (measure) nếu thỏa các điều kiện:

1. $$\forall A \in \Sigma,\quad \mu(A) \ge 0$$
2. $$\mu(\varnothing) = 0$$

3. Cộng tính đếm được (countable additivity / $\sigma$-additivity): Với mọi họ tập rời nhau ${A_i}_{i=1}^\infty \subset \Sigma$:

$$ \mu\!\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \mu(A_i) $$

2. Vì sao lại định nghĩa như vậy?

Trực giác (và cả ứng dụng đo lường thực tế) cho thấy “độ đo” sẽ là cái gì đó tương tự như khối lượng, diện tích, xác suất, v.v. Do đó, nó sẽ không thể âm.

Tập rỗng thì “không có gì” nên độ đo của nó bằng 0.

Về tính $\sigma$-algebra $\Sigma$

Để đảm bảo ta có thể thực hiện các phép toán tập hợp quan trọng trên sự kiện cần đo gồm: hợp đếm được, giao, bù, và các kết hợp của chúng, ta cần $\sigma$-algebra $\Sigma$.

Không gian đo $(\Omega, \Sigma, \mu)$ sẽ ổn định trước các phép toán này → tránh rơi vào các tập “không đo được” khi làm toán.

c) Countable additivity: • Đảm bảo sự nhất quán khi đo lường “nhiều mảnh”: • Nếu ta chia một đối tượng thành vô hạn đếm được các mảnh rời nhau, tổng độ đo của các mảnh phải bằng độ đo toàn bộ. • “Countable” thay vì “finite” để có thể xử lý các giới hạn → đây là chìa khóa cho: • Lý thuyết giới hạn (lim, lim sup, lim inf) • Các định lý hội tụ trong tích phân Lebesgue • Xác suất trên không gian vô hạn

3. Trực giác

•	Measure là cách khái quát hóa khái niệm độ dài (1D), diện tích (2D), thể tích (3D) sang không gian trừu tượng, đảm bảo các quy tắc cộng và tính ổn định khi làm việc với vô hạn đếm được.
•	Trong xác suất: measure đóng vai trò là quy tắc gán xác suất cho mọi biến cố trong σ-algebra.

4. Tóm gọn:

Người ta định nghĩa measure theo cách này vì: 1. Phải đảm bảo “đo” được trên một lớp tập đủ lớn nhưng vẫn an toàn (σ-algebra). 2. Phải nhất quán với trực giác “cộng các phần rời nhau”. 3. Phải làm việc tốt với vô hạn đếm được → để phân tích giới hạn và xây lý thuyết tích phân.

5. Từ trực giác độ dài của khoảng → định nghĩa measure trừu tượng → Lebesgue measure, để thấy rõ lý do lịch sử và logic.

Bạn có muốn mình làm tiếp không?