Metric Spaces

1. Diagram
   Observation

   A blue closed blob is drawn and labeled A.

2. Audio
   Observation

   The narrator says, "So a metric space is a set, and we'll call this one A".

A

A set that serves as the underlying collection of points in the metric space being defined.

A set; no further restrictions are stated in this clip.

1. Diagram
   Observation

   A black point inside the blob is labeled x.

2. Audio
   Observation

   The narrator refers to "any two elements of that set, x and y".

x

An arbitrary element of the set A used as the first argument of the distance function.

$x \in A$

1. Diagram
   Observation

   A second black point inside the blob is labeled y.

2. Audio
   Observation

   The narrator refers to "any two elements of that set, x and y".

y

An arbitrary element of the set A used as the second argument of the distance function.

$y \in A$

1. Diagram
   Observation

   A green dotted segment between x and y is labeled $d(x,y)$.

2. Audio
   Observation

   The narrator says the distance is described "using a function we write as d of x and y".

$d(x,y)$

The distance function, also called a metric, assigning a numerical distance to the pair of points x and y.

Defined for pairs x,$y \in A$; the clip states its values must satisfy $d(x,y) \ge 0$.

1. Diagram
   Observation

   A horizontal number line shows tick labels -4, -2, and 0.

2. Audio
   Observation

   The example asks for the distance between minus two and minus four.

-4,\ -2,\ 0

Specific real numbers marked on the number line in the worked example.

Real numbers on the displayed number line.

1. Formula
   Observation

   The symbol d appears in the displayed formulas $d(x,y) = 0 \Longrightarrow x = y$, $d(x,y) = d(y,x)$, and $d(x,z) \leq d(x,y) + d(y,z)$.

2. Audio
   Observation

   The speaker refers to it as "the distance function" and reads expressions such as "the distance between x and y".

d

Distance function on a metric space.

Takes two points of the metric space as arguments and returns a nonnegative real number.

1. Formula
   Observation

   x appears as the first argument in $d(x,y)$ and $d(x,z)$, and as the conclusion $x = y$ in the uniqueness property.

2. Diagram
   Observation

   A point labeled x is drawn in each visual example.

x

A point in the metric space.

1. Formula
   Observation

   y appears as the second argument in $d(x,y)$, as the swapped argument in $d(y,x)$, and as an intermediate point in $d(x,y) + d(y,z)$.

2. Diagram
   Observation

   A point labeled y is drawn in each visual example.

y

A point in the metric space; in the triangle inequality it serves as an arbitrary intermediate point.

1. Formula
   Observation

   z appears in the triangle inequality formula $d(x,z) \leq d(x,y) + d(y,z)$.

2. Diagram
   Observation

   A third point labeled z is drawn to form the triangle illustration.

z

A third point in the metric space used to state the triangle inequality.

1. Formula
   Observation

   The displayed formula uses $\Longrightarrow$ between $d(x,y) = 0$ and $x = y$.

$\Longrightarrow$

Logical implication: if the left side holds, then the right side holds.

1. Formula
   Observation

   The displayed triangle inequality uses $\leq$ between $d(x,z)$ and $d(x,y) + d(y,z)$.

$\leq$

Less than or equal to.

1. Formula
   Observation

   A is defined as a non-empty set in the formal definition of a metric space.

A

A non-empty set

1. Audio
   Observation

   The narrator defines a metric space as a set A such that for any two elements x and y, one can define their distance using a function $d(x,y)$.

2. Diagram
   Observation

   The slide text reads: "A Metric Space is a set such that for every x and y in the set there is a function $d(x,y)$ which describes the distance between them."

3. Animation
   Observation

   The set A is drawn first, then points x and y appear inside it, then a dotted segment labeled $d(x,y)$ connects them.

