Алыу (кәметеү) — ике аргументтың (кәмеүсе һәм кәметеүсенең) ярҙамсы бинар математик операцияларҙың (арифметик ғәмәлдәрҙең) береһе, һөҙөмтәһе булып беренсе аргументтың ҡиммәтен икенсе аргументтың ҡиммәтенә кәметеүҙән килеп сыҡҡан яңы һан (айырма) тора[1]. Яҙылышта «минус» тамғаһы менән тамғалана: . Алыу — ҡушыуға кире ғәмәл.

Дөйөм рәүештә ошолай яҙырға мөмкин: , бында һәм . Йәғни күмәклегенән алынған һәр элементтар парына һәм -ның айырмаһы тип аталған элементы ярашлы ҡуйыла.
Алыу ғәмәле ике элемент та бер үк күмәклеккә ингәндә генә (бер үк типта булғанда) башҡарылырға мөмкин.

Тиҫкәре һандар булғанда алыу ғәмәлен ҡушыуҙың бер төрө итеп ҡарау (билдәләү) уңайлы - ҡапма-ҡаршы һанды ҡушыу[2]. Миҫал өсөн, алыу ғәмәлен ҡушыу итеп ҡарап була: .

Ысын һандар күмәклегендә ҡушыу функцияһының ҡиммәттәре күмәклеге графикта координаталар башы аша үтеүсе һәм координаталар күсәренә 45° мөйөш градусы ауышлыҡта булған яҫылыҡ күренешендә.

Алыу ғәмәленең бер нисә мөһим үҙсәнлеге бар (мәҫәлән өсөн):

Антикоммутативлыҡ:
Антиассоциативлыҡ:
Дистрибутивлыҡ:
(нуль элементты) алыу бирелгән һанға тигеҙ булған һанды бирә:

Миҫал рәүешендә, яҙыуы уңдағы һүрәттә, биш алманан ике алманы алһаң, өс алма тороп ҡалыуын күрһәтә. Миҫал өсөн, 5 алманан 2 грушаны алып булмауын билдәләп китәйек. Алманы иҫәпләүҙән тыш, алыу ғәмәле башҡа физик һәм абстракт дәүмәлдәрҙең, мәҫәлән тиҫкәре һандарҙың, кәсер һандарҙың, векторҙарҙың, функцияларҙың һ.б. айырмаһы рәүешендә күрһәтелергә мөмкин.

Яҙылыш формаһы һәм терминология

үҙгәртергә
 
Символдар һәм тамғалар [3]

Алыу ғәмәле "минус" символын ҡулланып яҙыла: « » аргументтар араһында, бындай яҙыу формаһы инфикслы нотация тип атала. Бындай контекста "минус" символы бинар оператор була. Һөҙөмтә тигеҙлек тамғаһын « » ҡулланып яҙыла, мәҫәлән:

  ;
  («алты минус өс тигеҙ өскә») ;
  («алтмыш дүрт минус утыҙ биш тигеҙ егерме туғыҙға») .

Яҙылышта "минус" башҡа яҙма символдарға: "дефис", "тире" һ.б. бик оҡшаш. Символды хаталы таныу булмаһын өсөн аңлатманы иғтибарлы ҡарарға кәрәк.

Үҙсәнлектәре

үҙгәртергә

Алыу ғәмәле   һандар күмәклектәрендә түбәндәге төп үҙсәнлектәргә эйә:

  • Алыу антикоммутативлы — аргументтарҙың урынын үҙгәртеүҙән айырма үҙгәрә:
Антикоммутативлыҡ:  
  • Алыу антиассоциативлы — өс йәки күберәк һандарҙы эҙмә-эҙ алыу ғәмәлен башҡарғанда ғәмәлдәрҙе башҡарыу тәртибе әһәмиәтле, һөҙөмтә үҙгәрә:
Антиассоциативлыҡ:  
  • Алыу дистрибутивлы, был — бер үк күмәклектә билдәләнгән ике бинар операцияның ярашыусанлыҡ үҙсәнлеге, таратыу законы булараҡ та билдәле[4] .
Дистрибутивлыҡ:  
  •   күмәклегендә алыуға ҡарата бер генә нейтраль элемент бар, һандан нуль (йәки нейтраль элементты) алыу бирелгән һанға тигеҙ һанды бирә:
Нуль элемент:  
  • Нулде алыу идемпотентлы — объектҡа операцияны ҡабат ҡулланыу бер тапҡыр ҡулланғандағы кеүек шул уҡ һөҙөмтәне бирә:
