Phần tử tối đại và phần tử tối tiểu
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2d/Lattice_of_the_divisibility_of_60_narrow_1%2C2%2C3%2C4.svg/220px-Lattice_of_the_divisibility_of_60_narrow_1%2C2%2C3%2C4.svg.png)
Trong toán học, đặc biệt là trong lý thuyết thứ tự, cho là một tập hợp có thứ tự riêng phần và , khi đó, một phần tử tối đại / tối tiểu (maximal / minimal element) của là một phần tử của mà không nhỏ hơn / không lớn hơn bất kỳ phần tử nào trong .
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 , với là tập có thứ tự riêng phần, là 1 phần tử của 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 . 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 là một tập hợp được sắp thứ tự một phần, . Khi đó, là một phần tử tối đại của nếu không chứa phần tử nào lớn hơn , nghĩa là:
, hoặc ta có thể ký hiệu là [1]
Tương tự, là một phần tử tối tiểu của nếu không chứa phần tử nào nhỏ hơn , nghĩa là:
, hoặc ta có thể ký hiệu là [1]
Chú ý : không giống như tập số thực với quan hệ thứ tự thông thường, đối với bất kỳ, không bé hơn không dẫn đến lớn hơn hoặc bằng
Ví dụ
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Zigzag_poset.svg/200px-Zigzag_poset.svg.png)
- Trong tập hợp các số tự nhiên lớn hơn với quan hệ thứ tự chia hết, các phần tử tối tiểu là các số nguyên tố.[2]
- Ví dụ khác, xét họ tập hợp :
được sắp thứ tự bởi quan hệ bao hàm . Phần tử là tối tiểu vì nó không chứa tập nào trong . Phần tử là tối đại vì không có tập nào trong chứa nó. Phần tử không phải là phần tử tối đại hay tối tiểu, còn phần tử vừa là tối đại, vừa là tối tiểu. Phần tử không phải là lớn nhất vì nó không chứa phần tử . Tương tự, phần tử không phải là nhỏ nhất vì nó không chứa trong .
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.
Xem thêm
Tham khảo
- ^ a b Hoàng Xuân Sính (1972), tr. 27, Định nghĩa 7
- ^ Hoàng Xuân Sính (1972), tr. 27, Ví dụ 1
Thư mục
- 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
Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.
|