рефлексивность
51ПОРЯДКА ОТНОШЕНИЕ — бинарное (двуместное, двучленное) отношение, обладающее свойствами иррефлек сивности (см. Рефлексивность) и транзитивности (из чего следует также его антисимметричность, см. Симметричность). П. о. упорядочивает элементы множества, на к ром оно… …
52ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… …
53ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
54РАВЕНСТВО ( и ) — РАВЕНСТВО (в логике и математике) отношение между выражениями языка логики и математики, верное тогда (и только тогда), когда оба выражения обозначают один и тот же предмет, т.е., когда все, что можно сказать на языке данной теории про объект,… …
55БАЗИС — множества X минимальное порождающее его подмножество В. Порождение означает, что применением операций нек рого класса к элементам получается любой элемент Это понятие связано с понятием зависимости: элементы Xпосредством операций из ставятся в… …
56БАНАХОВО ПРОСТРАНСТВО — В пространство, полное нормированное векторное пространство. Исходными для создания теории Б. п. послужили введенные (в 1904 18) Д. Гильбертом (D. Hilbert), М. Фреше (М. Frechet) и Ф. Рисом (F. Riesz) функциональные пространства. Именно в этих… …
57БЛИЗОСТИ ПРОСТРАНСТВО — множество Рс бинарным отношением на множестве всех его подмножеств, удовлетворяющее следующим аксиомам: 1) равносильно (симметричность); 2) равносильно или (аддитивность); 3) равносильно …
58ПОРЯДОК — отношение порядка, бинарное отношение на нек ром множестве А, обычно обозначаемое символом и обладающее следующими свойствами: (1) (рефлексивность); (2) если и , то (транзитивность); (3) если и , то а=b (антисимметричность). Если …
59РАВЕНСТВА АКСИОМЫ — аксиомы, регулирующие употребление отношения равенства в математич. доказательствах. Аксиомы эти утверждают рефлексивность отношения равенства и возможность замены равного равным. Символически Р. а. записываются так: где j произвольная формула, а …
60ЭКВИВАЛЕНТНОСТЬ — бинарное отношение на множестве X, удовлетворяющее условиям: 1) xRx (рефлексивность), 2) (симметричность), 3) (транзитивность). Если f отображает множество X во множество Y, то отношение R= {(х 1x2)|fx1=fx2} явля …
