>А по-моему, забавно другое совсем - что Вы не замечаете главного в этой дискуссии - что не нужны никому векторые пространства без скалярного произведения.

Очень даже нужны. И при том много кому.
Например, чтобы решать линейные системы.
Там чаще всего нет никакого естественного скалярного
произведения. В computer science чаще всего
нужны именно обычные векторные пространства.
Забвано, что вы этого не знаете, а выступаете так,
будто вы в этой области авторитет.

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

А можно уже заметить, что практику 19 века не нужна была
большая часть чистой математики 19 века. А практику 18 — большая часть математики 18 века. И так далее.
Забавно, что вы не знаете, что математика находит свои
приложения с большим опозданием.
Эллиптические кривые появились гораздо раньше, чем
их начали использовать в криптографии. И так далее.

>P. S. Нелюбезно как-то сказать мне, что я "не прав" с асимптотическим анализом, и не ответить на простую реплику. Так что там с алгоритмами для вычисления любых асимптотик чего угодно?

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