点ごと 点ごとの概要

ウィキペディア

点ごと

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/11 06:10 UTC 版)

点ごとの演算

以下のような例がある．

(f + g)(x) = f(x) + g(x)　（点ごとの加法）

(f ⋅ g)(x) = f(x) ⋅ g(x)　（点ごとの乗法）

(λf)(x) = λ ⋅ f(x)　（点ごとのスカラー乗法）

ただし f, g: X → R.

点ごとの積，スカラーを参照．

点ごとの演算は終域上の対応する演算から結合性，可換性，分配性などの性質を引き継ぐ．点ごとでない関数の演算の例は畳み込みである．

R の代わりに代数的構造 A をとることで，X から A への関数全体の集合を類似の方法で同じタイプの代数的構造にすることができる．

成分ごとの演算

成分ごとの演算は通常ベクトルに定義され，ここでベクトルはある自然数 n とある体 K に対して集合 Kⁿ の元である．ベクトル v の i 番目の成分を v_i と書けば，成分ごとの加法は (u + v)_i = u_i + v_i である．

タプルは関数と見ることができ，ベクトルはタプルである．したがって，任意のベクトル v は f(i) = v_i なる関数 f: n → K に対応し，ベクトルの任意の成分ごとの演算はそれらのベクトルに対応する関数の点ごとの演算である．

点ごとの関係

順序理論において関数の点ごとの半順序を定義することが一般的である．A, B を半順序集合として，関数 A → B 全体の集合は，すべての x ∈ A に対して f(x) ≤ g(x) であるときに f ≤ g とすることで順序付けられる．点ごとの順序は半順序集合のいくつかの性質を受け継ぐ．例えば A と B が連続束であれば，関数 A → B 全体の集合も点ごとの順序で連続束である．関数の点ごとの順序を用いて，他の重要な概念を簡潔に定義できる，例えば：

• 半順序集合 P 上の閉包演算子は P 上の単調かつ冪等な自己写像（すなわち射影作用素）であってさらに id_A ≤ c なるものである，ただし id は恒等写像である．
• 同様に，射影作用素 k が核作用素であることは，k ≤ id_A であることと同値である．

無限項の点ごとの関係の例は関数の各点収束である――関数列

$\{f_{n}\colon X\to Y\}_{n=1}^{\infty }$

が関数 f に各点収束するとは，X の各元 x に対して

$\lim _{n\rightarrow \infty }f_{n}(x)=f(x)$

となることをいう．