調和解析の記述集合論

调和分析的描述性集合论

• 批准号: 14740076
• 负责人: 藤田 博司
• 金额: $ 1.79万
• 依托单位: Ehime University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14740076/
• 关键词: 記述集合論; 調和解析; 一様分布論; 公理的集合論; 強制法; Projective Set; 解析数論; 強制法による独立性証明; 三角級数; キャパシティ; 位相群; 巨大基数; 決定公理; ディオファントス近似

調和解析に登場するcapacityの理論への記述集合論への応用と、弱い形の決定公理が集合論のいかなるモデルで成立するかという問題に取り組むために、位相群論、調和解析学、測度論、集合論とくに巨大基数公理、記述集合論などのテーマをこの観点から再編成する目的で幅広く調査した。巨大基数公理と記述集合論の関連を理解することを目的として、京都大学で開催された「巨大基数の集合論」共同研究集会に参加し、射影集合を含むより広いクラスの実数の集合論に対する巨大基数公理の影響について討議した。とくに、無限組み合わせ理論と実数の集合論を結ぶ掛け橋となる実数値可測基数の性質の解明は今後の課題として残されている。また、その一方で、調和解析は自然現象を解析する物理数学を源流とするものであり、関連する現象の個々の例はまさに具体的な音や光の自然現象のなかに、いたるところに存在する。もちろん、それらを直接取り扱うことは我々の目的とするところではないが、研究の動機付けとなる具体例との関連を見失わないためにも、具体的な数値のシミュレーション(数値実験)を取り入れ、発散する三角級数の和の増大度などをコンピュータによって数値計算した結果から無限の遠方での漸近挙動を予測し、しかるのちその予測に解析学の手法で厳密な証明を与えるという方法を確立した。なお、この「発散する三角級数」は、調和解析的零集合の研究において、測度論的な考察に不可欠の道具である。

Harmonic analytic に appearance す る capacity の theory へ の account set theory へ の 応 と, weak い form の decided axiom が set theory の い か な る モ デ ル founded で す る か と い う problem に group take り む た め に, phase group theory, harmonic analytical study, measure theory, set theory と く に huge base axiom, account set theory な ど の テ ー マ を こ の 観 point か ら again The purpose of compiling する is で Hiuhiro く to investigate た た. Huge base axiom と account set theory の masato even を understand す る こ と を purpose と し て, Kyoto university で push さ れ た の set theory "" big base joint research rally に し and projective collection contains を む よ り hiroo い ク ラ ス の be several の set theory に す seaborne base axiom の large impact る に つ い て discuss し た. と く に, infinite set of み わ と せ theory be several の set theory を "hang ぶ け bridge と な る be base of the numerical measurable の nature の interpret は の topics in future と し て residual さ れ て い る. ま た, そ で の party, mediate は natural phenomenon を parse す る を physics and mathematics origin と す る も の で あ り, masato す る phenomenon の a 々 の example は ま さ に specific な sound や light の natural phenomenon の な か に, い た る と こ ろ に exist す る. も ち ろ ん, そ れ ら を directly take り Cha う こ と は I 々 の purpose と す る と こ ろ で は な い が, research の incentive pay け と な る concrete example と の masato even lost を see わ な い た め に も, concrete な the numerical の シ ミ ュ レ ー シ ョ ン (the numerical be 験) を take り れ, 発 す る trigonometric series の and の raised magnanimous な ど を コ ン ピ ュ ー タ に よ っ て the numerical program Calculate し た results か ら の infinite distance で の asymptotic 挙 し を to test, し か る の ち そ の be に analytics の gimmick で 厳 dense な prove を and え る と い を う method established し た. な お, こ の scattered す "発 る trigonometric series" は の zero set, harmonic analytic study に お い て, measure theory of な investigation に not owe の props で あ る.