が "l"2("μ")において稠密であるための必要十分条件は