点ごと
From Wikipedia, the free encyclopedia
点ごとの演算
成分ごとの演算
点ごとの関係
順序理論において関数の点ごとの半順序を定義することが一般的である.A, B を半順序集合として,関数 A → B 全体の集合は,すべての x ∈ A に対して f(x) ≤ g(x) であるときに f ≤ g とすることで順序付けられる.点ごとの順序は半順序集合のいくつかの性質を受け継ぐ.例えば A と B が連続束であれば,関数 A → B 全体の集合も点ごとの順序で連続束である[1].関数の点ごとの順序を用いて,他の重要な概念を簡潔に定義できる,例えば[2]:
- 半順序集合 P 上の閉包演算子は P 上の単調かつ冪等な自己写像(すなわち射影作用素)であってさらに idA ≤ c なるものである,ただし id は恒等写像である.
- 同様に,射影作用素 k が核作用素であることは,k ≤ idA であることと同値である.
が関数 f に各点収束するとは,X の各元 x に対して
となることをいう.