写像の正規性に対する機能的アプローチ

この記事では、f-連続関数（写像について）およびそのファミリーの使用技術が開発されています。写像のためのウリソンの補題の証明が提示され、写像のためのブラウワー-ティエッツェ-ウリソン拡張定理の変種が証明されます。写像の正規性の特性が与えられ、写像の完全正規性の概念が導入されます。このアプローチでは最も最適であるようです。