邏輯矩陣
关系的矩阵表示编辑
如果R是有限集合X和Y之间的一个二元关系( R ⊆ X×Y),那么R可以用矩阵M来表示,M的行索引和列索引由X和Y两个集合分别给出。M的元素定义如下:
注意,在以上定义中,假设了矩阵索引可以出自任意有限集合。如果要求索引是来自某集合 {1, 2, ..., n}的整数,必须用一个n维的有限集合与集合 {1, 2, ..., n}的双射(一一对应)来把原来集合的元素表示成整数。
例子编辑
自然数集合{1, 2, 3, 4}的二元关系整除由以下自然数对集合组成:
- {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.
相应的布尔矩阵表示为:
一些性质编辑
表示有限集合上的相等关系矩阵是单位矩阵,即对角线的元素均为1,其他元素为0。
如果布尔域被看作是半环的,加法对应于逻辑或,乘法对应于逻辑与,两个关系的合成的矩阵表示等于表示这些关系的矩阵的矩阵乘法。
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