Идемпотентлыҡ:  ;
 

Алыу һөҙөмтәһе натураль һандар   күмәклеге өсөн һәр ваҡытта ла билдәләнмәй: алыу һөҙөмтәһендә натураль һан табыу өсөн кәмеүсе кәметеүсенән ҙурыраҡ булырға тейеш. Натураль һандар сигендә бәләкәй һандан ҙурыраҡ һанды алып булмай.   күмәклектәрендә билдәләнгән алыу ғәмәле шул уҡ күмәклеккә ингән һанды (айырманы) бирә, тимәк алыу операцияһы йомоҡ операцияға инә (һөҙөмтәне бирелгән күмәклектән сығармаған операция), йәғни   күмәклектәре алыу операцияһына ҡарата балдаҡ булалар.

Алыуҙы башҡарыу

үҙгәртергә

Алыу операцияһын ингән ерҙә кәмеүсе һәм кәметеүсе һәм бер генә сығыу урыны - айырма булған ниндәйҙер "ҡара йәшник" тип күҙ алдына килтереп була. :

 

Ике һанды алыу мәсьәләһен практикала башҡарғанда уны ябайыраҡ операциялар теҙмәһенә ҡайтарып ҡалдырырға кәрәк: "ябай алыу", бурыс, сағыштырыу һ.б. Бының өсөн алыуҙың төрлө ысулдары эшләнгән, мәҫәлән һандар, кәсерҙәр, векторҙар өсөн һ.б. Натураль һандар күмәклегендә хәҙерге ваҡытта разрядлап алыу алгоритмы ҡулланыла. Был осраҡта алыуҙы (операциянан айырмалы рәүештә) процедура итеп ҡарарға кәрәк.

Күренеүенсә, процедура ҡатмарлы ғына, сағыштырмаса ҙур һандағы аҙымдарҙан тора һәм ҙур һандарҙы алыу оҙайлы ваҡыт биләүе мөмкин.

 
Һанлы тура һыҙыҡта 6-нан 4-те аҙымлап алыу миҫалы.

"Ябай алыу" - был контекста егерменән кәмерәк һандарҙы алыуҙы аңлата, бик еңел иҫәпләүгә ҡайтарып ҡалдырыла, иҫәпләүҙең гипероператоры булып тора:

 

 

бында:   -   тапҡыр башҡарылған инкрементирләү операциялары теҙмәһе;
  -   тапҡыр башҡарылған последовательность операция декрементирләү операциялар теҙмәһе.

Алыу процессын тиҙләтеү өсөн "ябай алыу" таблица методын ҡулланалар, бының өсөн 18-ҙән 0-гә тиклем бөтә һандар айырмаһы комбинацияһын алдан иҫәпләйҙәр һәм был таблицанан әҙер яуапты алалар [5]:

Был процедура натураль һәм бөтөн һандарҙы (тамғаны иҫәпкә алып) алыуҙа ҡулланыла. Башҡа һандар өсөн ҡатмарлыраҡ алгоритм ҡулланыла.

Һандарҙы алыу

үҙгәртергә

Натураль һандар

үҙгәртергә

