Phần tử lớn nhất và phần tử nhỏ nhất

Trong toán học, đặc biệt là trong lý thuyết thứ tự, phần tử lớn nhất (cũng gọi là phần tử tối đại) của tập con của một tập hợp sắp thứ tự một phần là một phần tử của mà lớn hơn mọi phần tử khác trong . Phần tử nhỏ nhất (cũng gọi là phần tử tối tiểu) của là một phần tử nhỏ hơn mọi phần tử khác của S.[1]

g là một phần tử lớn nhất của S nếu

sg, với mọi s thuộc S.

Tương tự, g là một phần tử nhỏ nhất của S nếu

, với mọi s thuộc S.

Giá trị lớn nhất và giá trị nhỏ nhất sửa

Xét   là một hàm số. Ta trang bị cho   thứ tự cảm sinh từ thứ tự trên  . Thế thì phần tử lớn nhất của   được gọi là giá trị lớn nhất của hàm số   và phần tử nhỏ nhất của   được gọi là giá trị nhỏ nhất của hàm số   nếu chúng tồn tại.

Ví dụ sửa

Hàm số   có giá trị nhỏ nhất bằng   và không có giá trị lớn nhất. Hàm số   có giá trị lớn nhất bằng   và không có giá trị nhỏ nhất. Các hàm số   đều không có cả giá trị lớn nhất lẫn giá trị nhỏ nhất. Lưu ý rằng hàm   là một hàm bị chặn dưới. (Trong tất cả các ví dụ trên, tập xác định  ).

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

Nhìn chung, một phần tử lớn nhất, nếu tồn tại, thì là một phần tử tối đại, và nó là phần tử tối đại duy nhất, nhưng điều ngược lại không đúng: một tập hợp có thể có nhiều phần tử tối đại mà không có phần tử lớn nhất.

Tương tự, một phần tử nhỏ nhất, nếu tồn tại, thì là phần tử tối tiểu duy nhất.

Tham khảo sửa

  1. ^ Hoàng Xuân Sính (1972), tr. 27, Định nghĩa 8

Thư mục sửa

  • Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (ấn bản 2). Cambridge University Press. ISBN 978-0-521-78451-1.
  • Hoàng Xuân Sính, Đại số đại cương (tái bản lần thứ tám), 1972, Nhà xuất bản Giáo dục