No.4ベストアンサー
- 回答日時:
まず、有理数の集合Qの位相を実数の集合Rの自然な位相の相対位相で定義するとします。
つまり、Rの開集合OとQの交わりをQの開集合と定義し、そのような開集合の族によって定義される位相を考えるとします。このとき、あるQの部分集合Wが開集合であることはWの任意の元xに対して、ある正の数εがあって、xのε近傍(=xとの距離がε以内の点の全体)がWに属することと同値になります。ですので、Shogunさんの開集合の定義は正しいことになります。
(-∞, √2) が開集合であることはShougunさんの論理で正しいと思います。
(-∞, √2) が閉集合であることはNo.1のnakaizuさんの論理で正しいと思います。Mが閉集合というのは、その補集合(今の場合はQの中での補集合)が開集合であるということです。No.2のyakasaさんのいわれていることは実数の中での話しであり、今の場合その部分集合であるQの中の相対位相で考える必要があります。
No.3
- 回答日時:
おや、補足がついてた。
#1さんの補足の定義なら、
[√2, ∞)の有理数が開集合になるので閉集合ですね。
この定義だと、距離空間に位相を導入するという形になっていますが、ほんとは、位相のほうが距離より原始的な概念ですね。距離空間なら位相空間ですが、逆は言えません。
No.2
- 回答日時:
#1さんも仰っていますが、有理数の集合の開集合(位相)の定義を定めてくれないと答えようが無いです。
実数上の自然な位相で考えるなら、
(-∞, √2)の有理数全体の集合の閉包は、
実数(-∞, √2]になるので(つまり有理数が稠密ってこと)、
(-∞, √2)の有理数全体は、閉集合ではないですね。
つまり、(-∞, √2)の有理数全体の補集合は、
(実数全体)-((-∞, √2)の有理数全体)
になりますが、実数上の自然な位相上では、これは開集合ではありません。
No.1
- 回答日時:
Shogun さんは開集合、閉集合の定義をしっかり理解していますか?「開集合であることは分かる」ことの説明からは、理解不足かお使いの教科書の開集合の定義が独特なものと思われます。
普通の定義では開集合は「(有限個または無限個の)開区間の和集合」として表される集合のことです。
補集合が開集合である集合を閉集合といいます。
(-∞、√2)の補集合は[√2,∞)ですが、√2は有理数でないために有理数上では[√2,∞)と(√2,∞)は同じ集合で開集合です。
つまり、補集合が開集合なので閉集合となります。
開集合の定義として違ったものを使っていたら、定義の内容を述べた上で改めて質問してください。
この回答への補足
nakaizuさん、ありがとうございます。
定義は、 http://en.wikipedia.org/wiki/Open_set を読みました。つまり、「集合U のどの点をとっても、正数 ε が存在して、x のε近傍 Bε(x) ⊂ U が成立するとき、U は開集合であるという」です。
このページの三段落目に
・・・First, there are sets which are both open and closed (called clopen sets); in R and other connected spaces, only the empty set and the whole space are clopen, while the set of all rational numbers smaller than √2 is clopen in the rationals.
とあって、ここが分からなかったのです。
その他同様の定義については
http://www.graco.c.u-tokyo.ac.jp/~kashiwa/sysI/2 …
http://www.rimath.saitama-u.ac.jp/lab.jp/fsakai/ …
にもあります。
私の解釈とnakaizuさんの解釈をあわせて「開集合でもあり閉集合でもある集合」ということでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 開集合・閉集合について 4 2022/11/04 13:53
- 数学 集合と論理について 2 2023/01/08 05:52
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 近傍系と基本近傍系 9 2022/07/09 12:29
- Access(アクセス) お世話になっています いまクエリを作っています。。 デザインビューの画面の集計の欄で、「グループ化」 4 2022/09/17 17:03
- 数学 集合素人の質問 3 2022/08/21 18:41
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
- 数学 位相 2 2023/05/02 18:22
- 数学 逆像法について 高校生です -1≦x≦2のとき、y=2x-3の値域を求めよ。 この問題を、xについて 4 2022/05/01 23:11
このQ&Aを見た人はこんなQ&Aも見ています
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
偏微分方程式って
-
ユーザー定義関数をアドイン登...
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
lim n→0 =n=0となりますが lim ...
-
eの0乗は1ってどういう原理です...
-
べき乗
-
ACCESS IIF関数 複数条件の設...
-
無限から無限を引いたら何にな...
-
ヘシアンが0の場合どうやって極...
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
フーリエ変換について質問です。
-
負数の累乗は???
-
動力学と運動学の違いって?
-
ノートンのウイルス定義のバー...
-
絶対値lil iは虚数単位です こ...
-
0^1(0の1乗)はいくつでしょ...
-
日本語 ことば ひとまわり ふた...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
「logx^2=2logx」が間違って...
-
「互いに素」の定義…「1と2は互...
-
なにしてるかわからない。。
-
ACCESS VBAでインポート定義の場所
-
p⇒q=(¬p)∨qについて
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
三角関数(たとえばf(x)=sinxと...
-
eの0乗は1ってどういう原理です...
-
『質問の定義が分からないので...
-
内積を
-
最大元と極大元の定義の違いが...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
自然数 整数 有理数 実数 加法 ...
-
e<3の証明を教えてください。
-
変数の宣言の名称を教えてくだ...
おすすめ情報