metric spaces Flashcards
axioms of a metric space:
d(x,y)=0 <=> x=y for all x,y in X
d(x,y)=d(y,x) for all x,y, in X
d(x,z)<=d(x,y)+d(y,z) for all x,y,z in X
open ball definition:
Br(x)={y:d(x,y)<r}
closed ball definition:
B̄r(x)={y:d(x,y)<=r}
euclidean n-space:
in the real numbers
d2(x,y)=((x1-y1)^2+…+(xn-yn)^2)^1/2
n dimensional space basically
taxicab metric:
in the real numbers
d1(x,y)=|x1-y1|+…+|xn-yn|
d∞ metric:
in the real numbers
d∞(x,y)=max{|x1-y1|,…,|xn-yn|}
discrete metric:
on any nonempty set X
d(x,y)= 0 if x=y, 1 otherwise
isometry of a metric space:
a bijection where dX(x,y)=dY(f(x),f(y)) for all x,y in X
standard metric:
on the complex numbers
dC(z,z’)=|z-z’|
when are 2 metrics lipschitz equivalent:
when he(x,y)<=d(x,y)<=ke(x,y), h and k being positive constants, d and e being metrics on X, for all x,y in X
edge metric:
e(u,w)=min l(π(u,w)) (meaning miniumum length between vertices on a graph, smallest path)
sup metric:
dsup(f,g)=sup|f(x)-g(x)| x in the domain of each, for any f,g in X
L1 metric:
on [a,b]
d1(f,g)=integral b,a of |f(t)-g(t)| dt
L2 metric:
on [a,b]
d2(f,g)=(integral b,a of (f(t)-g(t))^2 dt)^1/2
interval metric:
on the set of all closed intervals in the euclidean line
dH([a,b],[r,s])=max{|r-a|,|s-b|}
interior point:
a point u in X is an interior point of the subset U if there exists ε>0 such that Bε(u) is in U - it’s an interior point if you can draw a small ball around it that’s still within/on the edge of the area, interior points cannot be on the edge