https://zen-univ.jp/iugc/activities/events 第1回 IUGCカンファレンス オーガナイザー: 星 裕一郎(京都大学数理解析研究所) 加藤 文元(東京工業大学(名誉教授)) 望月 新一(京都大学数理解析研究所) 日程:2024年4月2日(火)〜 4月5日(金) 開催地:東京都中央区銀座4丁目12-15 歌舞伎座タワー12F ドワンゴセミナールーム [Current list of participants] James Douglas Boyd (University of Western Ontario) Kiran Kedlaya (UCSD) Jeff Lagarias (University of Michigan) 0755132人目の素数さん2024/03/11(月) 09:34:31.51ID:hQY3wLjH エルンスト・ヴィット https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%AB%E3%83%B3%E3%82%B9%E3%83%88%E3%83%BB%E3%83%B4%E3%82%A3%E3%83%83%E3%83%880756132人目の素数さん2024/03/11(月) 09:35:56.73ID:hQY3wLjH ウィットは、当時ドイツ帝国の一部であったアルセン島で生まれました。彼が生まれて間もなく、両親は宣教師として働くために家族で中国に移住し[2]、彼は9歳になるまでヨーロッパに戻らなかった。[2]
学業を終えたウィットは、フライブルク大学とゲッティンゲン大学に進学しました。彼はNSDAP (ナチス党)に参加し、積極的な党員でした。[3]ウィットは博士号を授与されました。1934 年にゲッティンゲン大学で「超複素数におけるリーマン・ロッホの定理とゼータ関数」[4] (Riemann-Rochscher Satz und Zeta-Funktion im Hyperkomplexen) というタイトルの論文を発表しました。この論文はグスタフ・ヘルグロッツによって監修され、エミー・ネーターは次のように示唆しました。博士号取得のテーマ。[5]彼は講師になる資格を取得し、ゲッティンゲンとハンブルクでゲスト講義を行った。[5]彼はリハビリテーションを主導したヘルムート・ハッセ率いるチームと関わるようになった。1936 年 6 月、彼はハビリテーションの講義を行いました。[4]
ヒルベルト次元 ツォルンの補題の帰結として、「任意の」ヒルベルト空間が少なくとも一つの正規直交基底を持つことが分かる。さらに、一つの空間ではどの二つの正規直交基底も必ず同じ濃度を持つことが示されるので、その濃度をしてその空間のヒルベルト次元と呼ぶ[61] 例えば、B 上の自乗総和可能数列の空間 ℓ2(B) は B で添字づけられる正規直交基底を持つから、そのヒルベルト次元は B の濃度(これは有限な整数かもしれないし、可算あるいは非可算の基数であるかもしれない)である。 B の濃度は H のヒルベルト次元に等しい。従って、任意のヒルベルト空間は、適当な集合 B に対する数列空間 ℓ^2(B) に等距同型である。
・さすがプロだね。鋭いツッコミですね ・半分自己解決したので、下記を貼ってきますね (十分読み込んでいないのだが ;p) ・要するに ”BCT1 is used to prove that a Banach space cannot have countably infinite dimension.” ”Banach's theorems Therefore, a Banach space cannot be the union of countably many closed subspaces, unless it is already equal to one of them; a Banach space with a countable Hamel basis is finite-dimensional.” ”math.stackexchange:Let X be an infinite dimensional Banach space. Prove that every Hamel basis of X is uncountable.”
(参考) https://en.wikipedia.org/wiki/Baire_category_theorem Baire category theorem BCT is used to prove Hartogs's theorem, a fundamental result in the theory of several complex variables. BCT1 is used to prove that a Banach space cannot have countably infinite dimension.
Relation to the axiom of choice The proof of BCT1 for arbitrary complete metric spaces requires some form of the axiom of choice; and in fact BCT1 is equivalent over ZF to the axiom of dependent choice, a weak form of the axiom of choice.[10]
A restricted form of the Baire category theorem, in which the complete metric space is also assumed to be separable, is provable in ZF with no additional choice principles.[11] This restricted form applies in particular to the real line, the Baire space {\displaystyle \omega ^{\omega },} the Cantor space {\displaystyle 2^{\omega },} and a separable Hilbert space such as the {\displaystyle L^{p}}-space {\displaystyle L^{2}(\mathbb {R} ^{n})}.
Banach's theorems Therefore, a Banach space cannot be the union of countably many closed subspaces, unless it is already equal to one of them; a Banach space with a countable Hamel basis is finite-dimensional.
ありがとうございます 1)だれかが書いていたが、数学の情報で 日本の十倍くらい英語の情報があるという 今回はそれですね(日本語の情報は見つけられなかった) 2)あと、”ベールのカテゴリ定理の応用例の1つ”と表現すると、若干筆が滑っている気がする >>774”https://math.stackexchange.com/questions/217516/let-x-be-an-infinite-dimensional-banach-space-prove-that-every-hamel-basis-of Let X be an infinite dimensional Banach space. Prove that every Hamel basis of X is uncountable. asked Oct 20, 2012 mintu” で、ここに ベールのカテゴリ定理を背理法として使った証明の投稿とそれについての追加議論があります 抜粋すると ”Can't we prove it without Baire Category Theory in other words without axiom of dependent choice – Sushil Jun 26, 2015 at 12:18 @Sushil You have a much better chance of getting some answer if you post your question as a question, not just as a comment. However, before posting such question, some clarifications are needed in my opinion. See here for some comments. – Martin Sleziak Jun 26, 2015 at 12:39 Oh I see. But I want some clarity. Cardinality of Hamel basis(if exist) are equal does it imply AC(or ADC). If this implication is wrong I may ask Let X be an infinite dimensional Banach space. Prove that every Hamel basis of X is uncountable without Baire Category Theory. – Sushil Jun 26, 2015 at 12:46 ” ですね。数学的に一番正確な表現は、”ベールのカテゴリ定理を使って an infinite dimensional Banach space の every Hamel basis of X is uncountableが証明できる”かな そして、Sushil氏がいう”Can't we prove it without Baire Category Theory”は、ありうるかも (”without axiom of dependent choice”は、無理筋っぽい気がする) 3)経験則として、しばしば"エレガントな証明"が時間が経つと見つかったりするものでして (math.stackexchangeの2番目の回答でそれらしいのが投稿されているが、みんな無視していますけどw(多分あやしいか)) (今は、ベールのカテゴリ定理を使う背理法がスタンダードかな)