В математике теорема о подпространстве гласит, что точки малой высоты в проективном пространстве лежат в конечном числе гиперплоскостей . Это результат, полученный Вольфгангом М. Шмидтом (1972).
Теорема о подпространстве утверждает, что если L 1 ,..., L n — линейно независимые линейные формы от n переменных с алгебраическими коэффициентами и если ε>0 — любое заданное действительное число, то ненулевые целые точки x с
лежат в конечном числе собственных подпространств Q n .
Количественная форма теоремы, определяющая число подпространств, содержащих все решения, была также получена Шмидтом, а теорема была обобщена Шликкевеем (1977), чтобы разрешить более общие абсолютные значения для числовых полей .
Теорема может быть использована для получения результатов по диофантовым уравнениям , таким как теорема Зигеля о целых точках и решение уравнения S-единицы . [1]
Следующее следствие теоремы о подпространстве часто само называется теоремой о подпространстве . Если a 1 ,..., a n являются алгебраическими, такими, что 1, a 1 ,..., a n линейно независимы над Q и ε>0 является любым заданным действительным числом, то существует только конечное число рациональных n -кортежей ( x 1 /y,..., x n /y) с
Специализация n = 1 дает теорему Туэ–Зигеля–Рота . Можно также отметить, что показатель 1+1/ n +ε наилучшим образом соответствует теореме Дирихле о диофантовых приближениях .