Intereting Posts

Number of Multiples of $10^{44}$ that divide $ 10^{55}$
About the Fermat quotients with base $2$
One root of an irreducible polynomial in an extension field, so is the other.
A bounded net with a unique limit point must be convergent
What is your definition for neighborhood in topology?
Understanding the Frechet derivative
Probability of rolling 6 when throwing k dice one by one vs all at once.
Given that $abc=1$, prove that $\frac{b}{c} + \frac{c}{a}+ \frac{a}{b} \ge \frac{1}{a} + \frac{1}{b} +\frac{1}{c}$.
Random walk on vertices of a cube
Closed-forms of the integrals $\int_0^1 K(\sqrt{k})^2 \, dk$, $\int_0^1 E(\sqrt{k})^2 \, dk$ and $\int_0^1 K(\sqrt{k}) E(\sqrt{k}) \, dk$
Find 1-1 and onto mapping from {0,1}* to the integers
Applications of ultrafilters
Prove that there are two subsets of any cardinality-10 subsets of $\{1,2\dots,106\}$ that sum to the same number
Is the class of countable posets well-quasi-ordered by embeddability?
Expected Value of the maximum of two exponentially distributed random variables

**Question:** Let If $P\subseteq \mathbb{R}^n$ be a convex set. show that $int(P)$ is a convex set.

I know that a point $x$ is said to be the interior point of the set $P$ if there is an open ball centred at $x$ that is contained entirely in $P$. The set of all interior points of $P$ is denoted by $int(P)$.

- Sanity check about Wikipedia definition of differentiable manifold as a locally ringed space
- Is a closed $G_\delta$ set in a Hausdorff space always a zero set?
- Finer topologies on a compact Hausdorff space
- Prove a square is homeomorphic to a circle
- Prove that $(X\times Y)\setminus (A\times B)$ is connected
- Motivation for the term “separable” in topology

Also a set is convex if $x,y \in P$ $\implies$ $(tx+(1-t)y) \in P$ for all $t \in (0,1)$.

How to go about the above proof?

- Prove that function is homeomorphism.
- Is it possible to determine if you were on a Möbius strip?
- Show that $f(x) = 0$ for all $x \in \mathbb{R}$
- An easy to understand definition of $\omega_1$?
- Prove: $f: \mathbb{R} \rightarrow \mathbb{R}$ st for every $x \in \mathbb{R}$ there exists $n$ st $f^{(n)}(x) = 0$, f is a polynomial.
- Alternative definition of covering spaces.
- Free filter on Wikipedia
- product of path connected space is path connected

Assume $U:=int(P)$ is not convex. There are $x_0,y_0\in U$ and $t_0\in (0,1)$ such that $z_0:=t_0x_0+(1-t_0)y_0\notin U$. Keep the segment $x_0y_0$ with fixed length and fixed at, say, $x_0$. Then $y$ is a continuous function of $z$, when you move $z$ and keep the segment $x_0y$ with the same length as $x_0y_0$. (These constrains are not really important, we are just fixing the ideas) Therefore, given a neighborhood $V\subset U$ of $y_0$ there is a neighborhood $W$ of $z_0$ such that for all points in $W$ the corresponding $y$ is in $V$. Since $z_0\notin int(P)$ there are points, say $z_1$, in $W$ that do not belong to $P$. Let $y_1$ be the corresponding $y$ for that $z_1$. Then $x_0$ and $y_1$ are two points of $P$ such that there is a point, $z_1$, in the segment $x_0y_1$ that is not in $P$. This is a contradiction because $P$ was convex. Therefore the non-interior point $z_0$ doesn’t exist.

To prove the continuity of the correspondence above use triangle inequality.

- Isomorphism of factor groups
- Prove that the integral operator has no eigenvalues
- Equivalent characterisations of Dedekind-finite proof
- Every simple group of odd order is isomorphic to $\mathbb{Z}_{p} $ iff every group of odd order is solvable
- Another simple/conceptual limit question
- How to prove that any natural number $n \geq 34$ can be written as the sum of distinct triangular numbers?
- Are there meaningful statements about the numbers which cannot be proved with Peano+(independence from Peano)
- Finding all complex zeros of a high-degree polynomial
- Is there a $k$ for which $k\cdot n\ln n$ takes only prime values?
- First order logic – why do we need function symbols?
- If $f(z)=\frac{1}{e^z-1}$ then $f$ is meromorphic
- Prove $(x+r_1) \cdots (x+r_n) \geq (x+(r_1 \cdots r_n)^{1/n})^{n}$.
- How to prove that Pi exists?
- Show that $x\subseteq y \Leftrightarrow \mathcal{P}(x)\subseteq\mathcal{P}(y)$.
- Can conditional distributions determine the joint distribution?