ビングの距離化定理

ビングの距離化定理

数学の位相幾何学において、ビングの距離化定理は位相空間の距離化可能性を特徴づける重要な命題です。この定理は、アーエイチ・ビングの名に由来し、特定の条件が満たされることで位相空間が距離化可能となることを示しています。

ビングの距離化定理によると、ある位相空間 $X$ が距離化可能であるための必要十分条件は、以下の三つに集約されます。まず、その位相空間が「正則」であること、次に「T0」であること、そして最後に「$ ext{σ-離散的}$な基底を持つことである」とされています。ここで、正則性とは、任意の点と異なる閉集合に対して分離可能な近傍が存在することを指します。また、T0空間は、任意の異なる点がそれぞれの単体的な近傍を持つという特性を持ちます。最後に、σ-離散的な基底とは、その基底が可算個の離散族の合併から構成されていることを示します。

ビングの距離化定理は、位相空間が距離化可能であるための必要条件と十分条件の両方を提供している点で、同じく距離化に関する他の定理、特にウリゾーンの距離化定理と異なります。後者の定理は、距離化可能性のための十分条件のみを与えるものであり、必要条件については触れていません。これに対してビングの定理は、より厳密な条件を提示しています。

この定理は1951年にビングによって初めて証明されましたが、当時、長田潤一やユーリ・スミルノフといった他の数学者たちもほとんど同時期に独立して同様の結果を得ており、今日では「ビング＝長田＝スミルノフの距離化定理」として一括りに呼ばれることもあります。これにより、ビングの課題は一つの集合的な成果として、数学の多くの分野に影響を与えることとなりました。

さらに、この定理は他の距離化定理を証明する際にしばしば利用されます。例えば、collectionwise normalなムーア空間が距離化可能であることを示すムーアの距離化定理は、このビングの距離化定理の直接的な帰結でもあります。このように、ビングの距離化定理は位相幾何学の基礎にとどまらず、数多くの応用と結果を生む重要な武器となっています。

参考文献

• - Engelking, R. (1989). General Topology. Heldermann Verlag Berlin. ISBN 3-88538-006-4

もう一度検索