Intereting Posts

I finally understand simple congruences. Now how to solve a quadratic congruence?
What is the limit of
inverse element in a field of sets
In what way is the Peano curve not one-to-one with $^2$?
Expected sum of exponential variables until two of them sum to a threshold
A number when successively divided by $9$, $11$ and $13$ leaves remainders $8$, $9$ and $8$ respectively
Is every subgroup of a normal subgroup normal?
Palindromic Numbers – Pattern “inside” Prime Numbers?
Multiple self-convolution of rectangular function – integral evaluation
Generalizing Lagrange multipliers to use the subdifferential?
What is an example that a function is differentiable but derivative is not Riemann integrable
Prove $f(S \cup T) = f(S) \cup f(T)$
Matlab numerical integration involving Bessel functions returns NaN
Random walk $< 0$
Showing an indentity with a cyclic sum

I know that in a metric space $X$ compactness, countable compactness and sequential compactness of a subspace $X’$ are equivalent using the definition of countable compactness as *every infinite subset of $X’$ has an accumulation point in* $X’$ and of sequential compactness as *every sequence in $X’$ has a subsequence converging to a point in* $X’$.

If we define relative countable compactness as *every infinite subset of $X’$ has an accumulation point in* $X$ and of relative sequential compactness as *every sequence in $X’$ has a subsequence converging to a point in* $X$, do I correctly understand if I desume, in a straightforward way by taking into account the properties of closed sets in a metric space, that in a metric space $X$ relative compactness, countable relative compactness and sequential relative compactness of a subspace $X’$ are equivalent?

$\infty$ thanks!

- Prob 12, Sec 26 in Munkres' TOPOLOGY, 2nd ed: How to show that the domain of a perfect map is compact if its range is compact?
- A theorem due to Gelfand and Kolmogorov
- What should be the intuition when working with compactness?
- Compactness of $\operatorname{Spec}(A)$
- Prove that there exists a Cauchy sequence, compact metric space, topology of pointwise convergence
- How many points does Stone-Čech compactification add?

- Showing that the product and metric topology on $\mathbb{R}^n$ are equivalent
- Showing that projections $\mathbb{R}^2 \to \mathbb{R}$ are not closed
- Tiling $\mathbb{R}^2$ with polyomino
- Is this space contractible?
- Topological restrictions on cardinality
- Finite-dimensional subspace normed vector space is closed
- Continuous functions on a compact set
- Show that a space is separable.
- an homeomorphism from the plane to the disc
- Does a dense $G_\delta$ subset of a complete metric space without isolated points contain a perfect set?

I already showed in this answer that $X’$ relatively compact implies $X’$ relatively countably compact. Also, if $X’$ is relatively compact, the $\overline{X’}$ is compact, and thus sequentially compact (this holds in particular in metric spaces, but also more broadly). So any sequence from $X’$ has a convergent subsequence with limit in $\overline{X’}$, so $X’$ is then relatively sequentially compact as well.

In any space, $X’$ relatively sequentially compact implies $X’$ relatively countably compact: any infinite subset $A$ of $X’$ contains some sequence with all different elements, which has a convergent subsequence to some $x \in X$, and this $x$ is an accumulation point of $A$.

If $X’$ is relatively countably compact, and $X$ is metric (first countable and $T_1$ will already do), let $(x_n)$ be a sequence from $X’$. If $A = \{x_n: n \in \mathbb{N}\}$ is finite, some value occurs an infinite number of times, and yields a convergent subsequence. So assume $A$ is infinite, so it has an accumulation point $p \in X$. Because $X$ is $T_1$, this means that every neighbourhood of $p$ intersects $A$ in infinitely many points. Pick $x_{n_1}$ in $B(p, 1)$, $x_{n_2}$ with $n_2 > n_1$ in $B(p, \frac{1}{2})$, and so on, by recursion. This defines a convergent subsequence of $(x_n)$ that converges to $p$. So $X’$ is relatively countably compact.

If $X’$ is relatively countably compact, and $X$ is metric, then we do get that $X’$ is relatively compact (this is due to Hausdorff, IIRC). I cannot reconstruct a proof right away, but there is one here, e.g. (but this involves Cauchy filters etc.)

It turns out that these notions are also equivalent in some topological vector spaces (spaces of the form $C_p(X)$ where $X$ is compact (Grothendieck), and weak topologicals on normed vector spaces (Eberlein-Smulian)), but these are a bit more involved, I think.

- Need help about $P\Gamma L_2(q)$, $q=4,3$
- Proof that the real numbers are countable: Help with why this is wrong
- Recommendations for Numerical Analysis texts?
- Compact Hausdorff spaces are normal
- Closed form of the sequence $a_{n+1}=a_n^2+1$
- Are there any good Discrete Mathematics video online?
- Is it true that every element of $\mathbb{F}_p$ has an $n$-th root in $\mathbb{F}_{p^n}$?
- Principal ideal ring
- Prove that e is irrational
- Convolution of an integrable function of compact support with a bump function.
- Number of point subsets that can be covered by a disk
- Prove that $ k/ \langle x_1x_2,x_2x_3,x_3x_4,x_4x_1 \rangle$ is not Cohen-Macaulay.
- How to show that $\lim\limits_{x \to \infty} f'(x) = 0$ implies $\lim\limits_{x \to \infty} \frac{f(x)}{x} = 0$?
- Math games for car journeys
- Difference between functional and function.