Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [gn.general-topology]

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

-2
votes
1answer
77 views

Continuity of the Restriction Map Between Function Spaces

Let $X,Y,Z$ be Hausdorff spaces and suppose that $Z\subset X$. Endow $C(X,Y)$ and $C(Z,Y)$ with the compact-open topologies and define the map $\rho$ as \begin{align} \rho:&C(X,Y)\rightarrow C(Z,...
4
votes
0answers
53 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 ...
0
votes
1answer
48 views

Dimension of a topological space equals the supreme of the dimension of its open cover

For a topological space $X$ which is covered by a family of open subsets $\{U_i\}$, then show that $\dim(X)=\sup (\dim(U_i))$. I understand that $\dim(X)\geq \sup(\dim(U_i))$, so it only suffices to ...
0
votes
0answers
79 views

Quotient space homeomorphic if the complements are homeomorphic? [on hold]

Let $A_{0}$ be a closed subspace of $A$ and $B_{0}$ a closed subspace of $B$ such that there exists a $i:A\rightarrow B$ a continuous injective map (or even a continuous embedding) such that the ...
4
votes
0answers
106 views

What does the Grothendieck topos tell us about the homotopy type of a space?

Let $M_1$, $M_2$ be two closed connected topological manifolds. We can consider the small sites of open coverings of them, and the categories of sheaves on these sites. what can we say about $M_1$ ...
0
votes
0answers
28 views

Problem on Topological Spaces [on hold]

I have to solve this problem, in particular the point of the union of an arbitrary family of elements that belongs to the topology. This is the Text: "Let {p} be an arbitrary singleton set such that ...
2
votes
0answers
45 views

Connectedness of sequence spaces (countable products) in different metrics

My question concerns a quite elementary problem in set-theoretic topology: Assume that $(X,d)$ is a compact metric space. Consider the infinite product $X^{\mathbb{Z}}$ of all (two-sided) sequences in ...
4
votes
1answer
106 views

Comparison of several topologies for probability measures

Let $X$ be a compact metric space and denote $\mathcal M(X)$ the set of probability measures on $X$. For $\mu\in\mathcal M(X)$ we write $\operatorname{supp} \mu$ for the support of $\mu$. As is well ...
3
votes
1answer
176 views

Is there a universally meager air space?

Let $\mathcal P$ be a family of nonempty subsets of a topological space $X$. A subset $D\subset X$ is called $\mathcal P$-dense if for any $P\in\mathcal P$ the intersection $P\cap D$ is not empty. A ...
1
vote
0answers
55 views

Making a quasi-compact open into an affine open

Let $X$ be a spectral topological space, $U\subset X$ be a quasi-compact open subspace. Is there necessarily some scheme structure on $X$ (we do not require it to be affine) such that $U$ endowed with ...
-1
votes
0answers
59 views

On product of Borel sigma algebras [closed]

First of all I'm not a native English speaker so please bear with me. I have to prove that $B(\mathbb{R}^l)\otimes\ B(\mathbb{R}^d)=B(\mathbb{R}^{l+d})$ is true for $l,d \in \mathbb{N}$ So I know ...
8
votes
1answer
250 views

A Besicovitch-type Covering Theorem

In the book The Geometry of Domains in Spaces by Krantz and Parks, the authors proved the weak $(1,1)$-type estimate of the maximal function $M_\mu f$, where $\mu$ is a Radon measure, using their ...
14
votes
1answer
366 views

Quotient of Three Dimensional Torus by Permutation on Coordinates

The Mobius Strip can be realized as a quotient of $T = (S^1)^2$ via the identifications $(x,y) \sim (y,x)$. I tried to generalized this concept to a higher dimension, and consider the quotient of $(...
1
vote
1answer
37 views

Hausdorff quotient collapsing and separating a prescribed collection of disjoint closed subsets

Let $X$ be a compact Hausdorff space (I don't mind assuming it's metrizable). Let $A_i$ $i\in \mathbb{N}$ be a collection of disjoint closed subsets of $X$. My question: Does there exist a Hausdorff ...
2
votes
0answers
88 views

The underlying space of open dense subscheme

Let $X$ be an affine scheme such that there exists a field $k$ and a morphism of finite type $X\rightarrow \mathrm{Spec}\,k$. Let $U\subset X$ be an open dense subscheme. Is the underlying space of $U$...
3
votes
2answers
264 views

The underlying space of an affine open dense subscheme

Let $X$ be a Noetherian scheme, $U\subset X$ be an affine open dense subscheme. Is the underlying space of $U$ necessarily homeomorphic to the underlying space of $X$?
5
votes
0answers
139 views

Is unitary group paracompact?

In this paper Martin Schottenloher notices that the unitary group $U(H)$ of a separable Hilbert space $H$ is metrizable in the strong operator topology. As a corollary (see R.Engelking, 5.1.3), it is ...
0
votes
0answers
32 views

Every second-countable, uncountable Hausdorff space contains a non-empty countable subspace with no isolated points [migrated]

Could you give me a hint on how to solve the following problem? Every second-countable, uncountable Hausdorff space contains a non-empty countable subspace with no isolated points.
1
vote
2answers
78 views

Reference request: lower sets of a preorder form a lattice

Consider a set $S$ with a preorder $\preceq$ (a preorder is a reflexive and transitive relation). A lower set $A$ of $S$ is defined as a subset of $S$ such that for all $x \in S$ and $y \in A$, if $...
8
votes
1answer
177 views

Which points in the Samuel compactification of a metric space $X$ are limits of uniformly discrete subsets of $X$?

Given a metric space $(X.d)$ the Samuel compactification of $X$, written $sX$, is the unique compactification with the property that if $Y$ is an arbitrary compact Hausdorff space and $f:X\rightarrow ...
5
votes
0answers
90 views

Is there a homogeneous compactum where non-empty $G_\delta$s have non-empty interior?

A space $X$ is called an almost $P$-space if $Int(G) \neq \emptyset$ for every non-empty $G_\delta$ subset $G \subset X$. Every $P$-space (that is, a space where $G_\delta$s are open) is an almost $P$...
1
vote
0answers
61 views

Closed and discrete sets

Let $\kappa$ in an uncountable regular cardinal and $X$ be a space and $e(x)=\kappa$, where the ``extent'' $e(X)$ of $X$ is the supremum of the cardinalities of closed discrete subsets of $X$. My ...
2
votes
1answer
97 views

Quasi-compactification of locally spectral spaces

Let $X$ be a locally spectral topological space (i.e. a space admitting an open cover by spectral spaces). Does there necessarily exist a quasi-compact locally spectral space $Y$ and an injective ...
1
vote
1answer
98 views

Countable union of Menger spaces

A topological space $X$ has Menger's property $\textsf{S}_{\mbox{fin}}(\mathcal{O}, \mathcal{O})$ if, for each sequence of open covers, $\mathcal{U}_1, \mathcal{U}_2, \cdots $, we can select finite ...
1
vote
2answers
238 views

Again, proving that specific preorder on the set of measurable functions is symmetric

This question is followup to the previous similar question. There I was trying to find good sufficient condition for abstract preorder to be symmetric, but now, as I have found good formalization of ...
3
votes
0answers
58 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
votes
0answers
52 views

Is there an $L$-space whose square is selectively $d$-separable?

An $L$-space is a hereditarily Lindelof regular space which is not separable. A space is $d$-separable if it contains a dense set which is the countable union of discrete sets. An $L$-space can't ...
4
votes
0answers
69 views

source of argument about relative primeness of simple closed curves on tori

I have know this argument for decades. I have no idea of its source. If anyone knows (not guesses) its origin, then I would be very appreciative. My guesses are among Ralph Fox, JHC Whitehead, RH ...
-1
votes
0answers
122 views

Topological spaces with (possibly non-uniquely) unique scheme structure

This question consists of 5 related sub-questions. Does there exist a non-empty scheme $X$ such that any reduced scheme whose underlying space is homeomorphic to that of $X$ (possibly via a ...
0
votes
0answers
107 views

A scheme whose underlying space is the product of the underlying spaces of schemes

We know that the product of two spectral topological spaces is spectral. If $X$ is the underlying space of the scheme $\mathrm{Spec}\,\mathbb{Z}[x]$, what is a simple example of an affine scheme ...
7
votes
2answers
604 views

Which definition of “proper” is better?

It is well known that topology and algebraic geometry assign different meanings to the word "proper". Let us recall the relevant definitions from topology (and we work in the context of topological ...
7
votes
1answer
246 views

The (fiber of the) cofiber of the fiber of a map of spaces

Consider a fiber sequence of spaces $$F \overset{i}{\to} E \to B$$ The cofiber $C(i)$ of the inclusion of the fiber comes with a canonical map $C(i) \to B$. Its possible to show (using some point ...
6
votes
1answer
157 views

What's the minimal weight of a maximal space?

A non-empty topological space without isolated points is called maximal if every finer topology on that space has at least an isolated point. The existence of a (Hausdorff) maximal space is a simple ...
1
vote
0answers
222 views

Grothendieck topology on a scheme equivalent to the circle

Suppose a class of morphisms of schemes is reasonable enough so that we can associate a small site to any scheme (just like small étale site). Is there a simple class of morphisms such that there is a ...
2
votes
0answers
97 views

Homeomorphic extension to totally disconnected sets

Dear Mathoverflow Community, I am looking for a reference for the following topological fact: Fact Let $E$ and $F$ be two totally disconnected compact subsets of the plane (can assume perfect if ...
4
votes
0answers
81 views

Is there a linearly Lindelof space which is not weakly Lindelof?

Recall that a space is: "Lindelof", if every open cover has a countable subcover. "Linearly Lindelof", if every open cover which is linearly ordered by $\subseteq$ has a countable subcover. "weakly ...
4
votes
0answers
92 views

Borel selections of usco maps on metrizable compacta

The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
6
votes
2answers
168 views

A non-Borel union of unit half-open squares

On the complex plane $\mathbb C$ consider the half-open square $$\square=\{z\in\mathbb C:0\le\Re(z)<1,\;0\le\Im(z)<1\}.$$ Observe that for every $z\in \mathbb C$ and $p\in\{0,1,2,3\}$ the set $...
5
votes
0answers
156 views

What is the smallest number of hyperplanes covering $\ell_2$?

For a Banach space $X\ne \{0\}$, let $\mathrm{cov}_H(X)$ be the smallest number of hyperplanes covering $X$. By a hyperplane in a Banach space I understand any closed affine subspace of codimension ...
1
vote
0answers
40 views

Decomposition with given closures [closed]

Let $(X,\mathcal T)$ be a topological space. About the subsets $A,B,C$ of $X$ it is known that $$\mathrm {cl} (C)= A \cup B\,, \quad \mathrm {cl} (A) = A\,, \quad \mathrm {cl} (B) = B\,.$$ Does it ...
12
votes
0answers
239 views

On projectively countable sets in the Hilbert cube

A subset $A$ of a topological space $X$ is called projectively countable if for any continuous map $f:X\to\mathbb R$ the image $f(A)$ is countable. It is easy to see that each projectively countable ...
6
votes
1answer
245 views

A slightly canonical way to associate a scheme to a Noetherian spectral space

Let $C$ be the category whose objects are Noetherian spectral topological spaces and whose morphisms are homeomorphisms. Let $\mathrm{AffSch}$ be the category of Noetherian affine schemes (morphisms ...
3
votes
1answer
79 views

Topological properties of Noetherian affine schemes that do not hold for general Noetherian spectral spaces

I used to think that the only reason why an affine scheme with a Noetherian space can fail to be Noetherian is nilpotents. It turns out that this is not true. This leads me to the following question:...
7
votes
0answers
107 views

Point-free topology, but with $\sigma$-algebras instead of spaces

I have a question about $\sigma$-algebras in relation to point-free topology. The question was inspired by a comment on a similar question I had: If abstract $\sigma$-algebras (i.e. certain boolean ...
9
votes
0answers
222 views

Fractal plane continuum with order $\aleph_0$?

Continuum means compact and connected. Define the order of a point $x$ in a continuum $X$ to be the least cardinal $\alpha$ such that $X$ has a neighborhood base of open sets at $x$ with no more ...
6
votes
0answers
116 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 ...
1
vote
1answer
46 views

How to determine the family of bounded functions from an infinite Fort space to $[0,1]$?

Definition: Let $X$ be a topological space and $b\in X$. We call $X$ a Fort space (with particular point $b$), when $X$ has topology $\{A\subseteq X: b \not\in A \; \text{or} \; X\setminus A\; \text{...
1
vote
0answers
53 views

Quantification over Nets

On a topological space $X$, a net is defined as a map $A \ni \alpha \longmapsto x_{\alpha} \in X$ from a directed set $A$. With this, compactness of $X$ (for instance) is equivalent to "every net $(...
7
votes
2answers
260 views

Do continuous maps factor through continuous surjections via Borel maps?

Let $f \colon X \twoheadrightarrow Y$ be a continuous surjection between compact Hausdorff spaces, and $g \colon \mathbb{R} \to Y$ a continuous function. Can you always find a Borel-measurable ...
0
votes
0answers
56 views

Version of Knaster-Tarski that gives unique fixed point

Can someone give a reference (if it exists) to a version of Knaster-Tarski that gives a unique fixed point?