Cortes de Dedekind: diferenças entre revisões

Intuitivamente um corte pode ser imaginado como uma semi-reta racional que se estende a ''menos infinito'' e que pode ou não temter maior elemento.

Seja D o conjunto de todos os cortes,. podePode-se definir uma ordem, uma soma e multiplicação em D, de forma com que D seja um corpo ordenado, e finalmente, D, definido dessa forma satisfaz o Postulado de Dedekind, ou seja, D é completo.