In this clip, a metric space is introduced as a set together with a rule that assigns a distance to each pair of elements of the set. The visual model is a blob-like set A containing two arbitrary points x and y, with a connecting quantity $d(x,y)$ representing their separation. The narrator emphasizes that the purpose of the construction is to define mathematically what distance means.

1. There is an underlying set A.

2. For every pair x,y in A, a distance value $d(x,y)$ is assigned.

1. Audio
   Observation

   The narrator says, "So this distance function, which is sometimes called a metric".

2. Diagram
   Observation

   The slide text changes to "The distance function, or metric, must satisfy these four criteria".

The function $d(x,y)$ is named explicitly as the distance function, and the narrator adds the alternative term metric. This item records naming rather than a new mathematical object: the same symbol $d(x,y)$ is being identified by two equivalent names within the lecture.

1. Refers to the function $d(x,y)$ introduced for a metric space.

1. Definition of a metric space in this lecture

1. Audio
   Observation

   The narrator says, "Firstly, it can't be negative" and explains that there is no such thing as a negative distance.

2. Diagram
   Observation

   The slide heading reads "Properties of the distance function" and item 1 reads "It can't be negative" with the formula $d(x,y) \ge 0$.

The first required criterion for a valid distance function is that its value cannot be negative. The lecture states this both verbally and symbolically, making non-negativity the first formal axiom presented in the clip.

1. x and y are elements of the metric space A.

2. $d(x,y)$ is the distance function associated with that metric space.

1. Definition of a metric space in this lecture
2. Terminology: distance function or metric

1. Formula
   Observation

   Slide text shows "2. All elements are unique" and the formula $d(x,y) = 0 \Longrightarrow x = y$.

2. Audio
   Observation

   The speaker says this means that if we start at x and travel to any other location y in our metric space, then the distance we've travelled must be greater than zero.

This item states the second property of a distance function on a metric space: distinct points cannot have zero distance. Equivalently, if the distance between two points is zero, then the points must be identical.

1. x and y are points in the metric space.

2. The statement is one-way as written: zero distance implies equality of points.

1. d
2. x
3. y
4. $\Longrightarrow$

1. Formula
   Observation

   Slide text shows "3. Distance is independent of direction" and the formula $d(x,y) = d(y,x)$.

2. Audio
   Observation

   The speaker says the distance from x to y is the same as the distance from y to x.

This item states the third property of a distance function: distance does not depend on direction. Swapping the two arguments leaves the value unchanged.

1. x and y are points in the metric space.

1. d
2. x
3. y

1. Formula
   Observation

   Slide text shows "4. The triangle inequality must hold" and the formula $d(x,z) \leq d(x,y) + d(y,z)$.

2. Audio
   Observation

   The speaker says the distance between x and z is less than or equal to the distance from x to any y plus the distance from that y to z.

This item states the fourth property of a distance function on a metric space: going directly from x to z is never longer than going from x to an intermediate point y and then from y to z.

1. x, y, and z are points in the metric space.

2. y is arbitrary.

1. d
2. x
3. y
4. z
5. $\leq$

1. Audio
   Observation

   So, we're ready to write down our formal definition of a metric space. A metric space is a pair of objects A and D, where A is a non-empty set and D is a function which takes A cross A and maps it to the real numbers such that...

2. Formula
   Observation

   A pair of objects (A,d) where A is a non-empty set and d is a function d:A×A → ℝ such that

A metric space is formally defined as an ordered pair (A, d), where A is a non-empty set and d is a distance function that maps any two elements from A to a real number. The function d must satisfy four specific properties for all elements in A.

1. A is a non-empty set

2. d is a function d: $A \times A \rightarrow \mathbb{R}$

3. The four properties of the distance function must hold

1. Audio
   Observation

   D of X and Y is greater than or equal to zero, so it's never negative.

2. Formula
   Observation

   1. $d(x,y) \ge 0$

The first property of the distance function states that the distance between any two elements x and y in the set A must be greater than or equal to zero. This means the distance can never be negative.

1. x, $y \in A$

