• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Funkcja wzajemnie jednoznaczna

    Przeczytaj także...
    Łączność – jedna z własności działań dwuargumentowych, czyli np. operatorów arytmetycznych. Pojęcie to występuje w dwóch znaczeniach.Grupa – jedna ze struktur algebraicznych: zbiór niepusty, na którym określono pewne łączne działanie dwuargumentowe wewnętrzne, dla którego istnieje element odwrotny do każdego elementu oraz element neutralny. Można powiedzieć, że grupą jest monoid, w którym każdy element ma element odwrotny. Dział matematyki badający własności grup nazywa się teorią grup.
    Podzbiór – pewna „część” danego zbioru, czyli dla danego zbioru, nazywanego nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np. żadnego, jednego, wszystkich. Pierwszy przypadek nazywa się podzbiorem pustym, drugi – podzbiorem jednoelementowym lub singletonem, trzeci – podzbiorem niewłaściwym.
    Bijekcja umożliwia jednoczesne sparowanie wszystkich elementów odwzorowywanych zbiorów.

    Funkcja wzajemnie jednoznaczna (bijekcja)funkcja będąca jednocześnie funkcją różnowartościową i "na". Innymi słowy, bijekcja to funkcja (relacja) taka, że każdemu elementowi obrazu odpowiada dokładnie jeden element dziedziny.

    Teoria mnogości lub inaczej: teoria zbiorów – dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań.Działanie dwuargumentowe a. binarne – w algebrze działanie algebraiczne o argumentowości równej 2, czyli funkcja przypisująca dwóm elementom inny; wszystkie elementy mogą pochodzić z innych zbiorów.

    Definicja formalna[]

    W teorii mnogości bijekcja definiowana jest jako podzbiór iloczynu kartezjańskiego zbiorów i , który spełnia następujące warunki:

    Funkcja odwrotna – funkcja przyporządkowująca wartościom jakiejś funkcji jej odpowiednie argumenty, czyli działająca odwrotnie do niej.Funkcja (łac. functio, -onis, „odbywanie, wykonywanie, czynność”) – dla danych dwóch zbiorów X i Y przyporządkowanie każdemu elementowi zbioru X dokładnie jednego elementu zbioru Y. Oznacza się ją na ogół f, g, h itd.
  • .
  • .
  • .
  • .
  • Słownie: każdy element dziedziny musi być w relacji z dokładnie jednym elementem przeciwdziedziny i odwrotnie.

    Funkcja „na” a. surjekcja pisane też czasami jako suriekcja – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj. której obraz jest równy przeciwdziedzinie.Izomorfizm (gr. isos – równy, morphe – kształt) − funkcja wzajemnie jednoznaczna z jednego obiektu matematycznego w drugi, która zachowuje funkcje, relacje i wyróżnione elementy.

    Wnioski[]

  • Przeciwdziedzina jest równa obrazowi funkcji, .
  • Funkcja jest bijekcją wtedy i tylko wtedy, gdy istnieje funkcja do niej odwrotna – również i ona jest bijekcją.
  • Grupa bijekcji[]

     Osobny artykuł: grupa permutacji.

    Ponieważ działanie składania bijekcji danego zbioru (na siebie) jest łączne i jest ono automorfizmem, a każda bijekcja posiada jednoznacznie określoną do niej funkcję odwrotną, to wówczas spełnione są aksjomaty grupy. Grupę taką nazywa się grupą bijekcji tego zbioru i są to historycznie pierwsze rozważane grupy.

    Grupa permutacji – grupa wszystkich bijekcji pewnego zbioru w siebie (czyli permutacji) z działaniem składania pełniącego rolę działania grupowego i identycznością jako elementem neutralnym. Elementem odwrotnym do danego jest funkcja (permutacja) odwrotna do danej, która zawsze istnieje z definicji bijekcji.Automorfizm – izomorfizm struktury matematycznej na siebie, czyli jej wzajemnie jednoznaczny endomorfizm. W pewnym sensie jest to symetria obiektu – sposób odwzorowania obiektu na siebie przy zachowaniu całej jego struktury.

    Zobacz też[]

  • funkcja różnowartościowa (iniekcja)
  • funkcja "na" (suriekcja)
  • izomorfizm



  • w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Funkcja różnowartościowa (iniekcja, funkcja 1-1) – funkcja, której każdy element przeciwdziedziny przyjmowany jest co najwyżej raz.
    Relacja – w teorii mnogości dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostają w związku albo łączy je pewna zależność, czy też własność lub nie). Najważniejszymi relacjami są relacje dwuargumentowe, tj. między elementami pary zbiorów (opisane w osobnym artykule, w tym funkcje i działania jednoargumentowe); relacje jednoargumentowe to po prostu podzbiory pewnego zbioru.
    Obraz – zbiór wszystkich wartości (należących do przeciwdziedziny) przyjmowanych przez funkcję dla każdego elementu danego podzbioru jej dziedziny. Przeciwobraz – zbiór wszystkich elementów dziedziny, które są odwzorowywane na elementy danego podzbioru przeciwdziedziny.
    Dziedzina relacji (dwuczłonowej) – zbiór wszystkich poprzedników par należących do danej relacji. W szczególności dziedziną funkcji nazywa się zbiór wszystkich dopuszczalnych argumentów danej funkcji, lub – dla funkcji wieloargumentowej – zbiór par, trójek lub ogólnie krotek jej argumentów.

    Reklama

    Czas generowania strony: 0.023 sek.