数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■51896 / 1階層) 　連続関数と有理数と代数的無理数と超越数
□投稿者/ マシュマロ 一般人(18回)-(2022/06/25(Sat) 02:28:45)
http://www.youtube.com/channel/UCHRwEUVvKzCUqRDRYpKam6A
    こんにちは＾＾

    これは面白い問題ですね。
    たとえばこんな関数はどうでしょうか。


    ｆ（√２）＝ｅとし、ｘ≦０およびｘ≧４ではｆ（ｘ）＝ｘとします。

    以下、残りの部分を定義していきます。まず、

    ①　ｍ／２＾ｋ（ｍ，ｋは非負整数）

    の形の数のうち√２を超えない最大のものをＰ（ｋ）とし、
    各Ｐ（ｋ）のうち重複するものを除いてｎ番目に小さい数をＡ（ｎ）とおきます。

    また①の形の数のうち√２より大きい最小の数をＱ（ｋ）とし、
    そのうち重複するものを除いてｎ番目に大きい数をＢ（ｎ）とおきます。

    ｅについても同様に、①の形の数のうちｅを超えない最大の数をＲ（ｋ）とし、
    そのうち重複するものを除いてｎ番目に小さい数をＣ（ｎ）とおきます。

    さらに、①の形の数のうちｅより大きい最小の数をＳ（ｋ）とし、
    そのうち重複するものを除いてｎ番目に大きい数をＤ（ｎ）とします。

    区間［０，Ａ（１）］においてはｆをｆ（０）＝０，ｆ（Ａ（１））＝Ｃ（１），となる１次関数とし、
    ［Ａ（１），Ａ（２）］においてはｆ（Ａ（１））＝Ｃ（１），ｆ（Ａ（２））＝Ｃ（２）となる１次関数とします。

    以下同様に、［Ａ（ｒ），Ａ（ｒ＋１）］においては
    ｆ（Ａ（ｒ））＝Ｃ（ｒ），ｆ（Ａ（ｒ＋１））＝Ｃ（ｒ＋１）となる１次関数として定義していきます。

    また区間［Ｂ（１），４］においてはｆ（Ｂ（１））＝Ｄ（１），ｆ（４）＝４となる１次関数とし、
    ［Ｂ（２），Ｂ（１）］においてはｆ（Ｂ（２））＝Ｄ（２），ｆ（Ｂ（１））＝Ｄ（１）となる１次関数とします。

    以下同様に、［Ｂ（ｒ＋１），Ｂ（ｒ）］においては
    ｆ（Ｂ（ｒ＋１））＝Ｄ（ｒ＋１），ｆ（Ｂ（ｒ））＝Ｄ（ｒ）となる１次関数として定義していきます。


    以上でｆが定義できました。
    区分けして定義した各区間においてｆは有理数係数の（定数ではない）１次式になっているので
    有理数に対しては有理数，無理数に対しては無理数の値をとります。
    しかもｆ（√２）の値ｅは超越数です。


    ということで、一応例が示されたのではないかと思います。
    以上の内容がご参考になれば幸いです。
    ではでは☆
記事引用 [メール受信/OFF] 削除キー/

前の記事(元になった記事) 次の記事(この記事の返信)
←連続関数と有理数と代数的無理数と超越数 /福澤 →Re[2]: 連続関数と有理数と代数的無理数�.. /福澤
　
上記関連ツリー

Nomal 連続関数と有理数と代数的無理数と超越数 / 福澤 (22/06/24(Fri) 22:03) #51895
└Nomal 連続関数と有理数と代数的無理数と超越数 / マシュマロ (22/06/25(Sat) 02:28) #51896 ←Now
  └Nomal Re[2]: 連続関数と有理数と代数的無理数�.. / 福澤 (22/06/25(Sat) 18:35) #51898 解決済み!

All 上記ツリーを一括表示 / 上記ツリーをトピック表示
　
上記の記事へ返信
Mode/　 Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター