Definition:Fundamental Domain (Lattice)

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L \subset \R^n$ be an integral lattice.

Let $B = \tuple {v_1, \ldots, v_n}$ be an ordered basis for $L$.


The fundamental domain of $L$ associated to $B$ is the set:

$\ds \set {\sum_{i \mathop = 1}^n \lambda_i v_i: \forall i: 0 \le \lambda_i < 1}$