Користувач:Галактион/Сюр'єкція

Подстраница "Користувач:Галактион/Сюр'єкція" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Сюр'єкція". Галактион 13:02, 5 березня 2010 (UTC)

Дополнение к статье "Сюр'єкція"

$~d\vdash \quad \mathrm {f\ is\ a\ surjective\ function.} \ \leftrightarrow \ \mathrm {f\ is\ a\ function.} \ \land \ \forall _{y\ \in \ \mathrm {cod(f)} }\ \exists _{x\ \in \ \mathrm {dom(f)} }\ (y=f(x))$

Примечания:

dom(f) – область определения (отправления) отображения f. Сокращение "dom" проиходит от слова "domain".

cod(f) – область значений (прибытия) отображения f. Сокращение "cod" происходит от слова "codomain".

Если ввести "непереходный" глагол Sur, тогда предложение "f is a surjective function." можно записать так: Sur(f).

Используя глагол Sur, перепишем определение сюръекции (сюръективной функции) в следующем виде:

$~\mathrm {Sur(f)} \ \Leftrightarrow \ \mathrm {f\ is\ a\ function.} \ \land \ \forall y\ (y\in \mathrm {cod(f)} \to \exists x\ (x\in \mathrm {dom(f)} \ \land \ y=f(x)\ ))$

См. также

• Користувач:Галактион/Бієкція
• Користувач:Галактион/Ін'єкція (математика)

--Галактион 15:16, 14 травня 2009 (UTC)