Questions tagged [gn.general-topology]

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

Filter by
Sorted by
Tagged with
1
vote
0answers
20 views

Does there exist a regular $P$-space which is strongly star-Lindelof but not star-Menger?

A space $X$ is said to be star-Menger if for every sequence $(\mathcal{U}_n)$ of open covers of $X$ there exists a sequence $(\mathcal{V}_n)$ such that for each $n$ $\mathcal{V}_n$ is a finite subset ...
0
votes
0answers
61 views

Chains and disjoint families of sets

The following construction appears in a paper (from a top statistics journal) that has confounded me: Given a family of compact, disjoint sets $\mathcal{K}=\{K_1,\ldots,K_r\}$, the author considers a ...
10
votes
0answers
156 views

What is known about differentiable and analytic structures on the long line (and half-line)?

When reading about this question which recently became active for some reason, I wanted to make a comment, as a warning regarding non-metrizable manifolds, to the effect that the every $C^\infty$ ...
0
votes
0answers
62 views

Covering map preserved under homotopy equivalence

Given a $m-$sheeted covering map from $p:M^n\to N^n$, where $M,N$ are manifolds of dimension $n$. Suppose $M$ and $N$ are homotopy equivalent to finite CW complexes $X$ and $Y$ of same dimension $k$. ...
-1
votes
0answers
54 views

Two sheeted covering with torus as total space [closed]

Let $X \to Y$ be a $2-$sheeted connected covering, where $X$ is $S^1 \times S^1$. What are the choices of $Y$? I know at least $S^1\times S^1$ and Klein Bottle are two choices. Are there any other ...
1
vote
0answers
48 views

Euler characteristic of pseudomanifolds with boundary

It is a well-known fact that for every compact oriented odd-dimensional manifold $\mathcal{M}$ with boundary it holds that $$\chi(\mathcal{M})=\frac{1}{2}\chi(\partial\mathcal{M}).$$ In particular, if ...
1
vote
0answers
58 views

Conditions guaranteeing density of Hölder functions in $C(X,Y)$

Let $X$ and $Y$ be Polish metric spaces with $X$ compact. Let $C^{\alpha}(X,Y)$ denote the set of $\alpha$-Hölder functions from $X$ to $Y$ (for $\alpha \in (0,1]$) and let $C(X,Y)$ denote the set of ...
9
votes
1answer
266 views

The closure of the set of injective continuous functions

Setup/Notation: Let $n,m\in \mathbb{N}$ and let $C(\mathbb{R}^n,\mathbb{R}^m)$ be the space of continuous functions from $\mathbb{R}^n$ to $\mathbb{R}^m$ equipped with the compact-open topology. Let $...
2
votes
0answers
68 views

Is the singular value decomposition a measurable function?

$\DeclareMathOperator\svd{svd}$Consider the SVD of rectangular matrices as operators $$\svd:\mathbb C^{n\times m}\to \mathbb U_n\times \mathbb D_{n, m}\times\mathbb U_m$$ where $\mathbb U_n$ is the ...
3
votes
1answer
126 views

Can the Boolean group $C_2^\omega$ be covered by less than $\mathfrak b$ nowhere dense subgroups?

Let $\mathrm{cov}_H(C_2^\omega)$ be the smallest cardinality of a cover of the Boolean group $C_2^\omega=(\mathbb Z/2\mathbb Z)^\omega$ by closed subgroups of infinite index. It can be shown that $$\...
1
vote
1answer
203 views

Group structure on the strip

Let $X$ is a strip between two different parallel lines $a$ and $b$ on a plane ($a,b\subset X$) and $h(x)=\min\limits_{l\in \{a,b\}}\{d(x,l)\}$. Let $(X,*)$ be a topological group with the following ...
1
vote
0answers
135 views

How to check a fiber bundle is trivial

Given a smooth fiber bundle $X \to S^1,$ such that the fiber, $F$, is homotopic to $S^2 \vee S^2.$ Is it true that this is always a trivial fiber bundle? In general, how to check a fiber bundle is ...
7
votes
0answers
137 views

When does $C(X)$, $X$ a continuum, admit a continuous choice function?

Given a continuum $X$ (compact metrizable connected $X$) let $K(X)$ denote the hyperspace of nonempty compact subspaces of $X$ with the Vietoris topology and let $C(X)$ denote the (closed) subspace of ...
5
votes
1answer
155 views

Does every open set contain a dense $F_{\sigma}$ subset?

