Preciza supra rando: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Maksim (diskuto | kontribuoj) Neniu resumo de redakto |
Maksim (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 19:
:<math>\sup \{ a + b : a \in A \mbox{ and } b \in B\} = \sup(A) + \sup(B)</math>
La preciza supra rando de ''S'' povas aparteni aŭ ne aparteni al ''S''. Aparte, en la tria ekzemplo la preciza supra rando de aro de [[Racionala nombro|racionalaj nombroj]] estas [[Neracionala nombro|malracionala]] (kio signifas ke la racionaloj estas [[Plena spaco|neplena spaco]]). Tamen, se la preciza supra randa valoro apartenas al la aro tiam ĝi estas la
<!--
Ekde _sup_(''S'') estas la ''plej malgranda'' supera baro, al montri (tiu, ke, kiu) _sup_(''S'') ≤ ''a'', nur unu havas al montri (tiu, ke, kiu) ''a'' sin estas supera baro por ''S'', kio estas nur unu havas al montri (tiu, ke, kiu) ''x'' ≤ ''a'' por ĉiuj ''x'' en ''S''. Montranta (tiu, ke, kiu) _sup_(''S'') ≥ ''a'' estas iom (pli peza, pli peza): por (ĉiu, iu) ''b'' < ''a'', ni devas trovi ''x'' en ''S'' kun ''x'' ≥ ''b''.
Linio 110 ⟶ 111:
Estas korespondanta '(plej granda, plej granda)-suba-bara propraĵo'; orda aro _possesses_ la (plej granda, plej granda)-suba-bara propraĵo se kaj nur se ĝi ankaŭ _possesses_ la plej malgranda-supra-bara propraĵo; la plej malgranda-supra-baro de la aro de subaj baroj de aro estas la (plej granda, plej granda)-suba-baro, kaj la (plej granda, plej granda)-suba-baro de la aro de superaj baroj de aro estas la plej malgranda-supra-baro de la aro.
-->
== Vidu ankaŭ jenon: ==
* [[preciza suba rando]]
{{komentitaj partoj}}
[[Kategorio:Matematiko]]
| |||