2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Отображения и многозначные функции
Сообщение24.10.2012, 21:44 


22/05/09

685
Пусть $M$ и $N$ - произвольные множества. Говорят, что на множестве $M$ задано отображение $\varphi$ со значениями в множестве $N$, если $\forall x \in M \ \exists ! y \in N$. А как быть с многозначными функциями? Они ведь не вписываются в данное определение. Можно ли убрать требование единственности в определении отображения?

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение24.10.2012, 21:56 
Заслуженный участник


11/05/08
32166
При желании можно всё, но получится нечто жуткое. Неоднозначности образов принято избегать. И, скажем, в ТФКП (где многозначные функции появляются естественным и неизбежным образом) -- избегание осуществляется введением понятия римановых поверхностей.

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение24.10.2012, 21:57 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Mitrius_Math в сообщении #635366 писал(а):
Говорят, что на множестве $M$ задано отображение $\varphi$ со значениями в множестве $N$, если $\forall x \in M \ \exists ! y \in N$.

Чего-то в супе не хватает... точнее, под кванторами...

Mitrius_Math в сообщении #635366 писал(а):
Можно ли убрать требование единственности в определении отображения?

Да замените множество $N$ на множество $2^N,$ делов-то.

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение24.10.2012, 22:14 
Заслуженный участник


09/02/06
4401
Москва
Многозначными отображениями пользуются в экономике. Но там пользуются выпуклым анализом, соответственно у многозначных функций образы точек являются выпуклыми, для их теоремы о неподвижной точке достаточно даже стягиваемости в точку образа точек.

А вообще надо перейти к отношениям между множествами $M,N$, являющихся подмножествами $M*N$. Множества и отношения образуют самодвойственную (соответственно удобную) категорию. Диагональные отношения и здесь являются единичными морфизмами. Симметричные отношения $F_s=\{(x,y)|(y,x)\in F\}$ называют обратными, хотя это не совсем так.
Если произведение отношения F потом $F_s$ содержит диагональ, то можно их назвать многозначной функцией. Если к тому же произведение вначале $F_s; потом F содержится в диагонале, то обычная функция.

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение24.10.2012, 22:21 


22/05/09

685
ewert в сообщении #635378 писал(а):
ТФКП


Я как раз и хотел узнать: есть ли универсальное определение отображения, подходящее и для вещественнозначных функций вещественного аргумента, и для комплекснозначных функций комплексного аргумента, и для функционалов?

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение06.11.2012, 15:06 
Заслуженный участник


09/09/10
3729
Есть такое определение, называется преобразованием (Зарисский, "Коммутативная алгебра", т.1, пар. 10), жутко неудобно и никому нафиг не нужно.

(Оффтоп)

И почему, почему он их пишет справа от аргумента? Если бы мы писали $f\colon B\leftarrow A$, $g\colon C\leftarrow B$, то композиция совершенно естественно писалась бы $gf\colon C\leftarrow A$, $gf(a)=g(f(a))$ — вычисление функции изначально контравариантно? Хм.

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение06.11.2012, 15:09 


22/05/09

685
Joker_vD, большое спасибо. Посмотрю.

 Профиль  
                  
 
 Re: Отображения и многозначные функции
Сообщение06.11.2012, 19:08 
Модератор


16/01/07
1567
Северодвинск
Многозначное отображение $M$ в $N$ - это отображение $M$ в множество подмножеств $N$.

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

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



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

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


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

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