1. Formal Definition of a Metric Space

1. Audio
   Observation

   D of X and Y equals zero implies that X is equal to Y, so the elements of the set are unique.

2. Formula
   Observation

   2. $d(x,y) = 0 \implies x = y$

The second property states that if the distance between two elements x and y is exactly zero, then those two elements must be identical. This ensures that distinct elements have a strictly positive distance between them.

1. x, $y \in A$

1. Formal Definition of a Metric Space

1. Audio
   Observation

   D of X and Y equals D of Y and X, which means that the distance is independent of direction.

2. Formula
   Observation

   3. $d(x,y) = d(y,x)$

The third property requires the distance function to be symmetric. The distance from element x to element y is always the same as the distance from y to x, meaning the measurement is independent of the direction of travel.

1. x, $y \in A$

1. Formal Definition of a Metric Space

1. Audio
   Observation

   And finally, D of X and Z is always less than or equal to D of X and Y plus D of Y and Z, which we now know to be the triangle inequality.

2. Formula
   Observation

   4. $d(x,z) \le d(x,y) + d(y,z)$

The fourth property is the triangle inequality. It states that for any three elements x, y, and z in the set A, the direct distance from x to z is always less than or equal to the sum of the distances from x to y and from y to z.

1. x, y, $z \in A$

1. Formal Definition of a Metric Space

1. Audio
   Observation

   The narrator says the distance function "needs to satisfy four criteria in order to qualify as a distance function for a metric space".

2. Diagram
   Observation

   The slide text states: "must satisfy these four criteria".

1. Only the first criterion is actually shown within this clip; the remaining three are announced but not yet listed before the video ends.

The distance function (metric) of a metric space must satisfy four criteria in order to qualify as a distance function for that metric space.

1. There is a set A equipped with a function $d(x,y)$ intended to serve as a distance function.

For the distance function under discussion, all four criteria must hold.

1. Audio
   Observation

   The narrator says, "there's no such thing as a negative distance" and writes the condition as d of x and y ... is greater than or equal to zero.

2. Diagram
   Observation

   The displayed inequality is $d(x,y) \ge 0$.

For any two points x and y in the metric space, the distance $d(x,y)$ is greater than or equal to 0.

1. x and y belong to the metric space A.

2. d is the distance function of that metric space.

For all x,$y \in A$.

1. Formula
   Observation

   Displayed formula: $d(x,y) = 0 \Longrightarrow x = y$.

2. Audio
   Observation

   The speaker reads the formula aloud and explains it verbally.

For points x and y in a metric space, $d(x,y) = 0$ implies $x = y$.

1. x and y are points in the metric space.

2. $d(x,y) = 0$.

For all x and y in the metric space.

1. Formula
   Observation

   Displayed formula: $d(x,y) = d(y,x)$.

2. Audio
   Observation

   The speaker states that distance is independent of direction.

For points x and y in a metric space, $d(x,y) = d(y,x)$.

1. x and y are points in the metric space.

For all x and y in the metric space.

1. Formula
   Observation

   Displayed formula: $d(x,z) \leq d(x,y) + d(y,z)$.

2. Audio
   Observation

   The speaker states that the triangle inequality should hold for a metric space.

For points x, y, and z in a metric space, $d(x,z) \leq d(x,y) + d(y,z)$.

1. x, y, and z are points in the metric space.

For all x, y, and z in the metric space.

1. Audio
   Observation

   The narrator contrasts subtracting one number from another with taking the absolute value, concluding that the sensible distance is 2.

2. Diagram
   Observation

   A number line marks -4, -2, and 0, with a green double-headed arrow spanning the interval between -4 and -2.

1. Expression

   $$-2 - (-4)$$
   Explanation

   The narrator first considers the naive idea of obtaining distance by subtracting one number from the other.

   Justification

   This follows the spoken setup of the example about the distance between -2 and -4.

   Shown in the video
