Hình học liên tục

Từ testwiki
Bước tới điều hướng Bước tới tìm kiếm

Hình học liên tục, giới thiệu bởi Bản mẫu:Harvs, 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

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:
    (⋀α∈Aaα)∨b=⋀α(aα∨b), với A là một tập có hướng và nếu Bản mẫu:Nowrap thì Bản mẫu:Nowrap. 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ử a là b với Bản mẫu:Nowrap, Bản mẫu:Nowrap, 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

Bản mẫu:Tham khảo

Lấy từ “https://vi.wiki.beta.math.wmflabs.org/w/index.php?title=Hình_học_liên_tục&oldid=2359”