All Questions
Tagged with gn.general-topology reference-request
325 questions
3
votes
1
answer
186
views
Cardinality of connected subspaces
Is there a cardinal $\kappa>2^\omega$ and a connected space $X$ such that
(1) $|X|=\kappa$, and
(2) every connected subset of $X$ (with at least 2 points) has cardinal $\kappa$?
Let's assume ...
- 3,317
12
votes
0
answers
313
views
For a Banach space $X$, when is $X$ homeomorphic to $X \setminus A$?
$\mathbb{R}^n\not\cong\mathbb{R}^n\setminus\{0\}$ are not homeomorphic is a triviality from Algebraic Topology. On the other hand, if $X$ is an infinite dimensional Banach space, then $X \cong X\...
- 43.2k
5
votes
2
answers
448
views
Space of curves
I am reading Burago, Burago & Ivanov's book where they distinguish the notion of a curve and a path in the following way:
a path in a topological space $X$ is simply a (continuous) map from a ...
- 5,529
15
votes
0
answers
716
views
Is this "Homology" useful to study?
In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$.
Now we can ...
- 356
1
vote
1
answer
130
views
distance-set along the orbit of $e^{2\pi i\theta}$
Let $z=e^{2\pi i\theta}$ for a fixed real number $\theta$. It's known that if $\theta\not\in\mathbb{Q}$ (is irrational) then the set $S(\theta)=\{z^n: n\in\mathbb{N}\}$ is dense on the unit circle $\...
- 43.2k
7
votes
1
answer
399
views
Objects whose morphisms are Lipschitz maps
I recently wondered what are the spaces whose morphisms are Lipschitz maps (by which I mean: "locally Lipschitz").
The answer seems pretty clear, and proceeds like the definition of manifolds:
1) If $...
- 250
1
vote
0
answers
251
views
Copylefted introduction to topology
Is there a textbook in topology with a copyleft license?
$$ $$
- 45k
7
votes
1
answer
181
views
Lachlan on topology for priority arguments
There is a set of notes by Lachlan from 1973 on casting priority arguments in topological language; references to these notes are few and far between, but one source refers to them as "Topology for ...
- 21.2k
12
votes
4
answers
1k
views
Elementary proof that knot complements are path-connected
The complement of any (topological) knot is path-connected. More precisely, if $K$ is a subset of $\mathbb{R}^3$ (or $S^3$) homeomorphic to $S^1$, then $\mathbb{R}^3\setminus K$ (or $S^3\setminus K$) ...
- 35.9k
2
votes
0
answers
83
views
Sheaf of R-modules and modules over compactly supported functions
I'm looking for a reference for the following result:
Let $X$ be a locally compact Hausdorff topological space. let $\mathcal{R}$ be the sheaf of continuous functions with values in $\mathbb{R}$ over ...
- 42.4k
5
votes
1
answer
511
views
Hausdorff dimension of boundaries of open sets diffeomorphic to $\mathbb{R}^n$
Let $B$ be a bounded open subset of $\mathbb{R}^n$ which is diffeomorphic to $\mathbb{R}^n$. (I am not sure how important the diffeomorphism is but this is the case I am interested in.) Let $C$ be its ...
- 1,167
3
votes
0
answers
359
views
Cubical approximation theorem for cubical complexes
A version of the simplicial approximation theorem states that a continuous map between finite simplicial complexes is homotopic to a simplicial map after subdividing the domain.
I have found a claim ...
- 985
4
votes
1
answer
196
views
Is there a concept of uniform Hausdorff dimension?
Let $M$ be a metric space and let $U \subset M$ be open. Then the Hausdorff dimension of $U$ is defined in the usual way. If there is a single dimension number $d$ that is the Hausdorff dimension of ...
- 687
3
votes
0
answers
132
views
Duality for continuous lattices based on [0, 1]
A continuous lattice may be defined as a complete lattice in which arbitrary meets distribute over directed joins. A continuous lattice is naturally regarded as an algebraic structure where the ...
- 133
1
vote
1
answer
932
views
Every topological manifold is a ENR? (Reference)
It seems to be widely known that every topological manifold can be embedded as a neighbourhood retract in euclidean space, I can not find a reference, though.
The reason, why I'm asking this, is that ...
- 1,082
4
votes
0
answers
764
views
Counting loops in degree: 1 or 2?
Here's what seems to be an annoying technicality when dealing with loops in graphs.
In the literature on expander graphs (and surely not only), it seems to be the convention that a loop at vertex $v$ ...
- 997
1
vote
0
answers
96
views
Induced structure of topological group [closed]
If we consider a closed Jordan curve $\mathcal{C}$, I know that it's homeomorphic to the circle $S^1$. Now I take an homeomorphism $\phi:S^1\longrightarrow\mathcal{C}$ and this homeomorphism induces a ...
- 1,252
4
votes
1
answer
845
views
Reference or counter-example for Closed Graph Theorem for multivalued maps in general topological spaces
Could someone be so kind to point me in the direction of a citeable proof of the following version of the Closed Graph Theorem? (i.e. assuming this is true, could someone give me a literature ...
- 43
4
votes
0
answers
414
views
Topology on the space of Borel measures
Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...
- 541
9
votes
1
answer
777
views
Abstract result on partitions of unity?
A motivation: The classical Stone-Weierstrass theorem says that polynomials are dense among continuous functions (say, on the unit interval), while the abstract Stone-Weierstrass theorem (and also the ...
- 2,479
2
votes
0
answers
73
views
Dual equivalence for multioperators
This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...
- 1,017
5
votes
1
answer
654
views
Fréchet L-Spaces
According to the paper The emergence of open sets, closed sets, and limit points
in analysis and topology famous mathematician Maurice Fréchet who introduced the concept of metric spaces has also ...
- 1,093
17
votes
2
answers
2k
views
Foundations of topology
I recently went to a talk of Oleg Viro where he expressed his dissatisfaction with current foundations of differential topology parallel to what has been discussed here.
Also some time ago I read ...
- 1,190
7
votes
1
answer
389
views
References for higher descriptive set theory surveys
A student of Adi Jarden and mine attempts at generalizing results on selection principles from the Baire space $\omega^\omega$ to the higher Baire space $\kappa^\kappa$ ($\kappa$ uncountable), and ...
- 3,104
18
votes
2
answers
2k
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 ...
- 423
6
votes
1
answer
339
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 K(...
- 423
3
votes
1
answer
284
views
Is it possible for a random nowhere dense closed set to have a positive probability of hitting any given point?
Given a compact metrisable topological space $X$, we write $\mathcal{N}(X)$ for the set of non-empty closed nowhere dense subsets of $X$, which is a Polish space under the topology induced by the ...
- 708
8
votes
1
answer
229
views
Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups
An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...
- 10.5k
9
votes
2
answers
239
views
Hausdorff open image of a Polish space
Let $f\colon X\to Y$ a continuous open and surjective function, where $X$ is Polish.
It is known that $Y$ is Polish if: $f$ is closed or $Y$ is metric.
Suppose that we know that $Y$ is Hausdorff, ...
- 313
9
votes
2
answers
772
views
Surreal compactness
In a comment here, Joel David Hamkins said:
...I think perhaps every set-sized open cover of a bounded interval in the surreals has a finite subcover, but there are proper class open covers with no ...
- 41.1k
7
votes
0
answers
266
views
Remote points in $\beta X$
It is known that in general convergence by sequences is not enough to account for all points in $\beta X \setminus X$, where $\beta X$ refers to the Stone-Cech compactification of a topological space $...
- 79
7
votes
1
answer
395
views
Approximation of topological dynamical systems?
I'm trying to find references to approximations of topological dynamical systems in the following sense:
A topological dynamical system $(X, f)$ consists of a topological space (typically compact ...
- 141
1
vote
1
answer
444
views
Stone-Cech compactification of $\mathbb{R}^n$ and smooth functions
I am currently attending a course where we are now covering the Stone-Cech compactification. Today we proved in some detail that extensions of bounded smooth functions on $\mathbb{R}^n$ to $\beta\...
- 19
1
vote
0
answers
62
views
Reference request - Compact embedding of intermediate space
Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...
- 679
2
votes
0
answers
467
views
Reference request: The compactness and compact embedding in Besov Space?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
- 679
0
votes
0
answers
173
views
Minimum regular open set containing a given set in a T0 Alexandrov topological space
What is known about the minimum regular open set containing a given set in a T$_0$ Alexandrov topological space? I'm particularly interested in the condition for the minimum set happening to be first-...
- 1
12
votes
2
answers
1k
views
Concrete examples of covering from the 3-torus to the 3-sphere
There is a two-fold branched covering from 2-torus to the 2-sphere, $T^2 \rightarrow S^2$, whose covering transformation group is generated by the map $x \mapsto -x$ (Note that $T^2$ is an abelian ...
- 441
0
votes
1
answer
178
views
Borel subsets of Polish groups
Suppose that I have a polish group $G$ and two subsets $A$ and $B$ of $G$ such that: $A$ is open in $G$ and $B$ is closed in $G,$ from this, can I conclude that $AB$ is a Borel subset of $G$? if not, ...
- 313
6
votes
1
answer
222
views
Example of a $G$-sphere that is not a $G$-representation sphere
Let $G$ be a finite group with the discrete topology. To set terminology:
a $G$-sphere is a sphere equipped with a continuous $G$-action
a $G$-representation sphere is a $G$-sphere obtained from an ...
- 6,792
3
votes
1
answer
319
views
Fixed point property for intersection of spaces which are homeomorphic to a disk
The following question is question 9.8 from Miller's paper ``Some interesting problems
'':
Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every
$n\in \omega, D_{n+...
- 32.1k
4
votes
1
answer
120
views
Idempotent relations on the unit square with closed graphs
A colleague and I are interested in idempotent relations from $I=[0,1]$ to $I$ - relations such that $R\circ R(x)=R(x)$ for all $x\in I$. Specifically, the graphs of the relations we care about must ...
- 1,322
4
votes
1
answer
331
views
In the category of uniform spaces, is the completion of a quotient map also a quotient map?
I asked this question about 2 months ago on math.stackexchange, but so far I received neither comments nor answers.
Let $X$ and $Y$ be two Hausdorff uniform spaces. A surjective uniformly continuous ...
- 841
3
votes
4
answers
934
views
Is there a compact connected Hausdorff space in which every non-empty $G_\delta$ set has non-empty interior?
Q1.
Is there a compact connected Hausdorff space (with at least two points) in which every non-empty $G_\delta$ set has non-empty interior? (Without the requirement for connectedness, every finite $...
- 1,375
7
votes
1
answer
2k
views
Direct limit of compact topological spaces
Let $\{X_n\}_{n\in \mathbb{N}}$ be a direct system of compact topological spaces, meaning that we have morphisms $f_i\colon X_i \to X_{i+1}$ with the necessary compatibility conditions. Is there any ...
- 2,384
15
votes
5
answers
2k
views
Between Tietze's and Dugundji's extension theorems
The celebrated Tietze extension theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...
- 60.5k
2
votes
0
answers
459
views
Weak topology on subsets of a normed space
I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...
- 5,529
14
votes
4
answers
1k
views
Obtain any 3-manifold from repeating surgeries on knots in $S^3$
In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...
- 755
1
vote
0
answers
233
views
Sum-epimorphisms and prod-monomorphisms
Sum-epimorphisms
A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition:
DEFINITION 1 ...
- 7,500
2
votes
1
answer
320
views
Totally non hereditary $C^{*}$-subalgebras
Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...
- 356
4
votes
5
answers
1k
views
A generalized diagonal?
A simple question. Let $ f:X\to Y $ be a function and let $ E_f:=\{(x, y): f (x)=f (y)\}\subset X\times X $. What is the name of the set $ E(f) $? It would be nice to have some reference also. It ...
