• ベストアンサー

たかだか可算

解析学の問題で、「[0,1]で定義された単調増加関数の不連続点はたかだか可算である」と言うことを証明したいのですが、さっぱりわかりません(>_<) どなたかご指導いただければと思います。お願いいたしますm(_ _)m

質問者が選んだベストアンサー

  • ベストアンサー
  • minardi
  • ベストアンサー率82% (14/17)
回答No.2

区間[0,1]におけるfの不連続点でのとびの合計はf(1)-f(0)をこえません。 ここで、1/nより大きい不連続点全体の集合J_nを考えさらに、Jを不連続点全体の集合とします。 そうすれば明らかに J=∪ n=1 to ∞ J_n ここで各J_nは有限集合です。 よって、Jは可算個より多くの要素を含まないことがわかります。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (2)

  • keyguy
  • ベストアンサー率28% (135/469)
回答No.3

不連続店が作る飛びの中には各不連続店で異なる有理数を含むが有理数全体は家父版なので不連続店と有理数の部分集合が1:1対応であると言うことは不連続点が家父版であるということである

全文を見る
すると、全ての回答が全文表示されます。
  • keyguy
  • ベストアンサー率28% (135/469)
回答No.1

飛んでいる幅の中には有理数が住んでいる

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 大学の数理論理学の問題です。

    大学の数理論理学の問題です。 (1)実数全体の集合Rを定義域にもつ実数値(real-valued)単調増加関数(monotonically increasing function)は不連続点を高々可算個しか持たないことを示せ。 (2)Rを定義域とする実数値単調増加関数の全体はちょうど連続濃度をもつことを示せ。 解答、解説よろしくお願いいたします。

  • 可算個の不連続点をもつ関数の多項式近似

    可算個の不連続点をもつ関数の多項式近似 閉区間における連続関数は多項式(無限の次数の可能性がありますが)で近似できるという「Weierstrassの近似定理」があります. そこで,閉区間においてたかだか可算個の不連続点をもつ関数は,「Weierstrassの近似定理」と同様に多項式で近似できるでしょうか?もちろん,不連続点あるいは不連続点近傍での正確さは除いて良いです. どなたか,解析学が得意な方の回答をお待ちします.

  • 分布関数で微分不可の点は可算個か

    分布関数は、可算個の不連続点をもつ、というのは有名な命題です。分布関数で、微分不可の点は、可算個でしょうか。不連続であれば、微分不可です。その意味で、こちらの方がもっと強い主張です。 真であるように思われますが、証明ができずに悩んでいます。怖くて、先生には聞けませんし、先輩には優秀な人がいません。よろしくお願いします。

  • 第2可算公理

    X,Yが第2可算性を持つ位相空間のとき、X×Yも第2可算性を持つことを示せ。 という問題です。 第2可算性を持つ⇔位相空間が可算集合からなる基を持つ で定義されています。 更に、 位相空間において、β⊂Oは、任意の開集合がβの要素の和集合で書けるとき、位相Oの基と言います。 証明の方針がいまいち分からないので、どなたかアドバイスもしくは証明をお願いします。

  • 積分可能、不可能について

    fを[a, b]で定義された単調関数とするときfの不連続点は高々可算個です. 1点集合は零集合であり,零集合の可算和も零集合となるので, fは[a,b]でリーマン可積分といえますよね。 それでは何故f(x)=1/xは[0,1]で定積分不可能なのでしょうか? 不連続な点はx=0の時だけなので、「fの不連続点は高々可算個」という 上の条件を満たしていると思います。 どなたか誤りの指摘、または解説をよろしくお願い致します。

  • 可算であることの証明

    可算についてなのですが、次の2つがどうしても証明出来ません。 1.可算集合の無限部分集合は可算である 2.有理数a,bを端点とする開区間(a,b)全体の集合は可算である 一応濃度、可算集合については一通り勉強したのですが…。 言っている事はなんとなくわかるのですが、自分でいざ問題を解いてみる(証明してみる)と何をどう書いてよいのやらまったくのお手上げです。 きちんと理解できていないのが原因だと思うのですが、いろいろな本を読み漁ってもこの”集合論”という分野、いまいちピンときません。 どうか回答のほどよろしくお願いします。

  • 有界な単調数列の証明(再掲)

    こちらの皆様のご指導のもと、以下の単調数列の証明問題を解いてみました。 証明が変なところがあれば、ご指導よろしくお願いします。 【問題】 数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は 有界な単調数列であるか? 理由とともに、単調な場合には、 単調増加であるか単調減少であるかについても求めよ。 【証明】 まず、有界かどうかについて証明する。 n→∞とすると、 lim[n→∞] { 1-(1/n) }/{ 1+(1/n} } =lim[n→∞] (n-1+2-1)/(n+1) =lim[n→∞] 1-2/(n+1)=1 よって、有界。 つぎに単調増加について証明する。 (n-1)/(n+1) = (n+1-2)/(n+1) = 1-2/(n+1)と変形させることにより、 1より小さいことがわかる。 また、2/(n+1)は単減少であることより、-2/(n+1)は単調増加。 よって、1-2/(n+1)も単調増加であることが証明される。 ∴数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は、 有界な単調増加である。

  • 分布関数で微分不可の点は可算個か (その2)

    たびたび、恐れいります。先ほどは、前提条件を間違っていました。 http://okwave.jp/qa/q8552663.html 分布関数が絶対連続の場合(確率密度関数が存在する場合)、分布関数における微分不可の点は可算個でしょうか。 よろしくおねがいします。

  • 位相 可算集合

    Xを非可算集合とし、AをXの可算な部分集合とする。このとき、XとX-Aが対等であるときを証明せよ。 この問題の解答と経過を教えてください!! おねがいします!!

  • 単調増加関数とは何か?

    よく問題をやっているときに「単調増加関数」とか、「増加関数」なるものが出てきて、それが問題の解法に重要に絡んでいる事があるのですが、一体「単調増加関数」とか、「増加関数」や「減少関数」というのは、どういう意味なのでしょうか? 予想では、関数f(x)の微分値f'(x)が0より大きければ増加関数なのだと思いますが、自信もないしそれだけでは単調増加関数の説明ができません。