Friday, April 23, 2021

Homogeneous polynomial, Algebraic expression, Algebraic fraction

Бир тектүү көп мүчө:

Математикада кээде эски тексттерде кванттык деп аталган бир тектүү көп мүчө, нөлдүк мүчөлөрүнүн бардыгы бирдей даражадагы көп мүчө. Мисалы, эки өзгөрмөлүү 5-даражадагы бир тектүү көп мүчө; ар бир мүчөдөгү көрсөткүчтөрдүн суммасы ар дайым 5. Көпмүшө бир тектүү эмес, анткени көрсөткүчтөрдүн суммасы мезгилден мезгилге дал келбейт. Көп мүчө бир тектүү функцияны аныктаган учурда гана бир тектүү болот.

Математикада кээде эски тексттерде кванттык деп аталган бир тектүү көп мүчө, нөлдүк мүчөлөрүнүн бардыгы бирдей даражадагы көп мүчө. Мисалы,
Алгебралык туюнтмасы:

Математикада алгебралык туюнтма бүтүн сандардан, өзгөрмөлөрдөн жана алгебралык амалдардан куралган туюнтма. Мисалы, 3 x 2 - 2 xy + c алгебралык туюнтма. Чарчы тамыр жайганын бийлик 1/2 жогорулатуу сыяктуу эле болгондуктан,

Алгебралык бөлчөк:

Алгебрада алгебралык бөлчөк - бөлчөгү жана бөлгүчү алгебралык туюнтмалар болгон бөлчөк. Алгебралык фракциялардын эки мисалы болуп саналат жана . Алгебралык фракциялар арифметикалык фракциялар сыяктуу эле мыйзамдарга баш иет.

Алгебрада алгебралык бөлчөк - бөлчөгү жана бөлгүчү алгебралык туюнтмалар болгон бөлчөк. Алгебралык фракциялардын эки мисалы болуп саналат
Алгебралык функция:

Математикада алгебралык функция көп мүчөлүү теңдеменин тамыры катары аныктала турган функция. Көбүнчө алгебралык функциялар - бул чектелген сандагы терминдерди колдонуп, алгебралык операцияларды кошуу, азайтуу, көбөйтүү, бөлүү жана бөлчөк күчкө чейин көтөрүүнү гана камтыган алгебралык туюнтмалар. Мындай функциялардын мисалдары:

Алгебралык функция талаасы:

Бирок математикада талаа к үстүнөн н өзгөрмөлөр бир алгебралык милдети талаасы finitely түзүлгөн талаа узартуу K / Transcendence даражасын н к үстүнөн к болуп саналат. Equivalently, бир алгебралык милдети талаа к үстүнөн н өзгөрмөлөр талаа бир чендүү талаа уландысы катары аныкталышы мүмкүн К = к 1, ..., х н) к ашуун өзгөрмөлөр н сарамжалдуу милдеттерин.

Алгебралык функция:

Математикада алгебралык функция көп мүчөлүү теңдеменин тамыры катары аныктала турган функция. Көбүнчө алгебралык функциялар - бул чектелген сандагы терминдерди колдонуп, алгебралык операцияларды кошуу, азайтуу, көбөйтүү, бөлүү жана бөлчөк күчкө чейин көтөрүүнү гана камтыган алгебралык туюнтмалар. Мындай функциялардын мисалдары:

Étale негизги тобу:

Этале же алгебралык фундаменталдык топ - бул топологиялык мейкиндиктердин кадимки фундаменталдык тобунун схемалары үчүн алгебралык геометриянын аналогу.

Гоппа коду:

Математикада алгебралык геометриялык код ( AG-код ), башкача Гоппа коду деп аталат, алгебралык ийри сызыктын жардамы менен курулган сызыктуу коддун жалпы түрү чектүү талаа үстүндө . Мындай кодекстерди Валерий Денисович Гоппа киргизген. Айрыкча, алар кызыктуу экстремалдык касиетке ээ болушу мүмкүн. Аларды, мисалы, McEliece крипто системасында колдонулган экилик Goppa коддору менен чаташтырбоо керек.

Алгебралык геометрия:

Алгебралык геометрия - математиканын бир бөлүмү, классикалык түрдө көп өзгөрмөлүү көп мүчөлөрдүн нөлдөрүн изилдейт. Азыркы алгебралык геометрия бул нөлдөрдүн жыйындысы жөнүндө геометриялык маселелерди чечүүдө негизинен коммутативдик алгебрадан алынган абстракттуу алгебралык техниканы колдонууга негизделген.

Алгебралык геометрия жана аналитикалык геометрия:

Математикада алгебралык геометрия жана аналитикалык геометрия бири-бири менен тыгыз байланышкан эки предмет. Алгебралык геометрия алгебралык сортторду изилдөөдө, аналитикалык геометрия татаал манифолддор жана бир нече татаал өзгөрмөлөрдүн аналитикалык функцияларынын жоголушу менен аныкталган жалпы аналитикалык мейкиндиктер жөнүндө сөз кылат. Бул предметтердин ортосундагы терең байланыш көптөгөн колдонмолорго ээ, анда алгебралык техникалар аналитикалык мейкиндиктерге жана аналитикалык техникалар алгебралык сортторго колдонулат.

Проективдүү мейкиндиктердин алгебралык геометриясы:

Алгебралык геометрияда проективдүү мейкиндик борбордук ролду ойнойт. Бул макаланын максаты - түшүнүктү абстракттуу алгебралык геометрия жагынан аныктоо жана проективдүү мейкиндиктин айрым негизги колдонулуштарын сүрөттөө.

Алгебралык графика теориясы:

Алгебралык графика теориясы - графикага байланыштуу маселелерге алгебралык методдор колдонула турган математиканын бир бөлүмү. Бул геометриялык, комбинатордук же алгоритмдик ыкмалардан айырмаланып турат. Сызыктуу алгебранын колдонулушун, топтук теориянын колдонулушун жана графиканын инварианттарын изилдөөнү камтыган алгебралык график теориясынын үч негизги тармагы бар.

Алгебралык топ:

Алгебралык геометрияда алгебралык топ деп алгебралык ар түрдүүлүк болуп саналат, мисалы, көбөйтүү жана инверсия операциялары ар түрдүүлүк боюнча туруктуу карталар менен берилет.

Алгебралык топ:

Алгебралык геометрияда алгебралык топ деп алгебралык ар түрдүүлүк болуп саналат, мисалы, көбөйтүү жана инверсия операциялары ар түрдүүлүк боюнча туруктуу карталар менен берилет.

Алгебралык голография:

Алгебралык голография , кээде Рехрендин коштугу деп да аталат, бул Карл-Хеннинг Рехренге байланыштуу кванттык тартылуу күчүнүн алгебралык кванттык теориясынын чегинде түшүнүү аракети. Ал кээде сап теориясынын AdS / CFT корреспонденциясынын альтернативдүү формуласы катары сыпатталат, бирок кээ бир сап теоретиктери бул билдирүүнү четке кагышат. Алгебралык голографияда талкууланган теориялар кадимки голографиялык принципти канааттандырбайт, анткени алардын энтропиясы чоңураак күч мыйзамына ылайык жүргүзүлөт.

Морделлик сорту:

Математикада Морделлик сорту алгебралык ар түрдүүлүк болуп саналат, ал кандайдыр бир чексиз жаратылган талаада гана көптөгөн чекиттерге ээ. Терминологияны Серж Ланг сорттун геометриясын Диофантин касиети менен байланыштырган бир катар божомолдорду айтуу үчүн киргизген.

Идеал (шакек теориясы):

