The compactness tag has no wiki summary.

**1**

vote

**1**answer

149 views

### Relative Compactness vs Way Below in Locally Compact Hausdorff Spaces

Let $Y$ be a subset of a locally compact Hausdorff topological space $X$ and consider the following properties.
$\overline{Y}$ is compact.
Every open cover of $X$ has a finite subcover of $Y$.
...

**4**

votes

**1**answer

156 views

### Totally disconnected subspaces

This question is motivated by this one, where no simple solution within ZFC seems to exist. Let me ask a weaker question then.
Suppose that $K$ is a compact, Hausdorff, non-metrizable space. Does it ...

**1**

vote

**2**answers

122 views

### Why the intersection of a scott open (or \w the relatively compactness property) filter on a topology of a sober (and 2nd countable) space is compact?

Definitions and notations.
Let $\mathcal{P}(X)$ the power set of $X$.
Let $\tau_X\subseteq\mathcal{P}(X)$ a topology on X.
We call $A$ irreducible if every time $A=B\cup C$ with $B,C$ closed set ...

**12**

votes

**1**answer

250 views

### A generalization of the Arhangelskii Theorem

Arhangeleskii's Theorem states the following
For any Hausdorff topological space $X$,
$$
|X|\leq2^{\chi(X)L(X)}
$$
where $\chi(X)$ is the character of $X$ and $L(X)$ is the LindelĂ¶f degree of ...

**2**

votes

**3**answers

224 views

### Compact, densely ordered spaces

During my work with order preserving homeomorphisms, I got interested in the double arrow space and, subsequently, in the lexicographic square.
I would really like to find examples of spaces like ...

**2**

votes

**1**answer

129 views

### A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$

Let $f_n \to f$ on compact subsets of the real line (these are functions defined on the real line) satisfying some conditions: $f$ has linear growth (but is nonlinear function) and is continuous and ...

**5**

votes

**2**answers

297 views

### Beyond Cantor's Teepee

From Counterexamples in Topology by Steen and Seebach (2nd edition) example 129 page 145 we have an example of connected and totally path-disconnected space.
It is defined as follow:
Fix $p= ...

**2**

votes

**0**answers

105 views

### Hilbert Schmidt Operators and the Conditional Expectation Operator

Consider the function $\text{E}_W: L_2(\mathbb{R},P_X) \mapsto L_2(\mathbb{R},P_W)$ where $P_X$ and $P_W$ are two different probability measures. They are related in such a way that if $f_X$, $f_W$ ...

**1**

vote

**0**answers

72 views

### If an upper semicontinuous multivalued map is compact on a set, is it compact on the boundary as well?

I have stumbled upon the following problem during my research:
Let $X$ and $Y$ be Banach spaces, $K\subset X$ nonempty, $F:\overline{K}\rightarrow 2^{Y}$ an upper semicontinuous multivalued map with ...

**10**

votes

**2**answers

426 views

### Does there exist a supercompactness theorem?

Large cardinals such as weakly compact cardinals, measurable cardinals, strongly compact cardinals, and extendible cardinals all can be characterized in terms of a certain compactness theorem of ...

**3**

votes

**1**answer

155 views

### Fréchet-Kolmogorov compactness Theorem for Lp spaces on manifolds

Suppose I have a family of functions $\mathcal{F} \subseteq L^2(\mathcal{M}, P)$ where $\mathcal{M}$ is a compact manifold, and $P$ is a probability distribution on $\mathcal{M}$. Is there an ...

**5**

votes

**1**answer

263 views

### Locally finite compact groups

I assume all tolpological groups here to be Hausdorff. A group is called locally finite if every finitely generated subgroup is finite. What can be said about a locally finite compact group? Must it ...

**1**

vote

**3**answers

182 views

### Axiomatization of locally compact Hausdorff spaces via compact subspaces

The usual axiomatization of a topological space (in the sense of Bourbaki) goes by declaring certain subsets as being open and such that a few axioms are fulfilled by the family of open subsets.
It ...

**2**

votes

**0**answers

103 views

### Weak relative compactness in $L^1_{loc}$.

In my work I stumbled upon a proposition (without proof, alas), which I can't really prove.
Suppose we have a family of functions $\left\{\phi_\epsilon (t,x,v)\right\}_{\epsilon\in(0,1]}$, and $M(v)$ ...

**4**

votes

**3**answers

276 views

### Can the intersection of the boundaries of compact and convex sets be a single element?

Let $H_1,H_2,\dots,H_n$ be compact and convex sets in $\mathbb{R}^n$ such that $\bigcap_{j=1}^n H_j$ has non-empty interior and for each $i=1,2,\dots,n$ there exist at least one element $x \in H_i$ ...

**17**

votes

**0**answers

462 views

### Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$:
$A' = aA$,
$B' = bB$.
Suppose it is known that ...

**3**

votes

**0**answers

111 views

### trace-class embeddings

There is a classical theorem of Riesz-Kolmogorov that characterizes compact embedding in $L^p$-spaces of some subspace of them. A generalization to arbitrary metric spaces has been recently obtained ...

**0**

votes

**1**answer

166 views

### Can an accumulation point be an eigenvalue?

For an discrete (separable) infinite-dimensional Hilbert Space with a compact operator, 0 is always an accumulation point (https://www.math.ucdavis.edu/~hunter/book/ch9.pdf).
Does this mean its part ...

**2**

votes

**2**answers

146 views

### Are compact sets in a Banach lattice order bounded?

Given a compact subset $A$ of a Banach lattice $E$, is the following true?
There exist $u,v\in E$ so that $u\leq a\leq v$ for all $a\in A$.
This is true in case $E=C(X)$, $X$ compact, with the ...

**2**

votes

**1**answer

167 views

### A question on countably compact space

A regular space $X$ is
star compact (which implies pseudocompact)
with $G_\delta$-diagonal
star countable
first countable
$e(X)\le \aleph_0$ ( in fact it implies star countable)
$|X|=\aleph_1$
...

**3**

votes

**3**answers

348 views

### Compactness of sigma-algebra for the $L^1$ metrics

Consider a probability space $(X,F,\mu)$, and the quotient $G$ of the sigma-algebra $F$ by its null sets. Endow $G$ with the metric $d(A,B) = \mu(A \triangle B)$. Is $(G,d)$ a compact metric space?
...