격자 (순서론)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

순서론에서, 격자(格子, 영어: lattice)는 두 원소 부분집합의 상한(이음, 영어: join 조인[*])과 하한(만남, 영어: meet 미트[*])이 항상 존재하는 부분 순서 집합이다. 다시 말해, 임의의 에 대해, 인 최소 원소 과 최대 원소 가 항상 존재하는 부분 순서 집합 이다.

정의[편집]

격자의 개념은 추상대수학적으로 또는 순서론적으로 정의할 수 있으며, 이 두 정의는 서로 동치이다.

대수학적 정의[편집]

격자 는 다음 세 공리들을 만족시키는 이항연산 이 주어진 대수 구조이다. 여기서 이음, 만남이라고 한다. 모든 에 대하여, 다음이 성립한다.

  • (교환법칙) ,
  • (결합법칙) ,
  • (흡수법칙)

이로부터 다음을 증명할 수 있다.

  • (멱등성)

격자 에 다음과 같은 부분 순서 를 줄 수 있다.

(이 두 성질은 흡수법칙에 따라 동등하다.)

순서론적 정의[편집]

다음 성질을 만족시키는 부분 순서 집합 격자라고 한다.

  • (이음의 존재) 모든 에 대하여, 상한 이 존재하며, 이를 이음이라고 한다. 즉, 이는 다음을 만족시킨다.
  • (만남의 존재) 모든 에 대하여, 하한 이 존재하며, 이를 만남이라고 한다. 즉, 이는 다음을 만족시킨다.

이음과 만남이 유일함을 쉽게 보일 수 있다.

격자 준동형사상[편집]

격자 준동형사상이 아닌 증가함수. 이지만, 이다.

두 격자 사이의 격자 준동형사상(영어: lattice homomorphism)은 이음과 만남을 보존하는 사상 이다. 즉, 다음 성질을 만족시키는 함수이다. 임의의 에 대하여,

이 경우, 만약 라면 마찬가지로 임을 쉽게 보일 수 있다. 따라서, 격자 준동형사상은 증가함수이다. 반면, 증가함수이지만 격자 준동형사상이 아닌 함수도 존재한다.

반대 격자[편집]

주어진 격자 에 대하여, 그 반대 격자(영어: opposite lattice) 는 집합 에 다음과 같은 격자 연산을 부여한 격자이다. 모든 에 대하여,

즉, 부분 순서가 반대 방향이 되고, 만남과 이음이 서로 치환된다.

[편집]

전순서[편집]

전순서 집합 은 격자를 이룬다. 이 경우

이다.

부분집합 격자[편집]

세 원소를 가진 집합의 부분집합의 격자

집합 멱집합 은 부분집합 관계 을 통해 부분 순서 집합을 이룬다. 이 부분 순서 집합은 격자를 이루며, 이 경우 집합 의 어떤 두 부분 집합의 이음과 만남은 각각 두 부분 집합의 합집합교집합이다.

마찬가지로, 의 유한 부분 집합들의 집합 또한 격자를 이룬다.

약수의 격자[편집]

60의 약수들의 격자

양의 정수 에 대하여, 의 (양의 정수인) 약수들은 격자를 이룬다. 마찬가지로, 모든 양의 정수의 격자 역시 격자를 이룬다. 이 경우, 격자 연산은 다음과 같다.

정수론 격자
(약수 관계)
(최소공배수)
(최대공약수)

이는 환 또는 아이디얼들의 격자의 특수한 경우이다.

분할 격자[편집]

집합 분할 들의 집합은 격자를 이룬다.

분할 격자
분할의 세분
공통 세분
공통 역세분

열린 집합의 격자[편집]

위상 공간 의 열린 부분 집합들은 포함 관계에 대하여 격자를 이룬다. 이 격자는 완비 헤이팅 대수이다.

대수학에서의 격자[편집]

대칭군 의 부분군의 격자

의 부분군들의 집합은 유계 완비 격자를 이룬다.

부분군 격자
(으로 생성되는 부분군)
1 (자명군)

마찬가지로, 주어진 군의 정규부분군들 역시 완비 모듈러 격자를 이룬다.

유사환 아이디얼들의 집합 은 유계 완비 격자를 이룬다.

아이디얼 격자

벡터 공간 의 부분 벡터 공간들의 집합은 완비 격자를 이룬다. 이 격자는 양자 논리의 기반을 이룬다.

벡터 공간 격자

참고 문헌[편집]

  • Donnellan, Thomas (1968). 《Lattice theory》 (영어). Pergamon. Zbl 0194.32503. 
  • Grätzer, G. (1971). 《Lattice theory: first concepts and distributive lattices》. A Series of Books in Mathematics (영어). W. H. Freeman. Zbl 0232.06001. 
  • Davey, B.A.; H. A. Priestley (2002). 《Introduction to lattices and order》 (영어) 2판. Cambridge University Press. doi:10.1017/CBO9780511809088. ISBN 978-0-521-78451-1. Zbl 1002.06001. 
  • Birkhoff, Garrett (1967). 《Lattice theory》. AMS Colloquium Publications (영어) 25 3판. American Mathematical Society. 
  • Dilworth, Robert P.; Peter Crawley (1973). 《Algebraic theory of lattices》 (영어). Prentice-Hall. ISBN 978-0-13-022269-5. 
  • Johnstone, Peter T. (1983년 4월). 《Stone spaces》. Cambridge Studies in Advanced Mathematics (영어) 3. Cambridge University Press. ISBN 978-052123893-9. MR 0698074. Zbl 0499.54001. 
  • Bilová, Štěpánka (2001). 〈Lattice theory — its birth and life〉. Eduard Fuchs. 《Mathematics throughout the ages. Contributions from the summer school and seminars on the history of mathematics and from the 10th and 11th Novembertagung on the history and philosophy of mathematics, Holbaek, Denmark, October 28-31, 1999, and Brno, the Czech Republic, November 2-5, 2000》 (영어). Prometheus. 250–257쪽. ISBN 80-7196-219-8. Zbl 1009.01014. 
  • Rota, Gian-Carlo (1977년 12월). “The Many Lives of Lattice Theory” (PDF). 《Notices of the American Mathematical Society》 (영어) 44 (11): 1440–1445. Zbl 0908.06001. 

바깥 고리[편집]