Ринг теориясында, абстракттуу алгебранын бир бутагы, шакектин идеалы - бул анын элементтеринин өзгөчө бөлүгү. Идеалдар бүтүндөй сандардын айрым ички топтомдорун жалпылаштырат, мисалы, жуп сандар же 3кө көбөйтүүлөр. Жуп сандарды кошуу жана азайтуу жуптуулукту сактайт жана жуп санды башка бүтүн сандарга көбөйтсө, дагы бир жуп сан чыгат; бул жабылуу жана сиңүү касиеттери идеалдын аныктоочу касиеттери. Идеал квота шакекчесин куруу үчүн колдонулушу мүмкүн, мисалы, топ теориясында кадимки подгруппаны квота тобун куруу үчүн кандай колдонсо болот.

Идентификация (математика):

Математикада идентификация - бул бир А математикалык туюнтманы экинчи В математикалык туюнтмага байланыштырган теңдик, мындайча айтканда А жана В өзгөрмөлөрдүн белгилүү бир аныктык чегинде бардык баалуулуктары үчүн бирдей мааниге ээ болот. Башка сөз менен айтканда, А жана Б ошол эле иш-милдеттерди аныктоо болсо, A = B ким экендигин тастыктаган жана ким экендигин тастыктаган башка аныкталган милдеттерин ортосундагы теңдик болуп саналат. Мисалы, жана иденттүүлүк. Identities кээде ордуна = эсе бар белгиси тарабынан көрсөтүлгөн, барабар белгисин.

Идентификация (математика):

Математикада идентификация - бул бир А математикалык туюнтманы экинчи В математикалык туюнтмага байланыштырган теңдик, мындайча айтканда А жана В өзгөрмөлөрдүн белгилүү бир аныктык чегинде бардык баалуулуктары үчүн бирдей мааниге ээ болот. Башка сөз менен айтканда, А жана Б ошол эле иш-милдеттерди аныктоо болсо, A = B ким экендигин тастыктаган жана ким экендигин тастыктаган башка аныкталган милдеттерин ортосундагы теңдик болуп саналат. Мисалы, жана иденттүүлүк. Identities кээде ордуна = эсе бар белгиси тарабынан көрсөтүлгөн, барабар белгисин.

Алгебралык көзкарандысыздык:

Абстракттуу алгебрада, ички топтом талаанын алгебралык көз-карандысыз элементтери болсо ичиндеги коэффициенттери менен эч кандай тривиалдык эмес полином теңдемесин канааттандырбаңыз .

Абстракттуу алгебрада, ички топтом
Теңсиздик (математика):

Математикада теңсиздик деп эки сандын же башка математикалык туюнтмалардын ортосунда тең эмес салыштыруу жасоочу мамилени айтат. Көбүнчө сан сызыгындагы эки санды чоңдугу боюнча салыштыруу үчүн колдонулат. Ар кандай теңсиздиктерди чагылдырган бир нече белгилер бар:

  • Аркылуу б ноталык а б аз экенин.
  • Ноталык а> бир б жогору экенин аркылуу б.
Маалымат алгебра:

" Маалымат алгебрасы " термини маалыматты иштетүүнүн математикалык ыкмаларын билдирет. Классикалык маалымат теориясы Клод Шеннондон башталат. Бул байланышты жана сактоону карап, маалымат берүү теориясы. Бирок, буга чейин маалымат ар кандай булактардан алынат деп эсептелген эмес, демек, алар адатта айкалыштырылат. Мындан тышкары, классикалык маалымат теориясында белгилүү бир суроолорго ылайык келген бөлүктөрдүн айрым бөлүктөрүн бөлүп алгысы келгени көңүл сыртында калган.

Калькулятор киргизүү ыкмалары:

Калькуляторлор баскычты басууну чечмелөөнүн ар кандай жолдору бар. Буларды эки негизги түргө бөлсө болот:

  • Бир кадамдуу же токтоосуз аткарыла турган калькулятордо колдонуучу акыркы маани көрсөтүлгөнгө чейин, бардык аралык жыйынтыктарды эсептеп чыгып, ар бир иш үчүн ачкычты басат.
  • Өрнөккө же формула калькуляторуна , бир сүйлөмдү терип, андан соң "=" же "Enter" сыяктуу баскычты басып, туюнтманы баалоо үчүн. Төмөндө сүрөттөлгөндөй, сөз айкашын терүү үчүн ар кандай системалар бар.
Калькулятор киргизүү ыкмалары:

Калькуляторлор баскычты басууну чечмелөөнүн ар кандай жолдору бар. Буларды эки негизги түргө бөлсө болот:

  • Бир кадамдуу же токтоосуз аткарыла турган калькулятордо колдонуучу акыркы маани көрсөтүлгөнгө чейин, бардык аралык жыйынтыктарды эсептеп чыгып, ар бир иш үчүн ачкычты басат.
  • Өрнөккө же формула калькуляторуна , бир сүйлөмдү терип, андан соң "=" же "Enter" сыяктуу баскычты басып, туюнтманы баалоо үчүн. Төмөндө сүрөттөлгөндөй, сөз айкашын терүү үчүн ар кандай системалар бар.
Калькулятор киргизүү ыкмалары:

Калькуляторлор баскычты басууну чечмелөөнүн ар кандай жолдору бар. Буларды эки негизги түргө бөлсө болот:

  • Бир кадамдуу же токтоосуз аткарыла турган калькулятордо колдонуучу акыркы маани көрсөтүлгөнгө чейин, бардык аралык жыйынтыктарды эсептеп чыгып, ар бир иш үчүн ачкычты басат.
  • Өрнөккө же формула калькуляторуна , бир сүйлөмдү терип, андан соң "=" же "Enter" сыяктуу баскычты басып, туюнтманы баалоо үчүн. Төмөндө сүрөттөлгөндөй, сөз айкашын терүү үчүн ар кандай системалар бар.
Алгебралык бүтүн сан:

Алгебралык саны Теориялык, Алгебралык бүтүн менен сандары менен кээ бир Петен Polynomial тамыры бир татаал сан болуп саналат. Бардык алгебралык бүтүн сандардын жыйындысы, А , кошуу, кемитүү жана көбөйтүү боюнча жабык, ошондуктан татаал сандардын коммутативдүү субред. Шакек Комплекстүү санда үзгүлтүксүз бүтүн ажырагыс жабылышы болот.

Алгебралык бүтүн сан:

Алгебралык саны Теориялык, Алгебралык бүтүн менен сандары менен кээ бир Петен Polynomial тамыры бир татаал сан болуп саналат. Бардык алгебралык бүтүн сандардын жыйындысы, А , кошуу, кемитүү жана көбөйтүү боюнча жабык, ошондуктан татаал сандардын коммутативдүү субред. Шакек Комплекстүү санда үзгүлтүксүз бүтүн ажырагыс жабылышы болот.

Алгебралык интерьер:

Функционалдык анализде математиканын бир тармагы, вектордук мейкиндиктин алгебралык ички бөлүгү же радиалдык ядросу интерьер түшүнүгүн өркүндөтүү болуп саналат. Ал өзүнө сиңген берилген топтомдо камтылган чекиттердин топтому, башкача айтканда, көптүктүн радиалдык чекиттери. Алгебралык интерьердин элементтери көп учурда ички чекиттер деп аталат.

Инварианттык теория:

Инварианттык теория - бул функцияларга тийгизген таасири көз карашынан алганда, вектордук мейкиндик сыяктуу алгебралык сорттогу топтордун аракеттерин караган абстрактуу алгебранын бир бөлүгү. Классикалык түрдө, теория берилген сызыктуу топтон өзгөрүүлөргө учураган , өзгөрүлбөгөн же инварианттуу болгон полиномдук функцияларды ачык-айкын сүрөттөө маселесин чечкен. Мисалы, бир кезде биз, X атайын сызыктуу тобу SL н сол көбөйтүү аркылуу н тал- тарабынан-жылдын мейкиндигинде, анда аныктоочу бул иш учун орустар улам м боюнча аныктоочу болуп саналат детерминанттарынын барабар иш-аракетин карап, анда, in SL n .

