Questions tagged [gn.general-topology]
Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.
1,155 questions with no upvoted or accepted answers
6
votes
0
answers
163
views
Free sequences and the cardinality of a topological space
One way of formulating Arhangel'skii's celebrated theorem about the cardinality of Lindelof first-countable spaces is the following (due to Arhangel'skii and Shapirovskii). For every Hausdorff space $...
- 4,413
6
votes
0
answers
124
views
Meagre sets of bounded operators
Let $H$ be a separable, infinite-dimensional Hilbert space and let $\mathbb{B}(H)$ be the algebra of bounded operators on $H$. The norm topolology on $\mathbb{B}(H)$ is stricly finer, hence the ...
- 9,853
6
votes
0
answers
230
views
Gelfand ring in Bourbaki's exercises
In Bourbaki's General Topology, Chapitre III §6 Exercise 11, they define a Gelfand Ring as a topological ring $A$ such that
The set $A^*$ ($=A^{-1}$) of invertibles is open.
The uniform structure ...
- 3,738
6
votes
0
answers
196
views
Logarithm on formal power series continuous?
Denote $V:=\mathbb{R}^d$ and consider the Cartesian product $V^\infty:=\prod_{k=0}^\infty V^{\otimes k}$ together with its canonical projections $\pi_k : V^\infty\rightarrow V^{\otimes k}, (v_0, v_1, \...
- 463
6
votes
0
answers
107
views
Existence of stable spaces
An element $X$ of a class of topological spaces is called the stable space for that class if for every space $Y$ in the class we have that $X\times Y$ is homeomorphic to $X$. Note that a stable space ...
- 3,317
6
votes
0
answers
202
views
Intereresting classes of topological spaces locally modelled on some fixed spaces
A substantial part of mathematics studies manifolds which are defined as second countable Hausdorff locally Euclidean topological spaces. That always seemed kind of random to me since what is so ...
user158636
6
votes
0
answers
116
views
Frechet-Urysohn quotient of second countable locally compact Hausdorff space
In this paper from 2010 https://cmuc.karlin.mff.cuni.cz/pdf/cmuc1001/arhangav.pdf Arhangelskii asks if there is a quotient of a second countable locally compact Hausdorff space which is Frechet-...
- 573
6
votes
0
answers
169
views
Whitney stratification for proper morphisms
Let $f: X \to \Delta$ be a flat, projective morphism, smooth over the punctured disc $\Delta^*:=\Delta \backslash \{0\}$ and central fiber $f^{-1}(0)$ is a reduced, simple normal crossings divisor. ...
- 1,593
6
votes
0
answers
168
views
On the cellularity of the $G_\delta$-topology
Given a topological space $X$, let $X_\delta$ be the topology on $X$ generated by the $G_\delta$ subsets of $X$. Let $c(X)$ be the cellularity of $X$, that is, the supremum of cardinalities of ...
- 4,413
6
votes
0
answers
170
views
J. F. Adams Proof of Cellular Approximation Theorem
In Ronald Brown's discussion of the proof of The Cellular Approximation Theorem in Topology and Groupoids Sec. 7.6 he writes that, "the elegant formulation of the proof is due to J. F. Adams." Does ...
- 161
6
votes
0
answers
203
views
Spaces where the Banach-Mazur game is undetermined
Let $X$ be a non-empty topological space. The Banach-Mazur game on $X$, $\textsf{BM}(X)$, is played as follows: Players I
and II play an inning per positive integer. In the $n$-th inning Player I ...
- 561
6
votes
0
answers
132
views
Generalization of pseudogroups
Pseudogroups are defined here: https://ncatlab.org/nlab/show/pseudogroup
One of the problems with defining manifolds in terms of pseudogroups is that it gives no notion of a morphism between manifolds,...
- 181
6
votes
0
answers
408
views
The k-ification of the compact-open topology for weak Hausdorff compactly generated spaces
Let CGWH be the category of weak Hausdorff compactly generated spaces; see e.g.
N.P. Strickland. THE CATEGORY OF CGWH SPACES: Preprint available from
https://neil-strickland.staff.shef.ac.uk/courses/...
6
votes
0
answers
144
views
When does a function space with compact-open topology have countable chain condition?
As in title，when a function space with compact-open topology has countable chain condition？ Are there some sufficient and necessary conditions？ Who give some references about this topic？
McCoy and ...
- 123
6
votes
0
answers
155
views
Is there a Lindelof $P$-space which is not discretely generated?
A space $X$ is:
Lindelof if every open cover for $X$ has a countable subcover.
A $P$-space if every $G_\delta$ subset of $X$ is open.
Discretely generated if for every non-closed set $A \subset X$ ...
- 4,413
6
votes
0
answers
151
views
Countably compact non-compact perfect spaces
Recall that a space is countably compact if every infinite set has an accumulation point. A space is perfect if every closed set is a countable intersection of open sets. One of the classical ...
- 4,413
6
votes
0
answers
376
views
Topological Singularities in Affine Varieties
Let $X$ be an affine variety over $\mathbb{C}$. Let $x\in X$.
If $x$ is non-singular, then $x$ is locally holomorphic (in the Euclidean topology). See here for a relevant MO post.
By results of ...
- 8,529
6
votes
0
answers
563
views
Grothendieck letter to Jun-Ichi Yamashita on tame topology
I am looking for Grothendieck writings on tame topology:
a manuscript on tame topology mentioned by Scharlau; a letter to Jun-Ichi Yamashita; a letter to Z.Mebkhout.
I am also interested in ...
- 99
6
votes
0
answers
152
views
Spatiality of products of locally compact locales
In Johnstone´s Sketches of an Elephant Volume 2, page 716,
lemma 4.1.8 states that for spatial locales $X$ and $Y$ with $X$ locally compact then the locale product $X\times Y$ is spatial.
Is this ...
- 159
6
votes
0
answers
117
views
Closedness of the partial order in complete Hausdorff semitopological semilattices
First some definitions.
A semilattice is a commutative semigroup consisting of idempotents (i.e., elements such that $xx=x$). A typical example of a semilattice is the unit interval endowed with the ...
- 41.8k
6
votes
0
answers
476
views
Local isometry of complete length spaces that is not a covering map
Let $\pi:\widetilde{M}\to M$ be a surjective local isometry between complete length spaces (local isometry means that every point $x\in \widetilde{M}$ has a neighborhood which is isometrically mapped ...
- 2,934
6
votes
0
answers
180
views
The Fubini property of the $\sigma$-ideal generated by closed subsets of measure zero
Question. Can a Borel subset $B\subset\mathbb R\times \mathbb R$ be covered by countably many closed sets of measure zero in the plane if for every $(a,b)\in\mathbb R\times\mathbb R$ the horisontal ...
- 41.8k
6
votes
0
answers
188
views
Quotients of 4-sphere by smooth $Z_p$ actions with knotted fixed point sets
This question is closely related to another I asked today.
Giffen showed in 1966 that the generalized Smith conjecture is false by constructing for odd $p$ a smooth $Z_p$ action on $S^4$ with fixed-...
- 2,851
6
votes
0
answers
400
views
Topologically transitive, pointwise minimal systems
I'm cross-posting this from SE.
Let $T$ be a group, and let $(X,T)$ be a flow, i.e. $X$ is a compact Hausdorff space and $T$ acts on $X$ by homeomorphisms. A flow $X$ is called topologically ...
- 369
6
votes
0
answers
218
views
Are there any known ``topological" invariants for branched coverings?
My question is the following: let $f:\Omega\to \mathbb{R}^n$ be a branched covering, namely $f$ is continuous, discrete (each fiber is a discrete subset of $\Omega$) and open (open sets get mapped ...
- 1,881
6
votes
0
answers
105
views
Large discrete subspaces in spaces of separately continuous functions
For topological spaces $X,Y,Z$ let $SC_p(X\times Y,Z)$ be the space of separately continuous functions $f:X\times Y\to Z$ endowed with the topology of pointwise convergence.
It is easy to see that ...
- 41.8k
6
votes
0
answers
243
views
A compactification of the non-negative rationals with the discrete topology
Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...
- 25.8k
6
votes
0
answers
754
views
Homeomorphisms of product spaces: an example
In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to $...
- 683
6
votes
0
answers
371
views
Tensor product of dual groups
Let $G,H$ be compact abelian groups, $G^*,H^*$ be their Pontryagin duals, $G^*\otimes H^*$ the tensor product of $G^*,H^*$ and $K=(G^*\otimes H^*)^*$. Does the group $K$ have a special name? What is ...
6
votes
0
answers
189
views
Pettis Integrability and Laws of Large Numbers
Let $(\Omega, \mathcal F, \mathbb P)$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_n : \Omega \to V$ be a sequence of Pettis ...
- 8,512
6
votes
0
answers
223
views
Series in topological rings that only converge if almost all summands are zero
While trying to understand a certain topological ring better, I stumbled onto the following question.
Suppose $I$ is a fixed infinite index set, $R$ is a topological ring and $(x_i)_{i\in I}$ is a ...
- 9,650
6
votes
0
answers
108
views
How to call a point in a space having the property that there is essentially one $\omega$-sequence converging to it?
Consider the point $x=\langle \omega_1,\omega\rangle$ in the Tychonov plank $(\omega_1 + 1)\times(\omega + 1)$. Then there is essentially only one sequence (of length $\omega$) converging to it, ...
- 1,855
6
votes
0
answers
322
views
Terminology for notion dual to "support"
If $X$ is a set (feel free to think of it as finite, but it doesn't have to be) and $f$ a real function on $X$, call the support $\operatorname{supp} f$ the subset of $X$ consisting of all elements $i\...
- 21.5k
6
votes
0
answers
410
views
Fundamental group of non-Hausdorff surfaces & actions of discrete Heisenberg group
Let $G$ be a discrete group, acting on a space $X$ (by homeomorphisms). I will say that the action is properly discontinuous if for any $x, y \in X$, there are neighborhoods $U_x$ and $U_y$ such that ...
- 616
6
votes
0
answers
969
views
What relates to measure spaces as topological spaces relate to metric spaces ?
Has there been study of a generalization of measure spaces along the following or similar lines ?
Given a measure space $(X, \Sigma, \mu)$, define for $U\in\Sigma$ a $\mu$-ball of radius $r$ of $U$ ...
- 529
6
votes
0
answers
715
views
What is the structure of a space of $\sigma$-algebras?
Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...
- 8,512
6
votes
0
answers
561
views
Continuous images of Cantor cubes
The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
- 11.5k
6
votes
0
answers
366
views
Whitney approximation without second countable
One version of Whitney's approximation theorem states the following:
Let $N$ be a smooth, Hausdorff, second-countable (or paracompact) manifold, then given any continuous function $F:N\to \mathbb{R}...
- 39k
6
votes
0
answers
285
views
How to use the Lefschetz trace formula on infinite dimensional spaces?
I think the Lefschetz trace formula says something like:
if $F: X \to X$ is a continuous map of compact manifolds, then
$\chi(X^F) = \sum (-1)^i \mathrm{Tr} f_*|_{H_i(X)}$
First of all, this ...
- 8,723
6
votes
0
answers
360
views
The Space of Cellular Maps
Let $X$ and $Y$ be CW complexes.
Inside of the space of maps $\mathrm{map}(X,Y)$, we have the subspace $\mathrm{CW}(X,Y)$, consisting of just the cellular maps from $X$ to $Y$. The Cellular ...
- 12.5k
6
votes
0
answers
509
views
The Mapping Cylinder of a Pullback Square
Suppose I have a pullback square, which I think of as a map from the fibration
$q:X\to A$ to the fibration $p:Y\to B$. Then there is an induced map $m: M \to N$
from the mapping cylinder $M$ of $X\...
- 12.5k
6
votes
0
answers
2k
views
Weak lower semi-continuity
Which conditions assure the weak lower semicontinuity of, say, an integral functional of the type
$F(u):=\int_\Omega f(u(x),Du(x))dx$ on $W^{1,2}(\Omega,\mathbb{R}^N)$ for a bounded, if you will even ...
5
votes
0
answers
185
views
Stone–Weierstrass theorem for topological fields
It was showed in "The Stone–Weierstrass Theorem for valuable fields" that the Stone–Weierstrass theorem holds for any topological field whose topology comes from an absolute value or a Krull ...
- 51
5
votes
0
answers
96
views
$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?
Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
- 605
5
votes
0
answers
94
views
When a compact subset of a TVS can be continuously projected on a closed linear subspace?
Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.
(Q):
When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\...
- 60.5k
5
votes
0
answers
249
views
Aspherical space whose fundamental group is subgroup of the Euclidean isometry group
Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
- 661
5
votes
0
answers
131
views
Is the opposite of the category of $\kappa$-Lindelöf Hausdorff spaces locally presentable?
Gelfand duality tells us that the category of compact Hausdorff spaces (with continuous maps as morphisms) is contravariantly equivalent to the category of commutative, unital $C^\ast$-algebras (with $...
- 63.9k
5
votes
0
answers
269
views
$T_1$ paratopological group having a dense commutative subgroup is commutative
I'm learning about topological groups from Arhangelskii and Tkachenko "Topological groups and related structures" and this is one of the exercises there.
A paratopological group is a group ...
- 1,201
5
votes
0
answers
177
views
Do closed subsets of the generalised Cantor space have an analogue of the perfect set property?
For a regular uncountable cardinal $\kappa$, consider $2^\kappa$ with the "less than box topology" (tree topology? Easton/Bounded support topology?) in which basic open sets are of the form $...
- 2,206
5
votes
0
answers
141
views
Under what assumption on a proper map does the preimage of sufficiently small neighborhood is homotopy equivalent to the fiber?
Let $\pi\colon X\rightarrow Y$ be a proper map of topological spaces. Let's assume that both $X$ and $Y$ are paracompact, Hausdorff and locally weakly contractible. Then is it enough to conclude that ...
- 790