Континуум
Конти́нуум (лат. continuum – непрерывное, сплошное), объект, обладающий определёнными свойствами непрерывности. Термин «континуум» используется также для обозначения мощности множества действительных чисел.
Наиболее изученным непрерывным объектом в математике является множество действительных чисел, или числовой континуум. Свойства непрерывности множества действительных чисел могут быть охарактеризованы с помощью различных аксиом непрерывности. Если основным понятием считать понятие неравенства, то непрерывность числового континуум можно, например, охарактеризовать следующим образом: а) между любыми двумя числами и , , лежит по крайней мере ещё одно число , для которого ; б) если все числа разбиты на два класса и так, что каждое число класса меньше любого числа класса , то либо в классе есть наибольшее число, либо в классе есть наименьшее число (аксиома непрерывности Дедекинда).
В топологии свойства непрерывности пространства или любого множества формируются при помощи понятия предельной точки. Множество называется связным, если при любом разбиении его на два непересекающихся непустых подмножества и найдётся хотя бы одна точка, принадлежащая одному из них и предельная для другого. В евклидовых пространствах топологический континуум можно определить как связное замкнутое ограниченное множество. На числовой прямой единственными континуумами в этом смысле являются отрезки (т. е. множества чисел , удовлетворяющих неравенствам ).
Мощность множества действительных чисел называют мощностью континуума и обозначают готической буквой или др.-евр. буквой («алеф»). Каждый топологический континуум имеет ту же мощность . Известно, что мощность больше мощности множества натуральных чисел. В решении вопроса, является ли мощность континуума ближайшей, следующей за мощностью, заключается проблема континуума.