• ベストアンサー

幾何学の問題です。

{(x,y)∊R^2:x>0,y>0,x+y<11}がR^2の開集合であることを示せ。 この問題が解くことができません。どなたかとくことできないでしょうか?

質問者が選んだベストアンサー

  • ベストアンサー
  • muturajcp
  • ベストアンサー率77% (510/657)
回答No.3

G⊂R^2 Gの任意の点(a,b)に対して B(a,b,ε)={(x,y)∈R^2:(x-a)^2+(y-b)^2<ε^2}⊂G となるε>0が存在するとき GをR^2の開集合と定義すると G={(x,y)∈R^2:x>0,y>0,x+y<11} (a,b)∈G に対して ε=min(a/2,b/2,(11-a-b)/2) B(a,b,ε)={(x,y)∈R^2:(x-a)^2+(y-b)^2<ε^2} (x,y)∈B(a,b,ε) とすると 0<a/2<x 0<b/2<y x<(11+a-b)/2 y<(11-a+b)/2 x+y<11 (x,y)∈G B(a,b,ε)⊂G だから Gは開集合となる

takuball
質問者

お礼

ありがとうございます! 参考にして考えなおしてみます!

その他の回答 (2)

  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.2

どんな集合であれ、「開集合である」ことを示すためには、 その空間の位相が定義されてある必要があります。 貴方は、XY平面の位相をどのように定義しましたか? 開集合族を与えるばかりが、位相を定義する方法 ではありませんが… 何らかの方法で位相を定義しないことには、話が始まりません。

takuball
質問者

お礼

ありがとうございます! そもそものところから自分はだめだったようです。 もう1度考えてみたいと思います!

  • nag0720
  • ベストアンサー率58% (1093/1860)
回答No.1

開集合の定義は?