ДЕДЕКИНД КЕСИЛИШИ

ДЕ́ДЕКИНД КЕСИЛИШИ , к е с и л и ш – чыны­гы сандардын (R) көптүгүнүн a ∈ A ж-а b ∈ B үчүн a<b барабарсыздыгы аткарылгандай, ку­ру эмес А ж-а В көптүктүрүнө ажырашы. Д. к. A/B символу м-н белгиленет. A/B кесилиштин А көптүгү т ө м ө н к ү, ал эми В көптүгү ж о­г о р к у классы деп аталат. Рационалдык сан­дардын Д. к-нин көптүгү чыныгы сандар теория­сын түзүүдө колдонулат. Чыныгы сандардын көптүгү м-н түз сызыктын чекиттеринин ара­сында өз ара бир маанилүү туура келүүчүлүк бол­гондуктан, түз сызыктын үзгүлтүксүздүгүн анык­тоодо да Д. к. колдонулат. Д. к. Дедекинд ак­сиомасы деп да аталат. 1872-ж. немис матема­тиги Р. Дедекинд сунуш кылган.