infの表記について

117

はじめに

この記事はまちがってます。
アライグマさんのコメントを見てください。
ごめんなさい。

記事は勘違いしてたことを残しておくため、このままにしておきます。

式1の理解で混乱しているので、著者のお気持ちに立って整理してみる。
著者のお気持ちを理解するために、簡単な問題を通して理解を試みてみる。

$\begin{matrix} (1) & inf_{0 \leq θ \leq 1} f^{*} (θ) \end{matrix}$

ただし、

$f^{*} (θ) = {\begin{cases} θ \log θ + (1 - θ \log (1 - θ)) & if 0 \leq θ \leq 1 \\ + \infty & otherwise \end{cases}$

$x \in {1, 2, 3}$ とおく。このとき、 $inf {x, 5}$ を求めよ。

$inf {x, 5} = x$

ここで、注目したいのは $x \in {1, 2, 3}$ は、具体的な数値ではなく、あくまで変数として出力されることである。

さて、論文はスペースがないので、問題1を1行で書きたいという要望があるとする。どうかくだろうか。例えば、下式で書いてみたらどうだろう？

$x = inf_{x \in {1, 2, 3}} {x, 5}$

つまり、決定変数 $x$ は $1, 2, 3$ のいづれかを取ることを許容するというニュアンスを含めるのである。

$inf_{0 \leq x \leq 1} g (x)$ と $inf_{x} g (x)$ に解釈の違いがあるか考察せよ。

ただし、
$f (x) \in (- \infty, + \infty)$ ,

$g (x) = {\begin{cases} f (x) & if x \in [0, 1] \\ + \infty & otherwise \end{cases}$

$\begin{array}{rcl} inf_{0 \leq x \leq 1} g (x) & = & inf_{0 \leq x \leq 1} f (x) \\ = & f (x) \end{array}$

1行目から2行目になる理由は、 $inf_{x} f (x)$ を求めたとしても、 $x$ が $[0, 1]$ で自由に動くことを許容するので一致する。

以上から、 $inf_{0 \leq x \leq 1} g (x)$ と $inf_{x} g (x)$ は違う。

複雑な表記にすることで読者が誤解を招いてしまうのよくないと思いました。ちょっと著者の気持ちはわからんです。

投稿日：2022年10月29日

高評価したユーザはいません

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

15028

計測・制御・情報に興味があります. 備忘録として残していきます.

コメントはありません。

読み込み中