Направо към съдържанието

Инекция

от Уикипедия, свободната енциклопедия

Инекцияематематическо изображение,което на всеки елементаотмножествоA(първообраз) съпоставя най-много един елементbот множествоB(образ).

Като следствие, при зададено изображение f: A →B, от еднаквостта на образитеf(a) = f(a`)следва еднаквост на образитеa = a`(a, a` принадлежат на А), т.е. всеки елемент отBима най-много един първообраз и изображението съпоставя на различните елементи отAразлични елементи отB.Затова такова изображение се нарича ощевлагане– множествотоАс точност до еквивалентност е равно на подмножество наB.

Доказателствотонабиективностна дадено изображение често се разделя на две части, доказващи инективността исюрективносттана изображението.