CenteredInterval

CenteredInterval[x,dx]

実数 x および dx に対して実数区間{a in TemplateBox[{}, Reals]|x-dx<=a<=x+dx}を含む中心がある区間を与える．

CenteredInterval[x+ y,dx+ dy]

複素長方形{a+ⅈ b in TemplateBox[{}, Complexes]|x-dx<=a<=x+dx∧y-dy<=b<=y+dy}を含む中心がある区間を与える．

CenteredInterval[c]

近似数 c に対して c の誤差境界内のすべての値を含む中心がある区間を与える．

詳細

  • 中心がある区間は中心半径区間あるいは中半径区間としても知られている．
  • CenteredIntervalは，通常，数値計算で累積された誤差の検証済み境界を得るために使われる．中心がある区間の計算は，関数の全引数の誤差境界が与えられると関数値の誤差の信頼できる境界を与える．
  • CenteredInterval[…]は中心がある区間オブジェクトΔを，中心 ，半径 で与える． と は2つの分母をベキ乗したガウスの有理数である． と が実数ならΔは実区間を表し，それ以外の場合はΔは複素長方形を表す．
  • 中心がある区間引数は算術演算および多くの数学関数で使うことができる．f[Δ1,…,Δn]は中心がある区間オブジェクトΔを与える．これには任意の ai∈Δiについての f[a1,…,an]が含まれる．
  • IntervalMemberQは区間への帰属や区間間の包含関係の決定に使うことができる．
  • EqualやLess等の有理演算子は，互いに素な区間を与えられると常に明示的なTrueまたはFalseの結果を与える．
  • StandardFormおよび関連する形式では，CenteredIntervalオブジェクトは中心と半径の近似値しか表示されない省略形で出力される．
  • NormalはCenteredIntervalオブジェクトを確度が半径に対応する任意精度数に変換する．
  • Information[CenteredInterval[…], prop]は中心半径区間の特性 prop を与える．以下は指定可能な特性である．
  • "Center"区間の中心
    "Radius"区間の半径
    "Bounds"区間内の値の境界
  • Det，Inverse，LinearSolve，Eigensystem等の線形代数の演算は，CenteredInterval成分を持つ行列に使うことができる．

例題

すべて開くすべて閉じる

例  (3)

実区間を構築する：

この区間で関数を評価する：

結果を任精度数に変換する：

複素区間を構築する：

この区間で関数を評価する：

中心と半径の厳密値を抽出する：

矩形上での値の境界を計算する：

矩形上での値の集合を近似する：

計算された領域は境界内にある：

スコープ  (27)

中心・半径区間を構築する  (7)

中心と半径を指定して実区間を構築する：

中心と半径を指定して複素区間を構築する：

任意精度数を指定して中心がある区間を構築する：

有界のIntervalオブジェクトを中心がある区間に変換する：

2進ガウス有理数は半径0の区間として厳密に表現できる：

他の厳密数は非零の半径を持つ区間に変換される：

非零の機械精度数は$MachinePrecision精度数として扱われる：

機械精度の0を中心・半径区間に変換する：

区間演算  (5)

中心がある区間引数で演算操作を使う：

中心がある区間を数学関数の引数として使う：

中心がある区間と数値引数の演算は中心がある区間を返す：

返された区間には入力区間内の関数のすべての値が含まれる：

値の集合が非有界のときは，区間演算操作はIndeterminateを返す：

区間特性  (5)

実区間の特性を抽出する：

中心と半径は2進有理数である：

区間の要素の有理境界を求める：

区間を任意精度数に変換する：

複素区間の中心と半径を抽出する：

中心と半径は2進ガウス有理数である：

区間の要素のガウス有理境界を求める：

区間を任意精度数に変換する：

区間に属すかどうかをテストする：

区間に含まれるかどうかをテストする：

区間を可視化する：

実区間を比較する：

区間が交差する場合は比較はできない：

IntervalIntersectionを使って交点を計算する：

空区間はInterval[]として表される：

線形代数  (10)

CenteredInterval行列の積：

m と n のランダムな代表の mrep と nrep を求める：

mn が mrep と nrep の積を含むことを確認する：

CenteredInterval行列を整数乗する：

m のランダムな代表の mrep を求める：

mpow がMatrixPower[mrep,17]を含むことを確認する：

CenteredInterval行列の指数行列：

m のランダムな代表の mrep を求める：

mexp が mrep の指数行列を含むことを確認する：

CenteredInterval行列の行列式：

m のランダムな代表 mrep を求める：

mdet が mrep の行列式を含むことを確認する：

CenteredInterval行列の逆行列：

m のランダムな代表の mrep を求める：

minv が mrep の逆行列を含むことを確認する：

CenteredInterval行列について を解く：

m と b のランダムな代表の mrep と brep を求める：

sol がLinearSolve[mrep,brep]を含むことを確認する：

CenteredInterval行列の固有系：

m のランダムな代表 mrep の固有系を求める：

ベクトルを並べ替えてスケーリングし直した後で，vals が rvals，vecs が rvecs を含むことを確認する：

CenteredInterval行列のLU分解：

実対称正定値CenteredInterval行列のコレスキー(Cholesky)分解：

CenteredInterval行列の固有多項式：

m のランダムな代表 mrep を求める：

p の係数が mrep の固有多項式の係数を含むことを確認する：

特性と関係  (2)

区間演算は計算誤差の検証された境界を与える：

なので，についての誤差はで有界である：

任意精度数演算は線形項に基づいて誤差を推定してを得る：

Intervalは端点を指定することで与えられた実区間を表す：

区間をCenteredInterval表現に変換する：

変換し直す：

区間の端点が2進有理数ではないときは，変換によって区間が大きくなる：

考えられる問題  (1)

CenteredIntervalは有界の区間しか表せない：

Interval表現には非有界区間も使うことができる：

Wolfram Research (2021), CenteredInterval, Wolfram言語関数， https://reference.wolfram.com/language/ref/CenteredInterval.html.

テキスト

Wolfram Research (2021), CenteredInterval, Wolfram言語関数， https://reference.wolfram.com/language/ref/CenteredInterval.html.

CMS

Wolfram Language. 2021. "CenteredInterval." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CenteredInterval.html.

APA

Wolfram Language. (2021). CenteredInterval. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CenteredInterval.html

BibTeX

@misc{reference.wolfram_2024_centeredinterval, author="Wolfram Research", title="{CenteredInterval}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/CenteredInterval.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_centeredinterval, organization={Wolfram Research}, title={CenteredInterval}, year={2021}, url={https://reference.wolfram.com/language/ref/CenteredInterval.html}, note=[Accessed: 22-November-2024 ]}