1632
правки
Изменения
м
rollbackEdits.php mass rollback
{{Определение | definition =
Закон (правило) f, посредством которого каждому <tex>a \in A</tex> , сопоставляется единственный <tex>b \in B</tex>, называют '''отображением'''.
Обычно это записывают так: <tex> b = f(a) </tex>.
}}
== Свойства отображений ==
'''Инъективное''' отображение - — переводит разные элементы A в разные элементы B:: <tex> \forall a_1, a_2 \in A, : a_1\ne{a_2} : \Rightarrow f(a_1) \ne f(a_2) </tex>
'''Сюръективное''' отображение(на множестве B) - — каждый элемент множества B является образом хотя бы одного элемента множества A:
: <tex> \forall b \in B: \exists a : b = f(a) </tex>
'''Биективное''' отображение - — инъекция + сюръекция - — взаимно однозначное соответствие, обладает двумя предыдущими свойствами.
== См. также ==
*[[Множества]]
