集合と位相の問題
閉区間 上の実数値連続関数全体の集合 に、距離
を入れた距離空間を考える。1 次以下の多項式関数全体の集合を とし、 とする。点 と集合 の距離
を求めよ。
この問題で使うもの
- 点と集合の距離と最良近似(説明と入口の問題)
この問題を解けるようになるまで(51 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- 最大公約数と最小公倍数
- 比の性質と簡単な比
- 相似な三角形と長さの比
- 三角形の相似条件と対応する辺の長さ
- 平行線と線分の比
- 2点間の距離と内分点・外分点
- 1 次不等式
- 絶対値を含む方程式・不等式の基本
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- 加法定理と 2 倍角・半角・積和の公式
- 距離空間と開球
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 剰余の定理・因数定理と高次方程式
- 増減表と極値
- 区間での最大・最小
- 点と集合の距離と最良近似
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
は下限なので、「ある で がこの値になる(上からの評価)」と「どの でも はこの値以上(下からの評価)」の 2 つを示しましょう。
ヒント 2
上からの評価には、誤差 が で同じ値、内部の極小点 でその符号違いの値をとるように を選びます。下からの評価には、3 点 での値の組み合わせで、 の部分がちょうど消えるものを考えます。
ヒント 3
から 、 から です。また に を代入すると になるので、この式の値は だけで決まり、係数の絶対値の和は です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
に対し誤差を とおくと、 である。具体的な で上からおさえ、すべての について下からおさえることで を求める。
1. 上からの評価(具体的な を作る) は で下に凸なので、誤差が両端 で同じ値をとり、内部の極小点で符号が逆で絶対値が同じ値をとるように を選ぶ。
より 、よって 。極小点は より ()。
とすると 、よって 。
のとき 、 で、増減表は次のとおり。
実際、、。
よって であり、。
2. 下からの評価(すべての について) 3 点 での値の組み合わせ
を考える。1 次以下の関数 をこの組み合わせに代入すると
となり消える。したがって は の部分だけで決まり、 によらず
一方、任意の について とおくと、 なので
よって
これがすべての で成り立つので、下限についても 。
3. 結論 1 と 2 より
であり、この下限は で達成される。
別解
() と置くと、 である。1 次式の部分は 1 次式で吸収できるので、 の 上での 1 次式による最良一様近似を求めればよい。
なので は 上で凸である。凸関数の 1 次式による最良近似では、誤差は両端点と、接線の傾きが弦の傾きに等しい内点で交互に最大になる(等振動)。
弦の傾きは である。弦は点 を通るので、弦の式は となる。
より であり、 をとる。
このとき 、 なので、 である。
よって となる。
弦と、傾き 1 の接線との間隔は である。最良近似直線はこの 2 直線の中間にあり、誤差は端点と で符号を交互に変えながら絶対値が等しくなる。したがって である。
検算:最良直線は で ではなく、弦 を だけ上にずらしたものである。 は で 、 で となる。最大・最小の幅は で、半分が である。