• 検索結果がありません。

(b) Rn の閉集合の定義を書け

N/A
N/A
Protected

Academic year: 2021

シェア " (b) Rn の閉集合の定義を書け"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

数学解析 宿題 No. 7 (2020年7月27日出題, 7月30日(金)18:00 までに Oh-o! Meijiに PDF 形式で 提出)

年 組 番 氏名 (解答は裏面も使用可, A4レポート用紙に書いても可)

問7 (1) (a) A⊂Rn とする。Aが Rn の開集合であるとは、 を満たすことをい

う。 (b) Rn の閉集合の定義を書け。

(2) 以下の集合がRnの開集合または閉集合であれば、そのことを証明せよ。7/20の授業中の定理を用い る場合には、どの定理を用いたか記せ。

(a) Ω ={(x, y)R2 |xy≤1} (b) V ={(0,0),(3,1)} (2点からなる集合)

(c) (0,0), (3,1), (1,3) を頂点とする三角形の内部 ∆ (「内部」とは、辺を含まない、という意味) (3)K ={(x, y)R2 |x≥0, y 0, x+y1}とおき、f: K Rをf(x, y) = 3x2+2y2+2xy2x2y+1 で定義するとき、f の最大値と最小値が存在することを示せ (値を求める必要はない)。

(2)

問7解答・解説 (1), (2)は授業中に出て来たことを抜き出して書いてみよう、という問である。

(1) (a)A Rn とする。A が Rn の開集合であるとは、(∀x∈A)(∃ε >0)B(x;ε)⊂A を満たすことを いう。

(b) A⊂Rn とする。A が Rn の閉集合であるとは、Ac が Rn の開集合であることをいう。

(2) (a) f: R2 R を f(x, y) =xy ((x, y)R2) で定めると、f は多項式関数であるから、R2 全体で連 続である。γ = 1 とおくと、Ω ={(x, y)R2 |f(x, y)≤γ} と表せる。ゆえに定理D によって、

Ω は R2 の閉集合である。

(b) まず「a∈Rn とするとき、F ={a} は Rn の閉集合である。」という補題を証明する。

(補題の証明)f:Rn Rを f(x) := |x−a|2 = Xn

j=1

(xj−aj)2 で定めると、f は多項式関数である からRn 全体で連続である。γ = 0 とおくと、F ={x∈Rn |f(x) = γ}. ゆえに定理Dによって、

F は Rn の閉集合である。 (補題証明終)

この補題によって、{(0,0)}{(3,1)} はともにR2 の閉集合である。ゆえに定理C によって、

V ={(0,0)} ∪ {(3,1)} は R2 の閉集合である。

(補題を使わない別証明) V = {(x, y) R2 | (x2 +y2)[(x 3)2 + (y 1)2] = 0} と表せる。

(x2+y2) [(x3)2+ (y1)2]は多項式関数であるから、R2 上の連続関数である。ゆえに定理D によって、V はR2 の閉集合である。)

(c)

∆ = n

(x, y)R2 |y−x

3 >0∧y−3x <0∧x+y <4 o

であるから

1 =

(x, y)R2 |f1(x, y)> γ1 , f1(x, y) =y− x

3, γ1 = 0 Ω2 =

(x, y)R2 |f2(x, y)< γ2 , f2(x, y) =y−3x, γ2 = 0 Ω3 =

(x, y)R2 |f3(x, y)< γ3 , f3(x, y) =x+y−4, γ3 = 0 とおくとき

∆ = Ω123

が成り立つ。f1, f2, f3 はいずれも多項式関数であるから、R2 で連続である。定理 Bによって、

1, Ω2, Ω3 はR2 の開集合である。ゆえに定理 A によって、∆はR2の開集合である。

(3) (K が R2 の閉集合であること。)f1(x, y) =x, f2(x, y) =y, f3(x, y) = 1−x−y とおくと、これらは いずれも2変数の多項式関数であるから、R2 で連続である。ゆえに

Ki =

(x, y)R2 fi(x, y)0

は R2 の閉集合である。K =K1∩K2∩K3 であるから、K は R2 の閉集合である。

(K が有界集合であること。) (x, y)∈K とする。

x≥0, y≥0 であるから x+y 0. ゆえに 0≤x+y≤1.

x≥0, y≥0 であるからxy≥0. ゆえに 2xy 0.

ゆえにx2+y2 = (x+y)22xy(x+y)2 12 = 1. すなわち|(x, y)| ≤1. ゆえにK は有界である。

f(x, y) は多項式であるから、R2 を定義域とすれば R2 で連続である。ゆえにfK で連続である。K

は有界閉集合であるから、Weierstrass の最大値定理によって、fK における最大値、最小値が存在す る。

参照

関連したドキュメント

Research Institute for Mathematical Sciences, Kyoto University...

解析の教科書にある Lagrange の未定乗数法の証明では,

 当図書室は、専門図書館として数学、応用数学、計算機科学、理論物理学の分野の文

これまで十数年来の档案研究を通じて、筆者は、文学者胡適、郭沫若等の未収 録(全集、文集、選集、年譜に未収録)書簡 1500

断するだけではなく︑遺言者の真意を探求すべきものであ

至る場合の炉心温度  設定根拠  ベースケース      K  MAAP 推奨範囲のノミナル値 . 感度解析ケース 

自主事業 通年 岡山県 5名 岡山県内住民 99,282 円 定款の事業名 岡山県内の地域・集落における課題解決のための政策提言事業.

関西学院は Kwansei Grand Challenge 2039