2. Expression

   $$-4 - (-2) = -2$$
   Explanation

   Reversing the subtraction order gives a negative result, which the narrator identifies as not making sense for a distance.

   Justification

   The audio explicitly says one could imagine ending up with a distance of minus two, but that does not make sense.

   Shown in the video
3. Expression

   $$|-2 - (-4)| = |2| = 2$$
   Explanation

   Taking the absolute value removes the sign problem and yields the positive separation shown on the number line.

   Justification

   The narrator says that often we take the absolute value of whatever we're calculating in order to come up with the final distance.

   Shown in the video

The distance between -2 and -4 is 2, consistent with the non-negativity requirement $d(x,y) \ge 0$.

1. Animation
   Observation

   Two distinct points x and y are drawn, then connected by a dotted line labeled $d(x,y) > 0$.

2. Audio
   Observation

   The speaker says that if we start at x and travel to any other location y in our metric space, then the distance we've travelled must be greater than zero.

1. Expression

   $$d(x,y) = 0 \Longrightarrow x = y$$
   Explanation

   Start from the formal property shown on the slide.

   Justification

   Directly observed formula on screen.

   Shown in the video
2. Expression

   $$x \neq y \Rightarrow d(x,y) > 0$$
   Explanation

   Rephrase the property informally for distinct points: if y is another location from x, then the travelled distance must be positive.

   Justification

   Audio explanation plus the diagram label $d(x,y) > 0$.

   Shown in the video

Distinct points in a metric space have strictly positive distance.

1. Animation
   Observation

   Points x and y are drawn with a dotted segment between them, then curved arrows labeled $d(x,y)$ and $d(y,x)$ are added in opposite directions.

2. Audio
   Observation

   The speaker says the distance from x to y is the same as the distance from y to x.

1. Expression

   $$d(x,y) = d(y,x)$$
   Explanation

   State the formal symmetry property.

   Justification

   Directly observed formula on screen.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Visualize the same pair of points with arrows in both directions to show that reversing direction does not change the distance value.

   Justification

   Animation shows opposite directed arcs between the same two points.

   Shown in the video

Distance is independent of direction.

1. Animation
   Observation

   Three points x, y, and z are drawn; first the direct segment $d(x,z)$ is shown, then the two-step route through y is shown with labels $d(x,y)$ and $d(y,z)$.

2. Audio
   Observation

   The speaker compares the inequality to taking a detour on a journey home, saying that going via another place makes you travel further than going straight.

1. Expression

   $$d(x,z) \leq d(x,y) + d(y,z)$$
   Explanation

   State the formal triangle inequality.

   Justification

   Directly observed formula on screen.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Compare the direct route from x to z with the indirect route $x \to y \to z$.

   Justification

   Diagram draws the direct edge first and then the two edges through y.

   Shown in the video
3. Expression

   $$$$
   Explanation

   Use the everyday analogy of leaving work and optionally stopping at a shop on the way home: the detour cannot be shorter than the direct trip.

   Justification

   Audio explicitly gives this analogy.

   Shown in the video

The direct distance between two points is no greater than the sum of distances along any broken path through a third point.

1. Diagram
   Observation

   Blue text asks: "Example. What is the distance between -2 and -4 ?"

2. Diagram
   Observation

   A number line appears with labels -4, -2, and 0 and a green double-headed arrow between -4 and -2.

3. Audio
   Observation

   The narrator works through the example and concludes that a sensible distance is 2.

What is the distance between -2 and -4?

1. Two real numbers are given: -2 and -4.

2. They are displayed on a number line.

3. The lecture has just stated that distance cannot be negative.

Compute a valid nonnegative distance between the two numbers.

1. Expression

   $$-2 - (-4)$$
   Explanation

   Try subtracting one number from the other as a candidate for distance.

   Justification

   This is the initial method discussed in the narration before correcting the sign issue.

   Shown in the video
