All Questions
5,185 questions
-1
votes
1
answer
406
views
Topological properties of complex valued Riemann sum limit curve and a particular integral inequality
I am studying under what conditions the following integral inequality would hold ($a$ real, $a>0$):
$$ \int_{-\infty} ^{\infty} \frac{f(ix)}{a\pm ix}dx\ = 0 \ \ \ \ \Rightarrow \ \ \ \int_{-\...
CommunityBot
- 1
6
votes
3
answers
432
views
Spaces that can't be embedded in the plane
If $X$ and $Y$ are topological spaces, let us write $X \preceq Y$ whenever $X$ embeds in $Y$.
Earlier today, I asked the question:
Is this a well-quasi-order on the completely metrizable spaces?
...
- 1,936
10
votes
1
answer
207
views
The knot $K\subset \Bbb S^3$ is smoothly slice, but the disc $D\subset \Bbb D^4$ is only locally flat. Can $D$ be smoothed?
Suppose I am given a smoothly slice knot $K\subset\Bbb S^3$. But I am only given a locally flat disc $D\subset \Bbb D^4$ with boundary $K$.
Question: Is there a smooth disc $D'\subset\Bbb D^4$ with ...
- 19.4k
2
votes
0
answers
149
views
Polynomial entropy of topological dynamical systems
For a continuous mapping $\varphi: X \to X$ on a compact Hausdorff space $X$ we define the entropy as follows:
Given open covering $\mathcal{U}$, $\mathcal{V}$ of $X$, we call $\mathcal{V}$ a ...
- 467
4
votes
1
answer
104
views
Are there such a complete metric space X of weight k (w(X)=k) and ....?
Are there such a complete metric space $X$ of weight $k<\mathfrak{c}$ ($w(X)=k$) and a family $\{F_{\alpha}: \alpha<k\}$ of closed subsets of $X$ that $k<|X\setminus \bigcup F_{\alpha}|<\...
- 18.6k
4
votes
0
answers
140
views
Separable metrizable spaces far from being completely metrizable
I came across a kind of separable metrizable space that is "far" from being completely metrizable. Before specifying what I mean with "far", I recall that a space is said to be ...
- 2,286
2
votes
1
answer
265
views
Special version of $\Delta$-system Lemma for singular cardinals
In his article "Remarks on cardinal invariants in topology" (you can get the paper here: Where can I find the following S. Shelah's paper?), Saharon Shelah states the following claim:
(...
CommunityBot
- 1
3
votes
0
answers
77
views
What is the name of the (possibly well-known) class of $\pi$-monolithic compact spaces?
A compact space $X$ is called ${\it \pi-monolithic}$ if whenever a surjective continuous mapping $f:X\rightarrow K$ where $K$ is a compact metric space there exists a compact metric space $T\subseteq ...
- 1,101
9
votes
1
answer
382
views
Equivalent definitions of topological weak mixing
A dynamical system $f:X\to X$ is said to be topologically transitive if for any two nonempty open sets $U,V$ there exists $n \in \mathbb{Z}$ such that $f^{\circ n}(U) \cap V \neq \emptyset$. The ...
- 467
72
votes
9
answers
9k
views
What is a continuous path?
I would like some help, because I am getting mad trying to answer the following
Question: Let $X$ be a topological space, what is a continuous path in $X$?
Well, maybe you're already getting ...
- 35.5k
3
votes
2
answers
2k
views
Can every real function be approximated with a Riemann-integrable one with any precision required?
Is there some proof that Riemann-integrable functions are dense in the space of all real functions?
In a sense that for every real function $f$ and number $\varepsilon>0$, there is Riemann-...
- 2,821
3
votes
0
answers
144
views
Action of the mapping class group on curves and triangulations
Consider an orientable surface $S$ of arbitrary genus, possibly with boundaries, and with marked points and/or punctures. I will assume that every boundary has at least one marked point so that the ...
- 1,435
6
votes
0
answers
210
views
Failure of Baire's grand theorem when the hypothesis is weakened to separable metric space
The statement of Baire grand theorem gives a characterization of Baire class 1 functions between a completely metrizable separable space (aka Polish space) and a separable metrizable space. The ...
- 2,286
3
votes
2
answers
307
views
Smoothing a map $f:X\to \mathbb{R}$ while fixing it over a closed $C\subset X$
$\newcommand{\R}{\mathbb{R}}$I have a map $f\in C^0(X,\mathbb{R})$, where $X$ is a compact and Hausdorff topological space, which is a manifold outside of a compact subset $K\subset X$.
I would like ...
CommunityBot
- 1
23
votes
3
answers
9k
views
Sets with positive Lebesgue measure boundary
Consider a compact subset $K$ of $R^n$ which is the closure of its interior. Does its boundary $\partial K$ have zero Lebesgue measure ?
I guess it's wrong, because the topological assumption is ...
- 18.7k
4
votes
1
answer
141
views
Hedgehog of spininess $κ$ is an absolute retract?
Let $κ$ be an infinite cardinal, $S$ a set of cardinality $κ$, and let
$I = [0, 1]$ be the closed unit interval. Define an equivalence
relation $E$ on $I × S$ by $(x,α) E (y,β)$ if either $x = 0 = y$
...
- 1,101
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
2
votes
1
answer
402
views
Can a point of a compact set be approximated by a disjoint union?
Let $K$ be compact Hausdorff, let $U\subset K$ be open and dense, and let $x\in K\backslash U$. Can we find a disjoint collection $\{U_i,~ i\in I\}$ of open subsets of $U$ and a collection $\{K_i,~ i\...
6
votes
0
answers
235
views
Different rational homotopy type with generators of different degree but cohomology algebras same
There are manifolds (rationally elliptic) $M_1$ and $M_2$ of different rational homotopy types but their rational cohomology algebras coincide. Such examples were discussed in Nishimoto, Shiga, ...
- 7,127
7
votes
0
answers
225
views
A weak analogue of smooth manifolds (reformulated)
It is widely known that $C^1$ manifolds are topological spaces locally homeomorphic to Euclidean spaces and possessing $C^1$ chart-converters. They have a tangent space at every point, regarding as ...
- 1,543
5
votes
0
answers
263
views
Are continuous self-maps of the Golomb space $\mathbb G$ dense in the space of all self-maps of $\mathbb G$?
The Golomb space $\mathbb G$ is the set $\mathbb N$ of positive integers endowed with the topology generated by the base consisting of arithmetic sequences $a+b\mathbb N_0:=\{a+bn:n\ge 0\}$ with $a,b$ ...
- 42k
2
votes
2
answers
150
views
A plane ray which limits onto itself
A ray is a continuous one-to-one image of the half-line $[0,\infty)$.
If $f:[0,\infty)\to \mathbb R ^2$ is continuous and one-to-one, then we say that the ray $X=f[0,\infty)$ limits onto itself if for ...
- 11.4k
29
votes
1
answer
1k
views
Is the Golomb countable connected space topologically rigid?
The Golomb space $\mathbb G$ is the set of positive integers endowed with the topology generated by the base consisting of the arithmetic progressions $a+b\mathbb N_0$ with relatively prime $a,b$ and $...
- 63.9k
4
votes
1
answer
101
views
Extension of an orbifold structure from punctured balls to balls
Let $\hat{D} := D \backslash \{0\}$ be a ball in $R^n$ with the origin $\{0\}$ removed. Assume that $\hat{D}$ has a structure as an orbifold (may be distinct from its standard manifold structure). Is ...
- 781
6
votes
3
answers
411
views
Problem 0.9.10 in Cohn's "Free Ideal Rings and Localization in General Rings" (CUP, 2006)
Let $S$ be a monoid. On p. xvii of P.M. Cohn's Free Ideal Rings and Localization in General Rings (CUP, 2006), one reads that
an element $u \in S$ is regular if (quote) "[...] it can be ...
- 10.5k
44
votes
7
answers
22k
views
How do you show that $S^{\infty}$ is contractible?
Here I mean the version with all but finitely many components zero.
- 355
2
votes
0
answers
73
views
Separately continuous functions of the first Baire class
Problem. Let $X,Y$ be (completely regular) topological spaces such that every separately continuous functions $f:X^2\to\mathbb R$ and $g:Y^2\to \mathbb R$ are of the first Baire class. Is every ...
- 3,317
0
votes
1
answer
159
views
Partial orders on downward closed sets [closed]
Let $P = (V, \sqsubseteq)$ be a partial order and $\mathfrak{D}(P)$ denote the class of downward-closed subsets of the partial order $P$ (i.e, the class of $A \subseteq V$ such that $y\in A \;\&\; ...
- 11.4k
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
2
votes
1
answer
107
views
Preservation of separation axioms under perfect functions
It is known that the $T_0$ and $T_2$ axioms are not preserved under open, closed and continuous maps (for instance, see here: An example of open closed continuous image of $T_0$-space that is not $T_0$...
- 236
1
vote
1
answer
135
views
Annulus theorem for pseudomanifolds
Lets say I take an arbitrary closed and smooth $d$-manifolds $\mathcal{M}$. Now, it is a well-known fact that whenever I take two (sufficiently nice embedded) closed $d$-balls $B_{1}$ and $B_{2}$ in $\...
- 5,544
24
votes
5
answers
2k
views
Lie groups vs Lie monoids
Does there exist a well developed theory of a class of objects which might rightfully be called Lie monoids? By this I mean with axioms similar to those of Lie groups, but with the axiomatic existence ...
- 2,369
2
votes
0
answers
201
views
A question about infinite product of Baire and meager spaces
Proposition 1: For any space $X$ and an infinite cardinal $\kappa$, the product $X^{\kappa}$ is either meager or a Baire space.
Does anyone have any suggestions to demonstrate Proposition 1?
I was ...
- 561
1
vote
2
answers
545
views
Subsets of the Cantor set
A copy of the Cantor set is a space homeomorphic to $2^{\omega}$.
Suppose that $X$ is a Hausdorff space that contains a copy $C^{\prime}$ of the Cantor set. Let $U$ be a nonempty subset open in $C^{\...
- 12.9k
1
vote
1
answer
149
views
Does there exist a star-Lindelöf space which is not DCCC?
A space $X$ is said to be star-Lindelöf if for every open cover $\mathcal U$ of $X$ there exists a countable subset $\mathcal V$ of $\mathcal U$ such that $\operatorname{St}(\bigcup\mathcal V,\mathcal ...
- 12.9k
3
votes
2
answers
299
views
Conflict-free coloring of $\mathbb{R}$ with the Euclidean topology
A hypergraph $H =(V, E)$ consists of a set $V$ and a set $E \subseteq {\cal P}(V)$ of subsets of $V$. A hypergraph coloring is a map $c: V\to \kappa$, where $\kappa \neq \emptyset$ is a cardinal and ...
- 13.4k
2
votes
1
answer
244
views
Two maps into $[0,1]$ are equal at some point
In the paper below, there appears the following theorem:
whose proof is left to the reader. It's not immediately obvious how I would prove this. How about the special case $X=Y=[0,1]$? It seems to be ...
- 12.9k
3
votes
1
answer
241
views
$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^1 f(\sin(1/x)) dx \times \int_0^1 g(\cos(1/x))dx? $
I have noticed experimentally that the following question has a positive answer.
Is it true that for all even and convex functions $f$, $g$:
$$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^...
- 128k
2
votes
0
answers
108
views
Left-elements of a numerical semigroup generated by two elements
A numerical semigroup $S$ is a semigroup in $\mathbb{N}$ such that $\mathbb{N}\backslash S$ is finite. It is known that there exists always a set $M$ such that an element in $S$ can be expressed as a ...
- 115
3
votes
1
answer
195
views
Positivity of real functions in two variables
Assume that $f_0,f_1,f_2$ are polynomial functions of degree two in two variables. This means that the $f_i$ are linear combinations with real coefficients of $x^2,xy,x,y^2,y,1$.
Consider the function ...
- 128k
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:
...
- 12.9k
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
25
votes
1
answer
1k
views
Is there a $4$-manifold which Immerses in $\mathbb{R}^6$ but doesn't Embed in $\mathbb{R}^7$?
I'm interested in both version of the question in the title, i.e. in the topological category and in the smooth category. By a topological immersion I mean a local embedding. I was asking in ...
- 439
3
votes
0
answers
64
views
Algebraic characterisation of the end space of a proper geodesic space in terms of non-continuous functions
$\DeclareMathOperator\Bf{B_\mathrm{f}}\DeclareMathOperator\Bc{B_\mathrm{c}}\DeclareMathOperator\Cf{C_\mathrm{f}}\DeclareMathOperator\Cd{C_\mathrm{d}}\DeclareMathOperator\Cc{C_\mathrm{c}}$Based on a ...
- 63.9k
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 ...
- 11.4k
9
votes
1
answer
743
views
Why is choice needed in Ellis' Lemma?
Ellis Lemma on idempotent elements asserts that:
Lemma (Ellis). Every compact semigroup has an idempotent.
The proof below is excerpted from Todorcevic's Introduction to Ramsey Spaces, Lemma 2.1.
...
- 16.5k
1
vote
1
answer
85
views
Vanishing of $H^*(f^{-1}[0,c], f^{-1}(0))$ for small $c$, and $f\in C^0(X, [0,+\infty))$
Let $X$ be a topological space and consider a continuous function $f:X\to [0,+\infty)$. For $c\geq 0$ set $X_c := f^{-1} ([0,c])$.
Furthermore, suppose that $X_0 \neq \emptyset$ and $f$ is proper.
...
- 1,908
19
votes
3
answers
1k
views
Is there a Cantor set $C$ in $\mathbb{R}^{2}$ so the graph of every continuous function $[0,1]\rightarrow [0,1]$ intersects $C$?
Consider the Cantor ternary set on the real line with the usual topology and define a Cantor set to be any topological space $C$ homeomorphic to the Cantor ternary set.
The idea is to construct a ...
- 12.9k