Trong hình họclý thuyết nhóm, một lưới trong là một tập hợp gồm tất cả các tổ hợp tuyến tính nguyên của một số hữu hạn các véc-tơ độc lập tuyến tính cho trước.[1] Thông thường, người ta yêu cầu một lưới phải đầy đủ số chiều, tức là các véc-tơ độc lập tuyến tính trên tạo thành một cơ sở của .

Một lưới trong mặt phẳng Euclid.

Ví dụ

sửa

Một ví dụ đơn giản về lưới trong   là nhóm con  .

Đối thể tích

sửa

Một lưới   trong   có dạng

 

trong đó {v1,..., vn } là một cơ sở của  . Ta có thể chọn nhiều cơ sở khác nhau, nhưng trị tuyệt đối của định thức của các véc-tơ vi được xác định duy nhất bởi lưới và được ký hiệu là d(Λ). Coi như lưới   chia   thành các khối đa diện bằng nhau (các bản sao của một hình bình hành n chiều, được gọi là miền cơ bản của lưới), thế thì d(Λ) bằng với thể tích n chiều của khối đa diện này. d(Λ) được gọi là đối thể tích của lưới trên. Nếu giá trị này bằng 1, lưới được gọi là đơn mo-đu-la.

Một mạng tinh thể là một lưới trong không gian ba chiều. Một ô đơn vị là một cách chọn các véc-tơ cơ sở, và hệ tinh thể của mạng là nhóm đối xứng của lưới này.

Tham khảo

sửa
  1. ^ Trần Quang Khoát. “Xấp xỉ bài toán RSIVP và MISP với bội số giả đa thức là NP-hard” (PDF).

Liên kết ngoài

sửa