Алгебралык K-теориясы:

Алгебралык К- теориясы - математикада геометрия, топология, шакек теориясы жана сандар теориясы менен байланышкан предметтик багыт . Г-геометриялык, алгебралык жана арифметикалык объектилерге К -топтору деп аталган объектилер берилет. Булар абстрактуу алгебра маанисиндеги топтор. Аларда баштапкы объект жөнүндө толук маалымат камтылган, бирок эсептөө кыйынга турганы белгилүү; мисалы, бүтүндөй сандардын K- топторун эсептөө маанилүү көйгөй болуп саналат.

Алгебралык шилтеме:

Түйүндөр теориясынын математикалык чөйрөсүндө алгебралык шилтеме Конвей сфералары аркылуу 2-бурчтукка ажырата алган байланыш. Алгебралык шилтемелерди арборесценттик шилтемелер деп да аташат .Алгебралык шилтемелер жана алгебралык чырмалыштырууну алгач Джон Х.Конвей эки жуп ачык учтуу деп аныктаганына карабастан, кийинчерээк көбүрөөк жуптарга жалпылаштырылган.

Чакан элемент:

Тартиптер теориясынын математикалык чөйрөсүндө, жарым-жартылай иреттелген көптүктүн компактуу элементтери же чектүү элементтери , бул эч кандай бош эмес багытталган көптүктүн супремуму менен кошулбай турган элементтер болуп саналат, буга чейин компакттуу элементтин үстүндө мүчөлөр жок. Бул компакттуулук түшүнүгү бир эле мезгилде жыйындылар теориясындагы чектүү топтомдор, топологиядагы компакттуу топтомдор жана алгебрадагы чексиз түзүлгөн модулдар жөнүндө түшүнүктөрдү жалпылайт.

Чакан элемент:

Тартиптер теориясынын математикалык чөйрөсүндө, жарым-жартылай иреттелген көптүктүн компактуу элементтери же чектүү элементтери , бул эч кандай бош эмес багытталган көптүктүн супремуму менен кошулбай турган элементтер болуп саналат, буга чейин компакттуу элементтин үстүндө мүчөлөр жок. Бул компакттуулук түшүнүгү бир эле мезгилде жыйындылар теориясындагы чектүү топтомдор, топологиядагы компакттуу топтомдор жана алгебрадагы чексиз түзүлгөн модулдар жөнүндө түшүнүктөрдү жалпылайт.

Функциянын чеги:

Математикада функциянын чеги эсептөөнүн жана анализдин негизги функциясы болуп саналат, бул функциянын белгилүү бир кирүүгө жакын жүрүм-туруму.

Алгебралык шилтеме:

Түйүндөр теориясынын математикалык чөйрөсүндө алгебралык шилтеме Конвей сфералары аркылуу 2-бурчтукка ажырата алган байланыш. Алгебралык шилтемелерди арборесценттик шилтемелер деп да аташат .Алгебралык шилтемелер жана алгебралык чырмалыштырууну алгач Джон Х.Конвей эки жуп ачык учтуу деп аныктаганына карабастан, кийинчерээк көбүрөөк жуптарга жалпылаштырылган.

Алгебралык логика:

Математикалык логикада алгебралык логика - эркин өзгөрүлмө менен теңдемелерди манипуляциялоо жолу менен алынган ой жүгүртүү.

Алгебралык Логика Функционалдык программалоо тили:

Алгебралык Логика Функционалдык программалоо тили , ошондой эле ALF деп аталган функционалдык жана логикалык программалоо ыкмаларын айкалыштырган программалоо тили. Анын негизи - тең салмактуулук менен мүйүздүн логикалык логикасы, ал логикалык программалоонун предикаттарынан жана мүйүздөрүнөн жана функционалдык программалоонун функцияларынан жана теңдемелеринен турат.

Алгебралык коллектор:

Математикада алгебралык коллектор алгебралык ар түрдүүлүк болуп саналат, ал ошондой эле көп кырдуу. Ошентип, алгебралык коллекторлор полиномдор менен аныкталган тегиз ийри сызыктар жана беттер түшүнүгүнүн жалпылануусу болуп саналат. Мисал катары x 2 + y 2 + z 2 - 1 полиномунун нөлдүк жыйындысы катары аныктала турган сфераны алсак, алгебралык ар түрдүүлүктү алсак болот.

Алгебралык матроид:

Математикада алгебралык матроид бул матриоид, комбинативдик түзүлүш, алгебралык көзкарандысыздык мамилесинин абстракциясын билдирет.

Калькулятор киргизүү ыкмалары:

Калькуляторлор баскычты басууну чечмелөөнүн ар кандай жолдору бар. Буларды эки негизги түргө бөлсө болот:

  • Бир кадамдуу же токтоосуз аткарыла турган калькулятордо колдонуучу акыркы маани көрсөтүлгөнгө чейин, бардык аралык жыйынтыктарды эсептеп чыгып, ар бир иш үчүн ачкычты басат.
  • Өрнөккө же формула калькуляторуна , бир сүйлөмдү терип, андан соң "=" же "Enter" сыяктуу баскычты басып, туюнтманы баалоо үчүн. Төмөндө сүрөттөлгөндөй, сөз айкашын терүү үчүн ар кандай системалар бар.
Алгебралык моделдөө тили:

Алгебралык моделдөө тилдери ( AML ) - чоң масштабдуу математикалык эсептөө үчүн татаалдыгы жогору маселелерди сүрөттөө жана чечүү үчүн компьютердик программалоонун жогорку деңгээлдеги тилдери. AIMMS, AMPL, GAMS, MathProg, Mosel, andOPL сыяктуу кээ бир алгебралык моделдөө тилдеринин бир артыкчылыгы алардын синтаксисинин оптималдаштыруу маселелеринин математикалык белгилерине окшоштугу. Бул топтомдор, индекстер, алгебралык туюнтмалар, кубаттуу сейрек көрсөткүч жана маалыматтар менен иштөөчү өзгөрмөлөр, чектөөлөр, каалагандай аталыштар сыяктуу оптимизация чөйрөсүндөгү көйгөйлөрдү өтө кыскача жана окула турган аныктоого мүмкүндүк берет. Моделдин алгебралык формулировкасында аны кантип иштетүү керектиги жөнүндө эч кандай кеңеш жок.

Multigrid методу:

Сандык анализде мультигриддик ыкма - дискреттөө иерархиясын колдонуп, дифференциалдык теңдемелерди чыгаруунун алгоритми. Алар көп баскычтуу жүрүм-турум масштабдарын чагылдырган көйгөйлөрдө абдан пайдалуу, көп эритүү ыкмалары деп аталган класстардын мисалы. Мисалы, көптөгөн негизги релаксация ыкмалары кыска жана узун толкундуу компоненттер үчүн конвергенциянын ар кандай ылдамдыгын көрсөтөт, бул Фурье анализинин мульти-гридге болгон мамилесиндегидей, бул ар башка масштабдарга ар башкача мамиле жасоону сунуш кылат. MG ыкмаларын эриткич катары жана эрте шарттоочу шарт катары колдонсо болот.

Өздүк баалуулуктар жана өздүк векторлор:

Сызыктуу алгебрада сызыктуу трансформациянын өздүк вектору же мүнөздүү вектору нөлдүк эмес вектор болуп саналат, ага ошол сызыктуу трансформация болгондо скалярдык коэффициент менен өзгөрөт. Тийиштүү өздүк баалуулук , көбүнчө белгиленет , бул өздүк вектордун масштабын аныктоочу фактор.

