аксиома
101ПАША АКСИОМА — одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии. Формулировка аксиомы использует понятие лежать внутри отрезка , причем отрезок здесь рассматривается как система двух различных точек Аи В, принадлежащих одной прямой; точки …
102ЦЕРМЕЛО АКСИОМА — выбора аксиома для произвольного (не обязательно дизъюнктного) семейства множеств. Эту аксиому Э. Цермело сформулировал в 1904 в виде следующего утверждения, названного им принципом выбора [1]: для любого семейства множества . можно выбрать из… …
103Первая аксиома счётности — ― понятие общей топологии. Топологическое пространство удовлетворяет первой аксиоме счетности, если система окрестностей всякой его точки обладает счётной базой. Примеры Первой аксиоме счётности удовлетворяют метрические пространства,… …
104Первая аксиома счетности — Первая аксиома счётности ― понятие общей топологии. Топологическое пространство удовлетворяет первой аксиоме счетности, если система окрестностей всякой его точки обладает счётной базой. Примеры Первой аксиоме счётности удовлетворяют метрические… …
105Пятая аксиома в евклидовой геометрии — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида [1]: И если прямая, падающая на две прямые, образует внутренние и …
106Правовая аксиома — (англ. axiom in law) в праве самоочевидная истина, не требующая доказательств. П.а. отражают уже установленные и достоверные знания. По определению Г.Н. Манова, это «простейшие юридические суждения эмпирического уровня, сложившиеся в результате… …
107Дедекинда аксиома — одна из аксиом непрерывности (см. Непрерывности аксиомы). Д. а. гласит: если все точки прямой разбиты на два непустых класса, причём все точки первого класса расположены левее всех точек второго, то существует либо самая правая точка… …
108Кантора аксиома — одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность вложенных друг в друга отрезков, длины которых стремятся к нулю, имеет одну общую точку. Сформулирована Г. Кантором (1872) …
109ВТОРАЯ АКСИОМА СЧЕТНОСТИ — понятие теоретико множественной топологии. Топологич. пространство удовлетворяет второй аксиоме счетно с т и, если оно обладает счетной базой. Класс пространств, удовлетворяющих В. а. с., выделен Ф. Хаусдорфом (F. Hausdorff); к этому классу… …
110ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… …