## Angles of a triangle, in Hilbert spaces and in metric spaces

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

http://mathoverflow.net/questions/124899/solid-angles-of-a-tetrahedron

Does the statement

"the side opposite the largest angle has the largest length (and similarly for smallest angle)"

hold in a) Hilbert spaces? b) metric spaces? (where angle is defined by the construction in: A new notion of angle between three points in a metric space by Andrea Mondino http://arxiv.org/abs/1302.0520), c) any other spaces where angles and lengths can be defined? d) in rational trigonometry the statement would be about spreads and quadrances in any field with any quadratic form, but how would you order the spreads and quadrances of a triangle in an arbitrary field?

In b) we have metric but no algebra, and in d) we have algebra but no metric.

-

5
In a Hilbert space, each triangle lies in a 2-dimensional subspace where lengths and angles are exactly as in Euclidean $\mathbb R^2$, so Euclidean facts about triangles remain true for triangles in Hilbert space. – Andreas Blass Mar 19 at 12:53
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8622756600379944, "perplexity_flag": "middle"}