The tag has no wiki summary.

learn more… | top users | synonyms

9
votes
1answer
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
1answer
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
1answer
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
3answers
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
0answers
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
0answers
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
3answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
3answers
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? ...