Nuprl Definition : I-norm
||f[x]||_x:I == sup{|f[x]| | x ∈ I}
Definitions occuring in Statement :
range_sup: sup{f[x] | x ∈ I},
rabs: |x|
Definitions occuring in definition :
rabs: |x|,
range_sup: sup{f[x] | x ∈ I}
FDL editor aliases :
I-norm
Latex:
||f[x]||\_x:I == sup\{|f[x]| | x \mmember{} I\}
Date html generated:
2016_10_26-AM-09_56_06
Last ObjectModification:
2016_08_19-PM-10_41_15
Theory : reals
Home
Index