көптүктөр теориясыфункцияларалгебрадискреттик математика
Жекеме-жеке жана Onto функциялары
Эки термин тең эки топтомдун ортосундагы элементтердин кантип чагылдырылганын сүрөттөсө да, алар теңдеменин ар кайсы тараптарын карайт. Жекеме-жеке (инъекциялык) функциялар киргизүүлөрдүн уникалдуулугуна көңүл буруп, бир эле көздөгөн жерге эки жолдун алып барбай турганын камсыздайт, ал эми (сюръективдик) функциялар бардык мүмкүн болгон көздөгөн жерге чындап жетүүнү камсыздайт.
Көрүнүктүү нерселер
Жекеме-жеке айырмачылыкты камсыз кылат; үстүнө толуктукту камсыз кылат.
Бирге жана ага багытталган функция биекция деп аталат.
Горизонталдуу сызык тести бир караганда жеке функцияларды аныктайт.
Onto функциялары диапазондун жана кодомандын бирдей болушун талап кылат.
Жекеме-жеке (инъекциялык) эмне?
Ар бир уникалдуу киргизүү башкача, уникалдуу чыгарууну жараткан карта түзүү.
Көптүктөр теориясында формалдуу түрдө инъекциялык функция деп аталат.
Координаталык тегиздикке чийилгенде, ал горизонталдык сызык тестинен өтөт.
Домендеги эки башка элемент коддоменде бир эле сүрөттү бөлүшпөйт.
Домендеги элементтердин саны коддомендеги сандан ашпашы керек.
Тескери функцияларды түзүү үчүн абдан маанилүү, анткени картага түшүрүүнү эч кандай түшүнүксүздүксүз тескерисинче жасоого болот.
Онто (Сюръективдүү) эмне?
Максаттуу топтомдогу ар бир элемент жок дегенде бир киргизүү менен камтылган карта түзүү.
Расмий түрдө сюръективдик функция катары белгилүү.
Функциянын диапазону анын кодомеинине толук барабар.
Бир нече киргизүүлөр бир эле чыгышка багытталышы мүмкүн, эгерде эч нерсе калтырылбаса.
Домендин өлчөмү кодомендин өлчөмүнөн чоң же барабар болушу керек.
Чыгаруу топтомундагы ар бир мааниде жок дегенде бир "алдын ала сүрөт" бар экенине кепилдик берет.
Салаштыруу таблицасы
Мүмкүнчүлүк
Жекеме-жеке (инъекциялык)
Онто (Сюръективдүү)
Расмий аталышы
Инъекциялык
Субъективдүү
Негизги талап
Уникалдуу киргизүүлөр үчүн уникалдуу чыгаруулар
Максаттуу топтомдун жалпы камтылышы
Горизонталдык сызык сыноосу
Өтүп өтүшү керек (эң көп дегенде бир жолу кесилишет)
Жок дегенде бир жолу кесилиши керек
Мамилеге көңүл буруу
Эксклюзивдүүлүк
Инклюзивдүүлүк
Өлчөм чектөөсүн коюңуз
Домен ≤ Кодомен
Домен ≥ Кодомен
Бөлүшүлгөн чыгаруулар?
Катуу тыюу салынган
Уруксат берилген жана жалпы
Толук салыштыруу
Эксклюзивдүүлүк түшүнүгү
Жекеме-жеке функция ар бир стол бир гана адам үчүн бөлүнгөн жогорку класстагы ресторанга окшош; сиз эч качан бир эле орунду бөлүшкөн эки башка топту көрбөйсүз. Математикалык жактан алганда, эгер $f(a) = f(b)$ болсо, анда $a$ $b$га барабар болушу керек. Дал ушул эксклюзивдүүлүк бул функцияларды "жокко чыгарууга" же тескерисинче кылууга мүмкүндүк берет.
Камтуу түшүнүгү
"Onto" функциясы максаттуу топтомдо эч кандай ташты калтырбоого көбүрөөк көңүл бурат. Ар бир орунду жок дегенде бир адам ээлеши керек болгон автобусту элестетиңиз. Эки адам бир отургучта (бирден бирден көп) отурушу маанилүү эмес, эгерде автобуста бир дагы бош орун калбаса.
Картага түшүрүү диаграммалары менен визуалдаштыруу
Карта түзүү диаграммасында бирден бир чекитке багытталган бирден жебелер менен аныкталат — эч качан эки жебе биригет. Онто функциясы үчүн экинчи тегеректеги ар бир чекиттин ага багытталган жок дегенде бир жебеси болушу керек. Функция экөө тең болушу мүмкүн, муну математиктер биекция деп аташат.
Графикалык айырмачылыктар
Стандарттык графта сиз горизонталдуу сызыкты өйдө жана ылдый жылдыруу менен бирден бирге чейинки абалды текшересиз; эгер ал ийри сызыкка бирден ашык жолу тийсе, функция бирден бирге чейинки эмес. 'onto' функциясын текшерүү үчүн графиктин вертикалдык диапазонун карап, ал боштуктарсыз бүтүндөй максаттуу диапазонду камтый тургандыгын текшерүү керек.
Артыкчылыктары жана кемчиликтери
Жекеме-жеке
Артыкчылыктары
+Тескери функцияларды колдонууга мүмкүндүк берет
+Маалыматтардын кагылышуусу жок
+Айырмачылыкты сактайт
+Артка кайтаруу оңой
Конс
−Чыгарылган материалдарды колдонулбай калтырышы мүмкүн
−Чоңураак кодомейн талап кылынат
−Катуу киргизүү эрежелери
−Ийгиликке жетүү кыйыныраак
Ага
Артыкчылыктары
+Максаттуу топтомду толугу менен камтыйт
+Чыгаруу мейкиндиги текке кетпейт
+Кичинекей топтомдорду орнотуу оңой
+Бардык ресурстарды колдонот
Конс
−Өзгөчөлүктү жоготуу
−Ар дайым тескери бурулушу мүмкүн эмес
−Кагылышуулар көп кездешет
−Артка кайтуу кыйыныраак
Жалпы каталар
Мит
Бардык функциялар бири-бирине же бири-бирине байланыштуу.
Чындык
Көптөгөн функциялар экөө тең эмес. Мисалы, $f(x) = x^2$ (бардык чыныгы сандардан бардык чыныгы сандарга чейин) бирден-бирге эмес, анткени $2$ жана $-2$ экөө тең $4$ алып келет, жана ал эч качан терс сандарды чыгарбагандыктан, ага кирбейт.
Мит
"Бирге-бир" функциясы менен бир эле нерсени билдирет.
Чындык
Функция ар бир киргизүүнүн бирден гана чыгышын талап кылат. Бирге-бир – бул эки киргизүүнүн ошол чыгышты бөлүшүүсүнө жол бербеген кошумча "катаалдыктын" катмары.
Мит
Формулага гана жараша болот.
Чындык
Максат топтомун кантип аныктаганыңыздан көз каранды. $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гө барабар.
Чыгарма
Ар бир натыйжа белгилүү бир, уникалдуу баштапкы чекитке чейин байкалып турушу керек болгондо, жекече картага түшүрүүнү колдонуңуз. Максатыңыз системадагы ар бир мүмкүн болгон чыгаруу маанисинин колдонулушун же ага жетүүнү камсыз кылуу болсо, онто-картага түшүрүүнү тандаңыз.