• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Continuity of relations

Research Project

Project/Area Number 20K03721
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 12030:Basic mathematics-related
Research InstitutionKagoshima University

Principal Investigator

Furusawa Hitoshi  鹿児島大学, 理工学域理学系, 教授 (00357930)

Co-Investigator(Kenkyū-buntansha) 吉田 聡  公立鳥取環境大学, 人間形成教育センター, 教授 (00455437)
Project Period (FY) 2020-04-01 – 2023-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2022: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2021: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2020: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords関係 / 位相 / 各点連続 / 点列連続 / 構成的数学 / 位相空間 / 二項関係 / 連続性
Outline of Research at the Start

本研究は,位相空間論における連続関係の基礎理論の構築を目的とする.関係の連続性の概念は分野ごとの利用目的に応じていくつも提案されてきているが,これらに関する一般の位相空間論的観点からの系統的な研究は,ごく一部の概念に関するものを除いてなされていない.
関係は非決定的振る舞いを数学的に取り扱うための最も基本的な道具である.関係の連続性の統一的で系統的な理解を目指す本研究は,位相空間の間の非決定性理論の基盤構築と位置づけられ,連続関係の概念を基礎とする数学の展開に繋がることが期待される.

Outline of Final Research Achievements

The following results on continuity of relations are obtained in classical mathematics. (1) 2 equivalent conditions to the continuity which studied in Weihrauch's computable analysis; (2) a generalization of Berge’s upper semicontinuity, 5 conditions which are equivalent to it, and a sufficient condition for it to be equivalent to sequential continuity
Also, in constructive analysis, the following results are obtained. (3) a fact that 5 classically equivalent conditions are divided into 2 groups: conditions equivalent to pointwise continuity and to sequential continuity, and a sufficient condition for all 5 conditions are equivalent

Academic Significance and Societal Importance of the Research Achievements

関係は非決定的な振る舞いを数学的に取り扱うための最も基本的な道具である.関係の連続性の概念は分野ごとの利用目的に応じていくつも提案されてきているが,これらに関する一般の位相空間論的観点からの系統的な研究はほとんどなされてこなかった.本研究では関係の連続性の統一的で系統的な理解の初期段階を与えた.つまり,本研究の成果は位相空間の間の非決定性理論の基盤構築と位置づけられ,連続関係の概念を基礎とする数学の展開に繋がることが期待される.

Report

(4 results)
  • 2022 Annual Research Report   Final Research Report ( PDF )
  • 2021 Research-status Report
  • 2020 Research-status Report
  • Research Products

    (4 results)

All 2021 2020 Other

All Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Open Access: 1 results,  Peer Reviewed: 2 results) Remarks (1 results)

  • [Journal Article] A note on upper continuity properties of relations2021

    • Author(s)
      Furusawa Hitoshi, Yoshida Satoru
    • Journal Title

      鹿児島大学理学部紀要

      Volume: 54 Pages: 1-7

    • NAID

      120007183504

    • Related Report
      2021 Research-status Report
    • Open Access
  • [Journal Article] Relational characterisations of paths2020

    • Author(s)
      Berghammer Rudolf、Furusawa Hitoshi、Guttmann Walter、Hoefner Peter
    • Journal Title

      Journal of Logical and Algebraic Methods in Programming

      Volume: 117 Pages: 1-19

    • DOI

      10.1016/j.jlamp.2020.100590

    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Preorders, Partial Semigroups, and?Quantales2020

    • Author(s)
      Nishizawa Koki、Yasuda Koji、Furusawa Hitoshi
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12062 Pages: 237-252

    • DOI

      10.1007/978-3-030-43520-2_15

    • ISBN
      9783030435196, 9783030435202
    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Remarks] 研究(個人webページ)

    • URL

      https://www.sci.kagoshima-u.ac.jp/furusawa/person/research.html

    • Related Report
      2021 Research-status Report 2020 Research-status Report

URL: 

Published: 2020-04-28   Modified: 2024-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi