All Questions
Tagged with gn.general-topology reference-request
325 questions
3
votes
1
answer
162
views
A closed subset of a Dedekind-complete order has subspace topology equal to order topology
Here's a fairly easy fact from point-set topology that I'm having trouble finding a reference for. Say $X$ is a total order satisfying the least-upper bound property, and $S$ is a closed subset of it....
- 2,585
3
votes
1
answer
438
views
What is Bouziani space and what are its applications in mathematics?
I have accrossed a new topological space seems were derived from Hilbert Space and it used to solve some boundary value problem for PDE and ODE , Inspired by this paper (page 4, Definition 3.1) , The ...
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
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
3
votes
1
answer
321
views
Removing intersections of curves in surfaces
Let $C_1, \dots, C_n$ be a family of disjoint simple curves in a surface $\Sigma$. If $C$ is any simple curve in $\Sigma$, it turns out that we can map $C$ to a curve $C'$ (via a homeomorphism of $\...
- 32.1k
3
votes
1
answer
587
views
Functoriality of base change
Let $a:W\rightarrow X$, $c:X\rightarrow Z$, $b:W\rightarrow Y$ and $d:Y\rightarrow Z$ be a pull-back diagram in the category of topological spaces. Then one can construct a natural isomorphism $\kappa$...
- 1,457
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
3
votes
1
answer
143
views
A reference for a (folklore?) characterization of K-analytic spaces
I am writing a paper on K-analytic spaces and need the following known characterization.
Theorem. For a regular topological space $X$ the following conditions are equivalent:
(1) $X$ is a continuous ...
- 41.9k
3
votes
1
answer
95
views
sequences of iterated orthogonals (lifting property) in a category
I am looking for examples of properties of morphisms defined by taking orthogonals with respect to the Quillen lifting property.
For example, several iterated orthogonals of $ \emptyset\...
- 99
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
3
votes
1
answer
502
views
Determining continuous functions on Banach spaces
Let $X$ be a real Banach space.
For a continuous (not necessarily linear) function $g:X \to \mathbb{R}$ and a family $\mathcal{F} \subseteq X^*$, we´ll say that $\mathcal{F}$ determines $g$ if ...
- 11.5k
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
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
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
3
votes
0
answers
88
views
Is the thickening of a PL 2-disc in $\Bbb R^4$ a 4-ball?
Let $D\subset\Bbb R^4$ be a PL-embedded 2-dimensional disc. Let $N=D+K$ be a thickening of the disc, where $K$ is some sufficiently small 4-dimensional PL-ball and "$+$" means Minkowski ...
- 13.6k
3
votes
0
answers
80
views
Every Borel linearly independent set has Borel linear hull (reference?)
I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone.
Theorem. The linear hull of any linearly independent Borel set in a Polish ...
- 41.9k
3
votes
0
answers
78
views
Classification of limit points
Let $X$ be a subset of a topolgical space with no open points. Then
$$\overline{X}=X_1\sqcup X_2\sqcup X_3\sqcup X_4\sqcup X_5$$
where $X_1$ are isolated points of $X$,
$X_2$ are interior points, $X_3=...
- 6,891
3
votes
0
answers
232
views
Characterization of Freudenthal (end) compactification
I had seen somewhere in the literature that the Freudenthal compactification of a locally compact, connected, locally connected, $\sigma$-compact, Hausdorff topological space $X$, is the maximal ideal ...
- 313
3
votes
0
answers
74
views
Equivalence relation induced by Kolmogorov quotients
Recall: given a (possibly non-$T_0$) topological space $X$, its Kolmogorov quotient $KX$ is the $T_0$ topological space formed by $X/\sim$ where $x\sim y$ if they are topologically indistinguishable. ...
- 39k
3
votes
0
answers
75
views
Are $T_0$ topological quasigroups completely regular?
In 1957 H. Salzmann generalized to quasigroups but weakened the standard result that $T_0$ topological groups are completely regular. He was able to show that $T_0$ topological quasigroups are regular ...
- 475
3
votes
0
answers
102
views
Find a certain triangulation subordinate to a given covering of a manifold
Let $\{U_\alpha\}$ be a covering of a smooth manifold $M$. Replacing it by a refined covering if necessary, we may assume some good properties of it, like, (1) any intersection $\cap_{i=1}^k U_{\...
- 2,789
3
votes
0
answers
56
views
Name for a special kind of neighborhood assignment or for the existence thereof
Lets say temporarily that a topological space $(X,\tau)$ is weird if there is a function $\varphi:X \to \tau$ such that for all $x \in X$:
$x\in\varphi(x)$,
$\{y\in X: x \in \varphi(y)\}$ is finite.
...
- 11.5k
3
votes
0
answers
78
views
Nowhere dense covering number of a connected $T_2$ space
This is a generalization of an older question.
If $(X,\tau)$ is a connected $T_2$ space with more than 1 point, we define its nowhere dense covering number $\nu(X)$ by the smallest cardinality that a ...
- 48.9k
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
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
3
votes
0
answers
251
views
What is the origin of the metrization problem for compact convex sets?
The following is an ``old question in analysis:''
Is it true that every perfectly normal compact convex subset of a locally convex topological vector space is metrizable?
Here perfectly normal means ...
- 3,547
2
votes
1
answer
348
views
Topological spaces containing paths
Let $C(\mathbb{R}^n;\mathbb{R}^d)$ be the space of continuous functions with the uniform-convergence on compacts topology. What are function spaces $X$ building on $C(\mathbb{R}^n;\mathbb{R}^d)$?
$X$...
- 5,405
2
votes
2
answers
349
views
Fibration of principal bundles
Let $G$ be a topological group, let $f:X\rightarrow Z$ be a $G$-equivariant map of (left) $G$-spaces such that
$X\rightarrow X/G$ and $Z\rightarrow Z/G$ are principal $G$-bundles.
$f$ is a ...
- 223
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
2
votes
2
answers
589
views
What to call a continuous function with preimage preserving nowhere-density?
Currently I am reading some basic literature on descriptive set theory and boolean algebras. And this comes out a lot, for example in results like:
Let $X$ and $Y$ be topological spaces, and $f:X \to ...
2
votes
1
answer
217
views
A variation of closed-subgroup theorem
$\DeclareMathOperator\SO{SO}$Recall that the closed-subgroup theorem (Wikipedia link) says that a closed subgroup of a Lie group is a Lie group.
I am pretty sure that this theorem should have a "...
- 14.3k
2
votes
2
answers
316
views
Properties of the topology of sequential convergence $\tau_\text{seq}$
Let $(X,\tau)$ be a Hausdorff space. Denote by $\tau_\text{seq}$ the topology on $X$ whose closed sets are the sequentially $\tau$-closed subsets of $X$. I have read that $\tau_\text{seq}$ has the ...
- 1,245
2
votes
1
answer
891
views
Riesz representation theorem for vector-valued fields
Let $Q$ be a locally compact Hausdorff space, and let $V$ be a topological vector space. Consider the space $X = C_0(Q, V)$ of $V$-valued fields which vanish at infinity. Let $X^*$ denote the dual ...
- 8,512
2
votes
1
answer
202
views
Complement of complex submanifolds of codimension $\ge1$ is connected
Let $X,Y$ be complex manifolds of $\dim X=n$, $\dim Y=m>1$, $U\subset X$ open and $g\colon U\to Y$ holomorphic embedding. Then $g(U)$ is a submanifold of codimension $m-n\ge1$. It seems clear that $...
- 779
2
votes
1
answer
186
views
Set of null-sequences is not $\sigma$-compact
I am interested in a reference for the following fact (or a similar result).
PROPOSITION. Let $X$ denote the set of real null sequences; i.e., the set of $(a_n)_{n=0}^{\infty}$ with $a_n\to 0$, with ...
- 6,548
2
votes
2
answers
185
views
Piecewise-metrizability problems from Willard's Topology
Maybe someone familiar with Willard's textbook can help me out. Problem section 23G on pg. 174 is titled piecewise metrizability. The first problem is:
If a Tychonoff space $X$ is the union of ...
- 553
2
votes
1
answer
182
views
How (and when) to factor a function defined on a product of metric spaces?
Suppose we have a set of regular functions defined on a product of metric spaces, for instance the Banach space of the smooth functions from $\mathbb R^n$ to $\mathbb C$. We know, thanks to the Taylor ...
- 164
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
2
votes
1
answer
336
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 ...
2
votes
2
answers
519
views
How to use that the Hessian is negative definite in this proof
Let $X$ be a Riemannian compact manifold on which acts a compact Lie group $H^+$. Let $f^+ : X \rightarrow \mathbb{R} $ be a smooth function on $X$. Consider a Lie subgroup $U$ of $H^+$ and suppose ...
- 139
2
votes
1
answer
134
views
For which continua $X$ does $X^\mathbb{N}$ have the fixed-point property?
A topological space $X$ has the fixed-point property if any continuous map $f : X \to X$ has a fixed point (i.e., an $x$ such that $f(x) = x$). It's well known that certain topological spaces, such as ...
- 12.5k
2
votes
1
answer
148
views
Borel $\sigma$-algebras on paths of bounded variation
Let $(C, \|\cdot\|)$ be the Banach space of continuous paths $x: [0,1]\rightarrow\mathbb{R}^d$ starting at zero with sup-norm $\|\cdot\|$.
Let further $B\subset C$ be the subspace of $0$-started ...
- 463
2
votes
3
answers
561
views
Looking for a reference: $f$-divergences are lower semicontinuous
I know that the weak lower semi-continuity of the KL divergence was proved in [1]. If I remember well, the same property is true for any $f$ divergence (with suitable assumptions on the probability ...
- 345
2
votes
1
answer
940
views
Metrizability of topology of compact convergence
Let $X$ be a separable metric space and $Y$ be a second-countable $\sigma$-compact Hausdorff space. Then the compact-convergence (compact-open) topology on $C(Y,X)$ is metrizable with metric
$$
d(f,g)...
- 5,405
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
2
votes
2
answers
241
views
If $(\mathbb M, \tau)$ is a topological monoid, is $\tau$ always induced by a [left] subinvariant semimetric?
Let me start by recalling some basic definitions (just for the sake of avoiding misunderstandings due to the vocabulary of the post).
Basically following some ideas of W. Lawvere (but not his ...
- 10.5k
2
votes
1
answer
287
views
Projective limit and connected components
Let $E$ be a topological space. Let $\mathcal{K}$ be the set of the compact subsets of $E$.
$(E-K)_{K \in \mathcal{K}}$ is a projective system, because if $K,K'$ are two compacts, there are two ...
- 663
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
1
answer
140
views
Is a Boolean algebra with an order continuous topology a measure algebra?
Assume that $B$ is a complete boolean algebra endowed with a Hausdorff topology, with respect to which all operations on $B$ are continuous, $0$ has a base of full sets (recall that $A\subset B$ is ...
- 5,529
2
votes
1
answer
142
views
Explicit construction of a convex metric
Let $(X,d)$ be a compact, connected, locally connected, locally compact metric space.
A result of Bing and Moise (independently) states that $(X,d)$ admits a topology preserving convex metric i.e., ...
- 998