双複素数環に位相を入れる

双複素数解析入門　第6回

この講義の目的は双複素関数の解析をすることでした．関数を解析するということは，関数の微分可能性や連続性など，つまり極限を議論するということです．しかし，今この段階では双複素数環に位相すら入っていないのです．$\mathbb{BC}$には距離も開集合も何も定義されていません．ということで今回は$\mathbb{BC}$に位相を入れることにします．

位相を入れるなんて難しい…．と思いますがそんなことはありません．いたって常識的な位相を入れます．$\mathbb{BC}$の定義を振り返ってみましょう．
$$\mathbb{BC}=\{Z=z_1+j{z}_2|z_1,z_2\in \mathbb{C}\}$$
でした．これは，二つの複素数を同時に扱っていると考えてもよいでしょう(もしくは4つの実数を同時に扱っている)．つまり，複素数のときと同じように距離を定めることができそうです．距離が定まるとその距離から誘導される位相が入りますので，これで極限といった連続性を議論することができそうですね．

定められる，と言っているのでこれは実際に距離関数になることが示されます．なのでこの主張は定義-命題という感じでしょうか…．この距離関数たちにより，$\mathbb{BC}$は距離空間になります．どの距離を使うかは場面によって適切なものを選べばよいです．この距離たちが幾何的にどのようなものを表しているのかは考えてみるとよいでしょう．また，$d_0$については，
$$d_0(Z,W)=\sqrt{{\displaystyle \frac{|Z_e-W_e{|}^2+|Z_{e^{†}}-W_{e^{†}}{|}^2}{2}}}$$
と書き直すこともできます．この距離関数の定義から次の命題が成り立ちます．

$ZW=(2-i)e+(2-4i)e^{†}$より，
$$\begin{array}{rl}\parallel ZW\parallel & ={\displaystyle \frac{1}{\sqrt{2}}}\sqrt{|2-i{|}^2+|2-4i{|}^2}\\ & ={\displaystyle \frac{1}{\sqrt{2}}}\sqrt{5+20}\\ & ={\displaystyle \frac{5\sqrt{2}}{2}}\end{array}$$
である．また，
$$\begin{array}{rl}\parallel Z\parallel \parallel W\parallel & ={\displaystyle \frac{1}{\sqrt{2}}}\sqrt{|-2+i{|}^2+|1+3i{|}^2}{\displaystyle \frac{1}{\sqrt{2}}}\sqrt{|-1{|}^2+|-1-i{|}^2}\\ & ={\displaystyle \frac{1}{2}}\sqrt{5+10}\sqrt{1+2}\\ & ={\displaystyle \frac{3\sqrt{5}}{2}}\end{array}$$
実際に$\parallel ZW\parallel \ne \parallel Z\parallel \parallel W\parallel$であることが示されましたね．

今回はここまでにします．ありがとうございました．