Можно ли умножать комплексное число на действительное?

[Doctor Boom]

vicvolf в сообщении #1606143 писал(а):

Вы то говорите о линейной упорядоченности, то о так называемой Вами "естественной", а теперь опять что-то новое

Нет, старое

vicvolf в сообщении #1606143 писал(а):

А что такое естественный линейный порядок. Я думал, что это линейная упорядоченность, а оказывается это естественная.

vicvolf в сообщении #1606143 писал(а):

Дайте, пожалуйста, четкие определения для так называемых Вами "естественной" упорядоченности и "естественного линейного порядка"?

Естественный линейный порядок это естественная упорядоченность и есть, я думал это очевидно) Побеждает же слово "естественная". По поводу определений можно два подхода.
1. На $Re^{i\varphi}$ (линейный) порядок (т.е. выбор одного из двух положительных направлений, любого) называется естественным, если его с необходимостью индуцировать на ближайшие прямые $Re^{i(\varphi+\varepsilon)}$, со всеми вытекающими.
2. На $Re^{i\varphi}$ существует естественный (линейный) порядок, если можно эвристическим путем выбрать одно из двух формальных положительных направлений как наиболее естественное. Из этого следует, что это можно сделать и для ближайших прямых, путем индуцирования естественного положения опорной прямой

vicvolf в сообщении #1606143 писал(а):

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

Ок, из операций берем только сложение (без умножения)

[vicvolf]

Doctor Boom в сообщении #1606230 писал(а):

Естественный линейный порядок это естественная упорядоченность и есть, я думал это очевидно) Побеждает же слово "естественная". По поводу определений можно два подхода.
1. На $Re^{i\varphi}$ (линейный) порядок (т.е. выбор одного из двух положительных направлений, любого) называется естественным, если его с необходимостью индуцировать на ближайшие прямые $Re^{i(\varphi+\varepsilon)}$, со всеми вытекающими.
2. На $Re^{i\varphi}$ существует естественный (линейный) порядок, если можно эвристическим путем выбрать одно из двух формальных положительных направлений как наиболее естественное. Из этого следует, что это можно сделать и для ближайших прямых, путем индуцирования естественного положения опорной прямой

vicvolf в сообщении #1606143 писал(а):

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

Ок, из операций берем только сложение (без умножения)

Я понял, что Вы не мастер определений) Теперь о том, что я понял, поправьте, если не так.
На каждой прямой $Re^{i\varphi}$, в общем случае, существуют два линейных порядка, но поля нет, так как имеется только одна операция - сложение комплексных чисел. Только при $\varphi=0$ выполняется также операция умножения, т.е. получаем числовое поле $R$, согласованное с линейным порядком.
В отношении, так называемого, "естественного" порядка. Вы выполняете ортогональное проектирование комплексных чисел на действительную ось и присваиваете комплексным числам порядок в соответствии с их проекцией на положительное или отрицательное направлением действительной оси. Конечно при проходе через угол $\varphi =\pi/2$ "естественный" порядок комплексных чисел меняется на противоположный. Операции в поле комплексных чисел не согласованы с таким порядком, так как не учитывается мнимая часть комплексного числа. Поэтому никакие выводы о неправильной линейной упорядоченности действительных чисел на основании "естественного" порядка делать нельзя.

[Doctor Boom]

vicvolf в сообщении #1606242 писал(а):

На каждой прямой $Re^{i\varphi}$, в общем случае, существуют два линейных порядка, но поля нет, так как имеется только одна операция - сложение комплексных чисел.

Верно

vicvolf в сообщении #1606242 писал(а):

Вы выполняете ортогональное проектирование комплексных чисел на действительную ось и присваиваете комплексным числам порядок в соответствии с их проекцией на положительное или отрицательное направлением действительной оси.

Вовсе нет. Причем тут все поле комплексных чисел? Я рассматриваю только прямые вида $Re^{i\varphi}$, и ортогональное проектирование совершаю только на близкую по углу прямую. У нас тогда получится, если у $R$ в $C$ положительное направление вправо, то оно должно быть влево, и наоборот, получаем противоречие. Значит в $C$ у $R$ нет естественного порядка (а вот в $R$ без $C$ он есть)

vicvolf в сообщении #1606242 писал(а):

Операции в поле комплексных чисел не согласованы с таким порядком, так как не учитывается мнимая часть комплексного числа.

Кстати если из операций брать только сложение, то согласуются

[vicvolf]

Doctor Boom в сообщении #1606309 писал(а):

Я рассматриваю только прямые вида $Re^{i\varphi}$, и ортогональное проектирование совершаю только на близкую по углу прямую. У нас тогда получится, если у $R$ в $C$ положительное направление вправо, то оно должно быть влево, и наоборот, получаем противоречие. Значит в $C$ у $R$ нет естественного порядка (а вот в $R$ без $C$ он есть)

Это противоречие Вашего "естественного" порядка.

[Doctor Boom]

vicvolf в сообщении #1606323 писал(а):

Это противоречие Вашего "естественного" порядка.

Это значит, что на данном множестве нельзя ввести естественный порядок (а на других может быть возможно)

[zroslav]

Есть разные по формальности уровни определения комплексных чисел:
1) самый неформальный - добавить корень из минус единицы и далее доопределить все операции.
2) чуть более формальный: определить i как поворот плоского вектора на 90 градусов против часовой стрелки.
3) определить операции на парах чисел (вещественная и мнимая части): так делает Савватеев в своих видео и потом мучается с проверкой всех свойств.
3*) определить операции на фактор-кольце многочленов по идеалу, порожденному $x^2+1$ (и снова нужно проверять все свойства).
4) определить вещественные числа как скалярные матрицы 2х2, а мнимую единицу - как матрицу:
0 -1
1 0
И тогда комплексные числа это просто подалгебра матриц 2х2. И на вещественные числа умножать становится можно (т.к. матрицы можно), и все свойства операций наследуются из матричных, кроме коммутативности умножения. Кватернионы, кстати, можно определить по аналогии, равно как и многие другие алгебры с ассоциативным умножением.