Кіріспе

Қосу, көбейту, бөлу,

Математикада операция – нөл немесе одан көп кіріс мәндерін (сонымен қатар «операндар» немесе «аргументтер» деп аталады) нақты анықталған шығыс мәніне бейімдейтін функция. Операцияның қатысушыларының саны операцияның аритметикалық көрсеткішін білдіреді. Ең көп зерттелген операциялар – екілік операциялар (яғни, 2 қатысушысы бар операциялар), мысалы, қосу және көбейту, және бірлік операциялар (яғни, 1 қатысушысы бар операциялар), мысалы, кері қосу және кері көбейту. Аритметикалық көрсеткіші нөлге тең операция немесе нульдік операция тұрақты болып табылады. Аралас көбейтінді – 3-ші аритметикалық көрсеткіші бар операцияның мысалы, ол үштік операция деп те аталады. Жалпы, аритметикалық көрсеткіш шекті деп есептеледі. Алайда, кейде шексіз операциялар да қарастырылады. Екінші жағынан, екілік операциялар екі мән қабылдайды және қосу, алу, көбейту, бөлу және дәрежелеуді қамтиды. Операциялар сандардан басқа математикалық объектілерді де қамти алады. Логикалық мәндер «ақиқат» және «жалған» логикалық операциялар арқылы біріктірілуі мүмкін, мысалы, «және», «немесе» және «жоқ». Векторларды қосу және алу мүмкін. Айналымдарды функциялық композиция операциясын қолдана отырып, бірінші айналымды, содан кейін екінші айналымды орындау арқылы біріктіруге болады. Жинақтардағы операциялар екілік операцияларды – біріктіру және қиылысуды, сондай-ақ толықтырудың бірлік операциясын қамтиды. Функцияларға операциялар құрамына композиция және конволюция кіреді. Операциялар оның доменінің барлық мүмкін мәндері үшін анықталмауы мүмкін. Мысалы, нақты сандарда нөлге бөлуге болмайды немесе теріс сандардың квадрат түбірін табуға болмайды. Операция анықталатын мәндер оның анықталу облысы немесе белсенді облысы деп аталатын жиынды құрайды. Шығарылған мәндерді қамтитын жиын кодомена деп аталады, бірақ операция арқылы алынған нақты мәндер жиынтығы оның анықталу кодоменасы, белсенді кодоменасы, кескіні немесе диапазоны болып табылады. Мысалы, нақты сандардағы квадраттау операциясы тек теріс емес сандарды ғана шығарады; кодомена – нақты сандар жиыны, бірақ диапазоны – теріс емес сандар. Операциялар әр түрлі объектілерді қамти алады: векторды скалярмен көбейтіп, басқа векторды (скалярлық көбейту деп аталатын операция) жасауға болады, ал екі вектордың ішкі көбейтіндісі скалярлық шаманы береді. Операция белгілі бір қасиеттерге ие болуы мүмкін немесе болмауы мүмкін, мысалы, ол ассоциативті, коммутативті, антикоммутативті, идемпотентті және т.б. болуы мүмкін. Біріктірілген мәндер операндар, аргументтер немесе кірістер деп аталады, ал шығарылған мән – мән, нәтиже немесе шығыс деп аталады. Операциялар екі кірістен аз немесе көп болуы мүмкін (соның ішінде нөлдік кіріс және шексіз көп кіріс, бірақ бұл нүктелік көбейтіндідегідей, векторларды көбейтіп, скалярды шығаратын жағдайда, әмбебап емес). n-аритметриялық операция ω: Xn → X n-аритметриялық операция деп аталады: ω: Xi × S × Xn − i − 1 → X , мұнда 0 ≤ i < n – скалярлық жиын немесе операторлық жиын S арқылы сыртқы операция деп аталады. Әсіресе, екілік операция үшін ω: S × X → X – S-тің сол жақ сыртқы операциясы деп аталады, ал ω: X × S → X – S-тің оң жақ сыртқы операциясы деп аталады. Ішкі операцияның мысалы – векторлық қосу, онда екі вектор қосылады және векторға әкеледі. Сыртқы операцияның мысалы – скалярлық көбейту, онда вектор скалярмен көбейтіледі және векторға әкеледі. n-аритметриялық көпфункциялық немесе ω – бұл жиынның карталық дәрежесінен сол жиынның кіші жиынтығына бейімдеу, формальды түрде .