Fifth Property of the Euclidean Metric

From Wikimization

(Difference between revisions)
Jump to: navigation, search
Current revision (23:04, 14 May 2026) (edit) (undo)
 
Line 18: Line 18:
==Fifth property of the Euclidean metric '''('''relative-angle inequality''')'''==
==Fifth property of the Euclidean metric '''('''relative-angle inequality''')'''==
Augmenting the four fundamental Euclidean metric properties in <math>\mathbb{R}^n</math>,
Augmenting the four fundamental Euclidean metric properties in <math>\mathbb{R}^n</math>,
-
&nbsp;for all &nbsp;<math>i_{},j_{},\ell\not= k_{}\!\in\!\{1\,\ldots\,N\}</math> ,
+
 
-
&nbsp;<math>i\!<\!j\!<\!\ell</math> , &nbsp;and for &nbsp;<math>N\!\geq_{\!}4</math>&nbsp; distinct points &nbsp;<math>\,\{x_k\}\,</math>,
+
for all &nbsp;<math>i_{},j_{},\ell\not= k_{}\!\in\!\{1\,\ldots\,N\}\,,</math>
 +
&nbsp;<math>i\!<\!j\!<\!\ell\,,</math>
 +
 
 +
and for &nbsp;<math>N\!\geq_{\!}4</math>&nbsp; distinct points &nbsp;<math>\,\{x_k\}\,,\,</math>
the inequalities
the inequalities
Line 29: Line 32:
\end{array}</math>
\end{array}</math>
-
where &nbsp;<math>\theta_{ikj}\!=\theta_{jki}</math>&nbsp; is the angle between vectors at vertex <math>\,x_k\,</math>, &nbsp;must be satisfied at each point <math>\,x_k\,</math> regardless of affine dimension.
+
where &nbsp;<math>\theta_{ikj}\!=\theta_{jki}</math>&nbsp; is the angle between vectors at vertex <math>\,x_k\,</math>,
 +
 
 +
must be satisfied at each point <math>\,x_k\,</math> regardless of affine dimension.
== References ==
== References ==
* Dattorro, [http://www.meboo.convexoptimization.com/Meboo.html Convex Optimization & Euclidean Distance Geometry], Meboo, 2005
* Dattorro, [http://www.meboo.convexoptimization.com/Meboo.html Convex Optimization & Euclidean Distance Geometry], Meboo, 2005

Current revision

relative angle inequality tetrahedron
relative angle inequality tetrahedron

For a list of points LaTeX: \{x_\ell\in\mathbb{R}^n,\,\ell=1\,\ldots\,N\} in Euclidean vector space, distance-square between points LaTeX: \,x_i\, and LaTeX: \,x_j\, is defined

LaTeX: d_{ij}=||x_i-x_j||^2 =(x_i-x_j)^{\rm T}(x_i-x_j)=||x_i||^2+||x_j||^2-2x^{\rm T}_ix_j\\\\ =\left[x_i^{\rm T}\quad x_j^{\rm T}\right]\left[\begin{array}{rr}I&-I\\-I&I\end{array}\right] \left[\begin{array}{cc}x_i\\x_j\end{array}\right]

Euclidean distance between points must satisfy the defining requirements imposed upon any metric space: [Dattorro, ch.5.2]

namely, for Euclidean metric LaTeX: \sqrt{d_{ij}} in LaTeX: \mathbb{R}^n

  • LaTeX: \sqrt{d_{ij}}\geq0\,,\;\;i\not= j                                       (nonnegativity)
  • LaTeX: \sqrt{d_{ij}}=0\;\Leftrightarrow\;x_i=x_j                            (self-distance)
  • LaTeX: \sqrt{d_{ij}}=\sqrt{d_{ji}}                                                  (symmetry)
  • LaTeX: \sqrt{d_{ij}}\,\leq\,\sqrt{d_{ik_{}}}+\sqrt{d_{kj}}\;,\;\;i\not=j\not=k    (triangle inequality)


Fifth property of the Euclidean metric (relative-angle inequality)

Augmenting the four fundamental Euclidean metric properties in LaTeX: \mathbb{R}^n,

for all  LaTeX: i_{},j_{},\ell\not= k_{}\!\in\!\{1\,\ldots\,N\}\,,  LaTeX: i\!<\!j\!<\!\ell\,,

and for  LaTeX: N\!\geq_{\!}4  distinct points  LaTeX: \,\{x_k\}\,,\,

the inequalities

LaTeX: \begin{array}{cc} |\theta_{ik\ell}-\,\theta_{\ell kj}|\;\leq\;\theta_{ikj\!}\;\leq\;\theta_{ik\ell}+\,\theta_{\ell kj}\\ \theta_{ik\ell}+\,\theta_{\ell kj}+\,\theta_{ikj\!}\,\leq\,2\pi\\ 0\leq\theta_{ik\ell\,},\,\theta_{\ell kj\,},\,\theta_{ikj}\leq\pi \end{array}

where  LaTeX: \theta_{ikj}\!=\theta_{jki}  is the angle between vectors at vertex LaTeX: \,x_k\,,

must be satisfied at each point LaTeX: \,x_k\, regardless of affine dimension.

References

Retrieved from "http://www.convexoptimization.com/wikimization/index.php/Fifth_Property_of_the_Euclidean_Metric"
Personal tools