(Constructive) classification of simple, finite, locally $C_7$ graphs
May 17, 2025 · I am looking for an (if possible constructive) classification of those finite, simple graphs (no loops, no multi-edges), where the open neighbourhood of each vertex (excluding that vertex aka …
Terminology for local contractibility: "locally contractible" vs ...
Nov 18, 2025 · I'm working on formalizing locally contractible spaces in Mathlib (the mathematics library for the Lean theorem prover), and I've encountered conflicting terminology in the literature regarding …
Proof Verification: Morphism of Schemes is Locally of Finite Type
Dec 7, 2022 · In the scheme-theoretic language above, this is equivalent to: a morphism of affine schemes X → Y X → Y which is locally of finite type for the open cover Y Y [“locally of finite type” is …
about locally finite measures and Hausdorff spaces.
Sep 28, 2025 · A few authors require in addition that μ μ is Locally finite measure, meaning that every point has an open neighborhood with finite measure. For Hausdorff spaces, this implies that μ(C) <∞ …
real analysis - Locally essentially bounded function is locally ...
Nov 25, 2023 · Locally essentially bounded function is locally integrable Ask Question Asked 2 years, 2 months ago Modified 2 years, 2 months ago
Locally closed subspace - Mathematics Stack Exchange
Aug 19, 2020 · Here is possibly a clearer equivalence of locally closed sets: Suppose (X, τ) (X, τ) is a topological space. A subset A A in (X, τ) (X, τ) is a locally closed subset of X X iff A = U ∩A¯¯¯¯ A = …
general topology - Reasoning for definition of locally homeomorphic ...
Aug 22, 2017 · For example, the circle is locally homeomorphic to $\mathbb {R}$, but there is no local homeomorphism from the circle to the real line - for any such map, at some point the path needs to …
analysis - Proving that a convex function is locally Lipschitz ...
Proving that a convex function is locally Lipschitz Ask Question Asked 13 years, 8 months ago Modified 2 years, 2 months ago
A Countable Basis and Countably Locally Finite Collections
Feb 26, 2018 · A countably locally finite set can be written as a countable union of locally finite sets, so it seems that it suffices to show any locally finite collection is countable.
Locally compact preregular spaces are completely regular
Jul 31, 2022 · It is a well-known result that every locally compact Hausdorff space is completely regular. Now wikipedia as well this answer from Tyrone mention that the same holds if Hausdorff is replaced …