2025/03/27 更新

写真a

フジタ ヒロシ
藤田 博司
Fujita Hiroshi
所属
大学院理工学研究科(理) 理工学専攻 数理科学 講師
職名
講師
連絡先
メールアドレス
プロフィール

記述集合論をやっていましたが、最近では何屋さんなのかわからなくなってきました。

外部リンク

学位

  • 博士(学術) ( 2001年3月   名古屋大学 )

研究キーワード

  • 公理的集合論

  • Descriptive Set Theory

  • 記述集合論

  • 集合論

  • Axiomatic Set Theory

研究分野

  • 自然科学一般 / 数学基礎  / 数学基礎論

  • 自然科学一般 / 応用数学、統計数学  / 数学基礎論

経歴

  • 愛媛大学   大学院理工学研究科   特任講師

    2010年4月 - 現在

      詳細を見る

  • 愛媛大学   助教

    2005年4月 - 2010年3月

      詳細を見る

  • 愛媛大学   助手

    1991年 - 2004年

      詳細を見る

所属学協会

論文

  • 現代集合論における巨大基数 査読

    薄葉季路, 藤田博司

    科学基礎論研究   39 ( 2 )   83 - 92   2011年12月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • On the difference property of Borel measurable functions 査読

    Hiroshi Fujita, Tamas Matrai

    FUNDAMENTA MATHEMATICAE   208 ( 1 )   57 - 73   2010年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:POLISH ACAD SCIENCES INST MATHEMATICS  

    If an atomlessly measurable cardinal exists, then the class of Lebesgue measurable functions, the class of Borel functions, and the Baire classes of all orders have the difference property. This gives a consistent positive answer to Laczkovich's Problem 2 [Acta Math. Acad. Sci. Hungar. 35 (1980)]. We also give a complete positive answer to Laczkovich's Problem 3 concerning Borel functions with Baire-alpha differences.

    DOI: 10.4064/fm208-1-4

    Web of Science

    researchmap

  • Remarks on two problems by M. Laczkovich on functions with borel measurable differences 査読

    H. Fujita

    ACTA MATHEMATICA HUNGARICA   117 ( 1-2 )   153 - 160   2007年10月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:AKADEMIAI KIADO  

    We consider Problems 2 and 3 in [3] asked by M. Laczkovich concerning the difference property of Borel measurable functions. We show that the axiom of determinacy implies affirmative answer to Problem 2 (Theorem 2) and that Problem 3 is settled affirmatively for all infinite order Baire classes (Theorem 1.)

    DOI: 10.1007/s10474-007-6074-x

    Web of Science

    researchmap

  • A characterization of compactly generated metric groups 査読

    H Fujita, D Shakhmatov

    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY   131 ( 3 )   953 - 961   2003年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:AMER MATHEMATICAL SOC  

    Recall that a topological group G is: ( a) sigma-compact if G = boolean OR{K-n : n epsilon N} where each K-n is compact, and ( b) compactly generated if G is algebraically generated by some compact subset of G. Compactly generated groups are sigma - compact, but the converse is not true: every countable nonfi nitely generated discrete group ( for example, the group of rational numbers or the free ( Abelian) group with a countable in finite set of generators) is a counterexample. We prove that a metric group G is compactly generated if and only if G is sigma - compact and for every open subgroup H of G there exists a finite set F such that F boolean OR H algebraically generates G. As a corollary, we obtain that a sigma - compact metric group G is compactly generated provided that one of the following conditions holds: ( i) G has no proper open subgroups, ( ii) G is dense in some connected group ( in particular, if G is connected itself), ( iii) G is totally bounded (= subgroup of a compact group). Our second major result states that a countable metric group is compactly generated if and only if it can be generated by a sequence converging to its identity element ( eventually constant sequences are not excluded here). Therefore, a countable metric group G can be generated by a ( possibly eventually constant) sequence converging to its identity element in each of the cases ( i), ( ii) and ( iii) above. Examples demonstrating that various conditions cannot be omitted or relaxed are constructed. In particular, we exhibit a countable totally bounded group which is not compactly generated.

    DOI: 10.1090/S0002-9939-02-06736-9

    Web of Science

    researchmap

  • Topological groups with dense compactly generated subgroups 査読

    Hiroshi Fujita, Dmitri Shakhmatov

    Applied General Topology   3 ( 1 )   85 - 89   2002年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    researchmap

  • A measure theoretic basis theorem for Pi(1)(2) 査読

    H Fujita

    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN   52 ( 2 )   335 - 341   2000年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:MATH SOC JAPAN  

    Using the covering game, we prove that every (lightface) Pi 1/2-set of positive Lebesgue measure contains a member which is arithmetical in 0#. This result generalizes a result for Pi(1)(1) due to Sacks and Tanaka.

    DOI: 10.2969/jmsj/05220335

    Web of Science

    researchmap

  • On homogeneity of hyperspace of rationals 査読

    Hiroshi Fujita, Shinji Taniyama

    Tsukuba Journal of Mathematics   20 ( 1 )   213 - 218   1996年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:筑波大学  

    We show, assuming analytic determinacy, that the hyperspace consistion of compact sets of rational numbers is topologically homogeneous.

    CiNii Books

    researchmap

  • MANSFIELD AND SOLOVAY TYPE RESULTS ON COVERING PLANE SETS BY LINES 査読

    HP FUJITA

    NAGOYA MATHEMATICAL JOURNAL   124   145 - 155   1991年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:NAGOYA UNIV  

    Web of Science

    researchmap

