私は関数の増加・減少の定義を $\exists x_1\in I,\exists x_2\in I; x_1

Question

私は関数の増加・減少の定義を

$\exists x_1\in I,\exists x_2\in I; x_1<x_2 \iff f(x_1)<f(x_2)$

が成り立つとき区間Iで増加.

$\exists x_1\in I,\exists x_2\in I; x_1<x_2 \iff f(x_1)>f(x_2)$

が成り立つとき区間Iで減少.

と認識していました。

しかし、いくつかのサイトなどを参考にすると、例えば高校数学の美しい物語では”ならば”でつなげており、本当に同値かわからなくなったので質問させていただきます。

質問：”⇔”でしょうか”⇒”でしょうか?

補足：

私は同値であると考えてます。

根拠はもし”⇒”であるなら前件が偽であるとき（例えば $x_1>x_2$ であるとき）後件に関係なく真になるから、その区間Iにおいて増加か減少かわからなくなると思うからです。

$\exists x_1\in I,\exists x_2\in I; x_1<x_2 \Longrightarrow f(x_1)>f(x_2)$

が成り立つとき区間Iで...

もし間違っているならどこが間違っているか指摘していただきたいです。

@yokimarosuisann · Accepted Answer

”⇔”と”⇒”で主張したい内容が違うんじゃないですかね。  例えば$x_1$と$x_2$の大小関係を$f(x)$が増加関数であることを根拠に述べたい場合は、わざわざ”⇔”を使わず”⇒”を使うと思います。

@icedaisuki · Answer

まず区間$I$上の関数$f$の（狭義）増加の定義は $\forall x_1 \in I, \forall x_2 \in I; x_1x_2$ だとすると単調増加の仮定により $f(x_1) > f(x_2)$ となるから矛盾する．よって$x_1