• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

数理論理学と関連分野の研究

研究課題

研究課題/領域番号 61540149
研究種目

一般研究(C)

配分区分補助金
研究分野 数学一般
研究機関静岡大学

研究代表者

梅沢 敏郎  静大, 理学部, 教授 (40021919)

研究分担者 千葉 慶子  静岡大学, 理学部, 講師 (90022227)
松田 稔  静岡大学, 理学部, 講師 (10022229)
白井 古希男  静岡大学, 理学部, 助教授 (70077915)
佐藤 宏樹  静岡大学, 理学部, 教授 (40022222)
近藤 亮司  静岡大学, 理学部, 教授 (00021931)
研究期間 (年度) 1986
研究課題ステータス 完了 (1986年度)
配分額 *注記
1,100千円 (直接経費: 1,100千円)
1986年度: 1,100千円 (直接経費: 1,100千円)
キーワードSchottky group / metrizability / Morita's conjecture / 準移入的加群 / R-加群 / λ-calculus / タイヒミューラー空間 / ディオファントス近似
研究概要

1.Schottky空間に関する一般論の一応用として次の結果を得た。classicalでないSchottky群の例としてよく知られているZarrowによる例は、実は、classicalである。
2.バナッハ空間の共役空間【X^*】における弱ラドン・ニコディム集合Kをδ-Rademacher treeで特徴付ける一連の定理がある。K=【Bx^*】(【X^*】の単位閉球)の場合、Riddle and Uhl(1981)による結果があり、Kが絶対凸【弱^*】コンパクトの場合Riddle(1982)による結果があるが、これらとは独立に、そしてより一般的な K:凸【弱^*】コンパクトの場合に対して、δ-Rademacher treeでの特徴付けを与えることができる。
3.積空間の正規性に関する森田の予想【I】「任意の正規P空間Yに対して、積空間XxYが常に正規となる位相空間Xは、必然的に距離化可能である」、および森田の予想【II】「任意の可算パラコンパクト正規空間Yに対して、XxYが正規となる位相空間Xは、必然的に距離化可能である」について次の結果を得た。集合論の公理V=Lの仮定のもとに上記2つの森田の予想は正しい。
4.移入的加群の自己準同型環についてのFaithおよびN【a!〜】st【a!〜】sescuの結果を準移入的加群の自己準同型環の場合に一般化した。R-加群の組成列の一般化であるP-cocompositionの概念を導入し、束論的に理論を展開した。
5.ラムダ計算にBCK論理を導入した体系を研究し、その無矛盾性を示し、モデルを構成した。
6.フックス群の擬等角変形全体のつくるタイヒミューラー空間の有界2次徴分の空間内における外半径についていくつかの結果を得た。無理数のDiophangos近似を与える有理数列の中で、ある整数論的意味をもつ有理数の頻度をフックス群との関連で求めた。

報告書

(1件)
  • 1986 実績報告書
  • 研究成果

    (6件)

すべて その他

すべて 文献書誌 (6件)

  • [文献書誌] Sato Hiroki: T【o!~】hoku Math.J.

    • 関連する報告書
      1986 実績報告書
  • [文献書誌] Matsuda Minoru: Publ,RIMS,Kyoto Univ.22. 551-559 (1986)

    • 関連する報告書
      1986 実績報告書
  • [文献書誌] Chiba Keiko: Topology and its Applications. 22. 19-32 (1986)

    • 関連する報告書
      1986 実績報告書
  • [文献書誌] Izawa Tatsuo: J.Austr,Math.Soc.

    • 関連する報告書
      1986 実績報告書
  • [文献書誌] Komori Yuichi: Studia Logica. 45. 387-398 (1987)

    • 関連する報告書
      1986 実績報告書
  • [文献書誌] Nakanishi Toshihiro: J.Math.Soc,Japan.

    • 関連する報告書
      1986 実績報告書

URL: 

公開日: 1987-03-31   更新日: 2025-11-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi