From e7dd5245c35d2794f59bcf700a6a92009ec8c478 Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Fri, 28 Jun 2024 21:30:42 -0700 Subject: stuff --- mindmap/metric space.org | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 mindmap/metric space.org (limited to 'mindmap/metric space.org') diff --git a/mindmap/metric space.org b/mindmap/metric space.org new file mode 100644 index 0000000..df750db --- /dev/null +++ b/mindmap/metric space.org @@ -0,0 +1,22 @@ +:PROPERTIES: +:ID: 6f24f731-60e5-4904-88d7-c63869505981 +:ROAM_ALIASES: metric +:END: +#+title: metric space +#+author: Preston Pan +#+html_head: +#+html_head: +#+html_head: +#+options: broken-links:t + +* Introduction +A metric space $(G, d)$ is a set with a metric $d(x,y): G \times G \rightarrow \mathbb{R}$ defined on members of the set. +This metric is a generalization of distance, with the following properties: +\begin{align} +\label{} +d(x, x) = 0 \\ +x \ne y \implies d(x, y) > 0 \\ +d(x, y) = d(y, x) \\ +d(x, z) \le d(x, y) + d(x, z) +\end{align} +where property $(4)$ is the triangle inequality. -- cgit