Русская Википедия:Топологическое тело

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Топологическое тело — тело, наделённое топологией, согласованной с основными операциями, то есть топологическое кольцо с единицей, в котором на всех ненулевых элементах определена непрерывная операция взятия обратного элемента.

Основной результат о топологических телах получен Львом Понтрягиным в 1931 году: всякое локально компактное связное топологическое тело является либо полем вещественных чисел, либо полем комплексных чисел, либо телом кватернионовШаблон:Sfn. Колмогоров использовал этот результат при прямом построении действительной и комплексной проективной геометрии[1][2].

Теорема Ковальского: локально компактное несвязное тело <math>L</math> всюду разрывно, то есть не содержит связных подмножеств, и могут иметься два взаимно исключающих случая:

  • тело <math>L</math> имеет характеристику нуль, и тогда в нём содержится поле <math>K_{0}^{P} = K</math> <math>p</math>-адических чисел;
  • тело <math>L</math> имеет характеристику <math>p</math> и тогда в нём содержится поле <math>K_{t}^{P} = K</math> рядов относительно некоторого <math>t</math>.

В обоих случаях элементы поля <math>K</math> перестановочны по умножению с элементами тела <math>L</math> и имеется конечный линейный базис тела <math>L</math> над полем <math>K</math>. Именно, такая система элементов <math>e, l_1, \dots , l_{\nu}</math> что каждый элемент <math>x \in L</math> записывается в виде <math>x = x_{0}l_{0} + x_{1}l_{1} + \dots + x_{\nu}l_{\nu}</math> (<math>x_{i} \in K</math>)Шаблон:Sfn.

Примечания

Шаблон:Примечания

Литература

  1. А. Н. Ширяев, «Андрей Николаевич Колмогоров (25.IV.1903-20.X.1987): In Memoriam», Теория вероятн. и её примен., 34:1 (1989), 5-118; Theory Probab. Appl., 34:1 (1989), 1-99
  2. Zur Begrundung der projektiven Geometrie.— Ann. Math., 1932, v. 33, p. 175—176.