正則関数とは？初心者が知っておく基本と直感共起語・同意語・対義語も併せて解説！

この記事を書いた人

岡田康介

名前：岡田康介（おかだこうすけ）ニックネーム：コウ、または「こうちゃん」年齢：28歳性別：男性職業：ブロガー（SEOやライフスタイル系を中心に活動）居住地：東京都（都心のワンルームマンション）出身地：千葉県船橋市身長：175cm 血液型：O型誕生日：1997年4月3日趣味：カフェ巡り、写真撮影、ランニング、読書（自己啓発やエッセイ）、映画鑑賞、ガジェット収集性格：ポジティブでフランク、人見知りはしないタイプ。好奇心旺盛で新しいものにすぐ飛びつく性格。計画性がある一方で、思いついたらすぐ行動するフットワークの軽さもある。 1日（平日）のタイムスケジュール 7:00 起床：軽くストレッチして朝のニュースをチェック。ブラックコーヒーで目を覚ます。 7:30 朝ラン：近所の公園を30分ほどランニング。頭をリセットして新しいアイデアを考える時間。 8:30 朝食＆SNSチェック：トーストやヨーグルトを食べながら、TwitterやInstagramでトレンドを確認。 9:30 ブログ執筆スタート：カフェに移動してノートPCで記事を書いたり、リサーチを進める。 12:30 昼食：お気に入りのカフェや定食屋でランチ。食事をしながら読書やネタ探し。 14:00 取材・撮影・リサーチ：街歩きをしながら写真を撮ったり、新しいお店を開拓してネタにする。 16:00 執筆＆編集作業：帰宅して集中モードで記事を仕上げ、SEOチェックやアイキャッチ作成も行う。 19:00 夕食：自炊か外食。たまに友人と飲みに行って情報交換。 21:00 ブログのアクセス解析・改善点チェック：Googleアナリティクスやサーチコンソールを見て数字を分析。 22:00 映画鑑賞や趣味の時間：Amazonプライムで映画やドラマを楽しむ。 24:00 就寝：明日のアイデアをメモしてから眠りにつく。

正則関数とは？初心者が知っておく基本と直感

正則関数とは複素数の世界でとても大事な性質を持つ関数のことです。日常の関数とは少し違い、あるエリア内で微分ができるときにだけ「正則」であると言います。ここでは中学生にもわかるように、できるだけ穏やかな言葉で、例え話や直感を使って解説します。

まず基本の定義から。複素数の領域を D とすると、ある関数 f が D の各点 z0 の近くで複素微分 f'(z0) を存在させられるとき、f はその点で連続であり、さらにその点で微分可能です。f が D の全域でこの性質を満たしていれば、f は D 上で正則関数と呼ばれます。ここでの微分とは実数の微分とは異なり、関数の値を複素数として扱い、極限の定義を複素数の領域で用いるものです。

正則であることには強い意味があります。最も重要なのは「局所的であること」です。正則関数は小さな領域に拡張しても複素平面上で滑らかに振る舞い、無限級数として表すことができるという性質を持ちます。実際にはある点の周りの十分小さな円領域内で f をその点の中心とする冪級数として展開でき、これを「テイラー展開」と呼びます。正則関数はすべてテイラー級数で近似できるのです。これが複素解析の強力な道具のひとつになります。

次に身近なイメージを紹介します。関数 f が正則であれば、点 z0 の周りで f の挙動を厳密に知ることができます。たとえば f を極限の連続性や微分の連続性という意味で「滑らか」と呼ぶことができます。さらに正則関数は連続、微分可能であることに加えて、複素平面の中の小さな領域での値の変化が非常に規則的です。これは解析学における「正則性の伝搬」という概念へつながります。

正則関数の特徴を整理する

以下の表は正則関数の特徴を整理したものです。重要な点には太字で着目しましょう。

able>特徴説明定義ある領域内で複素微分が存在すること局所表現点の近傍でテイラー展開が可能連結性連結な領域で正則性が維持される連続性正則関数は自動的に連続であるble>

実際の学習のコツとしては、まず「複素平面での微分」という概念を直感で掴むこと、次に「局所的な表現」が大事だと理解することです。正則関数は複素変数の世界での基本的な道具なので、後で複素積分や留数定理などの高度な話へ進むときにも強力な武器になります。

補足として、正則関数は実関数の「滑らかさ」以上の特別さを持つことを覚えておくと良いでしょう。例えば実関数の微分が存在するだけでは十分でないことが多いですが、正則関数では複素微分の存在だけで多くの性質が自動的に保証されることがあります。これが複素関数論の美しさの一つです。

このように、正則関数とは「定義された領域内で複素微分が存在し、その周りでさらに良い性質を持つ関数」のことです。次の章では、正則関数とよく出てくる用語（例：テイラー展開、解析的関数、留数定理）を一つずつ丁寧に解説します。

正則関数の同意語

解析的関数: 定義域の各点の周りで収束するテイラー級数として表せる関数。局所的には級数展開で表現でき、複素解析における正則性と等価な性質を指します。
複素解析関数: 複素数を変数とする関数で、定義域内の任意の点で正則（すなわち複素微分可能・テイラー展開を持つ）な性質を持つ関数。
ホロモルフィック関数: 英語の holomorphic に対応する日本語表現。定義域の全点で複素微分可能で、局所的にテイラー展開が存在する関数。
全純関数: 全ての複素平面上で正則な関数。正則関数の特別な場合で、全体にわたって正則な関数を指します。