Сызыктуу алгебрада сызыктуу трансформациянын өздүк вектору же мүнөздүү вектору нөлдүк эмес вектор болуп саналат, ага ошол сызыктуу трансформация болгондо скалярдык коэффициент менен өзгөрөт. Тийиштүү өздүк баалуулук , көбүнчө белгиленет
Алгебралык нормалдуу форма:

Буль алгебрасында алгебралык нормалдуу форма ( ANF ), шакек сумманын нормалдуу формасы , Жегалкиндин нормалдуу формасы же Рид-Мюллердин кеңейиши үч подформанын биринде логикалык формулаларды жазуунун жолу болуп саналат:

  • Бардык формула толугу менен чын же жалган:
    1
    0
  • Бир же бир нече өзгөрмөлөр терминге бириктирилет, андан кийин бир же бир нече термин ANF болуп XORed кылынат. Эч кандай ЭСКЕ уруксат жок:
    a ⊕ b ⊕ ab ⊕ abc
же стандарттуу логикалык белгилерде:
  • Мурунку толук формасы бар подформасы:
    1 ⊕ a ⊕ b ⊕ ab ⊕ abc
Буль алгебрасында алгебралык нормалдуу форма ( ANF ), шакек сумманын нормалдуу формасы , Жегалкиндин нормалдуу формасы же Рид-Мюллердин кеңейиши үч подформанын биринде логикалык формулаларды жазуунун жолу болуп саналат:

  • Бардык формула толугу менен туура же жалган: \ n
    1
    \ n
    0
  • \ n
  • Бир же бир нече өзгөрмөлөр терминге бириктирилет, андан кийин бир же бир нече термин ANF болуп XORed кылынат. Эч кандай ЭСКЕ уруксат жок: \ n
    a ⊕ b ⊕ ab ⊕ abc
же стандарттуу логикалык белгилерде: \ n
Алгебралык белгилер:

Алгебралык жазуу төмөнкүлөрдү камтышы мүмкүн:

  • Математикада жана компьютерде инфикациялык жазуу, экилик операторду жана операнды эки оператордун ортосундагы оператор менен көрсөтүү практикасы
  • Алгебралык жазуу (шахмат), шахмат оюнундагы фигуралардын кыймылын жазуунун стандарттуу тутуму
  • Тил илиминде "алгебралык синтаксис" деп аталган рекурсивдүү категориялык синтаксис, табигый тилдердин кандайча түзүлүшкө ээ экендиги жөнүндө теория
  • Алгебра үчүн математикалык жазуу
Алгебралык белгилөө (шахмат):

Алгебралык жазуу - шахмат оюнундагы кыймылдарды жазуунун жана сүрөттөөнүн стандарттуу ыкмасы. Ал шахмат тактасындагы ар бир квадратты уникалдуу аныктоо үчүн координаттар тутумуна негизделген. Аны көпчүлүк китептер, журналдар жана гезиттер колдонушат. Англис тилдүү өлкөлөрдө параллелдүү сүрөттөөчү белгилөө методу жалпысынан болжол менен 1980-жылга чейин шахмат басылмаларында колдонулган. Бир нече оюнчу баяндоочу белгилерди колдонушат, бирок ал эл аралык шахматты башкаруу органы ФИДЕ тарабынан таанылбай калган.

Алгебралык белгилер:

Алгебралык жазуу төмөнкүлөрдү камтышы мүмкүн:

  • Математикада жана компьютерде инфикациялык жазуу, экилик операторду жана операнды эки оператордун ортосундагы оператор менен көрсөтүү практикасы
  • Алгебралык жазуу (шахмат), шахмат оюнундагы фигуралардын кыймылын жазуунун стандарттуу тутуму
  • Тил илиминде "алгебралык синтаксис" деп аталган рекурсивдүү категориялык синтаксис, табигый тилдердин кандайча түзүлүшкө ээ экендиги жөнүндө теория
  • Алгебра үчүн математикалык жазуу
Infix notation:

Инфикс белгиси - бул арифметикалык жана логикалык формулаларда жана билдирүүлөрдө кеңири колдонулган жазуу. Ал операторлорду операнддардын ортосунда жайгаштыруу менен мүнөздөлөт - "чексиз операторлор" - 2 + 2деги кошуу белгиси сыяктуу.

Алгебралык номери:

Алгебралык сан - бул рационалдуу коэффициенттери бар бир өзгөрмөдөгү нөлгө барабар көп мүчөнүн тамыры болгон ар кандай татаал сан.

Алгебралык сан талаасы:

Математикада алгебралык сан талаасы рационалдуу сандар талаасынын чектүү даражадагы кеңейтүүсү . Ошентип камтыган талаа жана вектордук мейкиндик катары эсептелгенде чектүү өлчөмгө ээ .

Математикада алгебралык сан талаасы
Алгебралык сан талаасы:

Математикада алгебралык сан талаасы рационалдуу сандар талаасынын чектүү даражадагы кеңейтүүсү . Ошентип камтыган талаа жана вектордук мейкиндик катары эсептелгенде чектүү өлчөмгө ээ .

Математикада алгебралык сан талаасы
Минималдык көп мүчө (сызыктуу алгебра):

Сызыктуу алгебранын-жылы минималдуу мүчө μ бир-жылдын А × н Булакта экенин, жок дегенде даражасы ушундай бир талаа F F үстүнөн Петен мүчө P ашуун A P (A) 0 =. Q ( A ) = 0 болгон башка дагы көп полином Q , μ A көбөйгөн (полиномдук) эселенет .

Бүтүн сандардын шакеги:

Бирок математикада бир алгебралык саны талаа К бүтүн шакек K камтылган бардык ажырагыс элементтердин шакеги. Интегралдык элемент бул бүтүндөй коэффициенттери бар моникалык көп мүчөнүн тамыры, x n + c n -1 x n -1 + ... + c 0 . Бул шакекти көбүнчө О К же белгилейт . Бир бүтүн K таандык жана K ажырагыс элементи болуп саналат, демек, шакек Z дайыма Оо, K бир subring болуп саналат.

Алгебралык сандар теориясы:

Алгебралык сандар теориясы - бүтүндөй сандарды, рационалдуу сандарды жана аларды жалпылоону изилдөө үчүн абстрактуу алгебранын техникаларын колдонуучу сандар теориясынын бир бөлүмү. Сандар-теориялык суроолор алгебралык объекттердин касиеттери, мисалы, алгебралык сандар талаалары жана алардын бүтүн сандардын шакектери, чектүү талаалар жана функциялык талаалар аркылуу чагылдырылат. Бул касиеттер, мисалы, шакек уникалдуу факторизацияны, идеалдардын жүрүм-турумун жана талаалардын Галуа топторун кабыл алабы, диофантиялык теңдемелерди чечүү жолдору сыяктуу, сандар теориясында биринчи кезектеги маселелерди чече алат.

Алгебралык номери:

Алгебралык сан - бул рационалдуу коэффициенттери бар бир өзгөрмөдөгү нөлгө барабар көп мүчөнүн тамыры болгон ар кандай татаал сан.

Калькулятор киргизүү ыкмалары:

Калькуляторлор баскычты басууну чечмелөөнүн ар кандай жолдору бар. Буларды эки негизги түргө бөлсө болот:

  • Бир кадамдуу же токтоосуз аткарыла турган калькулятордо колдонуучу акыркы маани көрсөтүлгөнгө чейин, бардык аралык жыйынтыктарды эсептеп чыгып, ар бир иш үчүн ачкычты басат.
  • Өрнөккө же формула калькуляторуна , бир сүйлөмдү терип, андан соң "=" же "Enter" сыяктуу баскычты басып, туюнтманы баалоо үчүн. Төмөндө сүрөттөлгөндөй, сөз айкашын терүү үчүн ар кандай системалар бар.
Алгебралык операция:

Математикада негизги алгебралык операция арифметиканын жалпы амалдарынын бири болуп саналат, ага кошуу, кемитүү, көбөйтүү, бөлүү, бүтүн кубаттуулукка көтөрүү жана тамыр алуу. Бул амалдар сандар боюнча жүргүзүлүшү мүмкүн, мындай учурда алар көбүнчө арифметикалык операциялар деп аталат. Алар ушул сыяктуу эле, өзгөрүлмө, алгебралык туюнтмада жана жалпысынан алгебралык структуралардын топтору жана талаалары сыяктуу элементтеринде аткарылышы мүмкүн. Алгебралык операцияны жөн эле бир топтомдун декарттык кубатынан ошол эле көптүккө чейинки функция катары аныктоого болот.

Алгебралык операция:

Математикада негизги алгебралык операция арифметиканын жалпы амалдарынын бири болуп саналат, ага кошуу, кемитүү, көбөйтүү, бөлүү, бүтүн кубаттуулукка көтөрүү жана тамыр алуу. Бул амалдар сандар боюнча жүргүзүлүшү мүмкүн, мындай учурда алар көбүнчө арифметикалык операциялар деп аталат. Алар ушул сыяктуу эле, өзгөрүлмө, алгебралык туюнтмада жана жалпысынан алгебралык структуралардын топтору жана талаалары сыяктуу элементтеринде аткарылышы мүмкүн. Алгебралык операцияны жөн эле бир топтомдун декарттык кубатынан ошол эле көптүккө чейинки функция катары аныктоого болот.

Алгебралык ийри:

Математикада аффиндик алгебралык тегиздик ийри сызыгы - эки өзгөрмөлүү полиномдун нөлдүк жыйындысы. Проективдүү алгебралык тегиздик ийри сызыгы - үч өзгөрмөлүү бир тектүү көп мүчөнүн проективдик тегиздигинде коюлган нөл. Аффиндик алгебралык тегиздик ийри сызыгын проективдүү алгебралык тегиздик ийри сызыгында анын аныктоочу полиномун бир тектүү кылып бүтүрсө болот. Тескерисинче, h ( x , y , t ) = 0 бир тектүү теңдеменин проективдүү алгебралык тегиздик ийри сызыгы h ( x , y , 1) = 0 теңдеменин аффиндик алгебралык тегиздик ийри сызыгына чектелиши мүмкүн. Бул эки операциянын ар бири экинчисине тескери; ошондуктан, алгебралык тегиздик ийри сөз айкашы көбүнчө аффинеби же проективдүү ишиби, айкын көрсөтүлбөй колдонулат.

Чакан элемент:

Тартиптер теориясынын математикалык чөйрөсүндө, жарым-жартылай иреттелген көптүктүн компактуу элементтери же чектүү элементтери , бул эч кандай бош эмес багытталган көптүктүн супремуму менен кошулбай турган элементтер болуп саналат, буга чейин компакттуу элементтин үстүндө мүчөлөр жок. Бул компакттуулук түшүнүгү бир эле мезгилде жыйындылар теориясындагы чектүү топтомдор, топологиядагы компакттуу топтомдор жана алгебрадагы чексиз түзүлгөн модулдар жөнүндө түшүнүктөрдү жалпылайт.

Иштөө тартиби:

Математикада жана компьютердик программалоодо операциялардын тартиби - бул берилген математикалык туюнтманы баалоо үчүн алгач процедураларды аткара турган конвенцияларды чагылдырган эрежелердин жыйындысы.

Алгебра:

Алгебра математика илиминин кеңири тармактарынын бири, сандар теориясы, геометрия жана анализ менен бирге. Алгебра өзүнүн жалпы формасында математикалык символдорду жана бул белгилер менен иштөөнүн эрежелерин изилдейт; ал дээрлик бардык математиканы бириктирүүчү жип. Ага элементардык теңдемелерди чыгаруудан баштап, топтор, шакектер жана талаалар сыяктуу абстракцияларды изилдөөгө чейинки нерселер кирет. Алгебранын негизги бөлүктөрү элементардык алгебра деп аталат; көбүрөөк абстракттуу бөлүктөр абстрактуу алгебра же азыркы алгебра деп аталат. Элементардык алгебра, адатта, математиканы, илимди же техниканы, ошондой эле медицина жана экономика сыяктуу колдонмолорду изилдөө үчүн маанилүү деп эсептелет. Абстракттуу алгебра - бул өнүккөн математиканын негизги багыты, негизинен кесипкөй математиктер тарабынан изилденет.

Долбоордук геометрия:

Математикада проективдүү геометрия - проективдүү өзгөрүүлөргө карата инварианттуу болгон геометриялык касиеттерди изилдөө. Баштапкы Евклид геометриясына салыштырмалуу проективдүү геометрия башкача орнотулушка, проекциялык мейкиндикке жана негизги геометриялык түшүнүктөрдүн тандалма жыйындысына ээ экендигин билдирет. Негизги интуициялар: проективдүү мейкиндик Евклид мейкиндигине караганда көбүрөөк чекиттерге ээ, берилген өлчөм үчүн, ал эми кошумча чекиттерди Евклид чекиттерине айландыруучу геометриялык өзгөртүүлөргө уруксат берилет жана тескерисинче.

Алмаштыруунун эрежеси:

Логика боюнча, алмаштыруу эрежеси - бул трансформация эрежеси, ал экспрессиянын белгилүү бир сегментинде гана колдонулушу мүмкүн. Логикалык тутум аксиомаларды, тыянак чыгаруунун эрежелерин же экөөнү тутумдагы логикалык туюнтмалардын трансформация эрежелери катары колдоно тургандай курулушу мүмкүн. Жыйынтык чыгаруу эрежеси ар дайым бүтүндөй логикалык туюнтмада колдонулса, алмаштыруу эрежеси белгилүү бир сегментте гана колдонулушу мүмкүн. Логикалык далилдин контекстинде логикалык эквиваленттүү сөз айкаштары бири-бирин алмаштырышы мүмкүн. Орун алмаштыруу эрежелери сунуштарды манипуляциялоо үчүн сунуштоочу логикада колдонулат.

Жергиликтүү кванттык талаа теориясы:

Хааг жана Кастлер (1964) киргизген кванттык талаа теориясынын аксиоматикалык алкагы - бул С * -алгебра теориясынын жергиликтүү кванттык физикасына колдонмо. Мындан улам алгебралык кванттык талаа теориясы ( AQFT ) деп да аталат. Аксиомалар Минковский мейкиндигиндеги ар бир ачык топтом үчүн берилген алгебра жана алардын ортосундагы карта менен чагылдырылган.

Алгебралык калыбына келтирүү техникасы:

Алгебралык калыбына келтирүү техникасы (ART) - компьютердик томографияда колдонулган кайталап калыбына келтирүү ыкмасы. Бул бурчтуу проекциялардын катарындагы сүрөттү калыбына келтирет. Гордон, Бендер жана Герман образды калыбына келтирүүдө биринчи жолу анын колдонулушун көрсөтүшкөн; ал эми ыкма сандык сызыктуу алгебрада Кацмарц методу деп аталат.

Алгебралык чагылдыруу:

Математикада G тобунун к- алгебрасында A алгебралык чагылдырылышы А сызыктуу чагылдырылышы Мындай айтканда, ар бир G г, алгебра автоморфизм болуп саналат. Мындай чагылдыруу менен жабдылган A алгебрасы G- алгебра деп аталат.

Математикада G тобунун к- алгебрасында A алгебралык чагылдырылышы А сызыктуу чагылдырылышы
Алгебралык Риккатинин теңдемеси:

Алгебралык Риккатинин теңдемеси - үзгүлтүксүз убакытта же дискреттүү убакытта чексиз горизонттогу оптималдуу башкаруу маселелеринин контекстинде пайда болгон сызыктуу теңдемелердин бир түрү.

