局所化関数群:定義と性質