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 …
Unique (connected and simple) graphs that are locally prism graphs
Sep 20, 2025 · Unique (connected and simple) graphs that are locally prism graphs Ask Question Asked 5 months ago Modified 5 months ago
(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 …
If $ (x_n)$ is weakly unconditionally Cauchy in a Hausdorff locally ...
Jan 6, 2026 · I read in a research paper On Schwartz's C-spaces and Orlicz's O-spaces by S. Díaz Madrigal that if the sequence $(a_n)$ converges to zero and $(x_n)$ is a weakly unconditionally …
Two definitions of a morphism (locally) of finite type
Oct 3, 2025 · Conversely, I do not know whether a the Stacks project's definition of a morphism of finite type (i.e. locally of finite type and quasi-compact) implies Hartshorne's definition of a morphism of …
The definition of locally Lipschitz - Mathematics Stack Exchange
Actually, a continuously differentiable function is locally Lipschitz, but since the derivative isn't assumed continuous in the theorem, one has only the weaker property that might be dubbed "pointwise …
Locally bounded function definition - Mathematics Stack Exchange
Nov 5, 2020 · I know that locally bounded means that the specific function is bounded around every point. Also i know that all bounded functions are locally bounded by definition.
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 …
general topology - The double cone is not locally euclidean ...
Mar 23, 2024 · This exercise is given to me as an example of a non locally euclidean topological space, immediately after the definition of a locally euclidean topological space.
ordinary differential equations - Locally Vs Globally Lipschitz ...
Jun 21, 2014 · Is there any difference in a function being locally Lipschitz on $\\mathbb{R^n}$ and being globally Lipschitz?