
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 4 months ago
Function that is constant on connected components but not …
Oct 31, 2023 · The Wikipedia page for locally constant function says that a locally constant function is constant on each connected component, but that the converse only holds if the …
(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 …
'Locally' Convex Function - Mathematics Stack Exchange
Jun 2, 2020 · My intuition suggests that a continuously differentiable function on a convex set which is locally convex everywhere should be globally convex, but I have trouble constructing …
If $(x_n)$ is weakly unconditionally Cauchy in a Hausdorff locally ...
Jan 6, 2026 · As subsets of the Hausdorff locally convex space X are bounded in the weak topology if and only if they are bounded in the original vector topology for X (see here), we …
When does local boundedness of a process imply locally in …
Jan 25, 2025 · When does local boundedness of a process imply locally in $L^2 (M)$? Ask Question Asked 1 year ago Modified 1 year ago
functional analysis - Mazur's theorem for locally convex topologies ...
Aug 25, 2025 · I am reading some papers on operators acting on Banach spaces and one of them uses the following fact: If a vector space has two locally convex topologies with identical …
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 …
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 …
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.