2. Expression

   $$-4 - (-2) = -2$$
   Explanation

   Subtracting in the opposite order produces a negative value, showing why plain subtraction is not sufficient as a definition of distance.

   Justification

   The narrator explicitly notes that this would give a distance of minus two, which does not make sense.

   Shown in the video
3. Expression

   $$|-2 - (-4)| = 2$$
   Explanation

   Use absolute value to force the result to be nonnegative.

   Justification

   The narrator says that often we take the absolute value of whatever we're calculating in order to get the final distance.

   Shown in the video

2

The number-line diagram shows the two points separated by two unit intervals, matching the computed value 2 and satisfying $d(x,y) \ge 0$.

1. Diagram
   Observation

   Title card reads "Approximation Theory" and "Lecture 1. Metric Spaces".

2. Animation
   Observation

   Red data points are shown first, then a blue curve is drawn through them.

1. Title text "Approximation Theory"

2. Subtitle "Lecture 1. Metric Spaces"

3. Cartesian axes

4. Red cross-shaped data points

5. Blue smooth curve

1. The red points appear first.

2. A blue curve is then drawn through the points.

1. The axes remain fixed.

2. The overall topic is introduced as approximation theory.

The opening image visually motivates approximation by showing data points and a curve intended to represent or fit them.

1. Animation
   Observation

   A blue blob labeled A is drawn, then points x and y appear inside it, then a green dotted connector labeled $d(x,y)$ is added.

2. Diagram
   Observation

   Text below the drawing states that a metric space is a set such that for every x and y in the set there is a function $d(x,y)$ describing the distance between them.

1. Blue closed region labeled A

2. Point x

3. Point y

4. Green dotted segment labeled $d(x,y)$

5. Explanatory text

1. The set boundary is drawn first.

2. Point x appears, then point y.

3. The dotted segment and label $d(x,y)$ are added last.

1. Both x and y remain inside A.

2. The connector represents a pairwise distance, not a path outside the set.

The animation turns the abstract definition into a picture: a metric space consists of a set plus a rule assigning a distance to each pair of its elements.

1. Diagram
   Observation

   A horizontal number line shows -4, -2, and 0.

2. Diagram
   Observation

   A green double-headed arrow spans from -4 to -2.

1. Horizontal axis

2. Tick labels -4, -2, 0

3. Green double-headed arrow

1. The number line appears after the example question.

2. The arrow marks the interval between -4 and -2.

1. The positions of -4 and -2 on the line do not change.

2. The arrow always connects those two marked points.

The picture supports the claim that distance is the magnitude of separation, here equal to 2, rather than a signed difference.

1. Diagram
   Observation

   The slide changes to item 2 under "Properties of the distance function".

2. Audio
   Observation

   The narrator begins, "Secondly, all the elements in a metric space are unique".

1. The full symbolic statement for the second property is not completed within the clip.

1. Heading "Properties of the distance function"

2. Item number 2

3. Partial sentence beginning "All elements are unique"

1. The first property and example disappear.

2. A new numbered item begins.

1. The lecture remains focused on properties of the distance function.

The clip ends just as the second criterion is being introduced, so only the opening wording is available.

1. Animation
   Observation

   A point labeled x appears, then a second point labeled y appears to its right, then a dotted line connects them, and finally the green label $d(x,y) > 0$ is placed above the line.

1. point x

2. point y

3. dotted connecting segment

4. label $d(x,y) > 0$

1. First x is introduced.

2. Then y is introduced as a separate point.

3. Then the segment between them is drawn.

4. Then the positive-distance label is added.

1. The two points remain distinct throughout this diagram.

2. The title and formula $d(x,y) = 0 \Longrightarrow x = y$ remain on screen.

The picture illustrates that when x and y are different locations, their distance is strictly positive.

1. Animation
   Observation

   Points x and y are drawn with a dotted segment between them; then a curved arrow labeled $d(x,y)$ is drawn from x to y, followed by a curved arrow labeled $d(y,x)$ from y to x.

