数学関数解析学関連分野においてベクトル空間の部分集合が併呑集合(へいどんしゅうごう、: absorbing set, absorbent set)とは、その部分集合を「膨張」させて空間の任意の点を含むようにできるものを言う。

定義

編集

あるいは複素数 F 上のベクトル空間 X を考える。

X の部分集合 A, B に対し、適当な正数 α が存在して、|λ| ≥ α なる任意のスカラー λ に対して λAB が成立するとき、AB併呑すると言う。ただし、λA := {λa : aA} である。X の部分集合 AX の任意の点を併呑するとき、AX併呑集合であるという。

  • 任意の位相線型空間において、零ベクトル 0 の近傍は併呑である。特に半ノルム線型空間において、単位球体は併呑である。
  • 局所凸空間においては定義により併呑である。樽は任意の有界完備凸部分集合を併呑する。さらに空間が準完備ならば樽は任意の有界部分集合を併呑する。

性質

編集
  • 有限個の併呑集合の共通部分は、併呑である。

関連項目

編集

参考文献

編集
  • Robertson, A.P.; W.J. Robertson (1964). Topological vector spaces. Cambridge Tracts in Mathematics. 53. Cambridge University Press. p. 4 
  • Schaefer, Helmuth H. (1971). Topological vector spaces. GTM. 3. New York: Springer-Verlag. p. 11. ISBN 0-387-98726-6 
  • ニコラ・ブルバキ『位相線型空間』〈数学原論〉。