Skip to main content

All Questions

18 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
11 votes
0 answers
273 views

A ZFC-example of a countably compact paratopological group which is not a topological group

Problem. Does there exist a ZFC-example of a countably compact Hausdorff paratopological group which is not a topological group? (The problem posed 27 May 2015 by Alexander Ravsky on page 9 of Volume ...
Lviv Scottish Book's user avatar
6 votes
0 answers
246 views

Making the analogy of finiteness and compactness precise

If one asks about the intution behind compact topological spaces, most often one will hear the mantra “Compactness of a topological space is a generalisation of the finiteness of a set.” For example,...
Jannik Pitt's user avatar
  • 1,474
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\...
Pietro Majer's user avatar
  • 60.5k
5 votes
0 answers
158 views

Does "achieving more GH-distances than some compact space" imply compactness?

Previously asked and bountied at MSE: For complete metric spaces $X,Y$, write $X\trianglelefteq Y$ iff for every complete metric space $Z$ such that the Gromov-Hausdorff distance between $X$ and $Z$ ...
Noah Schweber's user avatar
4 votes
0 answers
247 views

Is this property of continuous maps equivalent to some more familiar condition?

Let $f : X \rightarrow Y$ be a continuous map. Suppose that, for each collection of open sets $\{ V_i \}_{i \in I}\subset X $, $$ \bigcup_{U \subset Y \text{ open}, \ f^{-1}(U) \subset \bigcup_{i \in ...
user avatar
3 votes
0 answers
201 views

Which compact topological spaces are homeomorphic to their ultrapower?

It is well known that for any compact metric space $(X, d)$, and any ultrafilter $\mu$ there is a map $i_\mu:\prod_\mu (X, d) \to (X_d)$ in the category of metric spaces and Lipschitz maps where $i_\...
Nate Ackerman's user avatar
2 votes
0 answers
2k views

On weak compactness of the unit ball in a reflexive Banach space

It is a well known result in functional analysis that a Banach space $X$ is reflexive if and only if the unit ball is weakly compact (compact in the weak topology). This result is also known as ...
Arian's user avatar
  • 364
2 votes
0 answers
96 views

On compactness in $C(X)$

Let $X$ be a Tychonoff space. It is well known, that for a family of scalar functions equicontinuity + pointwise boundedness imply relative compactness in $C(X)$ (with compact-open topology). It is ...
erz's user avatar
  • 5,529
1 vote
0 answers
36 views

When must a space generated by compacts also be generated by Hausdorff compacts?

Cross-posted from Math.SE: https://math.stackexchange.com/questions/4948421/. I'm interested in comparing $k_1$-spaces, spaces whose topologies are witnessed by their compact subspaces, and $k_3$-...
Steven Clontz's user avatar
1 vote
0 answers
75 views

Trying to achieve "some sort of hemicompactness" in a Tychonoff space

Let $X$ be a Tychonoff space, i.e. Hausdorff and completely regular. Additionally, consider a map $\psi: X \to (0,\infty)$ such that $K_R := \psi^{-1}((0,R])$ is compact in $X$, for every $R>0$. ...
Gaspar's user avatar
  • 161
1 vote
0 answers
127 views

Extremally disconnected sets as building blocks for compact Hausdorff spaces

Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
Peter Kropholler's user avatar
1 vote
0 answers
76 views

Uniform approximation over compacts using weighted function spaces

I'm interested in approximations over the so-called weighted function spaces. Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
Gaspar's user avatar
  • 161
1 vote
0 answers
539 views

Is the set of compact operators closed with the strong topology?

It is well-known that the space of compact operators over Banach spaces is closed within the norm topology. My question: Let $X$ be a Banach space. Considering the strong topology (defined by ...
Malik Amine's user avatar
1 vote
0 answers
137 views

Relative compactness... but what is the toplogy?

The following Theorem was described in a text I was reading as a compactness result. The proof is probably too advanced for me but I was just wondering with respect to what topology we have ...
edamondo's user avatar
  • 111
1 vote
0 answers
166 views

Subspaces of compact spaces and quotients of Hausdorff spaces

Let $\operatorname{Top}$ be the class of topological spaces. Furthermore, let $\mathcal{U}\subset\operatorname{Top}$ and $\mathcal{V}\subset\operatorname{Top}$ classes satisfying the following ...
cl4y70n____'s user avatar
1 vote
0 answers
127 views

Category-theoretic characterization of zero-dimensional spaces

Some background: a zero-dimensional space is one admitting a basis of clopen sets, whereas an extremely disconnected space is one where the closures of open sets are open. In the category CHauss of ...
Andy's user avatar
  • 369
0 votes
0 answers
72 views

Sequential compactness via Arzela-Ascoli theorem for uniform state spaces

Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
PDEprobabilist's user avatar
0 votes
0 answers
165 views

Are all infinite-dimensional Lie groups noncompact?

Basically what the title says — if a Lie group is infinite-dimensional, is it necessarily noncompact?
Panopticon's user avatar