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 $x\backslash in\; X$, ta có:

• 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à, $\backslash ;\backslash sum\_\{\backslash rho\backslash in\; R\}\; \backslash rho(x)\; =\; 1$.

center|thumb|Một phân hoạch đơn vị của đường tròn bao gồm bốn hàm số liên tục. Đường tròn được trải ra thành một đoạn thẳng (nằm ngang, đậm). Đường nét đứt phía trên là tổng của các hàm liên tục. 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ở {U_i}_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⊆U_i. 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) {U_i}_i.

Nếu không gian là compắc địa phương, cho trước một phủ mở {U_i}_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⊆U_i 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ủ $S^1\; -\{p\}$ (của đường tròn $S^1$ đối với một điểm $p\; \backslash in\; S^1$) với $\backslash mathbb\{R\}$ (chẳng hạn, qua phép chiếu với tâm là $p$). Đặt gốc tọa độ của $\backslash mathbb\{R\}$ là $q\; \backslash in\; S^1$. Xét hàm bướu $\backslash Phi$ trên $\backslash mathbb\{R\}$ xác định bởi

Đị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 $\{\; \backslash psi$i }{i=1}^\infty 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 $\{\; \backslash sigma^\{-1\}\backslash psi$i }{i=1}^\infty với $\backslash sigma(x):=\; \backslash sum\_\{i=1\}^\backslash infty\; \backslash psi\_i(x)$.

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 $x$.

Ứ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ì.

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.