|
数学において、位相空間 ''X'' の 1 の分割（いちのぶんかつ、）は、''X'' から単位区間 への連続関数の集合 ''R'' であって、すべての点 に対して以下の二条件を満たすものである： * ''x'' の近傍が存在して ''R'' の関数の有限個を除くすべては 0 である； * ''x'' におけるすべての関数の値の和は 1 である、すなわち、 1 の分割は、しばしばそれによって局所的な構成を空間全体に拡張することができるから、有用である。またデータの内挿、信号処理、スプライン曲線の理論においても重要である。 == 存在 == 1 の分割の存在は 2 つの異なる形式を仮定する： # 空間の任意の開被覆 ''i''∈''I'' が与えられたとき、''同じ集合 I 上''添え字づけられた分割 ''i''∈''I'' が存在して、supp ρ''i''⊆''U''''i''。そのような分割を開被覆 ''i'' に属する (subordinate to the open cover) と言う。 # 空間の任意の開被覆 ''i''∈''I'' が与えられたとき、別のでもよい添え字集合 ''J'' 上添え字付けられた分割 ''j''∈''J'' が存在して、各 ρ''j'' はコンパクト台を持ち各 ''j'' ∈ ''J'' に対してある ''i'' ∈ ''I'' が存在して supp ρ''j''⊆''U''''i''。 したがって、開被覆によって添え字付けられた台を持つかコンパクト台を持つかを選ぶ。空間がコンパクトであれば、どちらの要求も満たす分割が存在する。 有限開被覆は、空間が局所コンパクトかつハウスドルフであれば、それに属する 1 の連続分割を必ず持つ。空間のパラコンパクト性は任意の開被覆に対しそれに属する 1 の分割が存在することを保証する必要条件である。空間が属する圏に依っては十分条件でもある。構成は軟化子 （隆起関数）を用いる。これは連続で滑らかな多様体 には存在するが、には存在しない。したがって解析的多様体の開被覆に対しては、その開被覆に属する 1 の解析的分割は一般には存在しない。 ''R'' と ''S'' がそれぞれ空間 ''X'' と ''Y'' の 1 の分割であれば、元ごとの積全体の集合 はカルテジアン積空間 ''X''×''Y'' の 1 の分割である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「1の分割」の詳細全文を読む スポンサード リンク
|