Hình học liên tục, giới thiệu bởi von Neumann (1936, 1998), là vật thể toán học mà các chiều của không gian con thay vì là 0, 1,..., n, thì có thể là một số thuộc khoảng đơn vị [0,1].

Định nghĩa sửa

Một hình học liên tục là một dàn L với các tính chất:

  • L modular.
  • L đầy.
  • Các phép toán trên dàn ∧, ∨ có tính chất:
     , với A là một tập có hướng và nếu α < β thì aα < aβ. Tương tự cho ∧ và ∨.
  • Mỗi phần tử trong L có một phần bù (không nhất thiết độc nhất). Phần bù của phần tử ab với ab = 0, ab = 1, với 0 và 1 là phần tử min và max của L.
  • L bất khả quy, tức 0 và 1 là phần tử duy nhất có phần bù độc nhất.

Chú thích sửa