Codex Wiki
OurBigBook.com
Site
Source code
Geometry and topology
Home
Mathematics
Area of mathematics
OurBigBook.com
Words: 12k
Articles: 497
Table of contents
12k
497
Algebraic topology
Geometry and topology
2k
89
Mapping cylinder
Algebraic topology
19
Real projective space
Algebraic topology
80
3
Mapping-cylinder model of punctured real projective three-space
Real projective space
28
Integral homology of real projective three-space
Real projective space
14
Double of punctured real projective three-space
Real projective space
29
Homology
Algebraic topology
516
22
Exact sequence
Homology
16
Commutative diagram
Homology
24
Chain complex
Homology
225
10
Chain cycle
Chain complex
11
Chain boundary
Chain complex
12
Chain coefficient
Chain complex
12
Chain map
Chain complex
56
2
Induced map on homology
Chain map
19
Chain homotopy
Chain map
24
Mapping cone
Chain complex
39
Short exact sequence of chain complexes
Chain complex
71
2
Long exact sequence in homology
Short exact sequence of chain complexes
47
1
Connecting homomorphism
Long exact sequence in homology
17
Universal coefficient theorem for homology
Homology
50
1
Rational homology
Universal coefficient theorem for homology
20
Simplicial homology
Homology
104
4
Euler characteristic
Simplicial homology
39
1
Euler-Poincare formula
Euler characteristic
32
Barycentric subdivision
Simplicial homology
49
1
Barycentric subdivision of a tetrahedron
Barycentric subdivision
27
Local homology
Homology
82
1
Fixed barycentre of the barycentric tetrahedral two-skeleton
Local homology
53
Homotopy
Algebraic topology
240
8
Null-homotopic map
Homotopy
42
1
Extension-null-homotopy criterion for a sphere
Null-homotopic map
30
Contractible space
Homotopy
22
Homotopy equivalence
Homotopy
32
Retract
Homotopy
54
1
Retract of a contractible space
Retract
30
Homotopy extension property
Homotopy
73
1
Collapsing a contractible cofibration
Homotopy extension property
44
Based loop
Algebraic topology
57
2
Based homotopy
Based loop
17
Path reversal
Based loop
24
Fundamental group
Algebraic topology
422
11
Well-defined loop concatenation
Fundamental group
23
Functoriality of the fundamental group
Fundamental group
16
Seifert-van Kampen theorem
Fundamental group
336
7
Amalgamated free product
Seifert-van Kampen theorem
46
Generation of a fundamental group by two open sets
Seifert-van Kampen theorem
58
Fundamental group after attaching a Möbius band
Seifert-van Kampen theorem
96
1
Two Möbius bands attached to a torus
Fundamental group after attaching a Möbius band
62
Fundamental group after attaching a 2-cell
Seifert-van Kampen theorem
108
2
Presentation complex
Fundamental group after attaching a 2-cell
86
1
Presentation complex for the symmetric group on three letters
Presentation complex
55
Fundamental group of a closed orientable surface
Fundamental group
31
Covering space
Algebraic topology
672
17
Universal cover
Covering space
126
2
Uniqueness of a universal covering space
Universal cover
45
Extension criterion into a space with contractible universal cover
Universal cover
54
Classification of connected covering spaces
Covering space
331
8
Degree of a connected covering
Classification of connected covering spaces
55
1
Fibre bijection by path lifting
Degree of a connected covering
41
Cell complex of a covering from a coset graph
Classification of connected covering spaces
37
Covering-space subgroup and deck-group quotient
Classification of connected covering spaces
38
Normal covering map
Classification of connected covering spaces
169
3
Universal covering map is normal
Normal covering map
32
Forced normality of finite connected covers of orientable surfaces
Normal covering map
104
1
Nonnormal finite cover of a higher-genus orientable surface
Forced normality of finite connected covers of orientable surfaces
58
Path lifting theorem
Covering space
43
Lifting criterion for a covering space
Covering space
30
Covering space action
Covering space
122
2
Non-Hausdorff orbit space of a covering action
Covering space action
76
1
Simply connected non-Hausdorff orbit-space example
Non-Hausdorff orbit space of a covering action
45
Topological group
Algebraic topology
108
4
Fundamental group of a topological group
Topological group
55
1
Eckmann-Hilton argument
Fundamental group of a topological group
23
Unitary group
Topological group
40
1
Determinant detects the order of a unitary loop
Unitary group
26
Lefschetz number
Algebraic topology
10
Lefschetz fixed-point theorem
Algebraic topology
26
Mayer-Vietoris theorem
Algebraic topology
15
Snake lemma
Algebraic topology
46
Simplicial complex
Algebraic topology
111
5
Simplex
Simplicial complex
20
1
Face of a simplex
Simplex
12
Orientation
Simplicial complex
14
Simplicial pseudomanifold
Simplicial complex
63
1
Fundamental class of an orientable simplicial pseudomanifold
Simplicial pseudomanifold
34
Simplicial cone
Algebraic topology
17
Suspension of a topological space
Algebraic topology
49
2
Reduced homology of a suspension
Suspension of a topological space
9
Union of cones along a common base
Suspension of a topological space
25
Algebraic geometry
Geometry and topology
3k
117
Algebraic variety
Algebraic geometry
706
30
Smooth algebraic curve
Algebraic variety
13
Affine algebraic set
Algebraic variety
98
3
Coordinate ring
Affine algebraic set
24
Vanishing loci of ideal sums and intersections
Affine algebraic set
23
Irreducible components of two intersecting complex hyperbolas
Affine algebraic set
32
Function field of an algebraic variety
Algebraic variety
71
2
Dimension from the function field
Function field of an algebraic variety
21
Projective model of a finitely generated field
Function field of an algebraic variety
37
Morphism of algebraic varieties
Algebraic variety
119
3
Fiber of a morphism
Morphism of algebraic varieties
16
Isomorphism of algebraic varieties
Morphism of algebraic varieties
20
Finite morphism
Morphism of algebraic varieties
55
Projective space
Algebraic variety
388
17
Projective point
Projective space
18
Projective plane
Projective space
9
Projective linear transformation
Projective space
24
Projective variety
Projective space
313
13
Projective dimension theorem
Projective variety
26
Projective curve
Projective variety
7
Homogeneous coordinate ring
Projective variety
12
Product of projective varieties
Projective variety
145
5
Coordinate projection
Product of projective varieties
24
Segre embedding
Product of projective varieties
15
Smooth quadric surface
Product of projective varieties
83
2
Rulings of a smooth quadric surface
Smooth quadric surface
57
1
Disjoint curves on a smooth quadric surface
Rulings of a smooth quadric surface
17
Smooth projective curve
Projective variety
111
3
Local ring of a smooth algebraic curve
Smooth projective curve
19
Extension of a rational map from a smooth projective curve
Smooth projective curve
80
1
Failure of rational-map extension on a singular curve
Extension of a rational map from a smooth projective curve
39
Irreducible topological space
Algebraic geometry
84
2
Irreducible component
Irreducible topological space
20
Noetherian Zariski topology
Irreducible topological space
40
Zariski-closed set
Algebraic geometry
22
Zariski-open set
Algebraic geometry
37
1
Distinguished open set
Zariski-open set
19
Hilbert Nullstellensatz
Algebraic geometry
165
3
Projective Nullstellensatz
Hilbert Nullstellensatz
74
1
Irrelevant ideal of projective space
Projective Nullstellensatz
30
Quasi-compactness of an affine variety
Hilbert Nullstellensatz
45
Zariski density of the complex exponential graph
Algebraic geometry
36
Degree of a projective curve
Algebraic geometry
213
7
Bézout theorem
Degree of a projective curve
60
2
Projective plane curve
Bézout theorem
16
Intersection multiplicity
Bézout theorem
17
Hilbert polynomial
Degree of a projective curve
33
Generic hyperplane section of a projective curve
Degree of a projective curve
28
Degree under a linear projective embedding
Degree of a projective curve
30
Embedding dependence of projective degree
Degree of a projective curve
32
Twisted cubic
Algebraic geometry
89
2
Nondegenerate projective variety
Twisted cubic
17
Degree obstruction to the twisted cubic being a complete intersection
Twisted cubic
44
Genus distinguishes equal-degree projective curves
Algebraic geometry
31
Zariski tangent space
Algebraic geometry
314
8
Dimension from minimum tangent dimension
Zariski tangent space
29
Smooth locus of a variety
Zariski tangent space
156
3
Singular point of an algebraic variety
Smooth locus of a variety
32
Density of the smooth locus
Smooth locus of a variety
94
1
Jacobian criterion
Density of the smooth locus
43
Singular locus of a product with a smooth variety
Zariski tangent space
17
Tangent spaces of a product of two nodal line pairs
Zariski tangent space
37
Tangent-space obstruction between two unions of three lines
Zariski tangent space
51
Krull dimension of an affine variety
Algebraic geometry
40
Affine hypersurface
Algebraic geometry
141
3
Tangent hyperplane section
Affine hypersurface
36
Singular points of an irreducible affine plane cubic
Affine hypersurface
59
Singular cylinder over a nodal curve
Affine hypersurface
21
Projective hypersurface
Algebraic geometry
290
7
Affine cone
Projective hypersurface
31
Pencil of plane curves
Projective hypersurface
103
2
Fermat cubic curve
Pencil of plane curves
25
Cubic pencil with a triangular member
Pencil of plane curves
38
Affine cone over a projective hypersurface
Projective hypersurface
44
Projective quadric cone with one singular vertex
Projective hypersurface
97
1
Projective variety with a prescribed-dimensional singular locus
Projective quadric cone with one singular vertex
62
Determinantal variety
Algebraic geometry
92
2
Smooth projective surface from overlapping rank-one coordinates
Determinantal variety
51
Rank-one determinantal variety
Determinantal variety
26
Birational variety
Algebraic geometry
50
1
Blowup of the affine plane at the origin
Birational variety
39
Normalization of an algebraic curve
Algebraic geometry
112
4
Geometric genus
Normalization of an algebraic curve
35
1
Genus one curve
Geometric genus
20
Normalization of a nodal curve
Normalization of an algebraic curve
55
1
Normalization of y squared equals x times x minus one squared
Normalization of a nodal curve
35
Divisor on an algebraic curve
Algebraic geometry
432
14
Degree of a divisor
Divisor on an algebraic curve
16
Linear equivalence of divisors
Divisor on an algebraic curve
39
Principal divisor on an algebraic curve
Divisor on an algebraic curve
130
2
Divisor class on the projective line
Principal divisor on an algebraic curve
50
Principal divisor with one simple zero and one simple pole
Principal divisor on an algebraic curve
45
Complete linear system of a divisor
Divisor on an algebraic curve
82
2
Very ample divisor
Complete linear system of a divisor
55
1
High-degree divisor is very ample on a smooth projective curve
Very ample divisor
38
Riemann-Roch theorem
Divisor on an algebraic curve
145
5
Canonical divisor
Riemann-Roch theorem
129
4
Canonical divisor of the projective line
Canonical divisor
44
Genus of a smooth plane curve
Canonical divisor
26
1
Smooth plane quartic
Genus of a smooth plane curve
16
Canonical map
Canonical divisor
35
Gonality
Algebraic geometry
22
Hyperelliptic curve
Algebraic geometry
165
4
Even-degree hyperelliptic model
Hyperelliptic curve
134
3
Compactification of y squared equals x to the eighth minus one
Even-degree hyperelliptic model
48
Canonical divisor of an even-degree hyperelliptic curve
Even-degree hyperelliptic model
64
1
Canonical map of a hyperelliptic curve
Canonical divisor of an even-degree hyperelliptic curve
28
Rational map of projective varieties
Algebraic geometry
57
2
Indeterminacy locus
Rational map of projective varieties
15
Projective Cremona transformation
Rational map of projective varieties
21
Nonsingular plane cubic
Algebraic geometry
19
Plane curve
Algebraic geometry
63
2
Canonical map of a smooth plane curve
Plane curve
29
Semicubical parabola
Plane curve
13
Ramification divisor
Algebraic geometry
21
Product surface without low-genus curves
Algebraic geometry
50
Projection of a plane curve from an exterior point
Algebraic geometry
34
Differential geometry
Geometry and topology
3k
136
Immersion
Differential geometry
51
1
Isothermal coordinates
Immersion
21
Laplace-Beltrami operator
Differential geometry
18
Smooth surface
Differential geometry
24
Smooth manifold
Differential geometry
150
5
Abstract smooth surface
Smooth manifold
73
1
Smooth quotient by a free finite group action
Abstract smooth surface
46
Smooth map between manifolds
Smooth manifold
19
Orientable smooth manifold
Smooth manifold
37
1
Orientation-reversing diffeomorphism
Orientable smooth manifold
16
Riemannian metric
Differential geometry
18
Tangent vector
Differential geometry
85
3
Tangent space
Tangent vector
30
Unit tangent vector
Tangent vector
15
Velocity vector
Tangent vector
16
Normal vector
Differential geometry
19
1
Unit normal
Normal vector
8
Orientation of a surface
Differential geometry
44
1
Boundary orientation
Orientation of a surface
25
First fundamental form
Differential geometry
184
7
Local isometry
First fundamental form
113
4
Geodesic preservation by a local isometry
Local isometry
46
1
Geodesic-preserving homothety that is not a local isometry
Geodesic preservation by a local isometry
26
Riemannian isometry
Local isometry
18
Local isometry from a circular cone to the plane
Local isometry
25
Area element of a surface
First fundamental form
38
1
Vector area element
Area element of a surface
14
Gauss map
Differential geometry
417
16
Second fundamental form
Gauss map
397
15
Shape operator
Second fundamental form
91
3
Principal curvature
Shape operator
42
1
Umbilical point
Principal curvature
26
Euclidean invariance of the shape operator
Shape operator
30
Gaussian curvature
Second fundamental form
48
1
Gaussian curvature of a cone away from its vertex
Gaussian curvature
38
Mean curvature
Second fundamental form
57
2
Minimal surface
Mean curvature
16
Orientation reversal of surface curvature
Mean curvature
23
Fundamental forms of a graph surface
Second fundamental form
178
5
Gaussian curvature of a graph surface
Fundamental forms of a graph surface
7
Mean-curvature comparison at tangential contact
Fundamental forms of a graph surface
81
1
Gaussian curvature has no tangential-contact comparison principle
Mean-curvature comparison at tangential contact
43
Tangency to a plane along a curve forces zero Gaussian curvature
Fundamental forms of a graph surface
48
Minimal surface equation for a graph
Fundamental forms of a graph surface
25
Smooth curve
Differential geometry
46
2
Regular curve
Smooth curve
30
1
Arc-length parametrization
Regular curve
19
Curvature and torsion
Differential geometry
159
5
Curvature of a space curve
Curvature and torsion
60
1
Plane curve reconstructed from curvature
Curvature of a space curve
33
Total curvature
Curvature and torsion
45
Torsion of a space curve
Curvature and torsion
18
Planar curves have zero torsion
Curvature and torsion
21
Steiner symmetrization
Differential geometry
129
5
Cavalieri principle
Steiner symmetrization
14
Area preservation under Steiner symmetrization
Steiner symmetrization
16
Perimeter decrease under Steiner symmetrization
Steiner symmetrization
49
1
Equality case in the Steiner perimeter inequality
Perimeter decrease under Steiner symmetrization
22
Symmetrization rigidity for a perimeter minimizer
Steiner symmetrization
32
Frenet-Serret formulas
Differential geometry
202
7
Frenet frame
Frenet-Serret formulas
22
Euclidean motion of Euclidean three-space
Frenet-Serret formulas
47
1
Proper Euclidean motion of Euclidean three-space
Euclidean motion of Euclidean three-space
23
Circular helix
Frenet-Serret formulas
16
Pointwise Euclidean invariant of a curve
Frenet-Serret formulas
63
1
Pointwise Euclidean invariants need not depend only on current curvature and torsion
Pointwise Euclidean invariant of a curve
32
Curvature decomposition for a spherical curve
Frenet-Serret formulas
18
Geodesic curvature
Differential geometry
183
4
Transitive curve symmetry makes geodesic-curvature magnitude constant
Geodesic curvature
35
Isometric halves give zero total boundary geodesic curvature
Geodesic curvature
38
Homogeneous nongeodesic latitude
Geodesic curvature
28
Antipodally symmetric nongeodesic spherical curve
Geodesic curvature
39
Gauss-Bonnet theorem
Differential geometry
151
5
Area of a hyperbolic geodesic polygon
Gauss-Bonnet theorem
22
Spherical isoperimetric inequality
Gauss-Bonnet theorem
55
Gaussian curvature of a torus
Gauss-Bonnet theorem
20
Total Gaussian curvature
Gauss-Bonnet theorem
15
Intersection of closed geodesics on a positively curved sphere
Gauss-Bonnet theorem
35
Preimage theorem
Differential geometry
21
Theorema Egregium
Differential geometry
16
Riemannian geometry
Differential geometry
572
22
Riemannian surface
Riemannian geometry
19
Arc length
Riemannian geometry
11
Isometry
Riemannian geometry
14
Geodesic
Riemannian geometry
376
11
Geodesic triangle
Geodesic
23
Surface covariant derivative
Geodesic
36
Exponential map
Geodesic
170
4
Domain of the exponential map
Exponential map
72
1
Exponential map of the punctured plane
Domain of the exponential map
41
Geodesic polar coordinates
Exponential map
61
1
Gauss lemma
Geodesic polar coordinates
34
Complete geodesic
Geodesic
36
1
Hopf-Rinow theorem
Complete geodesic
20
Tangency invariance of an ambient-surface geodesic
Geodesic
79
1
Cylindrical-helix tangency construction
Tangency invariance of an ambient-surface geodesic
32
Energy of a curve
Riemannian geometry
14
Christoffel symbol
Riemannian geometry
10
Geodesic equation
Riemannian geometry
114
4
Ambient acceleration criterion for a surface geodesic
Geodesic equation
50
1
Constant speed of an affinely parametrized geodesic
Ambient acceleration criterion for a surface geodesic
24
Normal section of a surface
Geodesic equation
16
Affine parameter
Geodesic equation
33
Embedded surface parametrization
Differential geometry
13
Surface of revolution
Differential geometry
287
10
Catenoid
Surface of revolution
23
Constant strip-area density of a surface of revolution
Surface of revolution
52
Curvature-matching diffeomorphism between two surfaces of revolution
Surface of revolution
33
First fundamental form of an arc-length surface of revolution
Surface of revolution
113
4
Curvatures of an arc-length surface of revolution
First fundamental form of an arc-length surface of revolution
101
3
Constant Gaussian curvature surfaces of revolution
Curvatures of an arc-length surface of revolution
54
Gaussian curvature of a surface of revolution
Curvatures of an arc-length surface of revolution
33
1
Total Gaussian curvature of a surface-of-revolution strip
Gaussian curvature of a surface of revolution
19
Circular cylinder
Surface of revolution
21
Clairaut first integral for a surface of revolution
Surface of revolution
24
Helicoid
Differential geometry
20
Ruled surface
Differential geometry
130
4
One-sheet hyperboloid
Ruled surface
115
3
Plane-section geodesics of the unit one-sheet hyperboloid
One-sheet hyperboloid
37
Geodesic trapped in one half of the unit one-sheet hyperboloid
One-sheet hyperboloid
36
Isometry-invariant waist geodesic of the unit one-sheet hyperboloid
One-sheet hyperboloid
29
Flat cone
Differential geometry
43
2
Developing map
Flat cone
12
Isometry of a cone
Flat cone
17
Manifold chart
Differential geometry
41
1
No compact manifold has a single Euclidean chart
Manifold chart
22
Regular value
Differential geometry
63
2
Regular level set theorem
Regular value
24
Sard theorem
Regular value
24
Degree modulo two
Differential geometry
94
1
Exponential displacement map on a compact surface
Degree modulo two
36
Symplectic group
Differential geometry
38
1
Tangent space of the symplectic group
Symplectic group
20
Grassmannian as projection matrices
Differential geometry
57
2
Rank-one orthogonal projection
Grassmannian as projection matrices
20
Real projective plane
Grassmannian as projection matrices
21
Classification theorem for surfaces
Geometry and topology
Conformal map
Geometry and topology
163
6
Conformal equivalence
Conformal map
101
3
Punctured plane is not conformally equivalent to the punctured unit disc
Conformal equivalence
32
Complex plane is not conformally equivalent to the upper half-plane
Conformal equivalence
22
Conformal equivalence between the upper half-disc and upper half-plane
Conformal equivalence
28
Holomorphic inverse function theorem
Conformal map
32
Hyperbolic-cosine half-strip map
Conformal map
30
Connected space
Geometry and topology
194
7
Connected component
Connected space
42
1
Jordan-Brouwer separation theorem
Connected component
30
Continuous image of a connected space
Connected space
9
Integer-valued function criterion for connectedness
Connected space
42
Pairwise-intersecting connected cover
Connected space
36
Product of connected spaces
Connected space
38
Closure of a connected set
Connected space
12
Distance from a point to a plane
Geometry and topology
Elliptic coordinates
Geometry and topology
Joukowski map
Geometry and topology
Path-connected space
Geometry and topology
99
4
Continuous path
Path-connected space
12
Path component
Path-connected space
12
Locally path-connected space
Path-connected space
21
Cut point
Path-connected space
35
Plane
Geometry and topology
Plane Poiseuille flow
Geometry and topology
Product topology
Geometry and topology
Sequentially compact space
Geometry and topology
23
Sphere-plane intersection
Geometry and topology
Spherically symmetric solution of Poisson equation
Geometry and topology
Topological degree
Geometry and topology
15
Trigonometric function
Geometry and topology
27
7
Sine
Trigonometric function
Cosine
Trigonometric function
Tangent
Trigonometric function
Half-angle identities
Trigonometric function
6
Inverse trigonometric function
Trigonometric function
1
Inverse sine
Inverse trigonometric function
Small-angle approximation
Trigonometric function
21
Fractal geometry
Geometry and topology
50
2
Self-similarity
Fractal geometry
37
1
Sierpinski triangle
Self-similarity
21
Euclidean geometry
Geometry and topology
356
16
Unit disk
Euclidean geometry
11
Planar isoperimetric inequality
Euclidean geometry
25
Cyclic quadrilateral
Euclidean geometry
62
1
Bretschneider formula
Cyclic quadrilateral
38
Ellipse
Euclidean geometry
72
2
Nondegenerate ellipse
Ellipse
21
Focal line
Ellipse
13
Perpendicular bisector
Euclidean geometry
20
Apollonius circle
Euclidean geometry
28
Right angle
Euclidean geometry
24
Rigid motion
Euclidean geometry
13
Thales theorem
Euclidean geometry
25
Regular polygon
Euclidean geometry
33
1
Area of a regular octagon
Regular polygon
10
Spherical cap
Euclidean geometry
14
Lattice polygon
Euclidean geometry
18
Spherical symmetry
Geometry and topology
29
1
Isotropic tensor integral
Spherical symmetry
18
Differential form
Geometry and topology
32
1
Exact differential
Differential form
19
Topology
Geometry and topology
2k
63
Closed set
Topology
32
1
Limit point
Closed set
19
Closure
Topology
22
Topological space
Topology
99
3
Topology axiom
Topological space
40
Sierpinski space
Topological space
12
Open cover
Topological space
18
Quotient topology
Topology
197
4
Quotient map
Quotient topology
21
Universal property of the quotient topology
Quotient topology
46
Non-Hausdorff quotient of the real line by rational translation
Quotient topology
52
Square quotient model of the two-sphere
Quotient topology
41
Open set
Topology
164
9
Open interval
Open set
39
1
Nondegenerate interval
Open interval
21
Neighbourhood
Open set
16
Open ball
Open set
15
Open disc
Open set
47
2
Unit disc
Open disc
10
Disc
Open disc
25
Annulus
Open set
34
1
Fixed-point-free rotation of an annulus
Annulus
25
Level set
Topology
15
Dense subset
Topology
18
Discrete space
Topology
11
Connected-space zero-product dichotomy
Topology
33
Normal topological space
Topology
98
3
Urysohn lemma
Normal topological space
55
1
Tietze extension theorem
Urysohn lemma
34
Closed G-delta set as a zero set
Normal topological space
28
Compact space
Topology
202
6
Continuous image of a compact space
Compact space
29
Quotient of a compact space
Compact space
16
Lebesgue number lemma
Compact space
28
Normality of a compact Hausdorff space
Compact space
33
Locally compact space
Compact space
74
1
Compactly detected closed-set theorem in a locally compact Hausdorff space
Locally compact space
42
Hausdorff space
Topology
101
3
Compact subset of a Hausdorff space
Hausdorff space
38
Compact-to-Hausdorff continuous bijection theorem
Hausdorff space
38
Closed diagonal theorem
Hausdorff space
13
Homeomorphism
Topology
48
1
Closed map
Homeomorphism
27
Unit sphere
Topology
9
Closed graph theorem for compact spaces
Topology
69
1
Closed-graph criterion with compact codomain
Closed graph theorem for compact spaces
55
Topological surface
Topology
374
13
Surface quotient by a free finite action
Topological surface
28
Jordan curve theorem
Topological surface
33
Polygonal schema
Topological surface
89
2
Polygonal-schema Euler count
Polygonal schema
44
Regular hyperbolic octagon fundamental polygon
Polygonal schema
34
Torus
Topological surface
31
1
Fundamental group of the torus
Torus
12
Möbius band
Topological surface
33
Klein bottle
Topological surface
141
3
Orientation double cover of the Klein bottle
Klein bottle
80
1
Klein-bottle mapping-cylinder obstruction to simple connectivity
Orientation double cover of the Klein bottle
55
Flat Klein-bottle geodesic model
Klein bottle
36
Double cone singularity
Topological surface
19
Triangle KKM lemma
Topology
66
2
Distance-function barycentric map
Triangle KKM lemma
26
No-retraction covering principle
Triangle KKM lemma
20
Hyperbolic geometry
Geometry and topology
565
24
Hyperbolic plane
Hyperbolic geometry
27
1
Finite-order elliptic transformation
Hyperbolic plane
13
Poincare disc model
Hyperbolic geometry
209
6
Area of a hyperbolic disc
Poincare disc model
59
1
Radial chain of equal hyperbolic discs
Area of a hyperbolic disc
30
Geodesic obstruction for a horizontal chain of hyperbolic discs
Poincare disc model
45
Hyperbolic length in the Poincare disc
Poincare disc model
16
Geodesics of the Poincare disc
Poincare disc model
42
Euclidean circle representing a perpendicular hyperbolic line
Poincare disc model
37
Poincare half-plane model
Hyperbolic geometry
140
4
Geodesic in the Poincare half-plane model
Poincare half-plane model
45
PSL2(R)
Poincare half-plane model
25
Hyperbolic reflection
Poincare half-plane model
29
Hyperbolic half-turn
Poincare half-plane model
32
Cayley transform
Hyperbolic geometry
15
Hyperboloid model
Hyperbolic geometry
50
1
Minkowski inner product
Hyperboloid model
13
Lambert quadrilateral
Hyperbolic geometry
33
Hyperbolic triangle
Hyperbolic geometry
74
4
Ideal vertex
Hyperbolic triangle
14
Hyperbolic triangle area
Hyperbolic triangle
35
1
Hyperbolic polygon area
Hyperbolic triangle area
21
Hyperbolic law of cosines
Hyperbolic triangle
8
Hyperbolic law of sines
Hyperbolic geometry
9
Ancestors
(3)
Area of mathematics
Mathematics
Home
Codex Wiki