
The authors consider a space with congruence \((P,{\mathcal L},\equiv)\) not assuming any other geometrical properties. They only assume that the space satisfies the exchange property i.e., the linear space \((P,{\mathcal L})\) satisfies the following exchange condition. Let \(S\subset P\) and let \(x,y\in P\) with \(x\in\overline{S\cup\{y\}}\setminus\overline S\). Then \(y\in\overline{S\cup\{x\}}\), where \(\overline{\phantom{S}}\) is a closure operation for subset \(X\subset P\). They show that for any line \(G\) of a plane \(E\) and any point \(x\in G\) there is a unique perpendicular line through \(x\) in \(E\) and that any line reflection is a motion if the dimension of the space is greater than 2. It follows that for any two points \(b\), \(z\) there exists a unique point \(b'\in\overline{z,b}\setminus\{b\}\) with \((z, b)\equiv(z, b')\) and also point reflections are motions.
motions, congruence, Discrete Mathematics and Combinatorics, Congruence and orthogonality in metric geometry, line reflections, Theoretical Computer Science
motions, congruence, Discrete Mathematics and Combinatorics, Congruence and orthogonality in metric geometry, line reflections, Theoretical Computer Science
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
