Сюрекция
В математиката сюрйективна или онто функция е функция f : A → B със следното свойство. За всеки елемент b в кодомената B има поне един елемент a в областта A, такъв че f(a)=b. Това означава, че обхватът и кодомената на f са едно и също множество.
Терминът "сурджекция" и свързаните с него термини "инжекция" и "биекция" са въведени от групата математици, нарекла себе си Никола Бурбаки. През 30-те години на ХХ век тази група математици публикува поредица от книги по съвременна напреднала математика. Френският префикс sur означава "над" или "върху" и е избран, тъй като една сурѐктивна функция пренася своята област върху своята област.
Основни свойства
Официално:
f : A → B {\displaystyle f:A\rightarrow B} е сюрйективна функция, ако ∀ b ∈ B ∃ a ∈ A {\displaystyle \за всички b\в B\,\,\съществува a\в A} такава, че f ( a ) = b . {\displaystyle f(a)=b\,. }
Елементът b {\displaystyle b} се нарича образ на елемента a {\displaystyle a} .
- Официалното определение означава: Всеки елемент от кодомената B е образ на поне един елемент от областта A.
Елементът a {\displaystyle a} се нарича пред-образ на елемента b {\displaystyle b} .
- Официалното определение означава: Всеки елемент на кодомената B има поне един преден образ в областта A.
Не е задължително предварителният образ да е уникален. В горното изображение и {X}, и {Y} са предварителни образи на елемента {1}. Важно е само да има поне един предварителен образ. (Вижте също: инжективна функция, биективна функция)
Примери
Елементарни функции
Нека f(x):ℝ→ℝ е реално-оценъчна функция y=f(x) на реално-оценъчен аргумент x. (Това означава, че и входът, и изходът са числа.)
- Графично значение: Функцията f е сурджекция, ако всяка хоризонтална линия пресича графиката на f поне в една точка.
- Аналитично значение: За всяко реално число yo можем да намерим поне едно реално число xo, такова, че y=fo(xo).
Намирането на предварителен образ xo за дадено yo е еквивалентно на двата въпроса:
- Има ли решение уравнението f(x)-y=0o? или
- Има ли корен функцията f(x)-y?o
В математиката можем да намерим точни (аналитични) корени само на полиноми от първа, втора (и трета) степен. Корените на всички останали функции се намират приблизително (числено). Това означава, че формалното доказателство на сугестивността рядко е пряко. Затова дискусиите по-долу са неофициални.
Пример: Линейната функция на наклонена линия е върху. Това означава, че y=ax+b, където a≠0 е сурджекция. (Тя е също така инжекция и следователно биекция.)
Доказателство: Тъй като a≠0, получаваме x= (y-boo)/a. Това означава, че x=o(y-bo)/a е пред-образ на yo. Това доказва, че функцията y=ax+b, където a≠0 е сурджекция. (Тъй като има точно един пред-образ, тази функция също е инжекция.)
Практически пример: y= -2x+4. Какъв е пред-образът на y=2? Решение: Тук a= -2, т.е. a≠0 и въпросът е: За какво x е y=2? Заместваме y=2 във функцията. Получаваме x=1, т.е. y(1)=2. Така че отговорът е: x=1 е пред-образ на y=2.
Пример: Кубичният полином (от трета степен) f(x)=x-3x3 е сурджекция.
Обсъждане: Кубичното уравнение x-3x-y=03o има реални коефициенти (a=13, a=02, a=-31, a=-y0o). Всяко такова кубично уравнение има поне един реален корен. Тъй като областта на полинома е ℝ, това означава, че в нея има поне един преден корен xo. Това означава, че (x0)3-3x-y=00o. Така че функцията е сурджекция. (Тази функция обаче не е инжекция. Например, y=2o има два пред-образа: x=-1 и x=2. Всъщност всяко y, -2≤y≤2 има поне 2 предварителни образа.)
Пример: Квадратната функция f(x) = x2 не е сурджекция. Няма x, което да е x 2= -1. Обхватът на x² е [0,+∞) , т.е. множеството на неотрицателните числа. (Също така тази функция не е инжекция.)
Бележка: Една не-сюрприективна функция може да се превърне в сюрприекция, като се ограничи нейната кодомайна до елементи от нейния обхват. Например новата функция fN(x):ℝ → [0,+∞), където fN(x) = x2, е сурйективна функция. (Това не е същото като рестрикцията на функция, която ограничава областта!)
Пример: Експоненциалната функция f(x) = 10x не е сурджекция. Обхватът на е 10x(0,+∞), т.е. множеството на положителните числа. (Тази функция е инжекция.)
Surjection. f(x):ℝ→ℝ (и инжектиране) |
Surjection. f(x):ℝ→ℝ (не е инжекция) |
Не е сурджекция. f(x):ℝ→ℝ (нито инжекция) |
Не е сурйекция. f(x):ℝ→ℝ (но е инжекция) |
Surjection. f(x):(0,+∞)→ℝ (и инжектиране) |
Surjection. z:ℝ²→ℝ, z=y. (На картинката се вижда, че преобразът на z=2 е линията y=2.) |
Други примери с функции с реална стойност
Пример: Логаритмичната функция с основа 10 f(x):(0,+∞)→ℝ, дефинирана чрез f(x)=log(x) или y=log10(x), е сурджекция (и инжекция). (Това е обратната функция на 10x.)
- Проекцията на едно декартово произведение A × B върху един от неговите фактори е суржекция.
Пример: Функцията f((x,y)):ℝ²→ℝ, дефинирана чрез z=y, е сурджекция. Графът ѝ е равнина в триизмерното пространство. Предварителният образ на zo е линията y=zo в равнината xy. 0
- В 3D игрите триизмерното пространство се прожектира върху двуизмерен екран с помощта на сурджекция.
Свързани страници
Въпроси и отговори
Въпрос: Какво е сурджективна функция в математиката?
О: Сурджективна функция в математиката е функция f: A → B със свойството, че за всеки елемент b в кодомената B има поне един елемент a в областта A, такъв че f(a)=b.
Въпрос: Какво е значението на сурджективната функция в математиката?
О: Сурджективната функция гарантира, че нито един елемент от кодомената не е неадресиран и че обхватът и кодомената на f са едно и също множество.
В: Какъв е произходът на термина "сурджекция"?
О: Терминът "сурджекция" е въведен от група математици, наречени Никола Бурбаки.
В: Какво е значението на френския префикс sur в surjective?
О: Френският префикс sur означава над или върху.
В: Защо терминът "сурджективен" е избран за този вид функция?
О: Терминът "сурйективна" е избран за този вид функция, защото сурйективната функция пренася своята област върху своята кодова област.
Въпрос: Кой публикува поредица от книги за съвременна математика през 30-те години на миналия век?
О: Групата математици, наречена Никола Бурбаки, публикува поредица от книги за съвременната напреднала математика през 30-те години на ХХ век.
В: Какво представляват инжекцията и биекцията в математиката?
О: Инжекцията и биекцията са термини, свързани със сурджекцията в математиката. Функцията за инжектиране гарантира, че няма два елемента в областта, които да се отнасят към един и същ елемент в кодомената. Функцията за биекция е едновременно инжективна и сюрджективна.