Ринг (математика):

Математикада шакектер - бул талааларды жалпылоочу алгебралык түзүмдөр: көбөйтүү коммутативдик мүнөзгө ээ эмес, ал эми мультипликативдик тескери учурлар жок. Башкача айтканда, шакек - бул бүтүн сандарды көбөйтүү жана көбөйтүү касиеттерине окшош эки бинардык операция менен жабдылган жыйынды. Шакек элементтери бүтүн сандар же татаал сандар сыяктуу сандар болушу мүмкүн, бирок алар полиномдор, квадрат матрицалар, функциялар жана кубаттуулук катарлары сыяктуу сансыз объекттер болушу мүмкүн.

Алгебралык теңдеме:

Математикада алгебралык теңдеме же полиномдук теңдеме форманын теңдемеси болуп саналат

Алгебралык геометриянын сөздүгү:

Бул алгебралык геометриянын сөздүгү .

Алгебралык семантика:

Алгебралык семантика төмөнкүлөрдү камтышы мүмкүн:

  • Алгебралык семантика
  • Алгебралык семантика
Алгебралык семантика (информатика):

Информатика илиминде алгебралык семантика формалдуу түрдө программанын семантикасын сүрөттөө жана ой жүгүртүү үчүн алгебралык мыйзамдарга негизделген аксиоматикалык семантиканын бир түрү.

Алгебралык семантика:

Алгебралык семантика төмөнкүлөрдү камтышы мүмкүн:

  • Алгебралык семантика
  • Алгебралык семантика
Алгебралык семантика (математикалык логика):

Математикалык логикада алгебралык семантика алгебралык логиканын бир бөлүгү катары изилденген алгебраларга негизделген формалдуу семантика. Мисалы, S4 модалдык логикасы топологиялык булге алгебралар классы менен мүнөздөлөт - башкача айтканда, ички оператору бар буле алгебралары. Башка модалдык логикалар операторлор менен ар кандай башка алгебралар менен мүнөздөлөт. Буль алгебралар классы классикалык пропозициялык логиканы, Хейтинг алгебралар классы пропозициялык интуициялык логиканы мүнөздөйт. MV-алгебралар - Чукасевич логикасынын алгебралык семантикасы.

Алгебралык сүйлөм:

Математикалык логикада алгебралык сүйлөм - эркин өзгөрмөлөрү бар терминдердин ортосундагы теңдемелерди гана колдонуп айтууга болот. Теңсиздиктерге жана сандык көрсөткүчтөргө атайын тыюу салынган. Сентентикалык логика - бул алгебралык сүйлөмдөрдү гана камтыган биринчи тартиптеги логиканын топтому.

Алгебралык ар түрдүүлүк:

Алгебралык сорттор - математиканын кичи тармагы болгон алгебралык геометриянын изилдөө борбордук объектилери. Классикалык түрдө, алгебралык ар түрдүүлүк полиномдук теңдемелер тутумунун чыныгы же татаал сандардын үстүндөгү чечимдеринин жыйындысы катары аныкталат. Заманбап аныктамалар баштапкы аныктаманын артында геометриялык интуицияны сактап калууга аракет кылып, бул түшүнүктү ар кандай жолдор менен жалпылайт.

Белги (математика):

Математикада белги түшүнүгү ар бир чыныгы сан оң, терс же нөлгө барабар касиеттен келип чыгат. Жергиликтүү конвенцияларга жараша нөл оң сан да, терс сан да эмес, же терс жана оң сандарга таандык деп эсептелет. Качан гана атайын айтылбаса, анда бул макалада биринчи жыйын өткөрүлөт.

Алгебралык сигналды иштетүү:

Сызыктуу сигналдарды иштетүүнүн алгебралык теориясында чыпкалардын жыйындысы алгебра катары каралат жана сигналдардын жыйындысы модуль катары каралат жана z-трансформациясы сызыктуу карталарга жалпыланат.

Кол (логика):

Логикада, айрыкча математикалык логикада кол формалдуу тилдин логикалык эмес белгилерин санап, сүрөттөйт. Универсалдуу алгебрада кол алгебралык түзүлүштү мүнөздөөчү амалдарды санап берет. Модельдер теориясында кол эки максатта тең колдонулат. Логиканын философиялык жол-жоболорунда алар сейрек кездешет.

Жөнөкөйлөтүү:

Жөнөкөйлөтүү , Жөнөкөйлөтүү же Жөнөкөйлөтүү төмөнкүдөй болушу мүмкүн:

Алгебралык чечим:

Алгебралык чечим же радикалдардагы чечим - бул жабык түрдөгү туюнтма, тагыраак айтканда, жабык түрдөгү алгебралык туюнтма, бул алгебралык теңдеменин коэффициенттер боюнча чечими, кошууга, чыгарууга, көбөйтүүгө, бөлүүгө, көтөрүүгө гана таянат бүтүндөй кубаттуулуктарга, жана n-тамырын бөлүп алуу.

Алгебралык мейкиндик:

Математикада алгебралык мейкиндиктер деформация теориясында колдонуу үчүн Артин киргизген алгебралык геометриянын схемаларын жалпылоону түзөт. Интуитивдүү түрдө, схемалар Зариски топологиясын колдонуп аффиндик схемаларды жабыштыруу жолу менен, алгебралык мейкиндиктер афиндик схемаларды бири-бирине жабыштыруу менен берилет. Же болбосо, схемаларды Зариски топологиясындагы аффиндик схемаларга жергиликтүү изоморфизм деп эсептесе болот, ал эми алгебралык мейкиндиктер этель топологиясындагы аффиндик схемаларга жергиликтүү изоморфтук болуп саналат.

Алгебралык спецификация:

Алгебралык спецификация - бул тутумдун жүрүм-турумун расмий түрдө көрсөтүү үчүн программалык камсыздоо техникасы. Бул 1980-жылдардагы CS изилдөөлөрүнүн абдан активдүү предмети болгон.

Бөлүү талаасы:

Абстракттуу алгебрада полиномдун талаадагы коэффициенттери менен бөлүнүү талаасы ошол талаанын эң кичине талаа кеңейиши болуп саналат, анын үстүнө полином бөлүнүп же сызыктуу факторлорго ажырайт.

Алгебралык стек:

Математикада алгебралык стек алгебралык мейкиндиктердин кеңири жалпылануусу же модулдар теориясын изилдөө үчүн негизделген схемалар. Көптөгөн модулдук мейкиндиктер алгебралык стектерге мүнөздүү техниканын жардамы менен курулган, мисалы Артиндин көрсөтүлүүчү теоремасы, ал учтуу алгебралык ийри сызыктардын модул мейкиндигин куруу үчүн колдонулат. жана эллиптикалык ийри сызыктардын модулдар тобу. Башында, алар Гротендиек тарабынан модулдар мейкиндигиндеги автоморфизмдерди көзөмөлдөө үчүн киргизилген, бул ыкма бул модулдар мейкиндигин алардын астындагы схемалар же алгебралык мейкиндиктер сыяктуу мамиле кылууга мүмкүндүк берет. Бирок, көптөгөн жалпылоолор аркылуу алгебралык стектер түшүнүгүн Майкл Артин ачкан.

Математикада алгебралык стек алгебралык мейкиндиктердин кеңири жалпылануусу же модулдар теориясын изилдөө үчүн негизделген схемалар. Көптөгөн модулдук мейкиндиктер алгебралык стектерге мүнөздүү техниканын жардамы менен курулган, мисалы Артиндин көрсөтүлүүчү теоремасы, ал учтуу алгебралык ийри сызыктардын модул мейкиндигин куруу үчүн колдонулат.
Алгебралык статистика:

