JamaicaMURR

JamaicaMURR

Я приучил своего кота сидеть на плече и назвал его Кеша.
Пикабушник
Дата рождения: 07 августа 1989
поставил 88972 плюса и 163 минуса
отредактировал 2 поста
проголосовал за 5 редактирований
в топе авторов на 425 месте
Награды:
10 лет на ПикабуС Днем рождения, Пикабу!
64К рейтинг 250 подписчиков 136 подписок 122 поста 28 в горячем

Курс валют

Из поста: «Не подскажете номер этой планеты в тентуре?» Что надо отвечать

Курс валют Математика, Цены, Курс валют, Комментарии на Пикабу

@zigfrid448, @Domovoy505

Ну так давайте посчитаем:
1 кц, как известно, это одна спичечная головка.
Согласно фильму, 1 кц = 4400 чатлов, как выдал мне гугл.
Коробок спичек содержит в среднем 38 спичек, опять же согласно данным гугла.
И согласно тем же данным, коробок спичек в РФ для физлиц стоит 30 рублей.

Ну так и производим следующий расчёт:
38кц/30р.=1.2(6)кц/р. То есть 1 рубль это 1.2(6)кц
1.2(6)кц/р.*4400чт/кц=5573.(3)чт/р.

То есть 1 рубль это примерно 5.5к чатлов

Цена на информацию о номере галактики в 3 чатла просто бросовая, я считаю.

Показать полностью

Продолжение поста «Аксиоматика множества призрачных чисел»

Место множества призрачных чисел относительно других множеств

Короче, для начала отметим, что для множества J 6-я аксиома, которая ∀a∈J\{0}: 0*a=0 избыточна. То что в ямайкамурровых числах 0 умножить на любой не 0 равно 0 выводится как следствие. Ну и ещё @alice9tails утверждает, что вообще по факту не операция. Ну я тоже подумал, что и фиг с ней. Так что в сухом остатке мы имеем множество J которое отличается от R только в следующих аксиомах (чтобы не переписывать всю эту аксиоматическую портянку, покажу только отличающиеся):

  1. ∀a,b∈J\{0}: a*b=b*a_________________∀a,b∈R: a*b=b*a

  2. ∀a∈J b,c∈J∖{0}: (a*b)*c=a*(b*c)_____∀a,b,c∈R: (a*b)*c=a*(b*c)

  3. ∀a,b∈J c∈J∖{0}: (a+b)*c=a*c+b*c____∀a,b,c∈R: (a+b)*c=a*c+b*c

  4. ∀a,b,c∈J c>0: (a⩽b⇒a*c⩽b*c)_______∀a,b,c∈J, c⩾0: (a⩽b⇒a*c⩽b*c)

@alice9tails натолкнула меня подумать, каково же место призрачных чисел в структуре математики. Пришлось смотреть теории множеств, коих, оказывается, в мире есть, и не одна. Собственно, я не особо нашёл что-то, что могло бы быстро и легко помочь с этим. И, скорее всего, именно что не нашёл, а не то, что его там нет. Я просто объясню суть терминов, которые буду использовать, чтобы было понятно. Но имейте в виду, что это всё, скорее всего, просто мой велосипед от какой-то из теорий множеств.

Множество элементов А является конкретным относительно множества B, если в нём определено как минимум одно дополнительное свойство для как минимум одного элемента множества В и при этом между всеми аксиомами множеств A и B нет противоречий. Множество В в таком случае можно считать абстрактным относительно А.

Определить дополнительное свойство элемента множества В, значит ввести аксиому о получении результата операции с этим элементом, который не определён для множества В.

Покажем на примере, что множество С является конкретным относительно R:

√(-1) - не определено в R
√(-1)=i - определено в С

Очевидно, что определено дополнительное свойство в виде результата для √-1, а значит, С конкретно относительно R, ну или, что тоже самое, R абстрактно относительно C. То, что у этих множеств нет конфликтов в аксиомах, доказано и без меня.

Теперь вернёмся к нашим баранам и покажем, что R конкретно относительно J:

a*0 - не определено в J, это при том, что 0*a=0, для a≠0
a*0=0 - определено в R

J вообще было получено просто вытравливанием коммутативности, ассоциативности и дистрибутивности умножения на 0 из R, так что конфликты искать не приходится.

Покажем, что G конкретно относительно J:

a*0 - не определено в J
a*0=g(-1)a - определено в G

При этом G не является R в силу того, что:

0*1/0 - не определено в R
0*1/0 = g(1)0 - определено в G

Логично тогда предположить, что G конкретно относительно R, но эти два множества имеют противоречие на уровне аксиом:

a*0=0 - в R (я знаю, что a*0=0 в R не аксиома, а следствие)
a*0=g(-1)a - в G при том, что 0=g(0)0

То есть свойства нулю из J эти множества добавляют разные.

Проще выражаясь: G конкретизирует J иначе, чем это делает R.

Я тут картиночку для наглядности запилил с иерархией этих множеств:

Продолжение поста «Аксиоматика множества призрачных чисел» Математика, Алгебра, Множество, Текст, Ответ на пост, Длиннопост

Вот у вас есть множество G для которого определены все его операции для всех чисел - и множество R у которого нет деления на 0. И при этом они оба идут от одного абстракта...

Я, конечно, понимаю, что человечество, тысячелетие с лишним просидевшее на R, итак прекрасно себя чувствует, но вопросик-то есть один: может ли так быть, что сегодня мы не имеем возможности описать что-либо математически только потому, что стираем информацию умножением на 0 и вообще не умеем на него делить?

Кстати, вполне возможно конкретизировать аналог множества комплексных чисел и от G. И все другие навороты, аналогичные тем, что есть для R, скорее всего, тоже.

Показать полностью 1

Аксиоматика множества призрачных чисел

Тут внезапно всплыло, что у множества действительных чисел R, на которое я так опрометчиво опирался при определении призрачных, есть очень недальновидный изъян, в виде того, что там коммутативность умножения кто-то когда-то сгоряча в аксиомы закинул, от чего потом и получилось, что умножение на 0 стало давать 0.

Так что пришлось определить своё множество чисел с преферансом и куртизанками, на которых работает призрачная алгебра. Я назвал его J или ямайкамурровы числа.

Непустое множество J называется множеством ямайкамурровых чисел, если на нём заданы операции сложения (+: J×J→J), умножения (*: J×J→J), отказа (∅: J×→J), и отношения порядка, удовлетворяющие следующим аксиомам:

  1. ∀a,b∈J: a+b=b+a.

  2. ∀a,b∈J: (a+b)+c=a+(b+c).

  3. ∃0∈J ∀a∈J: a+0=a.

  4. ∀a∈J ∃(−a)∈J: a+(−a)=0

  5. ∃1∈J ∀a∈J: a*1=a

  6. ∀a∈J\{0}: 0*a=0

  7. ∀a,b∈J\{0}: a*b=b*a

  8. ∀a∈J: a∅=0

  9. ∀a∈J b,c∈J∖{0}: (a*b)*c=a*(b*c)

  10. ∀a∈J∖{0} ∃(1/a)∈J: a*1/a=1

  11. ∀a,b∈J c∈J∖{0}: (a+b)*c=a*c+b*c

  12. ∀a,b∈J: a⩽b ∨ b⩽a

  13. ∀a,b∈J: (a⩽b ∧ b⩽a)⇒a=b

  14. ∀a,b,c∈J: (a⩽b ∧ b⩽c)⇒a⩽c

  15. ∀a,b,c∈J: (a⩽b⇒a+c⩽b+c)

  16. ∀a,b,c∈J, c>0: (a⩽b⇒a*c⩽b*c)

  17. Пусть A и B такие непустые подмножества J, что

    ∀a∈A,b∈B:a⩽b. Тогда ∃c∈J ∀a∈A,b∈B:a⩽c⩽b.

Замечание. a⩽b⇔b⩾a. a⩽b при a≠b⇔a<b или b>a.

Вообще-то это по большей части копия аксиоматики действительных чисел - вся разница выделена жирным шрифтом. Имеем 2 полностью новые аксиомы и 4 старые, но с изменёнными условиями.

Аксиома 6 определяет умножение 0 на любое не равное 0 число (не наоборот).

Аксиома 8 определяет унарную операцию отказа, на тот случай, если вам надо обнулить имеющуюся информацию.

Можно заметить, что в ямайкамурровых числах не определено ни деление на 0, ни умножение на 0.

B тут в дело врывается призрачная алгебра:

Непустое множество G называется множеством призрачных чисел, если на нём заданы операции сложения (+: G×G→G), умножения (*: G×G→G), отказа (∅: G×→G), и отношения порядка, удовлетворяющие следующим аксиомам:

  1. ∀a∈J 0∈J ∃g(0)a∈G: a=g(0)a

  2. ∀a∈J 0, -1∈J: a*0=g(-1)a

  3. ∀a∈J 0,1∈J ∃(1/0)∈G: a*1/0=g(1)a

  4. ∀a,b,c∈J: g(a)g(b)с=g(a+b)c

  5. ∀a,b,c∈J: g(a)b+g(a)c=g(a)(b+c)

  6. ∀a,b,c,d∈J: g(a)b*g(c)d=g(a+c)(b*d)

  7. ∀a,b,c,d∈J: g(a)b*1/g(c)d=g(a-c)(b*1/d)

  8. ∀a∈G: a∅=0

Ну, вроде бы справился! Хотя проверять тут ещё и перепроверять.

Не очень уверен насчёт того, верно ли записал аксиому 3. Но суть её такова, что при делении числа на 0 получается призрак первого порядка со значением этого числа.

В общем, кто шарит, вы не стесняйтесь, подтягивайтесь.

Показать полностью

Как понять призрачную алгебру, не привлекая внимания санитаров

Короче, во всей этой призрачной алгебре есть даже вполне понятный и весьма забавный смысл. Пояснять буду на картинках с комментариями.
Почему в призрачной алгебре 1*0:0=1?

Итак, есть апельсин, в количестве одна штука. Вообще-то он не апельсин, а информация в единственном экземпляре, но для простоты восприятия пусть будет апельсин:

Как понять призрачную алгебру, не привлекая внимания санитаров Математика, Юмор, Картинки

Вот он наш апельсин. Целый.

Мы берём этот апельсин 0 раз. Как это возможно? Ну, мы не берём его на самом деле, а представляем, что мы его берём. Поскольку апельсин мы только представили, что берём, но не взяли, то у нас есть только его призрак, воображаемая копия. На языке призрачной алгебры наше действие описывается как 1*0=g(-1)1

Как понять призрачную алгебру, не привлекая внимания санитаров Математика, Юмор, Картинки

Призрачный апельсин, то есть апельсин, взятый 0 раз.

И потом мы решаем, что неплохо бы разделить этот призрачный апельсин на 0 частей. То есть по аналогии, мы лишь представляем, что делим наш призрачный апельсин. Описывается это как g(-1)1:0. И получаем... 1 То есть 1 реальный апельсин, целый! Как же он появился, откуда взялся?

Ну, вообще-то это тот самый апельсин, который мы изначально представили, будто бы взяли, а потом представили будто бы разделили. Тот самый апельсин, который был вначале, а не возникший из ниоткуда. Можете посмотреть на первую картинку и убедиться, что он там как был, так и остался. Там и насчёт того, что он целый, примечание есть.

Показать полностью 1

Продолжение поста «Почему на 0 делить нельзя?»

Призрачная алгебра. Или шутка, вышедшая из-под контроля


Форма записи призрачного числа:

g(z)Х
где:
g - призрачный модификатор
z - порядок призрачного числа, z∈ℤ
X - значение (значимая часть) призрачного числа

Призрачный модификатор является не более, чем просто символом, показывающим, что число записано в форме призрачного.

Порядок призрачных чисел ввёл @nbvehbectw, заодно упростив их запись так, чтобы модификатор ставился всегда перед числом. Человек, не побоявшийся заглянуть в кроличью нору призрачной алгебры. На данный момент точно понимает её лучше меня.

Что имеем сейчас:

X=g(0)X; X∈ℝ - любое действительное число может быть записано как призрачное порядка 0

g(z1)g(z2)X=g(z1+z2)X; X∈ℝ; z1, z2∈ℤ - призрачные числа приводятся в форму с действительной значимой частью.

X:0=g(1)X; X∈ℝ - деление действительного числа на 0 даёт в результате призрачное порядка 1 с значимой частью, равной делимому.

X*0=g(-1)X; X∈ℝ - умножение действительного числа на 0 даёт в результате призрачное порядка -1 с значимой частью, равной первому множителю.

0*X=0; X∈ℝ; X≠0 - умножение некоммутативно. Это значит, что сумма выражается как произведение следующим образом: X+X=X*2, но не 2*Х. Выражаясь простыми словами: взяв 1 яблоко 0 раз, вы в результате получаете 1 призрак яблока, но взяв 0 яблок 1 раз, вы получаете 0 яблок.

