Nuprl Definition : Inorm
||f[x]||_I == sup{|f[x]||x ∈ I}
Definitions occuring in Statement :
range-sup: sup{f[x]|x ∈ I}
,
rabs: |x|
Definitions occuring in definition :
range-sup: sup{f[x]|x ∈ I}
,
rabs: |x|
FDL editor aliases :
Inorm
Latex:
||f[x]||\_I == sup\{|f[x]||x \mmember{} I\}
Date html generated:
2016_05_18-AM-09_16_56
Last ObjectModification:
2015_09_23-AM-09_10_33
Theory : reals
Home
Index