周期可微函数的连续模极值性质

给出了实现上确界ｓｕｐｆ∈Ｗｒ，α∞ｗ（ｆ，ｔ）。