Definitions Flashcards
A metric space (X, d)
Consists of a non-empty set X and a non-negative real valued metric d: X × X → R>
Satisifes the axioms:
- d(x, y) = 0 ⇐⇒ x = y for all x, y ∈ X
- d(x, y) = d(y, x) for all x, y ∈ X
- d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z ∈ X (triangle inequality)
Known informally as a distance function .
Subspace
Given any subset W ⊆ X, the restriction of d to W determines the subspace (W, d := d|W ) of (X, d)
Open and closed balls
For any metric space (X, d), the open ball and closed ball of radius r > 0 around a point x ∈ X are the subspaces:
Br(x) := {y : d(y, x) < r} and
_ Br(x) := {y : d(y, x) ≤ r} ⊆ X
respectively.
Euclidean n-space (R^n, d2)
Euclidean n-space (R^n, d2) consists of all real n-dimensional vectors:
x = (x1, . . . , xn)
Isometry
For any two metric spaces (X, dX) and (Y, dY ), a Bijection
f : X → Y is an isometry whenever:
dX(x, y) = dY (f(x), f(y)) for all x, y ∈ X
A graph Γ := (V, E)
A graph Γ := (V, E) consists of a set V of vertices , and a set E of edges.
Each edge vw ∈ E may be interpreted as joining two vertices v, w ∈ V
A path in Γ
The length of a path
A path in Γ from u to w is a finite sequence of edges:
π(u, w) = (uv_1, v_1v_2, . . . , v_(n−2)v_(n−1), v_(n−1)w)
Such a path has length `(π(u, w)) = n
Path connected
A graph is path connected whenever there is a path joining any pair of vertices
Edge metric e
The edge metric e on the vertex set V of a path connected graph is defined by:
e(u, w) = min_(π(u,w)) L(π(u, w))
Alphabet
An alphabet is a finite set A of letters
Word
A finite sequence of letters is a word in A; if A := {a, b, c, o, t}, then words include act, boat, and obbbt
Word graph
The vertex set W of the associated word graph Γ(A)
consists of all possible words in A.
Words w1 and w2 are joined by an edge iff they differ by one of:
- inserting or deleting a letter
- swapping two adjacent letters
- replacing one letter with another
Word Metric
The word metric dw on W is the edge metric on the associated word graph.
ex:
dw(act,boat) = 3
act, bact, baot, boat
Binary sequences
X = {0, 1}^∞ is the set of all infinite binary sequences x = x_0x_1 . . . ,
x_n = 0 or 1 for all n ≥ 0
x = 1100010 . . . is a typical element
Bounded
A real-valued function f on a closed interval [a, b] ⊂ R is bounded whenever
there exists a constant K such that |f(x)| ≤ K for every x ∈ [a, b]