Бијекција — разлика између измена
Садржај обрисан Садржај додат
м Разне исправке |
м Бот: исправљена преусмерења |
||
Ред 1:
[[Слика:Bijection.svg|мини|200п|Бијективна функција]]
У [[математика|математици]], за [[функција (математика)|функцију]] ''-{f}-'' из [[скуп
Другим речима, ''-{f}-'' је бијекција ако је уједно и '''1-1''' ([[инјективно пресликавање|инјекција]]) и '''на''' ([[сурјективно пресликавање|сурјекција]]) између ова два скупа.
На пример, бијективна је функција „насл“, дефинисана на скупу [[цео број|целих бројева]] -{'''Z''' → '''Z'''}-, тако да сваки цео број ''-{x}-'' пресликава у цео број насл(''-{x}-'') = -{x}- + 1. Други пример може бити функција „збиразл“, која сваки пар реалних бројева -{(''x'',''y'')}- пресликава у пар збиразл-{(''x'',''y'') = (''x'' + ''y'', ''x'' − ''y'')}-.
Ред 11:
== Композиција и инверзија ==
Функција ''-{f}-'' је бијекција [[ако и само ако|акко]] је њена [[инверзна функција]] ''-{f}-''<sup> −1</sup> функција (а не тек уопштена функција). У том случају, ''-{f}-''<sup> −1</sup> је такође бијекција.
[[Композиција (математика)|Композиција]] -{''g'' <small>o</small> ''f''}- две бијекције ''-{f}-''<math>\;:\;</math> ''-{X}-''<math>{}\leftrightarrow{}</math>''-{Y}-'' и ''-{g}-''<math>\;:\;</math> ''-{Y}-''<math>{}\leftrightarrow{}</math>''-{Z}-'' је бијекција. Инверз -{''g'' <small>o</small> ''f''}- је -{(''g'' <small>o</small> ''f'')<sup>−1</sup> = (''f''<sup> −1</sup>) <small>o</small> (''g''<sup>−1</sup>)}-.
Ред 21:
== Бијекције и кардиналност ==
Ако су ''-{X}-'' и ''-{Y}-'' [[коначан скуп|коначни скупови]], тада постоји бијекције између скупова ''-{X}-'' и ''-{Y}-'' [[ако и само ако|акко]] ''-{X}-'' и ''-{Y}-'' имају исти број елемената. У ствари, у [[аксиоматска теорија скупова|аксиоматској теорији скупова]], ово се и узима као ''дефиниција'' „истог броја елемената“, и генерализација ове дефиниције за бесконачне скупове доводи до концепта [[
== Примери и контрапримери ==
Ред 33:
== Својства ==
* Функција ''-{f}-'' из '''-{R}-''' у '''-{R}-''' је бијекција ако и само ако било која хоризонтална линија пресеца њен граф у тачно једној тачки.
* Ако је ''-{X}-'' скуп, онда бијективне функције скупа ''-{X}-'' на самог себе, заједно са операцијом композиције функција, граде [[група (
* Ако је -{''f''}- бијекција, тада за сваки подскуп ''-{A}-'' домена и сваки подскуп ''-{B}-'' кодомена вреди -{|''f''(''A'')| = |''A''|}- и -{|''f''<sup>−1</sup>(''B'')| = |''B''|}-.
*Ако су ''-{X}-'' и ''-{Y}-'' коначни скупови исте кардиналности, и -{''f'': ''X'' → ''Y''}-, тада су следећи искази еквивалентни:
Ред 45:
*[[Пермутација]]
*[[Симетрична група]]
*[[Сурјективно пресликавање|Сурјекција]]
[[Категорија:Функције и пресликавања]]
| |||