MATHLIBANNEX / PROJECT LFH

Global extension and specializations

Back to Project mathematical routes

Scope

Local affine-isometry charts agree on open overlaps and glue over a nonempty open connected source. Continuity and interior matching yield the convex, open-ball and equal-radius closed-ball specializations with their stated hypotheses.

4 direct Cards + 7 reused prerequisites = 11 unique Cards. This count is a selected Card closure, not a source-declaration count.

Route reading PDF · Preserved source exploration

Cards in this route

Read this route with prerequisites

Reference index: direct Cards and reused prerequisites

Direct references: M08 — Mankiewicz extension on open connected domains · M09 — Convex-set extension via ambient interiors · M10 — Affine extension from open balls · M11 — Affine extension from equal-radius closed balls

Reused prerequisites: M02 — Center transport under bounded point-reflection symmetry · M06 — Affine-segment preservation on a quarter ball · M03 — Midpoint preservation on a symmetric lens · M01 — Symmetric lens · M07 — Local affine-isometry chart on a smaller ball · M05 — Midpoint preservation on a quarter ball · M04 — Midpoint preservation under lens containment

Dependency-first reading route

Read selected Card prerequisites before their uses. Levels are recomputed from the selected reachability-preserving projection; omitted source helpers remain traceable in the source exploration.

11 Cards

Level 0 (2 Cards)

Level 0

Center transport under bounded point-reflection symmetry

Uses a doubling argument to identify the reflection centers under a bijective isometry.

MathlibAnnex.IsometryEquiv.map_center_of_mapsTo_pointReflection

Immediate Card prerequisites: None in this selected scope

Used by in this scope: Midpoint preservation on a symmetric lens

Open Declaration Card Read exact source

Level 1 (1 Card)

Level 2 (1 Card)

Level 3 (1 Card)

Level 4 (1 Card)

Level 5 (1 Card)

Level 6 (1 Card)

Level 7 (2 Cards)

Level 8 (1 Card)