  |
はてなキーワード:ルベーグとは
フェミニズムの分類が多すぎると聞いて
記述集合論（Borel階層, Projective階層, 汎加法族）
モデル理論（型空間, o-極小, NIP, ステーブル理論）
再帰理論/計算可能性（チューリング度, 0′, 相対計算可能性）
構成主義,直観主義,ユニバース問題,ホモトピー型理論（HoTT）
体論・ガロア理論
表現論
K-理論
初等数論（合同, 既約性判定,二次剰余）
解析数論（ゼータ/ L-関数,素数定理,サークル法, 篩法）
p進数論（p進解析, Iwasawa理論, Hodge–Tate）
超越論（リンドマン–ヴァイエルシュトラス, ベーカー理論）
実解析
多変数（Hartogs現象, 凸性, severalcomplex variables）
関数解析
バナッハ/ヒルベルト空間,スペクトル理論, C*代数, von Neumann代数
フーリエ解析,Littlewood–Paley理論, 擬微分作用素
確率解析
常微分方程式（ODE）
偏微分方程式（PDE）
非線形PDE（Navier–Stokes, NLS, KdV, Allen–Cahn）
幾何解析
リッチ流, 平均曲率流,ヤン–ミルズ,モノポール・インスタントン
エルゴード理論（Birkhoff, Pesin）,カオス, シンボリック力学
点集合位相,ホモトピー・ホモロジー, 基本群,スペクトル系列
4次元トポロジー（Donaldson/Seiberg–Witten理論）
複素/ケーラー幾何（Calabi–Yau, Hodge理論）
スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間
多面体, Helly/Carathéodory,幾何的極値問題
ランダムグラフ/確率的方法（Erdős–Rényi, nibble法）
加法的組合せ論（Freiman, サムセット, Gowersノルム）
彩色,マッチング,マイナー理論（Robertson–Seymour）
列・順序・格子（部分順序集合, モビウス反転）
測度確率, 極限定理, Lévy過程, Markov過程, 大偏差
統計学
ノンパラメトリック（カーネル法, スプライン,ブーストラップ）
時系列（ARIMA,状態空間, Kalman/粒子フィルタ）
非凸最適化
離散最適化
整数計画,ネットワークフロー, マトロイド, 近似アルゴリズム
Littleの法則, 重み付き遅延, M/M/1, Jackson網
エントロピー,符号化（誤り訂正, LDPC,Polar）, レート歪み
公開鍵（RSA,楕円曲線, LWE/格子）,証明可能安全性,MPC/ゼロ知識
計算複雑性
機械学習の数理
量子場の数理
相転移, くりこみ, Ising/Potts, 大偏差
数理生物学
数理神経科学
データ解析
でもルベーグ可測でない集合が存在することの証明すら知らないんだよね。位相の本すらまともに読んだことないんだろ。
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250706151310# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaGoT9gAKCRBwMdsubs4+SD0LAQDPdhHpauosuVfNL+09bjJlrHND7kODE4xxpftvOlRNBgEAtwjXvqP8klztNQTOnwsEZPW0v6dW/m0sdEXZJXvUygk==DbVB-----ENDPGP SIGNATURE-----
ざっくり単純化すればan<bn+cnみたいな式だ。</p>
Σan<Σbn+Σcnとしてるんだが、果たしてこのような論理は正しいのか納得がいかない。
もちろん各数列が級数としたときに絶対収束するなら結合法則が成り立つどころかどんなに足し算の順序を並べ替えてもいいことになるわけだが、そんなことは証明してない。
a1<b1+c1にa2<b2+c2を足してa1+a2<b1+c1+b2+c2にするということを再帰的に繰り返すイメージなのかもしれないが、</p>
この場合でもシグマだとb1からbの項を無限に最初に足し合わせることと、cについて同様にすることをやってから、それらを最後に足すという計算順序だから、順序的に両者は食い違っている。
でもそもそもシグマは「対象の数列の要素を最初に足し合わせる」演算子なのだろうか？ただb1+b2…bn+…の略記法という解釈もありえないか？
そうすると数列bの最後の要素をあえて順序数を使ってbωとでも書いてみることにして、そのあとにΣcが書かれているとしたら、
その部分の足し算は…+bω+c1+c2というふうになっているはずだが、単なる略記法なら当然((…+bω+c1)+c2…)という計算順序で行うべきということを示す式ということになるだろう。
どちらの解釈をとるかで絶対収束じゃないのならば計算値が変わってしまうはずだがこんな証明でいいのだろうか？
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250705184734# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaGj0tgAKCRBwMdsubs4+SDy7AQDVIo9VgVxlIOn2w7FlJL47UytWBnXg5AGx5xwKonwXhwEAos1IdXC/VcDKwWI3t3u8FrHEa8D8NV2mdoLQtLsR3wI==tzuM-----ENDPGP SIGNATURE-----
哲学ってのは考え方の学問なので、その考察対象に「論理」とかが位置する。
「論理」にも論理α、論理β、論理γ……があって、数学はその中の（とても有力なものの）1つ。
数学をできないやつが「論理βでは」云々言ったりするのは、大抵の場合はただの逃げ、ということには同意する。
でも、人類の99%にとって、「数学ができる」とは「積分計算できる関数のパターンが他の人より多い」程度の話。
そういう「数学ができる」人は、たとえば「リーマン積分できないfとgをルベーグ積分するとfの方が『大きい』とき、『大きい』ってどういうことなの？」と聞かれても大抵は答えられないので、哲学的な意味で「数学ができる」とはまったく言えない。
夕食前 84.1キロ 夕食+腐りそうなので残りサニーレタスとプチトマト一パック+ベビーチーズ1本 実就寝時間：01:00
実起床時間：07:00 朝食前 84キロ 朝食は納豆、油揚げ、ごはん、味噌汁、胡麻和え、しゃけ
午前中は尿のみ。うんこはなし。
昼食水漬けパスタに半額お惣菜のエビの素揚げとホタテと半額だったスイートバジルを追加してオイルで和える
（水漬け10時間+3分茹でだと柔らかすぎだったので今後はもう少し短めに茹でること）
15:30寝不足で頭がぼんやりしていて重力方向が変。今日は21時までに寝ること。→仕事の残りがあるので変更。
夕食は芋とキノコと玉ねぎと鶏の焼いたやつ と もやしとラディッシュの酢漬け
うんこはまだ出ていない
読書：
測度・確率・ルベーグ積分：40～59Pを行き来。具体的な証明とかは全然わからないのでどっかで手書き必要そう。「そもそも積分する対象といったものを有限加法性を持つかどうかなどで正しく構成しないと色んな不整合が生じるので自分がどんな対象に対して積分したいのかをよく認識してね」といったメッセージは読み取れたが、有限加法性やσ加法族、完備化やルベーグ可測、ルベーグ可測でないといったことがまだ頭の中で宙ぶらりんな状態で正しく事例と結びつかないのでその辺が要確認。
気になった言葉：相落手形、アイオロス（風の操縦者）、アイオワシティー（アイオワ州の州都ではない。州都はデモイン）、愛語摂→四摂事
視聴動画：
https://www.youtube.com/watch?v=DaDxCx2-hDc
https://www.youtube.com/watch?v=jfk42-0meJQ
実起床：7:35、84.3キロ（朝食前）。うんこなし。朝食はにんじん、ソーセージ、ブレッドプディング
11時8分うんこが出る。少し柔らかそうだったが割合健康的な長うんこ。うんこ後体重は84.4
基本的にはリーマン積分のこれまでの過程をルベーグ積分でやり直してみようの回
最後の条件付き確率については加法族での確率空間の再構成という新しい概念が出ていて新鮮だった
実起床：6:30、84.2（朝食前）。朝食はごはん、納豆、味噌汁
海底二万マイルを少し読み進める。海底の森→潜水艇の日常風景→座礁→パプアの島という感じで冒険のステージが切り替わった感じ
海底二万マイルという言葉自体はまだ全く出ていない。下巻になってから？ 不明。
12:30ニンジン1/2本、蒸しじゃがいものちっちゃいの五個、半額総菜のサバのしょうゆ？煮みたいなやつ
COMICDAYSとgoogle playの課金機能が動かなくなる。原因不明。
海底二万マイルをパプアで人食い人種が出てくるところまで読了。
0:30就寝
7:00実起床 朝食：ピーナッツバタートーストとソーセージとレタス
18:30 のりまき
読書はキングキラー・クロニクル 風の名前宿屋の主人との会話まで完了。
腰の痛みで何度も起きてしまった。ポケモンスリープ1日目は1時間半しか寝ていないことに。
10:30に耳鼻咽喉科へ聴力健診。風邪で混んでいたので11:40まで待つ。ルベーグ積分を読み終えてしまったが、内容として読み終えただけで関数などの証明には至っていないのでまだまだ読めそう。内容としては中心極限定理や大数の法則についてを数学的に積分論の言葉を使って書き表す、というもの。一点気になったのは作者は大数の法則について「経験的な法則というだけでなく＜しっかりと数学的な証明を持った考え方～」という話をしていたが、どちらかというと経験の方が大事なのではないかと思った。
また食と文化の本についてアジア編とインド編が読了し、アジアは米と魚、インドは（麦と米と）豆とミルク、遊牧文化圏以西は麦とミルク、みたいなまとめまで読んだ。納得できる。
12:30に中華弁当。中身はごはん、味玉、メンチカツ、じゃがいもとえびのあんかけ炒めみたいなもの。最後の料理は食べたことがある気がするが名前は思い出せない。炒土豆絲？
19:00までジム
ルワンダ銀行総裁日記を読了。改めてこれを読んでからルワンダ内戦について確認すると、服部も当時の政権側なのでその色眼鏡が入っているが、RPF側が勝利したので残念な結果だったのかもしれない。特に服部は当時の政権で仲のいい人たちがたくさんいただろうからやはりそれには心を痛めていたのかなという感じ。一方で調べてみるとRPF側が開戦した（ハビャリマナが殺された事件の犯人）というのも正しくはなさそう。
実際その後の難民の挙動はどうだっただろうというのは気になる。
15:00うんこ
ああいや、俺の言葉の使い方が怪しいのかもしれん。学際というのは複数の分野にまたがることを前提として作られた学問って意味合いで言ってる。
超ひも理論などはもっぱら数学を活用した物理のための学問だろう。別に他の学問に一切活用されてない学問を所望してるわけじゃないし(そんなこと言ったら代数学できないし)、それにしても物理学で数学に対抗するのはなんか力士に野球で決着をつけようとしてるようで違うかなーって。
数学の現段階での(数学という系譜上に)最終到達点としての学問領域って数論幾何以外になんかあるのかなとシンプルに疑問に感じただけ。たとえばルベーグ積分を学ぶのを最終目標にしようって全体じゃそんなのは数論幾何の踏み台としての解析学のしかも中間地点あたりの成果の技法でしかないわけだしねえ。
別に本気で学びたいとか言ってるんじゃなくて数論幾何がもてはやさてるなかでの、他になんかないのかっていう素朴な興味やら反発心混じりの疑問ってだけだよ。
確率というのものは、数学的構造としては面積とほとんど全く同じなんですよね。
つまり、重なっていない土地の面積は足すことができるとか、重なっている土地を合わせるときは重複を差し引かないと合計面積にならないとか、そういうことです。
普通の意味での面積との違いは「全体の面積は1」ということだけです。
（これを測度論的確率論と言います。より詳しく言うと物理的な面積にとって意味のある測度はルベーグ測度ですが確率空間の場合はそれに限らないため、無限要素数や連続体濃度が関わってくるときに違いが出てくるわけですがまあそれは普通は考えなくていいことです。）
面積とほとんど同じ意味しか持たない確率という構造それ自体に「ある特定の家族の子供が女である確率」とか「家族を100組集めてきたときの頻度として子供が女である確率」とかいう意味を自然に持たせることは不可能です。
そこはユーザーが別途やるしかないわけです。具体的には、面積の切り方のパターンを全列挙してこの面積はこういう意味（ある特定の家族の子供が男であるという意味、など）、この面積はああいう意味、という感じで、面積の切れ端と表現したい意味の対応づけを逐一定義する必要があります。これをやって初めて意味を踏まえた確率の議論ができるようになるわけです。
（これがσ加法族および確率変数の定義ということになります。）
モンティホールや元増田の設定などで毎回毎回議論が紛糾するのは、議論している人それぞれが頭の中に浮かべている面積の切り方のパターンと意味づけが異なっているからです。違うσ加法族、違う確率変数についてあーでもないこーでもないと言っているわけです。違うものを議論しているので意見が一致することはありません。
確率という構造およびそれと現実との対応について、何を明記すれば同じものを考えていると思ってよいかを整理したのがコルモゴロフの測度論的確率論の偉大な成果です。これは現実における確率の議論において避けることが絶対にできないものですが、中学高校の教育課程ではこのことを巧妙に避けて教えようとしているのが問題ですね。結局失敗して確率を国民に理解させられないままになっているから毎度紛糾するわけです。
まともに議論をしたければ、自分が想定しているσ加法族（面積の切り方のパターン）と確率変数（標本空間から実数値への、想定したσ加法族に対して可測な写像）を明示しましょう。それ以外に解決法はありません。
劣等感ほどは無いんだけど、
高校の同級生の天才が東大理１から東大数学科博士を出て、旧帝大で数学のポストについている。
僕は普通に社会人になって、でもコツコツと数学自体は勉強している。
数学のレベルだが、自分は一応は大学レベルの数学は理解している。
代数学は雪江先生とかハーツホーン、幾何学は多様体と数え上げ幾何学、解析はルベーグ、関数解析とか。
佐藤幹夫先生の数学が好き。工学の微妙な数学を数学に昇華してくれてて溜飲が下がるっていうか。
適当な修士とか博士論文をコツコツ読んでるけど、それすら難しい。
普通は数学科の人は２５くらいには研究レベルには到達してるんでしょうね。
僕は人より時間がかかるみたいです。
いや、成人指定されてる漫画で成人指定される直接の理由となっている要素がメインじゃない漫画ってないねって意味でひたすら変わらないよ
1ミリでもそういう要素、具体的には性器の克明な描写のうち決して芸術的ともみなされないようなものがあったら一般向けではできない表現になるわけだけど、だからといって1ミリでは成人向けにも居場所がない。無理にでも(作者の頭の中の作品像に反して)その要素を増やすか発表を諦めるかになってしまう。
とまあでもトラバでも「冥王計画ゼオライマー 」ってのがあるようになくはないみたいだね。
俺も寝てるときに読み切り短編集だけど蜈蚣メリベの有機人形とか一部条件満たしてるんじゃないと思った。
と同時にあれは確かに性器描写を一般向けに適合するレベルまで修正しても筋書き自体は成立するのだろうが、あれの魅力はエロさ自体に担保されてる部分も大きい気がするからそういう意味で微妙。
有害図書で弓月のシンデレラエクスプレスがあったのも思い出したがあれも性器に顔を描いてマイルドにしてる。今発表されてれば成人指定はされてないだろう。
つまり元増田で主張することををより具体化すると、性器をちゃんと描写しないと筋書きが成立しないような漫画ということなんだな。
まあ漫画ってそんな数学ならユークリッド空間に逆張りして非ユークリッド空間を作り出たりリーマン積分に理論的な粗に反発してルベーグ積分作り出すみたいなみたいな学術畑にありがちな「既存原理に対するハッキング」みたいなことなんて敢えてするようなことはしないしする必要もないからそういう作品があまりないってだけのことなんだと思う。原理内の自由度で作品作れればいいって態度。所詮娯楽だから。
コンピュータ・サイエンスを専攻してる大学生なんだけど、最近自分自身がエンジニアに向いてないんじゃないかって感じてる。ていうのも、周りの知人が大学生エンジニアとしてバイトしてたりする中で、同じように企業に混じって開発経験を積んでいくことに億劫になってやる気がでないし、流行りの技術に対して貪欲になることができないんだよね。例えばMySQLとかPythonとかが今の流行りだと思うんだけど、上辺だけの浅い知識をすくってるように見えるから冷めた目で見てしまってやる気がでない。結局、作りたいものがないからそうなるんだと思うけど。ただ技術その他の勉強が嫌いかと言われるとそうではなく、プログラミング言語だとC++とかLispとか本気で勉強してある程度理解できるようになったし、数学も統計に興味があってルベーグ積分までやったし、英語も英検準1級を持ってるし（その他もいろいろ勉強してるけど省略）。だからおそらく自分はただ勉強が好きなだけなんだよね。でもそれをもってエンジニアの世界に飛び込もうと思うととたんに億劫になる。だからただ自分の知的好奇心を満たすのが面白いだけでエンジニアとかにはさほど向いてないんだろうなって思う。他の人で同じように感じてる人っているのかな？
心残りがある。
ホッジ作用素とか、アインシュタイン方程式、群環体、微分幾何、集合と位相くらいは理解した（つまり、e-MANや物理のかぎしっぽくらいのサイトを眺めるレベル）
でも、
って感じの、学部中級レベルしか物理や数学は理解できていない。
東大まで行って、これかよっていう。
ってか、工学系でも、これらの知識使ってるところは使ってる研究室あって、普通に研究してるわけで。
自分がいた研究室は、そんなに高度な数学も物理も使わなかった。せいぜい、微分幾何学とかチョロっとだけルベーグもあったかなーくらい。ほとんど何もまともな頭を使う議論はなかった。ルベーグってのも、別にルベーグじゃなくて、ノルムがどうこうでちょろっと。
物性系なら、超電導とか相転移とか。あるいは、核物理とかなら、普通に素粒子とかで数学バリバリできたんかなあ。
もう就職しちゃったけど、博士やれるなら、純粋数学か、素粒子物理やりたいなあ。。。
Fラン私立大卒業後、しばらく資格職で働いたのちに、30歳目の前で東大理系院に潜り込んだ。
学部はド文系だったため、入試に受かるか不安だったが、あっさり受かった。
働いていて、こんなものが世界なのかと、人付き合い含めて嫌になっていた。
理系に関して憧れがあった。技術で人間は救われるんじゃないかと思った。
研究分野に関していえば、さらに絶望が深まった感があるんだけど。
まず、入学当初に期待していた数学や理論物理に関しては、少しガッカリだった。
東大の数学科や理論物理科（数理科学院）の研究を眺めたが、これらが直接世界をよくするイメージがイマイチわかなかった。
もちろん、カラビヤウだの、ヤンミルズだの、M理論だのはあまりわからなかったニワカで語っている。
しかし、代数幾何や数え上げ幾何やルベーグ関数解析、アインシュタイン方程式くらいは理解した。
もう少し勉強すれば深い感動はあったのかな？
一方で、予想していなかった分野では感動がたくさんあった。
情報幾何学、材料物性、光学、計算化学といった、実学のちょっと先の分野が大変面白いと思った。
数ヶ月ごとに、これまでの人類が刷新される成果がガンガン出てくる。
パワー半導体や、レアアース採掘、電池やエネルギー技術は、本当に２、３年でドンドン人類が根本的に変わる発明や実用化がガンガン出る。
このような分野を普通に理解できるようになったのは本当に楽しい。(別にこのくらいを楽しむ程度なら、東大行かなくても、youtubeで勉強とかでも最近ではいいのかもしれないけど正直)
こんなに東大生というのはチャンスがあるのだなと感動しっぱなしだったし。
いわゆる最先端というか、未来を変えうる技術を少しできるようにしたくらいの成果はできた。
また、この分野の研究や成果をどうやって作るのかの知見も得られた。
自分は、社会人に戻ったが、あの日々の経験は自分にとっては、「生きててよかった、世界は間違いなく変わる」ことを実感させてくれた。
技術が作る未来を見たいし、そこに、自分のようなブサイクで生きる価値のないキモい人間も生きていられる世界ができる気がするし、自分でも世界を作れると感じられるから。
マセマの数学系の本を読んだことがある。東大の工学部の院試を受けてみて受かったことがある。
生物系の研究でも数学っぽい概念が絶対確立されてそうな雰囲気なものが多いので、数学を理解したいなーと思っていた。
２カ月くらい前に受験を決意。
＜実際の結果＞
カナリ過去問から出ると思った。逆に言えば、過去問で解答を作成できるかどうかが勝負。
基礎科目（大学１，２年レベル）と専門（代数、幾何、解析、その他の数学科特有の分野）に分かれるが。
基礎科目すら危うかった。専門は全く勝負にならなかった。
＜基礎科目のお勉強＞
基礎科目の方は、割とマセマと『演習大学院入試』で何とかなると感じた。もちろん、過去問の答えを全て作成できることが前提だけど。
追加で、『イプシロンデルタ完全攻略』、『線形代数３０講』（固有値と固有空間問題対策）でやったくらい。
時間があれば、もっと実際に手を動かして計算練習などすれば、点数は満点近くまで伸びると感じた。
一方で、集合論や幾何学を捨てていたので、京都大学の受験ではかなりビハインドを引いてしまったし、東大でも逃げ科目を作れなかったのが少し痛かった。
１００時間ほどで過去問まで対策できた。初学の分野が少なかった（複素関数、εδ、微分方程式の級数解放、線形代数の空間論が初学）ので、割となんとかなった。
＜専門のお勉強＞
代数学は『代数学１，２（雪江）』、『群・環・体 入門』、『代数学演習』、『大学院への代数学演習』と「物理のかぎしっぽ」で対策したのだが。
１００時間も勉強時間を取れなかったので、ガロア拡大の計算と、イデアルの簡単な奴しか抑えられなかった。しかも、本番で出てきたのは、明らかに知らない概念だった。もちろん、問題分の意味は何とか理解できたが、恐らくは『アティマク』や『ハーツホーン』や整数論系の概念を知らないと厳しい問題だった。
過去問を見てもできないなーと思っていたが、試験場で他の人たちが、洋書やハーツホーンや零点定理やシェバレーと言った、全く知らない概念を話していたので、勉強する分野を完全にミスったと思った。
ネットでググっても、雪江代数で受かってるっぽい感じだったから、雪江代数だけで行けると思ったけど、勘違いだったみたい。
無念。
＜感想＞
結果的にはゼンゼン駄目だったけど、数学科の人たちの雰囲気や、レベルを肌で理解できてよかった。
時間が更にあるなら、
あと、代数学もアティマクとハーツホーンと整数論は押さえたいなあと思った。
Pythonやディープラーニングの本は沢山出ているが、入門書ばかりで終わってしまい、入門が終わったらどれも似たり寄ったりで読むのがなくなる。
実際に自分が抱えている処理をしようと思えば、それなりに咀嚼し応用しないといけない。
蛍光スペクトルからどうやって細胞を分類するかといった課題を解きたいとして、沢山本は出ているにも関わらず、バイオ系＋Pythonといった書籍は皆無だ。
他の学術書もそうだ。工学の数学なんてルベーグ積分あたりで終わりではないだろうか。
アンケートを取った結果を載せていたとしても、どのような質問をしたのか、処理はどうしたのか、集団はどう選んだのかなどの処理手順がかかれていることは稀であり、引用しようにも疑問符が付く。
国が出してる統計データですらデータ処理の方法やグラフの描き方などは書籍にない。（ネットにもないが）
ワードやエクセルの本も棚を埋め尽くすほど沢山あるにも関わらず、大半は同じ内容だ。
入門書しか売れないと、売れる本ばかり作った結果がこれなのだろうか。
効率化と題名がついているものが、どこにでもあるショートカット集であったり、
RPAだといってソフトのインストールとサンプル1つの実行方法で終わっていたりする。
電子回路の書籍も、ラズパイのインストールか、拡張ボードの使い方で終わる。
例えば温度を測定しようとするとオフセットつくのだが、水の三重点でキャリブレーションするのがいいけど、氷の融点と沸点でキャリブレーションしても、実用上そこそこあうといったことはなく、
数℃狂った値で、温度が測定出来たというので終わっており、測定データの不確かさをどうやって処理するかまでは記載されない。(GUMにおける不確かさ表現に合わせればいいが、そこまでは面倒くさいのはわかる）
