**10**

votes

**3**answers

520 views

### What are parabolic bundles good for?

The question speaks for itself, but here is more details: Vector bundles are easy to motivate for students; they come up because one is trying to do "linear algebra on spaces". How does one motivate ...

**3**

votes

**1**answer

106 views

### If $S$ is non-stationary in $[k]^{\omega}$ is there a choice-function on $S$ with bounded fibers?

Fodor's Lemma : When $k$ is a regular uncountable cardinal, and $T$ is a stationary subset of $k$, any regressive $f:T\to k$ has a fiber which is stationary in $k$. Corollary: $T$ is stationary in ...

**3**

votes

**1**answer

200 views

### When is the generalized Cantor space $\kappa$-compact?

My M.Sc. student has the following question, that I assume has an answer in the literature, and we are looking for references.
The generalized Cantor space is the space $2^\kappa$, with basic open ...

**4**

votes

**1**answer

114 views

### Is the following product-like space a Polish space?

Let $\mathcal{M}_1(\mathbb R)$ denote the space of Borel probability measures on $\mathbb R$. The space is a Polish space (a space which admits a complete, separable, metric) using, say the ...

**12**

votes

**2**answers

253 views

### Term for a metric space for which the triangle inequality is strict?

Is there a standard term for a metric space in which $\rho(p,r) < \rho(p,q) + \rho(q,r)$ for any distinct $p$, $q$, $r$? Sort of the opposite of metric convexity.
For instance, a subset of ...

**1**

vote

**0**answers

162 views

### A functor on the category of rings, algebras or compact Hausdorff topological space

Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra.
We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...

**0**

votes

**0**answers

88 views

### Alternative representation of $C_c(X)$ as inductive limit

CORRECTION: As Simon Henry points out in the comments, there is a problem in the construction: the maps $\varphi_n$ are not necessarily linear.
Under some additional constraints on the space (e.g. $X$ ...

**1**

vote

**0**answers

200 views

### The theory of frames and locales as elementary topology [closed]

In What is elementary geometry? (pdf) Alfred Tarski defined elementary geometry to be
that part of Euclidean geometry which can be formulated and established without the help of any ...

**0**

votes

**1**answer

74 views

### $C^{\infty}_{loc}$-convergence - right definition

Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...

**2**

votes

**0**answers

85 views

### Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement
"Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of ...

**1**

vote

**1**answer

66 views

### Identifying attractors in high dimensional dynamical sytems [closed]

I have a high dimensional dynamical system, and I was wondering if there is a method to identify the various attractors of the system i.e, a way of mapping the energy landscape?
I was thinking of a ...

**0**

votes

**0**answers

57 views

### Can a countable and connected space be hausdorf? [duplicate]

Can a countable and connected space be hausdorf? If not, can it be T1, i.e., every pair of points is topologically distinguishable and seperable?

**1**

vote

**1**answer

81 views

### Isotopy class of closed 2-ball embedded in R^3

My intuition tells me that any two topological embeddings of the closed 2-ball (aka unit disk) into $R^3$ are isotopic in $R^3$. Is this correct? Maybe easy to prove?
It seems like it should be easy ...

**4**

votes

**3**answers

146 views

### End points of continua

Whyburn (1942) defined an end point $x$ of a continuum $X$ to be any point having arbitrarily small neighborhoods each of whose boundaries contains a single point. Thus, he defines an end point ...

**6**

votes

**2**answers

177 views

### A non locally compact group of finite topological dimension?

Is there a topological group which is Hausdorff, first countable,
locally connected and has finite topological dimension, yet fails
to be locally compact?

**3**

votes

**0**answers

56 views

### Can approximately periodic functions be perturbed to periodic functions on a locally compact group?

Let $G$ be a locally compact group and $H\subset G$ a closed and cocompact subgroup. I wish to consider bounded continuous functions from $G$ to $\mathbb{C}$ that are periodic in the following strong ...

**2**

votes

**1**answer

160 views

### Holonomic splitting

I am reading the book "Introduction to the h-Principle" by Eliashberg and Mishachev. At the moment I try to understand the Section 1.7 Holonomic splitting on page 12 but without success. I do not ...

**4**

votes

**0**answers

193 views

### A generalized ellipse

We know that an ellipse is the locus of all point $z$ in the plane with $$|z-a|+|z-b|=\lambda$$
where $a,b$ are two given points in the plane and $\lambda$ is a constant.
Now we consider the ...

**7**

votes

**3**answers

254 views

### Numerical and topological density

Let $\mathbb{N}$ denote the set of positive integers, and let's say that $A\subseteq \mathbb{N}$ is numerically dense if $$\text{lim inf}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n} = 1.$$
Is there a ...

**8**

votes

**1**answer

161 views

### Simply connected noncompact surfaces

Is there a theorem saying that any noncompact, simply connected topological surface is homeomorphic to the plane ? There seems to be many well-known results about the classification of compact ...

**9**

votes

**3**answers

516 views

### Collection of dense subsets as a “fingerprint” for Hausdorff topologies?

Let $(X,\tau)$ be a Hausdorff space and let ${\cal D}$ denote the collection of dense subsets of $(X,\tau)$. Is it possible that there is another Hausdorff topology $\tau_1 \neq \tau$ on $X$ such that ...

**4**

votes

**1**answer

100 views

### Completeness of Localizations of Completions of Commutative Rings

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...

**-4**

votes

**1**answer

171 views

### Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]

Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)?
If so, please show me how to construct it.

