解析的
表示
数学において解析的 (analytic) という単語は多義であり、例えば以下で用いられる:
- 解析学に関する、の意であるもの:
- 解析関数に関する、の意であるもの:
- 解析函数: 函数が解析的であるとは、それが局所的に収斂冪級数として与えられることを言う。
- 解析的延長: 局所的に与えられた解析函数を、その解析性を保ったままでより大域的に(定義域を)延長する方法。解析接続とも。
- 解析的容量: ある種の有界な解析函数がどれほど大きくなるかを記述する数
- 解析的多様体: 遷移写像が解析的であるような多様体。
- 解析的代数多様体: 解析函数の共通零点集合(多項式函数の場合が代数多様体)。解析的集合とも。その貼りあわせとして解析空間が定義される。
- 解析的表示: 数式の表示が解析的または閉じた形の式であるとは、それが既知の単純な操作(演算や函数など)によって直ちに計算できる状態であることをいう。
- 集合論
- 証明論
- 解析的証明: in structural proof theory, a proof whose structure is simple in a special way
- Method of analytic tableaux, a fundamental concept in automated theorem proving
- 数値計算
- 解析要素法: 偏微分方程式の数値解法の一種
- その他
注釈
[編集]- ^ Weisstein, Eric W. "Analytic." From MathWorld - A Wolfram Web Resource. http://mathworld.wolfram.com/Analytic.html
外部リンク
[編集]