Инјективно пресликавање — разлика између измена
Садржај обрисан Садржај додат
м Разне исправке |
м Бот: исправљена преусмерења |
||
Ред 2:
[[Датотека:Bijection.svg|мини|200п|Још једно инјективно пресликавање]]
[[Датотека:Surjection.svg|мини|200п|Пресликавање које није инјективно]]
У [[математика|математици]], '''инјективно пресликавање''' или '''инјективна функција''' је [[функција (математика)|функција]] која различите аргументе пресликава у различите вредности. Прецизније речено, за функцију ''-{f}-'' се каже да је инјективна ако пресликава свако различито ''-{x}-'' из свог [[домен
Другим речима, ''-{f}-'' је инјективна ако -{''f''(''a'') = ''f''(''b'')}- имплицира -{''a'' = ''b''}- (или ''-{a}-'' ≠ ''-{b}-'' имплицира -{''f''(''a'') ≠ ''f''(''b''))}-, за свако ''-{a}-'', ''-{b}-'' унутар домена.
Ред 32:
* Ако је -{''f'' : ''X'' → ''Y''}- инјекција, и ''-{A}-'' је [[подскуп]] од ''-{X}-'', тада је -{''f''<sup> −1</sup>(''f''(''A'')) = ''A''}-. Стога ''-{A}-'' може да се добије назад из своје [[слика (функција)|слике]] -{''f''(''A'')}-.
* Ако је -{''f'' : ''X'' → ''Y''}- инјекција, и ''-{A}-'' и ''-{B}-'' су подскупи ''-{X}-'', тада је -{''f''(''A'' ∩ ''B'') = ''f''(''A'') ∩ ''f''(''B'')}-.
* Свака функција -{''h'' : ''W'' → ''Y''}- може да се декомпонује у -{''h'' = ''f'' <small>o</small> ''g''}- за одговарајућу инјекцију ''-{f}-'' и [[
* Ако је -{''f'' : ''X'' → ''Y''}- инјективна функција, тада ''-{Y}-'' има најмање онолико елемената колико има ''-{X}-'', у смислу [[
* Ако су ''-{X}-'' и ''-{Y}-'' [[коначан скуп|коначни]] скупови са истим бројем елемената, тада је -{''f'' : ''X'' → ''Y''}- инјекција ако и само ако је ''-{f}-'' [[сурјективно пресликавање|сурјекција]].
== Види још ==
|