FTFDL 썸네일형 리스트형 유한분배격자의 기본정리 (Fundamental Theorem of Finite Distributive Lattices) Poset (partially ordered set) Theory에서 중요한 정리인 유한분배격자의 기본정리(Fundamental Theorem of Finite Distributive Lattices)에 대해 설명하고자 한다. 이 정리는 Birkhoff's Theorem으로도 불린다. 정의 1. 집합 \(P\)와 그 위에 정의된 order relation \(\le\)의 순서쌍 \((P, \le)\)를 Poset이라고 한다. \(P\)가 유한집합인 경우 \((P, \le)\)를 Finite Poset이라고 한다. 정의 2. Poset \(P\)의 임의의 두 원소가 유일하게 정해지는 Meet \(x\vee y\) 및 Join \(x\wedge y\)를 갖는 경우, \(P\)를 격자(Lattice)라고 한다.. 더보기 이전 1 다음
