Дедекинд кесилиши

Дедекинд кесилиши, кесилиш чыныгы сандардын (R) көптүгүнүн ɑ ϵ A жана b ϵ B үчүн a<b барабарсыздыгы аткарылгандай, куру эмес А жана В көптүктүрүнө ажырашы. Д. к. A/B символу менен белгиленет. A/B кесилиштин А көптүгү төмөнкү, ал эми В көптүгү жогорку классы деп аталат. Рационалдык сандардын Дедикинд кесилишинин көптүгү чыныгы сандар теориясын түзүүдө колдонулат. Чыныгы сандардын көптүгү менен түз сызыктын чекиттеринин арасында өз ара бир маанилүү туура келүүчүлүк болгондуктан, түз сызыктын үзгүлтүксүздүгүн аныктоодо да Дедикинд кесилиши колдонулат. Дедикинд кесилиши Дедекинд аксиомасы деп да аталат. 1872-жылы немис математиги Р. Дедекинд сунуш кылган. 
Категория:Физика
 Колдонулган адабияттар 
 “Кыргызстан” улуттук энциклопедиясы: 3-том. Башкы редактору Асанов Ү. А. К 97. Б.: Мамлекеттик тил жана энциклопедия борбору, 2011. 784 бет, илл. ISBN 978 9967-14-074 -5