Four-point characterizations of real inner product spaces (Q1396033): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Raymond W. Freese / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Victor V. Pambuccian / rank | |||
Normal rank |
Revision as of 08:30, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Four-point characterizations of real inner product spaces |
scientific article |
Statements
Four-point characterizations of real inner product spaces (English)
0 references
2002
0 references
A metric space \(M\) (in which we write \(xy\) for the distance from \(x\) to \(y\), and \(xyz\) for the metric betweenness relation (\(x\neq y\neq z\) and \(xy+yz=xz\))) is: (i) {convex}; (ii) {externally convex} if for all \(p\), \(q\) in \(M\) with \(p\neq q\), there exists \(x\in M\) different from \(p\) and \(q\), such that (i) \(px+qx=pq\); (ii) \(pq+qx=px\). It satisfies (P\(_1\)) (or (P\(_4\))) if \(pq=pr=rs\wedge qrs\Rightarrow \text{Emb}(pqrs)\) (or \(pq=pr=rs \wedge (rqs\vee rsq)\Rightarrow \text{Emb}(pqrs))\), where \(\text{Emb}(pqrs)\) stands for ``\(p, q, r, s\) are embeddable in the Euclidean plane''. The authors show that a complete, convex, externally convex metric space is an inner product space if it satisfies (P\(_1\)) or if it satisfies (P\(_4\)).
0 references
inner product spaces
0 references
complete, convex, externally convex metric space
0 references