**1**

vote

**0**answers

79 views

### Does bounded and closed equal compact for sets of Borel probability measures?

Equip the space of Borel probability measures on a fixed closed subset X of the s-dimensional Euclidean space with the topology induced by weak convergence of probability measures. In this setting, ...

**14**

votes

**0**answers

323 views

### pizza lemma (topology)

given six real-analytic arcs in the unit disk $D$, each of which
connects the origin to a boundary point, and no two arcs meet anywhere except
at the origin, and the arcs meet at equal (60 degree) ...

**2**

votes

**1**answer

72 views

### Is there any workable internal characterization of zero-sets?

I am asking the question in a purely topological setting; a zero-set of some topological space $X$ is a subset which can be realized as the counterimage of a single point through a continuous ...

**3**

votes

**1**answer

138 views

### Extremally disconnected spaces and a measure theoretic property

Suppose that $X$ is an extremally disconnected topological space (meaning that the closure of an open set is still open). Then $X$ has the following property: the family of all sets $S$ such that $S$ ...

**3**

votes

**0**answers

58 views

### Kind of multiplicative total boundedness in Hausdorff compact rings

Let $(R,\cal T)$ be a unital Hausdorff compact topological ring and let $A$ be an open subset of $R$ containing $1$. Is there a finite set $B$ with $AB=R$?

**2**

votes

**1**answer

101 views

### Two questions about the extent to which simple arcs and simple closed curves can fill up higher dimensional Euclidean spaces

For each positive integer n, let E(n) be n-dimensional Euclidean space with its standard metric and let p(n) be some fixed point of E(n). The so-called "Osgood Curve" shows that there can exist simple ...

**1**

vote

**0**answers

69 views

### Not normal connected component of a right topological group

Let $\cal T$ be a locally compact topology on a group $G$ and $(x,y)\mapsto xy^{-1}$ be continuous at $(1,1)$ and for every $a\in G$, $x\mapsto xa$ be continuous everywhere with respect to $\cal T$.
...

**2**

votes

**1**answer

55 views

### Regular open Boolean algebras and homomorphism which does not preserve nearness of sets

I am looking for an example of topological spaces $\langle X_1,\mathscr{O}_1\rangle$ and $\langle X_2,\mathscr{O}_2\rangle$ such that
there is a homomorphism ...

**10**

votes

**1**answer

297 views

### Dimension in CW-approximation

The following question was something that came to my mind during my (unsuccessful) attempt at answering this MO-question.
Let $X$ be a topological space, and let $\tilde{X}\to X$ be a ...

**6**

votes

**1**answer

223 views

### Two definitions of Lebesgue covering dimension

Maybe this question has already been considered here, but after a quick search I didn't find what I was looking for.
As I see, in the literature there are two different definitions of the ...

**5**

votes

**1**answer

244 views

### Factorization of a certain map through a CW-complex

Suppose that $X$ is a paracompact Hausdorff space (e.g. a metric space) with $\dim X=n$ (the Lebesgue covering dimension). I want to find a proof (or a reference) that any (continuous) map $f: X \to ...

**1**

vote

**0**answers

68 views

### Name for a type of weak path connectedness?

The following topological property arose in the context of my friend Don Hadwin's operator theory research, and he asked me to ask here if the property occurs in the literature and has a name.
...

