Nuprl Definition : fun-series-converges-absolutely
Σn.f[n; x]↓ absolutely for x ∈ I == Σn.|f[n; x]|↓ for x ∈ I
Definitions occuring in Statement :
fun-series-converges: Σn.f[n; x]↓ for x ∈ I,
rabs: |x|
Definitions occuring in definition :
fun-series-converges: Σn.f[n; x]↓ for x ∈ I,
rabs: |x|
FDL editor aliases :
fun-series-converges-absolutely
Latex:
\mSigma{}n.f[n; x]\mdownarrow{} absolutely for x \mmember{} I == \mSigma{}n.|f[n; x]|\mdownarrow{} for x \mmember{} I
Date html generated:
2016_05_18-AM-09_56_07
Last ObjectModification:
2015_09_23-AM-09_14_30
Theory : reals
Home
Index