ПОРЯДКА ОТНОШЕНИЕ

ПОРЯДКА ОТНОШЕНИЕ
ПОРЯДКА ОТНОШЕ́НИЕ
бинарное (двуместное, двучленное) отношение, обладающее свойствами иррефлек- сивности (см. Рефлексивность) и транзитивности (из чего следует также его антисимметричность, см. Симметричность). П. о. "упорядочивает" элементы множества, на к-ром оно определено: если " " – символ П. о., то пишут ху, когда хотят сказать, что х п р е д ш е с т в у е т у в смысле данного П. о., а у с л е д у е т за х. [Термины "порядок", "предшествующий", "следующий" и т.п. применяются как в тех случаях, когда они непосредственно выражают свойства упорядочиваемого множества, соответствующие нек-рому интуитивному представлению о "порядке" и "следовании" – как, напр., в случае "естественного" упорядочения числовых множеств по величине отношением <, так и тогда, когда "упорядочение" к.-л. (абстрактного) множества вводится чисто формально посредством определения.] Множество, на к-ром определено П. о., наз. частично у п о р я д о ч е н н ы м. Если для любых не равных между собой элементов х и у такого множества имеет место либо х у, либо yх (т.е. П. о. всюду определено или, как говорят, с в я з а н о на этом множестве), то оно наз. просто упорядоченным (или линейно у п о р я д о ч е н н ы м). Непустое упорядоченное множество, каждое подмножество к-рого имеет первый (т.е. предшествующий всем остальным в смысле данного упорядочения) элемент, наз. вполне упорядоченным. Частично упорядоченные множества со всюду определенными на них бинарными операциями взятия общей нижней грани двух элементов (т.е. нек-рого третьего элемента, предшествующего в данном упорядочении обоим данным) и, аналогично, общей верхней грани наз. с т р у к т у р а м и (англ. lattice). Часто данное выше определение П. о. ("П. о. в узком смысле") несколько обобщают, заменяя условие иррефлексивности на условие рефлексивности. Такое обобщение ("П. о. в широком смысле", или "отношение квазипорядка") (напр., замена отношения < на ≤ или строгого включения множества в множество ⊂ на нестрогое включение ), несколько расширяющее интуитивное понимание термина "предшествует", позволяет освободиться от стеснительного и неестеств. ограничения, согласно к-рому общая нижняя (верхняя) грань двух элементов структуры должна непременно быть отличной от каждого из них. Для каждого из этих понятий П. о. имеет место т.н. двойственность, состоящая в том, что отношение, обратное П. о. в широком (узком) смысле, само является П. о. в широком (соответственно узком) смысле (напр., ≤ и ≥, < и >). Отношение же, являющееся отрицанием любого П. о. в широком (узком) смысле, есть П. о. в узком (соответственно широком) смысле (напр., ≤ и > или < и ≥). Разнообразнейшие и важные примеры структур представляют собой всякого рода иерархии (реальных и воображаемых) объектов, имеющие, вообще говоря, вид "деревьев". Аналогия между наглядными представлениями, связываемыми с (линейной) упорядоченностью точечных (пространственных) множеств, и временными (а также причинно-следственными) связями в физике и др. естеств. науках позволяет говорить об изоморфизме различных физич. и геометрич. систем относительно их (временнóго и пространственного) упорядочения. Но между этими двумя "естественными" упорядочениями имеется и серьезное различие: отношение предшествования – следования во времени (играющее роль П. о. для реальных физич. процессов) обусловливает естественную и (по-видимому) однозначную "положительную" "направленность" от прошлого к будущему (по поводу филос. аспектов проблемы "направления времени" и связи ее с понятием причины см. Причинность, Пространство и время); упорядочение же точек геометрич. прямой отнюдь не дает к.-л. "естественных" оснований для априорного предпочтения (выбора) одного из противоположных (двойственных в определенном выше смысле) направлений в качестве "положительного", а выбор одного из этих направлений (и соотнесение его "естественному" и "однозначному" порядку событий во времени) есть дело соглашения. Вместо одновременного рассмотрения двух взаимнодвойств. П. о. на прямой и условной фиксации одного из них в качестве "положительного" часто вообще бывает удобнее трактовать П. о. как тернарное (трехместное) отношение "между", симметричное относительно своих крайних членов. В тех случаях, когда существ. образом проявляется неравноправие двух возможных "естественных направлений" упорядочивания, выбор одного из них в качестве "основного" П. о. определяется индивидуальным строением упорядочиваемого множества. (Здесь речь идет, конечно, лишь о "естественных" упорядочениях – если таковые имеются; напр., конечное множество из n элементов допускает a priori 1·2·...·n = n! различных упорядочений.) Если, напр., из двух натуральных чисел предшествующим считать меньшее, то натуральный ряд оказывается не только упорядоченным, но и вполне упорядоченным; если же предшествующим считать большее число, то имеет место лишь линейная упорядоченность натурального ряда. "Несимметричность" вполне упорядочиваемых дискретных совокупностей, очевидно, тесно связана с рассмотрением их как "становящихся" в ходе определяющей их к о н c т р у к ц и и. Т.о., понятие времени (олицетворяющее в известном смысле несимметричность возможных упорядочиваний событий реального мира), изгнанное в явном виде из математики в связи с принятием абстракции актуальной бесконечности (см. Математическая бесконечность), вновь – хотя и не в непосредственно наглядной форме – проникает в математику, коль скоро мы отказываемся от этой абстракции и пользуемся лишь абстракцией потенциальной осуществимости (см. также Интуиционизм, Конструктивное направление); такое генетич. рассмотрение вполне упорядоченных совокупностей (в частности, числовых) обусловливает возможность применения к ним (в качестве осн. метода определения и доказательства) математической индукции и ее аналогов. Обобщения этого метода применимы и по отношению к таким частично упорядоченным множествам, каждое линейно упорядоченное множество к-рых вполне упорядочено. Важными примерами таких множеств служат структуры п р е д л о ж е н и й (или формул нек-рого исчисления) [упорядоченные посредством отношения (логического) следования (соответственно выводимости в данном исчислении)], к к-рым применима "индукция по построению формулы".
Лит.: Биркгоф Г., Теория структур, пер. о англ., М., 1952; Рейхенбах Г., Направление времени, пер. с англ., М., 1962; Шиханович Ю. Α., Введение в современную математику, М., 1965, гл. 7, § 5.
Ю. Гастев. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Смотреть что такое "ПОРЯДКА ОТНОШЕНИЕ" в других словарях:

  • ОТНОШЕНИЕ — в логике то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным …   Философская энциклопедия

  • Отношение предпочтения — в теории потребления  это формальное описание способности потребителя сравнивать (упорядочивать по желательности) разные наборы товаров (потребительские наборы). Чтобы описать отношение предпочтения, не обязательно измерять желательность… …   Википедия

  • Отношение лишайников к субстрату и другим факторам внешней среды —         Субстрат. Медленный рост слоевища не дает возможности лишайникам в более или менее благоприятных местообитаниях конкурировать с быстрорастущими цветковыми растениями или мхами. Поэтому обычно лишайники заселяют такие экологические ниши,… …   Биологическая энциклопедия

  • отношение порядка — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN ordering relation …   Справочник технического переводчика

  • Отношение порядка — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Бинарное отношение на мно …   Википедия

  • отношение — 3.4 отношение IA/IN: Отношение начального пускового тока IА к номинальному току IN. Источник: ГОСТ Р 51330.8 99: Электрооборудование взрывозащищенное. Часть 7. Защита вида e …   Словарь-справочник терминов нормативно-технической документации

  • Отношение к нанотехнологиям в обществе — Наношестерни молекулярного размера Нанотехнология междисциплинарная область фундаментальной и прикладной науки и техники, имеющая дело с совокупностью теоретического обоснования, практических методов исследования, анализа и синтеза, а также… …   Википедия

  • Отношение к нанотехнологии в обществе — Наношестерни молекулярного размера Нанотехнология междисциплинарная область фундаментальной и прикладной науки и техники, имеющая дело с совокупностью теоретического обоснования, практических методов исследования, анализа и синтеза, а также… …   Википедия

  • Отношение сигнала к помехе комбинационной частоты — 38. Отношение сигнала к помехе комбинационной частоты выраженное в децибелах отношение выходного уровня сигнала несущей к максимальному выходному уровню комбинационных помех в диапазоне рабочих частот и обозначаемое: IМАIII(К) для отношения… …   Словарь-справочник терминов нормативно-технической документации

  • Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… …   Википедия

Книги

Другие книги по запросу «ПОРЯДКА ОТНОШЕНИЕ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»