Математический словарь
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ДЕДЕКИНДОВО СЕЧЕНИЕ

Значение ДЕДЕКИНДОВО СЕЧЕНИЕ в математической энциклопедии:

сечение,- разбиение множества действительных (или только одних рациональных) чисел Rна два такие непустые множества А и В, в сумме дающие Л, что для каждого и выполняется неравенство a<b. Д. с. обозначается символом А|В. Множество Аназ. нижним, а множество B - верхним классом сечения А|В. Д. с. множества рациональных чисел применяются для построения теории действительных чисел. В терминах Д. с. действительных чисел формулируется понятие непрерывности числовой прямой.

Л. Д. Кудрявцев.