Diferencies ente revisiones de «0,9 periódicu»

Contenido eliminado Contenido añadido
m Preferencies llingüístiques: "caracterizar" => "carauterizar"
m Bot: Troquéu automáticu de testu (-o]]s +os]] )
Llinia 275:
=== Sustracción non definida ===
 
Nos casos en que la operación de sustracción nun tea definida, entós 1&nbsp;−&nbsp;0,999... a cencielles nun existe, y les pruebes daes más arriba dexen de ser válides. Estructures matemátiques nes que la operación aditiva ta definida pero non la operación de sustracción inclúin, por casu, [[semigruposemigrupos]]s [[Conmutatividad|conmutativos]], [[monoide|monoides conmutativos]] y [[semianillo]]s. Richman considera dos d'estos sistemes, diseñaos de manera tal que 0,999... < 1.
 
De primeres, Richman define un ''númberu decimal'' non negativu como una espansión decimal lliteral. Define l'[[orde lexicográficu]] y la operación d'adición, notando que 0,999...&nbsp;<&nbsp;1 a cencielles porque 0&nbsp;<&nbsp;1 nel llugar de les unidaes, pero pa cualesquier ''x'' non terminal, tiense 0,999...&nbsp;+&nbsp;''x''&nbsp;=&nbsp;1&nbsp;+&nbsp;''x''. Depués, una peculiaridá de los númberos decimales, ye que l'adición non siempres puede atayase; otra ye que nengún númberu decimal correspuende a <sup>1</sup>⁄<sub>3</sub>. Dempués de definir la multiplicación, los númberos decimales formen un semianillo conmutativu positivu, totalmente ordenáu.<ref>Richman pp. 397–399.</ref>