Lớp tương đương
From Wikipedia, the free encyclopedia
Trong toán học, khi các phần tử của một tập hợp có quan hệ tương đương với nhau với nhau, ta có thể tách tập thành các lớp tương đương. Các lớp này được xây dựng sao cho hai phần tử và thuộc cùng một lớp tương đương khi và chỉ khi chúng tương đương với nhau.
Cụ thể hơn, cho tập và quan hệ tương đương trên lớp tương đương của phần tử trong ký hiệu bởi [1] là tập [2] các phần tử tương đương với Ta có thể chứng minh từ định nghĩa lớp tương đương rằng các lớp tương đương tạo thành phân hoạch tập hợp của Tập các lớp tương đương này được gọi là tập hợp thương hay không gian thương của bởi và ký hiệu bởi
Khi tập hợp có một số cấu trúc đại số (ví dụ như đi kèm phép toán nhóm hay là một nhóm topo và quan hệ tương đương tương thích với cấu trúc đó thì tập thương cũng sẽ giữ cấu trúc thêm vào từ tập mẹ. Các ví dụ bao gồm không gian thương trong đại số tuyến tính, nhóm thương, không gian đồng nhất, vành thương, monoid thương, và các phạm trù thương.