(Z,d)から任意の距離空間(Y,d_Y)への任意の写像fが連続であることを証明したいです。
ただし、Zは整数全体の集合でd(x,y)=|x-y|です。
任意の写像fの連続性について証明するのでYの任意の開集合Oについてf^(-1)(O)がZの開集合であることを示そうと考えたのですが、fが任意なのでf^(-1)もどのような様子かわからず困っています。
以下、自分の回答を掲載します。間違えている点と、どのように考えるべきかを教えてください。
任意のx,y∈Zに対しf(x),f(y)が存在する。
Oは開集合なのであるε(>0)が存在し、
f(y)∈N(f(x);ε)⊂O
⇔
y∈f^(-1){N(f(x);ε)}⊂f^(-1)(O)
ここまでです。よろしくお願いします。
No.1ベストアンサー
- 回答日時:
>Yの任意の開集合Oについてf^(-1)(O)がZの開集合であることを示そうと考えた
これにそっていきますか。では次を使いましょう:
距離空間の部分集合Aが開集合である必要十分条件は、任意のAの元aに対して、ある正の数ε>0が存在し
aを中心とするε-ball B(a:ε)がAに含まれることである。
(元の問題に戻って)
任意のf^(-1)(O)の元をxとしましょう。B(x:ε)⊂f^(-1)(O)となるような、ε>0が選べればOkです。
以下はヒントです:εを十分小さくとればB(x:ε)={x}となるはずです、、、。(その理由を示せば証明終わりです)
ご回答ありがとうございます。
εを取るだけでよかったんですね^^
連続の定義をε-δで初めに勉強したので任意の写像に対しても「解析的に逆算できるのでは。」と考えていました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 連続であることを示すときの最後のεについて 6 2023/04/14 23:00
- 数学 集合と論理について 2 2023/01/08 05:52
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 代数学のこの問題がわからないので教えて頂きたいです。 具体的には「写像の合成に関して群になる」のとこ 3 2022/11/13 17:16
- 数学 離散数学(情報数学)の写像の問題です。 急ぎです、わかる頭のいい方答えだけでも教えていただきたいです 3 2022/04/13 15:04
- 数学 多項式の性質と無理数・有理数 2 2022/06/21 06:50
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
NからN×Nの全単写
-
全射・部分写像の個数の問題
-
線形、非線型ってどういう意味...
-
四次対称群S4が可解群であるこ...
-
初めての複素関数の勉強
-
円→楕円への写像
-
行列の階数
-
体の『同型』と『○上同型』のち...
-
複素数の関数
-
環RについてR加群の短完全列 0→...
-
集合論に強い方、R^2=平面、R^1...
-
商空間とハウスドルフ空間
-
Eを体、PをEに含まれる素体とす...
-
逆写像と逆像の違いがわかりま...
-
数学記号について
-
群論、生成元と関係式
-
Gal_Q(x^4+1)がZ_2×Z_2の同型
-
Lebesgue測度μではμ(S\T)=μ(S)...
-
代数学「素体」
-
写像の記号の、右下の小文字の...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報