Skip to main content

Questions tagged [compactness]

The compactness tag is for questions about compactness and its many variants (e.g. sequential compactness, countable compactness) as well locally compact spaces; compactifications (e.g. one-point, Stone-Čech) and other topics closely related to compactness. This includes logical compactness.

2 votes
1 answer
100 views

I have tried to solve this exercise: Let $H$ be a Hilbert space and let $T = T^* \in B_{\infty}(H)$ a compact operator. Given $\psi_0 \in H$ consider the equations: \begin{align*} (1)\quad &T\psi =...
Pietro Schiavone's user avatar
1 vote
1 answer
105 views

Suppose $X$ is compact Hausdorff and $\mathcal P$ is a partition of $X$. Define the map $\pi:X \to \mathcal P$ taking each point to the unique partition element containing it. Give $\mathcal P$ the ...
Daron's user avatar
  • 11.8k
3 votes
1 answer
158 views

before I begin, I would like to provide some definitions and theorems. Definition. A topological space $(X, \tau_X)$ is a continuum, if $X$ is a non-empty, metric, compact and connected space. Here $\...
Aldo's user avatar
  • 139
1 vote
1 answer
36 views

I have a question about the proof of the following result in Kashiwara, Schapira, Sheaves on Manifolds: Proposition 2.5.12 [Let $X$ be a Hausdorff and locally compact space.] Let $A$ be a ring, and ...
Elías Guisado Villalgordo's user avatar
1 vote
0 answers
37 views

Let $X$ be a Hausdorff topological space and let $\mathcal K$ denote the family of compact subsets of $X$. Assume that the Borel $\sigma$-algebra $\mathcal B(X)$ is generated by compact sets, i.e. $$ \...
Zlyp's user avatar
  • 608
3 votes
1 answer
66 views

Let $(M,g)$ be a complete Riemannian manifold and let $d_g:M^2\to\mathbb R$ be the length-minimizing metric induced by $g$. Does it necessarily hold that the compact subsets of $M$ are closed and $d_g$...
Boris Dimitrov's user avatar
1 vote
0 answers
25 views

Given a list of constraints $$ F_i = \{ x\in\mathbb{R}^n\mid L_i(x) \leq c_i \} $$ where $L_i\in L(\mathbb{R}^n,\mathbb{R})$ and $c_i\in\mathbb{R}$ for every $i\in\{ 0,\dots,m \}$ with $m \geq n$, ...
virtualcode's user avatar
5 votes
1 answer
144 views

I was reading a nice paper, but right at the beginning of one of the main results they claim: $X$ is a locally compact metric space, so it has an equivalent metric such that every closed ball of ...
John Samples's user avatar
2 votes
4 answers
328 views

I am trying to prove that if it is true for a set $K$ that every open cover of it has some finite subcovering, then $K$ is sequentially compact and am looking to verify steps that I'm unsure about in ...
user8083's user avatar
  • 276
0 votes
1 answer
52 views

Let $X,Y$ be Hausdorff and locally compact topological spaces, with $Y$ not compact, and let $\hat{Y}$ be the Alexandroff compactification of $Y$. Let $A\subset X$ be an open, relatively compact ...
Steppenwolf's user avatar
0 votes
1 answer
45 views

Let $f:X \rightarrow Y$ be a continuous surjection with $X$ a compact metric space and $Y$ a Hausdorff space. Then $Y$ is metrizable. Does this theorem have a name? Who first proved it? Just ...
John Samples's user avatar
0 votes
1 answer
92 views

$\DeclareMathOperator{\int}{int}$Let $(X,(e_\alpha)_{\alpha \in I})$ be a finite cell complex, i.e. $I$ finite. If $X$ is Hausdorff then the closures of the cells $\bar e_\alpha$ are compact hence $X$ ...
psl2Z's user avatar
  • 7,056
2 votes
1 answer
128 views

I am trying to prove the following theorem Theorem - Let $\left( X,d \right)$ be a metric space, the following are equivalent: $X$ is sequentially compact. Every countable open cover $\left\{ U_{n} \...
userא0's user avatar
  • 889
2 votes
1 answer
125 views

Given a function $f:E\subset\mathbb R^n\longrightarrow\mathbb R$ and $x\in E$. The function $$\omega(f,E):=\sup\{|f(x)-f(y)|:x,y\in E\}$$ is called the oscillation of $f$ on $E$, and $$\omega(f,x):=\...
연하준's user avatar
  • 559
3 votes
2 answers
134 views

I am currently revising my Topology notes, and today I have started looking into compact metric spaces. I am trying to prove explicitly the following: Theorem - Let $\left( X, d\right)$ be a compact ...
userא0's user avatar
  • 889

15 30 50 per page
1
2 3 4 5
438