Intereting Posts

Universal Cover of a Surface with Boundary. What does Cantor set on Boundary Correspond to?
Improper integral : $\int_0^{+\infty}\frac{x\sin x}{x^2+1}$
How to differentiate the following interesting vector product?
To find the minimum of $\int_0^1 (f''(x))^2dx$
Estimate the size of a set from which a sample has been equiprobably drawn?
What is the 'physical' explanation of a division by a fraction?
Prove that $n$ is even.
Showing that a topological space is ${\rm T}_1$
Finding the second derivative of $f:G \rightarrow L(\mathbb{R}^n,\mathbb{R}^n), f(A) = A^{-1}$
Is for every ultrahomogenous structure M the theory Th(M) model complete?
Proving the 3-dimensional representation of S3 is reducible
Ring homomorphisms from $\Bbb Q$ into a ring
Confusion on how to solve this question about sequences.
Card probability problem
If $f(x)$ is continuous and differentiable function , prove that $f(x) \geq e^{3x}, \forall x \geq 0$

Why is it that if we have a compact set $X$ and a closed set $Y$ then the Minkowski sum $X+Y$ is necessarily closed? (Sorry for keep asking questions about the Minkowski sum, I am trying to figure out how these things work.) Thanks.

- Let $a>0$. Show that $\int_0^\pi {dx\over a+\sin^2(x)}={\pi\over \sqrt{a(a+1)}}.$
- Unlike Jensen's Inequality, can we upper bound $\log \sum_{i}{u_i \exp(x_i)}$?
- Show that a proper continuous map from $X$ to locally compact $Y$ is closed
- Prove that $\lim_{n \rightarrow \infty} \int_0^\infty f_n(x) dx = \int_0^\infty f(x) dx$.
- Why isn't $f(x) = x\cos\frac{\pi}{x}$ differentiable at $x=0$, and how do we foresee it?
- Theorem of Arzelà-Ascoli
- A pathological example of a differentiable function whose derivative is not integrable
- Series $\sum_{k=1}^\infty \left(\frac{1}{k}-\frac{1}{k+z} \right)$
- Essential Supremum vs. Uniform norm
- Upper and Lower Bounds of $\emptyset$

(I assume the setting for this question is a normed vector space $V$)

Suppose $z_n$ is a sequence in $X+Y$, and assume it converges to some point $z$ in $V$. We want to show that $z$ is in $X+Y$. By definition of the Minkowski sum, there must exist $x_n \in X, y_n \in Y$ such that $z_n=x_n+y_n$. Since $X$ is compact, there is a subsequence $x_{n_i}$ such that $x_{n_i} \rightarrow x$ as $i \rightarrow \infty$, where $x$ is in $X$. Thus $y_{n_i}=z_{n_i}-x_{n_i} \rightarrow z-x$. Since $Y$ is closed, we have that $z-x$ is in $Y$, and so $z=x+(z-x)$ is in $X+Y$ as desired.

It’s worth noting that it’s *not* enough to simply have $X$ and $Y$ both closed. For example, suppose $V=\mathbb{R}$, $x=\mathbb{Z}$ and $y=\sqrt{2}\mathbb{Z}$. Then $X$ and $Y$ are both closed but $X+Y$ is a countable dense set.

Here’s a proof that works in any topological vector space.

If $z \notin X + Y$, then for every $x \in X$ we have $z – x \notin Y$; since $Y$ is closed and addition is continuous there are open sets $B_x$ containing $x$ and $U_x$ containing $z$ such that $(U_x – B_x) \cap Y = \emptyset$. By compactness of $X$, a finite collection $B_{x_1}, \ldots, B_{x_n}$ covers $X$. Thus

$U = U_{x_1} \cap \ldots \cap U_{x_n}$ is an open set containing $z$ which does not intersect $X + Y$.

Here it goes : if we denote $\overline{A}$ for the adherence of $A$, if $X$ is compact and $Y$ is another set, we have

$$

\overline{X+Y} = \overline X + \overline Y.

$$

$(\subseteq)$ Let $z \in \overline{X+Y}$. Thus there exists a sequence $\{z_n\} \in X+Y$ such that $z_n \to z$. But $z_n = x_n + y_n$ with $x_n \in X$ and $y_n \in Y$, and since $X$ is compact, there exists a subsequence $x_{n_k}$ such that $x_{n_k} \to x \in \overline X$. But that means

$$

y_{n_k} = x_{n_k} + y_{n_k} – x_{n_k} = z_{n_k} – x_{n_k} \to z – x \in \overline Y

$$

because $y_{n_k} \in Y$. Hence $z = z-x + x \in \overline X + \overline Y$, thus the inclusion.

$(\supseteq)$ Let $z \in \overline X + \overline Y$. Thus $z = x+y$ and $x_n \to x \in \overline X$, $y_n \to y \in \overline Y$ and so $x_n + y_n \to x+y = z \in \overline {X+Y}$.

I needed the compacity of $X$ to show equality but I didn’t need the fact that $Y$ is. Since compact sets are closed, $X = \overline X$ and $Y = \overline Y$, so $X+Y = \overline X + \overline Y = \overline { X+Y}$.

Hope that helps,

- What is the relationship between the following set functions?
- Evaluate $\sum\limits_{k=1}^{\infty}\frac{(18)^2}{(2k)!}$
- For $f$ continuous, show $\lim_{n\to\infty} n\int_0^1 f(x)x^n\,dx = f(1).$
- Permutation Partition Counting
- Global sections of a tensor product of vector bundles on a smooth manifold
- Orthogonal Projection onto the $ {L}_{2} $ Unit Ball
- Convergence of Lebesgue integrals
- Can someone intuitively explain what the convolution integral is?
- Solution of $\frac{dy}{dx}=\frac{1}{xy(x^2 \sin y^2+1)}$
- Taking the second derivative of a parametric curve
- Is the negation of the Gödel sentence always unprovable too?
- Why do we look at morphisms?
- Closed, continuous, surjective map with inverse images compact
- Integrate $ \int_0^\infty ( x A+I)^{-1} A -I \frac{1}{c+x} dx $ where $A$ is psd and $c>0$
- Can we take a logarithm of an infinite product?