タグ

2016年12月3日のブックマーク (2件)

  • 単調収束定理 - Wikipedia

    数学の分野において単調収束定理(たんちょうしゅうそくていり、英: monotone convergence theorem)と呼ばれる定理はいくつか存在する。ここでは代表的な例を紹介する。 単調実数列の収束[編集] 定理[編集] が単調実数列(すなわち an ≤ an+1 が成立する)であるとき、この数列が有限な極限を持つための必要十分条件は、それが有界数列であることである[1]。 証明[編集] 増加数列 が上に有界であるなら、それは収束し、その極限は であることを証明する。 が空でないことと仮定により、それは上に有界であるため、実数の最小上界性(英語版)から、 は存在し、有限である。今、すべての に対して であるような が存在することが分かる。実際、そうでないならば、 は の上界となるが、これは が であることに反する。このとき、 は増加であるため、 が成り立つことから、定義により、 の

    hoxo_m
    hoxo_m 2016/12/03
    ルベーグの単調収束定理
  • RStudioって...なんだ? Projectって...なんだ???? - Qiita

    一説には2147483647個存在するとも言われるRStudioの利点のなかでも、 Rなどのソースファイルをタブで並べて表示できる そのタブの順番を保持できる タブの内容をファイルを保存せずにRStudioを終了してしまっても、編集途中の内容を保持してくれている 等が全国2147483647人のRユーザーのQOLを大いに向上させたのは、おそらく異論がないことと思われます。 どうやらこれらの機能は、Project機能によって実現されているようです。 そもそもProjectって何だという方のために、Projectを「作成」できるコードを載せました。 {devtools}パッケージをインストールしていないかたは、この機会に

    RStudioって...なんだ? Projectって...なんだ???? - Qiita
    hoxo_m
    hoxo_m 2016/12/03
    .Machine$integer.max ワロタw