Chociaż oba terminy opisują sposób mapowania elementów między dwoma zbiorami, odnoszą się one do różnych stron równania. Funkcje jeden do jednego (injekcyjne) koncentrują się na jednoznaczności danych wejściowych, zapewniając, że żadne dwie ścieżki nie prowadzą do tego samego celu, podczas gdy funkcje on (surjektywne) zapewniają, że każdy możliwy cel zostanie faktycznie osiągnięty.
Najważniejsze informacje
Jeden do jednego gwarantuje odrębność; „na” gwarantuje kompletność.
Funkcja, która jest zarówno różnowartościowa, jak i „na”, nazywa się bijekcją.
Test linii poziomej pozwala na szybkie zidentyfikowanie funkcji jeden do jednego.
Funkcje „onto” wymagają, aby zakres i kodomena były identyczne.
Czym jest Jeden do jednego (wstrzykiwanie)?
Mapowanie, w którym każdy unikalny sygnał wejściowy generuje odrębny, unikalny sygnał wyjściowy.
Formalnie w teorii mnogości nazywana funkcją iniektywną.
Przechodzi test linii poziomej po naniesieniu na płaszczyznę współrzędnych.
Żadne dwa różne elementy w domenie nie mają tego samego obrazu w domenie kodowej.
Liczba elementów w domenie nie może przekraczać liczby elementów w domenie kodowej.
Istotne przy tworzeniu funkcji odwrotnych, ponieważ odwzorowanie można odwrócić bez żadnych niejednoznaczności.
Czym jest Na (surjektywne)?
Mapowanie, w którym każdy element w zestawie docelowym jest objęty co najmniej jednym elementem wejściowym.
Formalnie znana jako funkcja suriektywna.
Zakres funkcji jest dokładnie równy jej kodomenie.
Dozwolone jest, aby wiele wejść wskazywało na to samo wyjście, pod warunkiem, że nic nie zostanie pominięte.
Rozmiar domeny musi być większy lub równy rozmiarowi kodomeny.
Gwarantuje, że każda wartość w zestawie wyjściowym ma co najmniej jeden „obraz wstępny”.
Tabela porównawcza
Funkcja
Jeden do jednego (wstrzykiwanie)
Na (surjektywne)
Nazwa formalna
Wstrzykiwalny
Surjektywny
Wymagania podstawowe
Unikalne wyniki dla unikalnych danych wejściowych
Całkowite pokrycie zestawu docelowego
Test linii poziomej
Musi przejść (przecina się co najwyżej raz)
Musi przeciąć się co najmniej raz
Skupienie na związku
Elitaryzm
Inkluzywność
Ustaw ograniczenie rozmiaru
Domena ≤ Kodomena
Domena ≥ Kodomena
Wspólne wyniki?
Surowo zabronione
Dozwolone i powszechne
Szczegółowe porównanie
Koncepcja wyłączności
Funkcja jeden do jednego jest jak ekskluzywna restauracja, gdzie każdy stolik jest zarezerwowany dla dokładnie jednej grupy; nigdy nie zobaczysz dwóch różnych grup siedzących na tym samym miejscu. Z matematycznego punktu widzenia, jeśli $f(a) = f(b)$, to $a$ musi być równe $b$. Ta wyłączność pozwala na „cofnięcie” lub odwrócenie tych funkcji.
Koncepcja zasięgu
Funkcja „onto” koncentruje się na tym, aby nie pominąć żadnego elementu w zestawie docelowym. Wyobraź sobie autobus, w którym każde miejsce siedzące musi być zajęte przez co najmniej jedną osobę. Nie ma znaczenia, czy dwie osoby muszą siedzieć na tej samej ławce (w relacji wiele do jednego), o ile w autobusie nie ma ani jednego wolnego miejsca.
Wizualizacja za pomocą diagramów mapowania
Na diagramie odwzorowania, zależność jeden do jednego jest identyfikowana za pomocą pojedynczych strzałek wskazujących na pojedyncze punkty – żadne dwie strzałki nigdy się nie zbiegają. W przypadku funkcji „na”, każdy punkt w drugim okręgu musi mieć co najmniej jedną strzałkę wskazującą na siebie. Funkcja może być jednocześnie i jednym, i drugim, co matematycy nazywają bijekcją.
Wykresowanie różnic
Na standardowym wykresie sprawdza się status jednoznaczny, przesuwając poziomą linię w górę i w dół; jeśli linia ta styka się z krzywą więcej niż raz, funkcja nie jest jednoznaczna. Testowanie „na” wymaga sprawdzenia pionowej rozpiętości wykresu, aby upewnić się, że obejmuje ona cały zamierzony zakres bez przerw.
Zalety i wady
Jeden na jednego
Zalety
+Umożliwia funkcje odwrotne
+Brak kolizji danych
+Zachowuje odrębność
+Łatwiejsze do cofnięcia
Zawartość
−Może pozostawić wyjścia niewykorzystane
−Wymaga większej domeny kodowej
−Ścisłe zasady wprowadzania danych
−Trudniej osiągnąć
Na
Zalety
+Obejmuje cały zestaw docelowy
+Brak marnowanej przestrzeni wyjściowej
+Łatwiejszy montaż małych zestawów
+Wykorzystuje wszystkie zasoby
Zawartość
−Utrata wyjątkowości
−Nie zawsze można odwrócić
−Zderzenia są częste
−Trudniej to wyśledzić
Częste nieporozumienia
Mit
Wszystkie funkcje są albo jeden do jednego, albo na.
Rzeczywistość
Wiele funkcji nie spełnia żadnego z tych warunków. Na przykład funkcja $f(x) = x^2$ (ze wszystkich liczb rzeczywistych do wszystkich liczb rzeczywistych) nie jest różnowartościowa, ponieważ zarówno $2$, jak i $-2$ dają w rezultacie $4$, a także nie jest funkcją na, ponieważ nigdy nie daje w wyniku liczb ujemnych.
Mit
Jeden do jednego oznacza to samo co funkcja.
Rzeczywistość
Funkcja wymaga, aby każde wejście miało jedno wyjście. Zasada jeden do jednego to dodatkowa warstwa „ścisłości”, która zapobiega sytuacji, w której dwa wejścia dzielą ten sam wynik.
Mit
Ono zależy tylko od formuły.
Rzeczywistość
Funkcja „onto” w dużej mierze zależy od sposobu zdefiniowania zbioru docelowego. Funkcja $f(x) = x^2$ jest funkcją „onto”, jeśli zdefiniujemy zbiór docelowy jako „wszystkie liczby nieujemne”, ale nie działa, jeśli zbiór docelowy to „wszystkie liczby rzeczywiste”.
Mit
Jeśli funkcja jest na, musi być odwracalna.
Rzeczywistość
Odwracalność wymaga statusu jeden do jednego. Jeśli funkcja jest na, ale nie jest różnowartościowa, możesz wiedzieć, jakie masz wyjście, ale nie będziesz wiedzieć, które z wielu wejść ją utworzyło.
Często zadawane pytania
Jaki jest prosty przykład funkcji różnowartościowej?
Funkcja liniowa $f(x) = x + 1$ jest klasycznym przykładem. Każda liczba, którą podstawisz, da ci unikalny wynik, którego nie da żadna inna liczba. Jeśli otrzymasz wynik 5, wiesz na pewno, że wartość wejściowa wynosiła 4.
Jaki jest prosty przykład funkcji „onto”?
Rozważmy funkcję, która przypisuje każdego mieszkańca miasta do budynku, w którym mieszka. Jeśli w każdym budynku znajduje się co najmniej jedna osoba, funkcja jest „na” zbiór budynków. Nie jest to jednak funkcja jednoznaczna, ponieważ wiele osób dzieli ten sam budynek.
Jak działa test linii poziomej?
Wyobraź sobie poziomą linię poruszającą się w górę i w dół po wykresie. Jeśli ta linia kiedykolwiek styka się z funkcją w dwóch lub więcej miejscach jednocześnie, oznacza to, że te różne wartości x mają wspólną wartość y, co dowodzi, że nie jest ona różnowartościowa.
Dlaczego te koncepcje są ważne w informatyce?
Są one niezbędne do szyfrowania i haszowania danych. Dobry algorytm szyfrowania musi być jednoznaczny, aby można było odszyfrować wiadomość do jej oryginalnej, unikalnej formy bez utraty danych lub otrzymania mieszanych wyników.
Co się dzieje, gdy funkcja jest zarówno różnowartościowa, jak i na?
To jest „bijekcja” lub „odpowiedniość jeden do jednego”. Tworzy ona idealne parowanie między dwoma zbiorami, gdzie każdy element ma dokładnie jednego partnera po drugiej stronie. To złoty standard w porównywaniu rozmiarów zbiorów nieskończonych.
Czy funkcja może być „na”, ale nie różnowartościowa?
Tak, zdarza się to często. $f(x) = x^3 - x$ jest równaniem na wszystkie liczby rzeczywiste, ponieważ rozciąga się od ujemnej nieskończoności do dodatniej nieskończoności, ale nie jest równaniem różnowartościowym, ponieważ przecina oś x w trzech różnych punktach (-1, 0 i 1).
Jaka jest różnica między zakresem a kodomeną?
Kodomena to zbiór „docelowy”, który ogłaszasz na początku (jak „wszystkie liczby rzeczywiste”). Zakres to zbiór wartości, które funkcja faktycznie osiąga. Funkcja jest na tylko wtedy, gdy zakres i kodomena są identyczne.
Czy $f(x) = \sin(x)$ jest zależnością różnowartościową?
Nie, funkcja sinus nie jest różnowartościowa, ponieważ powtarza swoje wartości co $2\pi$ radianów. Na przykład $\sin(0)$, $\sin(\pi)$ i $\sin(2\pi)$ są równe 0.
Wynik
Użyj mapowania jeden do jednego, gdy chcesz mieć pewność, że każdy wynik można powiązać z konkretnym, unikalnym punktem początkowym. Wybierz mapowanie „na”, gdy chcesz mieć pewność, że każda możliwa wartość wyjściowa w systemie jest wykorzystana lub osiągalna.