теория на множестватафункцииалгебрадискретна математика

Функции „един към един“ срещу „върху“

Въпреки че и двата термина описват как се преобразуват елементите между два множества, те разглеждат различни страни на уравнението. Функциите „едно към едно“ (инжективни) се фокусират върху уникалността на входните данни, като гарантират, че няма два пътя, водещи до една и съща дестинация, докато функциите „на“ (сюрективни) гарантират, че всяка възможна дестинация действително е достигната.

Акценти

Едно към едно осигурява различие; върху осигурява пълнота.
Функция, която е едновременно едно към едно и върху, се нарича биекция.
Тестът за хоризонтална линия идентифицира функциите „един към един“ с един поглед.
Функциите Onto изискват диапазонът и кодомейната да са идентични.

Какво е Едно към едно (инжективно)?

Картографиране, при което всеки уникален вход произвежда различен, уникален изход.

Формално наричана инжективна функция в теорията на множествата.
Той преминава теста за хоризонтална линия, когато е нанесен върху координатна равнина.
Няма два различни елемента в домейна, които да споделят едно и също изображение в кодомейна.
Броят на елементите в домейна не може да надвишава броя в кодомейна.
От съществено значение за създаването на обратни функции, защото картографирането може да бъде обърнато без двусмислие.

Какво е Върху (сюрективно)?

Съпоставяне, при което всеки елемент в целевия набор е покрит от поне един вход.

Формално известна като сюрективна функция.
Обхватът на функцията е точно равен на нейния кодомейн.
Разрешено е множество входове да сочат към един и същ изход, стига нищо да не е пропуснато.
Размерът на домейна трябва да бъде по-голям или равен на размера на кодомейна.
Гарантира, че всяка стойност в изходния набор има поне един „предварителни образи“.

Сравнителна таблица

Функция	Едно към едно (инжективно)	Върху (сюрективно)
Официално име	Инжективно	Сюрективно
Основно изискване	Уникални изходи за уникални входове	Общо покритие на зададената цел
Тест за хоризонтална линия	Задължително преминаване (пресича се най-много веднъж)	Трябва да се пресичат поне веднъж
Фокус върху връзката	Ексклузивност	Приобщаване
Задаване на ограничение за размер	Домейн ≤ Кодомейн	Домейн ≥ Кодомейн
Споделени изходи?	Строго забранено	Разрешено и често срещано

Подробно сравнение

Концепцията за изключителност

Функцията „един към един“ е като луксозен ресторант, където всяка маса е резервирана за точно една група; никога няма да видите две различни групи, споделящи едно и също място. Математически, ако $f(a) = f(b)$, тогава $a$ трябва да е равно на $b$. Тази изключителност позволява тези функции да бъдат „отменени“ или обърнати.

Концепцията за покритие

Функцията „onto“ е по-загрижена за това да не остави нищо необърнато в целевия набор. Представете си автобус, където всяка седалка трябва да е заета от поне един човек. Няма значение дали двама души трябва да седят на една и съща пейка (много към един), стига да няма нито едно свободно място в автобуса.

Визуализиране с картографски диаграми

В диаграма на картографиране, едно към едно се идентифицира с единични стрелки, сочещи към единични точки – никога не се събират две стрелки. За функция „on“ (включена в окръжността), всяка точка във втория кръг трябва да има поне една стрелка, сочеща към нея. Функцията може да бъде и двете, което математиците наричат биекция.

Графично представяне на разликите

На стандартна графика се проверява за еднозначно състояние, като се плъзга хоризонтална линия нагоре и надолу; ако тя достигне кривата повече от веднъж, функцията не е еднозначна. Тестването за „върху“ изисква разглеждане на вертикалния обхват на графиката, за да се гарантира, че тя покрива целия желан диапазон без пропуски.

Предимства и Недостатъци

Индивидуално

Предимства

+Позволява обратни функции
+Няма колизии на данни
+Запазва отличителността
+По-лесно за заден ход

Потребителски профил

−Може да остави изходите неизползвани
−Изисква по-голям кодомейн
−Строги правила за въвеждане
−По-трудно е да се постигне

Върху

Предимства

+Покрива целия набор от цели
+Без загубено изходно пространство
+По-лесно е да се поберат малки комплекти
+Използва всички ресурси

Потребителски профил

−Загуба на уникалност
−Не винаги може да се обърне
−Сблъсъците са често срещани
−По-трудно е да се проследи

Често срещани заблуди

Миф

Всички функции са или едно към едно, или върху.

Реалност

Много функции не са нито едното, нито другото. Например, $f(x) = x^2$ (от всички реални числа към всички реални числа) не е едно към едно, защото $2$ и $-2$ и двете дават $4$, и не е onto, защото никога не произвежда отрицателни числа.

Миф

Едно към едно означава същото като функция.

Реалност

Една функция изисква само всеки вход да има един изход. „Едно към едно“ е допълнителен слой „строгост“, който предотвратява споделянето на този изход между два входа.

