Quan Hệ (toán Học) - .vn

Donate to VNFoundation Project name

• Trang chủ
• Tra cứu tài liệu
• Đóng góp
• Giới thiệu

• • 
• Đăng ký
• Đăng nhập

Đăng nhập

• Ghi nhớ
• Quên mật khẩu?

Đăng nhập Bạn chưa có tài khoản? Hãy đăng ký. Tên đăng nhập hoặc mật khẩu chưa đúng TÀI LIỆU Quan hệ (toán học) Social Sciences 0

Định nghĩa

Cho hai tập hợp A,B. Mỗi tập con của tích Descartes A x B được gọi là quan hệ hai ngôi từ A vào B. Nếu là quan hệ từ A vào B và cặp (a,b) thì ta ký hiệu .

Nếu A = B thì một tập con của tích Descartes AxA được gọi là quan hệ trên A.

Mở rộng của quan hệ hai ngôi là quan hệ n ngôi dẫn đến cấu trúc bảng trong cơ sở dữ liệu quan hệ.

Lưu ý rằng tập tích Descarter là tập các cặp có thứ tự nên quan hệ định nghiã ở đây là quan hệ có hướng từ A vào B. Ta hình dung như các phần tử thuộc tập A là các phần tử "chủ động" trong quan hệ, còn các phần tử của B (nếu có mặt trong quan hệ) là các phần tử "bị động". Điều lưu ý này rất hữu ích cho các quan hệ xã hội như quý và được quý, hâm mộ và bị hâm mộ, hay trong quan hệ bao hàm :chứa và được chứa trong ...

Ví dụ

Các quan hệ trong đời sống xã hội đều là các quan hệ theo nghĩa toán học: quan hệ hôn nhân (khác giới) là quan hệ từ tập người là nam vào tập người là nữ, quan hệ bạn bè, quan hệ đồng nghiệp, đồng hương, quan hệ chống đối... đều là các quan hệ giữa các tập người.

Các quan hệ trong toán như quan hệ bằng nhau, lớn hơn, nhỏ hơn giữa các số thực, quan hệ chia hết giữa các số tự nhiện ....

Các quan hệ tuỳ ý giữa các tập hữu hạn có thể dẫn ra làm ví dụ rất nhiều, chẳng hạn cho A = {a, b, c, d}; B= {1, 2, 3}.

Quan hệ ={ (a,1), (a, 2), (b, 2), (c, 2)}.

Để biểu diễn quan hệ (trên các tập hữu hạn), nhất là khi phải giải quyết các bài toán về quan hệ trên máy tính, ta có biểu diễn bằng ma trận logic hoặc bằng đồ thị

Ma trận logic của quan hệ hai ngôi

Cho tập A có m phần tử

A = {a1,a2,...,am}

và tập B có n phần tử

B = {b1,b2,...,bn}

Ma trận logic của quan hệ A x B là ma trận cấp m n với các phần tử r i,j xác định như sau:

Ví dụ ma trân biểu diễn quan hệ >ở trên là

Một số tính chất của quan hệ trên một tập

Cho là một quan hệ trên tập A:

được gọi là quan hệ có tính chất phản xạ nếu :

được gọi là quan hệ có tính chất đối xứng nếu :nếu thì

được gọi là quan hệ có tính chất phản đối xứng nếu :nếu và thì a = b

được gọi là quan hệ có tính chất bắc cầu nếu :nếu và thì

Quan hệ tương đương

Quan hệ trên A được gọi là quan hệ tương đương nếu nó có ba tính chất phản xạ, đối xứng, bắc cầu.

Cho là quan hệ tương đương trên tập A và phần tử . Tập con của A gồm các phần tử b có quan hệ với a được gọi là lớp tương đương của phần tử a, ký hiệu là .

Cho và quan hệ tương đương . Khi đó

hoặc ,hoặc .

Từ đó tập các lớp tương đương của tạo thành một phân hoạch của tập A.

Một ví dụ minh hoạ cho quan hệ tương đương là quan hệ đồng dư theo môđun m trên tập hợp các số nguyên ( m là số tự nhiên lớn hơn 1), mỗi lớp tương đương là tập các số nguyên có cùng số dư theo môđun m. Trong số học nó còn được gọi là các lớp thặng dư theo môdun m.

Quan hệ thứ tự

Quan hệ trên tập A được gọi là quan hệ thứ tự trên A nếu nó có ba tính chất phản xạ, phản đối xứng và bắc cầu.

Ví dụ về các quan hệ thứ tự là các quan hệ "≤", "≥" trên các tập hợp số. Một ví dụ khác là quan hệ chia hết "\" trên tập số tự nhiên, quan hệ bao hàm "" (quan hệ tập con) trong các tập hợp cũng là các quan hệ thứ tự.

Sau đây ta dùng ký hiệu để chỉ một quan hệ thứ tự trong trường hợp tổng quát.