1. point x

2. point y

3. dotted segment

4. curved arrow $d(x,y)$

5. curved arrow $d(y,x)$

1. The two points and their connecting segment are drawn first.

2. Then the forward directed arc is added.

3. Then the reverse directed arc is added.

1. The underlying pair of points does not change.

2. The distance value is represented as the same for both directions.

The animation shows that reversing the order of the arguments does not change the distance.

1. Animation
   Observation

   Point x appears first, then y, then z. A dotted segment labeled $d(x,z)$ is drawn between x and z. Then segments labeled $d(x,y)$ and $d(y,z)$ are drawn to form the two-step route through y.

1. point x

2. point y

3. point z

4. direct segment $d(x,z)$

5. segment $d(x,y)$

6. segment $d(y,z)$

1. The three points are introduced sequentially.

2. The direct edge from x to z is drawn first.

3. The indirect path through y is drawn afterward.

1. The same three points are used throughout.

2. The comparison is always between the direct route and the route through y.

The figure visually encodes that the direct distance from x to z is bounded above by the sum of the distances from x to y and from y to z.

1. Diagram
   Observation

   A diagram showing three points labeled x, y, and z connected by dotted lines, with the distances labeled as $d(x,y)$, $d(y,z)$, and $d(x,z)$.

1. Point x

2. Point y

3. Point z

4. Line segment $d(x,y)$

5. Line segment $d(y,z)$

6. Line segment $d(x,z)$

1. The geometric arrangement of the three points forming a triangle

The diagram visually illustrates the concept of the triangle inequality, showing that the length of one side of a triangle ($d(x,z)$) cannot exceed the sum of the lengths of the other two sides ($d(x,y) + d(y,z)$).

1. Animation
   Observation

   Text appears sequentially on the screen, building up the formal definition of a metric space and its four properties.

1. Title text

2. Definition text

3. Numbered list of properties

1. The text 'Metric Space: Formal definition' appears at 0:02.

2. The base definition text appears at 0:08.

3. Property 1 appears at 0:20.

4. Property 2 appears at 0:28.

5. Property 3 appears at 0:38.

6. Property 4 appears at 0:50.

1. The background remains white throughout the animation.

The animation guides the viewer through the construction of the formal definition, revealing each component and property step-by-step to match the spoken explanation.

1. Audio
   Observation

   The narrator warns that confusion can arise with negative numbers if one simply subtracts one from the other.

2. Audio
   Observation

   He says getting -2 as a distance "doesn't make sense" and recommends taking the absolute value.

One may think the distance between two numbers is just their difference in some fixed order, which can produce a negative value such as -2 for -4 and -2.

Distance must be nonnegative. In this example, the correct approach is to take the absolute value of the difference, giving |-2 - (-4)| = 2.

1. Audio
   Observation

   The speaker says that if we make a detour on that journey, say if I need to go to the shop on my way home, we know we're inevitably going to be travelling further than if we were to just go straight.

One might think that going via an intermediate place could reduce the total distance traveled.

The video uses the work-to-home analogy to emphasize that an indirect route through another point is not shorter than the direct route; this matches the triangle inequality $d(x,z) \leq d(x,y) + d(y,z)$.

1. Audio
   Observation

   After defining $d(x,y)$, the narrator renames it as the distance function or metric.

2. Diagram
   Observation

   The slide text shifts from the general definition to "The distance function, or metric".

The definition of a metric space includes the assignment of a function $d(x,y)$; the next item names that function explicitly as the distance function or metric.

1. Audio
   Observation

   The narrator says the distance function must satisfy four criteria, then immediately presents the first one.

2. Diagram
   Observation

   The slide changes from the naming sentence to the heading "Properties of the distance function" and item 1.

Once the function $d(x,y)$ is identified as the metric, the lecture applies the first required property to it: non-negativity.

