Phân hoạch đơn vị

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:

1. 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.
2. 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ở).

Đồng nhất phần bủ ${\displaystyle S^{1}-\{p\}}$ (của đường tròn ${\displaystyle S^{1}}$ đối với một điểm ${\displaystyle p\in S^{1}}$ ) với ${\displaystyle \mathbb {R} }$ (chẳng hạn, qua phép chiếu với tâm là ${\displaystyle p}$ ). Đặt gốc tọa độ của ${\displaystyle \mathbb {R} }$ là ${\displaystyle q\in S^{1}}$ . Xét hàm bướu ${\displaystyle \Phi }$ trên ${\displaystyle \mathbb {R} }$ xác định bởi

${\displaystyle \Phi (x)={\begin{cases}\exp \left({\frac {1}{x^{2}-1}}\right)&x\in (-1,1)\\0&{\text{tại các điểm khác}}\end{cases}}}$

Thế thì cả ${\displaystyle \Phi }$ và ${\displaystyle 1-\Phi }$ có thể được mở rộng thành một hàm nhẵn trên ${\displaystyle S^{1}}$ bằng cách đặt ${\displaystyle \Phi (p)=0}$ . Ta có một phân hoạch đơn vị ${\displaystyle \{(S^{1}-\{p\},\Phi ),(S^{1}-\{q\},1-\Phi )\}}$ trên đường tròn ${\displaystyle S^{1}}$ .

Đô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 ${\displaystyle \{\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 ${\displaystyle \{\sigma ^{-1}\psi _{i}\}_{i=1}^{\infty }}$ với ${\displaystyle \sigma (x):=\sum _{i=1}^{\infty }\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 ${\displaystyle \sum _{i=1}^{\infty }\psi _{i}(x)<\infty }$ với mọi ${\displaystyle x}$ .^[2]

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ì.^[3]

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.^[4]

• Tu, Loring W. (2011), An introduction to manifolds, Universitext (ấn bản 2), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4419-7400-6, ISBN 978-1-4419-7399-3, 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

• General information on partition of unity tại MathWorld
• Applications of a partition of unity Lưu trữ 2011-11-09 tại Wayback Machine tại PlanetMath