Войти
В математике топологическое кольцо - это кольцо R, которое также является топологическим пространством , так что как сложение, так и умножение непрерывны, поскольку отображает
где R × R несет топология продукта. Это означает, что R является аддитивной топологической группой и мультипликативной топологической полугруппой.
Группа блоков R of R является топологической группой, если наделена топологией, полученной из встраивания R в произведение R × R как (x, x). Однако, если единичная группа наделена топологией подпространства в качестве подпространства R, она может не быть топологической группой, поскольку инверсия на R не обязательно должна быть непрерывной по отношению к топологии подпространства. Примером этой ситуации является кольцо аделей глобального поля ; его единичная группа, называемая группой идеелей, не является топологической группой в топологии подпространства. Если инверсия на R непрерывна в топологии подпространства R, то эти две топологии на R совпадают.
Если не требуется, чтобы кольцо имело единицу, тогда нужно добавить требование непрерывности аддитивного обратного, или, что то же самое, определить топологическое кольцо как кольцо, которое является топологическим группа (для +), в которой умножение тоже непрерывно.
Топологические кольца встречаются в математическом анализе, например, как кольца непрерывных вещественных функций на некотором топологическом пространстве (где топология задается поточечной сходимостью), или как кольца непрерывных линейных операторов на некотором нормированном векторном пространстве ; все банаховы алгебры являются топологическими кольцами. рациональные, вещественные, комплексные и p-адические числа также являются топологическими кольцами (даже топологическими полями, см. Ниже) с их стандартными топологии. На плоскости разделенные комплексные числа и двойные числа образуют альтернативные топологические кольца. См. гиперкомплексные числа для других низкоразмерных примеров.
В алгебре обычна следующая конструкция: начинают с коммутативного кольца R, содержащего идеал I, а затем рассматривают I-адическая топология на R: подмножество U в R открыто тогда и только тогда, когда для каждого x в U существует естественное число n такое, что x + I ⊆ U. Это превращает R в топологическое кольцо. I-адическая топология хаусдорфова тогда и только тогда, когда пересечение всех степеней I является нулевым идеалом (0).
p-адическая топология на целых числах является примером I-адической топологии (с I = (p)).
Каждое топологическое кольцо является топологической группой (относительно сложения) и, следовательно, однородным пространством естественным образом. Таким образом, можно спросить, является ли данное топологическое кольцо R полным. Если это не так, то его можно завершить: можно найти по существу уникальное полное топологическое кольцо S, которое содержит R как плотное подкольцо, такое, что данная топология на R равна топология подпространства, возникающая из S. Если начальное кольцо R является метрическим, кольцо S может быть построено как набор классов эквивалентности последовательностей Коши в R, это отношение эквивалентности делает кольцо S Хаусдорфа и с помощью постоянных последовательностей (которые являются Коши) реализуется (равномерно) непрерывный морфизм (CM в дальнейшем) c: R → S такой, что для всех CM f: R → T, где T хаусдорфово и полно, существует уникальный CM g: S → T такой, что 
Кольца формальных степенных рядов и целых p-адических чисел наиболее естественно определяются как пополнения некоторых топологических колец, несущих I-адические топологии.
Некоторые из наиболее важных примеров - это также поля F. Чтобы иметь топологическое поле, мы также должны указать, что инверсия является непрерывной при ограничении F \ {0}. См. Статью о локальных полях для некоторых примеров.