1. Audio
   Observation

   The narrator introduces the example specifically to address possible confusion with negative numbers after stating $d(x,y) \ge 0$.

2. Diagram
   Observation

   The example appears directly beneath the non-negativity property on the same slide.

The example applies the non-negativity rule to concrete numbers, showing how absolute value produces a valid distance.

1. Audio
   Observation

   The example is framed as a case where simple subtraction can misleadingly yield a negative distance.

The worked example contrasts the incorrect signed-difference intuition with the correct absolute-value interpretation of distance.

1. Animation
   Observation

   The slide transitions from property 2 to property 3 under the same heading "Properties of the distance function".

Both are listed as successive properties of the same distance function on a metric space.

1. Animation
   Observation

   The slide transitions from property 3 to property 4 under the same heading "Properties of the distance function".

Both are listed as successive properties of the same distance function on a metric space.

1. Formula
   Observation

   The triangle inequality uses distances $d(x,y)$, $d(y,z)$, and $d(x,z)$, all of which are instances of the same distance function whose symmetry was stated earlier.

1. This relation is inferred from the shared use of d across the properties rather than explicitly spoken as a dependency.

The triangle inequality is stated for the same distance function d whose symmetry property was introduced immediately before.

1. Audio
   Observation

   ...which we now know to be the triangle inequality.

The fourth property of the distance function, $d(x,z) \le d(x,y) + d(y,z)$, is explicitly identified as the triangle inequality, which is visually represented by the initial diagram.

1. Audio
   Observation

   The narrator defines a metric space as a set with a distance function for any two elements.

2. Diagram
   Observation

   The slide text gives the same definition with symbols A, x, y, and $d(x,y)$.

1. Definition of a metric space in this lecture
2. Terminology: distance function or metric

1. Diagram
   Observation

   The slide lists property 1 as "It can't be negative" with $d(x,y) \ge 0$.

2. Audio
   Observation

   The narrator states there is no such thing as a negative distance.

1. First property of the distance function: non-negativity
2. Distances are never negative

1. Audio
   Observation

   The narrator explains that subtracting in the wrong order can give -2, so absolute value is used.

2. Diagram
   Observation

   The number line and example question show -4 and -2 with a green span.

1. Example: distance between -2 and -4
2. Confusing signed subtraction with distance
3. Deriving the distance between -2 and -4 using absolute value

1. Audio
   Observation

   The narrator announces four criteria, but only the first is fully presented before the clip ends.

2. Diagram
   Observation

   The slide moves from the first property to the beginning of the second property at the end.

1. The remaining three criteria are not contained in this clip.

1. A metric must satisfy four criteria
2. First property of the distance function: non-negativity

1. Formula
   Observation

   $d(x,y) = 0 \Longrightarrow x = y$ is displayed prominently.

1. Uniqueness property of the distance function
2. If distance is zero, the points are equal

1. Formula
   Observation

   $d(x,y) = d(y,x)$ is displayed on the slide.

1. Symmetry property of the distance function
2. Distance is symmetric

1. Formula
   Observation

   $d(x,z) \leq d(x,y) + d(y,z)$ is displayed on the slide.

2. Audio
   Observation

   The speaker gives the detour analogy for the triangle inequality.

1. Triangle inequality property of the distance function
2. Triangle inequality for metric spaces
3. Intuitive explanation of the triangle inequality

1. Audio
   Observation

   The speaker compares the inequality to going to the shop on the way home and traveling further than going straight.

1. Intuitive explanation of the triangle inequality
2. Detours are not shorter than the direct route

1. Audio
   Observation

   So, we're ready to write down our formal definition of a metric space.

1. Formal Definition of a Metric Space

1. Formula
   Observation

   The four numbered properties of the distance function d are listed on screen.

1. Property 1: Non-negativity
2. Property 2: Identity of Indiscernibles
3. Property 3: Symmetry
4. Property 4: Triangle Inequality