次の問題がわかりません。。
実数の集合Rにおいて、次の部分集合族Oを考える。
まずR,φ∈Oである。
U≠R,φのとき、U∈O⇔U=R-A(A:有限集合)と定義する。
(1)Oが開集合系であることを示せ
(2)写像f:(R,O)→(R,O) f(x)=x^2は連続であることを示せ。
(3)写像g:(R,O)→(R,O) g(x)=sin x は連続ではないことを示せ。
(1)については
()R、φ∈Oは定義よりOK
()U1、U2∈O⇒U1∩U2∈Oは無限集合の積集合は無限集合
()Wλ∈O⇒∪Wλ∈Oは無限集合の和集合は無限集合
な感じでよろしいでしょうか?
(2)はf(x)に値域が0≦f(x)≦∞であるから任意のU∈Oに対してf‐1(U)は無限集合
(3)はg(x)の値域が-1≦g(x)≦1であるから任意のW∈Oに対してg‐1(W)は有限集合
みたいな感じでよろしいのでしょうか?
解答や書き方がわからなくて困ってます・・・
No.1
- 回答日時:
>()U1、U2∈O⇒U1∩U2∈Oは無限集合の積集合は無限集合
>()Wλ∈O⇒∪Wλ∈Oは無限集合の和集合は無限集合
>な感じでよろしいでしょうか?
だめです.きちんと定義に従ってください
そもそもOに属することと無限集合であることは
まったく違うことです.
#無理数全体は無限集合だが,けっして実数全体から
#有限集合をとりのぞくことでは得られない
#したがって,無理数全体はOには入らない無限集合
したがって,
>(2)はf(x)に値域が0≦f(x)≦∞であるから任意のU∈Oに対してf‐1(U)は無限集合
これもだめです.
そもそも,値域がどうかかわっているのか不明(説明不足).
きちんと,f^{-1}(U)を考えて,Oの定義に当てはめてください.
>(3)はg(x)の値域が-1≦g(x)≦1であるから任意のW∈Oに対してg‐1(W)は有限集合
これはもっとだめです.
値域のかかわりも不明(説明不足)だし,そもそも
本当にg^{-1}(W)はつねに有限ですか?
たとえばW=R-{0}とした場合,g^{-1}(W)は?
#g^{-1}(R-{0})がわかれば「連続ではない」理由はみえるわけで
#決して値域がどうこうということ話ではないことも見える.
この回答への補足
(1)をまずやってみました。
U1、U2∈OとするとA1、A2を有限集合として
U1=R-A1, U2=R-A2と表せる。
U1∩U2=(R-A1)∩(R-A2)
=R-(A1UA2)
A1UA2は有限集合なのでU1∩U2∈O
次に任意のλ∈Λに対してWλ∈Oとすると
Wλ=R-Aλ(Aλは有限集合)
と表せる。このとき、
∪Wλ=∪(R-Aλ)
=R-∪Aλ
∪Aλは有限集合なので∪Wλ∈O
これで大丈夫でしょうか?
No.2
- 回答日時:
>(1)をまずやってみました。
一ヶ所間違いがあります.
>∪Wλ=∪(R-Aλ)
> =R-∪Aλ
>∪Aλは有限集合なので∪Wλ∈O
∪と∩の取り違い.
有限集合の和集合は有限とは限らない.
ありがとうございます!
(3)はW=R-{0}としたときg‐1(W)=R-{nπ}(n=0,1,2・・・)となり、{nπ}は無限集合となるのでg‐1(W)はOに含まれないということでしょうか?
(2)なんですが、W=R-Aとしてf‐1(W)がOに含まれることがうまくいえません・・・
しつこくてすみませんが、(2)についてヒントをいただけないでしょうか?
No.3ベストアンサー
- 回答日時:
>(3)はW=R-{0}としたときg‐1(W)=R-{nπ}(n=0,1,2・・・)となり、{nπ}は無限集合となるのでg‐1(W)はOに含まれないということでしょうか?
そう.これでg(x)=sin(x)が
この位相において連続ではないことがわかる.
#ある開集合Uに対して,
#g^{-1}(U)が開集合ではないことを示せばいいから
本質は,sin(x)が周期関数だから,
有限個の点の逆像が無限集合になるということ.
(2)に関しても同様に具体的な開集合に対して
実際に逆像を求めてみればいいのです.
たとえば,U=R-{1}とかすると
f^{-1}={1,-1}でしょう.
だから,f^{-1}(R-{1}) = R-{-1,1}
y=x^2のグラフを描いてみればほとんど自明.
y軸上に有限個の点をとれば
それの逆像をx軸上に描ける.
そうすれば,この位相での任意の開集合の逆像が
どういう形になるか容易にわかります.
式で一気にかけば
U=R-{a1,a2,...,an} (a1,..ai <0, ai+1,...,an>=0)
に対して
f^{-1}(U) = R - ∪_{k=i,..,n} {x | x^2 = ak}
でしょ?
こういう問題は,題意を理解するために
簡単な具体例で少し計算するといいのです.
回答ありがとうございます!
すごくわかりやすかったです!確かに今考えてみれば周期関数だからそうなりますよね。具体例で計算すれば見えてくるんですね。。。
(2)についても参考にして自分なりにまとめてみたいと思います。
本当に助かりました!ありがとうございます!
お世話になりました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 集合と論理について 2 2023/01/08 05:52
- 数学 逆像法について 高校生です -1≦x≦2のとき、y=2x-3の値域を求めよ。 この問題を、xについて 4 2022/05/01 23:11
- 数学 数学Ⅲの関数の極限、関数の連続・不連続に関しての質問でございます。 問題集には、次の関数の〔 〕内の 5 2022/05/19 10:43
- 数学 逆像法について 高校生です -1≦X≦2のとき、y=2x-3の値域を求めよ。 この問題を、集合X={ 4 2022/05/01 17:38
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 代数学 環 1 2022/10/11 00:04
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 存在記号と「または」 5 2022/10/02 19:03
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
Vをn次元実ベクトル空間、ΓをV...
-
無限に1を引くとどうなりますか?
-
比例、反比例の変域について
-
全射の個数を求める問題
-
無限は実在しますか?
-
高校数学の関数について 値域や...
-
続きです。合成関数の定義域と...
-
0と1との無限列で1の比率が1/2...
-
無限から無限を足したり引いた...
-
アキレスと亀。
-
NとRとℵ1とℵ2の関係
-
tanxが全射であることを厳密に...
-
無限より大きい何か
-
可算かどうか
-
逆関数 高校数学にて y=x^2+2x+...
-
逆三角関数に関する質問を致し...
-
逆関数の求められなくて困って...
-
交換律と対称律の違い
-
自然数の集合と正の有理数の集...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報