Натураль һандарҙың   сикле күмәклектәрҙең эквивалентлылыҡ кластары тигән билдәләмәһе м[енән файҙаланайыҡ . Биекциялар барлыҡҡа килтергән   сикле күмәклектәренең эквивалентлылыҡ кластарын йәйәләр ярҙамында тамғалайыҡ:  . Ул саҡта «алыу» арифметик операцияһы ошолай билдәләнә:

 

бында  күмәклектәр айырмаһы. Был кластар өҫтөндә операция нәзәҡәтле, йәғни класс элементтарын һайлауға бәйле түгел һәм индуктив билдәләмә менән тап килә.

  сикле күмәклеген   киҫегенә үҙ-ара бер мәғәнәле сағылдырыуҙы   күмәклегенең элементтарын нумерациялау тип аңлап була. Был нумерациялау процесын «һанау» тип атайҙар. Шулай итеп, «һанау» - күмәклек элементтары һәм натураль һандар рәте киҫеге араһында үҙ-ара бер мәғәнәле ярашлылыҡ урынлаштырыу ул. Позицион иҫәпләү системаһында натураль һандарҙы алыу өсөн разрядтар буйынса алыу алгоритмы ҡулланыла. Әгәр шундай ике   һәм   натураль һандары бирелһә:

 

бында  ;   -   һанының цифрҙары һаны;   - разрядтың (позицияның) рәт номеры,  ;   - иҫәпләү системаһының нигеҙе;   конкрет иҫәпләү системаһының һан тамғалары (цифрҙары) һаны:  ,  ,  ; ул саҡта:

 

разрядтары буйынса алып, табабыҙ:

  •  
  •  
  •  
  •  

Шулай итеп алыу операцияһы, кәрәк булғанда бурысҡа алып, натураль һандарҙы ябай эҙмә-эҙ алыу процедураһына   ҡайтарылып ҡалдырыла. Ябай алыу йә таблица ысулы, йә иҫәпләү менән башҡарыла.

Теләһә ниндәй позицион иҫәпләү системаһында һандар өҫтөндә арифметик ғәмәлдәрҙе башҡарыу унарлы иҫәпләү системаһындағы кеүек ҡағиҙәләр буйынса башҡарыла,сөнки улар бөтәһе лә ярашлы күпбыуындар өҫтөндә ғәмәлдәр башҡарыу ҡағиҙәләренә таяна. Был ваҡытта бирелгән иҫәпләү системаһының нигеҙе  -ға ярашлы алыу таблицаһын файҙаланырға кәрәк.

Натураль һандарҙы алыу миҫалы икеле, унарлы һәм уналтылы иҫәпләү системаларында, уңайлы булһын өсөн, һандар бер-береһенең аҫтына разрядтарын тап килтереп яҙыла, бурыс тамғаһы өҫтә яҙыла, етешмәгән разрядтар нулдәр менән тулыландырыла:

 

Бөтөн һандар

үҙгәртергә

Бөтөн һандар күмәклеге — натураль һандар күмәклеге  -ға   күренешендәге тиҫкәре һандарҙы өҫтәп киңәйткән күмәклек ул [6]. Бөтөн һандар күмәклеге   тип тамғалана. Бөтөн һандар өҫтөндә арифметик ғәмәлдәр натураль һандар өҫтөндәге ярашлы ғәмәлдәрҙең өҙлөкһөҙ дауамы булараҡ билдәләнәләр.

 
Һандар тура һыҙығында ыңғай һәм тиҫкәре һандар.

Тиҫкәре һандарҙың булыуы "алыуҙы" "ҡушыуҙың" бер төрө - ҡапма-ҡаршы һанды ҡушыу итеп ҡарарға (билдәләргә) мөмкинлек бирә .Әммә был мәҡәлә сиктәрендә "алыуҙы" бөтөн һандар күмәклегендә билдәләнгән ғәмәл итеп ҡарайбыҙ, был шулай уҡ башҡа һанлы күмәклектәргә лә ҡағыла. Натураль һандарҙан айырмаһы шунда, тиҫкәре һандар һанлы тура һыҙыҡта кире яҡҡа йүнәлгәндәр, был алыу процедураһын бер аҙ үҙгәртә. Һандарҙың үҙ-ара йүнәлешен иҫәпкә алырға кәрәк, бында бер нисә осраҡ булырға мөмкин:

  • Әгәр ике аргумент та ыңғай булһа, ул саҡта:  
  • Әгәр аргументтарҙың береһе тиҫкәре булһа, ул саҡта:   йәки  
  • Әгәр ике аргумент та тиҫкәре булһа, ул саҡта:  

Бында артабан да разрядлап алыу (ҡушыу) алгоритмы ҡулланыла. Мәҫәлән,   аңлатмаһын ҡарайыҡ;   һәм   һандарының тамғалары төрлө булғас, минус тамғаһын йәйә тышына сығарабыҙ:  , артабан иҫәпләп яуап табабыҙ:  .

Рациональ һандар

үҙгәртергә

Рациональ һандар күмәклеге   менән тамғалана (ингл. quotient «бүлендек») һүҙенән һәм   күренешендә яҙылырға мөмкин.

  күренешендәге ғәҙәттәге (йәки ябай) кәсерҙәр рәүешендәге рациональ һандарҙы алыу өсөн уларҙы дөйөм (бер төрлө) знаменателгә килтерергә кәрәк. Мәҫәлән, знаменателдәрҙең ҡабатландығын алырға, числителдәр был осраҡта ярашлы знаменателдәргә ҡабатлана. Аҙаҡ килеп сыҡҡан числителдәрҙе алырға кәрәк, ә знаменателдәр ҡабатландығы уртаҡ знаменатель була.

Әгәр ике шундай   һәм   рациональ һандары бирелһә:   (кәсерҙәр ҡыҫҡармай торған), ул саҡта:

  Ҡалып:Sfn-1

Йәки знаменателдәрҙең иң бәләкәй уртаҡ бүленеүсеһен (ИБУБ) табырға кәрәк. Ғәмәлдәр тәртибе:

  • Знаменателдәрҙең иң бәләкәй уртаҡ бүленеүсеһен табабыҙ:  .
  • Беренсе кәсерҙең числителен һәм знаменателен  -ға ҡабатлайбыҙ.
  • Икенсе кәсерҙең числителен һәм знаменателен  -ға ҡабатлайбыҙ.

Бынан һуң ике кәсерҙең дә знаменателдәре тап килә (тигеҙ  ). Ябайыраҡ осраҡта был иҫәпләүҙе ябайлаштыра, ләкин ҙур һандар менән эш иткәндә иҫәпләүҙәр һиҙелерлек ҡатмарлаша.   сифатында башҡа теләһә ниндәй уртаҡ бүленеүсене алырға була.

Алыуға миҫал :

 

Әгәр ике кәсерҙең дә знаменателдәре тап килһә, ул саҡта:

 

Әгәр знаменателдәрҙең береһе икенсеһенә бүленһә, кәсерҙәрҙең береһен генә үҙгәртәбеҙ:

 

Рациональ һандар өҫтөндә «алыу» арифметик операцияһы йомоҡ операцияларға инә.

Ысын һандар

үҙгәртергә

Сикһеҙ унарлы кәсер рәүешендә күрһәтелгән ысын һандар өҫтөндә арифметик ғәмәлдәр рациональ һандар өҫтөндәге ярашлы ғәмәлдәрҙең өҙлөкһөҙ дауамы кеүек билдәләнә[7] .

Әгәр сикһеҙ унарлы кәсер рәүешендә күрһәтелгән, рациональ һандарҙың ярашлы фундаменталь эҙмә-эҙлектәре менән билдәләнгән (Коши шартын ҡәнәғәтләндергән),   һәм   тип тамғаланған ике ысын һан бирелһә:

 ,
 

уларҙың айырмаһы тип   һәм   эҙмә-эҙлектәренең айырмаһы менән билдәләнгән   һанын атайҙар:

 ;


  ысын һаны түбәндәге шартты ҡәнәғәтләндерә:

 .


Шулай итеп, ике   һәм   ысын һандарының айырмаһы тип, бер яҡтан   күренешендәге бөтә айырмалар һәм икенсе яҡтан   күренешендәге бөтә айырмалар араһында ятҡан шундай   ысын һаны атала[8].

Практикала ике   һәм   ысын һандарын алыу өсөн, уларҙы талап ителгән аныҡлыҡ менән яҡынса рациональ һандар   һәм   менән алмаштырырға кәрәк. Һандарҙың айырмаһының   яҡынса ҡиммәте итеп ошо рациональ һандарҙың айырмаһын   алалар. Шуға өҫтәп, ҡайһы яҡтан (артығы менән йәки кәме менән) алынған рациональ һандар   һәм  -ны яҡынайтыуы мөһим түгел. Ҡушыу разрядтары буйынса ҡушыу алгоритмы буйынса башҡарыла.

Яҡынса һандарҙы алғанда уларҙың абсолют хаталары ҡушыла  , һандың абсолют хатаһы был һандың һуңғы тамғаһының яртыһына тигеҙ тип алына. Айырманың сағыштырма хатаһы аргументтарҙың иң ҙур һәм иң бәләкәй сағыштырма хаталары араһында ята; практикала уның иң ҙур ҡиммәте алына  . Килеп сыҡҡан һөҙөмтәне беренсе дөрөҫ цифрға тиклем түңәрәкләйҙәр. Әгәр һандың абсолют хатаһы цифрға ярашлы разряд берәмегенең яртыһынан артмаһа, яҡынса һандың был цифры дөрөҫ цифр тип атала.

Өтөрҙән һуң 3-сө цифрға тиклем аныҡлыҡ менән алыуға   миҫал:

  • Бирелгән һандарҙы өтөрҙән һуң 4-се цифрға тиклем (иҫәпләү теүәллеген арттырыу өсөн) түңәрәкләйбеҙ ;
  • Табабыҙ:   ;
  • Разрядтары буйынса алабыҙ:   ;
  • Өтөрҙән һуң 3-сө цифрға тиклем түңәрәкләйбеҙ:   .

Ысын һандар күмәклегендә алыу функцияһының ҡиммәттәре өлкәһе графикта координаталар башы аша үтеүсе һәм күсәрҙәргә 45° мөйөш градусы ауышлыҡтағы яҫылыҡ күренешендә.

 
Функцияның графигы f(c)=a-b

  булғанлыҡтан, был күмәклектәр өсөн дә алыу функцияһының ҡиммәттәре өлкәһе ошо яҫылыҡҡа инә.

Комплекслы һандар

үҙгәртергә
 
Ике комплекслы һанды алыу c=a-b геометрик ысул менән өсмөйөш төҙөп һүрәтләнергә мөмкин.

Комплекслы һандар күмәклеге арифметик ғәмәлдәре менән ялан булып тора һәм ғәҙәттә   символы менән тамғалана.

Комплекслы һандарҙы бер-береһенән алыу уларҙың ысын һәм уйҙырма өлөштәрен алыу юлы менән башҡарыла[9]. Был шуны аңлата:

 

бында:  ,  уйҙырма берәмек. Комплекслы һандарҙы комплекслы яҫылыҡта вектор итеп һүрәтләп, комплекслы һандарҙы алыуға шундай геометрик интерпретация бирергә мөмкин: комплекслы яҫылыҡта вектор менән һүрәтләнгән ике комплекслы һандың   һәм   айырмаһы булып, кәмеүсе векторҙың осон кәметеүсе векторҙың осо менән тоташтырыусы һәм кәметеүсенән кәмеүсегә йүнәлгән вектор тора, ул векторҙарҙың айырмаһы, тимәк комплекслы һандарҙың айырмаһы була (кәмеүсегә кәметеүсегә ҡапма-ҡаршы векторҙы ҡушҡанда ла шул уҡ һөҙөмтә була).

Шуға оҡшаш рәүештә, n-сы үлсәмле комплекслы һандар өсөн:      

Экспоненциаль яҙыу

үҙгәртергә

Экспоненциаль яҙыуҙа һандар ошо күренештә яҙыла:  , бында  мантисса,  һандың характеристикаһы,   - иҫәпләү системаһының нигеҙе. Экспоненциаль формала яҙылған ике һанды алыу өсөн,дистрибутивлыҡ законы буйынса, уларҙың характеристикаһы бер төрлө булыуы талап ителә:  

Мәҫәлән:

 

Ирекле һандарҙы алыу

үҙгәртергә

Төрлө күмәклектәргә ингән һандарҙы алғанда, бәләкәйерәк ҡеүәтле күмәклектән булған һанды ҙурыраҡ ҡеүәтле күмәклектән булған һан яғына киңәйтергә кәрәк, йәки, мөмкинлек булғанда, ике һанды ла күмәклектәре тигеҙләшкәнсе киңәйтергә кәрәк. Мәҫәлән, әгәр   рациональ һанынан   натураль һанын алырға кәрәк булһын, ти. Натураль һандар рациональ һандарҙың аҫкүмәклеге булыуын иҫәпкә алып,  натураль һанын   рациональ һанына тиклем киңәйтәбеҙ һәм ике рациональ һанды алабыҙ:  . Ошоға оҡшаш рәүештә,   булыуын иҫәпкә алып, төрлө күмәклектәрҙән булған һандарҙы алабыҙ.

Шулай уҡ ҡарағыҙ

үҙгәртергә

Иҫкәрмәләр

үҙгәртергә
 
Викиһүҙлек логотипы
Викиһүҙлектә «вычитание» мәҡәләһе бар
  1. Вычитание // Математическая энциклопедия. М.: Советская энциклопедия, 1977—1985.
  2. Subtraction (инг.) на сайте PlanetMath.
  3. Лебедев, 2003, с. 97
  4. Бәләкәй кластар дәреслектәрендә был үҙсәнлектәр шулай атала
  5. Истомина, 2005, с. 165
  6. Выгодский, 2003
  7. Ысын һандар күмәклегендә һыҙыҡлы тәртип мөнәсәбәте күптән индерелгән булғанлыҡтан, беҙ һанлы тура һыҙыҡ топологияһын билдәләй алабыҙ: асыҡ күмәклектәр сифатында   күренешендәге интервалдар берекмәһен алабыҙ
  8. Ильин, 1985, с. 46
  9. Конвей, 1986, с. 107