metric spaces Flashcards
(42 cards)
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
open set:
a set U is open in X if for all u in U, there exists ε>0 such that Bε(u) in U - the set of interior points = the entire set U
fun facts about open sets:
all open balls are open in X
any union of 2 open balls are open in X
the complement of a closed ball is open in X
if (X,d) is discrete, any subset U is open in X
closure points:
a point x in X is a closure point of a subset U in X if Bε(x) intersection U is nonempty for every ε>0 - basically same as interior points but includes the border, cause a small ball on a border point will intersect with the area clearly
closed set:
a set U in X is closed if Bε(x) intersection U is nonempty for every ε>0 - if the set of closure points of U = U
fun facts about closed sets:
a set is closed if its complement is open
all closed balls are closed
an intersection of closed balls is closed
the complement of an open ball is closed
if (X,d) is discrete, any set is closed
convergence:
for all ε>0, there exists a natural number N such that n>=N -> d(x,xn)<ε, x is the limit of xn here
convergence in terms of open balls:
for all ε>0, there exists a natural number N such that n>=N -> xn in Bε(x)
convergence in euclidean m-space:
xn->x iff |xn-x|->o