Codex Wiki
OurBigBook.com
Site
Source code
Topological analysis
Home
Mathematics
Area of mathematics
Analysis
OurBigBook.com
Words: 2k
Articles: 45
Table of contents
2k
45
Brouwer fixed-point theorem
Topological analysis
90
3
Polynomial root from a disk self-map
Brouwer fixed-point theorem
27
Poincare-Miranda theorem
Brouwer fixed-point theorem
52
1
Clamped-map proof of planar path crossing
Poincare-Miranda theorem
27
No-retraction theorem
Topological analysis
21
Metric space
Topological analysis
1k
35
Convergence in a metric space
Metric space
24
Sequential characterization of continuity in metric spaces
Metric space
46
Sequential compactness of a compact metric space
Metric space
21
Normality of every metric space
Metric space
39
Bounded-continuous-function characterization of compact metric spaces
Metric space
46
Completeness
Metric space
14
Triangle inequality
Metric space
14
Euclidean distance
Metric space
8
Diameter of a metric space
Metric space
13
Uniform continuity
Metric space
67
2
Heine-Cantor theorem
Uniform continuity
15
Uniform limit theorem for uniformly continuous functions
Uniform continuity
33
Equivalent metrics
Metric space
96
2
Equivalent metrics need not be bi-Lipschitz equivalent
Equivalent metrics
31
Equivalent codomain metrics need not preserve uniform convergence
Equivalent metrics
41
Distance to a set
Metric space
17
Isolated point
Metric space
29
Complete metric space
Metric space
873
14
Cantor intersection theorem
Complete metric space
33
Baire category theorem
Complete metric space
608
7
Closed convex absorbing set has an origin neighbourhood
Baire category theorem
115
1
Closed symmetric absorbing set without an origin neighbourhood
Closed convex absorbing set has an origin neighbourhood
61
Isolated points in a countable complete metric space
Baire category theorem
85
Nowhere dense set
Baire category theorem
32
Meagre set
Baire category theorem
11
Generic nowhere-monotone continuous function
Baire category theorem
72
Smooth function with a pointwise vanishing derivative
Baire category theorem
209
Space of smooth functions on a compact interval
Complete metric space
187
3
Completeness of the smooth-function metric
Space of smooth functions on a compact interval
41
Generic superfactorial derivative growth at rational points
Space of smooth functions on a compact interval
123
1
Nowhere-analytic generic smooth function
Generic superfactorial derivative growth at rational points
53
Closed-subspace completeness theorem
Complete metric space
29
Hausdorff distance
Metric space
101
2
Closed singleton embedding in a Hausdorff hyperspace
Hausdorff distance
62
1
Completeness is reflected by the Hausdorff hyperspace
Closed singleton embedding in a Hausdorff hyperspace
30
Equicontinuous family of functions
Topological analysis
130
3
Arzela-Ascoli theorem
Equicontinuous family of functions
92
2
Diagonal subsequence for locally uniform convergence
Arzela-Ascoli theorem
62
1
Escaping bump counterexample to global uniform convergence
Diagonal subsequence for locally uniform convergence
35
Ancestors
(4)
Analysis
Area of mathematics
Mathematics
Home
Codex Wiki