Định lý phạm trù Baire là định lý quan trọng trong topo, trong giải tích hiện đại, định lý mang tên nhà toán học người Pháp René-Louis Baire (1874 - 1932).

Định lý có hai dạng, mỗi dạng cung cấp một điều kiện đủ để một không gian topo trở thành một không gian Baire.

Phát biểu

Định nghĩa không gian Baire

Cho (X,τ) là một không gian topo. (X,τ) được giọi là không gian Baire nếu như cho bất kì một họ {A_n} đếm được các tập đóng có phần trong rỗng (trong (X,τ)) thì ∪A_n có phần trong rỗng (trong (X,τ)).

Nội dung định lý phạm trù Baire

(ĐLB1): Mọi không gian metric đầy đủ là không gian Baire.
Tổng quát hơn, bất kì không gian topo nào là đẳng cấu với một tập con mở của một không gian giả metric đầy đủ là một không gian Baire. (ĐLB2): Mọi không gian Compact địa phương Hausdroff là không gian Baire.

Chứng minh

Dưới đây là chứng minh cho mọi không gian Compact địa phương Hasdroff là không gian Baire.

Cho S là một không gian Compact địa phương Hasdroff, chứng minh cho S là không gian Baire.

Cho V₁,V₂,V₃,...là các tập mở và trù mật trong S, cho B₀ là tập mở (khác rỗng) bất kì trong S. Chứng minh cho (∩V_n)∩B₀≠ ∅.

Vì V₁ trù mật trong S nên V₁∩B₀≠∅.

Sử dụng mệnh đề sau: Cho (X,τ) là một không gian Compact địa phươngHausdroff, K là tập Compact trong (X,τ) và U là một tập mở của (X,τ) thỏa K ⊆ U. Khi đó, tồn tại tập mở V trong (X,τ) với Cl(V) là tập Compact và thỏa K ⊆ V ⊆ Cl(V) ⊆ U.

Khi đó tìm được tập mở B₁ trong S sao cho Cl(B₁) ⊆ V₁∩B₀ thỏa B₁ là tập Compact và khác rỗng.

Tìm tập mở B₂ thỏa mãn Cl(B₂) ⊆ V₂∩B₁ thỏa Cl(B₂) là Compact. Dựa vào tính chất trù mật của V₂ nên V₂∩B₁≠∅. Cách tìm B₂ tương tự cách tìm với B₁.

Với cách xây dựng các B_n tương tự, được một dãy tập mở B₀, B₁, B₂, B₃,... trong S với B₀ ⊇ Cl(B₁) ⊇ Cl(B₂) ⊇... thỏa Cl(B_n) ⊆ V_n∩B_n-1 ∀n≥1, sao cho Cl(B_n) Compact và không rỗng.

Cuối cùng, sử dụng lý luận căn bản về các phép toán trên tập hợp, chứng minh (∩V_n)∩B₀≠∅.

Một số Lưu ý

Không mệnh đề nào trong hai dạng trên là hệ quả của mệnh đề kia. Bởi vì tồn tại không gian metric đầy đủ mà không Compact địa phương (xem thêm không gian Baire của các số vô tỉ). Và ngược lại (Xem thêm trong cuốn Counterexamples in Topology của Steen và Seeback trong phần tham khảo. Quan hệ với tiên đề chọn: các chứng minh của ĐLB1 và ĐLB2 đòi hỏi một số dạng của tiên đề chọn, và thực ra, mệnh đề cho rằng mọi không gian giả metric đầy đủ là không gian Baire thì một cách lô gíc tương đương với một phiên bản yếu hơn của tiên đề chọn gọi là tiên đề chọn phụ thuộc. [http://www.math.vanderbilt.edu/~schectex/ccc/excerpts/equivdc.gif]

Một số ứng dụng

ĐLB1 được dùng để chứng minh định lý ánh xạ mở, định lý đồ thị đóng và nguyên lý bị chặn đều. ĐLB1 cũng chỉ ra rằng mọi không gian metric đầy đủ mà không có các điểm cô lập thì không đếm được. Điều này chứng tỏ rằng tập các số thực R là không đếm được. ĐLB2 cho thấy rằng tất cả các đa tạp Hausdroff hữu hạn chiều là không gian Baire. Một số định lý quan trọng

Định lý 1

:Cho một dãy các tập đóng không rỗng lồng nhau K₁ ⊇ K₂ ⊇...trong không gian metric đầy đủ (X,d). Nếu như diam K_n→0 thì ∩K_n≠∅.

Định lý 2

:Cho X là một không gian. (Y,d) là không gian metric. Cho {f_n} là dãy các hàm liên tục từ X vào Y, thỏa mãn f_n (x) → f(x) với mọi x thuộc X, với f là ánh xạ từ X vào Y. :Khi đó, nếu X là không gian Baire thì tập hợp tất cả các điểm mà f liên tục trù mật trong X.

*Một số không gian Baire quan trọng:

Không gian các số thực R.

Không gian các số vô tỉ.

Tập hợp Cantor.

Mọi đa tạp.

Mọi không gian tô pô đẳng cấu với một không gian Baire.