Quan hệ thứ tự được gọi là quan hệ thứ tự toàn phần trên tập A nếu với hai phần tử bất kỳ một trong hai quan hệ hoặc sẽ xẩy ra. Trong trường hợp ngược lại nó được gọi là quan hệ thứ tự bộ phận. Khi đó, tương ứng ta nói tập A được sắp thứ tự toàn phần/bộ phận. Khi không muốn nói vào chi tiết ta đơn giản gọi chúng là tập được sắp. Các quan hệ "≤" và "≥" trên tập số thực là quan hệ thứ tự toàn phần. Quan hệ chia hết trên tập số nguyên, quan hệ bao hàm trên các tập hợp là các quan hệ thứ tự bộ phận.

Các phần tử đặc biệt trong tập được sắp

Trong tập A được sắp theo quan hệ , một phần tử m được gọi là nhỏ nhất nếu với mọi . Ví dụ như phần tử nhỏ nhất của tập các số tự nhiên dương là 1, phần tử nhỏ nhất theo quan hệ bao hàm trên các tập hợp là tập rỗng, theo quan hệ chia hết trên tập các số tự nhiên phần tử nhỏ nhất là số 1.

Cho S là tập con của tập được sắp A theo quan hệ . Phần tử m (nếu có) được gọi là infimum của S, kí hiệu là ìn(S) hay ^S, nếu với mọi và nếu thì .

Nếu S= {a, b} thì inf({x,y}) được ký hiệu là x^y. Trong quan hệ chia hết trên tập các số tự nhiên, x^y chính là ƯCNN(x,y), còn theo quan hệ bao hàm giữa các tập hợp, A^B chính là tập .

Khái niệm tương tự theo chiều ngược lại là khái niệm supremum, ký hiệu là sub(S)

Quan hệ tích

Cho quan hệ từ tập A vào tập B và quan hệ từ B vào C. Quan hệ tích là quan hệ từ A vào C, xác định bởi khi và chỉ khi tồn tại sao cho và

Tính chất của quan hệ bắc cầu

Quan hệ là quan hệ có tính chất bắc cầu khi và chỉ khi

=.

Quan hệ nhỏ nhất có tính chất bắc cầu chứa quan hệ được gọi là bao đóng bắc cầu (một số người gọi là bao đóng truyền ứng) của quan hệ kí hiệu là .

Nếu tập A hữu hạn gồm n phần tử thì

Ta có thể biểu diễn quan hệ từ tập X và tập Y bằng một đồ thị có hướng như hình bên. Nếu A = thì đồ thị biểu diễn là đồ thị hai phía.

Trong hình bên phần tử A có thể "chủ động" quan hệ với ba phần tử 1, 2, 5 của Y, còn B chủ động không quan hệ với phần tử nào. Về phía Y, phần tử 2 và 5 bị hai phần tử cùng quan tâm, còn 3, 4 không được phần tử nào của X quan hệ tới.

Biểu diễn đồ thị của quan hệ

Ánh xạ là một loại quan hệ trong đó tất cả các phần tử của tập chủ động đều có quan hệ và chỉ quan hệ với một phần tử thuộc tập bị động

Từ biểu diễn đồ thị của quan hệ và biểu diễn ánh xạ, có thể nhận ra rằng ánh xạ (hay hàm) là một quan hệ đặc biệt, mà ta gọi là quan hệ hàm.

Ánh xạ f : A B là một quan hệ từ A vào B thoả mãn điều kiện sau:

Mỗi phần tử a A đều có quan hệ f với đúng một phần tử b B.

Chú ý rằng trong định nghĩa này không loại trừ khả năng hai (hoặc nhiều hơn) phần tử của A cùng có quan hệ f với một phần tử

0 TẢI VỀ TÁI SỬ DỤNG

• Tài liệu PDF
• Tài liệu EPUB

• Lê Văn Tâm
• 0 GIÁO TRÌNH | 1221 TÀI LIỆU

NỘI DUNG CÙNG TÁC GIẢ

• MỘT SỐ KẾT QUẢ NGHIÊN CỨU BƯỚC ĐẦU VỀ THẢM THỰC VẬT VÀ HỆ THỰC VẬT TẠI VÙNG MỞ RỘNG CỦA VƯỜN QUỐC GIA PHONG NHA - KẺ BÀNG
• Tìm hiểu về Mỹ thuật
• Đạo Tứ Ân Hiếu Nghĩa
• Núi lửa hỗn hợp
• Hồ Sĩ Đống
• Chi Cúc vạn thọ (Tagetes)
• Múi giờ trên trái đất
• Thượng úy
• Hoàng Văn Thụ
• Họ Chim mào bắt rắn (Cariamidae)

×

VOER message

×

VOER message

Thư viện Học liệu Mở Việt Nam (VOER) được tài trợ bởi Vietnam Foundation và vận hành trên nền tảng Hanoi Spring. Các tài liệu đều tuân thủ giấy phép Creative Commons Attribution 3.0 trừ khi ghi chú rõ ngoại lệ.

•