Žinynas
Žinių pagrindai
Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.
Daugiau filtrų
Žinyno įrašai
Rodoma įrašų: 121–150 iš 1709
Aibių egzistavimą nusako aiškiai suformuluotos aksiomos ir aksiomų schemos.
ApibrėžimasMatematika ir logikaRealiųjų skaičių pilnumasNetuščios iš viršaus aprėžtos realiųjų skaičių aibės turi mažiausius viršutinius rėžius.
Matematinis teiginysMatematika ir logikaBaigtinės ir skaičiosios aibėsPagal šį susitarimą skaičiosioms aibėms priskiriamos ir baigtinės aibės.
ApibrėžimasMatematika ir logikaEkvivalentiškumo sąryšiai ir ekvivalentiškumo klasėsEkvivalentiškumo sąryšis suskaido aibę į klases.
ApibrėžimasMatematika ir logikaModeliai, pilnumas ir nepilnumasSemantinis išplaukimas ir aritmetinis pilnumas yra skirtingos sąvokos.
Matematinis teiginysMatematika ir logikaSveikųjų skaičių dalumas ir Euklido algoritmasKartojant dalybą apskaičiuojamas didžiausias bendrasis daliklis.
MetodasMatematika ir logikaVienintelis sveikųjų skaičių skaidinys pirminiais dauginamaisiaisTeigiami sveikieji skaičiai, didesni už vienetą, turi vienintelį skaidinį pirminiais dauginamaisiais.
Matematinis teiginysMatematika ir logikaSveikųjų skaičių aritmetika moduliu nLyginys sieja sveikuosius skaičius, kurių skirtumas yra n kartotinis.
ApibrėžimasMatematika ir logikaKinų liekanų teoremaTarpusavyje pirminiai moduliai apibrėžia vieną bendrą liekaną.
Matematinis teiginysMatematika ir logikaGrupės ir Abelio grupėsGrupėje apibrėžta asociatyvi operacija, yra neutralusis elementas ir atvirkštiniai elementai.
ApibrėžimasMatematika ir logikaGrupių homomorfizmai ir branduoliaiHomomorfizmai išsaugo grupės operaciją.
ApibrėžimasMatematika ir logikaŽiedai ir susitarimai dėl vienetoŽiede sudėtis derinama su distributyviąja daugyba.
ApibrėžimasMatematika ir logikaKūnai ir dalybaKūne galima dalyti iš bet kurio nenulinio elemento.
ApibrėžimasMatematika ir logikaPagrindinė algebros teoremaNekonstantiniai daugianariai su kompleksiniais koeficientais išskaidomi tiesiniais dauginamaisiais.
Matematinis teiginysMatematika ir logikaMetrinės erdvėsMetrika apibrėžia atstumą, tenkinantį tris aksiomas.
ApibrėžimasMatematika ir logikaTopologinės erdvėsTopologija nurodo, kurie poaibiai yra atvirieji.
ApibrėžimasMatematika ir logikaKompaktiškumas ir baigtiniai podengiaiKompaktiškumas leidžia iš kiekvieno atvirojo denginio išrinkti baigtinį podengį.
ApibrėžimasMatematika ir logikaAtvaizdžių tarp topologinių erdvių tolydumasTolydumas išsaugo atvirumą per pirmavaizdžius.
ApibrėžimasMatematika ir logikaEuklidinė ir kreivųjų paviršių geometrijaTrikampio kampų sąryšiai priklauso nuo geometrijos.
Matematinis teiginysMatematika ir logikaAbstrakčiosios vektorinės erdvėsVektorinės erdvės dėsniai galioja ne tik koordinatėmis aprašytoms rodyklėms.
ApibrėžimasMatematika ir logikaBazės ir baigtinė dimensijaBazė generuoja erdvę be tiesinio pertekliaus.
ApibrėžimasMatematika ir logikaRango ir defekto teoremaBranduolio ir vaizdo matmenų suma lygi apibrėžimo srities matmeniui.
Matematinis teiginysMatematika ir logikaTikrinės vertės ir tikriniai vektoriaiTikrinis vektorius pakinta tik skaliariniu daugikliu.
ApibrėžimasMatematika ir logikaBaigtės dimensijos savijungio operatoriaus spektrinė teoremaSavijungiai operatoriai turi ortonormuotąsias tikrinių vektorių bazes.
Matematinis teiginysMatematika ir logikaRealusis singuliariųjų verčių skaidinysBet kuri realioji stačiakampė matrica turi ortogonaliuosius daugiklius.
Matematinis teiginysMatematika ir logikaKonvergavimas ir Koši sekosRealiųjų skaičių sekos konvergavimą galima tikrinti pagal atstumus tarp pakankamai didelių indeksų narių.
Matematinis teiginysMatematika ir logikaBegalinės eilutės ir absoliutusis konvergavimasEilutės konvergavimą nusako jos dalinių sumų konvergavimas.
Matematinis teiginysMatematika ir logikaBaigtinė Teiloro aproksimacija ir liekamasis narysLiekamasis narys kiekybiškai įvertina baigtinę polinominę aproksimaciją.
Matematinis teiginysMatematika ir logikaTolygusis funkcijų konvergavimasViena indekso riba leidžia kontroliuoti paklaidą kiekviename apibrėžimo srities taške.
Matematinis teiginysMatematika ir logikaLebego integralas ir integruojamumasIntegravimas pradedamas nuo mačiųjų paprastųjų funkcijų.
Apibrėžimas