Senfineco: Malsamoj inter versioj

[kontrolita revizio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
aldonetoj
Martinod (diskuto | kontribuoj)
eNeniu resumo de redakto
Linio 32:
En la reela [[analitiko]], la simbolo ∞ (nomita "infinito") reprezentas nebaritan limeson. ''x'' → ∞ signifas ke ''x'' kreskas senbare, kaj ''x'' → -∞ signifas ke ''x'' malkreskas senbare.
 
Senfineco estas uzata ofte ne nur por difini limeson, sed kiel memstara kvanto aldonita al la aro de realajreelaj nombroj kiel topologia spaco.
 
=== La kompleksa analitiko ===
 
Simile kiel en la realareela analitiko, ∞ reprezentas nebaritan sensignan limeson. ''x'' → ∞ signifas ke la grando |''x''| kreskas senbare. Kaj simile, punkto ∞ aldoneblas al la kompleksa spaco kiel topologia spaco.
 
=== La nenorma kalkulo ===
Linio 54:
Unu el la ĉefaj teoremoj de Cantor estas, ke la aro de reelaj nombroj pli grandas ol la aro de naturaj nombroj, t. e. la aro de la reeloj estas nenumerebla. Eble eĉ pli surpriza estas tio, ke la aro de [[racia nombro|raciaj nombroj]] ja estas numerebla, ĉar eblas difini unu-al-unu-rilaton inter la du aroj de naturaj nombroj kaj raciaj nombroj. Cantor elpensis utilan pruvan metodon, la ''diagonalan argumenton'', por pruvi tiajn rezultojn.
 
La [[kontinuaĵa hipotezo]] temas pri tio, ĉu ekzistas aro kun kvantonombro inter tiu de la naturaj nombroj kaj tiu de la realojreelaj nombroj. Estis pruvite ke ĝi nek pruveblas nek kontraŭpruveblas per la kutimaj aroteoriaj aksiomoj (nomataj ''Zermelo-Fraenkel-aksiomoj kun elekto-aksiomo'' (ZFE)), do aperas du variaĵoj de aroteorio, depende de tio, ĉu oni supozas ĝin aŭ ĝian malon kiel aldonan aksiomon.
 
== Geometrio kaj topologio ==