Tập mức
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/ba/Level_sets_linear_function_2d.svg/140px-Level_sets_linear_function_2d.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Level_sets_linear_function_3d.svg/140px-Level_sets_linear_function_3d.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e5/Level_sets_linear_function_4d.svg/140px-Level_sets_linear_function_4d.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/34/Level_sets_non-linear_function_2d.svg/140px-Level_sets_non-linear_function_2d.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Level_sets_non-linear_function_3d.svg/140px-Level_sets_non-linear_function_3d.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Level_sets_non-linear_function_4d.svg/140px-Level_sets_non-linear_function_4d.svg.png)
Trong toán học, tập mức của một hàm thực n biến f là tập hợp có dạng
Tập mức là trường hợp đặc biệt của thớ.
Tên khác
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/51/Trefoil_knot_level_curves.png/220px-Trefoil_knot_level_curves.png)
Tập mức xuất hiện trông nhiều ứng dụng, song thường nằm dưới các tên khác. Ví dụ chẳng hạn, đường cong ẩn là đường cong mức có tính độc lập với các đường cong lân cận của nó, nhấn mạnh rằng đường cong được định nghĩa bởi một phương trình ẩn. Tương tự như vậy, mặt mức còn được gọi là mặt phẳng ẩn hay mặt cong mức.
Ví dụ
Xét khoảng cách Euclid 2 chiều sau: Tập mức của hàm số này bao gồm các điểm cách khoảng cách từ gốc tọa độ, do đó tạo thành một đường tròn. Ví dụ chẳng hạn, , vì . Trong hình học, điều này có nghĩa là điểm nằm trên đường tròn bán kính 5 và tâm ở gốc tọa độ. Tổng quát hơn, mặt cầu trong không gian mêtric có bán kính và tâm ở có thể định nghĩa là tập mức .
Tập mức và gradien
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Level_grad.svg/220px-Level_grad.svg.png)
- Định lý: Nếu hàm f khả vi, gradien của f tại một điểm hoặc là bằng 0 hoặc là vuông góc với tập mức của f tại điểm đó.
Để hiểu ý nghĩa của định lý trên, hình dung có hai người đi bộ đang đứng ở cùng vị trí trên một ngọn núi. Một người thì táo bạo, quyết định đi theo hướng dốc nhất, trong khi người còn lại thì cẩn thận hơn; anh ta không muốn leo lên hay trèo xuống mà thay vì đó sẽ chọn con đường giữ anh ấy ở cùng chiều cao. Định lý trên sẽ nói rằng, từ đây hai người sẽ cách xa nhau theo hướng vuông góc với nhau.
Hệ quả của định lý (và bài chứng minh của nó) là nếu f khả vi, thì tập mức của nó là siêu mặt và là đa tạp nằm ngoài các điểm cực trị của f. Tại điểm cực trị, tập mức đó có thể rút gọn về một điểm (ví dụ như tại điểm cực tiểu địa phương của f ) hoặc có điểm kỳ dị ví dụ như điểm tự giao nhau hoặc là điểm lùi.
Tập dưới mức và tập trên mức
Một tập hợp có dạng
được gọi là tập dưới mức của f. Một tập dưới mức ngặt của f có dạng
Tương tự
được gọi là một tập trên mức của f.[1] Và tương tự, một tập trên mức ngặt của f có dạng
Các tập dưới mức rất quan trọng trong lý thuyết tối thiểu hóa. Theo định lý Weierstrass, tính bị chặn của một số tập dưới mức khác rỗng và tính nửa liên tục dưới của hàm số được dùng để suy ra hàm số có giá trị nhỏ nhất. Tính lồi của tất cả các tập dưới mức đặc trưng hóa các hàm tựa lồi.[2]
Tham khảo
- ^ Weisstein, Eric W., "Level Set" từ MathWorld.
- ^ Kiwiel, Krzysztof C. (2001). “Convergence and efficiency of subgradient methods for quasiconvex minimization”. Mathematical Programming, Series A. Berlin, Heidelberg: Springer. 90 (1): 1–25. doi:10.1007/PL00011414. ISSN 0025-5610. MR 1819784. S2CID 10043417.