冪等性を持つ関数について
どうも,∃数学徒です.興味を持ったので,冪等性を持つ実数関数について考察していきます.冪等性というのが一般的に使われる用語なのかは分かりません.
1,冪等性の定義
2,冪等性を持つ関数の例
1,冪等性の定義
写像f:A→Bが冪等性を持つ$\Leftrightarrow$$\forall$a$\in$A,$\normalsize{f}$($\normalsize{f}$($\normalsize{a}$)=$\normalsize{f}$($\normalsize{a}$)
すなわち,$\normalsize{f}$$\circ$$\normalsize{f}$=$\normalsize{f} $である.
($\circ$は合成写像を表すものとする.)
$\underbrace{f \circ,,, \circ f }$を$f^{n}$と略記する.
n個の合成
冪等性をもつ写像fについて,定義から以下が分かる.
任意のn$\in \mathbb{N}$に対して,$f^{n}= f^{}$
これが冪等性と言われる理由です.
集合論的に定義をしてみましょう.
写像f:A→Bが冪等性を持つ$\Leftrightarrow$$\forall$a$\in$A,$\exists$!b$\in$B,(a,b),(b,b)$\in \normalsize{f} \subset \normalsize{A} \times\normalsize{B}$
2,冪等性を持つ関数の例
床関数$\lfloor x \rfloor$や天井関数$\lceil x \rceil$,絶対値関数$\left| x \right|$などがある.これらの関数の冪等性は容易に分かる.
位相空間論における閉包作用子や開核作用子などがある.
例1の床関数の概念を少し拡張しましょう.$\normalsize{w} \in \mathbb{R}_{>0}$に対して
$$
\lfloor x \rfloor _{w}= \max_{k\in\mathbb{Z}} \lbrace kw\in\mathbb{R}\vert kw≦x\rbrace
$$
とする.
$\normalsize{w}$=1とすると床関数に一致する.
次に$\normalsize{w} \longrightarrow0$の極限の関数のようなものを考えたい.既出の概念かもしれないですが,これを考えるために一つ定義をしましょう.
任意の$\lambda \in \mathbb{R_{>0}}$に対して実数関数$f_{\lambda}$:$\mathbb{R} \longrightarrow \mathbb{R}$が対応してるとき,その対応を写像とみなし,関数系と呼ぶ.$\lbrace f_{\lambda} \rbrace _{\lambda\in\mathbb{R_{>0}}}$と表記する.
かなーり微妙な議論です.ご指摘があれば遠慮なくお願いします.
この関数系の極限を考えましょう.
関数系$\lbrace f_{\lambda} \rbrace_{\lambda\in\mathbb{R_{>0}}}$が$\lambda \longrightarrow$$\normalsize{a}$で関数$\normalsize{F}$に各点収束するとは
$\forall \normalsize{x}\in\mathbb{R}$,$\forall \varepsilon \gt$0,$\exists \delta \gt 0$
($ \left| \normalsize{a} - \lambda \right| \lt \delta \Rightarrow \left| \normalsize{F}(x)- \normalsize{f}_{\lambda}(x) \right| \lt \varepsilon$)
が成り立つことである.
関数系$\lbrace f_{\lambda} \rbrace_{\lambda\in\mathbb{R_{>0}}}$が$\lambda \longrightarrow$$\normalsize{a}$で関数$\normalsize{F}$に一様収束するとは
$\forall \varepsilon \gt$0,$\exists \delta \gt 0$,$\forall \normalsize{x} \in \mathbb{R}$
($ \left| \normalsize{a} - \lambda \right| \lt \delta \Rightarrow \left| \normalsize{F}(x)- \normalsize{f}_{\lambda}(x) \right| \lt \varepsilon$)
さて,次に直観的にはほぼ自明ですが面白い考え方を与えてくれる命題を証明しましょう.
先に定義した関数系$\lbrace \lfloor x \rfloor _{w} \rbrace _{w\in\mathbb{R_{>0}}}$は$\normalsize{w}$$\longrightarrow$0で$\normalsize{F}$$\left( x \right)$=$\normalsize{x}$に一様収束する.
$\varepsilon \gt$0を任意にとる.$\delta = \frac{1}{2} \varepsilon$とする.
($\delta \lt \varepsilon$ならなんでもいい.)
$\normalsize{w} \lt \delta$を仮定する.$\normalsize{x} \in \mathbb{R}$を任意にとる.
すると,ある$\normalsize{k} \in \mathbb{Z}$が存在して,$\normalsize{kw} \leqq \normalsize{x} \leqq \normalsize{(k+1)w}$
$\lfloor x \rfloor _{w} = \normalsize{kw}$がわかる.
よって,
$\left| x-\lfloor x \rfloor _{w} \right|$=$\left| x-\normalsize{kw} \right|$$\lt \normalsize{w} \lt \delta \lt \varepsilon$
$\Box$
関数$\normalsize{F}$$\left( x \right)$=$\normalsize{x}$は幅0の床関数であると解釈できます.
冪等性を持つ連続関数は定数関数と絶対値関数と$\mathbb{R}$から$\mathbb{R}$への恒等写像のみである.
追記:$- \left| x \right|$も連続かつ冪等ですね。
まあ,正直他にもある気がしていますが冪等性を持つ連続関数には興味があります.
読んでくれてありがとうございました.
この記事を高評価した人
この記事に送られたバッジ
投稿者
