All Questions
Tagged with gn.general-topology reference-request
325 questions
0
votes
0
answers
43
views
Equivalent conditions for $z$-embeddability
I am looking for where this specific theorem of Blair is originally located:
Theorem. Let $S\subseteq X$, the following are equivalent:
$S$ is $z$-embedded
If $A, B\subseteq S$ are disjoint zero-...
- 1,201
7
votes
1
answer
170
views
Topological rigidity of cartesian product with $\mathbb{R}$
It seems that the following is true : if $V$ and $W$ are compact differentiable manifold of the same dimension, and $\mathbb{R} \times V$ is diffeomorphic to $\mathbb{R} \times W$, then $V$ and $W$ ...
13
votes
3
answers
670
views
How algebraic can the dual of a topological category be?
(I'm going to try to use definitions from Abstract and Concrete Categories: The Joy of Cats by Adámek, Herrlich, and Strecker, since both of the adjectives in the title of my question seem to have at ...
- 12.5k
1
vote
0
answers
87
views
Convergence and sequential compactness for nonlinear operators
I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear.
What kind of notions of convergence does one have for such operators? I'm specifically ...
- 251
4
votes
0
answers
154
views
Is there a notion of "locally flat" for CW complexes?
A submanifold $X^n\subset Y^m$ is locally flat if each point $x\in X$ has a neighborhood $U\subset Y$ so that $(U,U\cap X)\simeq (\Bbb R^m, \Bbb R^n)$ with the standard embedding $\Bbb R^n\...
- 13.6k
7
votes
0
answers
349
views
An open set which is not the union of a closed set and a countable set
The following fact is probably a known result:
Fact. Let $X$ be an uncountable Polish space. Then there exists an open subset of $X$ which is not the union of a closed set and a countable set.
Proof:...
- 1,511
15
votes
1
answer
601
views
Topological spaces in which countable intersections of dense open sets have dense interior
In certain topological spaces, known as Baire spaces (e.g., completely metrizable spaces), a countable intersection of dense open sets is dense.
Now consider the following strengthening of the Baire ...
- 32.5k
3
votes
1
answer
191
views
Extensions of bounded uniformly continuous functions
Let $X$ be a uniform space, $S\subseteq X$ and $f:S\to \mathbb{R}$ bounded uniformly continuous, then there exists a uniformly continuous extension of $f$ to $X$. (Katětov, 1951)
I am looking for ...
- 1,201
1
vote
0
answers
90
views
Well-embedded type property for bounded functions
According to @Tyrone the term well-embedded set was first used in Measures on Metacompact Spaces by W. Moran.
In the article Extensions of Zero-sets and of Real-valued Functions by R. Blair and A. ...
- 1,201
3
votes
0
answers
124
views
Injective envelope of B(H)
$B(\ell^2)$ is an injective operator system by a result of Arveson. However, $B(\ell^2)$ is not an injective Banach space, since it is not linearly isomorphic to a $C(K)$ space (for instance, $C(K)$ ...
- 2,605
1
vote
0
answers
76
views
Shellable non-pseudomanifolds with dimension greater than 2
Shellability of simplicial balls and spheres (simplicial complexes whose geometric realizations are homeomorphic to balls and spheres) has been studied quite extensively. There are many explicit ...
3
votes
1
answer
103
views
Topology on set of "real lower bounds"
Specific question: Is there a name for the "topology of real lower bounds"? This is the order topology for the ordering $\supseteq$ on the set
$$
\mathbb{LB} = \bigl\{ [t, \infty) \mid t \...
- 398
4
votes
0
answers
107
views
Reference request for a theorem of Jaworowski
Jan Jaworowski, in 2000, proved the following theorem (I came to know about it from here)
Jaworowski (2000) : Let $Y$ be a finite simplicial complex of dimension $k$ and let $n\ge 2k$. If $f:S^n\to Y$...
- 141
5
votes
1
answer
245
views
Does a "good" homotopy equivalence between pairs imply homotopy equivalence between quotient spaces?
If $(X,A)$ and $(Y,B)$ are (good) pairs of topological spaces, and $f:X\rightarrow Y$ is a homotopy equivalence such that the restriction $f\restriction_A$ is a homotopy equivalence between $A$ and $B$...
- 213
6
votes
2
answers
308
views
Reference: If $X$ is metrizable, then $X$ is realcompact iff $|X|$ is non-measurable
Note: What I call a measurable cardinal seems to be non-standard among set theorists, and should be called a $\sigma$-measurable cardinal.
I know that a discrete space is realcompact iff its non-...
- 1,201
3
votes
2
answers
552
views
For every sequence of nonempty open sets there is a disjoint sequence of nonempty open sets "below" it
I am looking for any information about the following property for a compact Hausdorff space
$K$: For any sequence $\left(U_{n}\right)$ of nonempty open sets (not necessarily distinct) there is a ...
- 5,529
2
votes
0
answers
88
views
Union of two open, open-unicoherent sets whose intersection is connected
I stumbled upon the following proposition, and haven't found an error in my proof yet.
By "open-unicoherence" I mean unicoherence with closed sets replaced with open sets in the definition.
...
1
vote
0
answers
76
views
Uniform approximation over compacts using weighted function spaces
I'm interested in approximations over the so-called weighted function spaces.
Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
- 161
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
15
votes
1
answer
796
views
What is this equivalence relation on topological spaces: there are bijective continuous maps in both directions
Consider the following equivalence relation on topological spaces:
$X\sim Y$ $:\Longleftrightarrow$ there are bijective continuous maps $\phi:X\to Y$ and $\psi:Y\to X$.
Note that there are no ...
- 13.6k
3
votes
1
answer
268
views
Is the Fortissimo space on discrete $\omega_1$ radial?
Let $\omega_1$ have the discrete topology. Its Fortissimo space is $X=\omega_1\cup\{\infty\}$ where neighborhoods of $\infty$ are co-countable.
A space is radial provided for every subset $A$ and ...
- 1,322
10
votes
1
answer
571
views
Are “most” bounded derivatives not Riemann integrable?
Given $a,b\in\mathbb R$ with $a<b$. Let
$$X=\{f\in C([a,b]): f \text{ is differentiable on } [a,b] \text{ with }f' \text{ bounded }\},$$
and
$$A=\{f\in X: f' \text{ is Riemann integrable}\}. $$
It ...
- 299
10
votes
6
answers
879
views
Countable chain condition in topology
A topological space $X$ is said to have the countable chain condition (ccc) if every collection of open and disjoint subsets of $X$ is at most countable. This definition can be found in L. Steen, J. ...
- 467
10
votes
1
answer
392
views
Two dimensional perfect sets
Consider the following family of sets
$$ \begin{align*}
\mathcal{F} = \{X\subseteq [0,1]\times [0,1] \mid \ &X \text{ is closed and }\\& \forall x \in \pi_0 (X) (\{y \in [0,1] \mid (x,y) \in ...
- 2,286
4
votes
0
answers
164
views
When $X$ is homeomorphic to $\mathscr{F}[X]$?
While I was talking to some colleagues, one of them said that there exists a topological space $X$ such that $X$ is uncountable, non-discrete and homeomorphic to $\mathscr{F}[X]$ (the Pixley-Roy ...
- 151
1
vote
0
answers
84
views
Is there a standard name for the following class of functions on non-Hausdorff manifolds?
Let $M$ be a (not necessarily Hausdorff) smooth manifold. Given an open chart $U\subset M$ and a compactly-supported smooth function $f:U\to\mathbb{R}$ on $U$, define $\widetilde{f}:M\to\mathbb{R}$ by ...
- 2,178
1
vote
1
answer
80
views
Reference for k-Hausdorff (in terms of compact T2 images)
In Rezk - Compactly generated spaces a k-Hausdorff property is defined, between weakly Hausdorff and unique sequential limits.
On the other hand, a stronger notion of k-Hausdorff between $T_2$ and ...
- 1,322
2
votes
1
answer
132
views
Homeomorphisms of the projective cover of the Cantor set
Let $M$ be the projective cover (e.g, Gleason1958) of the Cantor set $\{-1,1\}^{\mathbb{N}}$. Let $\textrm{homeo}(M)$ denote the group of all homeomorphisms of $M$.
Some of the $\gamma\in\textrm{homeo}...
- 2,605
12
votes
4
answers
2k
views
Early illustrations of topological notions in published work
Cross-posted from HSM: I posted this question a bit more than a week ago but have not gotten any answers at HSM. The only comment on the posting asks if I would accept polyhedral pictures ...
- 28.2k
3
votes
2
answers
320
views
Topological characterisations of properties of posets
Finite connected partially ordered sets are in bijective correspondence to connected finite topological spaces that satisfy T_0, see for example the Wikipedia article Finite topological space. Here ...
- 26.5k
1
vote
0
answers
114
views
Refinement of an open cover for a simply connected compact subset
Let $U$ denote a simply connected, open subset of the plane, and let $K$ be a simply connected, compact subset of $U$. Can we always find a finite or countable sequence of open disks $(D_n)$ such that:...
- 341
2
votes
0
answers
185
views
Properties of universal fibration
I am trying to read the following paper [1] (Becker, James C.; Gottlieb, Daniel Henry
Coverings of fibrations.
Compositio Math.26(1973)) where the authors mentioned that for any fiber $F$,
there ...
- 179
29
votes
2
answers
2k
views
Contractibility of the space of Jordan curves
Is the space of Jordan curves in $\textbf{R}^2$ contractible? In other words, is there a canonical or continuous way to deform each Jordan curve to the unit circle $\textbf{S}^1$.
If the curves are ...
- 7,149
2
votes
1
answer
165
views
Hereditarily locally connected spaces
A topological space is locally connected if every point has a neighborhood basis of connected open subsets.
A property of topological spaces is termed hereditary, subspace-hereditary, if every subset ...
- 774
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
6
votes
1
answer
500
views
A characterization of metric spaces, isometric to subspaces of Euclidean spaces
I am looking for the reference to the following (surely known) characterization of metric spaces that embed into $\mathbb R^n$:
Theorem. Let $n$ be positive integer number. A metric space $X$ is ...
- 41.8k
4
votes
0
answers
182
views
Symmetric line spaces are homeomorphic to Euclidean spaces
For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$.
Definition: A metric space $(X,d)$...
- 41.8k
7
votes
1
answer
331
views
A metric characterization of Hilbert spaces
In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
- 41.8k
2
votes
0
answers
95
views
References (and a question) on the "fine" topology of powersets
Recently I've been trying to understand powerset topologies better, and came upon the following reference:
Frank Wattenberg, Topologies on the set of closed subsets. Pacific J. Math. 68(2): 537-551 (...
- 11.8k
2
votes
0
answers
67
views
When did derivative algebras first appear?
In the paper "The Algebra of Topology" (Annals of Mathematics, 45, 1944), McKinsey and Tarski proposed derivative algebras (p183) to define the derive set in topology as follows.
Suppose $K$ ...
- 663
3
votes
0
answers
101
views
Constructively valid reference for the soberness of discrete spaces and points of a locale coproduct
I am looking for constructively valid references for the following two related facts:
discrete topological spaces are sober,
the points of a locale coproduct are the disjoint union of the points of ...
- 32.5k
1
vote
1
answer
731
views
Notations for open and closed sets
I am wondering why a standard notation for open sets is $G$ and that for closed sets is $F$. I mean, $F$ precedes $G$ in the alphabet, whereas open sets are usually introduced before closed ones.
- 128k
1
vote
1
answer
249
views
When are fixed point sets in $T_1$ spaces always closed?
Let $X$ be a topological space, and say that $X$ satisfies the closed fixed point set property if every continuous self-map $f:X\to X$ has fixed point set $\operatorname{Fix}(f)=\{x\in X\mid f(x)=x\}$ ...
- 2,821
16
votes
1
answer
481
views
Where can I learn more about the topology on $\mathbb{R}$ induced by the map $\mathbb{R} \to \prod_{a>0} (\mathbb{R}/a\mathbb{Z})$?
Consider the (continuous, injective, abelian group homomorphism) map $\Phi \colon \mathbb{R} \to \prod_{a>0} (\mathbb{R}/a\mathbb{Z})$ (where the target is given the product topology) taking $x\in \...
- 32.5k
3
votes
0
answers
109
views
"Practical" references on mapping spaces as infinite-dimensional manifolds
I am studying spaces of the form $C^{k}(\mathcal{M},\mathcal{N})$ between manifolds ($k=\infty$ allowed) and I am looking for extensive references, especially analysing their topology and smooth ...
- 1,171
6
votes
0
answers
253
views
Every Polish space is the image of the Baire space by a continuous and closed map, reference
The following result was originally proven by Engelking in his 1969 paper On closed images of the space of irrationals (AMS, JSTOR, MR239571, Zbl 0177.25501)
Every Polish space (i.e. every separable ...
- 2,286
2
votes
1
answer
198
views
A stronger version of paracompactness
Given a topological space $(X,\tau)$, recall that a cover $\mathcal{U}$ of $X$ is locally finite if for every point $x\in \mathcal{U}$ has a neighborhood $U$ that intersects finitely many elements of $...
- 775
6
votes
0
answers
309
views
Have we discovered constructions for natural fractional dimensional spheres?
I have been thinking about a couple different problems in fractal geometry (including I one deleted because it was ill posed) and realize they all depend in a fundamental way on the problem of: Can we ...
- 2,689
2
votes
1
answer
335
views
A characterization of continuity in terms of preservation of connected sets. Where to find the result?
There is a result that if $X$ is a locally connected space and $Y$ is a locally compact Hausdorff space, then a function $f \colon X \to Y$ is continuous if and only if $f$ has a closed graph and for ...
6
votes
0
answers
131
views
A theorem by R.L. Moore
The following result is due to R.L. Moore.
Let $K\subseteq\mathbb C$ be compact. Suppose that
$K$ is connected,
and that $\mathbb C\setminus K$ is connected.
Then $\partial K$ is connected.
Does ...
- 687