2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Задание топологии в линейном топологическомпространстве
Сообщение15.06.2021, 10:01 


30/01/17
245
Колмогоров, Фомин. Элементы теории функций и функционального анализа. 4-е изд. стр. 167 писал(а):
Из связи, существующей в линейном топологическомпространстве между алгебраическими операциями и топологией,вытекает, что топология в таком пространстве полностью определяется заданием системы окрестностей нуля. Действительно,пусть $x$ — точка линейного топологического пространства $E$, и $U$ — некоторая окрестность нуля в $E$. Тогда $U-x$ — «сдвиг»этой окрестности на $x$—есть окрестность точки $x$

Почему?

Пусть $A$ - окрестность нуля, тогда по непрерывности $x-x$ должна существовать окрестность $X$ точки $x$, что для всех $y\in X$ верно $y-x \in A$. Но это не значит, что $X$ - "сдвиг" $A$. Подскажите, пожалуйста, как доказать, что $X$ - "сдвиг" $A$.

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение15.06.2021, 10:36 
Заслуженный участник
Аватара пользователя


03/06/08
2343
МО
Если я Вас правильно понял: непрерывны как $y \to y - x$, так и наоборот, $y \to y + x$.
Поэтому окрестности переходят в окрестности же.

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение15.06.2021, 15:00 


30/01/17
245
Нужно доказать, что для любой окрестности нуля $A$ существует окрестность $B$ произвольной точки $x_0$, что $\{x-x_0 | x \in B\} = A$
У меня получается доказать только что $\{x-x_0 | x \in B\} \subset A$:
Доказываю, что для любой окрестности нуля $A$ существует некоторая окрестность $B$ произвольной точки $x_0$, такая что $\forall x \in B, x-x_0 \in A$:
$y-x$ непрерывна, тогда $y \to y - x_0$ непрерывно, в том числе, в точке $x_0$. $x_0$ отображается в $0$, по непрерывности для окрестности $A$ должна существовать окрестность $B$ c требуемыми свойствами.
Аналогично для окрестности $B$ точки $x_0$ существует окрестность $C$ нуля , такая что $\forall x \in C, x+x_0 \in B$
Поскольку $\forall x \in C, x+x_0 \in B$ и $\forall x \in B, x-x_0 \in A$, то $\forall x \in C, x \in A$.
Получается я доказал, что $C \subset A$

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение15.06.2021, 15:06 
Заслуженный участник
Аватара пользователя


16/07/14
9259
Цюрих
Можно же явно написать $B = \{x + x_0 | x \in A\}$. И дальше нужно, пользуясь открытостью $A$ и непрерывностью сложения, доказать что $B$ открыто.

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение16.06.2021, 08:14 


30/01/17
245
Понял. Если отображать каждую точку $x$ из $B$ в $A$ и в качестве окрестности результата брать все $A$, то по непрерывности для каждой точки $x$ найдется окрестность $X$, которая вся будет отображаться в $A$. Прообразом $A$ является $B$, поэтому $X \subset B$. Объединение всех $X$ даст $B$, поэтому $B$ - открытое множество.

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение16.06.2021, 15:54 


19/03/15
291
Сдвиг у них не доказывается, а всего лишь вводится как термин (не нужный). Ключевое здесь - это конечно окрестность нуля. Возможно, что в свете этого можно нащупать ответ на вопрос https://dxdy.ru/topic136492.html.

Рассматривая топологию на числах, мы можем от числовых окрестностей нуля $|x-a|<\epsilon$ перейти к открытым интервалам $a<x<b$. Их использование НЕ требует арифметики. С другой стороны, когда строим топологию на векторном пр-ве у нас есть основная формула $\|X-A\|<\epsilon$ (условный аналог окрестности нуля). Минус здесь, разумеется не числовой, а обращение (+)-операции векторного пространства как коммутативной группы. Можно ли теперь показать/нащупать (естественные приговорки опускаю), что чтобы задать топологию на векторном пространстве условия на алгебру этой коммутативной группы должны быть такие какие мы пишем в аксиомах нормы?

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение16.06.2021, 17:53 


30/01/17
245
Хотел убедиться, что к тому, что я написал в последнем сообщении, не будет замечаний. Убедился.

Спасибо Вам за помощь!

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение17.06.2021, 19:56 


19/03/15
291
Скорее вам спасибо. Окрестность нуля - хорошая подсказка.

 Профиль  
                  
 
 Re: Задание топологии в линейном топологическомпространстве
Сообщение18.06.2021, 06:06 


30/01/17
245
maximav, я признателен всем, кто пытался мне помочь, хорошо, если мои сообщения чем-то Вам помогли, но по большей части мое предыдущее сообщение было адресовано mihaild.
Прошу прощения за флуд, который я развел. Хотел сказать спасибо, но как-то все не так пошло. :oops:

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: mihaild


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group