|
[Oct. 4th, 2021|11:58 am] |
ℕ - луч унара, ℤ - обратимый однолучевой унар
Как было показано, структура унара - это унициклы (в том числе стационарные точки), лучи и их хвосты. (Заметки на полях: конечный унар лучей содержать не может).
Обычно (гм) натуральные числа вводят как классы эквивалентности конечных множеств. Однако, это определение опирается на: биекцию, эквивалентность, отношения, мощность и частично, - аппарат теории множеств.
Лучшее определение: N - луч унара как подунар (без хвостов), сразу с операцией следования. Оно опирается на более простые вещи: унарную операцию, замкнутость, изоморфизм. (Заметки на полях: это определение ближе к "аксиомам Пеано", однако, несколько циклично через степени операции).
Для унара (A, f) породим алгебру (A, f⁰ = id, f¹ = f, f², ...), итерируя операцию (композицией, степенью). Если A = N, последовательность операций схлопнется, и это (аддитивный) бинар, коммутативный моноид. Таким образом, сложение - это итерация следования. (Заметки на полях: про гипероператор в следующий раз).
Обычно целые числа вводят в два шага, - через противоположение (от моноида к группе) и вычитание (через противоположение). Так, однако, размывают главный императив: решать линейные уравнения (в бинаре, вообще, и в аддитивном N, в частности). То есть, Z суть замыкание N "по вычитанию", квазигруппа в универсально-алгебраичном смысле. (Заметки на полях: какой-то неблагозвучный русский термин у additive inverse).
Но (двойная) операция квазигруппы опирается на сложение, которое само не атомарно, да и бинарно. Можно упростить и опереться изначально на предшествование. Вычитание тогда - итерация предшествования. (Заметки на полях: итерация автоматически вводит нуль, в случае вычитания - односторонний).
Альтернативное определение: Z - обратимый однолучевой унар, - луч с "простым" хвостом. Операция является следованием, обратная операция - предшествованием, унар же - естественный биунар. Нуля изначально нет, алгебра автоморфна по сдвигам.
Поэтому любой элемент можно взять как (нульарный) нуль. Можно также нуль вводить через итерацию: или односторонний для вычитания, или двусторонний для сложения. А можно традиционным способом - через унарную операцию противоположения. Но это должен быть один и тот же нуль, так как он согласует сложение, вычитание и противоположение. (Заметки на полях: нульарный нуль - каламбур). |
|
|
Comments: |
From: | (Anonymous) |
Date: | October 4th, 2021 - 02:47 pm |
---|
| | | (Link) |
|
ты чурка иди нахуй
From: | (Anonymous) |
Date: | October 4th, 2021 - 04:00 pm |
---|
| | | (Link) |
|
«Сегодня офшорное наследие становится реальной преградой для формирования нормального делового климата в стране, снижает уровень доверия к экономике… Ну и потом, нам нужно сюда заводить наши активы. Чего бояться-то?», – агитировал Путин предпринимателей. В ответ зал разразился хохотом. «Не смешно!» – пытался умерить эмоции Путин, но засмеялся сам.
From: | (Anonymous) |
Date: | October 4th, 2021 - 06:25 pm |
---|
| | | (Link) |
|
Рано выпал снег. Как прямая кишка из ануса Перцева. Ох рано...
From: | (Anonymous) |
Date: | October 4th, 2021 - 03:35 pm |
---|
| | | (Link) |
|
а я сосу хуи!
mfr
From: | (Anonymous) |
Date: | October 4th, 2021 - 03:58 pm |
---|
| | | (Link) |
|
скорая, зашедшая в суд к женщине, потерявшей сознание, первым делом задала вопрос – а можно ли ей оказывать помощь?
Да, без теории множеств проще и лучше.
From: | (Anonymous) |
Date: | October 4th, 2021 - 06:07 pm |
---|
| | | (Link) |
|
саси чурка ебаная
чурка — это некоммуникабельный человек, т. е. шизоид или аутист.
From: | (Anonymous) |
Date: | October 4th, 2021 - 08:08 pm |
---|
| | | (Link) |
|
а ты шизоид или аутист?
Я то шизоид, то есть могу общаться с людьми, но не люблю. Поэтому в математике не преуспел.
From: | (Anonymous) |
Date: | October 4th, 2021 - 11:11 pm |
---|
| | | (Link) |
|
определения шизоида не знаешь. оправдываешься хуёво.
Ну, она там есть, никуда от неё не деться. Только на заднем плане, на вторых ролях.
И теорию групп тоже отодвинуть надо бы, в пользу квазигрупп. И не только от целых чисел. Очень элегантно появляются Z, Q, C как замыкание по простейшему "решению уравнений" гипероператора 1, 2, 3 порядков.
From: | (Anonymous) |
Date: | October 4th, 2021 - 08:08 pm |
---|
| | | (Link) |
|
вот тупичка фантом у нас шиз
Да нехорошо просто, когда такая простая вещь как натуральные числа не зависят от такой сложной как аксиомы теории множеств, например ZF
From: | (Anonymous) |
Date: | October 5th, 2021 - 10:31 am |
---|
| | | (Link) |
|
Давай уже хипотезу Коллатца доказывай, а то фурри заведутся. Wait...
From: | (Anonymous) |
Date: | October 4th, 2021 - 10:27 pm |
---|
| | | (Link) |
|
Какая, блядь, квазигруппа, когда наступает цивилизация хаоса? | |