METRIC SPACES Flashcards

1
Q

f: (X,dx) -> (Y,dy) continuous

A

⟺ f(A_) ⊆ f(A)_ , ∀A ⊆X
⟺ f^(-1)(V) open in X whenever V open in Y
⟺ f^(-1)(V) closed in X whenever V closed in Y

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

f: (X,dx) -> (Y,dy) continuous at a

A

ε>0, ∃δ>0:
dy(f(x),f(a)) < ε ⟹ dx(x,a)<δ

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

A⊆(X,d) bounded

A

∃x∈X , ∃k∈R:
d(a,x)<=k, ∀a∈A

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

diameter of non-empty bounded A⊆(X,d)

A

sup{d(x,y): x,y∈A}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

open ball in X centred at a with radius r

A

Br(a) = {x∈X: d(x,a)<r}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

A⊆X open in X

A

∀a∈A, ∃ε>0: Bε(a)⊆A

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

x∈X is limit point of A⊆X

A

ε>0, (Bε(x)\{x})∩A ≠ ∅

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

interior of A⊆X

A

A∘ := {a∈A: Bε(a)⊆A for some ε>0}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

(xn) converges to a point x∈X

A

ε>0, ∃N: xn∈Bε(x) whenever n>=N

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

(xn) Cauchy

A

ε>0, ∃N: d(xm,xn) < ε whenever m,n>=N

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

d1, d2 on X “Lipschitz equivalent”

A

∃h,k positive constants:
∀x,y∈X, hd2(x,y)<=d1(x,y)<=kd2(x,y)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

d1,d2 “topologically equivalent”

A

A⊆X d1-open in X

A⊆X d2-open in X

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

isometry
f:(X,dx)->(Y,dy)

A

f bijective such that
dy(f(x1),f(x2)) = dx(x1,x2), ∀x1,x2∈X

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

A⊆X dense in X

A

A_ = X

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

x point of closure of A⊆(X,d)

A

ε>0, Bε(x)∩A ≠ ∅

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

f:X->Y “uniformly continuous” on X

A

ε>0, ∃δ>0:
dy(f(x),f(x’)) < ε ⟹ dx(x,x’)<δ
∀x,x’∈X

X compact, f continuous

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

Lebesque number

A
  • C is cover for A.
  • lebesque number for C is a real ε>o:
    B↓(ε) (a) contained in single set of C for ∀a∈A.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

ε-net for X

A

N⊆X : {B↓(ε) (x): x∈N} covers X, some ε>0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

X “complete”

A

if every Cauchy sequence in X converges (to a point of X)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

f:X->X “contraction”

A

d(f(x),f(y))<=Kd(x,y), ∀x,y∈X.
for some constant K<1

21
Q

Banach’s Fixed Point Theorem

A

f:X->X contraction, metric space X complete ⟹ f has a unique fixed point p in X

22
Q

x∈X is in boundary of A⊆X

A

∀ε>0, A∩Bε(x) and (X\A)∩Bε(x) non-empty

23
Q

Cauchy (xn) converges to a point x∈X

A

if (xn) has subsequence converging to x

24
Q

X “sequentially compact”

A

every sequence in X has at least one convergent subsequence in X

X compact

25
X "sequentially compact" ⟹
- any open cover for X has lebesque number - X has finite ε-net
26
X "regular" / "normal"
given V⊆X closed and x∈X\V, ∃U,U'⊆X open disjoint: V⊆U and x∈U'
27
f : (X,Tx) -> (Y,Ty) continuous
if V∈Ty ⟹ f^(-1)(V)∈Tx ⟺ f(A_)⊆f(A)_ , ∀A⊆X ⟺ f^(-1)(V) open in X whenever V open in Y ⟺ f^(-1)(V) closed in X whenever V closed in Y
28
f : (X,Tx) -> (Y,Ty) continuous at a point x∈X
if, given any V∈Ty : f(x)∈V, there is some U∈Tx: x∈U and f(U)⊆V
29
basis for T
subfamily B⊆T : every set in T is a union of sets from B.
30
X "connected"
X admits no partition
31
partition {A,B} of X
A,B ⊆ X open, non-empty: X = A∪B, A∩B=∅
32
A path f "joins" x and y in X
a continuous map f:[0,1]->X such that f(0) = x and f(1)=y
33
X "path-connected"
if any two points of X can be joined by a path in X ⟹ X connected
34
X⊆R^n open connected ⟹
X path-connected
35
homeomorphism
bijective map f : f and f^(-1) continuous
36
A⊆X "compact"
if every open cover for A has a finite sub cover
37
A⊆X "relatively compact"
if A_ compact in X
38
Heine-Borel theorem
any closed bounded subset of R^n is compact
39
connected A⊆X A ⊆B ⊆A_ ⟹
B connected
40
f has IVP
f(a)
41
f:D->R satisfies Lipschitz condition of order α on D
α,K>0, |f(x) - f(y)|<= K|x-y|^α, ∀x,y∈D. k constant
42
Cauchy's criterion for uniform convergence
(fn) converges uniformly on D ⟺ (fn) uniformly Cauchy on D
43
(fn) "uniformly Cauchy" on D⊆R
if given ε>0, ∃ N∈N: |fm(x) - fn(x)|<ε , ∀m,n>=N and ∀x∈D
44
(fn) converges uniformly to f on D
ε>0, ∃N∈N: |fn(x) - f(x)|<ε, ∀n>=N, ∀x∈D ⟺ sup|fn(x)-f(x)| exists for large n and limit is 0 as n -> ∞
45
(fn) converges pointwise on D
(fn(x)) converges to f(x), ∀x∈D
46
Bolzano-Weierstrass theorem
every bounded sequence of real numbers has at least one convergent subsequence
47
Sup(X)
the upper bound s is supremum if ∀ε>0, ∃x∈X : s-ε < x
48
axiom of completeness
any non-empty set of real numbers that is bounded above has a least upper bound