Intereting Posts

Ellipsoid but not quite
Expected number of tosses for two coins to achieve the same outcome for five consecutive flips
finding a minorant to $(\sqrt{k+1} – \sqrt{k})$
Probability of cars being blocked during red light
Is there a concept of |x|<0?
Using Nakayama's Lemma to prove isomorphism theorem for finitely generated free modules
proving logical equivalence $(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$
Given a pairwise disjoint collection, $\limsup A_n = \emptyset$?!
How to define the operation of division apart from the inverse of multiplication?
Integral $ \int_0^{2\pi}{ \sqrt{ 1 – \sin{ \theta } \sin{ 2\theta } + \cos{\theta}\cos{2\theta} } d\theta } $
Norms in $\mathbb{Q}$
What is difference between a ring and a field?
Theorem of Arzelà-Ascoli
How can we show that $ \sum_{n=0}^{\infty}\frac{2^nn(n^2+n-1)}{(2n+1)(2n+3){2n \choose n}}=1+\pi+\pi^2+\pi^3+\pi^4 ?$
Fourier series of function $f(x)=0$ if $-\pi<x<0$ and $f(x)=\sin(x)$ if $0<x<\pi$

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!

- Need a unique convergence (UC) space's Alexandrov extension be a UC space?
- Convex Hull of Precompact Subset is Precompact
- $f\circ g$ continuous, $f$ local homeomorphism, $g$ continuous in a different topology $\implies g$ is continuous
- Closed sum of sets
- Prove the map has a fixed point
- Which functions on N extend uniquely to a continuous function on the Stone-Cech Compactification of N?

- For a topological group $G$ and a subgroup $H$, is it true that $ = \overline{}$? What about algebraic groups?
- Upper semicontinuous functions
- Characterization of the Subsets of Euclidean Space which are Homeomorphic to the Space Itself
- Looking for an example of an infinite metric space $X$ such that there exist a continuous bijection $f: X \to X$ which is not a homeomorphism
- How to determine whether a function is concave, convex, quasi-concave and quasi-convex
- Show $f$ is a surjective isometry.
- Can locally “a.e. constant” function on a connected subset $U$ of $\mathbb{R}^n$ be constant a.e. in $U$?
- Prove that these loops are homotopic
- The Sorgenfrey line is hereditarily Lindelöf
- Typo or additional hypotheses needed in problem 5, p.71 of Bredon's Topology and Geometry?

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.

- Evaluate $\frac{1}{3}+\frac{1}{4}\frac{1}{2!}+\frac{1}{5}\frac{1}{3!}+\dots$
- Are finitely generated projective modules free over the total ring of fractions?
- Irrationality of $e$
- Continuous maps between compact manifolds are homotopic to smooth ones
- Computing the Fourier series of $f = \cos{2x}$?
- Is $n = k \cdot p^2 + 1$ necessarily prime if $2^k \not\equiv 1 \pmod{n}$ and $2^{n-1} \equiv 1 \pmod{n}$?
- Is every function with the intermediate value property a derivative?
- Entire function. Prove that $f(\bar{z})=\overline{f(z)}, \forall z\in C$
- approximation of a continuous function by polynomials over a strictly continuous monotone function
- How can I determine the number of wedge products of $1$-forms needed to express a $k$-form as a sum of such?
- Calculating $\sum_{n=1}^\infty {\frac{1}{2^nn(3n-1)}}$
- To prove $(\sin\theta + \csc\theta)^2 + (\cos\theta +\sec\theta)^2 \ge 9$
- Can I understand Egorov's theorem in this way?
- Geometric intuition for the tensor product of vector spaces
- Is total boundedness a topological property?