понял, что удовлетворительного ответа на вопрос о базе топологии псевдометрических пространств нет вообще.
Да
есть ответ, но Вы ведь на пару с
Time не знаете, что такое псевдометрическое пространство. Базу топологии псевдометрического пространства
с псевдометрикой
образуют шары
.
Беда ещё и в том, что термин "псевдометрика" употребляется в разных смыслах. В частности, "метрика Минковского" (
) в топологическом смысле не является ни метрикой, ни псевдометрикой (и даже называется не псевдометрикой, а псевдоевклидовой метрикой), и разумным образом понимаемые "шары" в ней базы топологии не образуют. Однако они образуют предбазу некоторой топологии. Например, если определить шары как
то они образуют предбазу обычной "евклидовой" топологии плоскости.
Что бы не возникло желания трактовать слова
AlexDem как то иначе, чем в смысле, что у евклидовой и псевдоевклидовой плоскостей РАЗНЫЕ естественные топологии, посмотрите не только указанную выше страницу, но и следующую, в частности, самые последние строчки последнего поста:
http://forum.lebedev.ru/viewtopic.php?f=26&t=1381&start=30 Посмотрел. И что?
Я тут вынужден ограничить своё общение - увлёкся и поистратил интернет, но вот тут человек и пароход Munin подсказал мне ссылку на книгу Иваненко, Сарданашвили "Гравитация", где прямо сказано, что топология в пространстве Минковского задаётся независимо, и в качестве таковой берётся евклидова. Так что есть куда копать дальше...
Эти слова означают только одно:
AlexDem не верит квалифицированным специалистам - ни физикам, ни математикам. Ну и Бог с ним. Пусть копает.
А значит, стоит работать, думать, исследовать, а не ограничиваться введением туда насильно евклидовой топологии
Топология на алгебре двойных чисел определяется так, чтобы алгебраические операции и псевдоевклидова метрика были непрерывными. Я, к сожалению, не в курсе, является ли стандартная "евклидова" топология единственной, удовлетворяющей этим условиям.
иначе получается то, о чём писал AlexDem - точки , близкие метрически, не будут близки топологически и наоборот...
Видите ли, проблема в том, что псевдоевклидова метрика не определяет никакой разумной близости. Мы ведь хотим, чтобы непрерывная функция в близких точках имела близкие значения. На изотропной прямой все точки удалены на нулевое "расстояние" друг от друга, поэтому всякая непрерывная функция должна принимать в этих точках одинаковые значения. А поскольку любые две точки на псевдоевклидовой плоскости можно соединить либо изотропным отрезком, либо ломаной из двух таких отрезков, то всякая непрерывная функция будет во всех точках принимать одно и то же значение. Физики взвоют, если им навязать такую топологию, где все непрерывные функции - константы.