Алгебралык статистика - алгебраны статистиканы алга жылдыруу үчүн колдонуу. Алгебра эксперименталдык долбоорлоо, параметрлерди баалоо жана гипотезаны текшерүү үчүн пайдалуу болду.

Алгебралык түзүлүш:

Математикада алгебралык түзүлүш бош эмес А жыйындысынан, А чектүү амалдуулук амалдарынын жыйындысынан жана ушул операциялар канааттандырышы керек болгон аксиома деп аталган чектелген идентификациялардан турат.

Алгебралык түзүлүш:

Математикада алгебралык түзүлүш бош эмес А жыйындысынан, А чектүү амалдуулук амалдарынын жыйындысынан жана ушул операциялар канааттандырышы керек болгон аксиома деп аталган чектелген идентификациялардан турат.

Алгебралык топ:

Алгебралык геометрияда алгебралык топ деп алгебралык ар түрдүүлүк болуп саналат, мисалы, көбөйтүү жана инверсия операциялары ар түрдүүлүк боюнча туруктуу карталар менен берилет.

Алгебралык коллектор:

Математикада алгебралык коллектор алгебралык ар түрдүүлүк болуп саналат, ал ошондой эле көп кырдуу. Ошентип, алгебралык коллекторлор полиномдор менен аныкталган тегиз ийри сызыктар жана беттер түшүнүгүнүн жалпылануусу болуп саналат. Мисал катары x 2 + y 2 + z 2 - 1 полиномунун нөлдүк жыйындысы катары аныктала турган сфераны алсак, алгебралык ар түрдүүлүктү алсак болот.

Алмашуу (алгебра):

Алгебрада алмаштыруу операциясы символдорду камтыган формалдуу объектилерди камтыган ар кандай контекстте колдонулушу мүмкүн; операция кандайдыр бир символдун көрүнүштөрүн системалуу түрдө берилген маани менен алмаштыруудан турат.

Алгебралык ар түрдүүлүк:

Алгебралык сорттор - математиканын кичи тармагы болгон алгебралык геометриянын изилдөө борбордук объектилери. Классикалык түрдө, алгебралык ар түрдүүлүк полиномдук теңдемелер тутумунун чыныгы же татаал сандардын үстүндөгү чечимдеринин жыйындысы катары аныкталат. Заманбап аныктамалар баштапкы аныктаманын артында геометриялык интуицияны сактап калууга аракет кылып, бул түшүнүктү ар кандай жолдор менен жалпылайт.

Жыйынтык:

Бирок математикада ролун номерлери, аталган кошулуучулардын же кошулуучуларынын ар кандай бир катар кошумча болуп саналат; натыйжасы, алардын суммасы же жалпы . Сандардан тышкары, чоңдуктардын дагы башка түрлөрү: функциялар, векторлор, матрицалар, полиномдор жана жалпысынан "+" деп аталган амал аныкталган ар кандай типтеги математикалык объектилердин элементтерин кошууга болот.

Алгебралык бет:

Математикада алгебралык бет эки өлчөмдүн алгебралык ар түрдүүлүгү. Комплекстүү сандар талаасында геометрия болгон учурда, алгебралык беттин тегиз көп катмар катары татаал эки өлчөмү жана төрт өлчөмү болот.

Алгебралык бет:

Математикада алгебралык бет эки өлчөмдүн алгебралык ар түрдүүлүгү. Комплекстүү сандар талаасында геометрия болгон учурда, алгебралык беттин тегиз көп катмар катары татаал эки өлчөмү жана төрт өлчөмү болот.

Хирургия теориясы:

Математикада, тактап айтканда, геометриялык топологияда хирургия теориясы - бул Жон Милнор (1961) киргизген бир чектүү өлчөмдүү коллекторду башкасынан "башкарылуучу" жол менен чыгаруу үчүн колдонулган ыкмалардын жыйындысы. Алгач дифференциалдуу көп кырдуу коллекторлор үчүн иштелип чыккан, хирургиялык ыкмалар кесек сызыктуу (PL-) жана топологиялык коллекторлорго да тиешелүү.

Рекурсивдүү категориялык синтаксис:

Рекурсивдүү категориялык синтаксис , алгебралык синтаксис деп дагы белгилүү, бул трансформациялык-генеративдик грамматикага альтернатива катары Майкл Брам тарабынан иштелип чыккан синтаксистин алгебралык теориясы.

Алгебралык түзүлүш:

Математикада алгебралык түзүлүш бош эмес А жыйындысынан, А чектүү амалдуулук амалдарынын жыйындысынан жана ушул операциялар канааттандырышы керек болгон аксиома деп аталган чектелген идентификациялардан турат.

Чырмашуу (математика):

Математикада башаламандык жалпысынан эки байланышкан түшүнүктөрдүн бири:

  • ЖАКАН жазган Жакшы Кабар Конуэй аныктамасы боюнча, бир н -tangle 3-топтун салып н жааларынын кесилишпеген союздун туура колдонууга даярдоо болуп саналат; кыстаруу жаалардын акыркы чекиттерин топтун чегинде белгиленген 2 н чекитке жөнөтүшү керек.
  • Шилтеме теориясында тирешүү n жаалар менен m чөйрөлөрдүн ичине салынат - мурунку аныктамадан айырмасы, ал тегерекчелерди, ошондой эле жааларды камтыйт жана чек араны эки (изоморфтук) бөлүккө бөлөт, бул алгебралык жактан ыңгайлуураак - бул, мисалы, аларды тизип коюу менен чырмалыштырууга мүмкүнчүлүк берет.
Чырмашуу (математика):

Математикада башаламандык жалпысынан эки байланышкан түшүнүктөрдүн бири:

  • ЖАКАН жазган Жакшы Кабар Конуэй аныктамасы боюнча, бир н -tangle 3-топтун салып н жааларынын кесилишпеген союздун туура колдонууга даярдоо болуп саналат; кыстаруу жаалардын акыркы чекиттерин топтун чегинде белгиленген 2 н чекитке жөнөтүшү керек.
  • Шилтеме теориясында тирешүү n жаалар менен m чөйрөлөрдүн ичине салынат - мурунку аныктамадан айырмасы, ал тегерекчелерди, ошондой эле жааларды камтыйт жана чек араны эки (изоморфтук) бөлүккө бөлөт, бул алгебралык жактан ыңгайлуураак - бул, мисалы, аларды тизип коюу менен чырмалыштырууга мүмкүнчүлүк берет.
Алгебралык теория:

Математикалык логикада формалдуу эмес түрдө, алгебралык теория - бул толугу менен эркин өзгөрмөлөрү бар терминдердин ортосундагы теңдемелер боюнча айтылган аксиомаларды колдонуучу теория. Теңсиздиктерге жана сандык көрсөткүчтөргө атайын тыюу салынган. Сентентикалык логика - бул алгебралык сүйлөмдөрдү гана камтыган биринчи тартиптеги логиканын топтому.

Буль дифференциалдык эсептөөсү:

Логикалык дифференциалдык эсептөө ( BDC ) - булдык алгебранын предметтик талаасы, буль өзгөрмөлөрүнүн жана буль функцияларынын өзгөрүүлөрү.

Алгебралык топология:

Алгебралык топология - бул топологиялык мейкиндиктерди изилдөө үчүн абстрактуу алгебрадан куралдарды колдонуучу математиканын бир бөлүмү. Негизги максат - гомеоморфизмге чейинки топологиялык мейкиндиктерди классификация кылган алгебралык инварианттарды табуу, бирок көбүнчө гомотопиялык эквивалентке чейин классификациялайт.

Алгебралык топология (объект):

Математикада топологиялык тобу H үчүн G тобу өкүлчүлүктөрүнүн топтому боюнча алгебралык топология б, анда чек pointwise жакындаштыруу, башкача айтканда, б мен б Тюрнер, топологиялары болуп мен (г) = б (ж) ар бир г үчүн G.

