2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Задача о топологии векторных пространств с континуум-базой
Сообщение04.11.2020, 12:33 


12/05/07
566
г. Уфа
Пусть $V$ – топологическое пространство, имеющее базу открытых множеств мощности континуума (но не имеющее базы никакой меньшей мощности). Может ли $V$ иметь структуру линейного векторного пространства над полем вещественных чисел $\mathbb R$, в котором алгебраические операции сложения векторов и умножения векторов на числа непрерывны относительно топологии в $V$ и стандартной топологии в $\mathbb R$? Если да, то какова при этом наименьшая возможная мощность самого множества $V$?

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение04.11.2020, 17:45 
Заслуженный участник


18/01/15
3075
Посмотрите на такой пример: $V={\mathbb R}^{\mathbb N}$ --- пространство всех последовательностей $(x_1,x_2,\ldots)$ а база окрестностей нуля состоит из всех множеств $U_{\overline\varepsilon}=\{(x_1,x_2,\ldots)\mid |x_i|<\varepsilon_i\}$, где $\overline\varepsilon=(\varepsilon_1,\varepsilon_2,\ldots)$, $\varepsilon_i>0$. По-моему, подходит (детально не обдумал).

P.S. Кажется, нетривиально доказать, что в этом примере нет базы (окрестностей нуля) мощности меньше континуума. Мне даже кажется, что это доказать и невозможно иначе как через континуум-гипотезу. Что до базы во всем пространстве, то там действительно минимальная мощность континуум (это легко).

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение04.11.2020, 18:22 
Заслуженный участник


13/12/05
4518
vpb
В такой топологии умножение на числа не является непрерывной операцией. Например, в точке $(a,x)$, где $a=1, x=(1,1,1,\ldots)$. По $a$ нет непрерывности.
Подойдет $\mathbb R^{\mathbb R}$ с топологией произведения. Кстати, оно сепарабельно.

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение04.11.2020, 18:57 
Заслуженный участник


18/01/15
3075
Padawan в сообщении #1490687 писал(а):
Например, в точке $(a,x)$, где $a=1, x=(1,1,1,\ldots)$. По $a$ нет непрерывности.
Действительно, не приметил (слона).

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение04.11.2020, 20:59 
Заслуженный участник


13/12/05
4518
Можно взять гильбертово пространство с ортогональным базисом мощности континуум. Оно имеет мощность континуум.

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение05.11.2020, 11:48 
Заслуженный участник


13/12/05
4518

(Оффтоп)

vpb в сообщении #1490685 писал(а):
Кажется, нетривиально доказать, что в этом примере нет базы (окрестностей нуля) мощности меньше континуума. Мне даже кажется, что это доказать и невозможно иначе как через континуум-гипотезу.

Интересная задача. Что счётной нет легко доказать. А что меньше континуума нет -- у меня не получается.

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение07.11.2020, 14:09 


12/05/07
566
г. Уфа
Padawan, vpb! Спасибо за деятельное участие в обсуждении задачи и ценные идеи.
Padawan в сообщении #1490701 писал(а):
Можно взять гильбертово пространство $H$ с ортогональным базисом мощности континуум.
Как множество $H$ — это подмножесто в $\mathbb R^{\mathbb R}$. Его элементы изображаются суммами вида
$$
\bold x=\sum_{\beta\in\mathbb R}x_\beta\bold e_\beta,
$$
где только счётное количество коэффициентов $x_\beta\in\mathbb R$ отлично от нуля и
$$
\Vert\bold x\Vert^2=\sum_{\beta\in\mathbb R}|x_\beta|^2<\infty.
$$
Padawan в сообщении #1490776 писал(а):
Кажется, нетривиально доказать, что в этом примере нет базы (окрестностей нуля) мощности меньше континуума.
А в задаче не говорится про базу окрестностей нуля. Говорится про базу открытых множеств топологии. То, что мощность любой такой базы больше или равна континууму, для Вашего примера удаётся доказать. Возьмём точки из $H$ вида
$$
\bold x_\alpha=\sum_{\beta\in\mathbb R}x_\beta\bold e_\beta\text{, \ где \ }x_\beta=0\text{\ \ для всех \ }\beta\neq\alpha\text{\ \ и \ }x_\beta=1\text{\ \ для  \ }\beta=\alpha.
$$
Число таких точек континуально. Расстояние между любыми двумя из них равно $\sqrt{2}$. Если взять открытые шары с $B_\alpha$ с центрами в точках $\bold x_\alpha$ и радиусами $R=\frac{1}{2}$, то мы получим континуальное семейство попарно не пересекающихся открытых шаров. Каждый такой шар содержит как минимум одно открытое множество из базы. Поэтому (по аксиоме выбора) любая база топологии в $H$ включает в себя континуальное семейство открытых множеств. Мощность такой базы не ниже мощности континуума.

С Вашим примером в этом плане всё хорошо.

 Профиль  
                  
 
 Re: Задача о топологии векторных пространств с континуум-базой
Сообщение08.11.2020, 11:52 
Заслуженный участник


13/12/05
4518
Ruslan_Sharipov в сообщении #1491053 писал(а):
А в задаче не говорится про базу окрестностей нуля

То мое замечание
Padawan в сообщении #1490776 писал(а):
Интересная задача. Что счётной нет легко доказать. А что меньше континуума нет -- у меня не получается.

относилось к примеру vpb $\mathbb R^{\mathbb N}$ с определенной, указанной им топологией. Потому и в оффтоп было взято.

А с гильбертовым пространством-то все понятно. Вес - континуум. А характер (наименьшая мощность базы в точке) -- счётен. Это же метрическое пространство.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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