X+0=X; X∈ℝ

X-0=X; X∈ℝ

0-X=-X; X∈ℝ

Общее правило сложения для чисел одного порядка:

g(z)X+g(z)Y=g(z)(X+Y); X, Y∈ℝ; z∈ℤ

Общее правило умножения:

g(z1)X*g(z2)Y=g(z1+z2)(X*Y); X, Y∈ℝ; z1, z2∈ℤ

Общее правило деления:

g(z1)X:g(z2)Y=g(z1-z2)(X:Y); X, Y∈ℝ; z1, z2∈ℤ

Что-то из вышеперечисленного может оказаться избыточным.

Вот, собственно, вся призрачная алгебра и есть на данный момент.

Очень похожа на обычную алгебру, но полнее, и, как по мне, красивше. Да, умножение может доставить хлопот с непривычки, но это плата за возможность деления на 0. Да, вопросов, требующих разрешения, ещё прям основательно есть, но, блин, призрачной алгебре недели отроду нету, в конце концов! Может, помрёт ещё вообще! Ну или окажется математическим "велосипедом", что вот вообще никак не исключено тоже, учитывая, сколько там добра уже понапридумано.

Ну а насчёт её применимости, тут, знаете, ежели так подумать, то чем чёрт не шутит... Как минимум для разминки мозгов и троллинга уже сгодится. А там, мало ли, вдруг окажется, что ей можно какую-нибудь сингулярность посчитать!? Или волновую функцию разволновать!? Всё польза для человечества может быть.

За сим не остаётся ничего иного, как выпустить это чудо на математические нивы. Пускай само доказывает свою жизнеспособность.

От себя хочу выразить огромную благодарность всем, кто остался неравнодушен к этой теме, даже тем, кто призывал сжечь меня на костре. Было весело. До новых встреч!

Показать полностью

Продолжение поста «Почему на 0 делить нельзя?»

Промежуточно резюмируем всю эту катавасию в делением на 0

Алгебра призрачных чисел - это алгебра, где заменены две аксиомы обычной алгебры:

X:0=неопределённость, заменено на X:0=gX, gX*0=X, для всех действительных Х
То есть результат деления на 0 приводит не к неопределённости, а к пронумерованной неопределённости, которая от этого становится определённостью, в виде призрачного числа, обозначаемого буквой g перед ним и обладающего тем свойством, что при умножении на 0 ответ получается действительным числом, зависимым от призрачного множителя.

X*0=0 заменено на X*0=Xg, Xg:0=X, для всех действительных Х
То есть результат умножения на 0 приводит не к 0, а к пронумерованному 0, то есть призрачному числу обозначаемому написанием g после него и обладающему тем свойством, что при делении на 0 ответ будет действительным числом, зависимым от призрачного делимого.

Что это значит? Это значит во-первых, что алгебра призрачных чисел не является стандартной алгеброй, потому что у них парочка аксиом не совпадает. Из разных семечек вырастают разные растения, если простыми словами. Благо в математике этих самых алгебр не одна и не две уже. Одной больше, одной меньше - погода там не поменяется.

Во-вторых: вот эти две заменённые аксиомы, отличающие призрачную алгебру от обычной, приводят к тому, что в ней 0 перестаёт выполнять роль стирателя информации, потому что эта самая информация продолжает сохраняться в виде призрачных чисел.

Естественно, что если у нас алгебра на другом наборе аксиом, то в ней кое-что и будет по-другому. Важно только то, чтобы оно было последовательно и логично.

Из приятного: призрачная алгебра работает вроде бы как обычная, пока дело не доходит до операций с нулём.

Например: g0*0=0, но при этом g0*1=1. Вообще g0, похоже, ведёт себя как 1 во всех случаях, когда в выражении нет умножения на 0. Призрачное число со странными свойствами - да. Но эти свойства вполне определимы. У 0 в обычной алгебре свойства тоже не такие, как у других чисел, но это же не делает всю алгебру несостоятельной.

Или вот: 0+0=2*0=2g. Странно, но в рамках призрачной алгебры тоже не противоречит здравому смыслу.

В общем, имеем то, что если нарушение собственных законов у призрачной алгебры где-то и есть, то откровенно сложно понять, где оно есть.