▼全件表示

書籍等出版物

  • 位相空間のはなし : やわらかいイデアの世界

    藤田 博司( 担当: 単著)

    日本評論社  2022年7月  ( ISBN:9784535789333

     詳細を見る

    総ページ数:vii, 196p   記述言語:日本語  

    CiNii Books

    researchmap

  • 「集合と位相」をなぜ学ぶのか――数学の基礎として根づくまでの歴史

    藤田博司( 担当: 単著)

    技術評論社  2018年3月  ( ISBN:9784774196121

     詳細を見る

    総ページ数:223   記述言語:日本語   著書種別:一般書・啓蒙書

    数理科学系の大学で事実上の必修科目となっている「集合と位相」が、なぜ必要で、どのように成立したのか、数学の歴史をひもときながら解説します。

    researchmap

  • キューネン数学基礎論講義

    Kunen, Kenneth, 藤田, 博司( 担当: 単訳 ,  原著者: ケネス・キューネン)

    日本評論社  2016年7月  ( ISBN:9784535787483

     詳細を見る

    総ページ数:iv, 378p   記述言語:日本語  

    CiNii Books

    researchmap

  • 魅了する無限――アキレスは本当にカメに追いついたのか

    藤田博司

    技術評論社  2009年2月  ( ISBN:9784774137612

     詳細を見る

    無限の不思議を数学好きの一般読者に語ります。アキレスとカメのパラドックスを題材として、運動の数学的記述に連続体が必要不可欠であることを説明しています。

    researchmap

  • 集合論――独立性証明への案内

    ケネス・キューネン著, 藤田博司訳

    日本評論社  2008年1月  ( ISBN:9784535783829

     詳細を見る

    原書は Kenneth Kunen: Set Theory, An introduction to independence proofs, North-Holland, 1980. 集合論のモデル構築の強力な手法である forcing (強制法)の定番テキストです.

    researchmap

MISC

  • 可測でない集合にはどのようなものがあるか 招待

    藤田博司

    数学セミナー   63 ( 11 )   27 - 29   2024年10月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

  • [鼎談] 数学を学ぶこと,伝えること 招待

    藤田博司, 川井新, 静間荘司

    数学セミナー   63 ( 4 )   6 - 13   2024年3月

     詳細を見る

    担当区分:筆頭著者   記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

  • 実数体と実数 招待

    藤田 博司

    数学セミナー   62 ( 6 )   6 - 11   2023年6月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

  • 距離空間と距離化定理 招待

    藤田 博司

    数理科学   60 ( 6 )   19 - 30   2022年6月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)   出版者・発行元:サイエンス社  

    特集:集合・位相の考え方 -- 数学の基礎をなす概念の一環として距離空間の概念と位相空間の距離化問題を概説した。

    researchmap

  • 無限と連続の数学 招待

    藤田博司

    現代思想   47 ( 15 )   39 - 50   2019年12月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

  • 集合のことばで幾何を扱う/位相の考え方 招待

    藤田博司

    数学セミナー   56 ( 1 )   12 - 16   2017年1月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

  • 新入生のための数学書ガイド 招待

    井上浩行, 井ノ口順一, 乙部厳己, 狩野裕, 示野信一, 竹内慎吾, 八森正泰, 藤田博司, 山下靖

    数学セミナー   52 ( 4 )   7 - 36   2013年4月

     詳細を見る

    掲載種別:書評論文,書評,文献紹介等  

    researchmap

  • 実数の連続体仮説 招待

    藤田博司

    数理科学   49 ( 12 )   28 - 29   2011年11月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

  • チコノフとツォルン 招待

    藤田博司

    数学セミナー   45 ( 12 )   13 - 17   2006年12月

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

    researchmap

▼全件表示

講演・口頭発表等

  • 実数体と実数

    藤田 博司

    日本科学哲学会第56回大会  2023年12月 

     詳細を見る

    開催年月日: 2023年12月

    記述言語:日本語   会議種別:口頭発表(一般)  

    researchmap

  • 実効記述集合論 招待

    藤田 博司

    ロジック・ウィンタースクール2023  2023年2月 

     詳細を見る

    開催年月日: 2023年2月

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    researchmap

  • 超限順序数と連続体問題 招待

    藤田博司

    日本数学会2021年度年会  2021年3月 

     詳細を見る

    開催年月日: 2021年3月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    添付ファイル: slides.pdf

    researchmap

  • 二重ラムゼイ性が成立しない本当の理由

    藤田博司

    大阪府立大学集合論月曜セミナー  2012年7月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    researchmap

  • 数理論理学の初歩から不完全性定理まで

    藤田博司

    数理論理学ゼミ合宿  2013年9月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    開催地:京都府立ゼミナールハウス  

    2013年9月14日から16日までの日程で一般参加者向けの合宿型講習を主催しました。

    researchmap

  • 実函数のDifference Property

    藤田博司

    広島大学代数学セミナー  2013年11月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    researchmap

  • On subgroups of Polish Abelian group generated by Borel sets

    藤田博司

    松山TGSAセミナー  2015年4月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    researchmap

  • アンリ・ルベーグ『解析的に表示できる函数について』と記述集合論 招待

    藤田博司

    第175回 数学文献を読む会  2016年6月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    添付ファイル: slides.pdf

    researchmap

  • Erdös-Sierpinski 双対定理について 招待

    藤田博司

    第53回松山TGSAセミナー  2019年2月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    添付ファイル: tgsa-feb2019-slides.pdf

    researchmap

  • 集合論の成立と連続体の哲理

    藤田博司

    科学基礎論学会 2019年度 研究例会  2019年11月 

     詳細を見る

    記述言語:日本語   会議種別:シンポジウム・ワークショップ パネル(指名)  

    researchmap

  • hyperdegreeのminimal coverについて

    藤田 博司

    早稲田集合論セミナー  2022年10月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    添付ファイル: waseda-20221020-handout.pdf

    researchmap

  • Coanalytic sets with Borel sections (for set-theoretic audience)

    Hiroshi Fujita

    第八回関西集合論セミナ  2009年3月 

     詳細を見る

    開催地:神戸大学工学部 新井プロジェクト  

    researchmap

  • A partial answer to a problem of M. Laczkovich concerning the difference property of Borel measurable functions

    Hiroshi Fujita

    Advances in Set-Theoretic Topology  2008年6月 

     詳細を見る

    開催地:Erice, Sicily, Italy  

    researchmap

  • Consistency of the difference property of the Borel functions

    Hiroshi Fujita

    Combinatorial and Descriptive Set Theory Workshop  2008年8月 

     詳細を見る

    開催地:RIMS Kyoto University, Kyoto  

    researchmap

  • ルベーグの積分論の登場とその前後 招待

    藤田博司

    数理哲学史夏期合宿セミナー  2017年9月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    添付ファイル: kusatsu2017-fujita.pdf

    researchmap

  • sigma-ideal of stoutly meager sets 国際会議

    藤田博司

    無限集合上の組合せ論と強制法理論  2009年11月  京都大学数理解析研究所

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:京都大学  

    researchmap

  • Sigma-ideal of stoutly meager sets

    Hiroshi Fujita

    Combinatorics on Infinite Sets and Forcing Theory  2009年11月  RIMS, Kyoto University

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Kyoto, Japan  

    researchmap

  • 実変数関数の差分をめぐって 招待

    藤田博司

    大阪府立大学理学部数理・情報科学談話会  2010年6月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    researchmap

  • 不連続関数の微分可能点について

    藤田博司

    Kobe Colloquium on Logic, Statistics and Informatics  2010年11月 

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    researchmap

  • Coanalytic sets with Borel sections, (for non-set-theoretic logicians) 招待

    Hiroshi Fujita

    仙台ロジック&哲学セミナー  2009年2月 

     詳細を見る

    開催地:松島 (宮城県)  

    researchmap

▼全件表示

共同研究・競争的資金等の研究課題

  • 連続体と集合論の数理と哲理

    2020年4月 - 2024年3月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    藤田 博司, 黒川 英徳, 菊池 誠, 池田 真治

      詳細を見る

    配分額:4160000円 ( 直接経費:3200000円 、 間接経費:960000円 )

    本研究では数学基礎論の従来の理解を問いなおす作業を進めている。2021年度もひきつづき研究代表者および3名の研究分担者(池田・菊池・黒川)がそれぞれに文献の検討をおこなった。具体的には以下のテーマを中心に研究が行なわれた。(1)ニュートンとライプニッツの無限小解析、および、その哲学的批判者たちの議論の検討(池田)(2)集合論の公理化の沿革の哲学的評価(藤田)(3)現代の数学基礎論において連続体の論理的代替物として研究されている2階の自然数論および実閉順序体の理論の現状の分析(菊池)(4)証明や計算、構成といった概念の数学的定式化についての論理学的および哲学的考察(菊池・黒川)
    今後重要な意味をもつであろう思潮として、量子計算の分野から「量子力学は情報の物理学である」「計算とは量子計算のことである」といった考え方が興ってきていることに注目し、意識や連続体の研究とこうした考え方との関連性を検討を始めている。
    これまでの藤田の実績をまとめたものとして、連続体の数理に密接に関連する位相数学の基礎概念を概説した書籍を藤田が出版準備中である。この書籍においては、位相数学の諸概念をあえてイデア的なものと位置づけ、図形的・直観的なイメージの世界と抽象的な論理の世界の往還をテーマとして解説している。しかしながら本研究の目的である「連続体の哲理の歴史的展望の上に立って最先端の集合論研究との対話を重ね、集合と連続体の数学と哲学の新たな可能性を見出すこと」については、なお端緒についたばかりと言わねばならない。

    researchmap

  • セレクターを許容する高次元エルデシー型空間の構成と超空間の位相構造の研究

    2007年 - 2009年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    野倉 嗣紀, シャクマトフ デミトリ, 藤田 博司, 服部 泰直

      詳細を見る

    配分額:3510000円 ( 直接経費:2700000円 、 間接経費:810000円 )

    帰納的次元が2になるセレクターを許容するエルデシー型空間の構成に成功した。更に、任意の自然数nに対して、弱セレクターを許容する被覆次元、小帰納的次元共にnであるエルデシー距離空間を構成した。また、特異セレクターにより、空間がtotally disconnected,小帰納的次元が0、大帰納的次元が0の場合を特徴付けることができた。

    researchmap

  • 群上のMarkov-Zariski位相の構造とコンパクト型位相群の収束性質の研究

    2007年 - 2009年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    SHAKHMATOV D.B., 野倉 嗣紀, 藤田 博司

      詳細を見る

    配分額:4290000円 ( 直接経費:3300000円 、 間接経費:990000円 )

    可換群のMarkov位相とZariski位相が一致することを証明し、可換群のMarkov-Zariski位相の構造を解明した。非可換群のMarkov位相とZariski位相が一致するための必要十分条件を得た。連続体濃度以下の濃度をもつ可換群Gの部分集合があるG上のHausdorff群位相で稠密であるための必要十分条件を得た。また、ねじれない可換群又はdivisible可換群の非可算部分集合についても同様な結果を得た。

    researchmap

  • セレクターによるフィルター、実数の部分空間の分類と超空間の収束性に関する研究

    2003年 - 2005年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    野倉 嗣紀, SHAKHMOTOV Dmitri, 平出 耕一, 藤田 博司

      詳細を見る

    配分額:3300000円 ( 直接経費:3300000円 )

    本研究の主な目的は(1)フィルター空間でのセレクターの存在、非存在を調べる、(2)超空間の部分空間の位相構造、特にFrechet性、α性を調べること及び(3)セレクターを許容する空間と次元関数との関連を明確にすることであった。目的(1)に関しては次の(a),(b)の結果目的(2)に関しては(c),(d)の結果が得られ更に(e)でセレクターを許容すればその次元は1次元以下かという問題に対する反例を与えた。
    (a)Xの点pを極大にするセレクターが存在すれば点pのcharacterがκであることとXがκ=pをとる順序数空間[0,κ]をコピーとして持つことは同値である。
    このことから例えば、コンパクト位相群XではXがセレクターを許容することとXが零次元距離空間=Cantor set)であることは同値であることが導かれる。
    (b)Fell位相によるセレクターが存在することとtopologically well-orderahilityは同値である。
    (c)homogeneous space Xに対してExp(X)が可算(擬)コンパクトならばXの可算積も可算(擬)コンパクトになることを示しGinsburgの問題の部分解を得た[3]。
    (d)基空間Xがある種のSelection Principleを満たすことと(Vietoris位相とは異なる)超空間Exp(X)のα_2性、α_3性は同値であることを示した。
    (e)scatteredな空間弱セレクターを許容するが次元がn次元であるものが存在する、ここでnは無限を含め任意の自然数の値をとりうる。

    researchmap

  • コンパクト型位相群の代数的構造と収束性に関する研究

    2003年 - 2005年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    D.B Shakhmatov, 野倉 嗣紀, 木曽 和啓, 佐々木 洋城, 藤田 博司, 山田 耕三

      詳細を見る

    配分額:3600000円 ( 直接経費:3600000円 )

    Xを位相群Gの部分空間とする。Xを含むGの最小部分群はGで稠密であるとき、XはGを位相的に生成するという。位相群Gを位相的に生成するGの閉部分空間Xのうち、最小なweight w(X)をもつXが存在し、そのときの基数w(X)をGの位相的生成weightと呼ぶ。コンパクト可換位相群の位相的生成weightを調べ、次の結果を得た。
    定理1. 0次元のコンパクト可換位相群Gの位相的生成weightはGのweightに一致する。
    定理2.連結コンパクト可換位相群Gの位相的生成weightはGのweightのomega rootである。
    (ここで基数kのomega rootとはsのomega乗がkを越えるような最小のsである。)
    定理3.可換位相群Gの位相的生成weightはGの連結成分c(G)の位相的生成weightとG/c(G)のweightの積である。
    可算コンパクト位相群の代数的構造を研究した。濃度2^c以下の可換群に可算コンパクト群位相を導入できるか否かを調べた。(ここで、cが連続体の濃度を表す。)特に、forcingを用いて以下の定理4が成り立つZermelo-Frankelの集合論公理形のmodel Mを構成した。
    定理4.可換群Gに対して次の条件が同値である。
    (i)Gは可算コンパクト可分群位相をもつ、
    (ii)Gは可算コンパクトhereditarily separable群位相をもつ、
    (iii)Gに無限コンパクト部分集合をもたない可算コンパクトhereditarily separable群位相を導入できる、
    (iv)Gの濃度が2^c以下でGは条件PsとCCをみたす。
    定理5.無限可換群Gに対して次の条件が同値である。
    (i)Gはpseudocompact可分群位相をもつ、
    (ii)Gの濃度がc以上かつ2^c以下でGは条件Psをみたす。

    researchmap

  • 調和解析の記述集合論

    2002年 - 2004年

    日本学術振興会  科学研究費助成事業  若手研究(B)

    藤田 博司

      詳細を見る

    配分額:2800000円 ( 直接経費:2800000円 )

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

    researchmap

  • フィルター上の連続選択関数に関する研究

    2000年 - 2001年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    野倉 嗣紀, 服部 泰直, 藤田 博司, SHAKHMATOV Dimitri

      詳細を見る

    配分額:2500000円 ( 直接経費:2500000円 )

    本研究により得られた空間のselectorによる特徴づけとしては、まず2^Xがselectorを持てばhereditarily Baire(Hattori-Nogura,1996)であることが知られており、これから(A)可算濃度を持つ正規空間がselectorを持つ必要十分条件はscatteredであることが導かれる。また、(B)selectorを持つ局所コンパクト空間が0次元であるための必要十分条件はselectorの意味で極大な点が稠密に存在することである。
    更に(C)Fell selectorをもつ必要十分条件は基空間がtopological wellorderableであることが示された。コンパクト空間、0次元距離空間に関してはselectorの存在するための必要かつ十分条件が知られているが、それ以外で最初に問題になるのがscattered空間の特別な場合である1点だけnon-isolatedな点を持つ空間である。今κを無限濃度とし、κ上の自由フィルターpに対しκ(p)でκの点はisolated, pの近傍基として{F∪{p},F∈P}を考えた空間を表す。(D)pがnested filter baseを持てばselectorは存在する。
    (E)pがω_1上のco-countableなfilterならばselectorは存在するが、ω_2上のco-countable filterに対しては存在しない。
    (F)p_1がκ_1上のfilterでnestedなfilter baseを持つとする。p_2は可算集合ω上のfilterとする。κ_1(p_1)【symmetry】ω(p_2)がselectorを持てばp_2はFrechet filterである。
    以上の成果は研究論文4編にまとめられ,またtopology國際会議(2001,8月、Nord-fijordeid.ノルウエー)における口頭発表として報告された。

    researchmap

  • 三角級数論の記述集合論的研究

    1994年

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    藤田 博司

      詳細を見る

    配分額:1200000円 ( 直接経費:1200000円 )

    円周群のボレル部分群や解析部分群の構造について研究から次の結果を得た。2以上の任意の可算順序数αに対して,真のΣ^c_α部分群が存在する。3以上の任意の可算順序数αに対して、真のП^o_α部分群が存在する。真のΣ^1_1部分群の存在も同様に確認された。またボレル部分群の生成元については、次の結果を得た。距離化可能な位相群の任意のK_σ部分群は、コンパクト部分集合によって生成される。コンパクト距離化可能位相群のΣ^o_α部分群は、△^o_α部分集合によって生成される。これらの結果はより強い次の形で成立することが予想される。コンパクト距離化可能位相群のΣ^1_1部分群はП^o_з部分集合によって生成される(予想)。この予想の類似の結果は、W以上のフィルターとその生成元についてはすでにZafrmyによって証明されているが、群に対する結果を得るためには、円周群の場合に限っても、新しいアプローチが必要だと思われる。自由群のボレル構造について研究し、次の結果を得た。ポーランド空間X上の自由群F(X)にGraevの距離を与えたものは、その完備化(これはポーランド群になる)の中でF_σであり、一般にはG_δではない。Xが離散空間でない限り、Graevの距離は決して完備にならないが、あるポーランド群の中でF_σ部分集合となることから、F(X)のボレル構造は標準的であることがわかる。またポーランド群X上の自由位相群(Graevの意味での)は一般に距離化可能ですらないが、そのボレル構造はやはり解析的である。Xがポーランド空間のボレル集合(又はΣ^1_1集合)なら、自由位相群F(X)のボレル構造は標準的(又は解析的)であることも、同様にして示された。

    researchmap

▼全件表示

担当授業科目(学内)

▼全件表示

担当経験のある科目(授業)

  • 数理論理学

    機関名:愛媛大学

     詳細を見る

  • 位相空間論

    機関名:愛媛大学

     詳細を見る

  • 集合論

    機関名:愛媛大学

     詳細を見る

  • 線形代数

    機関名:愛媛大学

     詳細を見る

  • Mathematical Logic, Linear Algebra, General Topology, Set Theory, Elementary Calculus

    機関名:Ehime University

     詳細を見る

  • 微積分

    機関名:愛媛大学

     詳細を見る

▼全件表示