{
localUrl: '../page/metric.html',
arbitalUrl: 'https://arbital.com/p/metric',
rawJsonUrl: '../raw/5n0.json',
likeableId: '3248',
likeableType: 'page',
myLikeValue: '0',
likeCount: '3',
dislikeCount: '0',
likeScore: '3',
individualLikes: [
'EricBruylant',
'JaimeSevillaMolina',
'EricRogstad'
],
pageId: 'metric',
edit: '10',
editSummary: '',
prevEdit: '9',
currentEdit: '10',
wasPublished: 'true',
type: 'wiki',
title: 'Metric',
clickbait: 'A metric is a function that defines a distance between elements in a set and follows some basic rules.',
textLength: '3588',
alias: 'metric',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'AdamBuchbinder',
editCreatedAt: '2017-03-23 23:15:16',
pageCreatorId: 'BryceWoodworth',
pageCreatedAt: '2016-07-29 02:59:09',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '3',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '135',
text: '[summary:\nLet $S$ be a set. A **metric** on $S$ is a function $d : S \\times S \\to \\mathbb R_{\\ge 0}$ such that for all $a,b,c \\in S$,\n\n1. $d(a,b) = 0 \\Leftrightarrow a = b$\n2. $d(a,b) = d(b,a)$\n3. $d(a,b) + d(b,c) \\geq d(a,c)$ \n\nSuch a function defines a notion of distance between pairs of elements of $S$.\n]\n\nA **metric**, sometimes referred to as a distance function, is a [-3jy] that defines a [-4bc real] nonnegative distance between every two elements of a [3jz set]. It is commonly denoted by the variable $d$. In [-3vl], a metric $d$ that defines distances between elements of the set $S$ is written:\n$$d: S \\times S \\to [0, \\infty)$$\n\nIn this case we say $d$ *is a metric on* $S$.\n\nThat is, a metric $d$ on a set $S$ takes as input any two elements $a$ and $b$ from $S$ and outputs a number that is taken to define their distance in $S$ under $d$. Apart from being nonnegative real numbers, the distances a metric outputs must follow three other rules in order for the function to meet the definition of a metric. A function that matches the above colon-to notation is called a metric if and only if it satisfies these requirements. The following must hold for any choice of $a$, $b$, and $c$ in $S$:\n\n 1. $d(a, b) = 0 \\iff a = b$\n\n 2. $d(a, b) = d(b, a)$\n\n 3. $d(a, b) + d(b, c) \\geq d(a, c)$\n\n(1) effectively states both that the distance from an element to itself is 0, and that the distance between non-identical elements must be greater than 0. (2) asserts that a metric must be [3jb commutative]; informally the distance from $a$ to $b$ must be the same as the distance from $b$ to $a$. Finally, (3) is known as the [-triangle_inequality] and asserts that the distance from $a$ to $c$ is at most as large as the sum of the distances from $a$ to $b$ and from $b$ to $c$. It is named as such because in [euclidean_space], the points $a$, $b$, and $c$ form a triangle, and the inequality requires that the length of one side of the triangle is not longer than the sum of the lengths of the other two sides; violating this would mean that the shortest path between two points is no longer the straight line between them.\n\nIt is possible (and relatively common!) to deal with multiple different metrics on the same set. This means we are using the same set elements as labels, but treating the distances between elements differently; in this case the different [metric_space metric spaces] we are defining may have very different properties. If multiple metrics are being considered, we must be careful when speaking of distances between elements of the set to specify which metric we are using. For example, if $d$ and $e$ are both metrics on $S$, we cannot just say "the distance between $a$ and $b$ in $S$" because it is ambiguous whether we are referring to $d(a, b)$ or to $e(a, b)$. We could instead say something like "the distance between $a$ and $b$ under $e$" to remove the ambiguity.\n\nThe most commonly-used metric on Cartesian space is the Euclidean metric, defined in two dimensions as $d(a, b) = \\sqrt{(a_1-b_1)^2 + (a_2-b_2)^2}$, and more generally in $n$ dimensions as $d(a, b) = \\sqrt{\\sum_{i=1}^n (a_i-b_i)^2}$.\n\nA less-common metric on Cartesian space is the Manhattan metric, defined generally as $d(a, b) = \\sum_{i=1}^n |a_i-b_i|$; the distance is analogous to the distance taken between two points on a rectangular grid when motion is constrained to be purely vertical or horizontal, but not diagonal.\n\n[todo: A metric induces a topology]\n[todo: add intuitive/nonalgebraic explanation lens]\n[todo: proof that Euclidean and Manhattan distances are metrics]',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
maintainerCount: '2',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {},
creatorIds: [
'BryceWoodworth',
'KevinClancy',
'AdamBuchbinder'
],
childIds: [],
parentIds: [
'math'
],
commentIds: [
'5n8',
'5nh'
],
questionIds: [],
tagIds: [],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '22371',
pageId: 'metric',
userId: 'AdamBuchbinder',
edit: '10',
type: 'newEdit',
createdAt: '2017-03-23 23:15:16',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3281',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '17848',
pageId: 'metric',
userId: 'BryceWoodworth',
edit: '9',
type: 'newEdit',
createdAt: '2016-07-31 17:27:21',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17748',
pageId: 'metric',
userId: 'KevinClancy',
edit: '5',
type: 'newEdit',
createdAt: '2016-07-29 20:45:00',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Added a summary for popup text.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17731',
pageId: 'metric',
userId: 'EricRogstad',
edit: '0',
type: 'newParent',
createdAt: '2016-07-29 19:05:48',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17725',
pageId: 'metric',
userId: 'BryceWoodworth',
edit: '4',
type: 'newEdit',
createdAt: '2016-07-29 14:36:41',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17724',
pageId: 'metric',
userId: 'BryceWoodworth',
edit: '3',
type: 'newEdit',
createdAt: '2016-07-29 14:35:32',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17711',
pageId: 'metric',
userId: 'BryceWoodworth',
edit: '2',
type: 'newEdit',
createdAt: '2016-07-29 03:04:21',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17710',
pageId: 'metric',
userId: 'BryceWoodworth',
edit: '1',
type: 'newEdit',
createdAt: '2016-07-29 02:59:09',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}