Loading AI tools
来自维基百科,自由的百科全书
邏輯矩陣(或者布林矩陣)是由布林域B = {0, 1}組成的矩陣。這樣的矩陣可以用來表示一對有限集合之間的二元關係。
如果R是有限集合X和Y之間的一個二元關係( R ⊆ X×Y),那麼R可以用矩陣M來表示,M的行索引和列索引由X和Y兩個集合分別給出。M的元素定義如下:
注意,在以上定義中,假設了矩陣索引可以出自任意有限集合。如果要求索引是來自某集合 {1, 2, ..., n}的整數,必須用一個n維的有限集合與集合 {1, 2, ..., n}的對射(一一對應)來把原來集合的元素表示成整數。
自然數集合{1, 2, 3, 4}的二元關係整除由以下自然數對集合組成:
相應的布林矩陣表示為:
表示有限集合上的相等關係矩陣是單位矩陣,即對角線的元素均為1,其他元素為0。
如果布林域被看作是半環的,加法對應於邏輯或,乘法對應於邏輯與,兩個關係的合成的矩陣表示等於表示這些關係的矩陣的矩陣乘法。
![]() | 這是一篇關於數學的小作品。您可以透過編輯或修訂擴充其內容。 |