✨Phần tử tối đại và phần tử tối tiểu

nhỏ|[[Biểu đồ Hasse của tập hợp P gồm các ước số của 60, với quan hệ thứ tự riêng phần "y chia hết cho x".

Phần màu đỏ là tập con S = {1,2,3,4} có hai phần tử tối đại là 3 và 4, và một phần tử tối tiểu là 1, cũng là phần tử nhỏ nhất của nó.]] Trong toán học, đặc biệt là trong lý thuyết thứ tự, cho $P$ là một tập hợp có thứ tự riêng phần và $S\backslash subseteq\; P$, khi đó, một phần tử tối đại / tối tiểu (maximal / minimal element) của $S$ là một phần tử của $S$ mà không nhỏ hơn / không lớn hơn bất kỳ phần tử nào trong $S$.

Khái niệm phần tử tối đại và phần tử tối tiểu là yếu hơn khái niệm phần tử lớn nhất và phần tử nhỏ nhất (greatest / least element) hay còn được biết là cực đại và cực tiểu (maximum / minumum). Phần tử lớn nhất / nhỏ nhất của $S\backslash subseteq\; P$, với $P$ là tập có thứ tự riêng phần, là 1 phần tử của $S$ mà lớn hơn hoặc bằng / nhỏ hơn hoặc bằng mọi phần tử khác của $S$. Một tập thứ tự riêng phần chỉ có thể có thể có nhiều nhất một cực đại và cực tiểu, nhưng có thể có nhiều phần tử tối đại và tối tiểu, hoặc thậm chí là không có.

Đối với những tập hợp có thứ tự tổng quát, khái niệm tối đại / tối tiểu và cực đại / cực tiểu là trùng nhau.

Bổ đề Zorn phát biểu rằng với mọi tập có thứ tự riêng phần, mọi tập con có thứ tự toàn phần đều có một chặn trên mà chứa ít nhât 1 phần tử cực đại. Bổ đề này tương đương với định lý sắp tốt và tiên đề chọn và dẫn đến các kết quả quan trọng trong các lĩnh vực toán khác như định lý Hahn–Banach, đinh lý Kirszbraun, định lý Tychonoff, sự tồn tại của các cơ sở Hamel cho các không gian véctơ, và sự tồn tại của các bao đóng đại số của các trường.

Định nghĩa

Cho $(P,\backslash leq)$ là một tập hợp được sắp thứ tự một phần, $m\backslash in\; S\backslash subseteq\; P$. Khi đó, $m$ là một phần tử tối đại của $S$ nếu $S$ không chứa phần tử nào lớn hơn $m$, nghĩa là:

Tương tự, $m\backslash in\; S$ là một phần tử tối tiểu của $S$ nếu $S$ không chứa phần tử nào nhỏ hơn $m$, nghĩa là:

Sự tồn tại và tính duy nhất

Các phần tử tối đại không nhất thiết tồn tại. Và nếu tồn tại, cũng không nhất thiết phải là duy nhất.