선반 지도

Map of lattices

격자 개념은 수학의 한 분야인 순서 이론에서 발생한다.아래 Hasse 도표는 몇몇 중요한 하위 등급의 격자 사이의 포함 관계를 보여준다.

지도에 있는 관계의 증거

1. 부울대수보완분배 격자다.(def)

2. 부울대수는 헤딩대수다.[1]

3. 부울대수는 직교한다.[2]

4. 분배직교합성 격자는 직교형이다.[3]

5. 부울대수는 직교형이다. (1,3,4)

6. 직교 격자는 직교한다.(def)

7. 정형화된 격자를 보완한다.(def)

8. 보완 격자는 경계한다.(def)

9. 대수 격자가 완성되었다.(def)

10. 완전한 격자는 경계한다.

11. 헤이팅 대수학에는 경계가 있다.(def)

12. 경계가 있는 격자는 격자다.(def)

13. 헤이팅 대수학은 잔류한다.

14. 잔류 격자는 격자다.(def)

15. 분배 격자는 모듈형이다.[4]

16. 모듈식 보완 격자는 비교적 보완적이다.[5]

17. 부울대수는 비교적 보완한다(1,15,16)

18. 비교적 보완된 격자는 격자다.(def)

19. 헤이팅 대수학이란 분배학이다.[6]

20. 완전히 주문된 세트는 분배 격자.

21. 미터법 격자모듈형이다.[7]

22. 모듈식 격자는 반모듈식이다.[8]

23. 투영 격자는 모듈형이다.[9]

24. 투영 격자는 기하학이다.(def)

25. 기하학적 격자는 반모형이다.[10]

26. 반모형 격자는 원자다.[11][disputed ]

27. 원자 격자는 격자다.(def)

28. 격자는 반격이다.(def)

29. 반잠자리부분적으로 주문한 세트다.(def)

메모들

  1. ^ 러더포드(1965), 페이지 77.
  2. ^ 러더포드(1965), 페이지 32-33.
  3. ^ PlanetMath: Wayback Machine보관된 직교 격자 2007-10-11
  4. ^ 러더포드(1965), 22페이지.
  5. ^ 러더포드(1965), 페이지 31.
  6. ^ 러더포드 (1965년), Th.25.1 페이지 74.
  7. ^ 러더포드(1965년), 3.8.1 페이지 22.
  8. ^ 러더포드(1965), 페이지 87.
  9. ^ 러더포드(1965), 페이지 94.
  10. ^ 러더포드(1965년), Th.32.1 페이지 92.
  11. ^ 러더포드(1965), 페이지 89.

참조

  • Rutherford, Daniel Edwin (1965). Introduction to Lattice Theory. Oliver and Boyd.