Intereting Posts

Sobolev spaces and integrability of Fourier transforms
a conjecture of certain q-continued fractions
Why is the 'change-of-basis matrix' called such?
Prove a certain property of linear functionals, using the Hahn-Banach-Separation theorems
Symmetric matrix is always diagonalizable?
$\sum_{m=1}^{\infty}{\frac{e^{-a m^2}}{m^2}}$ as an Integral
How calculate the indefinite integral $\int\frac{1}{x^3+x+1}dx$
Why is Euler's totient function equal to $(p-1)(q-1)$ when $N=pq$ and $p$ and $q$ are prime in a clean intuitive way?
How to prove that $\sum_{r=0}^n\binom{n}{r}2^r=3^n$
Higher homology group of Eilenberg-Maclane space is trivial
every isometry is a homeomorphism
Difficult infinite integral involving a Gaussian, Bessel function and complex singularities
Ideal of $\mathbb{C}$ not generated by two elements
Inequality $(n!)^2\le \left^n$
How to compute the volume of intersection between two hyperspheres

Let $F : \mathbb S^1 \to \mathbb R^2$ represents a simple closed curve $C$ in $\mathbb R^2$. The Jordan curve theorem says that the curves bounds a interior domain $\Omega$ and $\partial \Omega= C$. Do we always have two points $a, b\in C$ such that the line segment joining $a$ and $b$ lies completely in $\Omega$? What’s more, can we have

“For all $\epsilon>0$, there is two points $a ,b\in C$ such that $|a- b| < \epsilon$ and the line segment joining $a$ and $b$ lies completely in $\Omega$”.

It seems that it is related to how the $C$ oscillate. If $C$ is some kinds of fractal curves, it might happens that $C$ is nowhere convex. What if we assume that $F$ is of bounded variation?

- Find polynomials such that $(x-16)p(2x)=16(x-1)p(x)$
- How to prove convexity?
- A naive example of discrete Fourier transformation
- How to find the radius of convergence?
- Addition is to Integration as Multiplication is to ______
- Finding $\lim\limits_{n \to \infty} \sum\limits_{k=0}^n { n \choose k}^{-1}$

This question is related to the following question:

Uniqueness of curve of minimal length in a closed $X\subset \mathbb R^2$

- Relationship beween Ricci curvature and sectional curvature
- Minimizing $\sum_{i=1}^n \max(|x_i - x|, |y_i - y|)$ - Sum of Max of Absolute Values
- Calculus of variations, what is a functional
- Evaluate $\int_{0}^{\pi }\theta ^{3}\log^{3}\left ( 2\sin\frac{\theta }{2} \right )\mathrm{d}\theta $
- Convex combination
- What is a support function: $\sup_{z \in K} \langle z, x \rangle$?
- Spivak's Calculus - Chapter 1 Question 23
- Prove that the sum of convex functions is again convex.
- Proving Convexity of Multivariate Function using Conditional Univariate Convexity
- Summation of $\sum\limits_{n=1}^{\infty} \frac{x(x+1) \cdots (x+n-1)}{y(y+1) \cdots (y+n-1)}$

There is no “nowhere convex” subset, and bounded variation is not needed.

**Claim.** *Let $\Omega \subset \mathbb R^n$ be a bounded open set. Then for every $\epsilon>0$ there exist two points $a,b\in \partial \Omega $ such that $|a-b|<\epsilon$ and $\{(1-t)a+tb:0<t<1\}\subset \Omega $.*

**Proof.** Let $r = \sup \{|x| : x\in {\Omega}\}$. For a small $\epsilon>0$, pick a point $p\in \Omega$ with $|p|>r-\epsilon$. Let $L$ be a line through $p$ in a direction orthogonal to the line segment $[0,p]$. The intersection $L\cap \Omega$ is an open subset of $L$. Since $\Omega\subset B_r = \{x: |x|< r\}$, the Pythagorean theorem implies $$ \operatorname{diam}(L\cap \Omega) \le \operatorname{diam}(L\cap B_r) = 2 \sqrt{r^2 – (r-\epsilon )^2} $$

which can be made arbitrarily small. Any connected component of $L\cap \Omega$ is a line segment contained in $\Omega$ and with endpoints $a,b\in \partial \Omega$. $\quad \Box$

- chameleon puzzle- modified one
- use of $\sum $ for uncountable indexing set
- Proving that language is not regular by pumping lemma
- Does $\sum_{j = 1}^{\infty} \sqrt{\frac{j!}{j^j}}$ converge?
- Surface integral over ellipsoid
- How to learn from proofs?
- Subgroup of $\mathbb{Q}$ with finite index
- Show that this function is entire
- Checking whether a graph is planar
- Proof of $\frac{1}{e^{\pi}+1}+\frac{3}{e^{3\pi}+1}+\frac{5}{e^{5\pi}+1}+\ldots=\frac{1}{24}$
- What is $\frac{x^{10} + x^8 + x^2 + 1}{x^{10} + x^6 + x^4 + 1}$ given $x^2 + x – 1 = 0$?
- How is the hyperplane bundle cut out of $(\mathbb{C}^{n+1})^\ast \times \mathbb{P}^n$?
- Decomposition of finitely generated graded modules over PID
- Asymptotic for primitive sums of two squares
- How to win this game?