区間 $[0,1]$ で定義された関数 $f(x)$ が次のように定義されています。 $f(x) = \begin{cases} 0 & (x \neq 1) \\ 1 & (x = 1) \end{cases}$ このとき、以下の2つの命題を示す必要があります。 (1) $f$ が $[0,1]$ で凸関数であること。 (2) $f$ が点 $x=1$ で連続でないこと。

解析学凸関数連続性極限
2025/7/2

1. 問題の内容

区間 [0,1][0,1] で定義された関数 f(x)f(x) が次のように定義されています。
f(x)={0(x1)1(x=1)f(x) = \begin{cases} 0 & (x \neq 1) \\ 1 & (x = 1) \end{cases}
このとき、以下の2つの命題を示す必要があります。
(1) ff[0,1][0,1] で凸関数であること。
(2) ff が点 x=1x=1 で連続でないこと。

2. 解き方の手順

(1) ff[0,1][0,1] で凸関数であることの証明
凸関数の定義から、任意の x,y[0,1]x, y \in [0,1] と任意の t[0,1]t \in [0,1] に対して、次の不等式が成り立つことを示す必要があります。
f(tx+(1t)y)tf(x)+(1t)f(y)f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)
場合分けして考えます。
* **場合 1:** x1x \neq 1 かつ y1y \neq 1 のとき
このとき f(x)=0f(x) = 0 かつ f(y)=0f(y) = 0 です。
もし tx+(1t)y=1tx + (1-t)y = 1 であれば、x=y=1x=y=1 となるはずですが、これは x1x \neq 1 かつ y1y \neq 1 に矛盾します。
したがって、tx+(1t)y1tx + (1-t)y \neq 1 であり、f(tx+(1t)y)=0f(tx + (1-t)y) = 0 となります。
tf(x)+(1t)f(y)=t0+(1t)0=0tf(x) + (1-t)f(y) = t \cdot 0 + (1-t) \cdot 0 = 0
よって、f(tx+(1t)y)=00=tf(x)+(1t)f(y)f(tx + (1-t)y) = 0 \leq 0 = tf(x) + (1-t)f(y) となり、不等式は成り立ちます。
* **場合 2:** x=1x = 1 のとき
このとき f(x)=1f(x) = 1 です。
f(tx+(1t)y)=f(t+(1t)y)f(tx + (1-t)y) = f(t + (1-t)y)
tf(x)+(1t)f(y)=t+(1t)f(y)tf(x) + (1-t)f(y) = t + (1-t)f(y)
もし y1y \neq 1 であれば、f(y)=0f(y) = 0 となり、tf(x)+(1t)f(y)=ttf(x) + (1-t)f(y) = t となります。
このとき f(t+(1t)y)tf(t + (1-t)y) \leq t となることを示します。
t+(1t)y=1t + (1-t)y = 1 であれば、y=1y = 1 となりますが、y1y \neq 1 であるので、t+(1t)y1t + (1-t)y \neq 1 となります。
したがって、f(t+(1t)y)=0f(t + (1-t)y) = 0 となり、0t0 \leq t は成立します。
もし y=1y = 1 であれば、f(y)=1f(y) = 1 となり、tf(x)+(1t)f(y)=t+(1t)=1tf(x) + (1-t)f(y) = t + (1-t) = 1 となります。
f(t+(1t)y)=f(t+(1t))=f(1)=1f(t + (1-t)y) = f(t + (1-t)) = f(1) = 1 となり、111 \leq 1 は成立します。
* **場合 3:** y=1y = 1 のとき
これは場合2と同様に示すことができます。
以上より、任意の x,y[0,1]x, y \in [0,1] と任意の t[0,1]t \in [0,1] に対して、f(tx+(1t)y)tf(x)+(1t)f(y)f(tx + (1-t)y) \leq tf(x) + (1-t)f(y) が成り立つため、ff[0,1][0,1] で凸関数です。
(2) ff が点 x=1x=1 で連続でないことの証明
関数 f(x)f(x)x=1x=1 で連続であるとは、limx1f(x)=f(1)\lim_{x \to 1} f(x) = f(1) が成り立つことです。
f(1)=1f(1) = 1 であるので、limx1f(x)=1\lim_{x \to 1} f(x) = 1 であるかどうかを調べます。
xx11 に近づくとき、x1x \neq 1 である限り f(x)=0f(x) = 0 です。したがって、
limx1f(x)=0\lim_{x \to 1} f(x) = 0
これは f(1)=1f(1) = 1 と異なるため、limx1f(x)f(1)\lim_{x \to 1} f(x) \neq f(1) となり、ff は点 x=1x=1 で連続ではありません。

3. 最終的な答え

(1) ff[0,1][0,1] で凸関数である。
(2) ff は点 x=1x=1 で連続ではない。

「解析学」の関連問題

2つの条件 $\lim_{x \to 0} \frac{f(x)}{x} = 3$ $\lim_{x \to 2} \frac{f(x)}{x-2} = k$ を満たす2次関数 $f(x)$ と定数 ...

極限2次関数微分代数
2025/7/2

与えられた条件 $\lim_{x \to 0} \frac{f(x)}{x} = 2$ と $\lim_{x \to 1} \frac{f(x)}{x-1} = 3$ を満たす3次関数 $f(x)$ ...

極限3次関数多項式
2025/7/2

与えられた極限 $\lim_{x \to 0} \frac{f(x)}{x} = 3$ を用いて、$f(x)$ の性質を考察する問題です。具体的に何を問われているかは問題文全体がないので分かりませんが...

極限関数の連続性微分
2025/7/2

(1) 関数 $f(x,y) = x - y^2 + 1$ で定義される写像 $f: \mathbb{R}^2 \to \mathbb{R}$ について、$\mathbb{R}^2$ の部分集合 $A...

関数写像逆像放物線集合
2025/7/2

(4) $\int \frac{x^2 - 3x + 1}{\sqrt{x}} dx$ を計算します。 (5) $\int 2^{3x+1} dx$ を計算します。 (6) $\int \frac{\...

積分不定積分置換積分三角関数
2025/7/2

以下の3つの積分問題を解きます。 (1) $\int (2x^5 - 3\sqrt{x}) dx$ (2) $\int (x - \frac{1}{x})^2 dx$ (3) $\int (\frac...

積分不定積分置換積分べき乗の積分
2025/7/2

定積分 $\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \sin(3x) dx$ を計算します。

定積分三角関数積分
2025/7/2

定積分 $\int_0^1 \frac{r^2}{1+r^2} dr$ を計算します。

定積分積分arctan三角関数
2025/7/2

次の和を求めよ。 $\sum_{k=1}^{n} \frac{1}{\sqrt{k+2} + \sqrt{k+3}}$

級数望遠鏡和有理化平方根
2025/7/2

与えられた無限等比級数 $x + x(2-x^2) + x(2-x^2)^2 + \cdots + x(2-x^2)^n + \cdots$ が収束するような実数 $x$ の範囲を求め、そのときの級数...

無限等比級数収束不等式
2025/7/2