# Tagged Questions

**3**

votes

**0**answers

128 views

### Compact set covered by two opens

The following lemma about locally compact (but not necessarily Hausdorff) spaces or continuous lattices appears frequently but without citation. It is easy to prove but important in proofs.
If a ...

**1**

vote

**1**answer

62 views

### Unitization via “End points compactification”

We know that every compactification of locally compact Hausdorff spaces correspond to a unitization of $C^{*}$ algebras. For example the one point compactification corresponds to the minimal ...

**0**

votes

**0**answers

89 views

### topological space of Wang Tile

When trying to reprove a theorem in Wang tile:
An established proof in Wang Tile which I doubt
, a few notions are provided which I would like to seek for more information:
For a given set of blocks ...

**1**

vote

**1**answer

145 views

### Modern reference request concerning Efimov's “On dyadic spaces”

Is there any modern reference (book, textbook, monograph, etc.) that contains the following result of B. Efimov (On dyadic spaces // Dokl. Akad. Nauk SSSR 151 (1963) (Russian). English translation: ...

**1**

vote

**0**answers

78 views

### First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric

This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions.
We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...

**2**

votes

**2**answers

169 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 ...

**1**

vote

**0**answers

58 views

### the validity of a basic statement involving the Hausdorff distance

Let $\Omega_1 \supset \Omega_2 \supset \cdots$ be a sequence of nonempty, open, bounded and convex sets in $R^n.$
Define $\Omega = \operatorname{int} \Bigl( \overline{\bigcap_{k=1}^{\infty} \Omega_k ...

**13**

votes

**2**answers

789 views

### Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman:
A connected open subset $D$ of the plane $\mathbb C$
is simply connected
if and only if its complement $\widetilde D = \mathbb C \setminus D$
...

**2**

votes

**0**answers

142 views

### Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets

I was involved into this subject when I answered
this
question from MSE. Trying to generalize my answer, I am thinking about a following
Question. Let $X$ and $Y$ be metric spaces. When each ...

**2**

votes

**1**answer

101 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 ...

**3**

votes

**1**answer

152 views

### Extending the hyperbolic splitting on $\Lambda$ to a neighborhood of $\Lambda$

Let $M$ be a compact Riemannian manifold and let $f:M→M$ a diffeomorphism. Let $\Lambda\subset M$ be a compact invariant subset of $M$. We say that $\Lambda $ is a hyperbolic set for $f$ when there ...

**5**

votes

**1**answer

190 views

### What's the link between topological spaces as locales and topological spaces as infinity-groupoids?

I've seen texts that talk about topological spaces being essentially locales, like Topology via Logic by Vickers, and texts related to homotopy theory that talk about topological spaces being ...

**5**

votes

**2**answers

153 views

### A few standard results (on metrizability and relative separation strength) without Choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things. (I originally posted this on M.SE, but I think it is probably a better fit here.)
I know that Choice ...

**2**

votes

**2**answers

158 views

### Finite non-Hausdorff models of CW-complexes

Years ago, my advisor showed me a construction where you take a CW complex and quotient each open cell to a single point. He said that under certain conditions (I believe always satisfied by the ...

**10**

votes

**0**answers

331 views

### Characterization of Fréchet-Urysohn spaces using sequential continuity at a point

A map $f \colon X \to Y$ is called sequentially continuous at the point $a$ if for every sequence $(x_n)$ such that $x_n\to a$, we also have $f(x_n)\to f(a)$.
$$x_n\to a \qquad \Rightarrow \qquad ...

**14**

votes

**0**answers

343 views

### Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...

**4**

votes

**1**answer

349 views

### “monotone” homotopy?

This is a question about a concept that I call "monotone homotopy" which arises in a natural way in some topological situations.
Let $X$ be a (bounded) metric space, $Y$ be a topological space and ...

**2**

votes

**1**answer

280 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 ...

**7**

votes

**1**answer

368 views

### Is there a compact space with no countably generated dense subspace?

This is a reformulation of this MO question which recieved little or no attention due to the fact that the OP gave no motivation whatsoever. I found the question quite interesting and decided to give ...

**3**

votes

**1**answer

154 views

### When is a $*$-homomorphism between multiplier algebras strictly continuous?

(This question was posted on MSE here but didn't get any answers.)
The strict topology on the multiplier algebra M(A) of a C*-algebra A is that generated by the seminorms
$$ x\mapsto \|ax\|\quad ...

**6**

votes

**1**answer

705 views

### reference for “X compact <=> C_b(X) separable” (X metric space)

I know (and am able to prove via Stone-Čech compactification) that the following is correct:
Theorem: A metric space is compact if and only if its space of bounded, continuous, real-valued ...

**3**

votes

**1**answer

113 views

### perfect space without convergent long sequences

Is there a boolean space $X$ without isolated points with the property that no point $x\in X$ is the limit of a long sequence $(x_i)_{i\in I}$ from $X\setminus \lbrace x\rbrace $ ('long sequence' here ...

**13**

votes

**3**answers

288 views

### How should one look at the set of compatible ring structures on a given group?

Earlier today I had a conversation with a friend about ways of putting topologies on sets of first-order structures; we wound up talking about reducts and expansions from a topological point of view, ...

**2**

votes

**0**answers

245 views

### Descriptive set theory on $\mathbb{R}^\mathbb{N}$

The short version of my question is, What is a good source for learning about descriptive set theory on the space $\mathbb{R}^\mathbb{N}$, under the product topology coming from the discrete topology ...

**4**

votes

**2**answers

273 views

### Is the generalized Baire space complete?

I want to see whether the fact that the Baire space $\omega^\omega$ is a complete (metrizable) space generalizes to $\kappa^\kappa$ being a complete (topological) space. I think this is an easy ...

**6**

votes

**2**answers

250 views

### A continuous notion of realizability

I have been interested in non-classical logics, off and on, for quite a while. This question is probably very basic, and I hope it is not too low-level for MO. My question stems from an attempt to ...

**10**

votes

**2**answers

372 views

### C*-algebras with no nontrivial endomorphisms

Pick a C*-algebra $A$ and call a (*-)endomorphism $\alpha:A\to A$ nontrivial if it is injective and $\alpha(A)\neq A$.
Question: Do there exist infinite dimensional C*-algebras with no nontrivial ...

**3**

votes

**1**answer

254 views

### product spaces of rationals

Let $Q$ follow subspace topology from $R$
Then I think it is true that $Q^n$ and $Q^m$ (with product topology) are not homeomorphic.I also think it will be possible to define "rational" homotopy ...

**1**

vote

**1**answer

132 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 ...

**3**

votes

**1**answer

338 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 ...

**2**

votes

**2**answers

347 views

### countably complete filters

Is there any description of the set of countably complete filters on the lattice of dense $G_{\delta}$ subsets of a compact, second countable metric space? [I haven't just dreamt this up: it describes ...

**5**

votes

**3**answers

1k views

### Where can I find a proof of the de Rham-Weil theorem?

Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?

**3**

votes

**1**answer

328 views

### When is a Topological pushout also a Smooth pushout?

I feel like this problem has not been solved, but I'm interested in knowing any results on it. More specifically, I mean:
Let $B\stackrel{f}{\leftarrow} A \stackrel{g}{\rightarrow} C$ be a diagram ...

**2**

votes

**0**answers

273 views

### Constructing the Stone Space of a Distributive Lattice

Does anyone have a good reference for the method of giving a topology to a distributive lattice as outlined in M.H. Stone's "Topological representation of distributive lattices and Brouwerian logics"? ...

**9**

votes

**0**answers

507 views

### Name for a topological space where every closed set contains a closed point

A coauthor and I have stumbled upon a useful topological property -- namely, we are interested in the property that every nonempty closed set contains a closed point. However, neither of us are ...

**7**

votes

**4**answers

868 views

### Largest Hausdorff quotient

The inclusion of the full subcategory of Hausdorff topological spaces into the category of topological spaces has a left adjoint, which can be proven easily by the Adjoint Functor Theorem (see for ...

**0**

votes

**1**answer

338 views

### Sheaf of sections and local triviality

This is probably not a research level question, I'm sorry if it is inappropriate. I'm reasking here this question on math.se.
Suppose that $\xi: E \to B$ is a bundle (by which I mean simply a ...

**19**

votes

**3**answers

1k views

### An ultrafilter is a set of subsets containing exactly one element of each finite partition: reference request

There are probably dozens of ways of defining "ultrafilter". The definition I've seen most often involves first defining "filter", then declaring an ultrafilter to be a maximal filter.
But there's ...

**6**

votes

**1**answer

347 views

### Is it possible to define a closure operator in terms of partial ordering?

For boolean algebra, let's take Roman Sikorski's Boolean Algebras as our reference. After giving a set of axioms, he proves (p.9) that the join of A and B is the least element of the algebra such that ...

**5**

votes

**1**answer

708 views

### Ring of continuous functions, reference request.

I am looking for a reference for the following facts in functional analysis and topology. (If these "facts" are not true, I suppose I'm looking for the closest approximation which is true.)
Let $X$ ...

**7**

votes

**1**answer

351 views

### A question concerning separate and joint continuity of bilinear maps

Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and
$f \restriction C^2$ ...

**3**

votes

**0**answers

223 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 ...

**12**

votes

**1**answer

667 views

### Idempotent measures on the free binary system?

Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...

**11**

votes

**1**answer

966 views

### complement of a totally disconnected closed set in the plane

While preparing a course in complex analysis, I stumbled over a remark in Dudziak's book on removable sets, namely that any totally disconnected $K \subset\subset {\mathbb C}$ must have a connected ...

**9**

votes

**2**answers

944 views

### Is there a “disjoint union” sigma algebra?

I'm looking for a measure-theoretic analogue to the disjoint union topology, or for work on the $\sigma$-algebra generated by canonical injections. More formally:
For an indexed family of sets ...

**20**

votes

**3**answers

2k views

### Why are the integers with the cofinite topology not path-connected?

An apparently elementary question that bugs me for quite some time:
(1) Why are the integers with the cofinite topology not path-connected?
Recall that the open sets in the cofinite topology on ...

**33**

votes

**5**answers

4k views

### Is the boundary $\partial S$ analogous to a derivative?

Without prethought, I mentioned in class once that the reason the symbol $\partial$
is used to represent the boundary operator in topology is
that its behavior is akin to a derivative.
But after ...

**9**

votes

**2**answers

1k views

### Is the space of continuous functions from a compact metric space into a Polish space Polish?

Let $K$ be a compact metric space, and $(E,d_E)$ a complete separable metric space.
Define $C:=C(K,E)$ to be the continuous functions from $K$ to $E$ equipped with
the metric $d(f,g)=\sup_{k\in K}\ ...

**11**

votes

**1**answer

441 views

### Homotopy theory for spanning trees of a graph

I am studying a paper of L. Lovász, ``A homology theory for spanning trees of a graph,'' but professor Babai has told me that Lovász later realized that this work is better framed in the language of ...

**3**

votes

**2**answers

604 views

### Every real-valued continuous function on a closed set of compact Hausdorff space has an extension.

I've noted, that the following fact can be proven in a few lines using $C^*$-algebra theory. I wonder if it has a simple elementary proof or not. Probably you can give me a reference.
Suppose $X$ ...