Түйүндөрдүн теориясы:

Топологияда түйүндөр теориясы - математикалык түйүндөрдү изилдөө. Күндөлүк турмушта пайда болгон, мисалы, бут кийимдин боосундагы жана аркандагы түйүндөрдөн шыктануу менен, математикалык түйүн, анын учтары бириктирилгендиги менен айырмаланат, ал эми эң жөнөкөй түйүн шакек болот. Математикалык тилде түйүн - бул тегерек чөйрөнүн 3 өлчөмдүү Евклид мейкиндигине кириши, . Эгерде биринин деформациясы аркылуу экинчисине өтсө, эки математикалык түйүн эквиваленттүү өзүнө; бул трансформациялар жипти кесүүнү же жипти өзү аркылуу өткөрүп берүүнү камтыбаган түйүндүү жиптин манипуляцияларына туура келет.

Алгебралык тор:

Математикада алгебралык торус , анда бир өлчөмдүү торус, адатта, белгиленет , , же , көбүнчө проективдик алгебралык геометрияда жана торикалык геометрияда кездешкен коммутативдик аффиндик алгебралык топтун бир түрү. Жогорку өлчөмдүү алгебралык тори алгебралык топтордун продуктусу катары моделденсе болот . Бул топтор Lie топтук теориясындагы тори теориясына окшоштук менен аталган. Мисалы, татаал сандардын үстүнөн алгебралык тор топтук схемага изоморфтук болуп саналат , бул Lie тобунун теоретикалык аналогу . Чындыгында, каалаган - татаал вектордук мейкиндиктеги аракетти а-га кайра тартканга болот кошуудан алынган аракет чыныгы манифолддор катары.

Алгебралык маалыматтардын түрү:

Компьютердик программалоодо, айрыкча функционалдык программалоодо жана типтер теориясында, маалыматтардын алгебралык түрү - бул курама типтин башка түрү, башкача айтканда, башка типтерди бириктирүү менен пайда болгон тип.

Алгебралык маалыматтардын түрү:

Компьютердик программалоодо, айрыкча функционалдык программалоодо жана типтер теориясында, маалыматтардын алгебралык түрү - бул курама типтин башка түрү, башкача айтканда, башка типтерди бириктирүү менен пайда болгон тип.

Алгебралык ар түрдүүлүк:

Алгебралык сорттор - математиканын кичи тармагы болгон алгебралык геометриянын изилдөө борбордук объектилери. Классикалык түрдө, алгебралык ар түрдүүлүк полиномдук теңдемелер тутумунун чыныгы же татаал сандардын үстүндөгү чечимдеринин жыйындысы катары аныкталат. Заманбап аныктамалар баштапкы аныктаманын артында геометриялык интуицияны сактап калууга аракет кылып, бул түшүнүктү ар кандай жолдор менен жалпылайт.

Алгебралык ар түрдүүлүк:

Алгебралык сорттор - математиканын кичи тармагы болгон алгебралык геометриянын изилдөө борбордук объектилери. Классикалык түрдө, алгебралык ар түрдүүлүк полиномдук теңдемелер тутумунун чыныгы же татаал сандардын үстүндөгү чечимдеринин жыйындысы катары аныкталат. Заманбап аныктамалар баштапкы аныктаманын артында геометриялык интуицияны сактап калууга аракет кылып, бул түшүнүктү ар кандай жолдор менен жалпылайт.

Когеренттүү боо:

Математикада, айрыкча алгебралык геометрияда жана татаал коллектордук теорияда, когеренттүү боолор негизги мейкиндиктин геометриялык касиеттери менен тыгыз байланышкан боолордун классы. Когеренттүү боолордун аныктамасы ушул геометриялык маалыматты коддогон шакек шакектерине шилтеме берүү менен жасалган.

Алгебралык:

Алгебралык алгебралык саны теориясы жана алгебралык топология сыяктуу математикалык жана тийиштүү тармактары боюнча алгебра менен байланышкан ар кандай тема жөнүндө сөз болот. Алгебра сөзүнүн өзү бир нече мааниге ээ.

Алгебралык ийри:

Математикада аффиндик алгебралык тегиздик ийри сызыгы - эки өзгөрмөлүү полиномдун нөлдүк жыйындысы. Проективдүү алгебралык тегиздик ийри сызыгы - үч өзгөрмөлүү бир тектүү көп мүчөнүн проективдик тегиздигинде коюлган нөл. Аффиндик алгебралык тегиздик ийри сызыгын проективдүү алгебралык тегиздик ийри сызыгында анын аныктоочу полиномун бир тектүү кылып бүтүрсө болот. Тескерисинче, h ( x , y , t ) = 0 бир тектүү теңдеменин проективдүү алгебралык тегиздик ийри сызыгы h ( x , y , 1) = 0 теңдеменин аффиндик алгебралык тегиздик ийри сызыгына чектелиши мүмкүн. Бул эки операциянын ар бири экинчисине тескери; ошондуктан, алгебралык тегиздик ийри сөз айкашы көбүнчө аффинеби же проективдүү ишиби, айкын көрсөтүлбөй колдонулат.

Көрсөтмө (математика):

Математикада, туюнтма же математикалык туюнтуу - бул контекстке байланыштуу эрежелерге ылайык жакшы түзүлгөн символдордун чектелген айкалышы. Математикалык символдор сандарды (константаларды), өзгөрмөлөрдү, амалдарды, функцияларды, кашаанын, пунктуациянын жана топтордун иштешинин тартибин аныктоого жардам бере алат жана логикалык синтаксистин башка аспектилерин белгилей алат.

Алгебралык жабык талаа:

Бирок математикада талаа F алгебралык ар F эмес туруктуу мүчө [х] F бир тамыр бар болсо жабык болот.

Алгебралык жабык талаа:

Бирок математикада талаа F алгебралык ар F эмес туруктуу мүчө [х] F бир тамыр бар болсо жабык болот.

Алгебралык жабык талаа:

Бирок математикада талаа F алгебралык ар F эмес туруктуу мүчө [х] F бир тамыр бар болсо жабык болот.

Алгебралык жабык топ:

Топтук теорияда, топ алгебралык жабык, эгерде "мааниси бар" кандайдыр бир чектүү теңдемелер жана теңдемелер жыйындысы ичинде чечим бар топту кеңейтүүнүн кереги жок. Бул түшүнүк § Расмий аныктамада макалада кийин так берилет.

Топтук теорияда, топ
Алгебралык кыска модуль:

Математикада алгебралык компактуу модулдар , ошондой эле таза инжектордук модулдар деп аталат, модулдагы чексиз теңдемелер тутумун чектүү жолдор менен чечүүгө мүмкүнчүлүк берген белгилүү "жакшы" касиетке ээ модулдар. Бул тутумдардын чечимдери модулдун гомоморфизминин айрым түрлөрүн кеңейтүүгө мүмкүндүк берет. Бул алгебралык компактуу модулдар инъекциялык модулдарга окшош, мында бардык модуль гомоморфизмдерин кеңейтүүгө болот. Бардык инъекциялык модулдар алгебралык жактан тыгыз жана экөөнүн окшоштугу категорияга жайгаштыруу жолу менен так жүргүзүлөт.

Алгебралык топ:

Математикада, абелиялык топтор теориясынын чөйрөсүндө, эгерде бул топту таза подгруппа катары камтыган ар бир абелиялык топтун түздөн-түз суммасы болсо, алгебралык компакттуу деп айтылат.

No comments:

Post a Comment

20th century, 20th century, FIFA Club of the Century

20-кылым: 20- кылым ( ХХ кылым ) 1901-жылдын 1-январында (MCMI) башталып, 2000-жылы 31-декабрда аяктаган (MM). 20-кылымда доорду ан...