伽羅瓦聯絡是一種數學術語。
基本介紹
- 中文名：伽羅瓦聯絡
- 外文名：Galois connection
- 定義：偏序集之間對應的一種特殊聯繫
- 類別：數學術語
伽羅瓦聯絡(Galois connection)偏序集之間對應的一種特殊聯繫.設P,Q是任意兩個偏序集，令，:二~二‘與 : y-'y十分別為屍~Q與Q- h的映身寸，若適合:
1.若二x;則二‘i x i.;
2.若y毛y、則y+妻y;
3.二錢(二‘廣及y錢y+)‘;
則稱映射gyp; xx‘與, : y-＞夕在P和Q之間定義一個伽羅瓦聯絡.
