All Questions
Tagged with general-topology or gn.general-topology
4,600 questions
0
votes
0
answers
42
views
Topologizing quasi orders with regards to products
This morning I was asked by a colleague for the "right" way to construct a topology on a quasi-order (aka preorder, a reflexive and transitive relation) such that the topology on a product ...
- 1,322
0
votes
0
answers
128
views
The smallest dihedral angle of convex polyhedrons
Given a set of points $\{x_{k}\}_{k=0}^{m} \subset \mathbb{R}^n$, is it always possible to find a constant $c=c(m,n)>0$, depending only on the dimension $n$ and the number $m$, such that, after ...
- 705
0
votes
0
answers
98
views
Does suspension preserve the inequivalence of knots?
Let $S$ be the suspension operator. Let $K1$ and $K_2$ be two knots in $S^3$ which are not equivalent. Does this imply that their suspensions in 4 sphere are not equivalent in the sense ...
- 356
0
votes
0
answers
64
views
Can an upper hemicontinuous correspondence be discountinuous everywhere?
Let $\phi: X \rightrightarrows Y$ be an upper hemicontinuous correspondence. If $K \subset X$ is a compact and convex set, $K$ contains an open set $U$, and $\phi(x)$ is nonempty, compact, and convex ...
- 101
0
votes
0
answers
72
views
Sequential compactness via Arzela-Ascoli theorem for uniform state spaces
Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
- 133
0
votes
0
answers
42
views
Name for a sequence of open sets, each dense in the complement of the previous ones in the subspace topology
Let $X$ be a topological space. Let $\mathfrak{U} = \langle U_\alpha:\alpha\in\gamma\rangle$ be a sequence of non-empty open subsets of $X$ of length $\gamma$ ($\gamma$ an ordinal). Say (for now) that ...
- 1,855
0
votes
0
answers
55
views
Any useful bases for the topology induced by the $t$-Wasserstein distance?
I am working on $\mathbb R ^d$ equipped with the usual Euclidean metric. I know of one nice base for $\mathcal W _t$, namely: $$\left\{ B_p (r) : r>0, p=\sum_{i=1} ^n \alpha_i \delta_{x_i},\text{ ...
- 291
0
votes
0
answers
97
views
Generator of an analytic semigroup
Perhaps I have a naive question. My question is as follows:
When we consider a Cauchy proposition of the following form:
$$
\begin{cases}
x'(t)= -Ax(t)+ F(t,x(t)) &\text{for}\ t> 0 \\
x(0)=...
- 39
0
votes
0
answers
150
views
Connectedness of deleted symmetric product
Let $X$ be a connected Hausdorff space. It is well-known that the $n$-fold symmetric product $\mathcal{F}_n(X) := \{A\subseteq X : 0<|A|\leq n\}$ is a connected space equipped with the Vietoris ...
- 674
0
votes
0
answers
101
views
Finding an example if it exists, for a non-contractible and contractible space with special requirement on quotients of their union?
Let $A$ and $B$ be subsets of $n$-dimensional Euclidean space $\mathbb{R}^{n}$, such that $A$ is non-contractible, $B$ is contractible and $B$ is not an one-point set.
I would like to find example(s) ...
0
votes
0
answers
51
views
Approximating open subset of profinite group by union of cosets of ideal
I am trying to understand the proof of Theorem 1.3 in this paper by poonen. Poonen refers to Lemma 20 in a different paper. He claims that the open subset $U_P \subseteq \hat{\mathcal{O}}_P$ can be ...
- 1
0
votes
0
answers
52
views
Estimate the gradient (with respect to local coordinates) of a partition of unity on a manifold
Suppose $\{U_\alpha\}$ is an atlas of coordinate patches of a (noncompact) smooth manifold $M$ of dimension $n$, with coordinates $(x_\alpha^1,\dots,x_\alpha^n)$ on $U_\alpha$. Furthermore we assume ...
- 21
0
votes
0
answers
63
views
Computing the eta invariant of a rather contrived operator on the circle
For physical reasons, I am interested in computing the eta invariant of the following Hermitian operator acting on complex valued functions on the circle with circumference 1. I define the operator ...
- 111
0
votes
0
answers
117
views
Example of a metrizable space that is not an ANR
I have been looking for an example of a metrizable space that is not an absolute neighborhood retract (ANR).
Recall that a metrizable space $X$ is called an ANR if there exists an open set $U$ in a ...
- 506
0
votes
0
answers
98
views
Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?
(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?)
Assume $(\Omega, \mu)$ is a probability space. Consider a ...
- 2,830
0
votes
0
answers
165
views
Are all infinite-dimensional Lie groups noncompact?
Basically what the title says — if a Lie group is infinite-dimensional, is it necessarily noncompact?
- 194
0
votes
0
answers
73
views
Can we construct general counterexample to support the Weak Whitney theorem? [duplicate]
Can we construct an example for the weak Whitney theorem to illustrate the existence of a continuous function from an $n$-dimensional manifold to an $m$-dimensional manifold that cannot be smoothly ...
- 109
0
votes
0
answers
161
views
Gluing faces of n-cube
Assuming $C_n$ be the $n$-cube, the intersection of $C_n$ with a supporting hyperplane $H(P, v)$ is called a face or more precisely a $d$-face if the dimension is $d$.
Let $f_0$ and $f_1$ be faces ...
- 53
0
votes
0
answers
70
views
A cellular automaton with an image that is not closed
Let $G$ be a non-locally finite periodic group and let $V$ be an infinite-dimensional vector space over a field $\mathbb{F}$. Does there exist a nontrivial topology on $V^G$ and a linear cellular ...
- 883
0
votes
0
answers
303
views
Proof that a first integral is not a constant function
Let $U$ be an (open) set in $\mathbb{R}^n$. And we are given a set of $m$ basis functions
$$B=\{\psi_i(x): U \rightarrow \mathbb{R}\mid i=1,\ldots,m \}$$
such that all of them are differentiable and ...
- 247
0
votes
0
answers
96
views
Idempotent conjecture and (weak) connectivity of (a reasonable) dual group
What is an example of a torsion free discrete abelian group $G$ whose dual space $\hat{G}$ is not a path connected space?
The Motivation: The motivation comes from the idempotent conjecture of ...
- 356
0
votes
0
answers
70
views
Example of DS with a dense trajectory in the whole state space
Let $U \subset \mathbb{R}^n$ be an open and connected set. We assume there is a vector field $F \in \mathcal{C}^1(\overline{U})$ giving rise to a DS ($\overline{U}$ denotes the closure)
$$\dot{\mathbf{...
- 247
0
votes
0
answers
177
views
Homeomorphism groups on manifolds and topological properties
Let $M$ be a compact $n$-dimensional manifold let $H(M)$ denote the homeomorphism group of $M$.
If $n=2$ then $H(M)$ enjoys nice properties such as being an ANR, is locally contractible, separable. ...
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
0
votes
0
answers
81
views
Is it possible to continuously embed $C^\infty(\mathbb{T}^n)$ as a vector space into $\mathcal{D}(\mathbb{R}^n)$ by some "inverse" of periodization?
Let $\mathbb{T}^n$ be the $n-$dimensional torus and $C^\infty(\mathbb{T}^n)$ be the Frechet space of smooth periodic functions on $\mathbb{R}^n$.
According to p.298 of Folland "Real Analysis"...
- 3,477
0
votes
0
answers
165
views
Topological property of an algebraic stack and its presentation
I started to learn algebraic stacks this January. I found there are several properties of algebraic stacks which are defined in terms of their underlying topological spaces, for example, connectedness,...
- 455
0
votes
0
answers
91
views
Describing a time-varying process with a manifold
I am a beginner in topology and I am trying to define a model for some computations. My questions are speculative:
I am wondering what is the proper way to add time in a manifold so as to describe a ...
0
votes
0
answers
123
views
Classification of closures of additive subgroups of $\mathbb{R}^n$
If $G$ is an additive subgroup of the real numbers $\mathbb{R}$ and $\overline{G}$ is the topological closure of $G$ then either
$\overline{G} = a \cdot \mathbb{Z}$ for some $a \in \mathbb{R}$, or
$\...
- 2,221
0
votes
0
answers
67
views
G separable group, $\aleph_0 \leq \tau$. What is $l(X)$ and $\omega l(X) (\leq \tau)$? where $X \subseteq G$. And what is $\chi (G)$ (cardinal)?
Happy Chinese new year!
I was reading (and translating) a Russian article "On the topological groups close to being Lindelöf".
Where it is assumed G is a separable group and $\tau \geq \...
- 11
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
0
answers
180
views
Proof of Co-H map the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$
How to show the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$ is Co-H-map?
0
votes
0
answers
98
views
Reference request: subspace-based generalisation of weak* convergence
Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
- 463
0
votes
0
answers
113
views
Finite sets are residual in the Hausdorff space
Let $X$ be a metric space, let $\mathbb{H}(X)$ denote the set of non-empty closed subsets of $X$ with Hausdorff metric which we denote by $d_{\mathbb{H}(X)}$, and let $\mathbb{H}_{\operatorname{fin}}(...
- 5,405
0
votes
0
answers
163
views
Presentation complex of a finite perfect group and its features
Let $G$ be a finite perfect group and consider $X_G$, its presentation complex. I have the following questions:
Is there any special property of $X_G$ due to the group's perfectness?
What can we say ...
- 1,177
0
votes
0
answers
102
views
Examples of convergence spaces which are not limit spaces, and limit spaces which are not Choquet spaces?
Let $X$ be a (non-empty) set and denote by $\mathbb{F}X$ the set of filters on X. Let $\xi$ be a relation between $X$ and $\mathbb{F}X$.
We say that the pair $(X,\xi)$ is a convergence space iff
$(x,\...
- 352
0
votes
0
answers
131
views
Stein manifold homotopic to wedge of two Stein manifolds
I am not very conversant with Stein structure on a manifold so this may be a very silly question. Let $X$ and $Y$ be two Stein manifolds of dimension $n$, inside $\mathbb{C}^N$. Take $x\in X$ and $y\...
- 1,177
0
votes
0
answers
46
views
Is projection of locally-connected-like compact subset locally-connected-like?
Definition
A (topological) space $(X, \mathcal{T}_X)$ has property $P$ (locally-connected-like), if every open cover has an open connected refinement.
Problem
Let $(X, \mathcal{T}_X)$ and $(Y, \...
- 397
0
votes
0
answers
94
views
Is the space of affine continuous functions a Baire space
Let $\Omega$ be a compact convex set in q linear normed space. Let $A(\Omega)$ be the space of affine continuous real-valued functions. My question is whether the space $A(\Omega)$ is a Baire space? ...
- 675
0
votes
0
answers
336
views
Can someone explain this proof on aspherical manifolds?
I am trying to understand this proof that the fundamental group of an aspherical manifold is torsion free. The proof is lemma 4.1 from Aspherical manifolds at the Manifold Atlas Project. The proof is:
...
- 29
0
votes
0
answers
57
views
Given m vectors in n dimension where m>>>n, how do you find the vectors that define the largest convex hull constructed with the vectors?
Say there are m vectors in n dimensional space (m>>>n).
There exists a largest convex hull defined by a subset of those vectors.
My goal is to describe the space that is strictly inside the ...
0
votes
0
answers
89
views
Topologies in $\mathcal{C}^\infty(M,N)$
Naively, one could topologise the set of smooth (ie $\mathcal{C}^\infty$) maps between two smooth manifolds $M \to N$ with the subspace topology $\mathcal{C}^\infty(M,N) \subseteq \mathcal{C}^0(M,N)$, ...
- 601
0
votes
0
answers
138
views
Where can I find this S. Mrówka's paper?
I have been looking for a digital version of the following article: "S. Mrowka, On universal spaces, Bull Acad. Polon. Sci., cl. III, 4 (1956) 479-481". There is a MathSciNet review made by ...
- 674
0
votes
0
answers
42
views
Conditions on a set implying properties on neighborhoods
Suppose $F$ is a closed set in a Euclidean space, and for $\epsilon>0$, let $V_\varepsilon$ be the $\varepsilon-$neighborhood of $F$ i.e. the set of points $x$ having a distance less than $\...
- 411
0
votes
0
answers
207
views
In contemporary mathematics, is there a research field that deals with (i.e. based on) General Topology (i.e. point-set topology)?
In contemporary mathematics, is there a research field that deals with (i.e. based on) General Topology (i.e. point-set topology)?
If there is, I would be thankful to get links to papers that could ...
- 109
0
votes
0
answers
74
views
Do adjoining basepoints and/or moduli of spaces affect fixed points nicely?
My question is when will $(X_+)^G$ or $(X/A)^G$ be equal to $(X^G)_+$ or $X^G/A^G$ respectively for $X$ a $G$-space, $G$ a finite cyclic group and $X^G$ the ordinary fixed points. These seem like they ...
- 9
0
votes
0
answers
41
views
Selectively countable Boolean algebras of sets (terminology)
I am interested in the name for the following property of a Boolean algebra $\mathcal A$ of subsets of a set $X$:
$(\star)$ for any sequence $(A_n)_{n\in\omega}$ of pairwise disjoint nonempty sets in $...
- 41.8k
0
votes
0
answers
75
views
Is second countability an extension property for non-Hausdorff spaces?
Let $G$ be an abelian topological group and let $H$ be a non-Hausdorff closed subgroup (so that $G/H$ is Hausdorff). If $H$ and $G/H$ are second countable, is $G$ second countable?
0
votes
0
answers
177
views
On connectedness of the complement
In the application of Runge type theorems on the approximation of functions with some regularity on a neighborhood of a compact, it is interesting to know whether the complement of a compact has ...
- 411
0
votes
0
answers
132
views
Covering map preserved under homotopy equivalence
Given a $m-$sheeted covering map from $p:M^n\to N^n$, where $M,N$ are manifolds of dimension $n$. Suppose $M$ and $N$ are homotopy equivalent to finite CW complexes $X$ and $Y$ of same dimension $k$. ...
- 1,177
0
votes
0
answers
78
views
Pareto-optimal front $F$ in $m$-dimensional space can not have more than $\mathbf{H}_{m-2}(F)$ homology groups
I need to prove that a Pareto-optimal front $F$ in $m$-dimensional space (i.e. $m > 1$) can not have more than $\mathbf{H}_{m-2}(F)$ homology groups.
What it simply means that in a 2-dimensional ...
- 101