METRIC SPACES AND SDG

被引：0
|
作者：
Kock, Anders [1 ]
机构：
[1] Univ Aarhus, Dept Math, DK-8000 Aarhus C, Denmark
来源：
THEORY AND APPLICATIONS OF CATEGORIES | 2017年 / 32卷
关键词：
metric spaces; synthetic differential geometry;
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We present an axiomatic theory, based on the notions of metric space and space with a (first order) neighbour relation. The axiomatics implies a synthetic proof of Huygens' principle of wave fronts, as envelopes of a family of spheres. A model of the axiomatics is presented in terms of synthetic differential geometry (SDG)(1).
引用
收藏
页码：803 / 822
页数：20
相关论文
共 50 条
  • [1] The Metric Dimension of Metric Spaces
    Bau, Sheng
    Beardon, Alan F.
    COMPUTATIONAL METHODS AND FUNCTION THEORY, 2013, 13 (02) : 295 - 305
  • [2] The Metric Dimension of Metric Spaces
    Sheng Bau
    Alan F. Beardon
    Computational Methods and Function Theory, 2013, 13 : 295 - 305
  • [3] Ultrametricity and Metric Betweenness in Tangent Spaces to Metric Spaces
    Dovgoshey, Oleksiy
    Dordovskyi, Dmytro
    P-ADIC NUMBERS ULTRAMETRIC ANALYSIS AND APPLICATIONS, 2010, 2 (02) : 100 - 113
  • [4] QUASI-METRIC AND METRIC SPACES
    Schroeder, Viktor
    CONFORMAL GEOMETRY AND DYNAMICS, 2006, 10 : 355 - 360
  • [5] On interpolative metric spaces
    Karapinar, Erdal
    FILOMAT, 2024, 38 (22) : 7729 - 7734
  • [6] Logics of metric spaces
    Kutz, Oliver
    Wolter, Frank
    Sturm, Holger
    Suzuki, Nobu-Yuki
    Zakharyaschev, Michael
    ACM Transactions on Computational Logic, 2003, 4 (02) : 260 - 294
  • [7] Compactness in Metric Spaces
    Nakasho, Kazuhisa
    Narita, Keiko
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2016, 24 (03): : 167 - 172
  • [8] HYPERBOLIZING METRIC SPACES
    Ibragimov, Zair
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2011, 139 (12) : 4401 - 4407
  • [9] On the k-metric dimension of metric spaces
    Beardon, Alan F.
    Rodriguez-Velazquez, Juan A.
    ARS MATHEMATICA CONTEMPORANEA, 2019, 16 (01) : 25 - 38
  • [10] BOUNDEDNESS OF PRETANGENT SPACES TO GENERAL METRIC SPACES
    Bilet, Viktoriia
    Dovgoshey, Oleksiy
    ANNALES ACADEMIAE SCIENTIARUM FENNICAE-MATHEMATICA, 2014, 39 (01) : 73 - 82
12345