No.7ベストアンサー
- 回答日時:
>基本近傍系の性質
>V(3):V、U∈B(a)⇒∃u∈B(a)(u⊂V∩U)
>というのをつかって、
>∃uとしてu∩A=φとなるu⊂W=U∩V
>となるものが取れると考えました。
間違ってはいません。それで結構です。
# 理解していることがらではなく、
# あくまでも、表記を改善すべきというのが趣旨です。
# 基本近傍系≒local base
# ですが、近傍という用語には開集合に限定して用いる
# ものと必ずしもそうであることを要求しない立場があるので、、、
# 実質的にはどうでもよいことなですが、、、
# n.n.o.=not necessary open
# NAGATAさんの"Modern Topology"などを読むと
# g-functionを用いた距離付け定理などで頻出します。
No.6
- 回答日時:
(解)
任意のa∈(Aの補集合)をとってくる。
# お手持ちの教科書では
# A={x|f(x)=g(x)}となっているのですよね。(笑)
f(a)≠g(a)より、Rはハウスドルフ空間より、
あるf(a),g(a)の開近傍U,Vが存在して、U∧V≠φ。
# f(a),g(a)のある開近傍U,Vが存在して、、、
# 自然言語(日本語)で表現する場合には、ある(=存在する)の
# の表記上の位置を注意した方がよいと思われます。
# 数学的には本質的ではありませんが。。。
ここで、f(x),g(x)がS→Rへの連続写像より
f^-1(U)、g^-1(V)はxの開近傍。
# xの開近傍ではなく、aの開近傍。
よってf^-1(U)∩g^-1(V)=Wもxの開近傍であり、
# 上記と同じ注意です。
# xの開近傍ではなく、aの開近傍。
∃u:u∈B(a)かつu∩A=φ(u∈W)
# B(a)は点aの(n.n.o.) local baseですよね?
# ∃u:u∈B(a)は問題ないのですが後半の
# u∩A=φ(u∈W)は表記が変です。
# 単に u∩A=φ とするか、または not(z∈A)(z∈u)などととすべき。
∴u⊆(Aの補集合)
よってAは閉集合。
大筋では問題ないと思いますよ。(^o^)丿
この回答への補足
自分は、基本近傍系の性質、V(3):V、U∈B(a)⇒∃u∈B(a)(u⊂V∩U)というのをつかって、∃uとしてu∩A=φとなるu⊂W=U∩Vとなるものが取れると考えました。まちがっていませんでしょうか?
補足日時:2002/07/30 12:26No.5
- 回答日時:
ikecchiさんの納得のいかない部分を追及する姿勢はとても大切です。
その姿勢を貫くうちに(ikecchiさんとっては)"自明"と胸を張って
言える時期がくるでしょう。
(位相に関することがらはそうならなくていけない、または
そうあって欲しいと私自身は思っていますが。)
>いきなり、Wと{x∈S:f=g}の共通部分が空だって
>いっていいんでしょうか?
{x∈S:f=g}は正しくは{x∈S:f(x)=g(x)}なので訂正します。
確かにそうです。あえて補足すれば
W=f^{-1}(U)∩g^{-1}(V)はxの開近傍で
任意のx∈Wについて、x∈f^{-1}(U)かつx∈g^{-1}(V)であるから
f(x)∈Uかつg(x)∈V
ところで、UとVは互いに素であったから上のことは
f(x)≠g(x)を意味する。
従ってxは{x∈S:f(x)=g(x)}の要素ではあり得ません。
これは、Wと{x∈S:f(x)=g(x)}が素であることを示します。
>最後の本質的には~からの意味もわかりません
f(x)とg(x)の互いに素な開近傍U,Vをとり、それをそれそぞれ
f,gで引き戻して議論するという論法の構造が
同じだと言う意味です。
この回答への補足
大変親切な回答ありがとうございました。友達からはそんなこともわからんと?数学辞めたらとかしょっちゅう言われたりしてます。自分は基本的なことがわかってないんでしょう。
上の回答の中のWにおいて、自分は次のように解答しました。どうでしょうか?
(解)
任意のa∈(Aの補集合)をとってくる。f(a)≠g(a)より、Rはハウスドルフ空間より、あるf(a),g(a)の開近傍U,Vが存在して、U∧V≠φ。ここで、f(x),g(x)がS→Rへの連続写像よりf^-1(U)、g^-1(V)はxの開近傍。よってf^-1(U)∩g^-1(V)=Wもxの開近傍であり、∃u:u∈B(a)かつu∩A=φ(u∈W) ∴u⊆(Aの補集合) よってAは閉集合。
No.4
- 回答日時:
>だからこの問題の途中に「一般の位相空間で{x∈S:f(x)=g(x)}は
>閉集合であることを示せ」という問いがあったんですかね?
断る必要もないでしょうが、一般の~といってもf:S→R、g:S→Rは
共に連続で、RはT_2空間という仮定は必要です。
で、この命題の証明ですが一つ前で述べてたことを使えば、等式
{x∈S:f(x)=g(x)}=h^{-1}(Δ)
が成り立って右辺が閉だから左辺も閉という論法もありますが、
直接的に示す場合には補集合が開であることを示すことになります。
x∈S-{x∈S:f(x)=g(x)}とします。このとき、
f(x)≠g(x)だから、f(x)とg(x)のそれぞれの開近傍U,Vで
互いに交わらないものが存在する。
W=f^{-1}(U)∩g^{-1}(V)はxの開近傍で
W∩{x∈S:f(x)=g(x)}=φ
これより、{x∈S:f(x)=g(x)}は閉であることが示された。
以上ですが本質的にはf=gの証明と同じですね。(笑)
この回答への補足
>W=f^{-1}(U)∩g^{-1}(V)はxの開近傍で
>W∩{x∈S:f(x)=g(x)}=φ
いきなり、Wと{x∈S:f=g}の共通部分が空だっていっていいんでしょうか?すこし、納得がいかないです。
あと、最後の本質的には~からの意味もわかりません。
No.3
- 回答日時:
先に直接的な証明を与えましたが、位相空間論的に重要な事実を
組み合わせた証明も紹介します。
位相空間論の基本的な事実として
(1) 空間XがHausdorff空間(=T_2空間)であるための必要十分条件は
直積空間X×Xの部分集合Δ={(x,x)|x in X}が閉集合であることである。
(2) f:X→Y,g:X→Zに対しh:X→Y×Zを
h(x)=(f(x),g(x)) for all x in X
で定義する。このとき、f,gは連続⇔hは連続。
が知られています。
これらを用いれば次のような証明も可能です。
h:X→R×Rをh(x)=(f(x),g(x))で定義するとき、(2)の事実から
hは連続である。ところで、fとgはD上で一致することから
D⊂h^{-1}(Δ)
(Δ={(x,x)|x in R}です。)
(1)からΔはR×Rの閉集合であって、hの連続性からh^{-1}(D)はSの
閉集合となる。故に、
X=Cl(D)⊂Cl(h^{-1}(Δ))=h^{-1}(Δ)
これは、任意のx in Xについて
h(x) in Δ
即ち、f(x)=g(x)が成り立つことを示している。
この回答への補足
ありがとうございました。なるほど、だからこの問題の途中に「一般の位相空間で{x∈S:f(x)=g(x)}は閉集合であることを示せ」という問いがあったんですかね?しかし、いまいち、このとき方もわかりません。補集合が開集合を示せばいいんでしょうが。いまいち位相空間での開集合の証明の仕方がわかりません。よろしければ解説お願いします。
補足日時:2002/07/25 04:23No.2
- 回答日時:
>>f^{-1}(U)∩g^{-1}(V)はDと交わります。
>この部分がいまいちわかりません。たしかに、(Dの閉包)=Sですが、、、
Cl(D)=Sは"Sの各点はDの触点である"ことを意味します。
つまり、Sの任意の点に対し、その任意の開近傍はDと交わります。
No.1
- 回答日時:
>写像の一致とはなにをしめせばいいか、
これは前の行で述べてある
>fとgはS上全体で一致する(つまり同じ写像)を示せ。
そのものです。
Sが距離空間であるという仮定なしに一般の場合で示しましょう。
xをSの任意の点とし、示すべきことは
(*) f(x)=g(x)
です。(xがDの点ならばfとgはD上で一致しているという仮定から
仮定から明らかのですが、xがDの点でなくても(*)が成り立つことを
示したいのです。)
背理法で示しましょう。(*)を否定して
f(x)≠g(x)
と仮定します。Rはハウスドルフ空間なので、
f(x)とg(x)のそれぞれの開近傍U,Vで互いに素なものが存在します。
(Rの距離を用いてもっと明示的に言えば、例えば
ε=|f(x)-g(x)|/2として
U={p∈R:|p-f(x)|<ε},V={p∈R:|p-g(x)|<ε}
とすればU,Vはそれぞれf(x)とg(x)の開近傍で
互いに素、即ち、U∩V=φを満たします。)
さて、Uをfで、Vをgで引き戻しましょう。
f,gは連続なので、f^{-1}(U),g^{-1}(V)はともに
xの開近傍になります。従って、その共通部分f^{-1}(U)∩g^{-1}(V)も
xの開近傍になります。
このとき、仮定:DはSの至るところ稠密な部分集合なので
f^{-1}(U)∩g^{-1}(V)はDと交わります。
その共通部分にある点をyとしましょう。
y∈Dなので、f(y)=g(y)ですが、一方
y∈f^{-1}(U)∩g^{-1}(V)なので、f(y)∈U,g(y)∈Vであって
UとVは互いに素なので、f(y)≠g(y)でなければなりません。
これは明らかな矛盾なので(*)が示されました。
この回答への補足
>このとき、仮定:DはSの至るところ稠密な部分集合なので
>f^{-1}(U)∩g^{-1}(V)はDと交わります。
この部分がいまいちわかりません。たしかに、(Dの閉包)=Sですが、なぜ任意のSの点xの開近傍がDと交わるんでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 多様体の質問です。 S^1={(a_1,a_2)|a_1^2+a_2^2=1}と T^1=R/Z(R 1 2023/05/18 21:14
- C言語・C++・C# あまりわかりません。 複素数$c$を具体的に定めた複素写像写像$f_c(z)$に対して、原点を含む領 4 2022/10/25 09:17
- Visual Basic(VBA) エクセルマクロでアニメを作る方法を教えてください。 1 2023/02/07 14:27
- 写真 写真(画像)編集スキルを質問する時 1 2022/12/07 14:14
- 数学 線形写像の全射性 双対空間 1 2022/12/11 18:22
- その他(パソコン・スマホ・電化製品) アンドロイドスマホの画面にクリックするとJPG写真が開くショートカットを作りたいのですが、方法をおし 3 2023/08/27 10:01
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
変数と関数の違いはなんですか?
-
定数がよく分かりません 実数は...
-
δ関数に関しての証明問題
-
関数の連続性を調べる問題で質...
-
微分演算子について
-
至急!フーリエの周期的に拡張...
-
f(x)=x^3-2が一様連続でないこ...
-
数IIIの関数の問題です。
-
数3微分についてです。 合成関...
-
f(x)について
-
なぜ逆関数はf^(-1) (x)
-
lim[n→∞](1-1/n)^n=1/e について
-
おしどり遊び(テイトの飛び石...
-
logx/xの極限でロピタルはダメ??
-
【数学】 lim x→a ↑これってど...
-
移動最小自乗法について
-
高2の数学の対数関数です。 真...
-
数学の極限の問題です! (1)l...
-
三角関数の範囲について、 0≦x≦...
-
指定範囲内のオートシェイプを...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
変数と関数の違いはなんですか?
-
なぜ逆関数はf^(-1) (x)
-
数3微分についてです。 合成関...
-
f(x)=x^3-2が一様連続でないこ...
-
定数がよく分かりません 実数は...
-
至急!フーリエの周期的に拡張...
-
解法を教えてください
-
高一数学二次関数 なぜx²-2xを...
-
y=f(x)を英語で言うとき
-
数学のf(x)やP(x)について
-
解析
-
方程式で、 「どのようなxにお...
-
微分・積分
-
⑵についてなんですが、xノット...
-
4次関数 対称軸l
-
写像の一致とは??
-
あるフーリエの数学動画に関し...
-
一様連続と連続の違い
-
リプシッツ連続と一様連続
-
微分・積分の初歩の問題を教え...
おすすめ情報