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
Q

X “sequentially compact”

A
  • any open cover for X has lebesque number
  • X has finite ε-net
26
Q

X “regular” / “normal”

A

given V⊆X closed and x∈X\V,
∃U,U’⊆X open disjoint:
V⊆U and x∈U’

27
Q

f : (X,Tx) -> (Y,Ty) continuous

A

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
Q

f : (X,Tx) -> (Y,Ty) continuous at a point x∈X

A

if, given any V∈Ty : f(x)∈V,
there is some U∈Tx: x∈U and f(U)⊆V

29
Q

basis for T

A

subfamily B⊆T :
every set in T is a union of sets from B.

30
Q

X “connected”

A

X admits no partition

31
Q

partition {A,B} of X

A

A,B ⊆ X open, non-empty:
X = A∪B, A∩B=∅

32
Q

A path f “joins” x and y in X

A

a continuous map f:[0,1]->X such that f(0) = x and f(1)=y

33
Q

X “path-connected”

A

if any two points of X can be joined by a path in X
⟹ X connected

34
Q

X⊆R^n open connected ⟹

A

X path-connected

35
Q

homeomorphism

A

bijective map f :
f and f^(-1) continuous

36
Q

A⊆X “compact”

A

if every open cover for A has a finite sub cover

37
Q

A⊆X “relatively compact”

A

if A_ compact in X

38
Q

Heine-Borel theorem

A

any closed bounded subset of R^n is compact

39
Q

connected A⊆X
A ⊆B ⊆A_ ⟹

A

B connected

40
Q

f has IVP

A

f(a)<x<f(b)
∃c ∈[a,b] : f(c) = x

41
Q

f:D->R satisfies Lipschitz condition of order α on D

A

α,K>0,
|f(x) - f(y)|<= K|x-y|^α, ∀x,y∈D.
k constant

42
Q

Cauchy’s criterion for uniform convergence

A

(fn) converges uniformly on D

(fn) uniformly Cauchy on D

43
Q

(fn) “uniformly Cauchy” on D⊆R

A

if given ε>0, ∃ N∈N:
|fm(x) - fn(x)|<ε , ∀m,n>=N and ∀x∈D

44
Q

(fn) converges uniformly to f on D

A

ε>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
Q

(fn) converges pointwise on D

A

(fn(x)) converges to f(x), ∀x∈D

46
Q

Bolzano-Weierstrass theorem

A

every bounded sequence of real numbers has at least one convergent subsequence

47
Q

Sup(X)

A

the upper bound s is supremum if ∀ε>0, ∃x∈X : s-ε < x

48
Q

axiom of completeness

A

any non-empty set of real numbers that is bounded above has a least upper bound