No.6ベストアンサー
- 回答日時:
No.4です。
証明できていますね。Fは連続関数で間違いなさそうです。それでNo.4で書いた"反例”はFが連続関数という主張に対する反例が出るかもという話なので、証明できた以上は出ないで問題ないです。
最大となるyが連続かという話については最初に挙げた反例で問題ないのでわざわざ距離空間にならない例を作る必要はないです。
ゾルゲンフライ直線を使った例も特に間違いはなく正しいと思いますけど。
No.4
- 回答日時:
> F:X→ℝ をF(x)=max{f(x,y)|y∈Y}で定義すると、Fは連続関数である。
これは正しい? ちょっと直ぐ判断できないけど。簡単に証明できる?
なおNo.1の回答はF(x)=sin(1/x)がx∈X=(0,1]では連続なので反例になっていない。
一方でXもYも距離空間である必要もないので、距離の入らない空間で反例があるんじゃないかとの疑いを持つ。
No.1
- 回答日時:
>F:X→ℝ をF(x)=max{f(x,y)|y∈Y}で定義すると、Fは連続関数である。
<これは言えない。
X=(0,1], Y=[0,1] , f(x,y)=ysin(1/x) とすると
F(x)=sin(1/x)
となり、連続関数ではない。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 連続であることを示すときの最後のεについて 6 2023/04/14 23:00
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 あのごめんなさい。 高校せいの数学だけど、わかりません。 例えば円は2変数関数ではないとおもいます。 6 2022/07/10 12:13
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 数学 次の解析学の問題がわからないので教えて頂きたいです。 k>0 関数f(x)が区間[0,∞)で連続であ 3 2022/11/17 20:52
- 数学 1変数関数に陰関数ってあるんですか? 1変数関数は f(x)=xの式 f(x)はxの値で決まるもの( 4 2023/05/08 18:47
- 数学 連続関数f,g:ℝ→ℝは f(x)<g(x) (∀x∈ℝ) をみたしています。 このときC^∞級関数 2 2023/01/01 00:00
- 数学 (-∞,∞)上の関数y=y(x)はx<0でy”-4y=e^xを、x>0でy“-4y=e^(-x)co 2 2022/07/30 11:50
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 数学Ⅲの関数の極限、関数の連続・不連続に関しての質問でございます。 問題集には、次の関数の〔 〕内の 5 2022/05/19 10:43
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3,4,7,8を使って10を作る
-
数学の「証明」のときなどの接...
-
「証明証」と「証明書」はどう...
-
婿養子に入ったのに出て行けと...
-
証明終了の記号。
-
成人した後両親が離婚し別の人...
-
通学証明書の契印とは
-
中学2年程度数学3ケタの自然数...
-
素数の性質
-
アキレスと亀がなぜ不思議でな...
-
実数について
-
線形代数 正則 階数
-
数学の証明問題で、「証明終了」...
-
位相空間についてです
-
2のn乗根で、 nを無限大に持っ...
-
ABC予想を証明した望月教授の論...
-
素数の積に1を加算すると素数で...
-
正解が一つとは限らない数学の...
-
還元不能の3次方程式
-
ボトムアップ方式の定式化によ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報
その例だとF(x)=max{sin(1/x),0}だし、連続ですよね
普通に反例がありました。
X=ℝ,Y=[0,1],f(x,y)=xy とする
x<0でF(x)=0 このときy=0で最大
x>0でF(x)=x このときy=1で最大
よってもし連続なσ:ℝ→[0,1]があるなら
x<0でσ(x)=0,x>0でσ(x)=1となるから
x→-0とすればσ(0)=0,x→+0とすればσ(0)=1となり矛盾である。
証明はtube lemmaを使うとそんなに難しくないと思う。詳細を書くにはスペースが足りないが、
ε>0とa∈Xを任意に固定し、Fがaで連続であることを示す。
{(x,y)∈X×Y| f(x,y)<F(a)+ε}を考える。
{a}×Yはこの集合に含まれるから、tube lemmaを使うとaのある開近傍Nがあって、
∀x∈N, F(x)<F(a)+ε となる。
F(a)=f(a,y)とすると、
fは(a,y)で連続なのでaのある開近傍N'があって、∀x∈N', F(a)-ε<F(x).
よって∀x∈N∩N', |F(x)-F(a)|<ε.
N∩N'はaの開近傍なのでこれで証明完了。
距離化不可能な位相空間での反例は自分はあまり詳しくないが、最初に挙げた反例を修正すれば得られると思う。
例えばX=ℝをゾルゲンフライ直線とし、Y=[0,1]^ℝとする。
ゾルゲンフライ直線は距離化不可能であり、ユークリッド距離から定まる位相より強い。
[0,1]^ℝはチコノフの定理よりコンパクトだが、点列コンパクトではないので距離化不可能。
f:X×Y→ℝをf(x,α)=xα(0)とすると連続。
π_0:Y→[0,1]を射影,すなわちπ_0(α)=α(0)とする。
もし連続なσ:X→Yが存在するならば、π_0とσの合成も連続であり、最初に挙げた反例と同様の矛盾が起こる。
間違いがあったら指摘してください。