関数空間における代数構造の解析