**2**

votes

**1**answer

127 views

### Preservation of topological properties in between two topologies

Let $X$ be a set, $\tau_1 \leq \tau_2$ two comparable topologies on $X$ ($\tau_1$ is weaker than $\tau_2$) and consider some topological property $\varphi$ that holds for both $\tau_1$ and $\tau_2$.
I ...

**11**

votes

**0**answers

187 views

### Is there a locally compact, $\omega_1$-compact, not $\sigma$-countably compact space of size $\aleph_1$?

There are old ZFC examples due to Eric van Douwen that satisfy all the properties in the title, except that they are of cardinality $2^{\aleph_0}$, so the answer to the title question is YES if the ...

**5**

votes

**0**answers

101 views

### Topologically transitive, pointwise minimal systems

I'm cross-posting this from SE.
Let $T$ be a group, and let $(X,T)$ be a flow, i.e. $X$ is a compact Hausdorff space and $T$ acts on $X$ by homeomorphisms. A flow $X$ is called topologically ...

**2**

votes

**2**answers

254 views

### Are the closed and unbounded subsets of $\mathbb{R}$ known up to homeomorphism?

I am currently working on a problem for which this knowledge could greatly reduce the number of cases, but I have yet to find anything after searching online. Are the closed unbounded subsets of ...

**2**

votes

**1**answer

70 views

### Sequentially indistinguishable topologies on a countable set

All of the famous examples for sequentially indistinguishable topologies on a set $X$ are provided on an uncountable set $X$ (an uncountable set $X$ with discrete and cocountable topology or the ...

**2**

votes

**1**answer

126 views

### Relation between two different definitions for relative sequential compactness

Building upon this question in Math.SE, I think the following might be rather of interest for MO.
In the literature on measure theory, probability and functional analysis the definition of a subset ...

**3**

votes

**1**answer

139 views

### Invariants of category in Polish spaces

Consider the invariants appearing in the Cichoń's diagram: $add(\mathcal I)$, $cov(\mathcal I)$, $non(\mathcal I)$, $cof(\mathcal I)$, where $\mathcal I$ is either the ideal of null sets for the ...

**8**

votes

**0**answers

132 views

### Are there always large discrete families of normal measures?

Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...

**8**

votes

**1**answer

424 views

### How is Ricci flow related to computer graphics?

I recently came across the book Ricci Flow for Shape Analysis and Surface Registration: Theories, Algorithms and Applications by Wei Zeng and Xianfeng David Gu. Because, I just saw the book on the ...

**14**

votes

**2**answers

354 views

### Can an oriented closed $n(\geq 2)$-dimensional manifold be embedded in $\mathbb{R^{2n-1}}$

Can anyone provide me an example of an orientable closed manifold $M$ of dimension $n\geq 2$, which cannot be embedded in $\mathbb R^{2n-1}$?
I know this is certainly not true when $n=1$, i.e. ...

**1**

vote

**0**answers

62 views

### A $\mathcal{C}^1$ domain and Hausdorff dimension estimate

Let us consider an open connected domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary.
Suppose now, that there exists $R>0$ such that the set $\partial E \cap ...

**0**

votes

**0**answers

38 views

### A $\mathcal{C}^1$ differentiable domain is $F_\sigma$?

Let us consider a domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary.
Suppose now, that for every $R>0$ the set $\partial E \cap B_{R}(x_0)$ is $\mathcal{C}^1$, i.e. ...

**2**

votes

**1**answer

77 views

### Construct a specific base for Fine uniformities in the diagonal(Entourages) case

For every uniformizable space $X$ there is a finest uniformity on $X$ compatible with the topology of $X$ called the fine uniformity or universal uniformity.
To construct Fine uniformities, Let ...

**8**

votes

**2**answers

274 views

### Maximal trivialising subspace for a vector bundle

Let $X$ be a locally compact Hausdorff space. Given a vector bundle $p: E\to X$, a subspace $Y$ of $X$ is called trivialising (for this bundle), if after restricting this bundle to $Y$, it is a ...

**2**

votes

**0**answers

199 views

### algebraic structure of Integral Steenrod squares

It is well known that the classical Steenrod squares $Sq^a$ satisfy the Adem relations
$$Sq^aSq^b= \sum_c \binom{b-c-1}{a-2c}Sq^{a+b-c}Sq^c\;.$$
In the case where $a$ is odd, one can define an ...