Дистрибутивност је алгебарска особина понашања оператора сабирања и множења над алгебарском структуром . Конкретно када се производ два елемента скупа -{K}- може представити ако збир производа једног од њих са још два елемента који у збиру дају другог, каже се да закон дистрибуције важи за дату алгебарску структуру. Множење може бити лево и десно те отуда два различита услова: (дистрибутивност слева) (дистрибутивност здесна)
Ако су задовољени само први или само други услов, каже се да се „лево односно десно множење лепо понаша према сабирању“. Уколико су оба испуњена, каже се да се „операција множења лепо понаша према сабирању“ тј. да је дистрибутивна.
Дефиниција
За дати скуп и два бинарна оператора и on
операција је преко (или у односу на) ако је дат било који елемент из
операција је преко ако је дат било који елемент из
и операција је преко ако је лево- и десно-дистрибутивна.Distributivity of Binary Operations from Mathonline
Када је комутативно, три горња услова су логички еквивалентна.
Значење
Оператори који се користе за примере у овом одељку су они уобичајеног сабирања и множења
Ако операција означена са није комутативна, постоји разлика између леве дистрибутивности и десне дистрибутивности:
У оба случаја, дистрибутивно својство се може речима описати као: Да би се збир (или разлика) помножио са фактором, сваки сабирак (или умањеник и умањилац) се множи са овим фактором и добијени производи се додају (или одузимају).
Ако је операција ван заграда (у овом случају множење) комутативна, онда лева дистрибутивност имплицира десну дистрибутивност и обрнуто, и говори се једноставно о .
Један пример операције која је „само“ десно-дистрибутивна је дељење, које није комутативно:
У овом случају, лева дистрибуција се не примењује:
Дистрибутивни закони су међу аксиомима за прстенове (попут прстена целих бројева) и поља (попут поља рационалних бројева). Овде је множење дистрибутивно над сабирањем, али сабирање није дистрибутивно над множењем. Примери структура са две операције при чему је свака дистрибутивна над другом су Булове алгебре као што је алгебра скупова или алгебра преклапања.
Примери
Реални бројеви
У следећим примерима је илустрована употреба дистрибутивног закона на скупу реалних бројева . Када се множење помиње у елементарној математици, обично се мисли на ову врсту множења. Са тачке гледишта алгебре, реални бројеви чине поље, које обезбеђује валидност дистрибутивног закона.
Матрице
За матрично множење важи дистрибутивни закон. Прецизније,
за све матрице и матрице као и
за све матрице и матрице Пошто комутативно својство не важи за множење матрице, други закон не следи из првог закона. У овом случају, то су два различита закона.
Други примери
За разлику од тога, множење редних бројева је само лево-дистрибутивно, а не десно. Векторски производ је лево- и десно-дистрибутиван над сабирањем вектора, иако није комутативно. Унија скупова је дистрибутивна над пресеком, а пресек је дистрибутивна над унијом. Логичка дисјункција („или“) је дистрибутивна у односу на логичку конјункцију („и“), и обрнуто. За реалне бројеве (и за било који потпуно уређен скуп), максимална операција је дистрибутивна у односу на минималну операцију, и обрнуто: За целе бројеве, највећи заједнички делилац је дистрибутивни преко најмањег заједничког садржаоца, и обрнуто: За реалне бројеве, сабирање се дистрибуира на максималну операцију, а такође и на минималну операцију: За биномно множење, дистрибуција се понекад назива FOIL методомKim Steward (2011) Multiplying Polynomials from Virtual Math Lab at West Texas A&M University (први појмови спољашњи унутрашњи и последњи ), као што су: У свим полупрстеновима, укључујући комплексне бројеве, кватернионе, полиноме и матрице, множење се дистрибуира преко сабирања: У свим алгебрама над пољем, укључујући октонионе и друге неасоцијативне алгебре, множење се дистрибуира преко сабирања.
Пропозициона логика
Правило замене
У стандардној истинито-функционалној пропозиционалној логици, . D. Van Nostrand Company у логичким доказима користи два важећа правила замене да прошири појединачна појављивања одређених логичких конекција, унутар неке формуле, у засебне примене те конекције преко подформула дате формуле. Правила су
где је „”, такође написано је металогички симбол који представља „може бити замењен у доказу са” или „логички је еквивалентно”.
Истиносно функционални спојеви
је својство неких логичких спојева истинито-функционалне пропозиционе логике. Следеће логичке еквиваленције показују да је дистрибутивност својство одређених везива. Следе истинито-функционалне таутологије.
Двострука дистрибуција
Види још Асоцијативност Антикомутативност Комутативност
Референце
Литература
Krowne, Aaron, , Accessed 8 August 2007. , Accessed 8 August 2007. , Accessed 8 August 2007
, 1st edition, Kluwer Academic Publishers, Norwell, MA. 2nd edition, Dover Publications, Mineola, NY. Chang, C.C. and Keisler, H.J. , North-Holland, Amsterdam, Netherlands. , 1st edition, McGraw–Hill, 1970. 2nd edition, McGraw–Hill, 1978. . . , D. Van Nostrand Company.
, Eprint. Formal Predicate Calculus, contains a systematic formal development along the lines of Alternative calculus forall x: an introduction to formal logic, by P.D. Magnus, covers formal semantics and proof theory for sentential logic.
.
Додатна литература
Спољашње везе A demonstration of the Distributive Law for integer arithmetic (from cut-the-knot)
Stanford Encyclopedia of Philosophy: "The Mathematics of Boolean Algebra," by J. Donald Monk. "Boolean Algebra" by Eric W. Weisstein, Wolfram Demonstrations Project, 2007.
Категорија:Апстрактна алгебра Категорија:Елементарна алгебра Категорија:Бинарне операције Категорија:Правила закључивања Категорија:Теореме у исказној логици