Тут мне приходится повторяться - если определить к-л величину как скаляр, она не станет скаляром автоматически. Это ведь надо показывать?
Тут мне придётся повториться.
![Wink :wink:](./images/smilies/icon_wink.gif)
Всё доказывается и показывается из определений. Если Вы определили величину "как скаляр", то она станет скаляром "автоматически".
Как это показать?
Из чего Вы собираетесь это показывать? Из какой аксиоматики?
Вообще-то показания конкретных часов считаются скаляром, потому что циферки на часах одни и те же, из какой системы координат на них ни смотри. Поэтому теория смотрит на это так: Если на мировой линии часов взять две близкие точки -
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
и
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
- и разницу показаний часов в этих точках обозначить
![$ds$ $ds$](https://dxdy-01.korotkov.co.uk/f/8/5/5/855b64fefa8c88a2fb052db3814e436682.png)
, то эта величина "по определению" не должна зависеть от координат, т.е. должна являться скаляром.
Разве
![$dt$ $dt$](https://dxdy-02.korotkov.co.uk/f/5/a/8/5a8af6f173febd968ef4c52695efcf8582.png)
здесь не промежуток собственного времени? И в то же время компонента вектора.
Тут вот какая штука: В координатах той лаборатороной ИСО, в которых Вы нам это всё описываете, эти две величины совпадают. Но при переходе в другие координаты та величина, которая скаляр, не меняется, а та, которая компонента вектора, преобразуется по соответствующему закону.