2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Произведение непрерывных функций
Сообщение13.03.2016, 14:51 


09/10/15
50
Пусть $f:X_1\rightarrow\mathbb{C}$, $g:X_2\rightarrow\mathbb{C}$ непрерывные функции на топологических пространствах $(X_1,\tau_1)$, $(X_2,\tau_2)$ соответсвенно. Будет ли функция $f\cdot g:X_1\times X_2\rightarrow \mathbb{C}$, $(x_1,x_2)\mapsto f(x_1)g(x_2)$ непрерывной на $X_1\times X_2$?

Пусть $f\times g$ прямое произведение функций, т.е. $f\times g:X_1\times X_2\rightarrow\mathbb{C}^2$, $(x_1,x_2)\mapsto (f(x_1),g(x_2))$.
Таким образом произведение $f$ и $g$ можно представить, как $f\cdot g= \cdot \circ(f\times g)$. Требуется показать, что $f\times g$ непрерывна на $X_1\times X_2$.

Пусть $U,V$ открытые подмножества $\mathbb{C}$. Тогда $U\times V$ элемент базы $\mathbb{C}^2$.

$$
(f\times g)^{-1}(U\times V)= f^{-1}(U)\times g^{-1}(V)\in \tau_1\times\tau_2,
$$
где $\tau_1\times\tau_2$ база $X_1\times X_2$.

Где я ошибся?

Спасибо.

 Профиль  
                  
 
 Re: Произведение непрерывных функций
Сообщение13.03.2016, 15:04 
Аватара пользователя


08/03/16
45
Москва
Нигде не ошиблись, всё верно. Вообще, для любых топологических пространств $X$, $Y$, $Z$, $W$ и любых двух непрерывных функций $f\colon X\to Z$ и $g\colon Y\to W$ отображение $f\times g\colon X\times Y\to Z\times W$ непрерывно. Это следует из того, что операция $\times$ определяет произведение в категории топологических пространств.

 Профиль  
                  
 
 Re: Произведение непрерывных функций
Сообщение13.03.2016, 15:06 
Заслуженный участник


10/01/16
2315
RabbitXO
Да в общем, нормально. Только одна деталь:
RabbitXO в сообщении #1106258 писал(а):
Пусть $U,V$ открытые подмножества $\mathbb{C}$. Тогда $U\times V$ элемент базы $\mathbb{C}^2$.


А, по логике вещей, рассуждение должно проходить чуть иначе: Пусть $W$ - элемент некоторой базы топологии в..., и т.д.. Дырочка залатается, если Ваши рассуждения дополнить фразой: всевозможные пары $U\times V$ образуют базу.

 Профиль  
                  
 
 Re: Произведение непрерывных функций
Сообщение13.03.2016, 15:14 


09/10/15
50
Не совсем аккуратно вышло.

Всем спасибо.

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

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



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

Сейчас этот форум просматривают: YandexBot [bot]


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

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