Matematikoje bijekcinė funkcija arba bijekcija - tai funkcija f : AB, kuri yra ir injekcija, ir surjekcija. Tai reiškia, kad kiekvienam kodinės srities B elementui b yra lygiai vienas A srities elementas a toks, kad f(a)=b. Kitas bijekcijos pavadinimas yra 1-1 korespondencija.

Terminą bijekcija ir su juo susijusius terminus surjekcija ir injekcija įvedė Nikolajus Burbakis (Nicholas Bourbaki). XX a. trečiajame dešimtmetyje jis kartu su grupe kitų matematikų išleido šiuolaikinės pažangiosios matematikos knygų seriją.

Papildomas apibrėžimas ir pasekmės

Bijekcija yra funkcija, kuri sukuria vien-to-vien tikslų atitikimą tarp elementų iš pradinės srities A ir vaizdų srities B. Iš šio apibrėžimo seka kelios svarbios pasekmės:

  • Jeigu f yra bijekcija, tai kiekvienas bB turi tik vieną priešvaizdį aA.
  • Bijekcija egzistuoja tik tada, kai A ir B turi „tą pačią dydį“ (t. y. yra ekvivalentūs pagal kardinalumą).
  • Jeigu A yra galutinis rinkinys, tada egzistavimas bijekcijos tarp A ir B reiškia, kad A ir B turi vienodą elementų skaičių.

Savybės

  • Inverto egzistavimas: Funkcija f yra bijekcija tada ir tik tada, kai egzistuoja unikali funkcija f-1 : BA, vadinama atvirkštine funkcija, tokia, kad f-1(f(a)) = a visiems aA ir f(f-1(b)) = b visiems bB.
  • Kompozicija: Jei f: AB ir g: BC yra bijekcijos, tai jų kompozicija g∘f: AC taip pat yra bijekcija. Be to, (g∘f)-1 = f-1∘g-1.
  • Panašumas (ekvivalencija pagal kardinalumą): Būtent bijekcijos leidžia apibrėžti, kada du rinkinių dydžiai laikomi lygiais (t. y. turi tą patį kardinalumą).
  • Permutacijos: Bijekcija iš A į patį save (t. y. f: AA) vadinama permutacija, jei A yra galutinis rinkinys.

Atvirkštinė funkcija ir simbolika

Atvirkštinė funkcija paprastai žymima f-1. Reikia atkreipti dėmesį į dviprasmybę:

  • f-1 gali reikšti atvirkštinę funkciją (kai f yra bijekcija), t. y. vienalytę žemėlapį iš B atgal į A.
  • Taip pat f-1(S) gali reikšti priešvaizdį (preimage) tam tikroje SB, net jei f nėra bijekcija. Ši sąvoka reiškia visų aA, kuriems f(a)∈S, rinkinį.

Patikrinimo metodai

  • Injektyvumo patikra: Parodyti, kad jeigu f(a1) = f(a2), tai a1 = a2.
  • Surjektyvumo patikra: Parodyti, kad kiekvienam bB egzistuoja aA su f(a) = b.
  • Horizontalios linijos testas: Realiųjų skaičių funkcijoms f: R→R gali padėti vizualus horizontalios linijos testas — jei kiekviena horizontalioji linija kertanti parinktį grafikas kerta ją ne daugiau kaip vieną kartą, funkcija yra injektyvi. Reikalingas ir surjektyvumas į visą R, kad būtų bijekcija.
  • Galutiniai rinkiniai: Jei A ir B yra galutiniai ir |A| = |B|, bijekcijos egzistavimas yra lygiavertis faktui, kad bet kuri injekcija iš A į B yra surjekcija (ir atvirkščiai).

Pavyzdžiai

  • Skaičių aibės: f(x) = x + 1 yra bijekcija iš Z į Z (čia Z — sveikieji skaičiai). f(x) = x^3 yra bijekcija iš R į R, o f(x) = x^2 nėra bijekcija iš R į R (nes neinjektyvi ir ne surjektyvi į visus R).
  • Intervalai: Eksponentinė funkcija f(x) = e^x yra bijekcija iš R į (0,∞), bet ne į visą R.
  • Baigtiniai rinkiniai: Funkcija, kuri pertvarko elementus {1,2,3} į {a,b,c} pagal taisyklę 1↦a, 2↦b, 3↦c, yra bijekcija.

Taikymas: kardinalumas ir skaičiavimai

Bijekcijos naudojamos lyginant skirtingų rinkinių dydžius. Du rinkiniai turi tą patį kardinalumą tada ir tik tada, kai egzistuoja bijekcija tarp jų. Šis požiūris leidžia aptarti begalinius rinkinius, pvz., parodyti, kad natūraliųjų skaičių aibė N ir sveikųjų skaičių aibė Z turi tą patį kardinalumą (egzistuoja bijekcija).

Topologinė pastaba

Jeigu f yra bijekcija tarp topologinių erdvių ir yra kontinuumo tipo (t. y. nuosekli), tai nebūtinai reiškia, kad f-1 yra kontinuoma. Tačiau, pavyzdžiui, kontinuoma bijekcija iš kompaktiškos erdvės į Hausdorfo erdvę yra homeomorfizmas (t. y. jos atvirkštinė taip pat kontinuoma).

Santrauka

Bijekcija yra pagrindinė sąvoka matematinėje analizėje, algebroje ir teorinėje matematikoje, leidžianti nustatyti vienareikšmišką atitikimą tarp dviejų rinkinių. Ji užtikrina inverto egzistavimą, susieja kardinalumo sąvokas ir yra kertinė priemonė, dirbant su permutacijomis, skaičiavimo teorija bei funkcijų tyrimu.