Less

x<y

が 未満であると判定されるとTrueを返す．

x1<x2<x3

が狭義の単調増加列である場合に，Trueを返す．

詳細

  • Lessは，強不等式あるいは厳密な不等式としても知られている．
  • Lessは，引数が実数である場合，TrueまたはFalseを返す．
  • Lessは引数が数ではない場合にある簡約を実行する．
  • 厳密な数において，Lessは数値順序付けを行うために，数値近似を内部的に使用する．この手続きは，大域変数$MaxExtraPrecisionの設定に影響を受ける．

例題

すべて開くすべて閉じる

例  (2)

数を比べる：

不等式を表す：

スコープ  (9)

数値不等式  (7)

不等式は実数についてのみ定義される：

有理数を比べる：

最高で二進法の最後8桁しか異ならない近似数は等しいとみなされる：

厳密な数式と近似数を比べる：

2つの厳密な数式を比べる．数値テストは不等式の証明には十分かもしれない：

不等式が成り立たないことの証明には記号的なメソッドが必要である：

Lessが使う記号・数値メソッドはこの不等式が成り立たないことの証明には不十分である：

RootReduceを使って代数的数の符号を決める：

Lessが使う数値メソッドは次の不等式の証明に十分な精度ではない：

RootReduceは厳密なメソッドを使って不等式を証明する：

$MaxExtraPrecisionの値を大きくすることでも，この不等式が証明できるかもしれない：

記号不等式  (2)

x が実数ではないかもしれないので，記号的な不等式は未評価で残される：

Refineを使い，x が実数であると仮定してこの不等式を再評価する：

記号不等式：

Reduceを使って解集合の明示的な記述を求める：

FindInstanceを使って解の例を求める：

Minimizeを使って不等式で定義された範囲で最適化する：

Refineを使って不等式で定義された仮定の下で簡約する：

特性と関係  (12)

2引数のLessの否定はGreaterEqualである：

3引数のLessの否定は自動的には簡約されない：

LogicalExpandを使って2引数のGreaterEqualについて表す：

これは3引数のGreaterEqualと等価ではない：

Lessが数式間の不等式を判断できない場合，その不等式は未評価で返される：

FullSimplifyは厳密な記号変換を使って不等式が成り立たないことを証明する：

Negative[x]は と等価である：

Reduceを使って不等式を解く：

FindInstanceを使って解の例を求める：

RegionPlotとRegionPlot3Dを使って不等式の解集合を可視化する：

不等式による仮定：

MinimizeとMaximizeを使って不等式によって制約された最適化問題を解く：

NMinimizeとNMaximizeを使って制約された最適化問題を数値的に解く：

不等式の解集合上で関数を積分(Integrate)する：

Median，Quantile，Quartilesを 番目の最大数に使う：

考えられる問題  (3)

機械精度の近似数の不等式は微妙なこともある：

厳密な不等式は余分な桁に基づいている：

任意精度の近似数にはこの問題はない：

自動精度追跡機能のお陰で，Lessには最初の10桁のみを見ればよいことが分かっている：

この場合は，機械精度数間の不等式は期待通りの結果を返す：

この場合の余分な桁はLessによって無視される：

Wolfram Research (1988), Less, Wolfram言語関数， https://reference.wolfram.com/language/ref/Less.html （1996年に更新）.

テキスト

Wolfram Research (1988), Less, Wolfram言語関数， https://reference.wolfram.com/language/ref/Less.html （1996年に更新）.

CMS

Wolfram Language. 1988. "Less." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 1996. https://reference.wolfram.com/language/ref/Less.html.

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2024_less, organization={Wolfram Research}, title={Less}, year={1996}, url={https://reference.wolfram.com/language/ref/Less.html}, note=[Accessed: 21-November-2024 ]}