Отношение порядка - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:41:57Z

rollbackEdits.php mass rollback

185.244.195.157 в 03:28, 1 сентября 2022

2022-09-01T03:28:50Z

VictorMinsky: Коррекция ссылки

2020-10-08T11:11:22Z

Коррекция ссылки

5.18.160.167: in => subset

2019-12-08T23:04:37Z

in => subset

94.25.229.158: /* Примеры */

2018-01-17T14:40:43Z

‎Примеры

Pavponn: /* Примеры */

2017-12-28T15:17:59Z

‎Примеры

Pavponn: /* Примеры */

2017-12-28T14:46:02Z

‎Примеры

Pavponn: /* Примеры */

2017-12-27T18:26:07Z

‎Примеры

Pavponn: /* Примеры */

2017-12-27T16:45:31Z

‎Примеры

Pavponn: /* Примеры */

2017-12-27T15:57:43Z

‎Примеры

← Предыдущая		Версия 16:41, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
−
−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}
−
	== Определения ==		== Определения ==
	{{Определение		{{Определение

← Предыдущая		Версия 03:28, 1 сентября 2022
Строка 1:		Строка 1:
		+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
		+	\|+
		+	\|-align="center"
		+	\|'''НЕТ ВОЙНЕ'''
		+	\|-style="font-size: 16px;"
		+	\|
		+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
		+
		+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
		+
		+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
		+
		+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
		+
		+	''Антивоенный комитет России''
		+	\|-style="font-size: 16px;"
		+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
		+	\|-style="font-size: 16px;"
		+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
		+	\|}
		+
	== Определения ==		== Определения ==
	{{Определение		{{Определение

@@ Строка 4: / Строка 4: @@
 [[Бинарное отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''отношением частичного порядка''' (англ. ''partial order relation''), если оно обладает следующими свойствами:
 * [[Рефлексивное отношение|Рефлексивность]] (англ. ''reflexivity''): <tex>\forall a \in X: aRa</tex>.
-* [[Симметричное отношение|Антисимметричность]] (англ. ''antisymmetry''): <tex>\forall a, b \in X:</tex> если <tex>aRb</tex> и <tex>bRa</tex>, то <tex> a = b </tex>.
+* [[Антисимметричное отношение|Антисимметричность]] (англ. ''antisymmetry''): <tex>\forall a, b \in X:</tex> если <tex>aRb</tex> и <tex>bRa</tex>, то <tex> a = b </tex>.
 * [[Транзитивное отношение|Транзитивность]] (англ. ''transitivity''): <tex>\forall a, b, c \in X:</tex> если <tex>aRb</tex> и <tex>bRc</tex>, то <tex>aRc</tex>.
 }}
@@ Строка 14: / Строка 14: @@
 [[Бинарное отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''строгим отношением частичного порядка''' (англ. ''strict order relation''), если оно обладает следующими свойствами:
 * [[Рефлексивное отношение|Антирефлексивность]] (англ. ''irreflexivity''): <tex>\forall a \in X: aRa </tex> — не выполняется.
-* [[Симметричное отношение|Антисимметричность]] (англ. ''antisymmetry''): <tex>\forall a, b \in X:</tex> если <tex>aRb</tex> и <tex>bRa</tex>, то <tex> a = b </tex>.
+* [[Антисимметричное отношение|Антисимметричность]] (англ. ''antisymmetry''): <tex>\forall a, b \in X:</tex> если <tex>aRb</tex> и <tex>bRa</tex>, то <tex> a = b </tex>.
 * [[Транзитивное отношение|Транзитивность]]:  (англ. ''transitivity'') <tex>\forall a, b, c \in X:</tex> если <tex>aRb</tex> и <tex>bRc</tex>, то <tex>aRc</tex>.
 }}

@@ Строка 26: / Строка 26: @@
 |definition =
 [[Бинарное отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''отношением полного порядка''' (англ. ''well-order relation''), если оно является отношением линейного порядка и обладает следующим свойством:
-  <tex>\forall Y \in X \exists a \in Y \forall b \in Y: aRb</tex>.
+  <tex>\forall Y \subset  X \exists a \in Y \forall b \in Y: aRb</tex>.
 }}
 Множество <tex>X</tex>, на котором введено отношение полного порядка, называется '''полностью упорядоченным''' (англ. ''well-order'').

@@ Строка 39: / Строка 39: @@
 * Отношение «является делителем» на множестве натуральных чисел является отношением частичного порядка.
 * Отношение «меньше или равно» является отношением полного порядка на множестве натуральных чисел.
-* Отношение «лексекографически не меньше» на множестве всех возможных слов, составленных из букв русского алфавита, является отношением полного порядка.
+* Отношение «лексикографически не меньше» на множестве всех возможных слов, составленных из букв русского алфавита, является отношением полного порядка.
 * Отношение «состоит в подчинении» на множестве работников компании является отношением нестрогого порядка.
 * Можно рассмотреть отношение «не младше» на множестве некоторой группы людей. Для соблюдения всех тонкостей скажем, что их даты рождения различны. Это отношение транзитивно (если ''человек A'' не младше ''человека B'', а ''человек B'' не младше ''человека C'', то ''человек A'' не младше ''человека C''), антисимметрично (если ''человек A'' не младше ''человека B'' и ''человек B'' не младше ''человека A'', то это один и тот же человек) и рефлексивно (каждый человек не младше самого себя). Из этого следует, что данное отношение является отношением частичного линейного порядка.

@@ Строка 44: / Строка 44: @@
 * Отношение «является делителем» на множестве целых чисел не является отношением частичного порядка. Это легко видеть на следующем примере: <tex> 2 </tex> делится на <tex> -2 </tex>, а <tex> -2 </tex> делится на <tex> 2 </tex>.  Однако <tex> 2 \neq -2</tex>.
-* Отношение «больше или равно по модулю» на множестве комплексных чисел не является отношением порядка. Из равенства модулей не следует равенство самих чисел, что демонстрирует данный пример: модули комплексных чисел <tex> 3 + 4i </tex> и <tex> 4 + 3i </tex> равны, но сами числа разные.
+* Отношение «больше или равно по модулю» на множестве комплексных чисел не является отношением порядка. Из равенства модулей не следует равенство самих чисел, тем самым нарушается антисимметричность. Это демонстрирует данный пример: модули комплексных чисел <tex> 3 + 4i </tex> и <tex> 4 + 3i </tex> равны, но сами числа разные.
 ==См. также==

@@ Строка 36: / Строка 36: @@
 == Примеры ==
 * На множестве вещественных чисел отношения «больше» и «меньше» являются отношениями строгого порядка, а «больше или равно» и «меньше или равно» — нестрогого, причем линейного порядка, но не полного.
-* Отношение «являться делителем» на множестве целых чисел является отношением частичного порядка.
+* Отношение «является делителем» на множестве натуральных чисел является отношением частичного порядка.
 * Отношение «меньше или равно» является отношением полного порядка на множестве натуральных чисел.
-* Можно рассмотреть отношение «не младше» на множестве некоторой группы людей. Для соблюдения всех тонкостей скажем, что их дни рождения различны. Это отношение транзитивно (если человек A не младше человека B, а человек B не младше человека C, то человек A не младше человека C), антисимметрично (если человек A не младше человека B и человек B не младше человека A, то это один и тот же человек) и рефлексивно (каждый человек не младше самого себя). Из этого следует, что данное отношение является отношением частичного порядка.
+* Отношение «лексекографически не меньше» на множестве всех возможных слов, составленных из букв русского алфавита, является отношением полного порядка.
 ==См. также==