Nuprl Definition : converges-absolutely
converges-absolutely(n.x[n]) ==  Σn.|x[n]|↓
Definitions occuring in Statement : 
series-converges: Σn.x[n]↓
, 
rabs: |x|
Definitions occuring in definition : 
series-converges: Σn.x[n]↓
, 
rabs: |x|
FDL editor aliases : 
converges-absolutely
converges-absolutely
Latex:
converges-absolutely(n.x[n])  ==    \mSigma{}n.|x[n]|\mdownarrow{}
Date html generated:
2016_05_18-AM-07_59_19
Last ObjectModification:
2015_09_23-AM-09_03_12
Theory : reals
Home
Index