Interval;
(complete) metric space;
(totally) ordered set;
Betweenness relation;
Geometric algebra;
Abelian group with generators and relations;
Normed vector space;
Graph;
Tree;
Geodesic—in differential geometry and in graph theory;
Tripod space;
Hyperconvex space;
Helly property;
Gate condition;
06A06;
20F05;
54E35;
05C05;
05C12;
51K05;
53A04;
54E50;
92B05;
D O I:
暂无
中图分类号:
学科分类号:
摘要:
Given a betweenness relation on a nonempty set E, a certain abelian group T=TE\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathbb {T}}= {{\mathbb {T}}}_E$$\end{document} given in terms of generators and relations is investigated. This group controls the given betweenness relation in an algebraic form. That is, the group structure algebraically unfolds geometric relations, and in turn allows us to read off geometric properties from algebraic relations emerging from them. The most important examples for betweenness relations arise from ordered sets on the one side and from intervals in metric spaces on the other side. The structure of T\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathbb {T}}$$\end{document} will be determined completely in case of totally ordered sets as well as for several classes of metric spaces.