Кіріспе

Екі операндымен математикалық операция

Математикада екілік операция немесе диадтық операция – екі элементті (операндар деп аталады) біріктіріп, басқа элемент алу ережесі. Формальды түрде, екілік операция – аргументі екі болатын операция. Нақтырақ айтқанда, жиынға қатысты екілік операция – екі домені мен кодомені бірдей жиын болатын екілік операция. Мысалдарға таныс арифметикалық операциялар – қосу, алу және көбейту жатады. Басқа мысалдар математиканың түрлі салаларында кездеседі, мысалы, векторларды қосу, матрицаларды көбейту және топтардағы конъюгация. Екі немесе одан көп жиынтықты қамтитын екілік операция да екілік операция деп аталуы мүмкін. Мысалы, векторлық кеңістіктердегі скалярлық көбейту скаляр мен векторды алып, вектор шығарады, ал скалярлық көбейтінді екі векторды алып, скаляр шығарады. Мұндай екілік операцияларды екілік функция деп те атай беруге болады. Екілік операциялар алгебрада зерттелетін көптеген құрылымдардың, атап айтқанда жартылай топтар, моноидтар, топтар, сақиналар, өрістер және векторлық кеңістіктердің негізгі құрауы болып табылады.

Нөмірлік

Бинарлық операциялар көбінесе функциялық жазбаның орнына , , немесе (символсыз жанында жазу арқылы) сияқты инфикс жазбада жазылады. Дәрежелер әдетте операторсыз, бірақ екінші аргумент жоғары индексте жазылады. Бинарлық операциялар кейде префикс немесе (көбінесе) постфикс жазбада жазылады, екеуі де жақшаларды қажет етпейді. Олар тиісінше поляк жазбасы және кері поляк жазбасы деп те аталады.

Бинарлық операциялар үштік қатынастар ретінде

Жинақтағы екілік операцияны жиынның үштік қатынасы ретінде қарастыруға болады, яғни, жиынның барлық және үшін үштіктер жиыны ретінде.

Басқа да екілік операциялар

Мысалы, сызықтық алгебрадағы скалярлық көбейту. Мұнда өріс бар, ал – сол өрістің үстіндегі векторлық кеңістік. Екі вектордың скалярлық көбейтіндісі оларды өріске шартады, мұнда – өріс және – сол өрістің үстіндегі векторлық кеңістік. Бұл операция екілік операция ретінде қарастырылатыны авторларға байланысты.