Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
если последовательность {fk} измеримых функций сходится почти всюду на множестве D к функции f и найдется такая интегрируемая функция F, что при всех k и x ∈ D |fk(x)| ≤ F (x), то функции fk и f интегрируемы, причем lim k→∞ (по D) ∫fk(x)dx = ∫f(x)dx
Теорема Какутан и-Окстоби утверждает о существовании не-сепарабельного продолжения меры Лебега, инвариантного относительно сдвигов. Мы получили обобщение этой теоремы на случай, когда мера Лебега заменена на меру вполне однородного Z/Д-пространства несчетного веса г, группы сдвигов заменена на группу автоморфизмов исходной меры, а инвариантное относительно этой группы продолжение меры имеет вес 22.
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
замкнутая ломаная линия
эрмитова матрица