Let $U$ be a regular open set in a Tychonoff space $X$ (regular means that it is an interior of a closed set). [ In my specific situation $U$ is of the form $\operatorname{int} f^{-1}(0)$, where $f$ ...
8
votes
1answer
451 views

VC dimension of standard topology on the reals

Can there be an uncountable set $S\subseteq\mathbb R$ such that for each subset $D\subseteq S$, there is an open set $U$ with $D=S\cap U$? I'm asking merely out of curiosity, but I'll mention that ...
6
votes
1answer
195 views

A strong Borel selection theorem for equivalence relations

In Kechris' book "Classical Descriptive Set Theory" there is the following theorem (12.16): Let $X$ be a Polish space and $E$ an equivalence relation such that every equivalence class is ...
0
votes
1answer
102 views

On ultraweak continuity [closed]

Let $A$ be a C*-algebra, $f$ be a representation of $A$, $F$ be the universal representation of $A$, and $g=f \circ F^{-1}$. For an ultraweakly continuous linear functional $w$ on $f(A)$, $w\circ g$ ...
0
votes
2answers
201 views

A question about locally compact spaces

Recently I read a book about linear algebraic group written by Ian Macdonald. There is a conclusion which I can't prove. It says that if $X$ is locally compact Hausdorff space, then $X$ is compact if ...
14
votes
3answers
830 views

Why it is convenient to be cartesian closed for a category of spaces?

In 1967 Steenrod wrote what later became a quite celebrated paper, A convenient category of topological spaces (Michigan Math. J. 14 (1967) 133–152). The paper conveys the work of many (among the most ...
3
votes
1answer
143 views

Can Tychonoffs theorem for a countable number of spaces be proven with ZF plus the axiom of (countable) dependent choice?

It can be proven without any form of infinite choice that the product of two compact spaces (and thus any finite product) is compact, while on the other hand, it is well known that the general form of ...
4
votes
0answers
80 views

Are open subsets of a $\sigma$-compact LCH space $\mathcal{K}$-analytic?

I'm reading Guedj and Zeriahi's Degenerate Complex Monge-Ampère Equations Chapter 4 which talks about capacities. Specifically Corollary 4.13 claims that when $X$ is a locally compact Hausdorff $\...
4
votes
0answers
193 views

Is there a notion of „flatness” in point-set topology?

In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
3
votes
0answers
129 views

How can one construct this dendrite?

In the early 1970s Pelczynski noticed that the only surjective isometries on $C(K)$ for the following compact Hausdorff space $K$ are $\pm Id$. I believe this was the first such example. Quoting from ...
1
vote
1answer
52 views

Does there exist a strongly star-Lindelöf space which is not DCCC?

A space $X$ is said to be strongly star-Lindelöf if for every open cover $\mathcal U$ of $X$ there exists a countable subset $A$ of $X$ such that $St(A,\mathcal U)=X$. A space $X$ has discrete ...
1
vote
1answer
140 views

Understanding Kelley's intersection number (Boolean algebras)

It is known that: Theorem (Kelley, 1959). There exists a finite, strictly positive, finitely additive measure on a Boolean algebra $A$ if and only if $A^+$ is the union of a countable number of ...
7
votes
0answers
191 views

Is the derivative the unique operation on points in the plane that preserves convexity?

Let $C(n)$ be the space of multisets of size $n$ of points in the Euclidean plane, topologised appropriately, and consider a surjective continuous map: $$D:C(n)\rightarrow C(n-1)$$ Such that the ...
2
votes
0answers
101 views

Inclusion inducing isomorphism at all level except one

Let $V$ is a projective hypersurface of dimension $3$ and $D$ be divisor at infinity of $V$ (assume $D$ has isolated singularities). It is known that the third homology of both $V$ and $D$ are hard to ...
0
votes
0answers
69 views

Pareto-optimal front $F$ in $m$-dimensional space can not have more than $\mathbf{H}_{m-2}(F)$ homology groups

I need to prove that a Pareto-optimal front $F$ in $m$-dimensional space (i.e. $m > 1$) can not have more than $\mathbf{H}_{m-2}(F)$ homology groups. What it simply means that in a 2-dimensional ...
0
votes
1answer
127 views

About uniform continuity

Is there a definition Df(g) of uniform continuity of g, without using the notion of metric? Let $(E,d_E)$ and $(F, d_F)$ metrics spaces, $f$ continuous fonction of $E$ to $F$ We must have : Df$(f)$ ...
0
votes
1answer
116 views

Continuity of Kakutani fixed points

Let $X$ be a compact and convex space and let $T=[0,1]$ be some parameter space. Let $F:X\times T\rightrightarrows X$ be a correspondence that is compact-valued, convex, and upper-hemicontinous. By ...
31
votes
2answers
975 views

Can $[0,1]^4$ be partitioned into copies of $(0,1)^3$?

Is there a partition of $[0,1]^4$ such that every member of the partition is homeomorphic to $(0,1)^3$? More generally, I would like to know for which values of $m$ and $n$ there is a partition of $[0,...
11
votes
1answer
384 views

Are the “topologies” arising from constructive type theories with quotients actually condensed sets?

This is the second in a pair of questions. For the other see Are representations in computable analysis the equivalent to countably-generated condensed sets?. Dustin Clausen and Peter Scholze have a ...
6
votes
1answer
329 views

Are representations in computable analysis the equivalent to countably-generated condensed sets?

This is the first in a pair of questions. For the other see here. Dustin Clausen and Peter Scholze have a theory of condensed sets, which is a slightly different take on topology. For most cases, ...
5
votes
1answer
125 views

Compactness of symmetric power of a compact space

Suppose I have a compact metric space $(X,d)$ and let $\mathcal{X}=X^K$ be the product space. Consider the equivalence relation $\sim$ on $\mathcal{X}$ given as: for $\alpha,\beta\in \mathcal{X}$, $\...
3
votes
1answer
87 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....
4
votes
1answer
177 views

Reference request: large generalized probability measures

I'm interested in references relevant to the following: what is the right generalization, if there is one, of a probability measure that takes on values in an structure of more than continuum size? I'...
2
votes
1answer
130 views

Uniquely selecting points from open pairwise disjoint refinements of an open cover

Let $\mathcal U$ be an open cover of some space $X$. Let $\{\mathcal V_\alpha:\alpha<\kappa\}$ enumerate all of its pairwise-disjoint open refinements. When is it possible to define sets $Z_\alpha$ ...
2
votes
0answers
55 views

Existence of a proper Morse function

I started with a finite CW complex $X$ of dimension $n\geq 3$. I have embedded (local embedding) it inside $R^{2n}$. Now take a regular neighbourhood $U$ of $X$ in $R^{2n}$ which has the same homotopy ...
3
votes
1answer
84 views

Existence of a quasi-open (a.k.a semi-open) map into a Cantor cube

Recall that a topological space is extremally disconnected if the closure of any open set is open. A continuous map is quasi-open if it maps nonempty open sets onto sets with nonempty interior. For ...
1
vote
1answer
84 views

Necessary and sufficient conditions for the Lie group embedding $G \supset J$ can be lifted to $G$'s covering space [closed]

Suppose the Lie group $G$ contains the Lie group $J$ as a subgroup, so $$ G \supset J. $$ If $G$ has a nontrivial first homotopy group $\pi_1(G) \neq 0$. If $G$ has a universal cover $\widetilde{G}$, ...
31
votes
0answers
883 views

Sequences with 0's in $\mathbb R ^\omega$

Let $\mathbb R ^\omega$ be the set of all sequences of real numbers in the product topology. Let $X$ be the set of all sequences in $\mathbb R ^\omega$ which have at least one 0. Let $Y$ be the set of ...
0
votes
1answer
69 views

Existence of a Hölder homeomorphism satisfying prescribed norm constraints

Let $\Omega$ be a convex body$^{\boldsymbol{1}}$ in $\mathbb{R}^n$ where $n$ is a positive integer. Fix a positive integer $k$ and some $0<\alpha\leq 1$. Let $k_1> k_2>0$. Does there ...
3
votes
1answer
209 views

A $*$-homomorphism $C(X) \to C(Y)$ gives a continuous map $Y \to X$

Given a $C^*$-algebra $A$, we write $\Omega(A)$ for its space of characters, i.e. its non-zero algebra homomorphisms $A \to \mathbb{C}$. If $X$ is a compact Hausdorff space, it is well-known that $$X \...
1
vote
3answers
583 views

How can I construct a closed manifold from a finite CW complex?

If I start with a, say, 3-CW complex $X$ which can be embedded in $\mathbb{R}^5$, I can get a neighbourhood $U$ of $X$ which has the same homotopy type of $X$. Then $U$ is a $5-$ dimensional open ...
17
votes
1answer
977 views

A topological version of the Lowenheim-Skolem number

This is a continuation of an MSE question which received a partial answer (see below). Given a topological space $\mathcal{X}$, let $C(\mathcal{X})$ be the ring of real-valued continuous functions on $...
6
votes
1answer
328 views

Does the functor $\mathrm{Sh}\colon\mathbf{Top}\to\mathbf{Topos}$ have an adjoint?

Consider the category $\mathbf{Top}$ of topological spaces, the category $\mathbf{Topos}$ of toposes and geometric morphisms, and the category $\mathbf{Loc}$ of locales. Let $$\mathrm{Sh}\colon\mathbf{...
0
votes
0answers
84 views

Complex manifold structure on a real manifold of real dimension 2n

A real manifold of dimension $2n $ sometimes can be given a complex structure. If I start with a $3-$dimensinal CW complex $X$ which can be embedded in $\mathbb{R}^6$ and get a neighbourhood of $X,$ ...
6
votes
2answers
172 views

Intersection of all open subgroups vs. the intersection of all open normal subgroups

I am interested to know examples of topological groups $G$ for which the intersection $\bigcap\{H\leq G\mid H\text{ open}\}$ of all open subgroups of $G$ is the trivial subgroup but for which the ...
7
votes
3answers
658 views

Finite CW complex with finite non-abelian fundamental group and higher homologies zero

I want to build a finite CW complex such that $\pi_1$ is non-abelian and $H_i$ are zero for $i\geq 2.$ From Hatcher for a given group G, one can create an example of a 2-complex $X_G$ with $\pi_1(X_G)=...
1
vote
1answer
77 views

Subsets of $\mathbb{R}$, every nonempty subset of which generates a disconnected translation-invariant topology

Let $\mathbb{R}$ be the set of real numbers. Given a subset $S$ of $\mathbb{R}$, let $\mathcal{T}_S$ be the translation-invariant topology generated by $S$. That is, $\mathcal{T}_S$ is the topology ...

1
2 3 4 5
75