Loading AI tools
З Вікіпедії, вільної енциклопедії
Бієкція (бієктивна функція, бієктивне відображення, взаємно однозначна відповідність) — в математиці відображення, яке є одночасно сюр'єктивним та ін'єктивним.
Бієкція | |
Підтримується Вікіпроєктом | Вікіпедія:Проєкт:Математика |
---|---|
Бієкція у Вікісховищі |
Інтуїтивно можна визначити бієкцію як відповідність, яка асоціює один елемент вхідної множини з одним і тільки одним елементом результуючої множини й навпаки, одному елементу результуючої множини зіставляється один і лише один елемент вхідної множини.
Тобто, відображення f: X→Y є бієктивним, коли кожному елементу y з множини Y зіставлений один і лише один елемент x з множини X, і f(x) = y.
В теорії множин стверджується, що бієкцію між двома множинами X та Y можна встановити тоді й лише тоді, коли ці множини є рівнопотужними.
Бієктивне відображення (сюр'єктивне та ін'єктивне) | Ін'єктивне, але не сюр'єктивне відображення |
Сюр'єктивне, але не ін'єктивне відображення | Несюр'єктивне і неін'єктивне відображення |
Нехай функція f: R → R має вигляд: f(x) = 2x + 1. Ця функція є бієктивною, тому що для будь-якого y ∈ R, існує єдиний розв'язок рівняння y = 2x + 1 відносно x: x = (y − 1)/2.
З іншого боку, функція g: R → R, визначена як g(x) = x2 не є бієктивною з двох причин. По-перше, маємо g(1) = 1 = g(−1), тобто g не є ін'єктивною, і, по-друге, не існує такого x ∈ R, щоби x2 = −1, тобто g не є також і сюр'єктивною. Тому, виходячи з визначення бієкції, ця функція не є бієктивною.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.