The compactness tag has no wiki summary.

**9**

votes

**1**answer

286 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

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

**4**

votes

**1**answer

246 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

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

**0**

votes

**0**answers

139 views

### Is it possible to extend a diffeomorphism of $[0,1]^n$ to a diffeomorphism of a compact infinite-dimensional manifold?

Is it possible to extend a diffeomorphism of $[0,1]^n$ to a diffeomorphism of a compact infinite-dimensional manifold?
For example, we can always extend a diffeomorphism $f$ of $[0,1]^n$ to a ...

**2**

votes

**0**answers

81 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

248 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$ ...

**16**

votes

**0**answers

442 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

98 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

141 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

124 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

164 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

309 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?
...