# Mahler's compactness theorem

Mahler's compactness theorem In mathematics, Mahler's compactness theorem, proved by Kurt Mahler (1946), is a foundational result on lattices in Euclidean space, characterising sets of lattices that are 'bounded' in a certain definite sense. Looked at another way, it explains the ways in which a lattice could degenerate (go off to infinity) in a sequence of lattices. In intuitive terms it says that this is possible in just two ways: becoming coarse-grained with a fundamental domain that has ever larger volume; or containing shorter and shorter vectors. It is also called his selection theorem, following an older convention used in naming compactness theorems, because they were formulated in terms of sequential compactness (the possibility of selecting a convergent subsequence).

Let X be the space {matemática de estilo de exibição {GL} _{n}(mathbb {R} )/matemática {GL} _{n}(mathbb {Z} )} that parametrises lattices in {estilo de exibição mathbb {R} ^{n}} , with its quotient topology. There is a well-defined function Δ on X, which is the absolute value of the determinant of a matrix – this is constant on the cosets, since an invertible integer matrix has determinant 1 or −1.

Mahler's compactness theorem states that a subset Y of X is relatively compact if and only if Δ is bounded on Y, and there is a neighbourhood N of 0 dentro {estilo de exibição mathbb {R} ^{n}} such that for all Λ in Y, the only lattice point of Λ in N is 0 em si.

The assertion of Mahler's theorem is equivalent to the compactness of the space of unit-covolume lattices in {estilo de exibição mathbb {R} ^{n}} whose systole is larger or equal than any fixed {displaystyle varepsilon >0} .

Mahler's compactness theorem was generalized to semisimple Lie groups by David Mumford; see Mumford's compactness theorem.

References William Andrew Coppel (2006), Teoria dos Números, p. 418. Mahler, Kurt (1946), "On lattice points in n-dimensional star bodies. EU. Existence theorems", Proceedings of the Royal Society of London. Série A: Mathematical, Physical and Engineering Sciences, 187: 151-187, doi:10.1098/rspa.1946.0072, ISSN 0962-8444, JSTOR 97965, MR 0017753 Categorias: Geometry of numbersDiscrete groupsCompactness theoremsTheorems in number theory

Se você quiser conhecer outros artigos semelhantes a Mahler's compactness theorem você pode visitar a categoria Compactness theorems.

Ir para cima

Usamos cookies próprios e de terceiros para melhorar a experiência do usuário Mais informação