Tập mức

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 

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 

 Định lý: Nếu hàm  khả vi, gradien của  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  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  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 . 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  ) 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. 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.

Tham khảo 

Giải tích nhiều biến