Безперервності аксіоми

аксіоми, що виражають той чи інший спосіб Безперервність прямій лінії. Наприклад, аксіома Дедекинда: якщо всі крапки прямій розбиті на два непустих класу, причому всі точки першого класу розташовані лівіше всіх точок другого, то існує або сама права точка першого класу, або найлівіша точка другого; аксіома Кантора: будь-яка послідовність вкладених один в одного відрізків, довжини яких прямують до нуля, має одну спільну точку. Н. а. дають можливість встановлювати зберігає порядок взаємно однозначна відповідність між сукупністю всіх точок прямої і сукупністю всіх дійсних чисел. Д. Гільберт запропонував як Н. а. Архімеда аксіому (Див. Архімеда аксіома) і аксіому про неможливість приєднання до прямої нових точок зі збереженням аксіом впорядкованості, конгруентності і аксіоми Архімеда (аксіома лінійної повноти).

Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.

Популярні Пости

Рекомендуємо, 2018

Науково-технічна співпраця соціалістичних країн
Велика радянська енциклопедія

Науково-технічна співпраця соціалістичних країн

Одне з найважливіших напрямків міжнародного соціалістичного поділу праці (Див. Міжнародне соціалістичний розподіл праці). Виражається в обміні між соціалістичними країнами науковим і виробничим досвідом, поділі праці та кооперації в проведенні науково-дослідних і проектно-конструкторських робіт; співробітництво в галузі науково-технічної інформації, винахідництва, підготовки наукових кадрів.
Читати Далі
Пайер Юліус
Велика радянська енциклопедія

Пайер Юліус

Пайер (Payer) Юліус (1. 9. одна тисячу вісімсот сорок два, Шенау, поблизу теплиці, - 30. 8. 1915 Фельдес, нині Блед, Югославія), австрійський дослідник Арктики. В 1872-74 разом з К. Вайпрехтом керував експедицією на судні "Тегетхоф", під час якої була відкрита Земля Франца-Йосипа. Ця подорож описано ним у книзі "725 днів в льодах Арктики» (1876, російський переклад 1935).
Читати Далі
Монада
Велика радянська енциклопедія

Монада

(Від грец. Monás, родовий відмінок monаdos - одиниця, єдине) поняття, яке використовується в ряді філософських систем для позначення конститутивних елементів буття. В античній філософії це поняття як вихідний мірооб'ясняющего принципу було вперше введено піфагореїзмі , бачили в числі і пропорції першооснову речей.
Читати Далі
Оранжерея
Велика радянська енциклопедія

Оранжерея

(Франц. orangerie, від orange - апельсин) засклене приміщення для вирощування, а також утримання взимку південних деревно-чагарникових, частіше вічнозелених рослин (наприклад, пальми), цитрусових (лимон, апельсин) , плодово-ягідних, квіткових і ін., що не витримують на відкритому повітрі клімату Ганною місцевості, а в літній період - для вирощування рослин, що потребують специфічних умов (певній вологості і температури повітря, освітлення).
Читати Далі
Відлучення
Велика радянська енциклопедія

Відлучення

Виключення з релігійної громади, в минулому широко практикувалося як міра церковного покарання в католицизмі, православ'ї, іудаїзмі та деяких ін. Релігіях. Використовувалося церквами в політичних цілях, для боротьби з народними і революційними рухами. Серед зазнали О. російською православною церквою - С.
Читати Далі
Мурат
Велика радянська енциклопедія

Мурат

(Murat) Мурад, Східний Євфрат, річка на Ст Туреччини, основна складова р. Євфрат. Довжина понад 600 км . Площа басейну близько 40 тис. км 2 . Бере початок на схилах масиву Аладаг, протікає у вузькій і глибокій долині по Вірменського нагір'я. Весняна повінь, низька межень в інші пори року. На ділянках зі спокійним плином взимку замерзає.
Читати Далі
Паракас
Велика радянська енциклопедія

Паракас

(Paracas) археологічна культура племен осілих землеробів, що жили в 2-ій половині 1-го тисячоліття до н. е. - початку н. е. на півдні узбережжя сучасного Перу. Названа по півострову Паракас, де в 1925 археологом Х. С. Тельо був вперше виявлений могильник цієї культури. Творці культури П. жили в невеликих глинобитних будинках, займалися землеробством (кукурудза, боби, гарбуз, арахіс та ін.
Читати Далі
Мемфіс (ін. -егіп. Місто)
Велика радянська енциклопедія

Мемфіс (ін. -егіп. Місто)

Мемфіс (грец. Mémphis, егип. Меннефер - від назви пріпірамідного поселення фараона Пепі I; первинна назва "Білі стіни" - від назви фортеці, біля якої місто було засноване), давньоєгипетський місто. Заснований на початку 3-го тис. До н. е. на кордоні Верхнього і Нижнього Єгипту, на лівому березі Нілу (поблизу сучасного селища Бедрахейн і Міт-Рахиня до Ю.
Читати Далі