正則関数の対義語・反対語

非正則関数: 正則関数ではない。定義域内の全ての点で複素微分が存在せず、局所的なべき級数展開ができない関数のこと。
非解析的関数: 解析的（べき級数展開が存在する）でない関数。正則関数は必ず解析的なので、非解析的は正則でないことの対義語として使われる。
複素導関数を持たない関数: 定義域内の点で複素導関数を一切持たない、あるいは持てない関数を指します。これも正則性を欠く状態を表します。
局所的に正則でない関数: 各点の近傍で局所的な正則性を満たさない関数。つまり、その点周りで正則性を確保できない関数のこと。
正則性を欠く関数: 正則性が欠如している関数全般を指します。複素平面上の開集合で複素微分が成立しない、あるいは局所的な正則展開ができないケースを含みます。

正則関数の共起語

複素関数: 複素数を入力に取り、複素数を返す関数。正則関数はこのような関数の一種です。
複素平面: 実部と虚部を持つ複素数の集合を、平面上の点として描いたもの。z = x + iy の形で表します。
定義域: 正則関数が定義されている領域。通常は開集合であることが多いです。
開集合: 点の周りの小さな領域もすべて含む集合。解析の前提として使われます。
連結開集合: 開集合のうち、途中で分かれていない一体の領域。正則関数はこのような領域でよく扱われます。
正則性: 局所的に複素微分可能である性質。正則関数の根幹となる特徴です。
コーシー-リーマン方程式: u(x, y) と v(x, y) が満たす微分方程式。これらが成立すると f(z) は正則になります。
コーシーの積分定理: 正則関数を閉曲線で囲んだ領域の境界上の積分はゼロになるという定理。
コーシーの積分公式: 領域内の点の値が、周囲の積分によって表せる公式。正則関数の重要な道具です。
テイラー展開: 正則関数をある点の周りでべき級数として展開する方法。局所的な形を知る手段です。
ローラン展開: 孤立奇点の周りで正則関数をべき級数展開する方法。特異点の近傍を解析します。
べき級数: 中心 z0 の周りでの冪級数展開。収束半径を持ち、正則性の局所表現に使われます。
収束半径: べき級数が収束する半径のこと。正則関数の展開が有効な範囲を決めます。
零点: 関数がゼロになる点。正則関数の零点は通常孤立点になる性質があります。
孤立点: 周囲の領域でのみ零点や特異点が現れ、それ以外の点では性質が異なる点。
導関数: 関数を微分して得られる新しい関数。正則関数は点ごとに導関数が存在します。
最大値原理: 正則関数の絶対値の最大は領域の内部ではとれず、境界でしか取らないという性質。
恒等定理: 領域内で二つの正則関数が同じ値を連続してとると、領域全体で同じ関数になるという定理。
リウヴィルの定理: 有界な正則関数は定数になるという重要な定理。

正則関数の関連用語

正則関数: 複素平面のある点の近傍で複素微分が存在する関数で、その近傍ではさらに無限回微分可能となる。これにより点の周りでテイラー級数展開が成立する。
局所正則: 定義域の任意の点の周辺で正則である性質。つまりどの点でもその近くで正則になっている関数のこと。
全純関数: 複素平面全体で正則に定義される関数。例として e^z や sin z などがある。
解析関数: 局所的にテイラー級数として展開できる関数。複素解析では正則関数と同義に使われることが多い。
テイラー級数展開: 正則関数はある点の周りで f(z) = a0 + a1(z−z0) + a2(z−z0)^2 + … の形で表せ、収束半径を持つ。
ローラン級数展開: 孤立特異点の近傍などで Laurent 展開を用いて f(z) = ∑ a_n (z−z0)^n を表すことができる。
複素微分: 複素関数を z について微分する操作で、正則性の基本条件と深く関わる。
複素平面: 実部と虚部を用いて z = x + iy で表される複素数の集合のこと。
コーシーRiemann方程式: 正則性の必要十分条件を与える微分方程式で、u_x = v_y かつ u_y = −v_x が成り立つとき f = u + iv は正則になる。
コーシーの積分公式: 正則関数の値は周りの閉曲線上の積分で求められ、点 z0 での値を取り出せる。
コーシーの積分定理: 正則関数 f の閉曲線周りの積分はゼロになる。
留数: Laurent 展開の−1 次の係数で、積分計算を行うときに重要な値。
留数定理: 閉曲線に沿う積分は曲線の内部の留数の和に等しくなる公式。
除去可能特異点: 孤立特異点のうち、適切な値を与えることで正則に拡張できる点。
極点: 孤立特異点の一種で、近づくと f(z) が有限次の反転次数を持つ分母により発散する点。
本質的特異点: Laurent 展開に無限個の負の次が現れる特異点。
最大模原理: 正則関数のモードの最大値は内部では達成されず、境界で達成されるという性質。
解析接続: 区分的に定義された解析関数を別の領域へ連続的に拡張していく考え方。
正則写像: 定義域内で正則な関数を用いて作られる写像。一般には局所的に良い挙動を示す。
定義域: 関数が定義されている複素平面上の点の集合。