И не будет ничего страшного в том, если вы просто скажете себе: "да и чёрт с ней, с этой твоей призрачной алгеброй".

Показать полностью

Ответ на пост «Почему на 0 делить нельзя?»

Оно всё понятно вполне, но есть нюанс. Математика штука точная, но условная. Там есть, например, число i, которое обладает очень интересным свойством: i*i = -1. Просто условность, которая помогает решить ряд неразрешимых в действительных числах задач.

Ну вот не практического смысла ради, а шутки для, я ввожу такую условность как математический модификатор g, который обладает таким свойством, что 0:0=g0, 1:0=g1, 2:0=g2 и т. д.
g - это модификатор, а не число, это важно: g1000 не значит g*1000, g тут является чем-то вроде знака перед числом. Далее получаем, что, например: 122:0=g122, то есть конкретное число, пусть и предельно призрачное. В свою очередь g122*0=122, то есть умножение призрачного числа на 0 производит действительное число.

И вот в чём любопытный момент: имеем выражение X:0*0 вроде бы не имеющее смысла, но если вычислить через призрачные числа, то: X:0*0 = gX*0 = X. Вуаля! Мы просто сделали число призрачным, а потом вернули его в мир действительных. Не переключайтесь - дальше будет ещё веселее, ибо меня уже понесло.

Вот пример покруче: X*Y:0*0=(X:0)*(Y:0)*0=(gX*gY)*0=g(X*Y)*0=X*Y. Это показывает, что умножение призрачных чисел между собой работает так же, как у действительных чисел.

Теперь вернёмся к проблеме, которая неочевидным образом имеется при 0:0. Потому что не только g0*0=0, но и любое действительное число, умноженное на 0 даст 0. Это нехорошо. И раз уж пошло такое дело, то введём и вторую условность, которая будет гласить, что 0*0=0g, 1*0=1g, 2*0=2g и т. д. То есть буквально определяем ещё и операцию умножения для такого уникального числа как 0. И тут модификатор g просто пишется после числа, чтоб не перепутать. Обратите внимание, что с точки зрения математики мы не делаем никакого преступления до тех пор, пока всё логично и определено, а оно пока что так (но это не точно).

Если присмотреться, то можно очень быстро понять, что 0, g0 и 0g - это по сути одно и то же число на самом деле, отличия только в модификаторе. Ноль как бы является точкой соприкосновения мира призрачных и действительных чисел. Имеем вот что:
X:0=gX, X*0=Xg, gX*0=X, Xg:0=X - это всё проистекает из введённых условностей.

Дальше долго объяснять почему, но: gX*gY=g(X*Y), gX:gY=X:Y, Xg*Yg=(X*Y)g, Xg:Yg=X:Y - Короче, при умножении одинаковые модификаторы остаются, а при делении исчезают. Например: 10:0:(5:0)=g10:g5=2 По сути нули в дробях просто сокращаются.

Дальше: gX*Yg=X*Y, то есть при умножении противоположных призраков, они оба исчезают и результат получается действительный. Например 5:0*5*0=g5*5g=25 И тоже суть в том, что сокращаются нули.

X:Yg=g(X:Y), X:gY=(X:Y)g, gX:Y=g(X*Y), Xg:Y=(X:Y)g - это чтобы было понятно, что при делении призраков и действительных чисел, получаются только призраки. При умножении, кстати, тоже.

В общем, если кратко, то весь фокус в том, что призрачные модификаторы позволяют не терять исходную информацию в результате деления и умножения на 0, что, в свою очередь, даёт возможность восстанавливать её обратно в действительных числах.

А самое смешное в этом всём то, что это никакая не ересь относительно математики, друзья мои. Оно, конечно, бесполезно от слова совсем, но не преступно. И если хоть какой-то настоящий математик это когда-то увидит (что вряд ли), то шутку, уж поверьте, оценит, и, скорее всего, от души посмеётся.

Так что если очень хочется делить на ноль, то делите на здоровье! Только правильно, и с тем пониманием, что ни черта толкового у вас всё равно не выйдет, кроме математических призраков.

Показать полностью

Батя

Я:
- Принёс холодного кваса, кому налить?
Сестра кивает и идёт мыть свою чашку после компота.
Батя, протягивая свой стакан:
- Добавь-ка холодненького!
- Пап, тут полстакана кефира!
- Не говна же. Лей!

Отличная работа, все прочитано!