Миф

Зависи само от формулата.

Реалност

Функцията „върху“ зависи силно от това как дефинирате целевото множество. Функцията $f(x) = x^2$ е „върху“, ако дефинирате целта като „всички неотрицателни числа“, но не работи, ако целта е „всички реални числа“.

Миф

Ако дадена функция е включена, тя трябва да е обратима.

Реалност

Обратимостта изисква статус едно към едно. Ако дадена функция е върху, но не е едно към едно, може да знаете кой изход имате, но няма да знаете кой от множеството входове го е създал.

Често задавани въпроси

Какъв е прост пример за функция „един към един“?

Линейната функция $f(x) = x + 1$ е класически пример. Всяко число, което въвеждате, ще ви даде уникален резултат, който никое друго число не може да произведе. Ако получите изход 5, знаете със сигурност, че входът е бил 4.

Какъв е прост пример за функция onto?

Да разгледаме функция, която съпоставя всеки жител на даден град със сградата, в която живее. Ако във всяка сграда има поне един човек вътре, функцията е „върху“ множеството сгради. Тя обаче не е едно към едно, защото много хора споделят една и съща сграда.

Как работи тестът с хоризонтална линия?

Визуализирайте хоризонтална линия, движеща се нагоре и надолу по графиката ви. Ако тази линия някога докосва функцията на две или повече места едновременно, това означава, че тези различни x-стойности споделят y-стойност, което доказва, че тя не е едно към едно.

Защо тези понятия са важни в компютърните науки?

Те са жизненоважни за криптирането и хеширането на данни. Добрият алгоритъм за криптиране трябва да бъде едно към едно, така че да можете да декриптирате съобщението обратно до оригиналната му уникална форма, без да губите данни или да получавате смесени резултати.

Какво се случва, когато една функция е едновременно едно към едно и върху?

Това е „биекция“ или „едно-едно съответствие“. То създава перфектно сдвояване между две множества, където всеки елемент има точно един партньор от другата страна. Това е златният стандарт за сравняване на размерите на безкрайни множества.

Може ли една функция да бъде върху, но не и едно към едно?

Да, това се случва често. $f(x) = x^3 - x$ е върху всички реални числа, защото се простира от минус безкрайност до положителна безкрайност, но не е еднозначно, защото пресича оста x в три различни точки (-1, 0 и 1).

Каква е разликата между диапазон и кодомейн?

Кодомейната е „целевото“ множество, което обявявате в началото (като „всички реални числа“). Диапазонът е множеството от стойности, които функцията действително достига. Функцията е върху само когато диапазонът и кодомейната са идентични.

$f(x) = \sin(x)$ едно към едно ли е?

Не, синусоидалната функция не е еднозначна, защото повтаря стойностите си на всеки $2\pi$ радиана. Например, $\sin(0)$, $\sin(\pi)$ и $\sin(2\pi)$ са равни на 0.

Решение

Използвайте едно-към-едно съпоставяне, когато е необходимо да се уверите, че всеки резултат може да бъде проследен до конкретна, уникална начална точка. Изберете съпоставяне върху, когато целта ви е да се уверите, че всяка възможна изходна стойност в системата е използвана или постижима.

Свързани сравнения

Абсолютна стойност срещу модул

Въпреки че често се използва взаимозаменяемо в уводната математика, абсолютната стойност обикновено се отнася до разстоянието на реално число от нула, докато модулът разширява тази концепция до комплексни числа и вектори. И двете служат на една и съща основна цел: премахване на посоките, за да се разкрие чистата величина на математическата единица.

Алгебра срещу геометрия

Докато алгебрата се фокусира върху абстрактните правила на операциите и манипулирането на символи за решаване на неизвестни числа, геометрията изследва физическите свойства на пространството, включително размера, формата и относителното положение на фигурите. Заедно те формират основата на математиката, превръщайки логическите взаимовръзки във визуални структури.

Аритметична срещу геометрична последователност

В основата си, аритметичните и геометричните прогресии са два различни начина за увеличаване или свиване на списък от числа. Аритметичната прогресия се променя с постоянна, линейна скорост чрез събиране или изваждане, докато геометричната прогресия се ускорява или забавя експоненциално чрез умножение или деление.

Вектор срещу Скалар

Разбирането на разликата между вектори и скалари е първата стъпка в преминаването от основна аритметика към напреднала физика и инженерство. Докато скаларът просто ви казва „колко“ от нещо съществува, векторът добавя критичния контекст „накъде“, превръщайки проста стойност в насочваща сила.

Вероятност срещу Коефициенти

Въпреки че често се използват взаимозаменяемо в непринуден разговор, вероятността и коефициентът представляват два различни начина за изразяване на вероятността за дадено събитие. Вероятността сравнява броя на благоприятните резултати с общия брой възможности, докато коефициентът сравнява броя на благоприятните резултати директно с броя на неблагоприятните.