Phần tử hút
Trong toán học, phần tử hút (hoặc phần tử triệt tiêu, hoặc là phần tử hấp thụ) là một loại phần tử đặc biệt trong tập được định nghĩa cùng một phép toán hai ngôi trên tập đó. Kết quả của việc hợp phần tử hút với phần tử bất kỳ trong tập hợp dưới phép toán hai ngôi là chính phần tử đó. Trong lý thuyết nửa nhóm, phần tử hút còn được gọi là phần tử không[1][2] bởi không thể nào nhầm với các thuật ngữ khác của không.
Định nghĩa
Gọi Bản mẫu:Nowrap là tập hợp S cùng phép toán hai ngôi đóng • trên đó (hay còn được gọi là magma). phần tử hút là phần tử z sao cho với mọi s thuộc S, Bản mẫu:Nowrap. Từ đây ta có hai định nghĩa:[2] phần tử hút trái là các phần tử chỉ yêu cầu Bản mẫu:Nowrap, và phần tử hút phải là các phần tử chỉ yêu cầu Bản mẫu:Nowrap.
Phần tử hút có ý nghĩa quan trọng trong lý thuyết nửa nhóm, đặc biệt là trong nửa nhóm nhân của nửa vành. Trong trường hợp nửa vành cùng 0, định nghĩa của phần tử hút đôi khi được cho phép bỏ qua 0, nếu không thì 0 sẽ là phần tử hút duy nhất.[3]
Các tính chất
- Nếu magma có cả phần tử hút trái z và phần tử hút phải z′, thì nó có phần tử hút, bởi Bản mẫu:Nowrap.
- Mỗi magma chỉ có tối đa một phần hút.
Các ví dụ
- Ví dụ cơ bản nhất của phần tử hút đến từ đại số cơ bản, trong đó mọi số nhân với 0 thì đều bằng 0. Do đó số 0 là phần tử hút.
- Phần tử không của vành là phần tử hút. Cho Bản mẫu:Mvar thuộc vành Bản mẫu:Mvar, , nên , bởi phần tử không là phần tử Bản mẫu:Mvar duy nhất sao cho với bất kỳ Bản mẫu:Mvar thuộc vành Bản mẫu:Mvar. Tính chất này cũng đúng cho cấu trúc rng bởi trong đó chỉ không yêu cầu phần tử đơn vị.
- Số học dấu phẩy động được định nghĩa theo tiêu chuẩn IEEE-754 chứa giá trị đặc biệt được gọi là Not-a-Number ("NaN", hay không phải là số). Nó là phần tử hút của mọi phép toán, nghĩa là Bản mẫu:Nowrap, Bản mẫu:Nowrap, vv...
- Tập của các phép toán hai ngôi trên tập X cùng với phép hợp quan hệ tạo thành một monoid cùng phần tử không, trong đó phần tử không là quan hệ rỗng (tập rỗng).
- Các ví dụ khác:
| Miền | Phép toán | Phần tử hút | ||
|---|---|---|---|---|
| Số thực | ⋅ | Phép nhân | 0 | |
| Số nguyên | Ước chung lớn nhất | 1 | ||
| Ma trận vuông | Phép nhân ma trận | Ma trận các số không | ||
| Đường số thực mở rộng | Minimum/infimum | −∞ | ||
| Maximum/supremum | +∞ | |||
| Các Set | ∩ | Phép giao | ∅ | Tập hợp rỗng |
| Các tập con của tập M | ∪ | Phép hợp | M | |
| Đại số Boole | ∧ | Phép và | ⊥ | Sai |
| ∨ | Phép hoặc | ⊤ | Đúng | |
Xem thêm
- Lũy đẳng (lý thuyết vành)Bản mẫu:Sndphần tử của vành sao cho
- Phần tử đơn vị
- Nửa nhóm vô hiệu
Chú thích
Tham khảo
- Bản mẫu:Chú thích sách
- M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, Bản mẫu:ISBN.
- Bản mẫu:Chú thích sách
Liên kết ngoài
- Absorbing element at PlanetMath