エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2020-12-01から1日間の記事一覧

エレファントな関数論(4)

複素数を線型写像と考えて対角化すると良いと思われるのですが、その前にいったん行列を使って書き直してみます。 はユークリッド空間 の距離によるものとします。、 はそれぞれ 、 に関する の偏導関数を表します。命題 1 が の近傍で 級ならば は で全微分…

エレファントな関数論(3)

コーシー・リーマンの方程式 定義(全微分可能) の開集合 と に対して、写像 は を満たす、 が存在するとき において全微分可能であると言います。 が の近傍で 級ならば は で全微分可能となります。証明 、 は連続だから に対して適当な をとると とするこ…