Vikipedio:Projekto matematiko/Arĥimeda propraĵo

El Vikipedio

Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Arĥimeda propraĵo (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi.

En matematiko, la Arĥimeda propraĵo de (mendita, ordita) algebra strukturo, kiel (lineare, linie, tutece) ordita grupo, kaj en aparta de la reelaj nombroj, estas la propraĵo de havanta ne (ne-nulo) (infinitezimoj, infinitezimas). (Strukturoj, Strukturas) (tiu, ke, kiu) manko (infinitezimoj, infinitezimas) estas (nomita, vokis) Arĥimeda; tiuj (tiu, ke, kiu) posedi (infinitezimoj, infinitezimas) estas ne-Arĥimeda. La koncepto estas nomita post la antikva Greka geometriisto kaj fizikista Arkimedo de Sirakuso. Ekzemple, vidi Arĥimeda grupo. Malgranda nombro x estas klasita kiel infinitezimo se la neegalaĵo

ĉiam tenas, ne (materio, afero) kiel granda estas la finia nombro n de (termoj, kondiĉoj, terminoj, termas, terminas) en ĉi tiu (sumo, sumi).

La malesto de nenulaj infinitezimaj reelaj nombroj sekvas de la suprema propraĵo de la reelaj nombroj, kiel sekvas. Se nenulo (infinitezimoj, infinitezimas) ekzisti, tiam la aro de ĉiuj de ilin havas supremo c. Ĉu c estas infinitezimo aŭ ĝi estas ne. Se c estas infinitezimo, tiam (do, tiel) estas 2c, sed (tiu, ke, kiu) kontraŭdiras la fakto (tiu, ke, kiu) c estas supera baro de la aro de ĉiuj (infinitezimoj, infinitezimas) (se ne c estas 0, tiel ke 2c estas ne pli granda ol c). Se c estas ne infinitezimo, tiam neniu estas c/2, sed (tiu, ke, kiu) kontraŭdiras la fakto (tiu, ke, kiu) inter ĉiuj superaj baroj, c estas la plej malgranda (se ne c estas 0, tiel ke c/2 estas ne (pli minuskla, pli malgranda) ol c).

Arkimedo komencita (tiu, ke, kiu) por (ĉiu, iu) du segmentoj, kuŝiganta la pli mallonga kapopiede nur finia nombro de (tempoj, tempas) estos ĉiam sufiĉi al krei segmento superanta la pli longa de la du en longo. _Nonetheless_, Arkimedo uzita (infinitezimoj, infinitezimas) en heŭristiko (argumentoj, argumentas), sed li malkonsentis (tiu, ke, kiu) tiuj estis (finita, finpretigita) matematikaj pruvoj.