Отображения

Тема в разделе "WASM.HEAP", создана пользователем UbIvItS, 27 мар 2008.

  1. UbIvItS

    UbIvItS Well-Known Member

    Публикаций:
    0
    Регистрация:
    5 янв 2007
    Сообщения:
    6.242
    Любопытная вещь, верно ли след-ие утв.: Пусть, M == F(T, X), X == f(X[i-1]), тогда существует, как минимум, одна пара отображений такая, что M == S(T, Y), Y == s(Y[i-1])
    -------------------------------
    по идее, должно быть верно, ведь кол-во таблиц оображений множества в себя == n! (n - кол-во эл. множества), а кол-во законов отображений бесчётно.
     
  2. crypto

    crypto Active Member

    Публикаций:
    0
    Регистрация:
    13 дек 2005
    Сообщения:
    2.533
    UbIvItS
    Хз - не хватает информации (что за множества, что за функции).
    ЗЫ
    Почитал бы уже про подстановки и перестановки...
     
  3. Clerk

    Clerk Забанен

    Публикаций:
    0
    Регистрация:
    4 янв 2008
    Сообщения:
    6.689
    Адрес:
    РБ, Могилёв
    Бред!
     
  4. UbIvItS

    UbIvItS Well-Known Member

    Публикаций:
    0
    Регистрация:
    5 янв 2007
    Сообщения:
    6.242
    crypto
    тесть? возьмём множество: {a, b, c}:
    a - может быть отображено в три места;
    b - два места;
    c - одно место
    и далее методом мат. индукции.
    ------------------------------------------
    я имею в виду биективное отображения множества в себя - это n! вариантов. отображения в подмножества меня не интересуют сейчас.
    Clerk
    товарищ, конкретика не возбраняется:derisive:)
     
  5. UbIvItS

    UbIvItS Well-Known Member

    Публикаций:
    0
    Регистрация:
    5 янв 2007
    Сообщения:
    6.242
    видимо, утв. верно, но X & Y сильно по разрядности могут разбегаться...... жаль:))