Dmitri Pavlov - Синтаксическая математика
August 7th, 2007
10:59 pm

[Link]

Синтаксическая математика

(175 comments | Leave a comment)

Comments
 
From:[info]dmitri_pavlov@lj
Date:August 8th, 2007 - 10:03 am

Re: Насчет векторных пространств

(Link)
Ну, векторные расслоения совершенно ясно зачем нужны.
Есть касательное и кокасательное расслоение, расслоение дифферециальных форм.
Дифференциальные формы повсеместны в физике.
Например, в уравнениях Максвелла: dF = 0, d*F= 4πj. Здесь, кстати, видно, зачем нужна внешняя алгебра и звезда Ходжа.
В механике ни одного определения нельзя дать без дифферециальных форм.
То же в теории относительности.
Вообщей во всей физике.
В струнах плюнуть нельзя, чтобы не попасть в какое-нибудь векторное расслоение.
(В струнах, кстати, используется весьма продвинутая теория векторных расслоений, топологическая К-теория.)
В общем, при изучении современной физики
шагу нельзя ступить без векторных расслоений.
Полезность физики очевидна.

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

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

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

Простанства размерности большей 4 вообще встречаются повсеместно. Особенно в физкие (число 4, по-видимому, оттуда взято?).
Без них невозможно представить даже простейшую область физики — механику.
Я уже не говорю о более продвинутых областях, вроде физики высоких энергий.

Ну а про категории и говорить нечего.
Без них просто невозможно представить себе современную математику.
My Website Powered by LJ.Rossia.org