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

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