[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3]
| Определение |
f: A → B - отображение g: B → A - обратное к f, если f o g равно тождественому отображению на B, g o f равно тождественому отображению на A; |
|---|
.
A - конечное множество
f:A→ A - отображение.
Можно изображать графически функцию f, указывая стрелкой образ каждого элемента a
A.
Пример:A ={ a, b, c, d, e}
f(a)=b, f(b)=c, f(c)=d, f(d)=b, f(e)=Б

Для каждого элемента a
A образы
fk(a) имеют следующее свойство: существуют k и l, такие ,
что

т.е.: a, f(a), .., fk-1(a) не являются образами высших
степеней fs(a).
a, f(a), .., fl(a) - все разные,
fl+1(a) = fk(a) и получается зацикливание.
| Теорема |
Для любого отображения f:A → A (где А -
конечное множество) и для любого элемента a A
существуют натуральные k и m такие, что fk+m(a) = f
(a). |
|---|
[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3]