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 条
  • [31] On Betweenness and Equidistance in Metric Spaces
    Bankston, Paul
    McCluskey, Aisling
    JOURNAL OF CONVEX ANALYSIS, 2023, 30 (01) : 371 - 400
  • [32] Universal approximation on metric spaces
    Jung, Woochul
    Rojas, A.
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2023, 526 (01)
  • [33] Bandits and Experts in Metric Spaces
    Kleinberg, Robert
    Slivkins, Aleksandrs
    Upfal, Eli
    JOURNAL OF THE ACM, 2019, 66 (04)
  • [34] Local Currents in Metric Spaces
    Lang, Urs
    JOURNAL OF GEOMETRIC ANALYSIS, 2011, 21 (03) : 683 - 742
  • [35] HYSTERESIS OPERATORS IN METRIC SPACES
    Recupero, Vincenzo
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2015, 8 (04): : 773 - 792
  • [36] Isometric Shifts and Metric Spaces
    Jesús Araujo
    Juan J. Font
    Monatshefte für Mathematik, 2001, 134 : 1 - 8
  • [37] Lines, Betweenness and Metric Spaces
    Pierre Aboulker
    Xiaomin Chen
    Guangda Huzhang
    Rohan Kapadia
    Cathryn Supko
    Discrete & Computational Geometry, 2016, 56 : 427 - 448
  • [38] Metric betweenness, Ptolemaic spaces, and isometric embeddings of pretangent spaces in ℝ
    Bilet V.V.
    Dovgoshey A.A.
    Journal of Mathematical Sciences, 2012, 182 (1) : 22 - 36
  • [39] A dual characterization of length spaces with application to Dirichlet metric spaces
    Stollmann, Peter
    STUDIA MATHEMATICA, 2010, 198 (03) : 221 - 233
  • [40] METRIC SPACES WITH UNIQUE PRETANGENT SPACES. CONDITIONS OF THE UNIQUENESS
    Abdullayev, Fahreddin G.
    Dovgoshey, Oleksiy
    Kucukaslan, Mehmet
    ANNALES ACADEMIAE SCIENTIARUM FENNICAE-MATHEMATICA, 2011, 36 (02) : 353 - 392
12345