Intereting Posts

Number of permutations of order k
When do we use entailment vs implication?
Determine where a point lies in relation to a circle, is my answer right?
Arc length contest! Minimize the arc length of $f(x)$ when given three conditions.
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
Existence of Irreducible polynomials over $\mathbb{Z}$ of any given degree
Question about a basis for a topology vs the topology generated by a basis?
math-biography of mathematicians
If a finite group $G$ is solvable, is $$ nilpotent?
How to prove Lagrange trigonometric identity
$f$ function with $\nabla f=\bar{0}$
How to figure of the Laplace transform for $\log x$?
Let $u:\mathbb{C}\rightarrow\mathbb{R}$ be a harmonic function such that $0\leq f(z)$ for all $ z \in \mathbb{C}$. Prove that $u$ is constant.
On the existence of a nontrivial connected subspace of $\mathbb{R}^2$
Conformal mapping circle onto square (and back)

How to prove that a compact set $K$ in a Hausdorff topological space $\mathbb{X}$ is closed? I seek a proof that is as self contained as possible.

Thank you.

- Which “limit of ultrafilter” functions induce a compact Hausdorff topological structure?
- An introduction to Khovanov homology, Heegaard-Floer homology
- Can a continuous surjection between compacts behave bad wrt Borel probability?
- Non-trivial open dense subset of $\mathbb{R}$.
- Proof that every metric space is homeomorphic to a bounded metric space
- Topologist's sine curve is connected

- Non-T1 Space: Is the set of limit points closed?
- Diagonal $\Delta = \{x \times x : x \in X \}$ closed in $X \times X$ implies that $X$ is Hausdorff
- Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Non wandering Set
- Show that this countable collection is a basis for $\mathbb R^2$
- Why does having fewer open sets make more sets compact?
- If $a\in \mathrm{clo}(S)$, does it follow that there exists a sequence of points in $S$ that converges to $a$?
- an homeomorphism from the plane to the disc
- book with lot of examples on abstract algebra and topology
- $U\subset [0,\infty)$ is open and unbounded $\Rightarrow \exists x$ such that $U\cap \{nx;n\in \mathbb N\}$ is infinite.

Fix $x\in\mathbb{X}\setminus K$. Since $\mathbb{X}$ is Hausdorff, for each $y\in K$ there are disjoint open sets $U_y$ and $V_y$ such that $x\in U_y$ and $y\in V_y$. $\{V_y:y\in K\}$ is an open cover of $K$, so it has a finite subcover, say $\{V_y:y\in F\}$, where $F$ is some finite subset of $K$. Let $$U=\bigcap_{x\in F}U_x\;;$$ clearly $U$ is an open nbhd of $x$ disjoint from $K$. Since $x$ was an arbitrary point of $\mathbb{X}\setminus K$, $K$ must be closed.

A “sequential” proof: Let $x_\alpha \in K$ be a net with limit $x \in \mathbb{X}$. By compactness of $K$, there exists a subnet $x_{\alpha_{\beta}}$ which converges in $K$. Let $y \in K$ denote its limit. Since it’s a subnet of $x_\alpha$, it follows that also $x_\alpha \to y$. Since $\mathbb{X}$ is Hausdorff, nets have unique limits, so $y=x$ and in particular $x \in K$.

- Evaluating the indefinite integral $ \int \sqrt{\tan x} ~ \mathrm{d}{x}. $
- $|G|>2$ implies $G$ has non trivial automorphism
- Inclusion-exclusion-like fractional sum is positive?
- Proof of a Ramanujan Integral
- Singular values of $AB$ and $BA$ matrices
- A question on morphisms of fields
- What is the best way to factor arbitrary polynomials?
- Show that an entire function $f$ s.t. $|f(z)|>1$ for $|z|>1$ is a polynomial
- Why is the Cartesian product of a set $A$ and empty set an empty set?
- The last few digits of $0^0$ are $\ldots0000000001$ (according to WolframAlpha).
- Solve Burgers' Equation with side condition.
- An unusual combination lock problem
- $d(w, V) = 1$ and $U = V \oplus\{\lambda w :\lambda \in \mathbb{F}\} $.
- Count subsets of an i-set in two ways
- Prove that if a normal subgroup $H$ of $ G$ has index $n$, then $g^n \in H$ for all $g \in G$