Comments 250
срочно издавайте эту книгу!
Или лимоны выращивать многомерные на цедру. Ещё хорошо если они фрактальные, цедры ещё больше будет!
Можно посадить двух многомерных медведей в одну клетку без еды и подождать. Не придется ничего тратить.
А как же многомерные шкуры ?
Мудрецы правы: все мы уникальны и в своей уникальности абсолютно одинаковы.Все люди разные, один я одинаковый.
См. "The Art of Doing Science and Engineering: Learning to Learn" by Richard Hamming
Отличный пример! Если не возражаете, я бы его развил и в эту главу добавил.
Кстати, ещё одна идея, которую я продвигаю на своих лекциях для архитекторов, такая же естественная и такая же редко встречающаяся в умах: «Твоя работа влияет на мир и других людей. Ты — один из немногих, кто может что-то реально изменить прямо сейчас». Увы, наш менталитет не даёт закрепиться в людях чувству ответственности за свои действия.
"наш менталитет не даёт закрепиться в людях чувству ответственности за свои действия"
Два человека хотят перейти реку. Один построил половину моста, а другой — нет. Вопрос в том, должен ли первый человек достроить мост до второго, и захочет ли он это сделать.
Вот люди и берут квартиры в таких домах как первое жилье, за которое не нужно платить до пенсии.
Замечательно поучительная история о средних людях! Хорошо, что вспомнили о той статье. Это перевод из книжки Роуза и его вполне можно переработать в дополнение, не нарушая авторских прав.
Это да. Поэтому гуру дизайна рекомендуют выбрать пару-тройку конкретных типажей, и пилить продукт под них.
Суммарная длина корки — это аналог объёма в одномерном мире — составит $15\%$ от общей длины арбуза. У двумерного, блинообразного арбуза, корка в виде белого кольца, по площади будет меньше, чем его внутренняя часть, уже всего в три раза. В привычном нам трёхмерном мире, такая корка составит почти $40\%$ общего объёма. Чувствуется подвох.
Можно посмотреть как считаются те 40%, хотелось бы увидеть расчёты.
Объем шара пропорционален кубу радиуса. Если радиус арбуза принять за 1 — то радиус мякоти будет 0,85. 0,85 в кубе — это 0,614. Вычитаем 0,614 из 1 и получаем 0,386 — что и есть почти 40% общего объема.
Формула вот: 1 — (1 — p)n
В соответствии с формулой, 1 — (1 — 0.15)^3 =0.385 ~ 40%
Но можно и напрямую. Объём арбуза с коркой: 4/3 pi R^3
Объём корки: 4/3 pi R^3 — 4/3 pi (R-Rd)^3
Их отношение: 1 — (1 — d)^3
1. Применяем рекламный слоган: «А знаете ли вы, что покупая арбузы вы почти половину денег платите за… корку?»
2. Выращиваем арбузы без корки.
3. Профит!
(Но кстати для чистоты эксперимента надо сравнить плотность мякоти и корочки).
Кольцо, кстати, тоже можно нарезать линиями и взять самую большую. Получите в 1.38 раза больше арбуза, но снова кому-то достанется только корка…
Объём цилиндра — πr2h, если h стремится в бесконечность, то получается, что у нас потери на корку π(R2-r2), т.е. квадратичные. Т.е. чем более вытянутый арбуз, тем меньше влияют его «крышки» (плоскости цилиндра) на потери на шкурку.
Так что может быть, что у вытянутого цилиндра потери на шкурку меньше, чем у сферического при том же радиусе. А вот на кг — надо считать…
Чем и хорошо обезразмеривание, что позволяет делать универсальные выводы. Для всех конечных трёхмерных тел приведённая формула работает одинаково: все неизвестные формфакторы сокращаются. Разницу вы почувствуете на фрактальных объектах или на бесконечных.
Если толщина корки одинаковая по всему арбузу — сама форма не важна. Можете поставить формулу эллипса (или более даже более хитрый интеграл) — получите то же самое отношение.
нет резона вести нескончаемые споры, в поисках истины, вместо этого, стоит прислушаться и постараться услышать иное мнение
Так хорошо всё было, а закончилось постмодернистской жвачкой о равенстве всех мнений.
P. S.: Хотя такая гибкость вряд ли будет приводить к личному успеху. Но наверняка она будет больше способствовать успеху общины, чем упрямство.
Мнения не равны, но могут быть интересны. И, в конце концов, о том и речь, что отношение эквивалентности на множестве мнений определить вряд ли получится :)
Возьмите клавиши фортепьяно и попробуйте там таким способом найти «золотую середину». Вряд ли получится какая-то красивая музыка.
В этой главе — да, вертится вокруг очень простых идей. Но будут и другие главы, в том числе и с программистскими задачками а-ля recreational science из Scientific American 80-х годов. А предположение о ценности среднего здесь не более чем ирония над общим мнением, комментарии прекрасно это показывают.
На практике люди этого не понимают, пытаются внедрять в бизнес процессы новомодные приложения, которые, фактически, становятся дополнительной точкой отказа и приводят только к проблемам, а не пользе.
Вы покупаете виноград. Вероятность тухлой ягоды 5%. Всего 12 ягод. Получается, что половина винограда протухла. Какой-то неправильный вывод. Да и бизнес-процессы такой простой логике не подчиняются.
Если мы введём ещё множество параметров отбора ягод, то получим бОльшую размерность и условные 50% ягод, которые не будут удовлетворять всем параметрам. Например параметры:
— треснута корочка на ягоде или нет;
— размер ягоды большой/маленький;
— овальность/округлость ягоды;
— подсохший хвостик ягоды или нет;
— косточек больше 2 (для не киш-миша);
и т.д.
Применительно к бизнесс-процессам, это правило учит быть готовым к отказу на каком-то шаге (маловероятно на каждом отдельно, но вероятно на хотя бы одном), либо же требовать исключительно низкой вероятности отказа каждого шага.
Вот и я говорю о том, что ягод у можно заметить и отбросить. Не всегда ягоды требуется есть строго последовательно и выбрасывать все оставшиеся, если попалась тухлая.
Речь именно о том, что несмотря на вроде-бы мелкие вероятности отказа, приходится вводить двойное резервирование и тратить в 3 раза больше денег.
На практике люди этого не понимают, пытаются внедрять в бизнес процессы новомодные приложения, которые, фактически, становятся дополнительной точкой отказа и приводят только к проблемам, а не пользе.
Я ответил с примерами, что бизнес-процессы не всегда являются строго последовательно, а новые приложения ухудшают надёжность. И зачем вы мне пишете, что параллельно?
На самом деле, в примере про радио вышки тратить дополнительные деньги не пришлось, т. к. резервные вышки уже построены другими операторами. Вот так на пустом с технической точки зрения можно повысить надёжность.
Сегодня слёт капитанов очевидность?
Очевидно, нет :)
Мне показалось очевидным, что пример в статье и в начальном комментарии говорит о последовательности, и не применим ко всем без исключения процессам. Да ведь Вы и сами пишете «ответил… что не всегда». Конечно не всегда, но иногда, не описывать же все условия в каждом коментарии.
Потому я и попробовал сразу написать, что зависит от бизнесс-процесса, точнее это надо учитывать при построении бизнес процесса. Добавлять приложения последовательно, ухудшая надёжность, плохо даже при низкой вероятности отказа, если таких приложений много. И хорошо, если
параллельно и с увеличением общей надёжности. Простите, если было неочевидно изначально.
Справедливости ради, дело не в «последвательно» или «паралельно». Дело во влиянии одного отказа на общий результат. Иногда последовательная цепочка допускает отказы, а иногда отказ одного паралельного процесса ведёт к полному провалу.
То же самое относится и к сложным системам со множеством частей, каждая из которых может отказать. В простейшем случае, вероятность отказа системы вычисляется из вероятности отказа каждой её части по тому же самому закону арбузной корки.
Мне кажется не очень очевидным, что под «сложными системами» подразумеваются исключительно последовательные. Поэтому я и показал, что для любой(всех) сложной системы это не верно.
дело не в «последвательно» или «паралельно»
Я говорил про схемы надежности.
Прошу прощения, если как-то затронул ваши чувства.
Спасибо автору за статью.
Мне нечего добавить к статье, к сожалению.
Вот мы режем его на 4 части.
И каждый из 4х покупателей уносит 10% корочки от всего арбуза.
Но… и 15% мякоти.
Выигрыша нет никакого, кроме того, что видно что внутри:)
Между прочим в статье делаются серьёзные, жизненные выводы, которые, для меня лично, являются руководством к действию.
В ближайшее время начну знакомиться с математикой многомерных пространств.
А то, глядя со стороны, можно подумать: и какой им (математикам) прок от изучения многомерных пространств?
Оказывается, прок есть, и — не такой-уж и малый :)
Еще во времена Пифагора небезосновательно считали, что числа правят миром. Если перефразировать, — Законы Природы универсальны: будь то физика, химия, общество или экономика. Видящий да увидит их
Но вообще, идея интересная.
осталось определить центр этого арбуза и спорить чье мнение ближе к сладкой сердцевине арбуза, а чье мнение ближе к невкусной корке
Мало? А если умножить на население Земли?
80 000 человек.
То есть для 20 критериев — 5000 человек. Разве ж мало?
Интернет позволяет их искать. ;-)
PS Книгу обязательно куплю:) Главное узнать что вышла.
PPS Обоснуйте математически (если еще не), пожалуйста, тезис «мы все умрем».:)
Можно конечно считать его очевидным, но с формулами было бы приятней.
А что такое объём в бесконечномерном пространстве?
Всё-таки найти в гугле материалы с ключевыми словами ещё не значит дать ответ на вопрос.
Пусть Вселенная — это содержимое арбуза, а корка — нечто вроде зоны небытия. Для N-мерности при N стремящемся к бесконечности доля Вселенной стремится к нулю — это начальное состояние сингулярности. Расширение Вселенной — это просто падение ее мерности, с постепенным увеличением «полезного» объема.
Вспоминается смежная задача, если зайти с другой стороны, что диагональ N-мерного куба всё время увеличивается, при увеличении размерности N, при фиксированной длине стороны куба. Используется обобщение формулы Пифагора для высоких размерностей. Просто, информация к размышлению.
Можно увеличивать размерность.
Представьте диагональ квадрата и диагональ куба построенного на этом квадрате (диагональ куба это линия проходящая через центр куба). Сразу станет понятно что это две разные прямые. При «свёртке» размерности из 3 в 2 (в народе называется проекция), диагональ куба спроецируется на диагональ квадрата.
В многомерном пространстве параметров каждый объект может быть представлен вектором — набором чисел — значений критериев, которые его характеризуют.
Если не ошибаюсь, то вроде бы В.Успенский называл путаницу в использовании термина «вектор» одной из основных проблем математики ). Поскольку сам долго преодолевал навязанную учебниками привычку отождествлять вектор и объект, то теперь глаз цепляется.
Если строго, то вектор — это все-таки разность объектов. Как следствие, — у векторов есть направление. А набор параметров объекта — просто кортеж (тут чисел). Никакого направления у объектов нет. Тем не менее объекты тоже могут быть ортогональны, их можно вычитать и складывать (хотя тут не все согласны).
Единственное, о чём можно судить, это о длине вектора — о степени одарённости, о расстоянии от среднего.
Тут все скороговоркой, — видимо, просто подводка к следующему абзацу.
На самом деле, если попытаться разжевать, то у объекта (поскольку он не вектор) нет никакой длины. Для того, что бы определить «расстояние до среднего» нужно сначала определить средний объект, потом вычесть его из заданного, получив вектор. Длина данного и будем искомым расстоянием.
В пространствах высокой размерности почти все вектора ортогональны друг другу.
Если опять же строго, то более принято " договоры", а не «договора», «векторы», а не «вектора».
Я отвечу на вопрос о норме элемента, но это большая тема, и думаю, что мои ответы просто породят новые вопросы.
В обычном «нормированном векторном пространстве» нормы у элементов нет, — принято считать, что пространство состоит из точек. Точки — это элементы с нулевой нормой.
В аффинном пространстве со скалярным произведением норма элемента характеризует его нелокальность (в данном пространстве). Отрицательная норма означает, что элемент находится вне пространства (норма здесь — квадранс до пространства), положительная — что элемент является некой сферой (тут можно посмотреть на произведение Дарбу), квадрат радиуса сферы — норма элемента.
Вектор, это, прежде всего, то что образует линейное пространство. В этом смысле, векторами являются и цвета и размерности физических величин и отрезки и многое другое. Прекрасное представление вектора: упорядоченный набор чисел, но, не любой, а для которого определены операции линейной алгебры. Именно это имеется в виду. Но вы правы, говоря о векторах в самом общем смысле, лучше "длину" вектора заменить на "норму". И да, "вектора" проскакивают, хотя стараюсь от этого избавиться. Спасибо!
Кстати, в общем случае в линейном пространстве нет никакой нормы. Для нормы нужно нормированное пространство.
Линейное пространство — это синоним векторного
Это все игры слов, которые не добавляют понимания. Примерно как «масса — это число, и заряд — это число, — поэтому все число». Ну ок ).
Но в мире, где пространства состоят из пользователей, товаров, счетов и т.п., а пространства часто — это графы связанных элементов — нет никакого «начала координат». Тем не менее элемент можно представить в виде набора чисел (если задан базис). И векторы тут — именно разность элементов.
Пожалуй, пора закругляться, — все же статья не об этом.
«все линейные пространства являются векторными»
Так это же так и есть. Афинное пространство не является линейным.
Тонкость лишь в том, что для отличия точек от векторов нужно еще одно измерение. Таким измерением удобно выбрать одномерное ортогональное дополнение (perp).
В линейном пространстве нету точек, а в аффинном они есть.
Кострикин, Манин:
Интуитивно аффинное пространство следует представлять себе как линейное пространство с «забытым» началом координат.
А определение линейного пространства требует именно сложения и умножения.
Ну а если вы попытаетесь определить его — то быстро увидите, что результат такого сложения не может быть ни точкой, ни вектором (при условии выполнения прочих законов аффинного пространства).
Но сама операция сложения от того, что не хватило известных определений пространств, не становится недопустимой. Элементы (точки — частный случай элементов) вполне себе удобно складывать, вычитать, трансформировать и пр. И пространство при этом (я называю его открытым) остается линейным.
Сложение двух элементов дает элемент «двойной кратности». Кратность — это просто свойство объектов открытого пространства. Векторы — элементы с нулевой кратностью.
И, кстати, векторы можно скалярно умножать на элементы. Думаю, что об этом тоже мало кто знает ).
Другими словами, ваша «средняя» точка может не принадлежать афинному пространству. Потому что на точках операций нет. Есть операции на точках и векторах.
http://www.fipm.ru/affinpr.shtml
Если просто порассуждать со своими интерпретациями и своим видением, то заранее нужно предупреждать собеседников, что у вас неклассическая система мировоззрения.
А вы почитайте про конечные аффинные системы, чтоб немного отойти от предубеждения, что линейное пространство — это вот оно такое
Математика — строгая точная формализованная наука, не допускающая «посиделок».
Да-да). Потому Гаусс и побоялся работы про комплексные числа опубликовать, — заклевали бы «охранители чистоты». Как это возможно — «квадрат числа и вдруг равен минус единице?». В строгой-то формализованной науке.
Я молодежь узнаю по таким вот категоричным советам — прочитай то, прочитай это. Умудренные же старики обычно вежливо спрашивают — «Читали ли вы это? А это?»
И именно потому важно всегда помнить о чем идет речь.
Возможно, я как-нибудь соберусь (но вряд ли скоро) и отпишусь на хабре о нелокальной геометрии, в том числе и об отличиях от аффинной. Тогда можно будет более предметно обсудить «аффинные условности».
На точках операций нет. Потому ваше выражение лишено смысла.
Ссылка чуть выше
И еще на пункт 15.
0 — это нулевой вектор. а не точка
"Тот единственный вектор, для которого… удобно обозначить b-a"
Это просто обозначение вектора через точки. Вектора. Сами точки не суммируются и не вычитаются.
Простой пример — множество целых чисел. Это точки, одномерное пространство.
Вектора, понятно, вектора между точками.
Поле конечно — например, кольцо вычетов. Допустим, состоит только из 0 и 1.
Вполне себе аффинное пространство. Строго по определению.
Попробуйте найти среднюю точку между точками 2 и 3.
Понятие «половины вектора», расстояния между точками, середины и прочего в нем не существует. Оно есть только в частных случаях — трехмерное евклидово, например, и к атрибутам аффинного пространства уже не относится.
Если в поле более двух элементов, то 1+1 не может быть равно 0, а значит 1/(1+1) определено. Осталось умножить вектор на 1/(1+1) чтобы получить его половину.
Нет, вру: 1+1 может быть равно 0. Например, в GF(4).
4
Можете, конечно, назвать это половиной вектора (3-0), если видите в этом какой-то смысл
Математика хороша тем, что можно давать любые определения)
Простой пример — множество целых чисел. Это точки, одномерное пространство.
От 1 до 4, в обе стороны.
Всего восемь векторов и целочисленные точки.
Кстати, векторов в одномерном пространстве над Z5 — не 8, а 5. Ровно столько сколько элементов в поле. И точек столько же.
Аффинное пространство корректно.
Поле вычетов — 0,1,2,3,4
Векторов девять (так зададим, по четыре в обе стороны. Можно и пять задать, только в одну сторону)
V1,V2,V3,V4,O,-V1,-V2,-V3,-V4
Точек — бесконечное число, целые числа.
Пример ассоциативности:
(2*3)*V3 = 1*V3 = V3
2*(3*V3) = 2*V4 = V3
-V1 = O — V1 = 0*V1 — 1*V1 = (0-1)*V1 = 4*V1 = V4
Точек тоже не может быть слишком много. Вспоминаем пункт 1в: для любых двух точек должен существовать вектор l между ними.
Найдите-ка среди векторов O..V4 такой чтобы выполнялось условие T2 + l = T100.
-V1 = O — V1
-V1 и V1 — векторы
О — нулевой вектор
Разность как и сложение векторов в аффинном пространстве не предусмотрены. Есть только одна операция — к точке прикладывается вектор, получается точка.
Насчет пункта 1в вы правы. Значит точек пять, а векторов — девять (потому что для 1в нужны направленные в обе стороны векторы)
Причем, точки «зациклены».
То есть, прикладывая к точке 1 вектор -V3 получаем точку 3.
Вроде, построили.
Модель данного пространства — окружность, на ней 5 точек через равные дуги. Векторы — эти дуги.
Красиво.
Можно идти спать (GMT+8).
Посмотрите еще раз пункт 1 по вашей ссылке. Векторы аффинного пространства по определению образуют линейное. А в линейном пространстве все нужные операции над векторами определены.
Или вот еще соображение. Возьмем точки T0 и T3. Имеем T0+(-V2)=T3 и T0+V3=T3. А теперь снова вспоминаем пункт 1в, где постулируется единственность такого вектора…
-V1 = O — V1 = 0*V1 — 1*V1 = (0-1)*V1 = 4*V1 = V4
всё напутано.
В конце концов 90% всех решений математических задач и проблем начинаются словами: «предположим», «допустим», «назовем», «введем».
По-моему, так.
2. Математика — абстрактная наука. Ее предметам в реальной мире ничего не соответствует. Приложения математики есть, соответствий — нет.
2. Приложения математики — это и есть соответствие, применение результатов математических исследований на практике. Это применение было бы невозможно, при отсутствии операции отображения из абстракций математики в реальную жизнь.
Ещё пример из 1 класса: операции 2+2=4 соответствует, например, что в корзинку Оля положила 2 яблока и Коля положил 2 яблока, в корзинке получилось 4 яблока, собрали урожай. Вот пример перехода от абстракции 2+2=4 к реальной жизни. В школе учат обратному, абстрагироваться от яблок к числам и операциям над ними. А дальше уже математика начала абстрагироваться ещё больше, сама над собой, но обратимость сохраняется, хотя усложняется, становится не очевидной. Если в какой-то области, в науке нет обратимости, отображения из абстракции в в реальность, то она теряет смысл. Это касается не только математики, а любой науки, просто у каждой науки свой базис=терминологический аппарат, со своей гиперплоскостью абстракций.
Каждый спроецировал новые знания из статьи на свою гиперплоскость понимания.
Математике как науке абсолютно по барабану как, кто, куда и что проецирует.
Не путайте саму науку и тех, кто о ней пытается рассуждать.
Именно так нужно относиться к любой науке, а не как к какой-то объективной данности Свыше. Иначе как открывать новые теоремы? Я бы даже сказал придумывать новые теоремы.
На примере программирования это хорошо можно проследить, в математике аналогично:
Есть бизнес задача, запрограммировать личный кабинет клиента. Приходит программист, создаёт программу, запускает её в эксплуатацию — всё работает, личный кабинет работает, задача решена. Вот с этого момента программа ЛКК становится объективной действительностью, с ней начинают работать, как с объективной данностью, это так и есть, она становится реальностью. Но тут программист-1 увольняется, приходит другой программист-2, заглядывает в программный код ЛКК и недоумевает: как же так можно программки писать? Плохой код. А нет, есть и грамотные куски в этом коде, соглашается он всё-таки. Но как бы-то ни было, программист-2 понимает, что программа ЛКК хоть уже и стала объективной реальностью (эксплуатируется) — тем не менее, она является порождением субъективизма и мировоззрения программиста-1.
Так и с математикой, она уже стала объективной, она существует как наука и приносит пользу обществу (эксплуатируется), но является порождением субъективизма большого количества людей, которые до сих пор не могут по некоторым договориться между собой по некоторым вопросам, например: ноль это натуральное число или нет? Одни считают да, другие нет.
Здесь путаница из-за этого, сперва нужно определиться, на языке какой области идет разговор.
Можно сказать, что вектор — это тензор, преобразующий одно линейное пространство в другое, — но какой полезный смысл здесь будет иметь это вполне истинное выражение?
Многие комментарии запутались в этих определениях, и в своих интерпретациях терминов, как и сама статья, впрочем.
Как автор статьи, считаю, что запутался не больше допустимого, учитывая неформальность и ироничность выводов. :) Впрочем, толкование набора характеристик, как вектора в метрическом пространстве, вполне обычно, например, задачах классификации и распознавании образов. Это наиболее близкая к теме статьи область их применения.
Пример с арбузами забавен и полезен, хоть и прост, но дальнейшая экстраполяция в человеческие качества и прочее, мне кажется, потеряло интерес.
Именно из-за невозможности удачной интерпретации.
Кстати, в прошлые века отдельные ученые — психологи и психиатры — пытались «научно» определить размерность пространства эмоционально-мотивационного пространства человека, но это не прижилось. Описание этих попытки есть в современных учебниках.
Правильно ли я понимаю, что лучше/дешевле купить один большой арбуз, чем два маленьких. Если объём мякоти равен
Всегда найдется арбуз такой размерности N, что внутри окажется ровно одно семечко.
Допустим, у нас есть система слежения/идентификации. В ней есть куча «плохих» датчиков, измеряющих различные параметры с погрешностью 10%.
Тогда имея достаточное количество датчиков N, можно идентифицировать человека с любой наперед заданной точностью.
Сколько надо параметров с допуском 10%, чтобы в выборку попал 1 человек из миллиона?
При равномерном распределении, видимо, 0.1 * 0.1 * 0.1 * 0.1 * 0.1 * 0.1 — всего шесть параметров.
В пространствах высокой размерности почти все вектора ортогональны друг другу.
Верное утверждение получается, если вставить одно "не": В пространствах высокой любой размерности почти все векторы НЕ ортогональны друг другу.
Ваше утверждение было бы точным, с точки зрения меры (лебеговской) множества, образуемого ортогональными векторами. Точным, но не интересным. В конце концов, рассуждая о непрерывных распределениях вероятности мы всегда работаем с какими-то интегральными характеристиками: с интервалами, а не с точками.
Точным, но не интересным.
Да, математика нередко разочаровывает любителей броских заголовков и ярких лозунгов.
В конце концов, рассуждая о непрерывных распределениях вероятности мы всегда работаем с какими-то интегральными характеристиками: с интервалами, а не с точками.
Верно. Поэтому и в обсуждаемом утверждении стоило бы заменить "ортогональность" на что-нибудь вроде "эпсилон-ортогональности". И, конечно, ни о каких "почти всех" не может быть речи, потому что это выражение имеет точный смысл.
«Например, на множестве дней недели не работает транзитивность (из того, что за А следует B, а за B следует C не следует, что C всегда следует за A)»
Всегда, да, не непосредственно, но закон транзитивности и не упоминает об этом.
Давайт пронумеруем дни недели для ясности и увидим, что как и для числе [1,7] утверждение верно.
Исправьте меня, если ошибаюсь.
Всё дело в цикличности дней недели. Речь идёт о том, что если мы введём антисимметричное отношение порядка ≺ (предшествует) такое что x⊀x, то можем формулировать следующие утверждения: Пн≺Вт, Пн≺Ср, в то же время, Вс≺Пн. Транзитивность говорит, что из Пн≺Чт и Чт≺Вс должно следовать, что Пн≺Вс, но Вс≺Пн, и при этом Вс и Пн не эквивалентны.
Вы вводите отношение на множестве, да, множеством могут быть 7 дней недели, но с понятием «цикличность» — это не множество, это что-то неопределенное.
В вашем примере вы приняли Вс<Пн, и далее находите противоречие в том, что следующее Вс>Пн, но это разные элементы множества, Вс0 и Вс1.
Это уже не просто конечное перечислимое множество, а структура. В цикличности, самой по себе, нет ничего криминального. Такими свойствами обладают кольца вычетов, аргумент комплексного числа или фаза гармонического сигнала, числа на циферблате, связные многообразия без границ (петля, сфера, тор...) и т.п. Для каких-то структур определены какие-то алгебраические операции, делающие их полями, кольцами и т.д., для каких-то, как, например, для дней недели — нет.
Но вы правы, я заменю формулировку. Вместо "на множестве дней недели", лучше сказать "для структуры, которую образуют дни недели".
Аж тепло на душе стало. От того, что вроде гуманитарий, а вполне себе представляю другого человека в виде векторного пространства.
Теория счастья. Закон арбузной корки и нормальность ненормальности