Phân hoạch đơn vị

Trong toán học, một phân hoạch đơn vị của một không gian tô pô X là một tập hợp R các hàm liên tục từ X vào đoạn thẳng đơn vị [0,1], sao cho tại mọi điểm , ta có:Trần Văn Ân (2013), tr. 109
 Tồn tại một lân cận của x sao cho trên đó chỉ có một số hữu hạn các hàm trong R khác 0, và
 Tổng các giá trị của mỗi hàm tại x bằng 1, tức là, .

Phân hoạch đơn vị cho phép mở rộng các xây dựng địa phương ra toàn không gian. Nó có vai trò quan trọng trong nội suy dữ liệu, xử lý tín hiệu, và trong lý thuyết về các hàm đa thức từng đoạn (spline functions).

 Sự tồn tại 
Sự tồn tại của một phân hoạch đơn vị ứng với một phủ mở thường có hai dạng:

 Cho trước một phủ mở {Ui}i∈I của một không gian tô pô, tồn tại một phân hoạch {ρi}i∈I có cùng một tập chỉ số I (với phủ mở) sao cho supp ρi⊆Ui. Một phân hoạch như vậy được gọi là subordinate to the open cover (phụ thuộc vào phủ mở, dưới) {Ui}i.
 Nếu không gian là compắc địa phương, cho trước một phủ mở {Ui}i∈I, tồn tại một phân hoạch {ρj}j∈J có tập chỉ số J (không nhất thiết là I) sao cho mỗi ρj có giá com pắc và với mọi j∈J, supp ρj⊆Ui với i∈I nào đó.

(tức là ta thường chọn phân hoạch theo các phủ mở, hoặc là phân hoạch com pắc). Nếu không gian là com pắc, cả hai dạng phân hoạch này đều tồn tại (với mọi phủ mở).

 Ví dụ 
Đồng nhất phần bủ  (của đường tròn  đối với một điểm ) với  (chẳng hạn, qua phép chiếu với tâm là ). Đặt gốc tọa độ của  là . Xét hàm bướu  trên  xác định bởiThế thì cả  và  có thể được mở rộng thành một hàm nhẵn trên  bằng cách đặt . Ta có một phân hoạch đơn vị  trên đường tròn .

Định nghĩa khác
Đôi khi một định nghĩa yếu hơn được sử dụng: tổng các hàm chỉ cần là số dương, không cần bằng 1. Tuy nhiên với một họ hàm  như thế, ta có thể xây dựng một phân hoạch đơn vị theo nghĩa ngặt bằng cách chia cho hàm tổng; xét  với .

Một số tác giả bỏ cả điều kiện địa phương rằng chỉ có một số hữu hạn hàm khác 0, và chỉ yêu cầu  với mọi .

Ứng dụng
Phân hoạch đơn vị có thể được sử dụng để định nghĩa tích phân của một hàm trên một đa tạp: đầu tiên ta định nghĩa tích phân của một hàm có giá nằm trong một hệ tọa độ địa phương; sau đó sử dụng phân hoạch đơn vị để định nghĩa tích phân của một hàm bất kì; cuối cùng ta chỉ ra định nghĩa này không phụ thuộc vào cách chọn phân hoạch đơn vị. Đây là ý tưởng chung để sử dụng phân hoạch đơn vị.

Phân hoạch đơn vị được sử dụng để chỉ ra sự tồn tại của một metric Riemann trên một đa tạp bất kì.Xem thêm Warner (1971), tr. 52, Ex. 23

Phân hoạch đơn vị được dùng để thiết lập các xấp xỉ nhẵn toàn cục cho các hàm Sobolev trong các miền bị chặn.

Tham khảo

 Thư mục 
 , see chapter 13
 Trần Văn Ân, (2013), Giáo trình độ đo - tích phân, Chương 3
 Warner, Frank, (1971), Foundations of Differentiable Manifolds and Lie Groups

Liên kết ngoài
General information on partition of unity tại MathWorld
Applications of a partition of unity  tại PlanetMath

Thể loại:Hình học vi phân
Thể loại:Toán học tô pô